Symbol: __implied_case_stree
usr/src/tools/smatch/src/smatch.h
596
struct stree *__implied_case_stree(struct expression *switch_expr,
usr/src/tools/smatch/src/smatch_states.c
1166
implied_stree = __implied_case_stree(switch_expr, case_rl, &remaining_cases, &stree);