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

Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Sep 24 16:15:20 2009 +0200

Added a couple of assertions.

---

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

diff --git a/src/Polyhedron.templates.hh b/src/Polyhedron.templates.hh index 51af2b5..074e717 100644 --- a/src/Polyhedron.templates.hh +++ b/src/Polyhedron.templates.hh @@ -307,6 +307,7 @@ Polyhedron::refine_with_linear_form_inequality( "Polyhedron::refine_with_linear_form_inequality:" " FP_Format not a floating point type.");

+ PPL_ASSERT(space_dim <= store.space_dimension()); PPL_ASSERT(store.is_bounded()); // Dimension compatibility checks. // The dimensions of left and right should not be greater than the @@ -353,6 +354,7 @@ const Box< Interval<FP_Format, Interval_Info> >& store) { "Polyhedron::affine_image:" " FP_Format not a floating point type.");

+ PPL_ASSERT(space_dim <= store.space_dimension()); PPL_ASSERT(store.is_bounded()); // Dimension compatibility checks. // The dimension of lf should not be greater than the dimension of *this.