[PPL-devel] [GIT] ppl/ppl(floating_point): Start to test Octagonal_Shape:: refine_with_linear_form_inequality.

[Roberto Amadini]

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

Author: Roberto Amadini <r.amadini at virgilio.it>
Date:   Thu Sep 17 11:37:38 2009 +0200

Start to test Octagonal_Shape::refine_with_linear_form_inequality.

---

 src/Octagonal_Shape.templates.hh            |    4 ++--
 tests/Floating_Point_Expression/Makefile.am |    4 +++-
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh
index 3eac070..33290b8 100644
--- a/src/Octagonal_Shape.templates.hh
+++ b/src/Octagonal_Shape.templates.hh
@@ -630,8 +630,8 @@ Octagonal_Shape<T>::refine_with_linear_form_inequality(
       bool is_right_coeff_one = (right_w_coeff == 1);
       bool is_right_coeff_minus_one = (right_w_coeff == -1);
       if (left_w_id == right_w_id) {
-        if (is_left_coeff_one && is_right_coeff_one ||
-            is_left_coeff_minus_one && is_right_coeff_minus_one) {
+        if ((is_left_coeff_one && is_right_coeff_one) ||
+            (is_left_coeff_minus_one && is_right_coeff_minus_one)) {
           // Here we have an identity or a constants-only constraint.
           return;
         }
diff --git a/tests/Floating_Point_Expression/Makefile.am b/tests/Floating_Point_Expression/Makefile.am
index 4039297..ba5c2e7 100755
--- a/tests/Floating_Point_Expression/Makefile.am
+++ b/tests/Floating_Point_Expression/Makefile.am
@@ -50,7 +50,8 @@ $(top_builddir)/src/libppl.la \
 @extra_libraries@
 
 TESTS = floatingpointexpr1 \
-affineimage3
+affineimage3 \
+refinelf1
 
 XFAIL_TESTS =
 
@@ -62,6 +63,7 @@ BUGS =
 
 floatingpointexpr1_SOURCES = floatingpointexpr1.cc
 affineimage3_SOURCES = affineimage3.cc
+refinelf1_SOURCES = refinelf1.cc
 
 check_PROGRAMS = \
 $(TESTS) \