Home
last modified time | relevance | path

Searched refs:rl_min (Results 1 – 15 of 15) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_ranges.c393 ret_rl = remove_range(left_orig, rl_min(right_orig), rl_min(right_orig)); in filter_by_comparison()
778 min = rl_min(rl); in rl_to_sval()
790 return rl_min(rl).type; in rl_type()
1762 if (sval_binop_overflows(rl_min(left), op, rl_min(right))) in handle_add_mult_rl()
1764 min = sval_binop(rl_min(left), op, rl_min(right)); in handle_add_mult_rl()
1914 zero = rl_min(rl); in handle_AND_rl()
2101 if (sval_cmp(rl_min(left_orig), rl_min(right_orig)) == 0) in split_comparison_rl()
2102 left_false = remove_range(left_false, rl_min(left_orig), rl_min(left_orig)); in split_comparison_rl()
2125 if (sval_cmp(rl_min(left_orig), rl_min(right_orig)) == 0) in split_comparison_rl()
2145 left_true = remove_range(left_orig, rl_min(right_orig), rl_min(right_orig)); in split_comparison_rl()
[all …]
H A Dsmatch_math.c178 return rl && sval_is_min(rl_min(rl)); in untrusted_type_min()
208 if (sval_is_negative(rl_min(rl))) { in handle_minus_preop()
216 if (sval_is_min(rl_min(neg)) && !sval_is_min(rl_max(neg))) in handle_minus_preop()
398 if (sval_is_negative(rl_min(right_rl))) in handle_subtract_rl()
540 min = rl_min(left_rl); in handle_right_shift()
549 !sval_is_negative(rl_min(right_rl))) { in handle_right_shift()
683 if (sval_binop_overflows(rl_min(left_rl), expr->op, rl_min(right_rl))) in handle_binop_rl_helper()
688 min = sval_binop(rl_min(left_rl), expr->op, rl_min(right_rl)); in handle_binop_rl_helper()
1657 *sval = rl_min(rl); in get_implied_min()
1746 tmp = rl_min(rl); in get_fuzzy_min()
[all …]
H A Dsmatch_capped.c115 if (sval_is_negative(rl_min(left_rl)) || in is_capped()
116 sval_is_negative(rl_min(right_rl))) in is_capped()
H A Dsmatch_common_functions.c28 if (get_implied_strlen(str, rl) && sval_is_positive(rl_min(*rl))) { in match_strlen()
H A Dcheck_return_efault.c112 if (!sval_is_negative(rl_min(rl))) in match_return_call()
H A Dsmatch_extra.c1013 if (type_unsigned(type) && sval_is_negative(rl_min(rl))) in values_fit_type()
1015 if (sval_cmp(sval_type_min(type), rl_min(rl)) > 0) in values_fit_type()
1218 !sval_is_negative(rl_min(rl))) { in match_assign()
1221 add_range(&rl, rl_min(rl), zero); in match_assign()
2061 if (sval_is_negative(rl_min(orig_rl)) || in handle_bit_test()
2101 if (sval_is_negative(rl_min(orig_rl))) in handle_AND_op()
2157 if (sval_is_positive(rl_min(orig_rl)) && in handle_MOD_condition()
2162 add = rl_min(orig_rl); in handle_MOD_condition()
2173 if (rl_min(orig_rl).uvalue != 0 && in handle_MOD_condition()
2174 rl_min(orig_rl).uvalue < right.uvalue) { in handle_MOD_condition()
[all …]
H A Dsmatch_estate.c197 return rl_min(estate_rl(state)); in estate_min()
283 min = rl_min(estate_rl(state)); in estate_get_single_value()
H A Dcheck_atomic_inc_dec.c309 if (!is_whole_rl(rl) && sval_is_negative(rl_min(rl))) in success_fail_positive()
312 if (rl_min(rl).value == 0) in success_fail_positive()
H A Dsmatch_buf_size.c563 bytes = rl_min(rl); in get_array_size_bytes_max()
643 if (rl_min(rl).value != UNKNOWN_SIZE || in store_alloc()
837 if (rl_min(rl).value == UNKNOWN_SIZE && in match_call()
H A Dcheck_locking.c947 if (rl_type(rl)->type != SYM_PTR && sval_is_negative(rl_min(rl))) in success_fail_positive()
950 if (rl_min(rl).value == 0 && rl_max(rl).value == 0) in success_fail_positive()
953 if (is_err_ptr(rl_min(rl)) && in success_fail_positive()
963 rl_min(rl).value == INT_MIN) in success_fail_positive()
H A Dsmatch_db.c1704 if (!sval_is_negative(rl_min(rl))) 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()
1961 if (rl_min(estate_rl(sm->state)).value != 0 || in find_bool_param()
2110 if (rl_min(rl).value >= -4095 && in is_kernel_error_path()
H A Dsmatch_extra.h86 sval_t rl_min(struct range_list *rl);
H A Dsmatch_comparison.c185 left_min = rl_min(left_rl); in rl_comparison()
187 right_min = rl_min(right_rl); in rl_comparison()
807 if (sval_is_negative(rl_min(rl))) { in match_add_sub_assign()
H A Dsmatch_helper.c849 sval_is_negative(rl_min(rl)) && in is_error_return()
H A Dsmatch_kernel_user_data.c683 sval_t min = rl_min(rl); in strip_negatives()