Print this page
new smatch
*** 34,47 ****
{
if (sm->state != &ok)
set_state(my_id, sm->name, sm->sym, &ok);
}
! static void pre_merge_hook(struct sm_state *sm)
{
if (is_impossible_path())
! set_state(my_id, sm->name, sm->sym, &ok);
}
static int is_freed(struct expression *expr)
{
struct sm_state *sm;
--- 34,47 ----
{
if (sm->state != &ok)
set_state(my_id, sm->name, sm->sym, &ok);
}
! 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, &ok);
}
static int is_freed(struct expression *expr)
{
struct sm_state *sm;