Symbol: free_data_info_allocs
usr/src/tools/smatch/src/smatch_extra.h
116
void free_data_info_allocs(void);
usr/src/tools/smatch/src/smatch_flow.c
1613
free_data_info_allocs();