https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118008
--- Comment #11 from Richard Earnshaw <rearnsha at gcc dot gnu.org> --- For the bare metal cross you probably need to configure with '--with-arch=armv7-a+fp --with-float-abi=hard' If that still doesn't trigger it, try adding '--with-mode=thumb'