[Bug tree-optimization/67705] incorrect restrict interpretation

[vries at gcc dot gnu.org]

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

vries at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |INVALID

--- Comment #6 from vries at gcc dot gnu.org ---
(In reply to rguenther@suse.de from comment #5)
> On September 24, 2015 6:28:16 PM GMT+02:00, joseph at codesourcery dot com
> <gcc-bugzilla@gcc.gnu.org> wrote:
> >https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67705
> >
> >--- Comment #4 from joseph at codesourcery dot com <joseph at
> >codesourcery dot com> ---
> >Regarding multiple levels of restricted pointers, please see my 
> >annotations of the C99 wording at 
> ><https://gcc.gnu.org/ml/gcc-bugs/2005-01/msg03394.html>, in particular
> >as 
> >regards the wording "Every access that modifies X shall be considered
> >also 
> >to modify P, for the purposes of this subclause.".
> 
> Ah, indeed this makes the testcase invalid iff both pointers are the same
> As the reads from FP and fp2 are considered modifications.

Agreed, that makes the testcase invalid. Marking resolved-invalid.