Symbol: get_implied_min
usr/src/tools/smatch/src/check_debug.c
172
if (get_implied_min(arg, &sval))
usr/src/tools/smatch/src/check_kernel.c
222
if (start_arg && get_implied_min(start_arg, &tmp) && !sval_is_negative(tmp))
usr/src/tools/smatch/src/check_precedence.c
41
if (!get_implied_min(expr, &sval) || sval.value < 0)
usr/src/tools/smatch/src/smatch.h
410
int get_implied_min(struct expression *expr, sval_t *sval);
usr/src/tools/smatch/src/smatch_comparison.c
1567
if (!get_implied_min(r_right, &min) || min.value <= 1)
usr/src/tools/smatch/src/smatch_extra.c
766
if (!get_implied_min(condition->right, &end))
usr/src/tools/smatch/src/smatch_ranges.c
323
if (!use_max && get_implied_min(arg, &tmp)) {