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

40

if (get_implied_max(expr, &max))

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

189

if (get_implied_max(arg, &sval))

usr/src/tools/smatch/src/check_kernel.c

220

if (get_implied_max(size_arg, &tmp) && tmp.uvalue < max.value)

usr/src/tools/smatch/src/check_precedence.c

39

if (!get_implied_max(expr, &sval) || sval.uvalue > 1)

usr/src/tools/smatch/src/check_uninitialized.c

118

if (get_implied_max(expr->left, &max) && max.value == 0)

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

411

int get_implied_max(struct expression *expr, sval_t *val);

usr/src/tools/smatch/src/smatch_buf_size.c

769

if (get_implied_max(size_expr, &size)) {

usr/src/tools/smatch/src/smatch_common_functions.c

54

if (!get_implied_max(limit, &bound))

usr/src/tools/smatch/src/smatch_ranges.c

316

if (use_max && get_implied_max(arg, &tmp)) {

usr/src/tools/smatch/src/smatch_strlen.c

197

if (!get_implied_max(limit_expr, &limit))