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

Author: Alberto Gioia alberto.gioia1@studenti.unipr.it Date: Tue Sep 6 18:59:21 2011 +0200

Minor changes.

---

src/linearize_integer.hh | 4 ++-- tests/Concrete_Expression/linearize_int.cc | 8 ++++---- 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/linearize_integer.hh b/src/linearize_integer.hh index 2cf8646..53990dc 100644 --- a/src/linearize_integer.hh +++ b/src/linearize_integer.hh @@ -1885,7 +1885,7 @@ linearize_int typedef std::map<dimension_type, Linear_Form> Linear_Form_Abstract_Store;

PPL_ASSERT(expr.type().is_bounded_integer()); - switch(expr.kind()){ + switch(expr.kind()) { case Int_Constant<Target>::KIND: { const Int_Constant<Target>* intc_expr = expr.template as<Int_Constant>(); @@ -1896,7 +1896,7 @@ linearize_int return true; }

- case Binary_Operator<Target>::KIND:{ + case Binary_Operator<Target>::KIND: { const Binary_Operator<Target>* bop_expr = expr.template as<Binary_Operator>(); switch (bop_expr->binary_operator()) { diff --git a/tests/Concrete_Expression/linearize_int.cc b/tests/Concrete_Expression/linearize_int.cc index 2b0c1ad..c3e52f7 100644 --- a/tests/Concrete_Expression/linearize_int.cc +++ b/tests/Concrete_Expression/linearize_int.cc @@ -1200,7 +1200,7 @@ test09(){ if (!linearize_int(lshift, oracle, Integer_Linear_Form_Abstract_Store(), result_lshift)) { nout << "*** Linearization failed, intervalize second linear form " - << "contain infinity *** " << endl << endl; + << "is not bounded *** " << endl << endl; failed_lshift = true; }

@@ -1208,7 +1208,7 @@ test09(){ if (!linearize_int(rshift, oracle, Integer_Linear_Form_Abstract_Store(), result_rshift)) { nout << "*** Linearization failed, intervalize second linear form " - << "contain infinity *** " << endl << endl; + << "is not bounded *** " << endl << endl; failed_rshift = true; }

@@ -1353,7 +1353,7 @@ test10(){ if (!linearize_int(lshift, oracle, Integer_Linear_Form_Abstract_Store(), result_lshift)) { nout << "*** Linearization failed, intervalize second linear form " - << "contain infinity *** " << endl << endl; + << "is not bounded *** " << endl << endl; failed_lshift = true; }

@@ -1361,7 +1361,7 @@ test10(){ if (!linearize_int(rshift, oracle, Integer_Linear_Form_Abstract_Store(), result_rshift)) { nout << "*** Linearization failed, intervalize second linear form " - << "contain infinity *** " << endl << endl; + << "is not bounded *** " << endl << endl; failed_rshift = true; }