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

[joseph at codesourcery dot com]

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.