Home
last modified time | relevance | path

Searched refs:__pop_cond_true_stack (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_conditions.c289 a_T_b_T = combine_strees(a_T, a_T_b_fake, __pop_cond_true_stack()); in handle_select()
298 a_F_c_T = combine_strees(a_F, a_F_c_fake, __pop_cond_true_stack()); in handle_select()
333 tmp = __pop_cond_true_stack(); in handle_select()
H A Dsmatch_states.c826 struct stree *__pop_cond_true_stack(void) in __pop_cond_true_stack() function
H A Dsmatch.h757 struct stree *__pop_cond_true_stack(void);