Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_err_ptr_deref.c58 if (!possibly_true_rl(rl, SPECIAL_EQUAL, err_ptr_rl)) in check_is_err_ptr()
90 if (!estate || !possibly_true_rl(estate_rl(estate), SPECIAL_EQUAL, err_ptr_rl)) in set_param_dereferenced()
H A Dcheck_signed.c286 if (!possibly_true_rl(rl_left, expr->op, rl_right)) { in match_condition()
H A Dsmatch_function_hooks.c595 if (possibly_true_rl(passed, SPECIAL_EQUAL, limit)) in impossible_limit()
704 if (!possibly_true_rl(var_rl, comparison, ret_range)) in db_compare_callback()
902 if (possibly_true_rl(range_rl, SPECIAL_EQUAL, estate_rl(db_info->ret_state))) in call_ranged_return_hooks()
H A Dsmatch_extra.h68 int possibly_true_rl(struct range_list *left_ranges, int comparison, struct range_list *right_range…
H A Dsmatch_ranges.c1292 int possibly_true_rl(struct range_list *left_ranges, int comparison, struct range_list *right_range… in possibly_true_rl() function
1348 return possibly_true_rl(a, comparison, b); in possibly_true_rl_LR()
1350 return possibly_true_rl(b, comparison, a); in possibly_true_rl_LR()
H A Dsmatch_implied.c267 return possibly_true_rl(var_rl, comparison, rl); in possibly_true_helper()
H A Dsmatch_math.c742 poss_true = possibly_true_rl(left_ranges, expr->op, right_ranges); in do_comparison()