https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117766
--- Comment #12 from Tom Lane <tgl at sss dot pgh.pa.us> --- This does seem like there is some confusion between arm32 and aarch64. Specifically, having +nofp and not +fp makes sense on the aarch64 side. It doesn't make sense for arm32, but nonetheless that's how it's acting.
