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

Author: Marco Poletti poletti.marco@gmail.com Date: Sun Dec 4 18:27:44 2011 +0100

tests/BD_Shape/cc76extrapolation1: avoid unused expression warnings by casting to void.

---

tests/BD_Shape/cc76extrapolation1.cc | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/BD_Shape/cc76extrapolation1.cc b/tests/BD_Shape/cc76extrapolation1.cc index d4d46ca..b482793 100644 --- a/tests/BD_Shape/cc76extrapolation1.cc +++ b/tests/BD_Shape/cc76extrapolation1.cc @@ -176,7 +176,7 @@ test03() { bds2.add_constraint(D - C <= 1);

// Force the closure of `bds1'. - bds1 == bds2; + (void) (bds1 == bds2);

BD_Shape<mpq_class> known_widening(4); known_widening.add_constraint(A >= 0); @@ -200,7 +200,7 @@ test03() { print_constraints(bds1, "*** bds1.CC76_extrapolation_assign(bds2) ***");

// Force the closure of `bds1'. - bds1 == bds2; + (void) (bds1 == bds2);

bool ok = (BD_Shape<mpq_class>(bds1) == known_widening);