Home
last modified time | relevance | path

Searched refs:get_sm_state_stree (Results 1 – 6 of 6) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_slist.h43 struct sm_state *get_sm_state_stree(struct stree *stree, int owner, const char *name,
H A Dsmatch_implied.c436 old = get_sm_state_stree(tmp->pool, sm->owner, sm->name, sm->sym); in sm_in_keep_leafs()
837 true_sm = get_sm_state_stree(*implied_true, sm->owner, sm->name, sm->sym); in handled_by_comparison_hook()
838 false_sm = get_sm_state_stree(*implied_false, sm->owner, sm->name, sm->sym); in handled_by_comparison_hook()
1110 sm = get_sm_state_stree(*raw_stree, SMATCH_EXTRA, name, sym); in __implied_case_stree()
H A Dsmatch_slist.c520 struct sm_state *get_sm_state_stree(struct stree *stree, int owner, const char *name, in get_sm_state_stree() function
542 sm = get_sm_state_stree(stree, owner, name, sym); in get_state_stree()
674 ret = get_sm_state_stree(stree, owner, name, sym); in get_sm_state_stree_stack()
H A Dsmatch_states.c402 sms = get_sm_state_stree(cur_stree, owner, name, sym); in get_possible_states()
428 ret = get_sm_state_stree(fast_overlay, owner, name, sym); in get_sm_state()
432 return get_sm_state_stree(cur_stree, owner, name, sym); in get_sm_state()
H A Dcheck_debug.c777 old = get_sm_state_stree(old_stree, sm->owner, sm->name, sm->sym); in trace_var()
H A Dsmatch_db.c1958 sm = get_sm_state_stree(start_states, SMATCH_EXTRA, arg->ident->name, arg); in find_bool_param()