usr/src/tools/smatch/src/check_err_ptr_deref.c

182

if (sval_is_positive(sval) && sval_cmp_val(sval, 0) != 0)

usr/src/tools/smatch/src/check_err_ptr_deref.c

210

if (sval_is_positive(max) && sval_cmp_val(max, 0) != 0)

usr/src/tools/smatch/src/check_return_cast.c

42

if (sval_is_positive(sval) || sval_cmp_val(sval, -1) == 0)

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

1161

int sval_is_positive(sval_t sval);

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

28

if (get_implied_strlen(str, rl) && sval_is_positive(rl_min(*rl))) {

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

2157

if (sval_is_positive(rl_min(orig_rl)) &&

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

1637

if (sval_is_positive(rl_min(rl)))

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

1641

if (sval_is_positive(tmp->min))

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

1643

if (sval_is_positive(tmp->max)) {

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

1669

if (sval_is_positive(tmp->min)) {

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

179

if (sval_is_positive(max)) {