Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_conditions.c242 struct stree *a_F_c_F = NULL; in handle_select() local
299 a_F_c_F = combine_strees(a_F, a_F_c_fake, __pop_cond_false_stack()); in handle_select()
319 free_stree(&a_F_c_F); in handle_select()
325 free_stree(&a_F_c_F); in handle_select()
326 a_F_c_F = clone_stree(a_F); in handle_select()
327 overwrite_stree(a_F_c_fake, &a_F_c_F); in handle_select()
331 merge_stree(&a_T_b_F, a_F_c_F); in handle_select()
350 free_stree(&a_F_c_F); in handle_select()