Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_function_hooks.c255 struct stree *tmp_stree; in assign_ranged_funcs() local
287 tmp_stree = __pop_fake_cur_stree(); in assign_ranged_funcs()
288 merge_fake_stree(&final_states, tmp_stree); in assign_ranged_funcs()
289 free_stree(&tmp_stree); in assign_ranged_funcs()
311 struct stree *tmp_stree; in call_implies_callbacks() local
332 tmp_stree = __pop_fake_cur_stree(); in call_implies_callbacks()
333 merge_fake_stree(&true_states, tmp_stree); in call_implies_callbacks()
334 free_stree(&tmp_stree); in call_implies_callbacks()
345 tmp_stree = __pop_fake_cur_stree(); in call_implies_callbacks()
346 merge_fake_stree(&false_states, tmp_stree); in call_implies_callbacks()
[all …]
H A Dsmatch_slist.c1041 struct stree *tmp_stree; in or_stree_stack() local
1052 tmp_stree = clone_stree(cur_stree); in or_stree_stack()
1053 overwrite_stree(new, &tmp_stree); in or_stree_stack()
1055 merge_stree(&res, tmp_stree); in or_stree_stack()
1059 free_stree(&tmp_stree); in or_stree_stack()