[Bug tree-optimization/103491] nextafter does not raise "overflow" and "inexact" floating-point exceptions

[rguenth at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103491

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2021-11-30
          Component|middle-end                  |tree-optimization
             Status|UNCONFIRMED                 |NEW
                 CC|                            |jsm28 at gcc dot gnu.org,
                   |                            |rguenth at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed with -frounding-math and optimization where we simply elide
the nextafter call (and its side-effects).  I think the idea is that
-ftrapping-math should preserve such calls (but that's default on even).
-frounding-math is documented to be required for FENV_ACCESS.

Also confirmed as a glibc bug in 2.31 with -O0 where we call nextafter ().
The manpage isn't too informative on whether your expectation is valid.