[Bug c/54550] GCC -O3 breaks floating point equality comparison

[matz at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54550

Michael Matz <matz at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |matz at gcc dot gnu.org

--- Comment #2 from Michael Matz <matz at gcc dot gnu.org> 2012-09-11 15:46:08 UTC ---
In particular your speculation about the x87 registers is most probably right.
If so, it's a known deficiency in the 32bit x86 backend, and you should be
able to work around this with -ffloat-store.  We have no intention
to change this behaviour in GCC.