Symbol: clone_estate_perm
usr/src/tools/smatch/src/smatch_extra.h
164
struct smatch_state *clone_estate_perm(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_flow.c
1833
set_state_stree_perm(&ret, tmp->owner, tmp->name, tmp->sym, clone_estate_perm(tmp->state));
usr/src/tools/smatch/src/smatch_type_val.c
175
new = clone_estate_perm(new);