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.c779 max = rl_max(rl); in rl_to_sval()
1614 max = rl_max(right); in handle_mod_rl()
1766 if (sval_binop_overflows(rl_max(left), op, rl_max(right))) in handle_add_mult_rl()
1768 max = sval_binop(rl_max(left), op, rl_max(right)); in handle_add_mult_rl()
1795 max = rl_max(left_rl); in handle_sub_rl()
1849 !sval_binop_overflows(rl_max(left), '+', rl_max(right))) in handle_OR_rl()
1908 max = rl_max(left); in handle_AND_rl()
2103 if (sval_cmp(rl_max(left_orig), rl_max(right_orig)) == 0) in split_comparison_rl()
2104 right_false = remove_range(right_false, rl_max(left_orig), rl_max(left_orig)); in split_comparison_rl()
2127 if (sval_cmp(rl_max(left_orig), rl_max(right_orig)) == 0) in split_comparison_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.c356 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()
539 max = rl_max(left_rl); in handle_right_shift()
685 if (sval_binop_overflows(rl_max(left_rl), expr->op, rl_max(right_rl))) in handle_binop_rl_helper()
689 max = sval_binop(rl_max(left_rl), expr->op, rl_max(right_rl)); in handle_binop_rl_helper()
1667 *sval = rl_max(rl); in get_implied_max()
1735 *sval = rl_max(rl); in get_hard_max()
1760 max = rl_max(rl); in get_fuzzy_max()
[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()
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()
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()
2181 (rl_max(orig_rl).value % right.value)) { in handle_MOD_condition()
2182 sval_t chop = 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 Dsmatch_strlen.c284 max = rl_max(rl); in get_size_from_strlen()
H A Dcheck_memcpy_overflow.c45 *sval = rl_max(rl); in get_the_max()
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()