https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115826
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Target| |arm --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- I think elsewhere we have /* { dg-add-options ieee } */ for such cases.