[PPL-devel] [GIT] ppl/ppl(floating_point): Added a FIXME note.
Fabio Bossi
bossi at cs.unipr.it
Thu Jul 22 12:18:21 CEST 2010
Module: ppl/ppl
Branch: floating_point
Commit: 1e5b8d148576252e05021bfaf76a14e14416f8c0
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e5b8d148576252e05021bfaf76a14e14416f8c0
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Jul 22 12:18:02 2010 +0200
Added a FIXME note.
---
src/Float.templates.hh | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/src/Float.templates.hh b/src/Float.templates.hh
index ab93c35..e5bf852 100644
--- a/src/Float.templates.hh
+++ b/src/Float.templates.hh
@@ -33,6 +33,7 @@ const FP_Interval_Type& compute_absolute_error(
const Floating_Point_Format analyzed_format) {
typedef typename FP_Interval_Type::boundary_type analyzer_format;
+ // FIXME: check if initializing caches with EMPTY is better.
static const FP_Interval_Type ZERO_INTERVAL = FP_Interval_Type(0);
// Cached results for each different analyzed format.
static FP_Interval_Type ieee754_half_result = ZERO_INTERVAL;
More information about the PPL-devel
mailing list