https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62307
Yuri Gribov <tetra2005 at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |tetra2005 at gmail dot com --- Comment #5 from Yuri Gribov <tetra2005 at gmail dot com> --- Given that nonnull attribute is ignored on purpose, perhaps this should be closed (as wontfix)?