alloc_estate_whole
set_extra_mod(name, sym, left, alloc_estate_whole(left_type));
set_extra_expr_nomod(deref_expression(expr), alloc_estate_whole(type));
state = alloc_estate_whole(get_type(expr));
state = alloc_estate_whole(get_type(expr));
set_extra_expr_mod(expr->expr, alloc_estate_whole(type));
set_extra_expr_mod(arg->unop, alloc_estate_whole(get_type(arg->unop)));
set_state(SMATCH_EXTRA, tmp->var, tmp->sym, alloc_estate_whole(estate_type(state)));
return alloc_estate_whole(estate_type(sm->state));
set_extra_mod(tmp->name, tmp->sym, expr, alloc_estate_whole(estate_type(tmp->state)));
set_extra_expr_mod(tmp->unop, alloc_estate_whole(get_type(tmp->unop)));
struct smatch_state *alloc_estate_whole(struct symbol *type);
set_extra_expr_mod(expr->left, alloc_estate_whole(get_type(expr->left)));
set_extra_expr_mod(expr->left, alloc_estate_whole(get_type(expr->left)));
set_state(my_id, arg->ident->name, arg, alloc_estate_whole(get_real_base_type(arg)));
set_state_expr(my_id, edge_member, alloc_estate_whole(type));
set_state_expr(my_id, member, alloc_estate_whole(get_type(member)));
set_state_expr(my_id, expr, alloc_estate_whole(get_type(expr)));
set_state_expr(my_id, deref_expression(expr), alloc_estate_whole(&ulong_ctype));
set_state_expr(my_id, deref_expression(expr), alloc_estate_whole(&ulong_ctype));
set_state(my_id, buf, sym, alloc_estate_whole(type));
set_state_expr(my_id, expr->left, alloc_estate_whole(get_type(expr->left)));
return alloc_estate_whole(estate_type(sm->state));
return alloc_estate_whole(estate_type(sm->state));