Searched refs:var_rl (Results 1 – 2 of 2) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_implied.c | 257 static bool possibly_true_helper(struct range_list *var_rl, int comparison, struct range_list *rl) in possibly_true_helper() argument
262 intersect = rl_intersection(var_rl, rl); in possibly_true_helper()
267 return possibly_true_rl(var_rl, comparison, rl); in possibly_true_helper()
270 static bool possibly_false_helper(struct range_list *var_rl, int comparison, struct range_list *rl) in possibly_false_helper() argument
275 intersect = rl_intersection(var_rl, rl); in possibly_false_helper()
276 if (!rl_equiv(var_rl, intersect)) in possibly_false_helper()
280 return possibly_false_rl(var_rl, comparison, rl); in possibly_false_helper()
295 struct range_list *var_rl; in do_compare() local
300 var_rl = cast_rl(rl_type(rl), estate_rl(sm->state)); in do_compare()
302 istrue = !possibly_false_helper(var_rl, comparison, rl); in do_compare()
[all …]
|
| H A D | smatch_function_hooks.c | 648 struct range_list *var_rl = db_info->rl; in db_compare_callback() local
704 if (!possibly_true_rl(var_rl, comparison, ret_range)) in db_compare_callback()
708 filter_by_comparison(&var_rl, comparison, ret_range); in db_compare_callback()
709 filter_by_comparison(&ret_range, flip_comparison(comparison), var_rl); in db_compare_callback()
711 if (!possibly_false_rl(var_rl, comparison, ret_range)) in db_compare_callback()
715 filter_by_comparison(&var_rl, negate_comparison(comparison), ret_range); in db_compare_callback()
716 filter_by_comparison(&ret_range, flip_comparison(negate_comparison(comparison)), var_rl); in db_compare_callback()
725 store_return_state(db_info, ret_str, alloc_estate_rl(clone_rl(var_rl))); in db_compare_callback()
|