Searched refs:rl_intersection (Results 1 – 14 of 14) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_real_absolute.c | 52 rl = rl_intersection(estate_rl(abs), estate_rl(state)); in extra_mod_hook() 68 rl = rl_intersection(estate_rl(cur->state), estate_rl(extra)); in pre_merge_hook()
|
H A D | check_kernel.c | 73 after = rl_intersection(estate_rl(estate), alloc_rl(low_error, zero)); in hack_ERR_PTR() 118 rl = rl_intersection(pre, rl); in match_param_err_or_null() 152 rl = rl_intersection(rl, alloc_rl(err_ptr_min, err_ptr_max)); in match_err()
|
H A D | smatch_fresh_alloc.c | 176 rl = rl_intersection(rl, valid_ptr_rl); in set_fresh()
|
H A D | smatch_param_filter.c | 87 rl = rl_intersection(estate_rl(extra), estate_rl(cur->state)); in pre_merge_hook()
|
H A D | smatch_implied.c | 131 *left_true_rl = rl_intersection(left_orig, right_orig); in split_comparison_helper() 165 if (rl_intersection(true_rl, false_rl)) { in create_fake_history() 262 intersect = rl_intersection(var_rl, rl); in possibly_true_helper() 275 intersect = rl_intersection(var_rl, rl); in possibly_false_helper()
|
H A D | smatch_kernel_user_data.c | 96 rl = rl_intersection(estate_rl(user), estate_rl(extra)); in pre_merge_hook() 113 rl = rl_intersection(estate_rl(user), estate_rl(state)); in extra_nomod_hook() 988 return clone_rl(rl_intersection(rl, absolute_rl)); in var_user_rl() 1099 rl = rl_intersection(estate_rl(sm->state), estate_rl(state)); in struct_member_callback()
|
H A D | smatch_param_set.c | 193 rl = rl_intersection(estate_rl(sm->state), estate_rl(extra)); in print_return_value_param_helper()
|
H A D | smatch_ranges.c | 380 ret_rl = rl_intersection(left_orig, right_orig); in filter_by_comparison() 637 rl = rl_intersection(rl, math_rl); in str_to_dinfo() 641 rl = rl_intersection(rl, math_rl); in str_to_dinfo() 1583 struct range_list *rl_intersection(struct range_list *one, struct range_list *two) in rl_intersection() function 2107 left_true = rl_intersection(left_orig, right_orig); in split_comparison_rl() 2141 left_false = rl_intersection(left_orig, right_orig); in split_comparison_rl()
|
H A D | smatch_extra.c | 1348 rl = rl_intersection(estate_rl(state), valid_ptr_rl); in check_dereference() 1356 rl = rl_intersection(rl, valid_ptr_rl); in check_dereference() 1404 rl = rl_intersection(estate_rl(orig), in set_param_dereferenced() 2069 rl = rl_intersection(orig_rl, rl); in handle_bit_test() 2442 return rl_intersection(estate_rl(state), start); in intersect_with_real_abs_var_sym() 2455 return rl_intersection(abs_rl, start); in intersect_with_real_abs_expr() 2621 new = rl_intersection(rl, limit); in db_param_limit_filter()
|
H A D | smatch_mtag.c | 139 if (!rl_intersection(estate_rl(state), valid_ptr_rl)) in get_mtag_return()
|
H A D | smatch_extra.h | 92 struct range_list *rl_intersection(struct range_list *one, struct range_list *two);
|
H A D | smatch_math.c | 214 neg = rl_intersection(rl, neg); in handle_minus_preop() 237 pos = rl_intersection(rl, pos); in handle_minus_preop() 1052 *res = clone_rl(rl_intersection(estate_rl(state), in handle_variable()
|
H A D | smatch_function_hooks.c | 466 rl = rl_intersection(estate_rl(faked), estate_rl(orig)); in fake_a_param_assignment() 541 rl = rl_intersection(orig, rl); in handle_ret_equals_param()
|
H A D | check_debug.c | 573 res = rl_intersection(one_rl, two_rl); in match_intersection()
|