Home
last modified time | relevance | path

Searched refs:sval_is_positive (Results 1 – 7 of 7) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_return_cast.c42 if (sval_is_positive(sval) || sval_cmp_val(sval, -1) == 0) in match_return()
H A Dcheck_err_ptr_deref.c182 if (sval_is_positive(sval) && sval_cmp_val(sval, 0) != 0) in match_err_ptr_positive_const()
210 if (sval_is_positive(max) && sval_cmp_val(max, 0) != 0) in match_err_ptr()
H A Dsmatch_common_functions.c28 if (get_implied_strlen(str, rl) && sval_is_positive(rl_min(*rl))) { in match_strlen()
H A Dsmatch_ranges.c179 if (sval_is_positive(max)) { in add_range_t()
1637 if (sval_is_positive(rl_min(rl))) in get_neg_rl()
1641 if (sval_is_positive(tmp->min)) in get_neg_rl()
1643 if (sval_is_positive(tmp->max)) { in get_neg_rl()
1669 if (sval_is_positive(tmp->min)) { in get_pos_rl()
H A Dsmatch_sval.c157 int sval_is_positive(sval_t sval) in sval_is_positive() function
H A Dsmatch.h1161 int sval_is_positive(sval_t sval);
H A Dsmatch_extra.c2157 if (sval_is_positive(rl_min(orig_rl)) && in handle_MOD_condition()