Home
last modified time | relevance | path

Searched refs:sval_type_max (Results 1 – 14 of 14) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_ranges.c185 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 Dsmatch_address.c184 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 Dcheck_signed.c56 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 Dcheck_spectre.c105 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 Dsmatch_sval.c204 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 Dsmatch_math.c236 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 Dcheck_err_ptr_deref.c193 sval_t min = sval_type_max(&llong_ctype); in match_err_ptr()
H A Dsmatch_integer_overflow.c176 if (sval_cmp(res, sval_type_max(type)) > 0) in can_integer_overflow()
H A Dcheck_index_overflow.c97 if (rl_max(rl).uvalue > sval_type_max(rl_type(rl)).uvalue - 4 && in get_the_max()
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()
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 Dsmatch_type.c458 sval_t sval_type_max(struct symbol *base_type) in sval_type_max() function
H A Dsmatch_kernel_user_data.c686 sval_t max = sval_type_max(rl_type(rl)); in strip_negatives()
H A Dsmatch.h484 sval_t sval_type_max(struct symbol *base_type);
H A Dsmatch_flow.c94 valid_ptr_max = sval_type_max(&ulong_ctype).value & ~(MTAG_OFFSET_MASK); in alloc_valid_ptr_rl()