https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121000
--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> --- The usual way would be to make the argument pointer to the scalar type, basically have the access mode the same type as the second argument. So e.g. int * or unsigned * or size_t * etc.