[Bug analyzer/119169] [[gnu::nonnull_if_nonzero]] False negative of -Wanalyzer-possible-null-argument with nonzero integer constant expression

[alx at kernel dot org via Gcc-bugs]

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

--- Comment #1 from Alejandro Colomar <alx at kernel dot org> ---
(In reply to Alejandro Colomar from comment #0)
> The most basic code that should trigger a -Wanalyzer-possible-null-argument
> diagnostic with [[gnu::nonnull]], doesn't.

Here I obviously meant [[gnu::nonnull_if_nonzero]].