June 2011 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Removed another unused variable.
by Abramo Bagnara 06 Jun '11

06 Jun '11

Module: ppl/ppl Branch: master Commit: 699a1fe6e0828997e09744ac5d884eac7819d819 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=699a1fe6e082… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jun 6 18:23:54 2011 +0200 Removed another unused variable. --- src/PIP_Tree.cc | 1 - 1 files changed, 0 insertions(+), 1 deletions(-) diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 6366f75..35590cf 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -578,7 +578,6 @@ compatibility_check_find_pivot_in_set( for (++i; i != i_end; ++i) { bool found_better_pivot = false; - const dimension_type challenger_i = i->second.row_index; const dimension_type challenger_j = i->first; Coefficient_traits::const_reference challenger_cost = i->second.cost; PPL_ASSERT(value > 0);

1 0

[GIT] ppl/ppl(master): Avoid another warning.
by Abramo Bagnara 06 Jun '11

06 Jun '11

Module: ppl/ppl Branch: master Commit: 248939b515763a6a029c0c839f006fbf9b657ab3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=248939b51576… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jun 6 18:15:27 2011 +0200 Avoid another warning. --- src/PIP_Tree.cc | 4 ---- 1 files changed, 0 insertions(+), 4 deletions(-) diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index bc1c494..6366f75 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -569,7 +569,6 @@ compatibility_check_find_pivot_in_set( candidates_t::const_iterator i = candidates.begin(); candidates_t::const_iterator i_end = candidates.end(); PPL_ASSERT(i != i_end); - dimension_type pi = i->second.row_index; dimension_type pj = i->first; Coefficient cost = i->second.cost; Coefficient value = i->second.value; @@ -610,7 +609,6 @@ compatibility_check_find_pivot_in_set( new_candidates.push_back(*i); } if (found_better_pivot) { - pi = challenger_i; pj = challenger_j; cost = challenger_cost; value = i->second.value; @@ -660,7 +658,6 @@ compatibility_check_find_pivot_in_set( if (lhs_sign != rhs_sign) { if (lhs_sign > rhs_sign) { - pi = i->second.row_index; pj = challenger_j; cost = challenger_cost; value = challenger_value; @@ -687,7 +684,6 @@ compatibility_check_find_pivot_in_set( new_candidates.push_back(*i); else { if (lhs > rhs) { - pi = i->second.row_index; pj = challenger_j; cost = challenger_cost; value = challenger_value;

1 0

[GIT] ppl/ppl(master): Avoid another warning.
by Abramo Bagnara 06 Jun '11

06 Jun '11

Module: ppl/ppl Branch: master Commit: fb5d23c2e4159819a48ea0c33deaa4865a26cc3f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb5d23c2e415… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jun 6 18:09:43 2011 +0200 Avoid another warning. --- src/Interval.inlines.hh | 5 ++--- 1 files changed, 2 insertions(+), 3 deletions(-) diff --git a/src/Interval.inlines.hh b/src/Interval.inlines.hh index 85cc815..f0e860a 100644 --- a/src/Interval.inlines.hh +++ b/src/Interval.inlines.hh @@ -331,9 +331,8 @@ Interval<To_Boundary, To_Info>::intersect_assign(const From& x) { PPL_ASSERT(f_OK(x)); if (!intersect_restriction(info(), *this, x)) return assign(EMPTY); - Result rl, ru; - rl = max_assign(LOWER, lower(), info(), LOWER, f_lower(x), f_info(x)); - ru = min_assign(UPPER, upper(), info(), UPPER, f_upper(x), f_info(x)); + max_assign(LOWER, lower(), info(), LOWER, f_lower(x), f_info(x)); + min_assign(UPPER, upper(), info(), UPPER, f_upper(x), f_info(x)); PPL_ASSERT(OK()); return I_ANY; }

1 0