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*);
func2(int * val)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