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

2658

add_possible_sm(clone, clone);

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

186

add_possible_sm(true_sm, true_sm);

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

189

add_possible_sm(false_sm, false_sm);

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

269

add_possible_sm(to, to);

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

271

add_possible_sm(to, tmp);

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

877

add_possible_sm(res, one);

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

878

add_possible_sm(res, two);

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

38

void add_possible_sm(struct sm_state *to, struct sm_state *new);