Print this page
new smatch

*** 454,467 **** static struct smatch_state *unmatched_state(struct sm_state *sm) { return &start_state; } ! static void pre_merge_hook(struct sm_state *sm) { if (is_impossible_path()) ! set_state(my_id, sm->name, sm->sym, &impossible); } static bool nestable(const char *name) { if (strstr(name, "read_sem:")) --- 454,467 ---- static struct smatch_state *unmatched_state(struct sm_state *sm) { return &start_state; } ! static void pre_merge_hook(struct sm_state *cur, struct sm_state *other) { if (is_impossible_path()) ! set_state(my_id, cur->name, cur->sym, &impossible); } static bool nestable(const char *name) { if (strstr(name, "read_sem:"))