Module: ppl/ppl Branch: master Commit: e78400a9a29988f68b1d6a238c49dea8ea72617d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e78400a9a2998... Author: Roberto Bagnara <bagnara@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