Searched refs:possibly_true_rl (Results 1 – 7 of 7) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | check_err_ptr_deref.c | 58 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 D | check_signed.c | 286 if (!possibly_true_rl(rl_left, expr->op, rl_right)) { in match_condition()
|
H A D | smatch_function_hooks.c | 595 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 D | smatch_extra.h | 68 int possibly_true_rl(struct range_list *left_ranges, int comparison, struct range_list *right_range…
|
H A D | smatch_ranges.c | 1292 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 D | smatch_implied.c | 267 return possibly_true_rl(var_rl, comparison, rl); in possibly_true_helper()
|
H A D | smatch_math.c | 742 poss_true = possibly_true_rl(left_ranges, expr->op, right_ranges); in do_comparison()
|