[PPL-devel] [GIT] ppl/ppl(floating_point): Added FIXME notes.

[Roberto Amadini]

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

Author: Roberto Amadini <r.amadini at virgilio.it>
Date:   Sat Oct 17 12:43:04 2009 +0200

Added FIXME notes.

---

 tests/Floating_Point_Expression/digitalfilters1.cc |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/tests/Floating_Point_Expression/digitalfilters1.cc b/tests/Floating_Point_Expression/digitalfilters1.cc
index 8a40c4b..7e19652 100644
--- a/tests/Floating_Point_Expression/digitalfilters1.cc
+++ b/tests/Floating_Point_Expression/digitalfilters1.cc
@@ -512,6 +512,7 @@ test05() {
       std::numeric_limits<ANALYZER_FP_FORMAT>::max();
     max_analyzer = std::min(max_analyzer, max_analyzed);
     assign_r(M, max_analyzer, ROUND_DOWN);
+    //FIXME: We could take any value of M >= 145.
     cs.insert(Y <= M);
     cs.insert(Y >= -M);
     FP_BD_Shape bd_wid(bd);
@@ -633,6 +634,7 @@ test06() {
     // Y + Y <= 2 * M = +inf and -Y - Y <= -2 * M = +inf.
     // For a more precise analysis, it is better to insert the
     // constraints Y <= N and Y >= -N, where N = M / 2.
+    // However, we could take any value of N >= 145.
     cs.insert(Y <= N);
     cs.insert(Y >= -N);
     FP_Octagonal_Shape oc_wid(oc);
@@ -750,6 +752,7 @@ test07() {
       std::numeric_limits<ANALYZER_FP_FORMAT>::max();
     max_analyzer = std::min(max_analyzer, max_analyzed);
     assign_r(M, max_analyzer, ROUND_DOWN);
+    //FIXME: We could take any value of M >= 136.
     cs.insert(Y <= M);
     cs.insert(Y >= -M);
     NNC_Polyhedron ph_wid(ph);