gcc/testsuite/gcc.c-torture/compile/labels-1.c

/* { dg-require-effective-target label_values } */

f ()
{
  void *x = &&L2;
  if (&&L3 - &&L1 > 1)
    abort();
 L1: return 1;
 L2: abort ();
 L3:;
}