1 #ifndef NO_LABEL_VALUES
2 int
x(int i)3 x (int i)
4 {
5   static const void *j[] = {&& x, && y, && z};
6 
7   goto *j[i];
8 
9  x: return 2;
10  y: return 3;
11  z: return 5;
12 }
13 
14 int
main(void)15 main (void)
16 {
17   if (   x (0) != 2
18       || x (1) != 3
19       || x (2) != 5)
20     abort ();
21 
22   exit (0);
23 }
24 #else
25 int
main(void)26 main (void) { exit (0); }
27 #endif
28