Symbol: __free_set_states
usr/src/tools/smatch/src/smatch.h
754
void __free_set_states(void);
usr/src/tools/smatch/src/smatch_conditions.c
345
__free_set_states();