https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102126
--- Comment #6 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- Issues relating to traps being enabled are still bugs (unlike e.g. any issues with changing x87 rounding precision, which are definitely "don't do that" when it invalidates assumptions made by the compiler) - e.g. we have tests in the testsuite for exact underflow being handled appropriately by soft-fp for __float128 - but correct semantics when traps are enabled can't usefully be read from ISO C or any part of TS 18661, since trap enablement is out of scope there.