| /* { dg-do compile } */ | |
| /* { dg-options "-O -fdump-tree-ccp1" } */ | |
| /* Check that we constant propagate &&c into the goto and remove | |
| the unreachable BBs. */ | |
| void a(int*); void b(int*); void c(int*); void d(int*); | |
| void func2(int* val) | |
| { | |
| const void *const labels[] = { &&a, &&b, &&c, &&d }; | |
| goto *labels[2]; | |
| a: a(val); | |
| b: b(val); | |
| c: c(val); | |
| d: d(val); | |
| } | |
| /* { dg-final { scan-tree-dump-not "a \\\(" "ccp1" } } */ | |
| /* { dg-final { scan-tree-dump-not "b \\\(" "ccp1" } } */ |