Module: ppl/ppl Branch: floating_point Commit: b37ac0cb3045394b6f2c36d3998bb8cd06498677 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b37ac0cb30453...

Author: Fabio Bossi bossi@cs.unipr.it Date: Mon Oct 5 15:39:57 2009 +0200

Fixed a few typos.

---

src/Polyhedron.defs.hh | 2 +- src/Polyhedron.templates.hh | 18 ++++++++++++------ 2 files changed, 13 insertions(+), 7 deletions(-)

diff --git a/src/Polyhedron.defs.hh b/src/Polyhedron.defs.hh index 1cb2007..0dfcf54 100644 --- a/src/Polyhedron.defs.hh +++ b/src/Polyhedron.defs.hh @@ -2684,7 +2684,7 @@ protected: considered as singletons. */ template <typename FP_Format, typename Interval_Info> - static void overapproximate_linear_form( + void overapproximate_linear_form( const Linear_Form<Interval <FP_Format, Interval_Info> >& lf, const dimension_type lf_dimension, Linear_Form<Interval <FP_Format, Interval_Info> >& result); diff --git a/src/Polyhedron.templates.hh b/src/Polyhedron.templates.hh index 3b86858..ac4ad97 100644 --- a/src/Polyhedron.templates.hh +++ b/src/Polyhedron.templates.hh @@ -325,10 +325,12 @@ Polyhedron::refine_with_linear_form_inequality( // We assume that the analyzer will not refine an unreachable test. PPL_ASSERT(!marked_empty());

- if (Floating_Point_Expression::overflows(left)) + if (Floating_Point_Expression<FP_Format, float_ieee754_single>:: + overflows(left)) return;

- if (Floating_Point_Expression::overflows(right)) + if (Floating_Point_Expression<FP_Format, float_ieee754_single>:: + overflows(right)) return;

typedef Interval<FP_Format, Interval_Info> FP_Interval_Type; @@ -337,13 +339,15 @@ Polyhedron::refine_with_linear_form_inequality( // Overapproximate left - right. FP_Linear_Form left_minus_right(left); left_minus_right -= right; - if (Floating_Point_Expression::overflows(left_minus_right)) + if (Floating_Point_Expression<FP_Format, float_ieee754_single>:: + overflows(left_minus_right)) return;

dimension_type lf_space_dim = left_minus_right.space_dimension(); FP_Linear_Form lf_approx; overapproximate_linear_form(left_minus_right, lf_space_dim, lf_approx); - if (Floating_Point_Expression::overflows(lf_approx)) + if (Floating_Point_Expression<FP_Format, float_ieee754_single>:: + overflows(lf_approx)) return;

// Normalize left - right. @@ -381,7 +385,8 @@ const Linear_Form<Interval <FP_Format, Interval_Info> >& lf) { // We assume that the analyzer will not perform an unreachable assignment. PPL_ASSERT(!marked_empty());

- if (Floating_Point_Expression::overflows(lf)) { + if (Floating_Point_Expression<FP_Format, float_ieee754_single>:: + overflows(lf)) { *this = Polyhedron(topology(), space_dim, UNIVERSE); return; } @@ -393,7 +398,8 @@ const Linear_Form<Interval <FP_Format, Interval_Info> >& lf) { FP_Linear_Form lf_approx; overapproximate_linear_form(lf, lf_space_dim, lf_approx);

- if (Floating_Point_Expression::overflows(lf_approx)) { + if (Floating_Point_Expression<FP_Format, float_ieee754_single>:: + overflows(lf_approx)) { *this = Polyhedron(topology(), space_dim, UNIVERSE); return; }