gcc/testsuite/gcc.dg/tree-ssa/alias-7.c

/* { dg-do run } */
/* { dg-options "-O2" } */

void abort(void);
int main()
{
  int a[2];
  int *p = a;
  int i;
  a[0] = 1;
  a[1] = 2;
  for (i=0; i<2; ++i)
    if (p[i] != i+1)
      abort();
  return 0;
}