Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_conditions.c238 struct stree *a_T_b_T = NULL; in handle_select() local
289 a_T_b_T = combine_strees(a_T, a_T_b_fake, __pop_cond_true_stack()); in handle_select()
306 free_stree(&a_T_b_T); in handle_select()
308 a_T_b_T = clone_stree(a_T); in handle_select()
309 overwrite_stree(a_T_b_fake, &a_T_b_T); in handle_select()
312 free_stree(&a_T_b_T); in handle_select()
330 merge_stree(&a_T_b_T, a_F_c_T); in handle_select()
339 FOR_EACH_SM(a_T_b_T, sm) { in handle_select()
351 free_stree(&a_T_b_T); in handle_select()