The documentation of -mhard-float on ARM claims that this is the default. This is incorrect on practically all configurations these days (the only notable exception is Linux) This PR is a reminder that this needs fixing before 4.0 is shipped
Confirmed.
This is now fixed given that we now have in trunk. @item -mhard-float @opindex mhard-float Equivalent to @option{-mfloat-abi=hard}. I believe this was fixed in the 4.4.0 release by this commit http://gcc.gnu.org/viewcvs?view=revision&revision=140179 .