1/* { dg-require-effective-target indirect_jumps } */
2/* { dg-require-effective-target label_values } */
3
4int a;
5void* p;
6
7void foo (void)
8{
9  switch (a)
10  {
11    a0: case 0:   p = &&a1;
12    a1: case 1:   p = &&a2;
13    a2: default:  p = &&a1;
14  }
15  goto *p;
16}
17