[Bug sanitizer/66880] 'error: case label does not reduce to an integer constant' with -fsanitize=shift -std=gnu99.

rguenth at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Thu Jul 16 07:45:00 GMT 2015


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.



More information about the Gcc-bugs mailing list