https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83105
--- Comment #2 from Richard Earnshaw <rearnsha at gcc dot gnu.org> --- The baseline target CPU for arm linux is ARM10TDMI (armv5t), but that processor only had VFPv1 and GCC has never supported that. Code generated historically was incompatible with that target and if you ran it on an ARM10TDMI it would crash. We could, of course raise the baseline to arm10e (armv5te), which has VFPv2 (and some additional instructions).