[PPL-devel] [GIT] ppl/ppl(floating_point): Added a couple of assertions.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at 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.