Home
last modified time | relevance | path

Searched refs:alloc_estate_whole (Results 1 – 7 of 7) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_kernel_user_data.c225 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 Dsmatch_param_limit.c72 return alloc_estate_whole(estate_type(sm->state)); in unmatched_state()
H A Dsmatch_param_filter.c72 return alloc_estate_whole(estate_type(sm->state)); in unmatched_state()
H A Dsmatch_extra.c937 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 Dsmatch_estate.c374 struct smatch_state *alloc_estate_whole(struct symbol *type) in alloc_estate_whole() function
H A Dsmatch_extra.h125 struct smatch_state *alloc_estate_whole(struct symbol *type);
H A Dsmatch_function_hooks.c1014 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()