Symbol: delete_state_stree_stack
usr/src/tools/smatch/src/smatch_slist.h
55
void delete_state_stree_stack(struct stree_stack **stack, int owner, const char *name,
usr/src/tools/smatch/src/smatch_states.c
455
delete_state_stree_stack(&pre_cond_stack, owner, name, sym);
usr/src/tools/smatch/src/smatch_states.c
456
delete_state_stree_stack(&cond_true_stack, owner, name, sym);
usr/src/tools/smatch/src/smatch_states.c
457
delete_state_stree_stack(&cond_false_stack, owner, name, sym);