1 /* { dg-do run } */
2 
3 int __attribute__((noipa,noinline))
foo(int i)4 foo (int i)
5 {
6   int a[2];
7   a[1] = 1;
8   int j = a[1];
9   int *p = &a[0];
10   p[i] = 0;
11   return a[j];
12 }
13 
14 int
main()15 main()
16 {
17   if (foo (1) != 0)
18     __builtin_abort ();
19   return 0;
20 }
21