Searched refs:rl_union (Results 1 – 13 of 13) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_array_values.c | 36 db_info->rl = rl_union(db_info->rl, rl); in get_vals() 185 rl = rl_union(orig_rl, rl); in match_assign()
|
H A D | smatch_mtag_data.c | 190 new = rl_union(orig, estate_rl(state)); in update_mtag_data() 255 db_info->rl = rl_union(db_info->rl, tmp); in get_vals()
|
H A D | smatch_param_limit.c | 127 return rl_union(valid_ptr_rl, rl); in generify_mtag_range()
|
H A D | smatch_estate.c | 42 value_ranges = rl_union(estate_rl(s1), estate_rl(s2)); in merge_estates()
|
H A D | smatch_extra.h | 93 struct range_list *rl_union(struct range_list *one, struct range_list *two);
|
H A D | smatch_ranges.c | 1034 struct range_list *rl_union(struct range_list *one, struct range_list *two) in rl_union() function 1724 ret = rl_union(neg_neg, neg_pos); in handle_divide_rl() 1725 ret = rl_union(ret, pos_neg); in handle_divide_rl() 1726 return rl_union(ret, pos_pos); in handle_divide_rl()
|
H A D | smatch_container_of.c | 495 db_info->rl = rl_union(db_info->rl, rl); in save_vals()
|
H A D | smatch_buf_size.c | 204 db_size_rl = rl_union(db_size_rl, tmp); in db_size_callback()
|
H A D | smatch_flow.c | 859 rl = rl_union(rl, tmp); in split_case()
|
H A D | smatch_math.c | 906 *res = rl_union(true_rl, false_rl); in handle_conditional_rl()
|
H A D | smatch_db.c | 712 ret_info->return_range_list = rl_union(ret_info->return_range_list, rl); in db_return_callback()
|
H A D | smatch_extra.c | 2697 new = rl_union(new, added); in db_param_add_set()
|
/illumos-gate/usr/src/tools/smatch/src/smatch_data/db/ |
H A D | smdb.py | 196 def rl_union(rl1, rl2): function 381 … vals[parameter][name] = [vals[parameter][name][0] + 1, rl_union(vals[parameter][name][1], rl)]
|