http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33135
--- Comment #5 from Kazumoto Kojima <kkojima at gcc dot gnu.org> 2012-07-16 22:15:40 UTC --- (In reply to comment #4) > Thus, I did not want to distinguish between linux or non-linux here. I have no strong feelings about the bare metal case. We didn't catch any complaints for defaulting -mieee in 4.6 and 4.7 compilers. It could be a proof of your argument.