1  /* { dg-do compile } */
       2  /* { dg-options "-O -fdump-tree-ccp1" } */
       3  
       4  static const int a[4] = {};
       5  int foo(void)
       6  {
       7    int i = 1;
       8    const int *p = &a[i];
       9    return *p;
      10  }
      11  
      12  /* { dg-final { scan-tree-dump "return 0;" "ccp1" } } */