Searched refs:separate_and_filter (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_implied.c | 628 static void separate_and_filter(struct sm_state *sm, int comparison, struct range_list *rl, in separate_and_filter() function
766 separate_and_filter(sm, comparison, rl, __get_cur_stree(), implied_true, implied_false, &mixed); in handle_comparison()
805 …separate_and_filter(sm, SPECIAL_NOTEQUAL, tmp_range_list(estate_type(sm->state), 0), __get_cur_str… in handle_zero_comparison()
1060 …separate_and_filter(sm, PARAM_LIMIT, limit, __get_cur_stree(), &implied_true, &implied_false, &mix… in param_limit_implications()
1112 separate_and_filter(sm, SPECIAL_EQUAL, rl, *raw_stree, &true_states, &false_states, NULL); in __implied_case_stree()
|