alloc_state_expr
struct smatch_state *alloc_state_expr(struct expression *expr);
set_state(my_id, name, sym, alloc_state_expr(right));
set_state(my_id, left_name, left_sym, alloc_state_expr(strip_expr(expr->right)));
set_state_expr(link_id, size, alloc_state_expr(pointer));
set_state_expr(link_id, arg, alloc_state_expr(pointer));
set_state_expr(link_id, size_expr, alloc_state_expr(array_expr));
set_state_expr(link_id, size_expr, alloc_state_expr(array_expr));
set_state_expr(link_id, offset->unop, alloc_state_expr(array));
set_state_expr(link_id, expr->left, alloc_state_expr(array));
set_state_expr(my_id, size, alloc_state_expr(
set_state_expr(my_id, constraint, alloc_state_expr(pointer));