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 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it