Re: [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2

Roberto Bagnara ha scritto:

Tobias Grosser wrote:

...

2. test02 and test03 in tests/Box/propagateconstraints2 fail.

They only fail if compile with

gmake propagateconstraints2 -DBOX_INSTANCE=db_r_oc or gmake check (in ppl/, ppl/tests, or ppl/tests/Box)

Hi Tobias,

we finally found what the problem is: FreeBSD implementation of fma() does not respect the rounding mode (even though it is said to conform to ISO/IEC 9899:1999).

This is the link to the detailed problem report I've submitted:

http://www.freebsd.org/cgi/query-pr.cgi?pr=133583