https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97424
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Such a warning would suffer from the usual pain of late warnings, warning even
about cases of this in unreachable code that the compiler can't prove is
unreachable.
An alternative to this is -fsanitize=undefined which detects only the reachable
cases at runtime.
