Hi,

Thanks for the reply.

I have tried removing -frounding-math option from the configuration file, but those 6 tests were still failing. I am currently using 0.11.2. When is a new release with clang support foreseen on PPL roadmap?

P.S. I have not yet tried compiling GIT HEAD version of PPL on Mac OS X Lion.

Thanks, David

On 2012.01.28, at 15:06, Enea Zaffanella wrote:

On 01/27/2012 04:36 PM, David Abdurachmanov wrote:

...

Hi, I am running 'make check' on my PPL build on Mac OS X Lion with XCode 4.2 using clang compiler.

I was using clean environment (env -i) and additional environment variables: export CC='/Developer/usr/bin/clang' export CXX='/Developer/usr/bin/clang++' export F90FLAGS='-O2 -m64' export OBJC='/Developer/usr/bin/clang' export FCFLAGS='-O2 -m64' export INSTALL='/usr/bin/install -c' export OBJCFLAGS='-O2 -arch x86_64' export FFLAGS='-O2 -m64' export ABI='64'

Here is the list of failed tests:

tests failed: test08 FAIL: affineimage1 tests failed: test03 test04 FAIL: frompolyhedron1 tests failed: test01 test02 FAIL: frompolyhedron2 tests failed: test01 test03 FAIL: propagateconstraints2 tests failed: test01 FAIL: refinewithconstraint1 tests failed: test03 test04 FAIL: nnc_frompolyhedron1

$ /Developer/usr/bin/clang -v Apple clang version 3.0 (tags/Apple/clang-211.12) (based on LLVM 3.0svn) Target: x86_64-apple-darwin11.2.0 Thread model: posix

Thanks, David

Hello David.

From what you say it seems to be a known problem, discussed in the following thread

http://www.cs.unipr.it/pipermail/ppl-devel/2011-August/017563.html

whereby llvm/clang is not supporting (yet?) -frounding-math.

As a consequence, wrong results can be obtained (due to unsafe rounding) but **only** when using those PPL domain instantiations whose representation relies on floating point datatypes (e.g., Box<float>, BD_Shape<double>, Octagonal_Shape<double>, etc.).

We have recently added clang-detection ability to the PPL configure script which should be able to automatically turn off those domain instantiations. See

http://www.cs.unipr.it/pipermail/ppl-devel/2011-December/017821.html

This however has not been released yet (I assume you are building PPL 0.11.2).

Cheers, Enea.