[PPL-devel] [GIT] ppl/ppl(master): Silenced a few warnings.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Aug  2 21:55:22 2011 +0200

Silenced a few warnings.

---

 src/Interval.inlines.hh          |   10 ++++++++--
 src/Interval_Info.inlines.hh     |    4 ++--
 src/Interval_Restriction.defs.hh |    3 +++
 3 files changed, 13 insertions(+), 4 deletions(-)

diff --git a/src/Interval.inlines.hh b/src/Interval.inlines.hh
index f0e860a..f8329e0 100644
--- a/src/Interval.inlines.hh
+++ b/src/Interval.inlines.hh
@@ -518,7 +518,9 @@ Interval<To_Boundary, To_Info>::refine_universal(Relation_Symbol rel,
 	return combine(V_EQ, V_EQ);
       info().clear_boundary_properties(UPPER);
       Result ru = Boundary_NS::assign(UPPER, upper(), info(),
-				      LOWER, f_lower(x), SCALAR_INFO, !is_open(LOWER, f_lower(x), f_info(x)));
+				      LOWER, f_lower(x), SCALAR_INFO,
+                                      !is_open(LOWER, f_lower(x), f_info(x)));
+      used(ru);
       normalize();
       return I_ANY;
     }
@@ -529,6 +531,7 @@ Interval<To_Boundary, To_Info>::refine_universal(Relation_Symbol rel,
       info().clear_boundary_properties(UPPER);
       Result ru = Boundary_NS::assign(UPPER, upper(), info(),
 				      LOWER, f_lower(x), SCALAR_INFO);
+      used(ru);
       normalize();
       return I_ANY;
     }
@@ -538,7 +541,9 @@ Interval<To_Boundary, To_Info>::refine_universal(Relation_Symbol rel,
 	return combine(V_EQ, V_EQ);
       info().clear_boundary_properties(LOWER);
       Result rl = Boundary_NS::assign(LOWER, lower(), info(),
-				      UPPER, f_upper(x), SCALAR_INFO, !is_open(UPPER, f_upper(x), f_info(x)));
+				      UPPER, f_upper(x), SCALAR_INFO,
+                                      !is_open(UPPER, f_upper(x), f_info(x)));
+      used(rl);
       normalize();
       return I_ANY;
     }
@@ -549,6 +554,7 @@ Interval<To_Boundary, To_Info>::refine_universal(Relation_Symbol rel,
       info().clear_boundary_properties(LOWER);
       Result rl = Boundary_NS::assign(LOWER, lower(), info(),
 				      UPPER, f_upper(x), SCALAR_INFO);
+      used(rl);
       normalize();
       return I_ANY;
     }
diff --git a/src/Interval_Info.inlines.hh b/src/Interval_Info.inlines.hh
index 9cb27a5..d22f458 100644
--- a/src/Interval_Info.inlines.hh
+++ b/src/Interval_Info.inlines.hh
@@ -35,12 +35,12 @@ Interval_Info_Null<Policy>::swap(Interval_Info_Null<Policy>&) {
 
 template <typename Policy>
 inline void
-Interval_Info_Null<Policy>::ascii_dump(std::ostream& s) const {
+Interval_Info_Null<Policy>::ascii_dump(std::ostream&) const {
 }
 
 template <typename Policy>
 inline bool
-Interval_Info_Null<Policy>::ascii_load(std::istream& s) {
+Interval_Info_Null<Policy>::ascii_load(std::istream&) {
   return true;
 }
 
diff --git a/src/Interval_Restriction.defs.hh b/src/Interval_Restriction.defs.hh
index 51c6e05..dd28edf 100644
--- a/src/Interval_Restriction.defs.hh
+++ b/src/Interval_Restriction.defs.hh
@@ -618,6 +618,9 @@ inline bool
 diff_restriction(Interval_Restriction_Integer_Modulo<T, Base>& to,
 		 const From1& x, const From2& y) {
   // FIXME: to be written
+  used(to);
+  used(x);
+  used(y);
   return true;
 }