Lines Matching refs:state
27 struct smatch_state *state; in safe_state() local
29 state = __alloc_smatch_state(0); in safe_state()
31 state->name = alloc_sname("safe"); in safe_state()
32 state->data = expr; in safe_state()
33 return state; in safe_state()
184 struct smatch_state *state; in can_integer_overflow_expr() local
200 state = get_state(my_id, name, sym); in can_integer_overflow_expr()
201 if (state && state->data) in can_integer_overflow_expr()
227 struct smatch_state *state; in check_links() local
233 state = get_state(my_id, vs->var, vs->sym); in check_links()
234 if (!state || !state->data) in check_links()
237 expr = state->data; in check_links()
270 if (get_state_stree(done, my_id, link->state->name, NULL)) in match_call_info()
274 check_links(call, arg, i, link, link->state->data); in match_call_info()