Symbol: clone_estate_cast
usr/src/tools/smatch/src/smatch_equiv.c
227
left_sm->state = clone_estate_cast(get_type(left), right_sm->state);
usr/src/tools/smatch/src/smatch_equiv.c
236
other_sm->state = clone_estate_cast(get_type(left), left_sm->state);
usr/src/tools/smatch/src/smatch_extra.c
465
set_extra_nomod_helper(rel->name, rel->sym, expr, clone_estate_cast(estate_type(estate), state));
usr/src/tools/smatch/src/smatch_extra.h
127
struct smatch_state *clone_estate_cast(struct symbol *type, struct smatch_state *state);