Home
last modified time | relevance | path

Searched refs:clone_rl (Results 1 – 15 of 15) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_real_absolute.c53 set_state(my_id, name, sym, alloc_estate_rl(clone_rl(rl))); in extra_mod_hook()
69 set_state(my_id, cur->name, cur->sym, alloc_estate_rl(clone_rl(rl))); in pre_merge_hook()
127 set_state_expr(my_id, expr->left, alloc_estate_rl(clone_rl(rl))); in match_assign()
H A Dsmatch_estate.c324 ret->value_ranges = clone_rl(dinfo->value_ranges); in clone_dinfo()
433 dinfo->value_ranges = clone_rl(cast_rl(type, estate_rl(state))); in clone_estate_cast()
H A Dsmatch_math.c720 *res = clone_rl(estate_rl(state)); in handle_binop_rl()
973 return clone_rl(estate_rl(state)); in var_to_absolute_rl()
983 return clone_rl(estate_rl(state)); in var_to_absolute_rl()
1043 *res = clone_rl(estate_rl(state)); in handle_variable()
1052 *res = clone_rl(rl_intersection(estate_rl(state), in handle_variable()
1056 *res = clone_rl(estate_rl(state)); in handle_variable()
1079 *res = clone_rl(estate_rl(abs_state)); in handle_variable()
H A Dsmatch_param_filter.c90 set_state(my_id, cur->name, cur->sym, alloc_estate_rl(clone_rl(rl))); in pre_merge_hook()
H A Dsmatch_function_hooks.c483 state = alloc_estate_rl(cast_rl(get_type(expr), clone_rl(estate_rl(db_info->ret_state)))); in set_fresh_mtag_returns()
503 state = alloc_estate_rl(cast_rl(get_type(expr), clone_rl(estate_rl(db_info->ret_state)))); in set_return_assign_state()
519 state = alloc_estate_rl(cast_rl(get_type(expr), clone_rl(estate_rl(db_info->ret_state)))); in set_other_side_state()
725 store_return_state(db_info, ret_str, alloc_estate_rl(clone_rl(var_rl))); in db_compare_callback()
H A Dsmatch_ranges.c1010 struct range_list *clone_rl(struct range_list *list) in clone_rl() function
2074 left_true = clone_rl(left_orig); in split_comparison_rl()
2075 left_false = clone_rl(left_orig); in split_comparison_rl()
2076 right_true = clone_rl(right_orig); in split_comparison_rl()
2077 right_false = clone_rl(right_orig); in split_comparison_rl()
2108 right_true = clone_rl(left_true); in split_comparison_rl()
2142 right_false = clone_rl(left_false); in split_comparison_rl()
H A Dsmatch_type_val.c81 *rl = clone_rl(cached_results[i].rl); in get_cached()
122 cached_results[res_idx].rl = clone_rl(tmp); in get_db_type_rl()
H A Dsmatch_strlen.c69 set_state_expr(my_strlen_id, expr->left, alloc_estate_rl(clone_rl(rl))); in match_string_assignment()
H A Dsmatch_mtag.c157 rl = clone_rl(rl); in get_mtag_return()
H A Dsmatch_extra.h55 struct range_list *clone_rl(struct range_list *list);
H A Dsmatch_kernel_user_data.c97 state = alloc_estate_rl(clone_rl(rl)); in pre_merge_hook()
988 return clone_rl(rl_intersection(rl, absolute_rl)); in var_user_rl()
H A Dsmatch_buf_size.c639 rl = clone_rl(rl); // FIXME!!! in store_alloc()
H A Dsmatch_db.c728 return clone_rl(estate_rl(sm->state)); in db_return_vals()
1619 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(clone_rl(rl))); in split_possible_helper()
H A Dsmatch_implied.c1107 rl = clone_rl(top_rl(*remaining_cases)); in __implied_case_stree()
H A Dsmatch_extra.c1358 rl = clone_rl(valid_ptr_rl); in check_dereference()
2186 false_rl = clone_rl(orig_rl); in handle_MOD_condition()