Searched refs:cur_stree (Results 1 – 3 of 3) sorted by last modified time
74 __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 …]
1034 struct stree *cur_stree, in or_stree_stack() argument1052 tmp_stree = clone_stree(cur_stree); in or_stree_stack()
86 struct stree *cur_stree,