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

Author: Alberto Gioia alberto.gioia1@studenti.unipr.it Date: Tue Jun 28 19:08:48 2011 +0200

Removed useless code.

---

tests/Concrete_Expression/linearize_integer.hh | 28 +++-------------------- 1 files changed, 4 insertions(+), 24 deletions(-)

diff --git a/tests/Concrete_Expression/linearize_integer.hh b/tests/Concrete_Expression/linearize_integer.hh index 8d9511b..54564a9 100644 --- a/tests/Concrete_Expression/linearize_integer.hh +++ b/tests/Concrete_Expression/linearize_integer.hh @@ -122,13 +122,11 @@ mul_linearize_int(const Binary_Operator<Target>& bop_expr,

if (intervalize_first) { linearized_second_operand *= intervalized_first_operand; - result *= intervalized_first_operand; - result += linearized_second_operand; + result = linearized_second_operand; } else { linearized_first_operand *= intervalized_second_operand; - result *= intervalized_second_operand; - result += linearized_first_operand; + result = linearized_first_operand; } return true; } @@ -349,7 +347,6 @@ linearize_int(const Concrete_Expression<Target>& expr, if (!oracle.get_associated_dimensions(*ref_expr, associated_dimensions) || associated_dimensions.empty()) return false; - if (associated_dimensions.size() == 1) { dimension_type variable_index = *associated_dimensions.begin(); PPL_ASSERT(variable_index != not_a_dimension()); @@ -360,28 +357,11 @@ linearize_int(const Concrete_Expression<Target>& expr, result = Linear_Form(Variable(variable_index)); return true; } - /* + result = Linear_Form(variable_value->second);

- return !result.overflows();*/ - } - /* - PPL_ASSERT(associated_dimensions.size() > 1); - std::set<dimension_type>::const_iterator i = associated_dimensions.begin(); - std::set<dimension_type>::const_iterator i_end = - associated_dimensions.end(); - Interval_Type lub(EMPTY); - for (; i != i_end; ++i) { - Interval_Type curr_int; - PPL_ASSERT(*i != not_a_dimension()); - if (!oracle.get_interval(*i, curr_int)) - return false; - - lub.join_assign(curr_int); + return !result.overflows(); } - result = Linear_Form(lub); - return !result.overflows(); - */ break; }//end case Approx_Reference<Target>::KIND default: