Symbol: is_enum_type
usr/src/tools/smatch/src/evaluate.c
3609
else if (is_enum_type(case_type))
usr/src/tools/smatch/src/evaluate.c
3650
if (sel->ctype && is_enum_type(sel->ctype))