[Bug middle-end/87489] [8/9 Regression] Spurious -Wnonnull warning

[msebor at gcc dot gnu.org]

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Spurious -Wnonnull warning  |[8/9 Regression] Spurious
                   |                            |-Wnonnull warning

--- Comment #8 from Martin Sebor <msebor at gcc dot gnu.org> ---
It might be reasonable but it isn't possible to distinguish one from the other.
 The value of s has been folded into a constant by the time the warning is
issued, and its origin is lost.  In both cases the warning code sees something
like

  <integer_cst 0x7fffefb9d948 type <pointer_type 0x7fffefb95930> constant 0>

It's the same consequence of r254930 as bug 87041.