1 /* { dg-require-effective-target indirect_jumps } */
2 /* { dg-require-effective-target label_values } */
3 
4 int a;
5 void* p;
6 
foo(void)7 void 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