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