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 rguent...@suse.de from comment #5)
> On September 24, 2015 6:28:16 PM GMT+02:00, joseph at codesourcery dot com
> <gcc-bugzi...@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.
