Searched refs:switch_type (Results 1 – 2 of 2) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_flow.c | 786 struct symbol *switch_type; in get_case_rl() local
788 switch_type = get_type(switch_expr); in get_case_rl()
790 start = sval_cast(switch_type, start); in get_case_rl()
791 end = sval_cast(switch_type, end); in get_case_rl()
794 start = sval_cast(switch_type, start); in get_case_rl()
|
| H A D | evaluate.c | 3595 struct symbol *switch_type, *case_type; in check_case_type() local
3601 switch_type = switch_expr->ctype; in check_case_type()
3604 if (!switch_type || !case_type) in check_case_type()
3613 sclass = classify_type(switch_type, &switch_type); in check_case_type()
3629 cclass, sclass, case_type, switch_type)) { in check_case_type()
3631 unrestrict(switch_expr, sclass, &switch_type); in check_case_type()
|