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

Tobias Grosser wrote:

thanks a lot for your work on this. I attached the gdb logs for you.

Hi Tobias,

it looks like GCC is miscompiling something: the equality test on two identical long doubles fails. Can you please send the generated assembly code? Thanks,

Roberto