https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84202
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed|2018-08-05 00:00:00 |2021-4-8
--- Comment #4 from Martin Sebor <msebor at gcc dot gnu.org> ---
No progress in GCC 11.
Clang diagnoses the first test case:
$ cat pr84202.c && clang -S -Wall pr84202.c
void* __attribute__ ((returns_nonnull)) f ()
{
return 0; // missing -Wnonnull
}
pr84202.c:4:3: warning: null returned from function that requires a non-null
return value [-Wnonnull]
return 0; // missing -Wnonnull
^ ~
1 warning generated.
