Home
last modified time | relevance | path

Searched refs:cur_stree (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_states.c74 __print_stree(cur_stree); in __print_cur_stree()
97 if (!cur_stree) in unreachable()
207 cur_stree = stree; in __swap_cur_stree()
546 return cur_stree; in __get_cur_stree()
551 if (cur_stree) in is_reachable()
644 free_stree(&cur_stree); in nullify_path()
661 if (!cur_stree) in __unnullify_path()
667 if (cur_stree) in __path_is_null()
683 cur_stree = NULL; in save_all_states()
848 free_stree(&cur_stree); in __use_cond_stack()
[all …]
H A Dsmatch_slist.h86 struct stree *cur_stree,
H A Dsmatch_slist.c1034 struct stree *cur_stree, in or_stree_stack() argument
1052 tmp_stree = clone_stree(cur_stree); in or_stree_stack()