Print this page
12724 update smatch to 0.6.1-rc1-il-5
Split |
Close |
Expand all |
Collapse all |
--- old/usr/src/tools/smatch/src/expression.h
+++ new/usr/src/tools/smatch/src/expression.h
1 1 #ifndef EXPRESSION_H
2 2 #define EXPRESSION_H
3 3 /*
4 4 * sparse/expression.h
5 5 *
6 6 * Copyright (C) 2003 Transmeta Corp.
7 7 * 2003 Linus Torvalds
8 8 *
9 9 * Permission is hereby granted, free of charge, to any person obtaining a copy
10 10 * of this software and associated documentation files (the "Software"), to deal
11 11 * in the Software without restriction, including without limitation the rights
12 12 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
13 13 * copies of the Software, and to permit persons to whom the Software is
14 14 * furnished to do so, subject to the following conditions:
15 15 *
16 16 * The above copyright notice and this permission notice shall be included in
17 17 * all copies or substantial portions of the Software.
18 18 *
19 19 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
20 20 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
21 21 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
22 22 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
23 23 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
24 24 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
25 25 * THE SOFTWARE.
26 26 *
27 27 * Declarations and helper functions for expression parsing.
28 28 */
29 29
30 30 #include "allocate.h"
31 31 #include "lib.h"
32 32 #include "symbol.h"
33 33
34 34 struct expression_list;
35 35
36 36 enum expression_type {
37 37 EXPR_VALUE = 1,
38 38 EXPR_STRING,
39 39 EXPR_SYMBOL,
40 40 EXPR_TYPE,
41 41 EXPR_BINOP,
42 42 EXPR_ASSIGNMENT,
43 43 EXPR_LOGICAL,
44 44 EXPR_DEREF,
45 45 EXPR_PREOP,
46 46 EXPR_POSTOP,
47 47 EXPR_CAST,
48 48 EXPR_FORCE_CAST,
49 49 EXPR_IMPLIED_CAST,
50 50 EXPR_SIZEOF,
51 51 EXPR_ALIGNOF,
52 52 EXPR_PTRSIZEOF,
53 53 EXPR_CONDITIONAL,
54 54 EXPR_SELECT, // a "safe" conditional expression
55 55 EXPR_STATEMENT,
56 56 EXPR_CALL,
57 57 EXPR_COMMA,
58 58 EXPR_COMPARE,
59 59 EXPR_LABEL,
60 60 EXPR_INITIALIZER, // initializer list
61 61 EXPR_IDENTIFIER, // identifier in initializer
62 62 EXPR_INDEX, // index in initializer
63 63 EXPR_POS, // position in initializer
64 64 EXPR_FVALUE,
65 65 EXPR_SLICE,
66 66 EXPR_OFFSETOF,
67 67 EXPR_ASM_OPERAND,
68 68 };
69 69
70 70
71 71 /*
72 72 * Flags for tracking the promotion of constness related attributes
73 73 * from subexpressions to their parents.
74 74 *
75 75 * The flags are not independent as one might imply another.
76 76 * The implications are as follows:
77 77 * - CEF_INT, CEF_ENUM and
78 78 * CEF_CHAR imply CEF_ICE.
79 79 *
80 80 * Use the CEF_*_SET_MASK and CEF_*_CLEAR_MASK
81 81 * helper macros defined below to set or clear one of these flags.
82 82 */
83 83 enum constexpr_flag {
84 84 CEF_NONE = 0,
85 85 /*
86 86 * A constant in the sense of [6.4.4]:
87 87 * - Integer constant [6.4.4.1]
88 88 * - Floating point constant [6.4.4.2]
89 89 * - Enumeration constant [6.4.4.3]
90 90 * - Character constant [6.4.4.4]
91 91 */
92 92 CEF_INT = (1 << 0),
93 93 CEF_FLOAT = (1 << 1),
94 94 CEF_ENUM = (1 << 2),
95 95 CEF_CHAR = (1 << 3),
96 96
97 97 /*
98 98 * A constant expression in the sense of [6.6]:
99 99 * - integer constant expression [6.6(6)]
100 100 * - arithmetic constant expression [6.6(8)]
101 101 * - address constant [6.6(9)]
102 102 */
103 103 CEF_ICE = (1 << 4),
104 104 CEF_ACE = (1 << 5),
105 105 CEF_ADDR = (1 << 6),
106 106
107 107 /* integer constant expression => arithmetic constant expression */
108 108 CEF_SET_ICE = (CEF_ICE | CEF_ACE),
109 109
110 110 /* integer constant => integer constant expression */
111 111 CEF_SET_INT = (CEF_INT | CEF_SET_ICE),
112 112
113 113 /* floating point constant => arithmetic constant expression */
114 114 CEF_SET_FLOAT = (CEF_FLOAT | CEF_ACE),
115 115
116 116 /* enumeration constant => integer constant expression */
117 117 CEF_SET_ENUM = (CEF_ENUM | CEF_SET_ICE),
118 118
119 119 /* character constant => integer constant expression */
120 120 CEF_SET_CHAR = (CEF_CHAR | CEF_SET_ICE),
121 121
122 122 /*
123 123 * Remove any "Constant" [6.4.4] flag, but retain the "constant
124 124 * expression" [6.6] flags.
125 125 */
126 126 CEF_CONST_MASK = (CEF_INT | CEF_FLOAT | CEF_CHAR),
↓ open down ↓ |
126 lines elided |
↑ open up ↑ |
127 127
128 128 /*
129 129 * not an integer constant expression => neither of integer,
130 130 * enumeration and character constant
131 131 */
132 132 CEF_CLR_ICE = (CEF_ICE | CEF_INT | CEF_ENUM | CEF_CHAR),
133 133 };
134 134
135 135 enum {
136 136 Handled = 1 << 0,
137 - Fake = 1 << 1,
138 -}; /* for expr->flags */
137 + Tmp = 1 << 1,
138 + Fake = 1 << 2,
139 +}; /* for expr->smatch_flags */
139 140
140 141 enum {
141 142 Taint_comma = 1,
142 143 }; /* for expr->taint */
143 144
144 145 struct expression {
145 146 enum expression_type type:8;
146 147 unsigned flags:8;
147 148 unsigned smatch_flags:16;
148 149 int op;
149 150 struct position pos;
150 151 struct symbol *ctype;
151 152 unsigned long parent;
152 153 union {
153 154 // EXPR_VALUE
154 155 struct {
155 156 unsigned long long value;
156 157 unsigned taint;
157 158 };
158 159
159 160 // EXPR_FVALUE
160 161 long double fvalue;
161 162
162 163 // EXPR_STRING
163 164 struct {
164 165 int wide;
165 166 struct string *string;
166 167 };
167 168
168 169 // EXPR_UNOP, EXPR_PREOP and EXPR_POSTOP
169 170 struct /* unop */ {
170 171 struct expression *unop;
171 172 unsigned long op_value;
172 173 };
173 174
174 175 // EXPR_SYMBOL, EXPR_TYPE
175 176 struct /* symbol_arg */ {
176 177 struct symbol *symbol;
177 178 struct ident *symbol_name;
178 179 };
179 180
180 181 // EXPR_STATEMENT
181 182 struct statement *statement;
182 183
183 184 // EXPR_BINOP, EXPR_COMMA, EXPR_COMPARE, EXPR_LOGICAL and EXPR_ASSIGNMENT
184 185 struct /* binop_arg */ {
185 186 struct expression *left, *right;
186 187 };
187 188 // EXPR_DEREF
188 189 struct /* deref_arg */ {
189 190 struct expression *deref;
190 191 struct ident *member;
191 192 int member_offset;
192 193 };
193 194 // EXPR_SLICE
194 195 struct /* slice */ {
195 196 struct expression *base;
196 197 unsigned r_bitpos, r_nrbits;
197 198 };
198 199 // EXPR_CAST, EXPR_FORCE_CAST, EXPR_IMPLIED_CAST,
199 200 // EXPR_SIZEOF, EXPR_ALIGNOF and EXPR_PTRSIZEOF
200 201 struct /* cast_arg */ {
201 202 struct symbol *cast_type;
202 203 struct expression *cast_expression;
203 204 };
204 205 // EXPR_CONDITIONAL
205 206 // EXPR_SELECT
206 207 struct /* conditional_expr */ {
207 208 struct expression *conditional, *cond_true, *cond_false;
208 209 };
209 210 // EXPR_CALL
210 211 struct /* call_expr */ {
211 212 struct expression *fn;
212 213 struct expression_list *args;
213 214 };
214 215 // EXPR_LABEL
215 216 struct /* label_expr */ {
216 217 struct symbol *label_symbol;
217 218 };
218 219 // EXPR_INITIALIZER
219 220 struct expression_list *expr_list;
220 221 // EXPR_IDENTIFIER
221 222 struct /* ident_expr */ {
222 223 int offset;
223 224 struct ident *expr_ident;
224 225 struct symbol *field;
225 226 struct expression *ident_expression;
226 227 };
227 228 // EXPR_INDEX
228 229 struct /* index_expr */ {
229 230 unsigned int idx_from, idx_to;
230 231 struct expression *idx_expression;
231 232 };
232 233 // EXPR_POS
233 234 struct /* initpos_expr */ {
234 235 unsigned int init_offset, init_nr;
235 236 struct expression *init_expr;
236 237 };
237 238 // EXPR_OFFSETOF
238 239 struct {
239 240 struct symbol *in;
240 241 struct expression *down;
241 242 union {
242 243 struct ident *ident;
243 244 struct expression *index;
244 245 };
245 246 };
246 247 // EXPR_ASM_OPERAND
247 248 struct {
248 249 struct ident *name;
249 250 struct expression *constraint;
250 251 struct expression *expr;
251 252 };
252 253 };
253 254 };
254 255
255 256 ///
256 257 // Constant expression values
257 258 // --------------------------
258 259
259 260 ///
260 261 // test if an expression evaluates to the constant ``0``.
261 262 // @return: ``1`` if @expr evaluate to ``0``,
262 263 // ``0`` otherwise.
263 264 int is_zero_constant(struct expression *expr);
264 265
265 266 ///
266 267 // test the compile time truth value of an expression
267 268 // @return:
268 269 // * ``-1`` if @expr is not constant,
269 270 // * ``0`` or ``1`` depending on the truth value of @expr.
270 271 int expr_truth_value(struct expression *expr);
271 272
272 273 long long get_expression_value(struct expression *);
273 274 long long const_expression_value(struct expression *);
274 275 long long get_expression_value_silent(struct expression *expr);
275 276
276 277 /* Expression parsing */
277 278 struct token *parse_expression(struct token *token, struct expression **tree);
278 279 struct token *conditional_expression(struct token *token, struct expression **tree);
279 280 struct token *primary_expression(struct token *token, struct expression **tree);
280 281 struct token *parens_expression(struct token *token, struct expression **expr, const char *where);
281 282 struct token *assignment_expression(struct token *token, struct expression **tree);
282 283
283 284 extern void evaluate_symbol_list(struct symbol_list *list);
284 285 extern struct symbol *evaluate_statement(struct statement *stmt);
285 286 extern struct symbol *evaluate_expression(struct expression *);
286 287 struct symbol *find_identifier(struct ident *ident, struct symbol_list *_list, int *offset);
287 288
288 289 extern int expand_symbol(struct symbol *);
289 290
290 291 static inline struct expression *alloc_expression(struct position pos, int type)
291 292 {
292 293 struct expression *expr = __alloc_expression(0);
293 294 expr->type = type;
294 295 expr->pos = pos;
295 296 expr->flags = CEF_NONE;
296 297 return expr;
297 298 }
298 299
299 300 static inline struct expression *alloc_const_expression(struct position pos, int value)
300 301 {
301 302 struct expression *expr = __alloc_expression(0);
302 303 expr->type = EXPR_VALUE;
303 304 expr->pos = pos;
304 305 expr->value = value;
305 306 expr->ctype = &int_ctype;
306 307 expr->flags = CEF_SET_INT;
307 308 return expr;
308 309 }
309 310
310 311 /* Type name parsing */
311 312 struct token *typename(struct token *, struct symbol **, int *);
312 313
313 314 static inline int lookup_type(struct token *token)
314 315 {
315 316 if (token->pos.type == TOKEN_IDENT) {
316 317 struct symbol *sym = lookup_symbol(token->ident, NS_SYMBOL | NS_TYPEDEF);
317 318 return sym && (sym->namespace & NS_TYPEDEF);
318 319 }
319 320 return 0;
320 321 }
321 322
322 323 /* Statement parsing */
323 324 struct statement *alloc_statement(struct position pos, int type);
324 325 struct token *initializer(struct expression **tree, struct token *token);
325 326 struct token *compound_statement(struct token *, struct statement *);
326 327
327 328 /* The preprocessor calls this 'constant_expression()' */
328 329 #define constant_expression(token,tree) conditional_expression(token, tree)
329 330
330 331 /* Cast folding of constant values.. */
331 332 void cast_value(struct expression *expr, struct symbol *newtype,
332 333 struct expression *old, struct symbol *oldtype);
333 334
334 335 #endif
↓ open down ↓ |
186 lines elided |
↑ open up ↑ |
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX