Richard Biener wrote: > We are generally not preserving traps but we guard any transform that > might introduce traps with -ftrapping-math. That's similar to how we treat > -ftrapv and pointer dereferences.
Right. It appears it's mostly concerned about division - if it is about division by zero aborting like a null pointer reference then maybe it should be renamed to -ftrap-fp-division-by-zero? Are there targets that abort like this? > We're mitigating the "bad" effect of the -ftrapping-math default > by defaulting to -fno-signalling-nans. > > If it doesn't block any optimizations what's the point of the patch? It certainly blocks some optimizations, I noticed it affects the division reciprocal optimization. Wilco
