Symbol: __save_switch_states
usr/src/tools/smatch/src/smatch.h
779
void __save_switch_states(struct expression *switch_expr);
usr/src/tools/smatch/src/smatch_flow.c
1159
__save_switch_states(top_expression(switch_expr_stack));
usr/src/tools/smatch/src/smatch_flow.c
810
__save_switch_states(top_expression(switch_expr_stack));