https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108893
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Isn't this the same as PR 108871 ? 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.