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