Searched refs:ret_range (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_function_hooks.c | 649 struct range_list *ret_range; in db_compare_callback() local
694 call_results_to_rl(db_info->expr, get_type(strip_expr(db_info->expr)), ret_str, &ret_range); in db_compare_callback()
695 ret_range = cast_rl(get_type(db_info->expr), ret_range); in db_compare_callback()
696 if (!ret_range) in db_compare_callback()
697 ret_range = alloc_whole_rl(get_type(db_info->expr)); in db_compare_callback()
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()
[all …]
|