https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110617
Sam James <sjames at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |bugzilla at tecnocode dot
co.uk,
| |sjames at gcc dot gnu.org,
| |tim.ruehsen at gmx dot de
--- Comment #4 from Sam James <sjames at gcc dot gnu.org> ---
There's a history of people objecting to use of nonnull, although I'm still
sceptical (not that it's my decision) - partly because nonnull has decent
takeup in general so changing its semantics now is not great.
It came up on the glib side at
https://gitlab.gnome.org/GNOME/glib/-/issues/2647, and wget2 considered/has
removed the attribute at https://gitlab.com/gnuwget/wget2/-/issues/200 too.
