https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86350
--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> --- Maybe the frontend can adjust the defaults for -ffinite-math-only / -fsigned-zeros in case the IEEE module is not in scope (or whatever constraints apply here from the language standard). That certainly allows for more optimization.
