http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55491
--- Comment #6 from Mikael Pettersson <mikpe at it dot uu.se> 2012-11-27 19:09:34 UTC --- Actually my tests were with -O2 -m32 -mrtd; I only mentioned the "-m32 -mrtd" part because the 64-bit target ignores -mrtd, one has to explicitly select the 32-bit target for -mrtd to have any effect.
