/illumos-gate/usr/src/tools/smatch/src/ |
H A D | check_index_overflow.c | 64 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 D | smatch_ranges.c | 779 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 D | smatch_annotate.c | 33 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 D | smatch_math.c | 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() 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 D | smatch_estate.c | 147 *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 D | check_dma_mapping_error.c | 39 if (rl_max(rl).value != 1) in match_assign()
|
H A D | smatch_extra.c | 1017 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 D | check_64bit_shift.c | 45 if (rl_max(rl).uvalue < 32) in match_shift_mask()
|
H A D | check_testing_index_after_use.c | 56 if (rl_max(rl).uvalue < array_size) in array_check()
|
H A D | smatch_buf_size.c | 566 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 D | smatch_address.c | 192 max.uvalue = rl_max(orig).uvalue; in add_offset_to_pointer()
|
H A D | smatch_db.c | 1702 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 D | smatch_strlen.c | 284 max = rl_max(rl); in get_size_from_strlen()
|
H A D | check_memcpy_overflow.c | 45 *sval = rl_max(rl); in get_the_max()
|
H A D | smatch_extra.h | 87 sval_t rl_max(struct range_list *rl);
|
H A D | smatch_bits.c | 70 ret->possible = sval_fls_mask(rl_max(rl)); in rl_to_binfo()
|
H A D | smatch_kernel_user_data.c | 942 if (sval_cmp(rl_max(left), rl_max(rl)) < 0) in var_user_rl()
|
H A D | check_locking.c | 950 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 D | smatch_helper.c | 850 rl_max(rl).value == -1) in is_error_return()
|
H A D | smatch_comparison.c | 186 left_max = rl_max(left_rl); in rl_comparison() 188 right_max = rl_max(right_rl); in rl_comparison()
|