[Bug c/48885] missed optimization with restrict qualifier?

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48885

--- Comment #21 from vries at gcc dot gnu.org ---
(In reply to Marc Glisse from comment #20)
> (In reply to vries from comment #18)
> 
> Aren't you supposed to also look at:
> D: declaration of fpp
> B: block of f
> P: *fpp
> accesses: *fp and *fp2
> etc ?

Hmm, I think this may indeed be the difference in interpretation.

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
2. only object fpp
   (and the first restrict is just an obligate copy of the type qualifier of
the
   restrict pointer declaration fpp points to)
?

I'd say the standard is not clear on this point.