https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113878
--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
I'd very much appreciate getting rid of TYPE_OVERFLOW_SANITIZED checks by doing
instrumentation in the frontends.
Note we do
#define TYPE_OVERFLOW_UNDEFINED(TYPE) \
(POINTER_TYPE_P (TYPE) \
? !flag_wrapv_pointer \
: (!ANY_INTEGRAL_TYPE_CHECK(TYPE)->base.u.bits.unsigned_flag \
&& !flag_wrapv && !flag_trapv))
it might be tempting to do && !flag_trapv && !(flag_sanitize &
SANITIZE_SI_OVERFLOW) instead to get more complete coverage of disabling
foldings.
_Maybe_ we could clear SANITIZE_SI_OVERFLOW once instrumentation is complete?
