1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-optimized -fno-ipa-icf" } */
3 
4 int
foo(int * x,int y)5 foo (int *x, int y)
6 {
7   int *__restrict p1 = x;
8   int *__restrict p2 = x + 32;
9   p1[y] = 1;
10   p2[4] = 2;
11   return p1[y];
12 }
13 
14 int
bar(int * x,int y)15 bar (int *x, int y)
16 {
17   int *__restrict p1 = x;
18   int *p3 = x + 32;
19   int *__restrict p2 = p3;
20   p1[y] = 1;
21   p2[4] = 2;
22   return p1[y];
23 }
24 
25 /* { dg-final { scan-tree-dump-times "return 1;" 2 "optimized" { xfail *-*-* } } } */
26