[PPL-devel] [GIT] ppl/ppl(floating_point): Added two FIXME notes.
Fabio Bossi
bossi at cs.unipr.it
Tue Jul 27 16:22:36 CEST 2010
Module: ppl/ppl
Branch: floating_point
Commit: 5bdcb742713de7e2f0303d7a311b03393768560b
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5bdcb742713de7e2f0303d7a311b03393768560b
Author: Fabio Bossi <bossi at 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),
More information about the PPL-devel
mailing list