Searched refs:sval_type_max (Results 1 – 14 of 14) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_ranges.c | 185 max = sval_type_max(type); in add_range_t() 307 ret = sval_type_max(type); in get_val_from_key() 359 if (sval_type_max(rl_type(left_orig)).uvalue < sval_type_max(rl_type(right_orig)).uvalue) in filter_by_comparison() 365 max = sval_type_max(cast_type); in filter_by_comparison() 446 ret = sval_type_max(type); in parse_val() 541 max = sval_type_max(type); in str_to_rl_helper() 547 max = sval_type_max(type); in str_to_rl_helper() 570 max = sval_type_max(type); in str_to_rl_helper() 585 max = sval_type_max(type); in str_to_rl_helper() 587 max = sval_type_max(type); in str_to_rl_helper() [all …]
|
H A D | smatch_address.c | 184 max = sval_type_max(&ptr_ctype); in add_offset_to_pointer() 193 if (max.uvalue > sval_type_max(&ptr_ctype).uvalue - offset) { in add_offset_to_pointer() 194 remove = sval_type_max(&ptr_ctype); in add_offset_to_pointer()
|
H A D | check_signed.c | 56 max = sval_type_max(sym); in match_assign() 271 max = sval_type_max(get_type(expr->right)); in match_condition() 279 max = sval_type_max(get_type(expr->left)); in match_condition()
|
H A D | check_spectre.c | 105 if (type && sval_type_max(type).uvalue < max.uvalue) in get_max_by_type() 106 max = sval_type_max(type); in get_max_by_type()
|
H A D | smatch_sval.c | 204 sval_t max = sval_type_max(sval.type); in sval_is_max() 316 if (sval.uvalue > sval_type_max(type).uvalue) in sval_too_high() 657 max = sval_type_max(type); in sval_binop_overflows()
|
H A D | smatch_math.c | 236 pos = alloc_rl(zero, sval_type_max(type)); in handle_minus_preop() 544 max = sval_type_max(get_type(expr->left)); in handle_right_shift() 554 max = sval_type_max(max.type); in handle_right_shift() 1800 *sval = sval_type_max(type); in get_absolute_max() 1802 if (sval_cmp(sval_type_max(type), *sval) < 0) in get_absolute_max() 1803 *sval = sval_type_max(type); in get_absolute_max()
|
H A D | check_err_ptr_deref.c | 193 sval_t min = sval_type_max(&llong_ctype); in match_err_ptr()
|
H A D | smatch_integer_overflow.c | 176 if (sval_cmp(res, sval_type_max(type)) > 0) in can_integer_overflow()
|
H A D | check_index_overflow.c | 97 if (rl_max(rl).uvalue > sval_type_max(rl_type(rl)).uvalue - 4 && in get_the_max()
|
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() 1241 max = sval_type_max(max.type); in increment_state() 2103 false_rl = remove_range(false_rl, low_mask, sval_type_max(known.type)); in handle_AND_op() 2106 sval_type_val(rl_type(false_rl), sval_type_max(known.type).uvalue), in handle_AND_op() 2250 add_range(&filter, size, sval_type_max(offset_type)); in assume_indexes_are_valid()
|
H A D | smatch_type.c | 458 sval_t sval_type_max(struct symbol *base_type) in sval_type_max() function
|
H A D | smatch_kernel_user_data.c | 686 sval_t max = sval_type_max(rl_type(rl)); in strip_negatives()
|
H A D | smatch.h | 484 sval_t sval_type_max(struct symbol *base_type);
|
H A D | smatch_flow.c | 94 valid_ptr_max = sval_type_max(&ulong_ctype).value & ~(MTAG_OFFSET_MASK); in alloc_valid_ptr_rl()
|