/* { dg-do compile } */ /* { dg-options "-fno-tree-ch -fno-tree-fre" } */ void foo (int *__restrict__ * r, int n) { int *p; for (p = *r; p < *r + n; p++) ; }