Print this page
11972 resync smatch
*** 124,134 ****
{
struct smatch_state *state;
if (!stmt || stmt->type != STMT_ITERATOR)
return;
! if (ptr_list_empty(state_at_start))
returned = 0;
state = get_state(my_id, "depends on", NULL);
push_state_at_start(state);
}
--- 124,134 ----
{
struct smatch_state *state;
if (!stmt || stmt->type != STMT_ITERATOR)
return;
! if (ptr_list_empty((struct ptr_list *)state_at_start))
returned = 0;
state = get_state(my_id, "depends on", NULL);
push_state_at_start(state);
}