Home
last modified time | relevance | path

Searched refs:remove_range (Results 1 – 8 of 8) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_ranges.c372 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()
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()
1048 struct range_list *remove_range(struct range_list *list, sval_t min, sval_t max) in remove_range() function
1528 rl = remove_range(rl, tmp->min, tmp->max); in rl_filter()
2082 left_true = remove_range(left_orig, rl_max(right_orig), max); in split_comparison_rl()
2084 left_false = remove_range(left_orig, min, sub_one(rl_min(right_orig))); in split_comparison_rl()
2087 right_true = remove_range(right_orig, min, rl_min(left_orig)); in split_comparison_rl()
[all …]
H A Dsmatch_common_functions.c64 *rl = remove_range(*rl, bound, ulong_max); in match_strnlen()
H A Dcheck_kernel.c93 rl = remove_range(rl, null_ptr, null_ptr); in match_param_valid_ptr()
94 rl = remove_range(rl, err_ptr_min, err_ptr_max); in match_param_valid_ptr()
H A Dsmatch_extra.c2093 true_rl = remove_range(orig_rl, sval_type_val(known.type, 0), low_mask); in handle_AND_op()
2102 false_rl = remove_range(false_rl, sval_type_min(known.type), sval_type_val(known.type, -1)); in handle_AND_op()
2103 false_rl = remove_range(false_rl, low_mask, sval_type_max(known.type)); in handle_AND_op()
2105 false_rl = remove_range(false_rl, in handle_AND_op()
2113 false_rl = remove_range(orig_rl, max, max); in handle_AND_op()
2149 true_rl = remove_range(orig_rl, zero, zero); in handle_MOD_condition()
2152 true_rl = remove_range(true_rl, rl_max(true_rl), rl_max(true_rl)); in handle_MOD_condition()
2177 false_rl = remove_range(orig_rl, zero, chop); in handle_MOD_condition()
2187 false_rl = remove_range(false_rl, chop, rl_max(orig_rl)); in handle_MOD_condition()
2570 left_rl = remove_range(left_rl, zero, zero); in db_param_limit_binops()
H A Dsmatch_address.c196 orig = remove_range(orig, remove, max); in add_offset_to_pointer()
H A Dsmatch_extra.h60 struct range_list *remove_range(struct range_list *list, sval_t min, sval_t max);
H A Dsmatch_kernel_user_data.c697 return remove_range(rl, over, max); in strip_negatives()
699 return remove_range(rl, min, minus_one); in strip_negatives()
H A Dsmatch_math.c217 neg = remove_range(neg, sval_type_min(type), sval_type_min(type)); in handle_minus_preop()