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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Mar 25 10:18:08 2012 +0200

Corrected wrong assertion after call to Grid::simplify().

---

src/Grid_Certificate.cc | 10 +++------- 1 files changed, 3 insertions(+), 7 deletions(-)

diff --git a/src/Grid_Certificate.cc b/src/Grid_Certificate.cc index ad957f6..72959df 100644 --- a/src/Grid_Certificate.cc +++ b/src/Grid_Certificate.cc @@ -54,14 +54,10 @@ PPL::Grid_Certificate::Grid_Certificate(const Grid& gr) // Minimize `gr' congruence system. As in Polyhedron assume // that `gr' contains at least one point. Grid& mgr = const_cast<Grid&>(gr); -#ifndef NDEBUG - bool contains_points = Grid::simplify(mgr.con_sys, mgr.dim_kinds); + bool empty = Grid::simplify(mgr.con_sys, mgr.dim_kinds); // Avoid possible compiler warning. - used(contains_points); - PPL_ASSERT(contains_points); -#else - Grid::simplify(mgr.con_sys, mgr.dim_kinds); -#endif + used(empty); + PPL_ASSERT(!empty); mgr.set_congruences_minimized();

num_proper_congruences = mgr.con_sys.num_proper_congruences();