Module: ppl/ppl Branch: floating_point Commit: ecf177259b8f165627fcdbe7dfb55dc044bdc30b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecf177259b8f1...
Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Sep 23 17:05:34 2010 +0200
Temporarily pass a raw value instead of a checked number for simplicity.
---
src/Octagonal_Shape.templates.hh | 6 ++++-- 1 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh index 54de5ce..b9674f0 100644 --- a/src/Octagonal_Shape.templates.hh +++ b/src/Octagonal_Shape.templates.hh @@ -7681,7 +7681,8 @@ Octagonal_Shape<T> if (!is_plus_infinity(twice_ub)) { assign_r(ubound, twice_ub, ROUND_NOT_NEEDED); div_2exp_assign_r(ubound, ubound, 1, ROUND_UP); - if (!dest.restrict_upper(i, ubound)) + // FIXME: passing a raw value may not be general enough. + if (!dest.restrict_upper(i, ubound.raw_value())) return; }
@@ -7691,7 +7692,8 @@ Octagonal_Shape<T> assign_r(lbound, twice_lb, ROUND_NOT_NEEDED); neg_assign_r(lbound, lbound, ROUND_NOT_NEEDED); div_2exp_assign_r(lbound, lbound, 1, ROUND_DOWN); - if (!dest.restrict_lower(i, lbound)) + // FIXME: passing a raw value may not be general enough. + if (!dest.restrict_lower(i, lbound.raw_value())) return; } }