1  /* { dg-do compile } */
       2  /* { dg-options "-O -fdump-tree-ccp2" } */
       3  
       4  struct a {int a,b;};
       5  const static struct a a;
       6  static int b[10];
       7  int c;
       8  int
       9  test()
      10  {
      11    return a.a+b[c];
      12  }
      13  /* { dg-final { scan-tree-dump "return 0;" "ccp2" } } */