Home
last modified time | relevance | path

Searched refs:rl_intersection (Results 1 – 14 of 14) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_real_absolute.c52 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 Dcheck_kernel.c73 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 Dsmatch_fresh_alloc.c176 rl = rl_intersection(rl, valid_ptr_rl); in set_fresh()
H A Dsmatch_param_filter.c87 rl = rl_intersection(estate_rl(extra), estate_rl(cur->state)); in pre_merge_hook()
H A Dsmatch_implied.c131 *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 Dsmatch_kernel_user_data.c96 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 Dsmatch_param_set.c193 rl = rl_intersection(estate_rl(sm->state), estate_rl(extra)); in print_return_value_param_helper()
H A Dsmatch_ranges.c380 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 Dsmatch_extra.c1348 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 Dsmatch_mtag.c139 if (!rl_intersection(estate_rl(state), valid_ptr_rl)) in get_mtag_return()
H A Dsmatch_extra.h92 struct range_list *rl_intersection(struct range_list *one, struct range_list *two);
H A Dsmatch_math.c214 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 Dsmatch_function_hooks.c466 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 Dcheck_debug.c573 res = rl_intersection(one_rl, two_rl); in match_intersection()