https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117235
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- Hmm, but re-ordering should be OK as long as no intermediate FP state is examined (which of course we do not track via dependences in the IL). I think we have many more passes where such re-ordering can happen and this is one of the general issues with properly implementing #pragma FENV_ACCESS - we need to represent dependences on FP state appropriately. So I don't think this is worth fixing.