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