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

[egallager at gcc dot gnu.org]

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

Eric Gallager <egallager at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |egallager at gcc dot gnu.org
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=77425,
                   |                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=77421,
                   |                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=16351

--- Comment #3 from Eric Gallager <egallager at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #1)
> Hmm, there was a warning for this specific thing, I thought but I could be
> wrong.  Maybe it only happens with optimization.
> 
> Oh that is -Wnull-dereference which is slightly different, this case is when
> eliminating the conditional due to dereferencing rather than having a path
> which might deference a null pointer.

They could still be grouped under the same flag though.