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

Author: Fabio Bossi bossi@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();