Home
last modified time | relevance | path

Searched refs:alloc_estate_rl (Results 1 – 19 of 19) 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_imaginary_absolute.c58 set_true_false_states_expr(my_id, expr, alloc_estate_rl(true_rl), alloc_estate_rl(false_rl)); in __save_imaginary_state()
H A Dsmatch_estate.c43 tmp = alloc_estate_rl(value_ranges); in merge_estates()
352 ret = alloc_estate_rl(rl); in clone_partial_estate()
376 return alloc_estate_rl(alloc_whole_rl(type)); in alloc_estate_whole()
411 struct smatch_state *alloc_estate_rl(struct range_list *rl) in alloc_estate_rl() function
452 return alloc_estate_rl(rl); in get_implied_estate()
H A Dsmatch_extra.c161 new = alloc_estate_rl(cast_rl(new_type, estate_rl(state))); in set_union_info()
936 return alloc_estate_rl(rl); in unmatched_state()
1066 set_extra_array_mod(left, alloc_estate_rl(rl)); in do_array_assign()
1131 state = alloc_estate_rl(alloc_whole_rl(left_type)); in match_vanilla_assign()
1145 state = alloc_estate_rl(rl); in match_vanilla_assign()
1155 state = alloc_estate_rl(rl); in match_vanilla_assign()
1224 set_extra_mod(name, sym, left, alloc_estate_rl(rl)); in match_assign()
1351 set_extra_expr_nomod(expr, alloc_estate_rl(rl)); in check_dereference()
1360 set_extra_expr_nomod(expr, alloc_estate_rl(rl)); in check_dereference()
1407 new = alloc_estate_rl(rl); in set_param_dereferenced()
[all …]
H A Dcheck_kernel.c77 set_state(SMATCH_EXTRA, arg->ident->name, arg, alloc_estate_rl(after)); in hack_ERR_PTR()
98 end_state = alloc_estate_rl(rl); in match_param_valid_ptr()
120 end_state = alloc_estate_rl(rl); in match_param_err_or_null()
137 set_extra_expr_nomod(arg, alloc_estate_rl(rl)); in match_not_err()
162 set_extra_expr_nomod(arg, alloc_estate_rl(rl)); in match_err()
H A Dsmatch_function_hooks.c284 estate = alloc_estate_rl(rl); in assign_ranged_funcs()
468 set_extra_expr_nomod(expr, alloc_estate_rl(rl)); in fake_a_param_assignment()
483 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()
544 set_extra_expr_nomod(arg, alloc_estate_rl(rl)); in handle_ret_equals_param()
725 store_return_state(db_info, ret_str, alloc_estate_rl(clone_rl(var_rl))); in db_compare_callback()
967 store_return_state(db_info, ret_str, alloc_estate_rl(ret_range)); in db_assign_return_states_callback()
1034 set_extra_expr_mod(expr->left, alloc_estate_rl(rl)); in handle_implied_return()
1093 set_extra_expr_mod(expr->left, alloc_estate_rl(rl)); in match_assign_call()
[all …]
H A Dsmatch_param_limit.c86 return alloc_estate_rl(alloc_whole_rl(get_real_base_type(sym))); in get_orig_estate()
100 return alloc_estate_rl(alloc_whole_rl(type)); in get_orig_estate_type()
H A Dsmatch_kernel_user_data.c97 state = alloc_estate_rl(clone_rl(rl)); in pre_merge_hook()
116 new = alloc_estate_rl(rl); in extra_nomod_hook()
598 state = alloc_estate_rl(rl); in handle_op_assign()
643 state = alloc_estate_rl(rl); in match_assign()
764 capped_state = alloc_estate_rl(user_rl); in handle_compare()
1196 state = alloc_estate_rl(rl); in set_param_user_data()
1252 set_state(my_id, buf, NULL, alloc_estate_rl(rl)); in store_user_data_return()
1270 state = alloc_estate_rl(rl); in set_to_user_data()
H A Dsmatch_type_val.c133 add = alloc_estate_rl(rl); in add_type_val()
151 add = alloc_estate_rl(rl); in add_fake_type_val()
170 add = alloc_estate_rl(rl); in add_global_type_val()
H A Dsmatch_strlen.c69 set_state_expr(my_strlen_id, expr->left, alloc_estate_rl(clone_rl(rl))); in match_string_assignment()
305 state = alloc_estate_rl(rl); in set_param_strlen()
H A Dsmatch_db.c1619 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(clone_rl(rl))); in split_possible_helper()
1719 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(ret_rl)); in split_positive_from_negative()
1731 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(ret_rl)); in split_positive_from_negative()
1744 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(ret_rl)); in split_positive_from_negative()
1802 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(nonnull_rl)); in call_return_state_hooks_split_null_non_null_zero()
1815 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(null_rl)); in call_return_state_hooks_split_null_non_null_zero()
1898 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(nonzero_rl)); in call_return_state_hooks_split_success_fail()
1911 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(zero_rl)); in call_return_state_hooks_split_success_fail()
2012 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(ret_rl)); in split_on_bool_sm()
2159 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(ret_rl)); in call_return_state_hooks()
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_buf_size.c122 state = alloc_estate_rl(rl); in set_param_buf_size()
282 set_state_expr(my_size_id, expr->left, alloc_estate_rl(rl)); in db_returns_buf_size()
646 set_state_expr(my_size_id, expr, alloc_estate_rl(rl)); in store_alloc()
H A Dsmatch_equiv.c218 right_sm = set_state_expr(SMATCH_EXTRA, right, alloc_estate_rl(rl)); in set_equiv()
H A Dsmatch_param_set.c128 set_state(my_id, buf, sym, alloc_estate_rl(rl)); in match_array_assignment()
H A Dsmatch_mtag.c165 return alloc_estate_rl(rl); in get_mtag_return()
H A Dsmatch_extra.h124 struct smatch_state *alloc_estate_rl(struct range_list *rl);
H A Dsmatch_container_of.c457 set_state_stree(stree, SMATCH_EXTRA, name, arg, alloc_estate_rl(rl)); in set_param_value()
H A Dsmatch_implied.c1118 set_extra_nomod_vsl(name, sym, vsl, NULL, alloc_estate_rl(rl)); in __implied_case_stree()