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