Home
last modified time | relevance | path

Searched refs:rl_has_sval (Results 1 – 6 of 6) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c104 if (!rl_has_sval(estate_rl(state), fuzzy_max)) in estate_set_fuzzy_max()
H A Dsmatch_extra.h75 int rl_has_sval(struct range_list *rl, sval_t sval);
H A Dcheck_kernel.c259 if (!rl_has_sval(arg_rl, zero)) in match_fls()
H A Dsmatch_comparison.c813 match_inc(sm, rl_has_sval(rl, zero)); in match_add_sub_assign()
815 match_dec(sm, rl_has_sval(rl, zero)); in match_add_sub_assign()
H A Dsmatch_extra.c2275 if (!rl_has_sval(estate_rl(estate), sval_type_val(estate_type(estate), 0))) in implied_not_equal_name_sym()
2569 if (!rl_has_sval(rl, zero)) in db_param_limit_binops()
H A Dsmatch_ranges.c1361 int rl_has_sval(struct range_list *rl, sval_t sval) in rl_has_sval() function