[PPL-devel] [GIT] ppl/ppl(floating_point): Removed a temporary using sub_assign_r instead of add_assign_r

[Fabio Biselli]

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

Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date:   Sun Sep 20 13:20:56 2009 +0200

Removed a temporary using sub_assign_r instead of add_assign_r

---

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

diff --git a/src/BD_Shape.templates.hh b/src/BD_Shape.templates.hh
index a90470f..6d44f5e 100644
--- a/src/BD_Shape.templates.hh
+++ b/src/BD_Shape.templates.hh
@@ -4117,7 +4117,7 @@ BD_Shape<T>::affine_image(const Variable& var,
   PPL_ASSERT(OK());
 }
 
-// Case 1: var = [-mlb, ub].
+// Case 1: var = [-b, b].
 template <typename T>
 template <typename Interval_Info>
 void
@@ -4218,11 +4218,9 @@ void BD_Shape<T>
         // We have to add the constraint `v + w == b', over-approximating it
         // by computing lower and upper bounds for `w'.
         const N& lb_w = dbm[w_id][0];
-	PPL_DIRTY_TEMP(N, minus_lb_w);
-	neg_assign_r(minus_lb_w, lb_w, ROUND_UP);
         if (!is_plus_infinity(lb_w)) {
           // Add the constraint `v <= ub - lb_w'.
-          add_assign_r(dbm[0][var_id], b_ub, minus_lb_w, ROUND_UP);
+          sub_assign_r(dbm[0][var_id], b_ub, lb_w, ROUND_UP);
           reset_shortest_path_closed();
         }
         const N& ub_w = dbm[0][w_id];