Symbol: get_all_states_from_stree
usr/src/tools/smatch/src/smatch.h
373
struct stree *get_all_states_from_stree(int owner, struct stree *source);
usr/src/tools/smatch/src/smatch_states.c
541
return get_all_states_from_stree(owner, cur_stree);