https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113786
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Blocks| |87403
Severity|normal |enhancement
Keywords| |diagnostic
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
I guess we could put [[gnu::returns_nonnull]] on those functions, but it
wouldn't help due to PR 86879.
This feels like something that belongs to static analysers, not a compiler.
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87403
[Bug 87403] [Meta-bug] Issues that suggest a new warning