Symbol: __pop_cond_false_stack
usr/src/tools/smatch/src/smatch.h
758
struct stree *__pop_cond_false_stack(void);
usr/src/tools/smatch/src/smatch_conditions.c
290
a_T_b_F = combine_strees(a_T, a_T_b_fake, __pop_cond_false_stack());
usr/src/tools/smatch/src/smatch_conditions.c
299
a_F_c_F = combine_strees(a_F, a_F_c_fake, __pop_cond_false_stack());
usr/src/tools/smatch/src/smatch_conditions.c
335
tmp = __pop_cond_false_stack();