Symbol: have_remaining_cases
usr/src/tools/smatch/src/smatch.h
781
int have_remaining_cases(void);
usr/src/tools/smatch/src/smatch_flow.c
1164
if (!__pop_default() && have_remaining_cases())