Symbol: free_goto_stack
usr/src/tools/smatch/src/smatch.h
736
void free_goto_stack(void);
usr/src/tools/smatch/src/smatch_flow.c
1708
free_goto_stack();
usr/src/tools/smatch/src/smatch_states.c
774
free_goto_stack();