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.