Il 24/03/2012 16:38, Roberto Bagnara ha scritto:
Module: ppl/ppl Branch: master Commit: f5b1ab576f8cb529058f94b6a8943d808b063a3c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5b1ab576f8cb...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 24 15:50:31 2012 +0100
Fixed debugging code.
src/Grid_Certificate.cc | 7 ++++--- 1 files changed, 4 insertions(+), 3 deletions(-)
diff --git a/src/Grid_Certificate.cc b/src/Grid_Certificate.cc index 379af7b..f22d76e 100644 --- a/src/Grid_Certificate.cc +++ b/src/Grid_Certificate.cc @@ -55,11 +55,12 @@ PPL::Grid_Certificate::Grid_Certificate(const Grid& gr) // that `gr' contains at least one point. Grid& mgr = const_cast<Grid&>(gr); #ifndef NDEBUG
- Grid::simplify(mgr.con_sys, mgr.dim_kinds);
-#else bool contains_points = Grid::simplify(mgr.con_sys, mgr.dim_kinds);
- used(contains_points); // Quiet compiler warning.
- // Avoid possible compiler warning.
- used(contains_points); PPL_ASSERT(contains_points);
+#else
- Grid::simplify(mgr.con_sys, mgr.dim_kinds);
#endif mgr.set_congruences_minimized();
I'm having hard time to understand why there is #ifndef NDEBUG...