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

238

if (get_hard_max(arg, &sval))

usr/src/tools/smatch/src/check_index_overflow.c

51

if (!get_hard_max(expr, sval))

usr/src/tools/smatch/src/check_index_overflow.c

73

if (get_hard_max(expr, sval)) {

usr/src/tools/smatch/src/check_memcpy_overflow.c

37

if (get_hard_max(expr, sval))

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

232

if (get_hard_max(dest->right, &max))

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

412

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

usr/src/tools/smatch/src/smatch_capped.c

89

if (get_hard_max(expr, &dummy))

usr/src/tools/smatch/src/smatch_extra.c

1146

if (get_hard_max(right, &max)) {

usr/src/tools/smatch/src/smatch_extra.c

1615

if (get_hard_max(right, &hard_max)) {

usr/src/tools/smatch/src/smatch_extra.c

1626

if (get_hard_max(left, &hard_max)) {

usr/src/tools/smatch/src/smatch_extra.c

1642

if (get_hard_max(left, &hard_max)) {

usr/src/tools/smatch/src/smatch_extra.c

1653

if (get_hard_max(right, &hard_max)) {

usr/src/tools/smatch/src/smatch_extra.c

1667

if (get_hard_max(left, &hard_max))

usr/src/tools/smatch/src/smatch_extra.c

1669

if (get_hard_max(right, &hard_max))

usr/src/tools/smatch/src/smatch_extra.c

1674

if (get_hard_max(left, &hard_max)) {

usr/src/tools/smatch/src/smatch_extra.c

1678

if (get_hard_max(right, &hard_max)) {

usr/src/tools/smatch/src/smatch_extra.c

2110

get_hard_max(var, &max) &&

usr/src/tools/smatch/src/smatch_extra.c

738

if (get_hard_max(condition->right, &max)) {

usr/src/tools/smatch/src/smatch_math.c

915

if (get_hard_max(expr, &sval)) {