https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85617
--- Comment #2 from Daniel Gutson <danielgutson at gmail dot com> --- (In reply to Andrew Pinski from comment #1) > 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. Sorry I don't get the issue. Are you saying that similar features suffered breakage between releases , and because of that, this feature should not be implemented because it may suffer the same fate?