[PPL-devel] [GIT] ppl/ppl(floating_point): Temporarily pass a raw value instead of a checked

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at 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;
     }
   }