usr/src/tools/smatch/src/check_64bit_shift.c

77

get_absolute_max(right->left, &bits);

usr/src/tools/smatch/src/check_64bit_shift.c

78

get_absolute_max(right->right, &shifter);

usr/src/tools/smatch/src/check_access_ok_math.c

42

if (get_absolute_max(expr, &max) && sval_cmp_val(max, 4096) <= 0)

usr/src/tools/smatch/src/check_debug.c

302

get_absolute_max(arg, &sval);

usr/src/tools/smatch/src/check_get_user_overflow.c

130

get_absolute_max(expr, &max);

usr/src/tools/smatch/src/check_impossible_mask.c

50

get_absolute_max(expr, &sval);

usr/src/tools/smatch/src/check_min_t.c

37

if (!get_absolute_max(expr->left, &max_left))

usr/src/tools/smatch/src/check_min_t.c

39

if (!get_absolute_max(expr->right, &max_right))

usr/src/tools/smatch/src/check_off_by_one_relative.c

74

get_absolute_max(offset, &max);

usr/src/tools/smatch/src/check_pointer_math.c

88

get_absolute_max(expr->right, &max);

usr/src/tools/smatch/src/check_snprintf.c

68

if (get_absolute_max(arg, &max) && sval_cmp_val(max, old_buflen) > 0)

usr/src/tools/smatch/src/check_string_len.c

145

get_absolute_max(arg, &sval);

usr/src/tools/smatch/src/smatch.h

416

int get_absolute_max(struct expression *expr, sval_t *sval);

usr/src/tools/smatch/src/smatch_buf_comparison.c

410

get_absolute_max(offset, &max);

usr/src/tools/smatch/src/smatch_integer_overflow.c

169

get_absolute_max(expr->left, &lmax);

usr/src/tools/smatch/src/smatch_integer_overflow.c

170

get_absolute_max(expr->right, &rmax);