[Bug c/110815] [static] not as useful as the nonnull attribute

[muecker at gwdg dot de]

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

--- Comment #1 from Martin Uecker <muecker at gwdg dot de> ---
Created attachment 55638
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55638&action=edit
patch




This patch would synthesize a nonnull attribute for such parameters, making
this fully equivalent.