Symbol: __set_default
usr/src/tools/smatch/src/smatch.h
784
void __set_default(void);
usr/src/tools/smatch/src/smatch_flow.c
770
__set_default();
usr/src/tools/smatch/src/smatch_flow.c
829
__set_default();
usr/src/tools/smatch/src/smatch_flow.c
861
__set_default();
usr/src/tools/smatch/src/smatch_flow.c
868
__set_default();