1  /* { dg-require-effective-target label_values } */
       2  
       3  int
       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
      16  main (void)
      17  {
      18    if (   x (0) != 2
      19        || x (1) != 3
      20        || x (2) != 5)
      21      abort ();
      22  
      23    exit (0);
      24  }