Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_conditions.c239 struct stree *a_T_b_F = NULL; in handle_select() local
290 a_T_b_F = combine_strees(a_T, a_T_b_fake, __pop_cond_false_stack()); in handle_select()
307 free_stree(&a_T_b_F); in handle_select()
313 free_stree(&a_T_b_F); in handle_select()
314 a_T_b_F = clone_stree(a_T); in handle_select()
315 overwrite_stree(a_T_b_fake, &a_T_b_F); in handle_select()
331 merge_stree(&a_T_b_F, a_F_c_F); in handle_select()
342 FOR_EACH_SM(a_T_b_F, sm) { in handle_select()
352 free_stree(&a_T_b_F); in handle_select()