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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 20 22:29:26 2012 +0200

Two comments turned into assertions.

---

src/wrap_assign.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/wrap_assign.hh b/src/wrap_assign.hh index fb8b2c1..acc6b5e 100644 --- a/src/wrap_assign.hh +++ b/src/wrap_assign.hh @@ -153,11 +153,11 @@ wrap_assign(PSET& pointset, const unsigned complexity_threshold, const bool wrap_individually, const char* class_name) { - // We must have cs_p->space_dimension() <= vars.space_dimension() - // and vars.space_dimension() <= pointset.space_dimension(). + PPL_ASSERT(vars.space_dimension() <= pointset.space_dimension());

// Dimension-compatibility check of `*cs_p', if any. if (cs_p != 0) { + PPL_ASSERT(cs_p->space_dimension() <= vars.space_dimension()); const dimension_type vars_space_dim = vars.space_dimension(); if (cs_p->space_dimension() > vars_space_dim) { std::ostringstream s;