Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_conditions.c240 struct stree *a_T_b_fake = NULL; in handle_select() local
288 a_T_b_fake = __pop_fake_cur_stree(); in handle_select()
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()
309 overwrite_stree(a_T_b_fake, &a_T_b_T); in handle_select()
315 overwrite_stree(a_T_b_fake, &a_T_b_F); in handle_select()
347 free_stree(&a_T_b_fake); in handle_select()