1 /* PR middle-end/71494 */ 2 /* { dg-require-effective-target label_values } */ 3 4 int main()5main () 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