[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

--- Comment #7 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
(In reply to David Malcolm from comment #5)
> 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.

I've now committed the above patch implementing -Wanalyzer-deref-before-check
for GCC 13 as part of -fanalyzer.

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

Do we want a non-analyzer implementation of this warning, or should we close
this out?