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

Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Oct 5 19:00:03 2010 +0200

Added two FIXME notes.

---

src/linearize.hh | 8 ++++++++ 1 files changed, 8 insertions(+), 0 deletions(-)

diff --git a/src/linearize.hh b/src/linearize.hh index 1a06b84..72e759a 100644 --- a/src/linearize.hh +++ b/src/linearize.hh @@ -604,6 +604,10 @@ cast_linearize(const Cast_Operator<Target>& cast_expr, result == FP_Linear_Form(FP_Interval_Type(0)) || result == FP_Linear_Form(FP_Interval_Type(1))) /* + FIXME: find a general way to check if the casted constant + is exactly representable in the less precise format. + */ + /* We are casting to a more precise format or casting a definitely safe value: do not add errors. */ @@ -618,6 +622,10 @@ cast_linearize(const Cast_Operator<Target>& cast_expr, result == FP_Linear_Form(FP_Interval_Type(0)) || result == FP_Linear_Form(FP_Interval_Type(1))) /* + FIXME: find a general way to check if the casted constant + is exactly representable in the less precise format. + */ + /* We are casting to a more precise format or casting a definitely safe value: do not add errors. */