https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113878
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- The sanitizers don't turn on -fwrapv. There is just TYPE_OVERFLOW_SANITIZED which inhibits various optimizations, in the constant folder and match.pd etc. so that stuff can be instrumented properly, doesn't get folded away before the instrumentation is added. And given the amount of open bugs we have for cases where sanitizers should catch some UB and don't, I don't think there is energy for enhancements like this.