Searched refs:combine_strees (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_conditions.c | 211 static struct stree *combine_strees(struct stree *orig, struct stree *fake, struct stree *new) in combine_strees() function
289 a_T_b_T = combine_strees(a_T, a_T_b_fake, __pop_cond_true_stack()); in handle_select()
290 a_T_b_F = combine_strees(a_T, a_T_b_fake, __pop_cond_false_stack()); in handle_select()
298 a_F_c_T = combine_strees(a_F, a_F_c_fake, __pop_cond_true_stack()); in handle_select()
299 a_F_c_F = combine_strees(a_F, a_F_c_fake, __pop_cond_false_stack()); in handle_select()
|