6 * Copyright (C) 2003 Transmeta Corp.
9 * Permission is hereby granted, free of charge, to any person obtaining a copy
10 * of this software and associated documentation files (the "Software"), to deal
11 * in the Software without restriction, including without limitation the rights
12 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
13 * copies of the Software, and to permit persons to whom the Software is
14 * furnished to do so, subject to the following conditions:
16 * The above copyright notice and this permission notice shall be included in
17 * all copies or substantial portions of the Software.
19 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
20 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
21 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
22 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
23 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
24 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
27 * Declarations and helper functions for expression parsing.
34 struct expression_list
;
36 enum expression_type
{
54 EXPR_SELECT
, // a "safe" conditional expression
60 EXPR_INITIALIZER
, // initializer list
61 EXPR_IDENTIFIER
, // identifier in initializer
62 EXPR_INDEX
, // index in initializer
63 EXPR_POS
, // position in initializer
71 * Flags for tracking the promotion of constness related attributes
72 * from subexpressions to their parents.
74 * The flags are not independent as one might imply another.
75 * The implications are as follows:
76 * - CEF_INT, CEF_ENUM and
77 * CEF_CHAR imply CEF_ICE.
79 * Use the CEF_*_SET_MASK and CEF_*_CLEAR_MASK
80 * helper macros defined below to set or clear one of these flags.
85 * A constant in the sense of [6.4.4]:
86 * - Integer constant [6.4.4.1]
87 * - Floating point constant [6.4.4.2]
88 * - Enumeration constant [6.4.4.3]
89 * - Character constant [6.4.4.4]
97 * A constant expression in the sense of [6.6]:
98 * - integer constant expression [6.6(6)]
99 * - arithmetic constant expression [6.6(8)]
100 * - address constant [6.6(9)]
106 /* integer constant expression => arithmetic constant expression */
107 CEF_SET_ICE
= (CEF_ICE
| CEF_ACE
),
109 /* integer constant => integer constant expression */
110 CEF_SET_INT
= (CEF_INT
| CEF_SET_ICE
),
112 /* floating point constant => arithmetic constant expression */
113 CEF_SET_FLOAT
= (CEF_FLOAT
| CEF_ACE
),
115 /* enumeration constant => integer constant expression */
116 CEF_SET_ENUM
= (CEF_ENUM
| CEF_SET_ICE
),
118 /* character constant => integer constant expression */
119 CEF_SET_CHAR
= (CEF_CHAR
| CEF_SET_ICE
),
122 * Remove any "Constant" [6.4.4] flag, but retain the "constant
123 * expression" [6.6] flags.
125 CEF_CONST_MASK
= (CEF_INT
| CEF_FLOAT
| CEF_CHAR
),
128 * not an integer constant expression => neither of integer,
129 * enumeration and character constant
131 CEF_CLR_ICE
= (CEF_ICE
| CEF_INT
| CEF_ENUM
| CEF_CHAR
),
136 }; /* for expr->flags */
140 }; /* for expr->taint */
143 enum expression_type type
:8;
145 unsigned smatch_flags
:16;
148 struct symbol
*ctype
;
149 unsigned long parent
;
153 unsigned long long value
;
163 struct string
*string
;
166 // EXPR_UNOP, EXPR_PREOP and EXPR_POSTOP
168 struct expression
*unop
;
169 unsigned long op_value
;
172 // EXPR_SYMBOL, EXPR_TYPE
173 struct /* symbol_arg */ {
174 struct symbol
*symbol
;
175 struct ident
*symbol_name
;
179 struct statement
*statement
;
181 // EXPR_BINOP, EXPR_COMMA, EXPR_COMPARE, EXPR_LOGICAL and EXPR_ASSIGNMENT
182 struct /* binop_arg */ {
183 struct expression
*left
, *right
;
186 struct /* deref_arg */ {
187 struct expression
*deref
;
188 struct ident
*member
;
193 struct expression
*base
;
194 unsigned r_bitpos
, r_nrbits
;
196 // EXPR_CAST and EXPR_SIZEOF
197 struct /* cast_arg */ {
198 struct symbol
*cast_type
;
199 struct expression
*cast_expression
;
203 struct /* conditional_expr */ {
204 struct expression
*conditional
, *cond_true
, *cond_false
;
207 struct /* call_expr */ {
208 struct expression
*fn
;
209 struct expression_list
*args
;
212 struct /* label_expr */ {
213 struct symbol
*label_symbol
;
216 struct expression_list
*expr_list
;
218 struct /* ident_expr */ {
220 struct ident
*expr_ident
;
221 struct symbol
*field
;
222 struct expression
*ident_expression
;
225 struct /* index_expr */ {
226 unsigned int idx_from
, idx_to
;
227 struct expression
*idx_expression
;
230 struct /* initpos_expr */ {
231 unsigned int init_offset
, init_nr
;
232 struct expression
*init_expr
;
237 struct expression
*down
;
240 struct expression
*index
;
246 /* Constant expression values */
247 int is_zero_constant(struct expression
*);
248 int expr_truth_value(struct expression
*expr
);
249 long long get_expression_value(struct expression
*);
250 long long const_expression_value(struct expression
*);
251 long long get_expression_value_silent(struct expression
*expr
);
253 /* Expression parsing */
254 struct token
*parse_expression(struct token
*token
, struct expression
**tree
);
255 struct token
*conditional_expression(struct token
*token
, struct expression
**tree
);
256 struct token
*primary_expression(struct token
*token
, struct expression
**tree
);
257 struct token
*parens_expression(struct token
*token
, struct expression
**expr
, const char *where
);
258 struct token
*assignment_expression(struct token
*token
, struct expression
**tree
);
260 extern void evaluate_symbol_list(struct symbol_list
*list
);
261 extern struct symbol
*evaluate_statement(struct statement
*stmt
);
262 extern struct symbol
*evaluate_expression(struct expression
*);
264 extern int expand_symbol(struct symbol
*);
266 static inline struct expression
*alloc_expression(struct position pos
, int type
)
268 struct expression
*expr
= __alloc_expression(0);
271 expr
->flags
= CEF_NONE
;
275 static inline struct expression
*alloc_const_expression(struct position pos
, int value
)
277 struct expression
*expr
= __alloc_expression(0);
278 expr
->type
= EXPR_VALUE
;
281 expr
->ctype
= &int_ctype
;
282 expr
->flags
= CEF_SET_INT
;
286 /* Type name parsing */
287 struct token
*typename(struct token
*, struct symbol
**, int *);
289 static inline int lookup_type(struct token
*token
)
291 if (token
->pos
.type
== TOKEN_IDENT
) {
292 struct symbol
*sym
= lookup_symbol(token
->ident
, NS_SYMBOL
| NS_TYPEDEF
);
293 return sym
&& (sym
->namespace & NS_TYPEDEF
);
298 /* Statement parsing */
299 struct statement
*alloc_statement(struct position pos
, int type
);
300 struct token
*initializer(struct expression
**tree
, struct token
*token
);
301 struct token
*compound_statement(struct token
*, struct statement
*);
303 /* The preprocessor calls this 'constant_expression()' */
304 #define constant_expression(token,tree) conditional_expression(token, tree)
306 /* Cast folding of constant values.. */
307 void cast_value(struct expression
*expr
, struct symbol
*newtype
,
308 struct expression
*old
, struct symbol
*oldtype
);
310 static inline void expr_set_parent_expr(struct expression
*expr
, struct expression
*parent
)
314 expr
->parent
= (unsigned long)parent
| 0x1UL
;
317 static inline void expr_set_parent_stmt(struct expression
*expr
, struct statement
*parent
)
321 expr
->parent
= (unsigned long)parent
;
324 static inline struct expression
*expr_get_parent_expr(struct expression
*expr
)
328 if (!(expr
->parent
& 0x1UL
))
330 return (struct expression
*)(expr
->parent
& ~0x1UL
);
333 static inline struct statement
*expr_get_parent_stmt(struct expression
*expr
)
337 if (expr
->parent
& 0x1UL
)
339 return (struct statement
*)expr
->parent
;