Module: ppl/ppl Branch: floating_point Commit: 5bdcb742713de7e2f0303d7a311b03393768560b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5bdcb742713de...
Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Jul 27 16:18:55 2010 +0200
Added two FIXME notes.
---
src/Float.templates.hh | 1 + src/Linear_Form.templates.hh | 1 + 2 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/src/Float.templates.hh b/src/Float.templates.hh index e5bf852..a784723 100644 --- a/src/Float.templates.hh +++ b/src/Float.templates.hh @@ -109,6 +109,7 @@ const FP_Interval_Type& compute_absolute_error(
PPL_ASSERT(to_compute != NULL);
+ // FIXME: the inner cast may be dangerous. analyzer_format omega = std::max( static_cast<analyzer_format>(pow(f_base, static_cast<analyzer_format>(1) - diff --git a/src/Linear_Form.templates.hh b/src/Linear_Form.templates.hh index e508759..97f915b 100644 --- a/src/Linear_Form.templates.hh +++ b/src/Linear_Form.templates.hh @@ -418,6 +418,7 @@ Linear_Form<C>::relative_error( }
C error_propagator; + // FIXME: this cast may be dangerous, analyzer_format lb = -pow(f_base, -static_cast<analyzer_format>(f_mantissa_bits)); error_propagator.build(i_constraint(GREATER_OR_EQUAL, lb),