Symbol: clone_partial_estate
usr/src/tools/smatch/src/smatch_extra.h
128
struct smatch_state *clone_partial_estate(struct smatch_state *state, struct range_list *rl);
usr/src/tools/smatch/src/smatch_implied.c
184
true_sm->state = clone_partial_estate(sm->state, true_rl);
usr/src/tools/smatch/src/smatch_implied.c
187
false_sm->state = clone_partial_estate(sm->state, false_rl);