[PPL-devel] [GIT] ppl/ppl(master): Disable all abstractions based on machine floating-point numbers when clang++ is detected .

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Dec  4 18:03:29 2011 +0100

Disable all abstractions based on machine floating-point numbers when clang++ is detected.

---

 configure.ac |   13 ++++++++++---
 1 files changed, 10 insertions(+), 3 deletions(-)

diff --git a/configure.ac b/configure.ac
index db4f1d8..131e335 100644
--- a/configure.ac
+++ b/configure.ac
@@ -494,9 +494,16 @@ then
     # lots of warnings.
     if test x"$CLANGXX" = xyes
     then
-      AC_MSG_WARN([DISABLING -frounding-math:
-*** clang++ detected, disabling -frounding-math.
-*** NOTE THAT THIS CAN GIVE WRONG RESULTS!])
+      if test x"$use_fpmath" = xyes
+      then
+        AC_MSG_WARN([CANNOT RELY ON DIRECTED ROUNDING:
+*** DISABLED ALL ABSTRACTIONS BASED ON MACHINE FLOATING-POINT NUMBERS.
+*** clang++ has been detected, which does not provide support for
+*** -frounding-math (or any other option with the same semantics).
+*** Hence, we cannot rely on floating-point computations to happen
+*** in agreement with the rounding direction(s) used by the PPL.])
+        use_fpmath=no
+      fi
     else
       OPT_FLAGS="$OPT_FLAGS -frounding-math"
     fi