https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108893
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|DUPLICATE |INVALID --- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> --- >From the manual: Also, the access attribute does not imply the attribute nonnull; it may be appropriate to add both attributes at the declaration of a function that unconditionally manipulates a buffer via a pointer argument. See the nonnull attribute for more information and caveats.