1  /* { dg-require-effective-target label_values } */
       2  
       3  void fn (void);
       4  
       5  void
       6  foo (void *x, unsigned long y)
       7  {
       8    asm goto ("": : : : lab);
       9  lab:
      10    fn ();
      11  }
      12  
      13  static void
      14  bar (unsigned long x)
      15  {
      16    foo (0, x);
      17  }
      18  
      19  static void
      20  baz (unsigned long x)
      21  {
      22    if (x > 8192)
      23      bar (x);
      24    else
      25      ({ __here: (unsigned long) &&__here; });
      26  }
      27  
      28  void
      29  test (void)
      30  {
      31    baz (16384);
      32  }