1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-optimized" } */
       3  
       4  int foo()
       5  {
       6    volatile int a[1];
       7    int i, *p = (int*)a;
       8  
       9    a[0] = 1;
      10    for (i = 0; i < 1; ++i)
      11      if (p[i])
      12        return -1;
      13    return 0;
      14  }
      15  
      16  /* { dg-final { scan-tree-dump "a.0. ={v} 1;" "optimized" } } */