1 /* PR middle-end/71494 */
2 /* { dg-require-effective-target label_values } */
3 
4 int
main()5 main ()
6 {
7   void *label = &&out;
8   int i = 0;
9   void test (void)
10   {
11     label = &&out2;
12     goto *label;
13    out2:;
14     i++;
15   }
16   goto *label;
17  out:
18   i += 2;
19   test ();
20   if (i != 3)
21     __builtin_abort ();
22   return 0;
23 }
24