Symbol: free_every_single_sm_state
usr/src/tools/smatch/src/smatch_slist.h
29
void free_every_single_sm_state(void);
usr/src/tools/smatch/src/smatch_states.c
776
free_every_single_sm_state();