1  /* { dg-require-effective-target label_values } */
       2  
       3  f ()
       4  {
       5    void *x = &&L2;
       6    if (&&L3 - &&L1 > 1)
       7      abort();
       8   L1: return 1;
       9   L2: abort ();
      10   L3:;
      11  }