https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95697
--- Comment #2 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- See bug 60540, of which this is probably a duplicate, noting the issue with losing "inexact" exceptions (and "overflow" for some types) and the reference to bug 57371 for a more detailed discussion of the conditions under which such optimizations are valid.