Home
last modified time | relevance | path

Searched refs:rl_max (Results 1 – 20 of 20) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_index_overflow.c64 sval_cmp(rl_max(implied_rl), *sval) < 0) in fake_get_hard_max()
65 *sval = rl_max(implied_rl); in fake_get_hard_max()
86 sval_cmp(rl_max(implied_rl), *sval) < 0) in get_the_max()
87 *sval = rl_max(implied_rl); in get_the_max()
97 if (rl_max(rl).uvalue > sval_type_max(rl_type(rl)).uvalue - 4 && in get_the_max()
101 *sval = rl_max(rl); in get_the_max()
238 if (array_size > rl_max(abs_rl).uvalue) in should_warn()
310 max = rl_max(user_rl); in array_check()
312 max = rl_max(abs_rl); in array_check()
H A Dsmatch_ranges.c372 ret_rl = remove_range(left_orig, rl_max(right_orig), max); in filter_by_comparison()
376 if (!sval_is_max(rl_max(right_orig))) in filter_by_comparison()
377 ret_rl = remove_range(left_orig, add_one(rl_max(right_orig)), max); in filter_by_comparison()
392 if (sval_cmp(rl_min(right_orig), rl_max(right_orig)) == 0) in filter_by_comparison()
758 sval_t rl_max(struct range_list *rl) in rl_max() function
779 max = rl_max(rl); in rl_to_sval()
1442 if (sval_cmp(rl_max(rl), sval_type_max(type)) > 0) in rl_fits_in_type()
1614 max = rl_max(right); in handle_mod_rl()
1622 if (sval_cmp(rl_max(left), max) < 0) in handle_mod_rl()
1663 if (sval_is_negative(rl_max(rl))) in get_pos_rl()
[all …]
H A Dsmatch_annotate.c33 if (get_implied_rl(expr, &rl) && rl_max(rl).value != 0) in param_caps_return()
34 *res = alloc_rl(sval_type_val(rl_type(rl), 0), rl_max(rl)); in param_caps_return()
H A Dsmatch_math.c216 if (sval_is_min(rl_min(neg)) && !sval_is_min(rl_max(neg))) in handle_minus_preop()
231 if (!sval_is_negative(rl_max(rl))) { in handle_minus_preop()
356 return sval_is_max(rl_max(rl)); in max_is_unknown_max()
400 max = rl_max(left_rl); in handle_subtract_rl()
407 max = rl_max(left_rl); in handle_subtract_rl()
412 max = rl_max(left_rl); in handle_subtract_rl()
434 !sval_binop_overflows(rl_min(left_rl), '-', rl_max(right_rl))) { in handle_subtract_rl()
435 tmp = sval_binop(rl_min(left_rl), '-', rl_max(right_rl)); in handle_subtract_rl()
440 if (!sval_is_max(rl_max(left_rl))) { in handle_subtract_rl()
441 tmp = sval_binop(rl_max(left_rl), '-', rl_min(right_rl)); in handle_subtract_rl()
[all …]
H A Dsmatch_estate.c147 *sval = rl_max(estate_rl(state)); in estate_get_hard_max()
202 return rl_max(estate_rl(state)); in estate_max()
207 return rl_max(estate_rl(state)).type; in estate_type()
284 max = rl_max(estate_rl(state)); in estate_get_single_value()
H A Dcheck_dma_mapping_error.c39 if (rl_max(rl).value != 1) in match_assign()
H A Dsmatch_extra.c1017 if (sval_cmp(sval_type_max(type), rl_max(rl)) < 0) in values_fit_type()
1215 add_range(&rl, rl_max(rl), sval_type_max(rl_type(rl))); in match_assign()
2062 rl_max(orig_rl).uvalue > type_bits(get_type(shift->left))) in handle_bit_test()
2111 sval_cmp(max, rl_max(orig_rl)) == 0 && in handle_AND_op()
2150 if (!sval_is_max(rl_max(true_rl)) && in handle_MOD_condition()
2151 !(rl_max(true_rl).value % right.value)) in handle_MOD_condition()
2152 true_rl = remove_range(true_rl, rl_max(true_rl), rl_max(true_rl)); in handle_MOD_condition()
2158 (rl_max(orig_rl).value - rl_min(orig_rl).value) / right.value < 5) { in handle_MOD_condition()
2168 if (add.value > rl_max(orig_rl).value) in handle_MOD_condition()
2180 if (!sval_is_max(rl_max(orig_rl)) && in handle_MOD_condition()
[all …]
H A Dcheck_64bit_shift.c45 if (rl_max(rl).uvalue < 32) in match_shift_mask()
H A Dcheck_testing_index_after_use.c56 if (rl_max(rl).uvalue < array_size) in array_check()
H A Dsmatch_buf_size.c566 bytes = rl_max(rl); in get_array_size_bytes_max()
644 rl_max(rl).value != UNKNOWN_SIZE || in store_alloc()
838 rl_max(rl).value == UNKNOWN_SIZE) in match_call()
H A Dsmatch_address.c192 max.uvalue = rl_max(orig).uvalue; in add_offset_to_pointer()
H A Dsmatch_db.c1702 if (rl_max(rl).value <= 0) in split_positive_from_negative()
1841 if (rl_min(rl).value == 0 && rl_max(rl).value == 0) { in is_kernel_success_fail()
1846 if (rl_min(rl).value >= -4095 && rl_max(rl).value < 0) in is_kernel_success_fail()
1929 if (rl_min(rl).value == 0 && rl_max(rl).value == 1) in is_boolean()
1962 rl_max(estate_rl(sm->state)).value != 1) in find_bool_param()
2111 rl_max(rl).value < 0) in is_kernel_error_path()
H A Dcheck_memcpy_overflow.c45 *sval = rl_max(rl); in get_the_max()
H A Dsmatch_strlen.c284 max = rl_max(rl); in get_size_from_strlen()
H A Dsmatch_extra.h87 sval_t rl_max(struct range_list *rl);
H A Dsmatch_bits.c70 ret->possible = sval_fls_mask(rl_max(rl)); in rl_to_binfo()
H A Dsmatch_kernel_user_data.c942 if (sval_cmp(rl_max(left), rl_max(rl)) < 0) in var_user_rl()
H A Dcheck_locking.c950 if (rl_min(rl).value == 0 && rl_max(rl).value == 0) in success_fail_positive()
954 is_err_ptr(rl_max(rl))) in success_fail_positive()
H A Dsmatch_helper.c850 rl_max(rl).value == -1) in is_error_return()
H A Dsmatch_comparison.c186 left_max = rl_max(left_rl); in rl_comparison()
188 right_max = rl_max(right_rl); in rl_comparison()