Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_states.c286 overwrite_sm_state_stree_stack(&fake_cur_stree_stack, sm); in __set_sm()
334 overwrite_sm_state_stree_stack(&fake_cur_stree_stack, sm); in __set_sm_fake_stree()
633 overwrite_sm_state_stree_stack(&cond_true_stack, true_sm); in __set_true_false_sm()
635 overwrite_sm_state_stree_stack(&cond_false_stack, false_sm); in __set_true_false_sm()
1112 overwrite_sm_state_stree_stack(&fake_cur_stree_stack, sm); in __merge_breaks()
1129 overwrite_sm_state_stree_stack(&fake_cur_stree_stack, sm); in __use_breaks()
H A Dsmatch_slist.h47 void overwrite_sm_state_stree_stack(struct stree_stack **stack, struct sm_state *sm);
H A Dsmatch_slist.c554 void overwrite_sm_state_stree_stack(struct stree_stack **stack, in overwrite_sm_state_stree_stack() function
1020 overwrite_sm_state_stree_stack(stack, tmp); in and_stree_stack()