Symbol: or_stree_stack
usr/src/tools/smatch/src/smatch_slist.h
85
void or_stree_stack(struct stree_stack **pre_conds,
usr/src/tools/smatch/src/smatch_states.c
887
or_stree_stack(&pre_cond_stack, cur_stree, &cond_false_stack);
usr/src/tools/smatch/src/smatch_states.c
892
or_stree_stack(&pre_cond_stack, cur_stree, &cond_true_stack);