[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Removed useless code.

[Alberto Gioia]

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

Author: Alberto Gioia <alberto.gioia1 at 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: