1  /* { dg-do compile } */
       2  
       3  void vfork() __attribute__((__leaf__));
       4  void semanage_reload_policy(char *arg, void cb(void))
       5  {
       6    if (!arg)
       7      {
       8        cb();
       9        return;
      10      }
      11    vfork();
      12    if (arg)
      13      __builtin_free(arg);
      14  }