Symbol: __pop_cond_true_stack
usr/src/tools/smatch/src/smatch.h
757
struct stree *__pop_cond_true_stack(void);
usr/src/tools/smatch/src/smatch_conditions.c
289
a_T_b_T = combine_strees(a_T, a_T_b_fake, __pop_cond_true_stack());
usr/src/tools/smatch/src/smatch_conditions.c
298
a_F_c_T = combine_strees(a_F, a_F_c_fake, __pop_cond_true_stack());
usr/src/tools/smatch/src/smatch_conditions.c
333
tmp = __pop_cond_true_stack();