1  /* { dg-do run } */
       2  
       3  int __attribute__((noipa,noinline))
       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
      15  main()
      16  {
      17    if (foo (1) != 0)
      18      __builtin_abort ();
      19    return 0;
      20  }