Home
last modified time | relevance | path

Searched refs:remaining_cases (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_states.c62 static struct range_list_stack *remaining_cases; variable
707 __add_ptr_list(&backup, remaining_cases); in save_all_states()
708 remaining_cases = NULL; in save_all_states()
733 remaining_cases = pop_backup(); in restore_all_states()
1142 push_rl(&remaining_cases, rl); in __save_switch_states()
1148 return !!top_rl(remaining_cases); in have_remaining_cases()
1166 implied_stree = __implied_case_stree(switch_expr, case_rl, &remaining_cases, &stree); in __merge_switches()
1176 pop_rl(&remaining_cases); in __discard_switches()
H A Dsmatch_implied.c1090 struct range_list_stack **remaining_cases, in __implied_case_stree() argument
1105 filter_top_rl(remaining_cases, rl); in __implied_case_stree()
1107 rl = clone_rl(top_rl(*remaining_cases)); in __implied_case_stree()
H A Dsmatch.h598 struct range_list_stack **remaining_cases,