optimization/9736: same fp comparison can lead to different results

Eric Botcazou ebotcazou@libertysurf.fr
Wed Feb 19 09:03:00 GMT 2003

> If the compiler produces valid assembly code that does not
> correctly execute the input source code, that is a compiler bug.

Sure. But why do you keep using a compilation mode that you know will 
generate a faulty executable for your program? I can't say much more than 
the GCC manual here: if your program relies on exact IEEE floating-point 
semantics to properly work, compile it with -ffloat-store. Otherwise 
eliminate the dependencies on the IEEE format.

Eric Botcazou

More information about the Gcc-bugs mailing list