summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-18.c
blob: cbe12598b46a5506bb66a9c63fb32656552ccab9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
/* { 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" } } */
/* { dg-final { cleanup-tree-dump "ccp1" } } */