usr/src/tools/smatch/src/smatch_conditions.c

330

merge_stree(&a_T_b_T, a_F_c_T);

usr/src/tools/smatch/src/smatch_conditions.c

331

merge_stree(&a_T_b_F, a_F_c_F);

usr/src/tools/smatch/src/smatch_conditions.c

665

merge_stree(&final_states, __get_cur_stree());

usr/src/tools/smatch/src/smatch_db.c

1097

merge_stree(&data->final_states, stree);

usr/src/tools/smatch/src/smatch_db.c

1209

merge_stree(&data.final_states, stree);

usr/src/tools/smatch/src/smatch_db.c

1250

merge_stree(&data.final_states, stree);

usr/src/tools/smatch/src/smatch_returns.c

86

merge_stree(&all_return_states, __get_cur_stree());

usr/src/tools/smatch/src/smatch_slist.c

1055

merge_stree(&res, tmp_stree);

usr/src/tools/smatch/src/smatch_slist.h

78

void merge_stree(struct stree **to, struct stree *stree);

usr/src/tools/smatch/src/smatch_slist.h

80

void merge_stree(struct stree **to, struct stree *right);

usr/src/tools/smatch/src/smatch_states.c

1017

merge_stree(&cur_stree, stree);

usr/src/tools/smatch/src/smatch_states.c

1043

merge_stree(&stree, cur_stree);

usr/src/tools/smatch/src/smatch_states.c

1053

merge_stree(&cur_stree, stree);

usr/src/tools/smatch/src/smatch_states.c

1072

merge_stree(&stree, cur_stree);

usr/src/tools/smatch/src/smatch_states.c

1082

merge_stree(&stree, top_stree(fake_cur_stree_stack));

usr/src/tools/smatch/src/smatch_states.c

1103

merge_stree(&cur_stree, stree);

usr/src/tools/smatch/src/smatch_states.c

1167

merge_stree(&cur_stree, implied_stree);

usr/src/tools/smatch/src/smatch_states.c

1220

merge_stree(stree, cur_stree);

usr/src/tools/smatch/src/smatch_states.c

1237

merge_stree(&cur_stree, *stree);

usr/src/tools/smatch/src/smatch_states.c

963

merge_stree(&cur_stree, stree);