https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86568
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed|2020-06-03 00:00:00 |2025-7-13
--- Comment #13 from Jonathan Wakely <redi at gcc dot gnu.org> ---
For the comment 0 testcase trunk prints this:
null.cc: In function 'int main()':
null.cc:9:4: warning: argument 2 null where non-null expected [-Wnonnull]
9 | f(0, 0);
| ~^~~~~~
null.cc:1:6: note: in a call to function 'void f(void*, void*)' declared
'nonnull'
1 | void f(void*, void*) __attribute__((nonnull(2)));
| ^
null.cc:10:8: warning: argument 1 null where non-null expected [-Wnonnull]
10 | A().f(0, 0);
| ~~~~~^~~~~~
null.cc:4:8: note: in a call to function 'void A::f(void*, void*)' declared
'nonnull'
4 | void f(void*, void*) __attribute__((nonnull(2)));
| ^
Which is ... different, I guess. It just highlights the entire function call
now, but still not the parameter.
