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); }