https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93894
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Yeah, -Wimplicit-fallthrough is intentionally an early warning, so that it
isn't dependent on optimizations etc., and you are asking that it depends on
VRP or some poor man's VRP. There will always be ways to obfuscate code so
that the compiler doesn't understand something can't fall through.
