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.".
