Home
last modified time | relevance | path

Searched refs:rl_union (Results 1 – 13 of 13) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_array_values.c36 db_info->rl = rl_union(db_info->rl, rl); in get_vals()
185 rl = rl_union(orig_rl, rl); in match_assign()
H A Dsmatch_mtag_data.c190 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 Dsmatch_param_limit.c127 return rl_union(valid_ptr_rl, rl); in generify_mtag_range()
H A Dsmatch_estate.c42 value_ranges = rl_union(estate_rl(s1), estate_rl(s2)); in merge_estates()
H A Dsmatch_extra.h93 struct range_list *rl_union(struct range_list *one, struct range_list *two);
H A Dsmatch_ranges.c1034 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 Dsmatch_container_of.c495 db_info->rl = rl_union(db_info->rl, rl); in save_vals()
H A Dsmatch_buf_size.c204 db_size_rl = rl_union(db_size_rl, tmp); in db_size_callback()
H A Dsmatch_flow.c859 rl = rl_union(rl, tmp); in split_case()
H A Dsmatch_math.c906 *res = rl_union(true_rl, false_rl); in handle_conditional_rl()
H A Dsmatch_db.c712 ret_info->return_range_list = rl_union(ret_info->return_range_list, rl); in db_return_callback()
H A Dsmatch_extra.c2697 new = rl_union(new, added); in db_param_add_set()
/illumos-gate/usr/src/tools/smatch/src/smatch_data/db/
H A Dsmdb.py196 def rl_union(rl1, rl2): function
381 … vals[parameter][name] = [vals[parameter][name][0] + 1, rl_union(vals[parameter][name][1], rl)]