2 #include "smatch_extra.h"
4 __ALLOCATOR(struct expression
, "temporary expr", tmp_expression
);
6 static struct position
get_cur_pos(void)
8 static struct position pos
;
9 static struct position none
;
10 struct expression
*expr
;
11 struct statement
*stmt
;
13 expr
= last_ptr_list((struct ptr_list
*)big_expression_stack
);
14 stmt
= last_ptr_list((struct ptr_list
*)big_statement_stack
);
24 struct expression
*alloc_tmp_expression(struct position pos
, int type
)
26 struct expression
*expr
;
28 expr
= __alloc_tmp_expression(0);
29 expr
->smatch_flags
|= Fake
;
35 void free_tmp_expressions(void)
37 clear_tmp_expression_alloc();
40 struct expression
*zero_expr(void)
42 struct expression
*zero
;
44 zero
= alloc_tmp_expression(get_cur_pos(), EXPR_VALUE
);
46 zero
->ctype
= &int_ctype
;
50 struct expression
*value_expr(long long val
)
52 struct expression
*expr
;
57 expr
= alloc_tmp_expression(get_cur_pos(), EXPR_VALUE
);
59 expr
->ctype
= &llong_ctype
;
63 struct expression
*member_expression(struct expression
*deref
, int op
, struct ident
*member
)
65 struct expression
*expr
;
67 expr
= alloc_tmp_expression(deref
->pos
, EXPR_DEREF
);
70 expr
->member
= member
;
71 expr
->member_offset
= -1;
75 struct expression
*deref_expression(struct expression
*expr
)
77 struct expression
*preop
;
79 preop
= alloc_tmp_expression(expr
->pos
, EXPR_PREOP
);
85 struct expression
*assign_expression(struct expression
*left
, int op
, struct expression
*right
)
87 struct expression
*expr
;
89 /* FIXME: make this a tmp expression. */
90 expr
= alloc_expression(right
->pos
, EXPR_ASSIGNMENT
);
97 struct expression
*binop_expression(struct expression
*left
, int op
, struct expression
*right
)
99 struct expression
*expr
;
101 expr
= alloc_tmp_expression(right
->pos
, EXPR_BINOP
);
108 struct expression
*array_element_expression(struct expression
*array
, struct expression
*offset
)
110 struct expression
*expr
;
112 expr
= binop_expression(array
, '+', offset
);
113 return deref_expression(expr
);
116 struct expression
*symbol_expression(struct symbol
*sym
)
118 struct expression
*expr
;
120 expr
= alloc_tmp_expression(sym
->pos
, EXPR_SYMBOL
);
122 expr
->symbol_name
= sym
->ident
;
126 struct expression
*compare_expression(struct expression
*left
, int op
, struct expression
*right
)
128 struct expression
*expr
;
130 expr
= alloc_tmp_expression(get_cur_pos(), EXPR_COMPARE
);
137 struct expression
*gen_expression_from_key(struct expression
*arg
, const char *key
)
139 struct expression
*ret
;
140 struct token
*token
, *end
;
146 /* The idea is that we can parse either $0->foo or $->foo */
150 while (*p
>= '0' && *p
<= '9')
152 len
= snprintf(buf
, sizeof(buf
), "%s\n", p
);
153 alloc
= alloc_string(buf
);
155 token
= tokenize_buffer(alloc
, len
, &end
);
158 if (token_type(token
) != TOKEN_STREAMBEGIN
)
163 while (token_type(token
) == TOKEN_SPECIAL
&&
164 token
->special
== SPECIAL_DEREFERENCE
) {
166 if (token_type(token
) != TOKEN_IDENT
)
168 ret
= deref_expression(ret
);
169 ret
= member_expression(ret
, '*', token
->ident
);
173 if (token_type(token
) != TOKEN_STREAMEND
)
179 void expr_set_parent_expr(struct expression
*expr
, struct expression
*parent
)
183 if (parent
->smatch_flags
& Fake
)
186 expr
->parent
= (unsigned long)parent
| 0x1UL
;
189 void expr_set_parent_stmt(struct expression
*expr
, struct statement
*parent
)
193 expr
->parent
= (unsigned long)parent
;
196 struct expression
*expr_get_parent_expr(struct expression
*expr
)
200 if (!(expr
->parent
& 0x1UL
))
202 return (struct expression
*)(expr
->parent
& ~0x1UL
);
205 struct statement
*expr_get_parent_stmt(struct expression
*expr
)
209 if (expr
->parent
& 0x1UL
)
211 return (struct statement
*)expr
->parent
;