https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104800
--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> --- Btw, with -ftrapv it would mean we cannot re-order any signed arithmetic with respect to volatile accesses unless we can prove it does not invoke (undefined, but -ftrapv makes it implementation defined) signed overflow.
