Symbol: restore_all_states
usr/src/tools/smatch/src/smatch.h
735
void restore_all_states(void);
usr/src/tools/smatch/src/smatch_flow.c
1714
restore_all_states();