Symbol: __use_pre_cond_states
usr/src/tools/smatch/src/smatch.h
749
void __use_pre_cond_states(void);
usr/src/tools/smatch/src/smatch_conditions.c
303
__use_pre_cond_states();
usr/src/tools/smatch/src/smatch_conditions.c
668
__use_pre_cond_states();
usr/src/tools/smatch/src/smatch_states.c
221
__use_pre_cond_states();