[PPL-devel] [GIT] ppl/ppl(sparse_matrices): Use helper function used() to avoid unused variable warnings.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Dec 11 10:00:19 2011 +0100

Use helper function used() to avoid unused variable warnings.

---

 src/Grid_Generator.inlines.hh |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/src/Grid_Generator.inlines.hh b/src/Grid_Generator.inlines.hh
index 14f3eb0..1d9337f 100644
--- a/src/Grid_Generator.inlines.hh
+++ b/src/Grid_Generator.inlines.hh
@@ -67,6 +67,7 @@ Grid_Generator::set_is_ray_or_point_or_inequality() {
 
 inline void
 Grid_Generator::set_topology(Topology x) {
+  used(x);
   PPL_ASSERT(x == NECESSARILY_CLOSED);
 }
 
@@ -124,6 +125,7 @@ Grid_Generator::Grid_Generator(dimension_type space_dim, Kind kind,
     semi_wrapped_expr(expr),
     wrapped_expr(semi_wrapped_expr, true),
     kind_(kind) {
+  used(topology);
   PPL_ASSERT(topology == NECESSARILY_CLOSED);
   expr.set_space_dimension(space_dim + 1);
   PPL_ASSERT(space_dimension() == space_dim);