Symbol: and_stree_stack
usr/src/tools/smatch/src/smatch_slist.h
83
void and_stree_stack(struct stree_stack **stree_stack);
usr/src/tools/smatch/src/smatch_states.c
886
and_stree_stack(&cond_true_stack);
usr/src/tools/smatch/src/smatch_states.c
893
and_stree_stack(&cond_false_stack);