https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106422

--- Comment #11 from Alexander Monakov <amonakov at gcc dot gnu.org> ---
A cleaner testcase for jump threading (still ICEs despite presence of
ABNORMAL_DISPATCHER):

void vfork() __attribute__((__leaf__));
void semanage_reload_policy(char *arg, void cb(void)) {
  if (!arg) {
    cb();
    return;
  }
  vfork();
  if (arg)
    __builtin_free(arg);
}

Reply via email to