Searched refs:alloc_estate_whole (Results 1 – 7 of 7) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_kernel_user_data.c | 225 set_state_expr(my_id, edge_member, alloc_estate_whole(type)); in tag_inner_struct_members() 254 set_state_expr(my_id, member, alloc_estate_whole(get_type(member))); in tag_struct_members() 267 set_state_expr(my_id, expr, alloc_estate_whole(get_type(expr))); in tag_base_type() 283 set_state_expr(my_id, deref_expression(expr), alloc_estate_whole(&ulong_ctype)); in tag_as_user_data() 292 set_state_expr(my_id, deref_expression(expr), alloc_estate_whole(&ulong_ctype)); in tag_as_user_data() 496 set_state(my_id, buf, sym, alloc_estate_whole(type)); in set_points_to_user_data() 567 set_state_expr(my_id, expr->left, alloc_estate_whole(get_type(expr->left))); in handle_get_user() 1235 set_state(my_id, arg->ident->name, arg, alloc_estate_whole(get_real_base_type(arg))); in match_syscall_definition()
|
H A D | smatch_param_limit.c | 72 return alloc_estate_whole(estate_type(sm->state)); in unmatched_state()
|
H A D | smatch_param_filter.c | 72 return alloc_estate_whole(estate_type(sm->state)); in unmatched_state()
|
H A D | smatch_extra.c | 937 return alloc_estate_whole(estate_type(sm->state)); in unmatched_state() 959 set_extra_mod(tmp->name, tmp->sym, expr, alloc_estate_whole(estate_type(tmp->state))); in clear_the_pointed_at() 996 set_extra_expr_mod(tmp->unop, alloc_estate_whole(get_type(tmp->unop))); in match_function_call() 1227 set_extra_mod(name, sym, left, alloc_estate_whole(left_type)); in match_assign() 1288 set_extra_expr_nomod(deref_expression(expr), alloc_estate_whole(type)); in clear_pointed_at_state() 1303 state = alloc_estate_whole(get_type(expr)); in unop_expr() 1311 state = alloc_estate_whole(get_type(expr)); in unop_expr() 1332 set_extra_expr_mod(expr->expr, alloc_estate_whole(type)); in asm_expr() 2735 set_extra_expr_mod(arg->unop, alloc_estate_whole(get_type(arg->unop))); in match_lost_param() 2926 set_state(SMATCH_EXTRA, tmp->var, tmp->sym, alloc_estate_whole(estate_type(state))); in match_link_modify()
|
H A D | smatch_estate.c | 374 struct smatch_state *alloc_estate_whole(struct symbol *type) in alloc_estate_whole() function
|
H A D | smatch_extra.h | 125 struct smatch_state *alloc_estate_whole(struct symbol *type);
|
H A D | smatch_function_hooks.c | 1014 set_extra_expr_mod(expr->left, alloc_estate_whole(get_type(expr->left))); in db_return_states_assign() 1057 set_extra_expr_mod(expr->left, alloc_estate_whole(get_type(expr->left))); in match_assign_call()
|