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