Home
last modified time | relevance | path

Searched refs:ret_rl (Results 1 – 2 of 2) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_db.c1691 struct range_list *ret_rl; in split_positive_from_negative() local
1718 return_ranges = get_return_ranges_str(expr, &ret_rl); in split_positive_from_negative()
1719 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(ret_rl)); in split_positive_from_negative()
1730 return_ranges = get_return_ranges_str(expr, &ret_rl); in split_positive_from_negative()
1731 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(ret_rl)); in split_positive_from_negative()
1743 return_ranges = get_return_ranges_str(expr, &ret_rl); in split_positive_from_negative()
1744 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(ret_rl)); in split_positive_from_negative()
1987 struct range_list *ret_rl; in split_on_bool_sm() local
2011 return_ranges = get_return_ranges_str(expr, &ret_rl); in split_on_bool_sm()
2012 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(ret_rl)); in split_on_bool_sm()
[all …]
H A Dsmatch_ranges.c351 struct range_list *ret_rl = *rl; in filter_by_comparison() local
372 ret_rl = remove_range(left_orig, rl_max(right_orig), max); in filter_by_comparison()
377 ret_rl = remove_range(left_orig, add_one(rl_max(right_orig)), max); in filter_by_comparison()
380 ret_rl = rl_intersection(left_orig, right_orig); in filter_by_comparison()
385 ret_rl = remove_range(left_orig, min, sub_one(rl_min(right_orig))); in filter_by_comparison()
389 ret_rl = remove_range(left_orig, min, rl_min(right_orig)); in filter_by_comparison()
393 ret_rl = remove_range(left_orig, rl_min(right_orig), rl_min(right_orig)); in filter_by_comparison()
400 *rl = cast_rl(rl_type(*rl), ret_rl); in filter_by_comparison()