https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110832
--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> --- Do we know whether we could in theory improve the sanitizing by optimization without -funsafe-math-optimizations (I think -fno-trapping-math, -ffinite-math-only -fno-signalling-nans should be a better guard?)?