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