Home
last modified time | relevance | path

Searched refs:derefed (Results 1 – 2 of 2) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_deref_check.c23 STATE(derefed);
46 set_state_expr(my_id, expr, &derefed); in match_dereference()
60 set_state(my_id, name, sym, &derefed); in set_param_dereferenced()
83 if (!sm || sm->state != &derefed) in match_condition()
H A Dcheck_dereferences_param.c30 STATE(derefed);
36 if (sm->state == &derefed) in set_ignore()
74 set_state_expr(my_id, expr, &derefed); in check_deref()
99 if (tmp->state != &derefed) in process_states()