Module: ppl/ppl Branch: floating_point Commit: b39ec7c81e536c991c43e395147ca92b8d2a4b44 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b39ec7c81e536...
Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Sep 29 14:27:43 2010 +0200
Added missing emptiness checks.
---
src/BD_Shape.templates.hh | 6 ++++-- 1 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/src/BD_Shape.templates.hh b/src/BD_Shape.templates.hh index 57e0672..112047a 100644 --- a/src/BD_Shape.templates.hh +++ b/src/BD_Shape.templates.hh @@ -4503,13 +4503,15 @@ BD_Shape<T> // Set the upper bound. const N& u = dbm_0[i+1]; if (!is_plus_infinity(u)) - dest.restrict_upper(i, u.raw_value()); + if (!dest.restrict_upper(i, u.raw_value())) + return;
// Set the lower bound. const N& negated_l = dbm[i+1][0]; if (!is_plus_infinity(negated_l)) { neg_assign_r(tmp, negated_l, ROUND_DOWN); - dest.restrict_lower(i, negated_l.raw_value()); + if (!dest.restrict_lower(i, negated_l.raw_value())) + return; } }