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