https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48885
--- Comment #22 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- On Fri, 25 Sep 2015, vries at gcc dot gnu.org wrote: > Standard: "Let D be a declaration of an ordinary identifier that provides a > means of designating an object P as a restrict-qualified pointer to type T." > > Say D is "int *__restrict__ *__restrict__ fpp" > > Does this designate as a restrict-qualified pointer": > 1. both objects fpp and *fpp, or Both objects. And also objects fpp[1], fpp[-1], etc., if they exist.