Searched refs:cur_stree (Results 1 – 3 of 3) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_states.c | 46 static struct stree *cur_stree; /* current states */ variable
74 __print_stree(cur_stree); in __print_cur_stree()
97 if (!cur_stree) in unreachable()
182 ret = set_state_stree(&cur_stree, owner, name, sym, state); in set_state()
205 struct stree *orig = cur_stree; in __swap_cur_stree()
207 cur_stree = stree; in __swap_cur_stree()
288 overwrite_sm_state_stree(&cur_stree, sm); in __set_sm()
311 overwrite_sm_state_stree(&cur_stree, sm); in __set_sm_cur_stree()
402 sms = get_sm_state_stree(cur_stree, owner, name, sym); in get_possible_states()
432 return get_sm_state_stree(cur_stree, owner, name, sym); in get_sm_state()
[all …]
|
| H A D | smatch_slist.h | 86 struct stree *cur_stree,
|
| H A D | smatch_slist.c | 1034 struct stree *cur_stree, in or_stree_stack() argument
1052 tmp_stree = clone_stree(cur_stree); in or_stree_stack()
|