PPL make check fails (OS X)
When building ppl-0.12.1 on OS X,
tests failed: test04 test05 FAIL: polyhedron1 tests failed: test04 test05 FAIL: polyhedron2 ====================================== 2 of 10 tests failed Please report to ppl-devel@cs.unipr.it ====================================== make[5]: *** [check-TESTS] Error 1 make[4]: *** [check-am] Error 2 make[3]: *** [run_tests.stamp] Error 1 make[2]: *** [check-am] Error 2 make[1]: *** [check-recursive] Error 1 make: *** [check-recursive] Error 1
On 05/11/12 06:00, Sergey Oboguev wrote:
When building ppl-0.12.1 on OS X,
tests failed: test04 test05 FAIL: polyhedron1 tests failed: test04 test05 FAIL: polyhedron2 ====================================== 2 of 10 tests failed Please report to ppl-devel@cs.unipr.it ====================================== make[5]: *** [check-TESTS] Error 1 make[4]: *** [check-am] Error 2 make[3]: *** [run_tests.stamp] Error 1 make[2]: *** [check-am] Error 2 make[1]: *** [check-recursive] Error 1 make: *** [check-recursive] Error 1
Hi Sergey,
more details are required. Please send the config.log file created at configure time. Then you should try running the failing tests after having defined the environment variable PPL_NOISY_TESTS to "yes": send also the output you obtain. Thanks for reporting,
Roberto
On 05/11/2012 06:00 AM, Sergey Oboguev wrote:
When building ppl-0.12.1 on OS X,
tests failed: test04 test05 FAIL: polyhedron1 tests failed: test04 test05 FAIL: polyhedron2 ====================================== 2 of 10 tests failed Please report to ppl-devel@cs.unipr.it ====================================== make[5]: *** [check-TESTS] Error 1 make[4]: *** [check-am] Error 2 make[3]: *** [run_tests.stamp] Error 1 make[2]: *** [check-am] Error 2 make[1]: *** [check-recursive] Error 1 make: *** [check-recursive] Error 1
Please send us your (compressed) config.log as well as the output of the following commands:
# cd <ppl-build-dir> # cd tests/Concrete_Expression # PPL_NOISY_TESTS=1 ./polyhedron1 # PPL_NOISY_TESTS=1 ./polyhedron2
Enea.
See the attachments.
________________________________ From: Enea Zaffanella zaffanella@cs.unipr.it To: The Parma Polyhedra Library developers' list ppl-devel@cs.unipr.it Cc: Sergey Oboguev oboguev@yahoo.com Sent: Fri, May 11, 2012 6:13:56 AM Subject: Re: [PPL-devel] PPL make check fails (OS X)
On 05/11/2012 06:00 AM, Sergey Oboguev wrote:
When building ppl-0.12.1 on OS X,
tests failed: test04 test05 FAIL: polyhedron1 tests failed: test04 test05 FAIL: polyhedron2 ====================================== 2 of 10 tests failed Please report to ppl-devel@cs.unipr.it ====================================== make[5]: *** [check-TESTS] Error 1 make[4]: *** [check-am] Error 2 make[3]: *** [run_tests.stamp] Error 1 make[2]: *** [check-am] Error 2 make[1]: *** [check-recursive] Error 1 make: *** [check-recursive] Error 1
Please send us your (compressed) config.log as well as the output of the following commands:
# cd <ppl-build-dir> # cd tests/Concrete_Expression # PPL_NOISY_TESTS=1 ./polyhedron1 # PPL_NOISY_TESTS=1 ./polyhedron2
Enea.
On 05/12/2012 12:14 AM, Sergey Oboguev wrote:
See the attachments.
[...]
Please send us your (compressed) config.log as well as the output of the following commands:
# cd <ppl-build-dir> # cd tests/Concrete_Expression # PPL_NOISY_TESTS=1 ./polyhedron1 # PPL_NOISY_TESTS=1 ./polyhedron2
Enea.
From the config log I see that your machine is using llvm-gcc:
configure:5217: g++ --version >&5 i686-apple-darwin11-llvm-g++-4.2 (GCC) 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2336.9.00)
LLVM does not provide support for -frounding-math and hence uncorrect results may be obtained when using floating-point based domains. See the following threads:
http://www.cs.unipr.it/pipermail/ppl-devel/2011-August/017559.html http://www.cs.unipr.it/pipermail/ppl-devel/2011-August/017560.html
Actually, we recently added some configure machinery in the PPL so as to detect "clang masqueraded as gcc" ... but that seems to be not enough:
configure:5524: checking whether we are actually using clang++
[...]
configure:5545: result: no
because your system is not using the clang frontend (but the problem is anyway rooted in the LLVM backend). We will probably have to refine this detection mechanism and make sure all FP based tests are disabled.
To summarize: afaict, those ppl tests are failing because LLVM does not support -frounding-math. The failure will only affects you if you are using floating-point based computations (in particular, when GCC uses the PPL it does *not* use floating-point based computations).
Regards, Enea.
participants (3)
-
Enea Zaffanella -
Roberto Bagnara -
Sergey Oboguev