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

215

overwrite_stree(orig, &ret);

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

216

overwrite_stree(fake, &ret);

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

217

overwrite_stree(new, &ret);

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

309

overwrite_stree(a_T_b_fake, &a_T_b_T);

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

315

overwrite_stree(a_T_b_fake, &a_T_b_F);

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

321

overwrite_stree(a_F_c_fake, &a_F_c_T);

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

327

overwrite_stree(a_F_c_fake, &a_F_c_F);

usr/src/tools/smatch/src/smatch_implied.c

1121

overwrite_stree(extra_states, &true_states);

usr/src/tools/smatch/src/smatch_implied.c

1122

overwrite_stree(true_states, &ret);

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

1050

overwrite_stree(old, &res);

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

1053

overwrite_stree(new, &tmp_stree);

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

764

overwrite_stree(new, one);

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

777

overwrite_stree(new, two);

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

93

void overwrite_stree(struct stree *from, struct stree **to);

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

854

overwrite_stree(stree, &cur_stree);

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

927

overwrite_stree(true_states, &pre);

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

934

overwrite_stree(false_states, &pre_clone);