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

[Abramo Bagnara]

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


-- 
Abramo Bagnara

Opera Unica                          Phone: +39.0546.656023
Via Borghesi, 16
48014 Castel Bolognese (RA) - Italy