usr/src/tools/smatch/src/smatch_comparison.c

2661

overwrite_sm_state_stree(&stree, clone);

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

582

overwrite_sm_state_stree(&true_stree, sm);

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

597

overwrite_sm_state_stree(&false_stree, sm);

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

1074

overwrite_sm_state_stree(implied, tmp);

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

194

overwrite_sm_state_stree(&true_stree, true_sm);

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

195

overwrite_sm_state_stree(&false_stree, false_sm);

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

931

overwrite_sm_state_stree(&extra_saved_implied_true, sm);

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

939

overwrite_sm_state_stree(&extra_saved_implied_false, sm);

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

1088

overwrite_sm_state_stree(to, tmp);

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

560

overwrite_sm_state_stree(&stree, sm);

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

586

overwrite_sm_state_stree(stree, sm);

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

46

void overwrite_sm_state_stree(struct stree **stree, struct sm_state *sm);

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

288

overwrite_sm_state_stree(&cur_stree, sm);

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

311

overwrite_sm_state_stree(&cur_stree, sm);

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

995

overwrite_sm_state_stree(stree, sm);