Searched refs:rl_has_sval (Results 1 – 6 of 6) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_estate.c | 104 if (!rl_has_sval(estate_rl(state), fuzzy_max)) in estate_set_fuzzy_max()
|
H A D | smatch_extra.h | 75 int rl_has_sval(struct range_list *rl, sval_t sval);
|
H A D | check_kernel.c | 259 if (!rl_has_sval(arg_rl, zero)) in match_fls()
|
H A D | smatch_comparison.c | 813 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 D | smatch_extra.c | 2275 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 D | smatch_ranges.c | 1361 int rl_has_sval(struct range_list *rl, sval_t sval) in rl_has_sval() function
|