[Bug middle-end/77432] warn about null check after pointer dereference

[dmalcolm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77432

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dmalcolm at gcc dot gnu.org

--- Comment #5 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
I hadn't seen this, and I filed PR analyzer/99671 last year to track adding a
-fanalyzer warning for this.  I now have a mostly-working implementation of the
latter which I'm hoping to post for stage 1.

Not sure if these are dupes or not (would we want a non-analyzer implementation
of this warning?)