[Bug sanitizer/80550] error: case label does not reduce to an integer constant

trippels at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Thu Apr 27 18:19:00 GMT 2017


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80550

--- Comment #1 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Looks like a dup of PR66880.

richi said in that bug:

»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.«

I agree. No compiler (icc, clang, gcc) warns about it.


More information about the Gcc-bugs mailing list