1#ifndef NO_LABEL_VALUES
2int
3x (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
14int
15main (void)
16{
17  if (   x (0) != 2
18      || x (1) != 3
19      || x (2) != 5)
20    abort ();
21
22  exit (0);
23}
24#else
25int
26main (void) { exit (0); }
27#endif
28