Symbol: __discard_switches
usr/src/tools/smatch/src/smatch.h
780
void __discard_switches(void);
usr/src/tools/smatch/src/smatch_flow.c
1166
__discard_switches();
usr/src/tools/smatch/src/smatch_flow.c
837
__discard_switches();