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

Author: Roberto Bagnara bagnara@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; }