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