https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67705
--- Comment #5 from rguenther at suse dot de <rguenther at suse dot de> --- 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.
