1 /* { dg-require-effective-target label_values } */
2 
3 int
x(int i)4 x (int i)
5 {
6   static const void *j[] = {&& x, && y, && z};
7 
8   goto *j[i];
9 
10  x: return 2;
11  y: return 3;
12  z: return 5;
13 }
14 
15 int
main(void)16 main (void)
17 {
18   if (   x (0) != 2
19       || x (1) != 3
20       || x (2) != 5)
21     abort ();
22 
23   exit (0);
24 }
25