[PPL-devel] [GIT] ppl/ppl(master): Fixed a bug in DB_Row_Impl_Handler<T>::Impl:: construct_upward_approximation(const U&).

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: faddfe9c6c24c08d38d9cd7b3d07f9966b1cd015
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=faddfe9c6c24c08d38d9cd7b3d07f9966b1cd015

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Jul 29 09:22:05 2010 +0200

Fixed a bug in DB_Row_Impl_Handler<T>::Impl::construct_upward_approximation(const U&).
This prevented compilation with compilers not supporting flexible arrays.

---

 src/DB_Row.templates.hh |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/DB_Row.templates.hh b/src/DB_Row.templates.hh
index 7c09573..e886b61 100644
--- a/src/DB_Row.templates.hh
+++ b/src/DB_Row.templates.hh
@@ -41,7 +41,7 @@ DB_Row_Impl_Handler<T>::Impl::construct_upward_approximation(const U& y) {
 #else // PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS
   PPL_ASSERT(y_size > 0);
   if (y_size > 0) {
-    vec_[0] = y[0];
+    assign_r(vec_[0], y[0], ROUND_UP);
     bump_size();
     // Construct in direct order: will destroy in reverse order.
     for (dimension_type i = 1; i < y_size; ++i) {