https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66880
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- It would be better to make the C FE reject this as constant expression which invokes undefined behavior. IMHO -fsanitize should never sanitize any constant expression - the FE will reject non-constant ones anyway.