Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_min_t.c37 if (!get_absolute_max(expr->left, &max_left)) in match_assign()
39 if (!get_absolute_max(expr->right, &max_right)) in match_assign()
H A Dcheck_64bit_shift.c77 get_absolute_max(right->left, &bits); in match_shift_assignment()
78 get_absolute_max(right->right, &shifter); in match_shift_assignment()
H A Dsmatch_integer_overflow.c169 get_absolute_max(expr->left, &lmax); in can_integer_overflow()
170 get_absolute_max(expr->right, &rmax); in can_integer_overflow()
H A Dcheck_snprintf.c68 if (get_absolute_max(arg, &max) && sval_cmp_val(max, old_buflen) > 0) in match_call()
H A Dcheck_access_ok_math.c42 if (get_absolute_max(expr, &max) && sval_cmp_val(max, 4096) <= 0) in can_overflow()
H A Dcheck_impossible_mask.c50 get_absolute_max(expr, &sval);
H A Dcheck_off_by_one_relative.c74 get_absolute_max(offset, &max); in known_access_ok_numbers()
H A Dcheck_pointer_math.c88 get_absolute_max(expr->right, &max); in match_binop()
H A Dcheck_get_user_overflow.c130 get_absolute_max(expr, &max); in check_expr()
H A Dcheck_string_len.c145 get_absolute_max(arg, &sval); in handle_format()
H A Dsmatch_buf_comparison.c410 get_absolute_max(offset, &max); in known_access_ok_numbers()
H A Dcheck_debug.c302 get_absolute_max(arg, &sval); in match_print_absolute_max()
H A Dsmatch.h416 int get_absolute_max(struct expression *expr, sval_t *sval);
H A Dsmatch_math.c1787 int get_absolute_max(struct expression *expr, sval_t *sval) in get_absolute_max() function