https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85617
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |diagnostic --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- I doubt we want to make this warning to be flow sensitive at all. There are many other warnings which are flow sensitive and they change behavior between different releases of GCC and implementing this warning this way will do just that too.