gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-18.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O -fdump-tree-ccp1" } */
   3
   4 /* Check that we constant propagate &&c into the goto and remove
   5    the unreachable BBs.  */
   6
   7 void a(int*);  void b(int*);  void c(int*);  void d(int*);
   8 void func2(int* val)
   9 {
  10   const void *const labels[] = { &&a, &&b, &&c, &&d };
  11   goto *labels[2];
  12   a: a(val);
  13   b: b(val);
  14   c: c(val);
  15   d: d(val);
  16 }
  17
  18 /* { dg-final { scan-tree-dump-not "a \\\(" "ccp1" } } */
  19 /* { dg-final { scan-tree-dump-not "b \\\(" "ccp1" } } */
  20 /* { dg-final { cleanup-tree-dump "ccp1" } } */