Symbol: __use_cond_stack
usr/src/tools/smatch/src/smatch_states.c
866
__use_cond_stack(&cond_true_stack);
usr/src/tools/smatch/src/smatch_states.c
871
__use_cond_stack(&cond_false_stack);