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.
