[PPL-devel] [GIT] ppl/ppl(floating_point): Added missing asserts.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Sat Oct 23 14:48:50 2010 +0200

Added missing asserts.

---

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

diff --git a/src/linearize.hh b/src/linearize.hh
index 72e759a..48f55fa 100644
--- a/src/linearize.hh
+++ b/src/linearize.hh
@@ -678,6 +678,7 @@ linearize(const Concrete_Expression<Target>& expr,
   typedef Box<FP_Interval_Type> FP_Interval_Abstract_Store;
   typedef std::map<dimension_type, FP_Linear_Form> FP_Linear_Form_Abstract_Store;
 
+  PPL_ASSERT(expr.type().is_floating_point());
   // Check that analyzer_format is a floating point type.
   PPL_COMPILE_TIME_CHECK(!std::numeric_limits<analyzer_format>::is_exact,
       "linearize<Target, FP_Interval_Type>:"
@@ -789,6 +790,7 @@ linearize(const Concrete_Expression<Target>& expr,
       Here associated_dimensions.size() > 1. Try to return the LUB
       of all intervals associated to each space dimension.
     */
+    PPL_ASSERT(associated_dimensions.size() > 1);
     std::set<dimension_type>::const_iterator i = associated_dimensions.begin();
     std::set<dimension_type>::const_iterator i_end =
       associated_dimensions.end();