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),