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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jul 13 14:50:55 2009 +0200

Warnings avoided.

---

src/Grid_public.cc | 6 ++++-- 1 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/Grid_public.cc b/src/Grid_public.cc index b5ff074..4b144fa 100644 --- a/src/Grid_public.cc +++ b/src/Grid_public.cc @@ -1242,8 +1242,9 @@ PPL::Grid::add_recycled_grid_generators(Grid_Generator_System& gs) { if (space_dim == 0) { if (marked_empty()) set_zero_dim_univ(); - else + else { PPL_ASSERT(gs.has_points()); + } PPL_ASSERT(OK(true)); return; } @@ -2771,12 +2772,13 @@ PPL::Grid::wrap_assign(const Variables_Set& vars, unconstrain(x); add_constraint(x == v_n); } - else + else { // If overflow is impossible but the grid frequency is less than // half the wrap frequency, then there is more than one possible // value for `x' in the range of the bounded integer type, // so the grid is unchanged. PPL_ASSERT(o == OVERFLOW_IMPOSSIBLE && 2*f_n < wrap_frequency); + } } return; }