Symbol: rl_intersection
usr/src/tools/smatch/src/check_debug.c
573
res = rl_intersection(one_rl, two_rl);
usr/src/tools/smatch/src/check_kernel.c
118
rl = rl_intersection(pre, rl);
usr/src/tools/smatch/src/check_kernel.c
152
rl = rl_intersection(rl, alloc_rl(err_ptr_min, err_ptr_max));
usr/src/tools/smatch/src/check_kernel.c
73
after = rl_intersection(estate_rl(estate), alloc_rl(low_error, zero));
usr/src/tools/smatch/src/smatch_extra.c
1348
rl = rl_intersection(estate_rl(state), valid_ptr_rl);
usr/src/tools/smatch/src/smatch_extra.c
1356
rl = rl_intersection(rl, valid_ptr_rl);
usr/src/tools/smatch/src/smatch_extra.c
1404
rl = rl_intersection(estate_rl(orig),
usr/src/tools/smatch/src/smatch_extra.c
2069
rl = rl_intersection(orig_rl, rl);
usr/src/tools/smatch/src/smatch_extra.c
2442
return rl_intersection(estate_rl(state), start);
usr/src/tools/smatch/src/smatch_extra.c
2455
return rl_intersection(abs_rl, start);
usr/src/tools/smatch/src/smatch_extra.c
2621
new = rl_intersection(rl, limit);
usr/src/tools/smatch/src/smatch_extra.h
92
struct range_list *rl_intersection(struct range_list *one, struct range_list *two);
usr/src/tools/smatch/src/smatch_fresh_alloc.c
176
rl = rl_intersection(rl, valid_ptr_rl);
usr/src/tools/smatch/src/smatch_function_hooks.c
466
rl = rl_intersection(estate_rl(faked), estate_rl(orig));
usr/src/tools/smatch/src/smatch_function_hooks.c
541
rl = rl_intersection(orig, rl);
usr/src/tools/smatch/src/smatch_implied.c
131
*left_true_rl = rl_intersection(left_orig, right_orig);
usr/src/tools/smatch/src/smatch_implied.c
165
if (rl_intersection(true_rl, false_rl)) {
usr/src/tools/smatch/src/smatch_implied.c
262
intersect = rl_intersection(var_rl, rl);
usr/src/tools/smatch/src/smatch_implied.c
275
intersect = rl_intersection(var_rl, rl);
usr/src/tools/smatch/src/smatch_kernel_user_data.c
1099
rl = rl_intersection(estate_rl(sm->state), estate_rl(state));
usr/src/tools/smatch/src/smatch_kernel_user_data.c
113
rl = rl_intersection(estate_rl(user), estate_rl(state));
usr/src/tools/smatch/src/smatch_kernel_user_data.c
96
rl = rl_intersection(estate_rl(user), estate_rl(extra));
usr/src/tools/smatch/src/smatch_kernel_user_data.c
988
return clone_rl(rl_intersection(rl, absolute_rl));
usr/src/tools/smatch/src/smatch_math.c
1052
*res = clone_rl(rl_intersection(estate_rl(state),
usr/src/tools/smatch/src/smatch_math.c
214
neg = rl_intersection(rl, neg);
usr/src/tools/smatch/src/smatch_math.c
237
pos = rl_intersection(rl, pos);
usr/src/tools/smatch/src/smatch_mtag.c
139
if (!rl_intersection(estate_rl(state), valid_ptr_rl))
usr/src/tools/smatch/src/smatch_param_filter.c
87
rl = rl_intersection(estate_rl(extra), estate_rl(cur->state));
usr/src/tools/smatch/src/smatch_param_set.c
193
rl = rl_intersection(estate_rl(sm->state), estate_rl(extra));
usr/src/tools/smatch/src/smatch_ranges.c
2107
left_true = rl_intersection(left_orig, right_orig);
usr/src/tools/smatch/src/smatch_ranges.c
2141
left_false = rl_intersection(left_orig, right_orig);
usr/src/tools/smatch/src/smatch_ranges.c
380
ret_rl = rl_intersection(left_orig, right_orig);
usr/src/tools/smatch/src/smatch_ranges.c
637
rl = rl_intersection(rl, math_rl);
usr/src/tools/smatch/src/smatch_ranges.c
641
rl = rl_intersection(rl, math_rl);
usr/src/tools/smatch/src/smatch_real_absolute.c
52
rl = rl_intersection(estate_rl(abs), estate_rl(state));
usr/src/tools/smatch/src/smatch_real_absolute.c
68
rl = rl_intersection(estate_rl(cur->state), estate_rl(extra));