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.
