[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