Symbol: delete_all_states_stree_sym
usr/src/tools/smatch/src/smatch_states.c
500
delete_all_states_stree_sym(&stree, sym);
usr/src/tools/smatch/src/smatch_states.c
506
delete_all_states_stree_sym(&cur_stree, sym);