[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Renamed FP_Oracle into Oracle, and generalized it to include both floating point and integer values.

[Alberto Gioia (none)]

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

Author: Alberto Gioia <otrebla at spark.(none)>
Date:   Wed Jan 26 11:31:37 2011 +0100

Renamed FP_Oracle into Oracle, and generalized it to include both floating point and integer values.

---

 src/Oracle.hh                          |   12 ------------
 src/linearize.hh                       |    7 -------
 tests/Concrete_Expression/linearize.cc |    3 ---
 3 files changed, 0 insertions(+), 22 deletions(-)

diff --git a/src/Oracle.hh b/src/Oracle.hh
index da95283..32d58d5 100644
--- a/src/Oracle.hh
+++ b/src/Oracle.hh
@@ -72,18 +72,6 @@ public:
   virtual bool get_fp_constant_value(
                const Floating_Point_Constant<Target>& expr,
                      Interval_Type& result) const = 0;
-/*! \brief
-    Asks the external analyzer for an interval that correctly
-    approximates the value of integer constant \p expr.
-    Result is stored into \p result.
-
-    \return <CODE>true</CODE> if the analyzer was able to find a correct
-    approximation, <CODE>false</CODE> otherwise.
-  */
-  virtual bool get_integer_constant_value(
-               const Integer_Constant<Target>& expr,
-                     Interval_Type& result) const = 0;
-
 
   /*! \brief
     Asks the external analyzer for an interval that correctly approximates
diff --git a/src/linearize.hh b/src/linearize.hh
index a8abdf0..dcf0bf0 100644
--- a/src/linearize.hh
+++ b/src/linearize.hh
@@ -689,13 +689,6 @@ linearize(const Concrete_Expression<Target>& expr,
   switch(expr.kind()) {
   case Integer_Constant<Target>::KIND:
   {
-    const Integer_Constant<Target>* ic_expr =
-      expr.template as<Integer_Constant>();
-    Interval_Type constant_value;
-    if (!oracle.get_integer_constant_value(*ic_expr, constant_value))
-      return false;
-    result = Linear_Form(constant_value);
-    return true;
     break;
   }
 //    throw std::runtime_error("PPL internal error: unreachable");
diff --git a/tests/Concrete_Expression/linearize.cc b/tests/Concrete_Expression/linearize.cc
index c3d8efb..429d8d2 100644
--- a/tests/Concrete_Expression/linearize.cc
+++ b/tests/Concrete_Expression/linearize.cc
@@ -43,9 +43,6 @@ public:
     return true;
   }
 
-  bool get_integer_constant_value(const Integer_Constant<C_Expr>& expr,
-                     	     FP_Interval& result) const { }
-
   bool get_integer_expr_value(const Concrete_Expression<C_Expr>& expr,
                               FP_Interval& result) const {
     if (expr.kind() == INT_CON) {