On Tue, 13 Feb 2024, Ties Klappe via Gcc wrote: > int foo2(int *restrict *p, int *restrict *q) > { > **p = 10; > **q = 11; > return **p; > }
In this case, *p and *q might be the same restricted pointer object. See the more detailed explanation at <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=14192#c8>. -- Joseph S. Myers josmy...@redhat.com