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

Author: Roberto Amadini r.amadini@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) \