https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94629
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
We should for GCC11 discuss if we want to implement some of these checks,
either in -fanalyzer, or as normal GCC warnings.
E.g. the
foo = something;
// code that can't affect foo
foo = somethingelse;
is perhaps something that should be warned as early as possible after getting
into GIMPLE, before inlining because it is quite common that inlines overwrite
something, and in the FEs it is likely too early.
