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

Author: Fabio Biselli fabio.biselli@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];