1 /* { dg-do compile } */ 2 3 typedef void (*argmatch_exit_fn)(); 4 int a; __argmatch_die()5 void __argmatch_die () { __builtin_exit (0); } 6 7 int main()8 main () 9 { 10 while (1) 11 { 12 argmatch_exit_fn b = __argmatch_die; 13 if (a) 14 b (); 15 } 16 return 0; 17 } 18