gen_no_return_funcs: always keep the default no return functions
[smatch.git] / evaluate.c
blobf8343c26299f4e2a11fb8de4ef367150f0a7e036
1 /*
2 * sparse/evaluate.c
4 * Copyright (C) 2003 Transmeta Corp.
5 * 2003-2004 Linus Torvalds
7 * Licensed under the Open Software License version 1.1
9 * Evaluate constant expressions.
11 #include <stdlib.h>
12 #include <stdarg.h>
13 #include <stddef.h>
14 #include <stdio.h>
15 #include <string.h>
16 #include <ctype.h>
17 #include <unistd.h>
18 #include <fcntl.h>
19 #include <limits.h>
21 #include "lib.h"
22 #include "allocate.h"
23 #include "parse.h"
24 #include "token.h"
25 #include "symbol.h"
26 #include "target.h"
27 #include "expression.h"
29 struct symbol *current_fn;
31 static struct symbol *degenerate(struct expression *expr);
32 static struct symbol *evaluate_symbol(struct symbol *sym);
34 static struct symbol *evaluate_symbol_expression(struct expression *expr)
36 struct expression *addr;
37 struct symbol *sym = expr->symbol;
38 struct symbol *base_type;
40 if (!sym) {
41 expression_error(expr, "undefined identifier '%s'", show_ident(expr->symbol_name));
42 return NULL;
45 examine_symbol_type(sym);
47 base_type = get_base_type(sym);
48 if (!base_type) {
49 expression_error(expr, "identifier '%s' has no type", show_ident(expr->symbol_name));
50 return NULL;
53 addr = alloc_expression(expr->pos, EXPR_SYMBOL);
54 addr->symbol = sym;
55 addr->symbol_name = expr->symbol_name;
56 addr->ctype = &lazy_ptr_ctype; /* Lazy evaluation: we need to do a proper job if somebody does &sym */
57 expr->type = EXPR_PREOP;
58 expr->op = '*';
59 expr->unop = addr;
61 /* The type of a symbol is the symbol itself! */
62 expr->ctype = sym;
63 return sym;
66 static struct symbol *evaluate_string(struct expression *expr)
68 struct symbol *sym = alloc_symbol(expr->pos, SYM_NODE);
69 struct symbol *array = alloc_symbol(expr->pos, SYM_ARRAY);
70 struct expression *addr = alloc_expression(expr->pos, EXPR_SYMBOL);
71 struct expression *initstr = alloc_expression(expr->pos, EXPR_STRING);
72 unsigned int length = expr->string->length;
74 sym->array_size = alloc_const_expression(expr->pos, length);
75 sym->bit_size = bytes_to_bits(length);
76 sym->ctype.alignment = 1;
77 sym->string = 1;
78 sym->ctype.modifiers = MOD_STATIC;
79 sym->ctype.base_type = array;
80 sym->initializer = initstr;
82 initstr->ctype = sym;
83 initstr->string = expr->string;
85 array->array_size = sym->array_size;
86 array->bit_size = bytes_to_bits(length);
87 array->ctype.alignment = 1;
88 array->ctype.modifiers = MOD_STATIC;
89 array->ctype.base_type = &char_ctype;
91 addr->symbol = sym;
92 addr->ctype = &lazy_ptr_ctype;
94 expr->type = EXPR_PREOP;
95 expr->op = '*';
96 expr->unop = addr;
97 expr->ctype = sym;
98 return sym;
101 /* type has come from classify_type and is an integer type */
102 static inline struct symbol *integer_promotion(struct symbol *type)
104 struct symbol *orig_type = type;
105 unsigned long mod = type->ctype.modifiers;
106 int width = type->bit_size;
109 * Bitfields always promote to the base type,
110 * even if the bitfield might be bigger than
111 * an "int".
113 if (type->type == SYM_BITFIELD) {
114 type = type->ctype.base_type;
115 orig_type = type;
117 mod = type->ctype.modifiers;
118 if (width < bits_in_int)
119 return &int_ctype;
121 /* If char/short has as many bits as int, it still gets "promoted" */
122 if (mod & (MOD_CHAR | MOD_SHORT)) {
123 if (mod & MOD_UNSIGNED)
124 return &uint_ctype;
125 return &int_ctype;
127 return orig_type;
131 * integer part of usual arithmetic conversions:
132 * integer promotions are applied
133 * if left and right are identical, we are done
134 * if signedness is the same, convert one with lower rank
135 * unless unsigned argument has rank lower than signed one, convert the
136 * signed one.
137 * if signed argument is bigger than unsigned one, convert the unsigned.
138 * otherwise, convert signed.
140 * Leaving aside the integer promotions, that is equivalent to
141 * if identical, don't convert
142 * if left is bigger than right, convert right
143 * if right is bigger than left, convert right
144 * otherwise, if signedness is the same, convert one with lower rank
145 * otherwise convert the signed one.
147 static struct symbol *bigger_int_type(struct symbol *left, struct symbol *right)
149 unsigned long lmod, rmod;
151 left = integer_promotion(left);
152 right = integer_promotion(right);
154 if (left == right)
155 goto left;
157 if (left->bit_size > right->bit_size)
158 goto left;
160 if (right->bit_size > left->bit_size)
161 goto right;
163 lmod = left->ctype.modifiers;
164 rmod = right->ctype.modifiers;
165 if ((lmod ^ rmod) & MOD_UNSIGNED) {
166 if (lmod & MOD_UNSIGNED)
167 goto left;
168 } else if ((lmod & ~rmod) & (MOD_LONG_ALL))
169 goto left;
170 right:
171 left = right;
172 left:
173 return left;
176 static int same_cast_type(struct symbol *orig, struct symbol *new)
178 return orig->bit_size == new->bit_size && orig->bit_offset == new->bit_offset;
181 static struct symbol *base_type(struct symbol *node, unsigned long *modp, unsigned long *asp)
183 unsigned long mod, as;
185 mod = 0; as = 0;
186 while (node) {
187 mod |= node->ctype.modifiers;
188 as |= node->ctype.as;
189 if (node->type == SYM_NODE) {
190 node = node->ctype.base_type;
191 continue;
193 break;
195 *modp = mod & ~MOD_IGNORE;
196 *asp = as;
197 return node;
200 static int is_same_type(struct expression *expr, struct symbol *new)
202 struct symbol *old = expr->ctype;
203 unsigned long oldmod, newmod, oldas, newas;
205 old = base_type(old, &oldmod, &oldas);
206 new = base_type(new, &newmod, &newas);
208 /* Same base type, same address space? */
209 if (old == new && oldas == newas) {
210 unsigned long difmod;
212 /* Check the modifier bits. */
213 difmod = (oldmod ^ newmod) & ~MOD_NOCAST;
215 /* Exact same type? */
216 if (!difmod)
217 return 1;
220 * Not the same type, but differs only in "const".
221 * Don't warn about MOD_NOCAST.
223 if (difmod == MOD_CONST)
224 return 0;
226 if ((oldmod | newmod) & MOD_NOCAST) {
227 const char *tofrom = "to/from";
228 if (!(newmod & MOD_NOCAST))
229 tofrom = "from";
230 if (!(oldmod & MOD_NOCAST))
231 tofrom = "to";
232 warning(expr->pos, "implicit cast %s nocast type", tofrom);
234 return 0;
237 static void
238 warn_for_different_enum_types (struct position pos,
239 struct symbol *typea,
240 struct symbol *typeb)
242 if (!Wenum_mismatch)
243 return;
244 if (typea->type == SYM_NODE)
245 typea = typea->ctype.base_type;
246 if (typeb->type == SYM_NODE)
247 typeb = typeb->ctype.base_type;
249 if (typea == typeb)
250 return;
252 if (typea->type == SYM_ENUM && typeb->type == SYM_ENUM) {
253 warning(pos, "mixing different enum types");
254 info(pos, " %s versus", show_typename(typea));
255 info(pos, " %s", show_typename(typeb));
260 * This gets called for implicit casts in assignments and
261 * integer promotion. We often want to try to move the
262 * cast down, because the ops involved may have been
263 * implicitly cast up, and we can get rid of the casts
264 * early.
266 static struct expression * cast_to(struct expression *old, struct symbol *type)
268 struct expression *expr;
270 warn_for_different_enum_types (old->pos, old->ctype, type);
272 if (old->ctype != &null_ctype && is_same_type(old, type))
273 return old;
276 * See if we can simplify the op. Move the cast down.
278 switch (old->type) {
279 case EXPR_PREOP:
280 if (old->ctype->bit_size < type->bit_size)
281 break;
282 if (old->op == '~') {
283 old->ctype = type;
284 old->unop = cast_to(old->unop, type);
285 return old;
287 break;
289 case EXPR_IMPLIED_CAST:
290 warn_for_different_enum_types(old->pos, old->ctype, type);
292 if (old->ctype->bit_size >= type->bit_size) {
293 struct expression *orig = old->cast_expression;
294 if (same_cast_type(orig->ctype, type))
295 return orig;
296 if (old->ctype->bit_offset == type->bit_offset) {
297 old->ctype = type;
298 old->cast_type = type;
299 return old;
302 break;
304 default:
305 /* nothing */;
308 expr = alloc_expression(old->pos, EXPR_IMPLIED_CAST);
309 expr->flags = old->flags;
310 expr->ctype = type;
311 expr->cast_type = type;
312 expr->cast_expression = old;
313 return expr;
316 enum {
317 TYPE_NUM = 1,
318 TYPE_BITFIELD = 2,
319 TYPE_RESTRICT = 4,
320 TYPE_FLOAT = 8,
321 TYPE_PTR = 16,
322 TYPE_COMPOUND = 32,
323 TYPE_FOULED = 64,
324 TYPE_FN = 128,
327 static inline int classify_type(struct symbol *type, struct symbol **base)
329 static int type_class[SYM_BAD + 1] = {
330 [SYM_PTR] = TYPE_PTR,
331 [SYM_FN] = TYPE_PTR | TYPE_FN,
332 [SYM_ARRAY] = TYPE_PTR | TYPE_COMPOUND,
333 [SYM_STRUCT] = TYPE_COMPOUND,
334 [SYM_UNION] = TYPE_COMPOUND,
335 [SYM_BITFIELD] = TYPE_NUM | TYPE_BITFIELD,
336 [SYM_RESTRICT] = TYPE_NUM | TYPE_RESTRICT,
337 [SYM_FOULED] = TYPE_NUM | TYPE_RESTRICT | TYPE_FOULED,
339 if (type->type == SYM_NODE)
340 type = type->ctype.base_type;
341 if (type->type == SYM_TYPEOF) {
342 type = evaluate_expression(type->initializer);
343 if (!type)
344 type = &bad_ctype;
345 else if (type->type == SYM_NODE)
346 type = type->ctype.base_type;
348 if (type->type == SYM_ENUM)
349 type = type->ctype.base_type;
350 *base = type;
351 if (type->type == SYM_BASETYPE) {
352 if (type->ctype.base_type == &int_type)
353 return TYPE_NUM;
354 if (type->ctype.base_type == &fp_type)
355 return TYPE_NUM | TYPE_FLOAT;
357 return type_class[type->type];
360 #define is_int(class) ((class & (TYPE_NUM | TYPE_FLOAT)) == TYPE_NUM)
362 static inline int is_string_type(struct symbol *type)
364 if (type->type == SYM_NODE)
365 type = type->ctype.base_type;
366 return type->type == SYM_ARRAY && is_byte_type(type->ctype.base_type);
369 static struct symbol *bad_expr_type(struct expression *expr)
371 sparse_error(expr->pos, "incompatible types for operation (%s)", show_special(expr->op));
372 switch (expr->type) {
373 case EXPR_BINOP:
374 case EXPR_COMPARE:
375 info(expr->pos, " left side has type %s", show_typename(expr->left->ctype));
376 info(expr->pos, " right side has type %s", show_typename(expr->right->ctype));
377 break;
378 case EXPR_PREOP:
379 case EXPR_POSTOP:
380 info(expr->pos, " argument has type %s", show_typename(expr->unop->ctype));
381 break;
382 default:
383 break;
386 expr->flags = 0;
387 return expr->ctype = &bad_ctype;
390 static int restricted_value(struct expression *v, struct symbol *type)
392 if (v->type != EXPR_VALUE)
393 return 1;
394 if (v->value != 0)
395 return 1;
396 return 0;
399 static int restricted_binop(int op, struct symbol *type)
401 switch (op) {
402 case '&':
403 case '=':
404 case SPECIAL_AND_ASSIGN:
405 case SPECIAL_OR_ASSIGN:
406 case SPECIAL_XOR_ASSIGN:
407 return 1; /* unfoul */
408 case '|':
409 case '^':
410 case '?':
411 return 2; /* keep fouled */
412 case SPECIAL_EQUAL:
413 case SPECIAL_NOTEQUAL:
414 return 3; /* warn if fouled */
415 default:
416 return 0; /* warn */
420 static int restricted_unop(int op, struct symbol **type)
422 if (op == '~') {
423 if ((*type)->bit_size < bits_in_int)
424 *type = befoul(*type);
425 return 0;
426 } if (op == '+')
427 return 0;
428 return 1;
431 /* type should be SYM_FOULED */
432 static inline struct symbol *unfoul(struct symbol *type)
434 return type->ctype.base_type;
437 static struct symbol *restricted_binop_type(int op,
438 struct expression *left,
439 struct expression *right,
440 int lclass, int rclass,
441 struct symbol *ltype,
442 struct symbol *rtype)
444 struct symbol *ctype = NULL;
445 if (lclass & TYPE_RESTRICT) {
446 if (rclass & TYPE_RESTRICT) {
447 if (ltype == rtype) {
448 ctype = ltype;
449 } else if (lclass & TYPE_FOULED) {
450 if (unfoul(ltype) == rtype)
451 ctype = ltype;
452 } else if (rclass & TYPE_FOULED) {
453 if (unfoul(rtype) == ltype)
454 ctype = rtype;
456 } else {
457 if (!restricted_value(right, ltype))
458 ctype = ltype;
460 } else if (!restricted_value(left, rtype))
461 ctype = rtype;
463 if (ctype) {
464 switch (restricted_binop(op, ctype)) {
465 case 1:
466 if ((lclass ^ rclass) & TYPE_FOULED)
467 ctype = unfoul(ctype);
468 break;
469 case 3:
470 if (!(lclass & rclass & TYPE_FOULED))
471 break;
472 case 0:
473 ctype = NULL;
474 default:
475 break;
479 return ctype;
482 static inline void unrestrict(struct expression *expr,
483 int class, struct symbol **ctype)
485 if (class & TYPE_RESTRICT) {
486 if (class & TYPE_FOULED)
487 *ctype = unfoul(*ctype);
488 warning(expr->pos, "%s degrades to integer",
489 show_typename(*ctype));
490 *ctype = (*ctype)->ctype.base_type; /* get to arithmetic type */
494 static struct symbol *usual_conversions(int op,
495 struct expression *left,
496 struct expression *right,
497 int lclass, int rclass,
498 struct symbol *ltype,
499 struct symbol *rtype)
501 struct symbol *ctype;
503 warn_for_different_enum_types(right->pos, left->ctype, right->ctype);
505 if ((lclass | rclass) & TYPE_RESTRICT)
506 goto Restr;
508 Normal:
509 if (!(lclass & TYPE_FLOAT)) {
510 if (!(rclass & TYPE_FLOAT))
511 return bigger_int_type(ltype, rtype);
512 else
513 return rtype;
514 } else if (rclass & TYPE_FLOAT) {
515 unsigned long lmod = ltype->ctype.modifiers;
516 unsigned long rmod = rtype->ctype.modifiers;
517 if (rmod & ~lmod & (MOD_LONG_ALL))
518 return rtype;
519 else
520 return ltype;
521 } else
522 return ltype;
524 Restr:
525 ctype = restricted_binop_type(op, left, right,
526 lclass, rclass, ltype, rtype);
527 if (ctype)
528 return ctype;
530 unrestrict(left, lclass, &ltype);
531 unrestrict(right, rclass, &rtype);
533 goto Normal;
536 static inline int lvalue_expression(struct expression *expr)
538 return expr->type == EXPR_PREOP && expr->op == '*';
541 static struct symbol *evaluate_ptr_add(struct expression *expr, struct symbol *itype)
543 struct expression *index = expr->right;
544 struct symbol *ctype, *base;
545 int multiply;
547 classify_type(degenerate(expr->left), &ctype);
548 base = examine_pointer_target(ctype);
550 if (!base) {
551 expression_error(expr, "missing type information");
552 return NULL;
554 if (is_function(base)) {
555 expression_error(expr, "arithmetics on pointers to functions");
556 return NULL;
559 /* Get the size of whatever the pointer points to */
560 multiply = is_void_type(base) ? 1 : bits_to_bytes(base->bit_size);
562 if (ctype == &null_ctype)
563 ctype = &ptr_ctype;
564 expr->ctype = ctype;
566 if (multiply == 1 && itype->bit_size >= bits_in_pointer)
567 return ctype;
569 if (index->type == EXPR_VALUE) {
570 struct expression *val = alloc_expression(expr->pos, EXPR_VALUE);
571 unsigned long long v = index->value, mask;
572 mask = 1ULL << (itype->bit_size - 1);
573 if (v & mask)
574 v |= -mask;
575 else
576 v &= mask - 1;
577 v *= multiply;
578 mask = 1ULL << (bits_in_pointer - 1);
579 v &= mask | (mask - 1);
580 val->value = v;
581 val->ctype = ssize_t_ctype;
582 expr->right = val;
583 return ctype;
586 if (itype->bit_size < bits_in_pointer)
587 index = cast_to(index, ssize_t_ctype);
589 if (multiply > 1) {
590 struct expression *val = alloc_expression(expr->pos, EXPR_VALUE);
591 struct expression *mul = alloc_expression(expr->pos, EXPR_BINOP);
593 val->ctype = ssize_t_ctype;
594 val->value = multiply;
596 mul->op = '*';
597 mul->ctype = ssize_t_ctype;
598 mul->left = index;
599 mul->right = val;
600 index = mul;
603 expr->right = index;
604 return ctype;
607 static void examine_fn_arguments(struct symbol *fn);
609 #define MOD_IGN (MOD_VOLATILE | MOD_CONST)
611 const char *type_difference(struct ctype *c1, struct ctype *c2,
612 unsigned long mod1, unsigned long mod2)
614 unsigned long as1 = c1->as, as2 = c2->as;
615 struct symbol *t1 = c1->base_type;
616 struct symbol *t2 = c2->base_type;
617 int move1 = 1, move2 = 1;
618 mod1 |= c1->modifiers;
619 mod2 |= c2->modifiers;
620 for (;;) {
621 unsigned long diff;
622 int type;
623 struct symbol *base1 = t1->ctype.base_type;
624 struct symbol *base2 = t2->ctype.base_type;
627 * FIXME! Collect alignment and context too here!
629 if (move1) {
630 if (t1 && t1->type != SYM_PTR) {
631 mod1 |= t1->ctype.modifiers;
632 as1 |= t1->ctype.as;
634 move1 = 0;
637 if (move2) {
638 if (t2 && t2->type != SYM_PTR) {
639 mod2 |= t2->ctype.modifiers;
640 as2 |= t2->ctype.as;
642 move2 = 0;
645 if (t1 == t2)
646 break;
647 if (!t1 || !t2)
648 return "different types";
650 if (t1->type == SYM_NODE || t1->type == SYM_ENUM) {
651 t1 = base1;
652 move1 = 1;
653 if (!t1)
654 return "bad types";
655 continue;
658 if (t2->type == SYM_NODE || t2->type == SYM_ENUM) {
659 t2 = base2;
660 move2 = 1;
661 if (!t2)
662 return "bad types";
663 continue;
666 move1 = move2 = 1;
667 type = t1->type;
668 if (type != t2->type)
669 return "different base types";
671 switch (type) {
672 default:
673 sparse_error(t1->pos,
674 "internal error: bad type in derived(%d)",
675 type);
676 return "bad types";
677 case SYM_RESTRICT:
678 return "different base types";
679 case SYM_UNION:
680 case SYM_STRUCT:
681 /* allow definition of incomplete structs and unions */
682 if (t1->ident == t2->ident)
683 return NULL;
684 return "different base types";
685 case SYM_ARRAY:
686 /* XXX: we ought to compare sizes */
687 break;
688 case SYM_PTR:
689 if (as1 != as2)
690 return "different address spaces";
691 /* MOD_SPECIFIER is due to idiocy in parse.c */
692 if ((mod1 ^ mod2) & ~MOD_IGNORE & ~MOD_SPECIFIER)
693 return "different modifiers";
694 /* we could be lazier here */
695 base1 = examine_pointer_target(t1);
696 base2 = examine_pointer_target(t2);
697 mod1 = t1->ctype.modifiers;
698 as1 = t1->ctype.as;
699 mod2 = t2->ctype.modifiers;
700 as2 = t2->ctype.as;
701 break;
702 case SYM_FN: {
703 struct symbol *arg1, *arg2;
704 int i;
706 if (as1 != as2)
707 return "different address spaces";
708 if ((mod1 ^ mod2) & ~MOD_IGNORE & ~MOD_SIGNEDNESS)
709 return "different modifiers";
710 mod1 = t1->ctype.modifiers;
711 as1 = t1->ctype.as;
712 mod2 = t2->ctype.modifiers;
713 as2 = t2->ctype.as;
715 if (base1->variadic != base2->variadic)
716 return "incompatible variadic arguments";
717 examine_fn_arguments(t1);
718 examine_fn_arguments(t2);
719 PREPARE_PTR_LIST(t1->arguments, arg1);
720 PREPARE_PTR_LIST(t2->arguments, arg2);
721 i = 1;
722 for (;;) {
723 const char *diffstr;
724 if (!arg1 && !arg2)
725 break;
726 if (!arg1 || !arg2)
727 return "different argument counts";
728 diffstr = type_difference(&arg1->ctype,
729 &arg2->ctype,
730 MOD_IGN, MOD_IGN);
731 if (diffstr) {
732 static char argdiff[80];
733 sprintf(argdiff, "incompatible argument %d (%s)", i, diffstr);
734 return argdiff;
736 NEXT_PTR_LIST(arg1);
737 NEXT_PTR_LIST(arg2);
738 i++;
740 FINISH_PTR_LIST(arg2);
741 FINISH_PTR_LIST(arg1);
742 break;
744 case SYM_BASETYPE:
745 if (as1 != as2)
746 return "different address spaces";
747 if (base1 != base2)
748 return "different base types";
749 diff = (mod1 ^ mod2) & ~MOD_IGNORE;
750 if (!diff)
751 return NULL;
752 if (diff & MOD_SIZE)
753 return "different type sizes";
754 else if (diff & ~MOD_SIGNEDNESS)
755 return "different modifiers";
756 else
757 return "different signedness";
759 t1 = base1;
760 t2 = base2;
762 if (as1 != as2)
763 return "different address spaces";
764 if ((mod1 ^ mod2) & ~MOD_IGNORE & ~MOD_SIGNEDNESS)
765 return "different modifiers";
766 return NULL;
769 static void bad_null(struct expression *expr)
771 if (Wnon_pointer_null)
772 warning(expr->pos, "Using plain integer as NULL pointer");
775 static unsigned long target_qualifiers(struct symbol *type)
777 unsigned long mod = type->ctype.modifiers & MOD_IGN;
778 if (type->ctype.base_type && type->ctype.base_type->type == SYM_ARRAY)
779 mod = 0;
780 return mod;
783 static struct symbol *evaluate_ptr_sub(struct expression *expr)
785 const char *typediff;
786 struct symbol *ltype, *rtype;
787 struct expression *l = expr->left;
788 struct expression *r = expr->right;
789 struct symbol *lbase, *rbase;
791 classify_type(degenerate(l), &ltype);
792 classify_type(degenerate(r), &rtype);
794 lbase = examine_pointer_target(ltype);
795 rbase = examine_pointer_target(rtype);
796 typediff = type_difference(&ltype->ctype, &rtype->ctype,
797 target_qualifiers(rtype),
798 target_qualifiers(ltype));
799 if (typediff)
800 expression_error(expr, "subtraction of different types can't work (%s)", typediff);
802 if (is_function(lbase)) {
803 expression_error(expr, "subtraction of functions? Share your drugs");
804 return NULL;
807 expr->ctype = ssize_t_ctype;
808 if (lbase->bit_size > bits_in_char) {
809 struct expression *sub = alloc_expression(expr->pos, EXPR_BINOP);
810 struct expression *div = expr;
811 struct expression *val = alloc_expression(expr->pos, EXPR_VALUE);
812 unsigned long value = bits_to_bytes(lbase->bit_size);
814 val->ctype = size_t_ctype;
815 val->value = value;
817 if (value & (value-1)) {
818 if (Wptr_subtraction_blows)
819 warning(expr->pos, "potentially expensive pointer subtraction");
822 sub->op = '-';
823 sub->ctype = ssize_t_ctype;
824 sub->left = l;
825 sub->right = r;
827 div->op = '/';
828 div->left = sub;
829 div->right = val;
832 return ssize_t_ctype;
835 #define is_safe_type(type) ((type)->ctype.modifiers & MOD_SAFE)
837 static struct symbol *evaluate_conditional(struct expression *expr, int iterator)
839 struct symbol *ctype;
841 if (!expr)
842 return NULL;
844 if (!iterator && expr->type == EXPR_ASSIGNMENT && expr->op == '=')
845 warning(expr->pos, "assignment expression in conditional");
847 ctype = evaluate_expression(expr);
848 if (ctype) {
849 if (is_safe_type(ctype))
850 warning(expr->pos, "testing a 'safe expression'");
853 return ctype;
856 static struct symbol *evaluate_logical(struct expression *expr)
858 if (!evaluate_conditional(expr->left, 0))
859 return NULL;
860 if (!evaluate_conditional(expr->right, 0))
861 return NULL;
863 expr->ctype = &bool_ctype;
864 if (expr->flags) {
865 if (!(expr->left->flags & expr->right->flags & Int_const_expr))
866 expr->flags = 0;
868 return &bool_ctype;
871 static struct symbol *evaluate_binop(struct expression *expr)
873 struct symbol *ltype, *rtype, *ctype;
874 int lclass = classify_type(expr->left->ctype, &ltype);
875 int rclass = classify_type(expr->right->ctype, &rtype);
876 int op = expr->op;
878 if (expr->flags) {
879 if (!(expr->left->flags & expr->right->flags & Int_const_expr))
880 expr->flags = 0;
883 /* number op number */
884 if (lclass & rclass & TYPE_NUM) {
885 if ((lclass | rclass) & TYPE_FLOAT) {
886 switch (op) {
887 case '+': case '-': case '*': case '/':
888 break;
889 default:
890 return bad_expr_type(expr);
894 if (op == SPECIAL_LEFTSHIFT || op == SPECIAL_RIGHTSHIFT) {
895 // shifts do integer promotions, but that's it.
896 unrestrict(expr->left, lclass, &ltype);
897 unrestrict(expr->right, rclass, &rtype);
898 ctype = ltype = integer_promotion(ltype);
899 rtype = integer_promotion(rtype);
900 } else {
901 // The rest do usual conversions
902 const unsigned left_not = expr->left->type == EXPR_PREOP
903 && expr->left->op == '!';
904 const unsigned right_not = expr->right->type == EXPR_PREOP
905 && expr->right->op == '!';
906 if ((op == '&' || op == '|') && (left_not || right_not))
907 warning(expr->pos, "dubious: %sx %c %sy",
908 left_not ? "!" : "",
910 right_not ? "!" : "");
912 ltype = usual_conversions(op, expr->left, expr->right,
913 lclass, rclass, ltype, rtype);
914 ctype = rtype = ltype;
917 expr->left = cast_to(expr->left, ltype);
918 expr->right = cast_to(expr->right, rtype);
919 expr->ctype = ctype;
920 return ctype;
923 /* pointer (+|-) integer */
924 if (lclass & TYPE_PTR && is_int(rclass) && (op == '+' || op == '-')) {
925 unrestrict(expr->right, rclass, &rtype);
926 return evaluate_ptr_add(expr, rtype);
929 /* integer + pointer */
930 if (rclass & TYPE_PTR && is_int(lclass) && op == '+') {
931 struct expression *index = expr->left;
932 unrestrict(index, lclass, &ltype);
933 expr->left = expr->right;
934 expr->right = index;
935 return evaluate_ptr_add(expr, ltype);
938 /* pointer - pointer */
939 if (lclass & rclass & TYPE_PTR && expr->op == '-')
940 return evaluate_ptr_sub(expr);
942 return bad_expr_type(expr);
945 static struct symbol *evaluate_comma(struct expression *expr)
947 expr->ctype = degenerate(expr->right);
948 if (expr->ctype == &null_ctype)
949 expr->ctype = &ptr_ctype;
950 expr->flags &= expr->left->flags & expr->right->flags;
951 return expr->ctype;
954 static int modify_for_unsigned(int op)
956 if (op == '<')
957 op = SPECIAL_UNSIGNED_LT;
958 else if (op == '>')
959 op = SPECIAL_UNSIGNED_GT;
960 else if (op == SPECIAL_LTE)
961 op = SPECIAL_UNSIGNED_LTE;
962 else if (op == SPECIAL_GTE)
963 op = SPECIAL_UNSIGNED_GTE;
964 return op;
967 static inline int is_null_pointer_constant(struct expression *e)
969 if (e->ctype == &null_ctype)
970 return 1;
971 if (!(e->flags & Int_const_expr))
972 return 0;
973 return is_zero_constant(e) ? 2 : 0;
976 static struct symbol *evaluate_compare(struct expression *expr)
978 struct expression *left = expr->left, *right = expr->right;
979 struct symbol *ltype, *rtype, *lbase, *rbase;
980 int lclass = classify_type(degenerate(left), &ltype);
981 int rclass = classify_type(degenerate(right), &rtype);
982 struct symbol *ctype;
983 const char *typediff;
985 if (expr->flags) {
986 if (!(expr->left->flags & expr->right->flags & Int_const_expr))
987 expr->flags = 0;
990 /* Type types? */
991 if (is_type_type(ltype) && is_type_type(rtype))
992 goto OK;
994 if (is_safe_type(left->ctype) || is_safe_type(right->ctype))
995 warning(expr->pos, "testing a 'safe expression'");
997 /* number on number */
998 if (lclass & rclass & TYPE_NUM) {
999 ctype = usual_conversions(expr->op, expr->left, expr->right,
1000 lclass, rclass, ltype, rtype);
1001 expr->left = cast_to(expr->left, ctype);
1002 expr->right = cast_to(expr->right, ctype);
1003 if (ctype->ctype.modifiers & MOD_UNSIGNED)
1004 expr->op = modify_for_unsigned(expr->op);
1005 goto OK;
1008 /* at least one must be a pointer */
1009 if (!((lclass | rclass) & TYPE_PTR))
1010 return bad_expr_type(expr);
1012 /* equality comparisons can be with null pointer constants */
1013 if (expr->op == SPECIAL_EQUAL || expr->op == SPECIAL_NOTEQUAL) {
1014 int is_null1 = is_null_pointer_constant(left);
1015 int is_null2 = is_null_pointer_constant(right);
1016 if (is_null1 == 2)
1017 bad_null(left);
1018 if (is_null2 == 2)
1019 bad_null(right);
1020 if (is_null1 && is_null2) {
1021 int positive = expr->op == SPECIAL_EQUAL;
1022 expr->type = EXPR_VALUE;
1023 expr->value = positive;
1024 goto OK;
1026 if (is_null1 && (rclass & TYPE_PTR)) {
1027 left = cast_to(left, rtype);
1028 goto OK;
1030 if (is_null2 && (lclass & TYPE_PTR)) {
1031 right = cast_to(right, ltype);
1032 goto OK;
1035 /* both should be pointers */
1036 if (!(lclass & rclass & TYPE_PTR))
1037 return bad_expr_type(expr);
1038 expr->op = modify_for_unsigned(expr->op);
1040 lbase = examine_pointer_target(ltype);
1041 rbase = examine_pointer_target(rtype);
1043 /* they also have special treatment for pointers to void */
1044 if (expr->op == SPECIAL_EQUAL || expr->op == SPECIAL_NOTEQUAL) {
1045 if (ltype->ctype.as == rtype->ctype.as) {
1046 if (lbase == &void_ctype) {
1047 right = cast_to(right, ltype);
1048 goto OK;
1050 if (rbase == &void_ctype) {
1051 left = cast_to(left, rtype);
1052 goto OK;
1057 typediff = type_difference(&ltype->ctype, &rtype->ctype,
1058 target_qualifiers(rtype),
1059 target_qualifiers(ltype));
1060 if (!typediff)
1061 goto OK;
1063 expression_error(expr, "incompatible types in comparison expression (%s)", typediff);
1064 return NULL;
1067 expr->ctype = &bool_ctype;
1068 return &bool_ctype;
1072 * NOTE! The degenerate case of "x ? : y", where we don't
1073 * have a true case, this will possibly promote "x" to the
1074 * same type as "y", and thus _change_ the conditional
1075 * test in the expression. But since promotion is "safe"
1076 * for testing, that's OK.
1078 static struct symbol *evaluate_conditional_expression(struct expression *expr)
1080 struct expression **true;
1081 struct symbol *ctype, *ltype, *rtype, *lbase, *rbase;
1082 int lclass, rclass;
1083 const char * typediff;
1084 int qual;
1086 if (!evaluate_conditional(expr->conditional, 0))
1087 return NULL;
1088 if (!evaluate_expression(expr->cond_false))
1089 return NULL;
1091 ctype = degenerate(expr->conditional);
1092 rtype = degenerate(expr->cond_false);
1094 true = &expr->conditional;
1095 ltype = ctype;
1096 if (expr->cond_true) {
1097 if (!evaluate_expression(expr->cond_true))
1098 return NULL;
1099 ltype = degenerate(expr->cond_true);
1100 true = &expr->cond_true;
1103 if (expr->flags) {
1104 int flags = expr->conditional->flags & Int_const_expr;
1105 flags &= (*true)->flags & expr->cond_false->flags;
1106 if (!flags)
1107 expr->flags = 0;
1110 lclass = classify_type(ltype, &ltype);
1111 rclass = classify_type(rtype, &rtype);
1112 if (lclass & rclass & TYPE_NUM) {
1113 ctype = usual_conversions('?', *true, expr->cond_false,
1114 lclass, rclass, ltype, rtype);
1115 *true = cast_to(*true, ctype);
1116 expr->cond_false = cast_to(expr->cond_false, ctype);
1117 goto out;
1120 if ((lclass | rclass) & TYPE_PTR) {
1121 int is_null1 = is_null_pointer_constant(*true);
1122 int is_null2 = is_null_pointer_constant(expr->cond_false);
1124 if (is_null1 && is_null2) {
1125 *true = cast_to(*true, &ptr_ctype);
1126 expr->cond_false = cast_to(expr->cond_false, &ptr_ctype);
1127 ctype = &ptr_ctype;
1128 goto out;
1130 if (is_null1 && (rclass & TYPE_PTR)) {
1131 if (is_null1 == 2)
1132 bad_null(*true);
1133 *true = cast_to(*true, rtype);
1134 ctype = rtype;
1135 goto out;
1137 if (is_null2 && (lclass & TYPE_PTR)) {
1138 if (is_null2 == 2)
1139 bad_null(expr->cond_false);
1140 expr->cond_false = cast_to(expr->cond_false, ltype);
1141 ctype = ltype;
1142 goto out;
1144 if (!(lclass & rclass & TYPE_PTR)) {
1145 typediff = "different types";
1146 goto Err;
1148 /* OK, it's pointer on pointer */
1149 if (ltype->ctype.as != rtype->ctype.as) {
1150 typediff = "different address spaces";
1151 goto Err;
1154 /* need to be lazier here */
1155 lbase = examine_pointer_target(ltype);
1156 rbase = examine_pointer_target(rtype);
1157 qual = target_qualifiers(ltype) | target_qualifiers(rtype);
1159 if (lbase == &void_ctype) {
1160 /* XXX: pointers to function should warn here */
1161 ctype = ltype;
1162 goto Qual;
1165 if (rbase == &void_ctype) {
1166 /* XXX: pointers to function should warn here */
1167 ctype = rtype;
1168 goto Qual;
1170 /* XXX: that should be pointer to composite */
1171 ctype = ltype;
1172 typediff = type_difference(&ltype->ctype, &rtype->ctype,
1173 qual, qual);
1174 if (!typediff)
1175 goto Qual;
1176 goto Err;
1179 /* void on void, struct on same struct, union on same union */
1180 if (ltype == rtype) {
1181 ctype = ltype;
1182 goto out;
1184 typediff = "different base types";
1186 Err:
1187 expression_error(expr, "incompatible types in conditional expression (%s)", typediff);
1188 return NULL;
1190 out:
1191 expr->ctype = ctype;
1192 return ctype;
1194 Qual:
1195 if (qual & ~ctype->ctype.modifiers) {
1196 struct symbol *sym = alloc_symbol(ctype->pos, SYM_PTR);
1197 *sym = *ctype;
1198 sym->ctype.modifiers |= qual;
1199 ctype = sym;
1201 *true = cast_to(*true, ctype);
1202 expr->cond_false = cast_to(expr->cond_false, ctype);
1203 goto out;
1206 /* FP assignments can not do modulo or bit operations */
1207 static int compatible_float_op(int op)
1209 return op == SPECIAL_ADD_ASSIGN ||
1210 op == SPECIAL_SUB_ASSIGN ||
1211 op == SPECIAL_MUL_ASSIGN ||
1212 op == SPECIAL_DIV_ASSIGN;
1215 static int evaluate_assign_op(struct expression *expr)
1217 struct symbol *target = expr->left->ctype;
1218 struct symbol *source = expr->right->ctype;
1219 struct symbol *t, *s;
1220 int tclass = classify_type(target, &t);
1221 int sclass = classify_type(source, &s);
1222 int op = expr->op;
1224 if (tclass & sclass & TYPE_NUM) {
1225 if (tclass & TYPE_FLOAT && !compatible_float_op(op)) {
1226 expression_error(expr, "invalid assignment");
1227 return 0;
1229 if (tclass & TYPE_RESTRICT) {
1230 if (!restricted_binop(op, t)) {
1231 warning(expr->pos, "bad assignment (%s) to %s",
1232 show_special(op), show_typename(t));
1233 expr->right = cast_to(expr->right, target);
1234 return 0;
1236 /* allowed assignments unfoul */
1237 if (sclass & TYPE_FOULED && unfoul(s) == t)
1238 goto Cast;
1239 if (!restricted_value(expr->right, t))
1240 return 1;
1241 } else if (!(sclass & TYPE_RESTRICT))
1242 goto Cast;
1243 /* source and target would better be identical restricted */
1244 if (t == s)
1245 return 1;
1246 warning(expr->pos, "invalid assignment: %s", show_special(op));
1247 info(expr->pos, " left side has type %s", show_typename(t));
1248 info(expr->pos, " right side has type %s", show_typename(s));
1249 expr->right = cast_to(expr->right, target);
1250 return 0;
1252 if (tclass == TYPE_PTR && is_int(sclass)) {
1253 if (op == SPECIAL_ADD_ASSIGN || op == SPECIAL_SUB_ASSIGN) {
1254 unrestrict(expr->right, sclass, &s);
1255 evaluate_ptr_add(expr, s);
1256 return 1;
1258 expression_error(expr, "invalid pointer assignment");
1259 return 0;
1262 expression_error(expr, "invalid assignment");
1263 return 0;
1265 Cast:
1266 expr->right = cast_to(expr->right, target);
1267 return 1;
1270 static int whitelist_pointers(struct symbol *t1, struct symbol *t2)
1272 if (t1 == t2)
1273 return 0; /* yes, 0 - we don't want a cast_to here */
1274 if (t1 == &void_ctype)
1275 return 1;
1276 if (t2 == &void_ctype)
1277 return 1;
1278 if (classify_type(t1, &t1) != TYPE_NUM)
1279 return 0;
1280 if (classify_type(t2, &t2) != TYPE_NUM)
1281 return 0;
1282 if (t1 == t2)
1283 return 1;
1284 if (t1->ctype.modifiers & t2->ctype.modifiers & MOD_CHAR)
1285 return 1;
1286 if ((t1->ctype.modifiers ^ t2->ctype.modifiers) & MOD_SIZE)
1287 return 0;
1288 return !Wtypesign;
1291 static int compatible_assignment_types(struct expression *expr, struct symbol *target,
1292 struct expression **rp, const char *where)
1294 const char *typediff;
1295 struct symbol *source = degenerate(*rp);
1296 struct symbol *t, *s;
1297 int tclass = classify_type(target, &t);
1298 int sclass = classify_type(source, &s);
1300 if (tclass & sclass & TYPE_NUM) {
1301 if (tclass & TYPE_RESTRICT) {
1302 /* allowed assignments unfoul */
1303 if (sclass & TYPE_FOULED && unfoul(s) == t)
1304 goto Cast;
1305 if (!restricted_value(*rp, target))
1306 return 1;
1307 if (s == t)
1308 return 1;
1309 } else if (!(sclass & TYPE_RESTRICT))
1310 goto Cast;
1311 typediff = "different base types";
1312 goto Err;
1315 if (tclass == TYPE_PTR) {
1316 unsigned long mod1, mod2;
1317 struct symbol *b1, *b2;
1318 // NULL pointer is always OK
1319 int is_null = is_null_pointer_constant(*rp);
1320 if (is_null) {
1321 if (is_null == 2)
1322 bad_null(*rp);
1323 goto Cast;
1325 if (!(sclass & TYPE_PTR)) {
1326 typediff = "different base types";
1327 goto Err;
1329 b1 = examine_pointer_target(t);
1330 b2 = examine_pointer_target(s);
1331 mod1 = target_qualifiers(t);
1332 mod2 = target_qualifiers(s);
1333 if (whitelist_pointers(b1, b2)) {
1335 * assignments to/from void * are OK, provided that
1336 * we do not remove qualifiers from pointed to [C]
1337 * or mix address spaces [sparse].
1339 if (t->ctype.as != s->ctype.as) {
1340 typediff = "different address spaces";
1341 goto Err;
1343 if (mod2 & ~mod1) {
1344 typediff = "different modifiers";
1345 goto Err;
1347 goto Cast;
1349 /* It's OK if the target is more volatile or const than the source */
1350 typediff = type_difference(&t->ctype, &s->ctype, 0, mod1);
1351 if (typediff)
1352 goto Err;
1353 return 1;
1356 if ((tclass & TYPE_COMPOUND) && s == t)
1357 return 1;
1359 if (tclass & TYPE_NUM) {
1360 /* XXX: need to turn into comparison with NULL */
1361 if (t == &bool_ctype && (sclass & TYPE_PTR))
1362 goto Cast;
1363 typediff = "different base types";
1364 goto Err;
1366 typediff = "invalid types";
1368 Err:
1369 warning(expr->pos, "incorrect type in %s (%s)", where, typediff);
1370 info(expr->pos, " expected %s", show_typename(target));
1371 info(expr->pos, " got %s", show_typename(source));
1372 *rp = cast_to(*rp, target);
1373 return 0;
1374 Cast:
1375 *rp = cast_to(*rp, target);
1376 return 1;
1379 static void mark_assigned(struct expression *expr)
1381 struct symbol *sym;
1383 if (!expr)
1384 return;
1385 switch (expr->type) {
1386 case EXPR_SYMBOL:
1387 sym = expr->symbol;
1388 if (!sym)
1389 return;
1390 if (sym->type != SYM_NODE)
1391 return;
1392 sym->ctype.modifiers |= MOD_ASSIGNED;
1393 return;
1395 case EXPR_BINOP:
1396 mark_assigned(expr->left);
1397 mark_assigned(expr->right);
1398 return;
1399 case EXPR_CAST:
1400 case EXPR_FORCE_CAST:
1401 mark_assigned(expr->cast_expression);
1402 return;
1403 case EXPR_SLICE:
1404 mark_assigned(expr->base);
1405 return;
1406 default:
1407 /* Hmm? */
1408 return;
1412 static void evaluate_assign_to(struct expression *left, struct symbol *type)
1414 if (type->ctype.modifiers & MOD_CONST)
1415 expression_error(left, "assignment to const expression");
1417 /* We know left is an lvalue, so it's a "preop-*" */
1418 mark_assigned(left->unop);
1421 static struct symbol *evaluate_assignment(struct expression *expr)
1423 struct expression *left = expr->left;
1424 struct expression *where = expr;
1425 struct symbol *ltype;
1427 if (!lvalue_expression(left)) {
1428 expression_error(expr, "not an lvalue");
1429 return NULL;
1432 ltype = left->ctype;
1434 if (expr->op != '=') {
1435 if (!evaluate_assign_op(expr))
1436 return NULL;
1437 } else {
1438 if (!compatible_assignment_types(where, ltype, &expr->right, "assignment"))
1439 return NULL;
1442 evaluate_assign_to(left, ltype);
1444 expr->ctype = ltype;
1445 return ltype;
1448 static void examine_fn_arguments(struct symbol *fn)
1450 struct symbol *s;
1452 FOR_EACH_PTR(fn->arguments, s) {
1453 struct symbol *arg = evaluate_symbol(s);
1454 /* Array/function arguments silently degenerate into pointers */
1455 if (arg) {
1456 struct symbol *ptr;
1457 switch(arg->type) {
1458 case SYM_ARRAY:
1459 case SYM_FN:
1460 ptr = alloc_symbol(s->pos, SYM_PTR);
1461 if (arg->type == SYM_ARRAY)
1462 ptr->ctype = arg->ctype;
1463 else
1464 ptr->ctype.base_type = arg;
1465 ptr->ctype.as |= s->ctype.as;
1466 ptr->ctype.modifiers |= s->ctype.modifiers & MOD_PTRINHERIT;
1468 s->ctype.base_type = ptr;
1469 s->ctype.as = 0;
1470 s->ctype.modifiers &= ~MOD_PTRINHERIT;
1471 s->bit_size = 0;
1472 s->examined = 0;
1473 examine_symbol_type(s);
1474 break;
1475 default:
1476 /* nothing */
1477 break;
1480 } END_FOR_EACH_PTR(s);
1483 static struct symbol *convert_to_as_mod(struct symbol *sym, int as, int mod)
1485 /* Take the modifiers of the pointer, and apply them to the member */
1486 mod |= sym->ctype.modifiers;
1487 if (sym->ctype.as != as || sym->ctype.modifiers != mod) {
1488 struct symbol *newsym = alloc_symbol(sym->pos, SYM_NODE);
1489 *newsym = *sym;
1490 newsym->ctype.as = as;
1491 newsym->ctype.modifiers = mod;
1492 sym = newsym;
1494 return sym;
1497 static struct symbol *create_pointer(struct expression *expr, struct symbol *sym, int degenerate)
1499 struct symbol *node = alloc_symbol(expr->pos, SYM_NODE);
1500 struct symbol *ptr = alloc_symbol(expr->pos, SYM_PTR);
1502 node->ctype.base_type = ptr;
1503 ptr->bit_size = bits_in_pointer;
1504 ptr->ctype.alignment = pointer_alignment;
1506 node->bit_size = bits_in_pointer;
1507 node->ctype.alignment = pointer_alignment;
1509 access_symbol(sym);
1510 if (sym->ctype.modifiers & MOD_REGISTER) {
1511 warning(expr->pos, "taking address of 'register' variable '%s'", show_ident(sym->ident));
1512 sym->ctype.modifiers &= ~MOD_REGISTER;
1514 if (sym->type == SYM_NODE) {
1515 ptr->ctype.as |= sym->ctype.as;
1516 ptr->ctype.modifiers |= sym->ctype.modifiers & MOD_PTRINHERIT;
1517 sym = sym->ctype.base_type;
1519 if (degenerate && sym->type == SYM_ARRAY) {
1520 ptr->ctype.as |= sym->ctype.as;
1521 ptr->ctype.modifiers |= sym->ctype.modifiers & MOD_PTRINHERIT;
1522 sym = sym->ctype.base_type;
1524 ptr->ctype.base_type = sym;
1526 return node;
1529 /* Arrays degenerate into pointers on pointer arithmetic */
1530 static struct symbol *degenerate(struct expression *expr)
1532 struct symbol *ctype, *base;
1534 if (!expr)
1535 return NULL;
1536 ctype = expr->ctype;
1537 if (!ctype)
1538 return NULL;
1539 base = examine_symbol_type(ctype);
1540 if (ctype->type == SYM_NODE)
1541 base = ctype->ctype.base_type;
1543 * Arrays degenerate into pointers to the entries, while
1544 * functions degenerate into pointers to themselves.
1545 * If array was part of non-lvalue compound, we create a copy
1546 * of that compound first and then act as if we were dealing with
1547 * the corresponding field in there.
1549 switch (base->type) {
1550 case SYM_ARRAY:
1551 if (expr->type == EXPR_SLICE) {
1552 struct symbol *a = alloc_symbol(expr->pos, SYM_NODE);
1553 struct expression *e0, *e1, *e2, *e3, *e4;
1555 a->ctype.base_type = expr->base->ctype;
1556 a->bit_size = expr->base->ctype->bit_size;
1557 a->array_size = expr->base->ctype->array_size;
1559 e0 = alloc_expression(expr->pos, EXPR_SYMBOL);
1560 e0->symbol = a;
1561 e0->ctype = &lazy_ptr_ctype;
1563 e1 = alloc_expression(expr->pos, EXPR_PREOP);
1564 e1->unop = e0;
1565 e1->op = '*';
1566 e1->ctype = expr->base->ctype; /* XXX */
1568 e2 = alloc_expression(expr->pos, EXPR_ASSIGNMENT);
1569 e2->left = e1;
1570 e2->right = expr->base;
1571 e2->op = '=';
1572 e2->ctype = expr->base->ctype;
1574 if (expr->r_bitpos) {
1575 e3 = alloc_expression(expr->pos, EXPR_BINOP);
1576 e3->op = '+';
1577 e3->left = e0;
1578 e3->right = alloc_const_expression(expr->pos,
1579 bits_to_bytes(expr->r_bitpos));
1580 e3->ctype = &lazy_ptr_ctype;
1581 } else {
1582 e3 = e0;
1585 e4 = alloc_expression(expr->pos, EXPR_COMMA);
1586 e4->left = e2;
1587 e4->right = e3;
1588 e4->ctype = &lazy_ptr_ctype;
1590 expr->unop = e4;
1591 expr->type = EXPR_PREOP;
1592 expr->op = '*';
1594 case SYM_FN:
1595 if (expr->op != '*' || expr->type != EXPR_PREOP) {
1596 expression_error(expr, "strange non-value function or array");
1597 return &bad_ctype;
1599 *expr = *expr->unop;
1600 ctype = create_pointer(expr, ctype, 1);
1601 expr->ctype = ctype;
1602 default:
1603 /* nothing */;
1605 return ctype;
1608 static struct symbol *evaluate_addressof(struct expression *expr)
1610 struct expression *op = expr->unop;
1611 struct symbol *ctype;
1613 if (op->op != '*' || op->type != EXPR_PREOP) {
1614 expression_error(expr, "not addressable");
1615 return NULL;
1617 ctype = op->ctype;
1618 *expr = *op->unop;
1619 expr->flags = 0;
1621 if (expr->type == EXPR_SYMBOL) {
1622 struct symbol *sym = expr->symbol;
1623 sym->ctype.modifiers |= MOD_ADDRESSABLE;
1627 * symbol expression evaluation is lazy about the type
1628 * of the sub-expression, so we may have to generate
1629 * the type here if so..
1631 if (expr->ctype == &lazy_ptr_ctype) {
1632 ctype = create_pointer(expr, ctype, 0);
1633 expr->ctype = ctype;
1635 return expr->ctype;
1639 static struct symbol *evaluate_dereference(struct expression *expr)
1641 struct expression *op = expr->unop;
1642 struct symbol *ctype = op->ctype, *node, *target;
1644 /* Simplify: *&(expr) => (expr) */
1645 if (op->type == EXPR_PREOP && op->op == '&') {
1646 *expr = *op->unop;
1647 expr->flags = 0;
1648 return expr->ctype;
1651 /* Dereferencing a node drops all the node information. */
1652 if (ctype->type == SYM_NODE)
1653 ctype = ctype->ctype.base_type;
1655 node = alloc_symbol(expr->pos, SYM_NODE);
1656 target = ctype->ctype.base_type;
1658 switch (ctype->type) {
1659 default:
1660 expression_error(expr, "cannot dereference this type");
1661 return NULL;
1662 case SYM_PTR:
1663 node->ctype.modifiers = target->ctype.modifiers & MOD_SPECIFIER;
1664 merge_type(node, ctype);
1665 break;
1667 case SYM_ARRAY:
1668 if (!lvalue_expression(op)) {
1669 expression_error(op, "non-lvalue array??");
1670 return NULL;
1673 /* Do the implied "addressof" on the array */
1674 *op = *op->unop;
1677 * When an array is dereferenced, we need to pick
1678 * up the attributes of the original node too..
1680 merge_type(node, op->ctype);
1681 merge_type(node, ctype);
1682 break;
1685 node->bit_size = target->bit_size;
1686 node->array_size = target->array_size;
1688 expr->ctype = node;
1689 return node;
1693 * Unary post-ops: x++ and x--
1695 static struct symbol *evaluate_postop(struct expression *expr)
1697 struct expression *op = expr->unop;
1698 struct symbol *ctype = op->ctype;
1699 int class = classify_type(op->ctype, &ctype);
1700 int multiply = 0;
1702 if (!lvalue_expression(expr->unop)) {
1703 expression_error(expr, "need lvalue expression for ++/--");
1704 return NULL;
1707 if ((class & TYPE_RESTRICT) && restricted_unop(expr->op, &ctype))
1708 return bad_expr_type(expr);
1710 if (class & TYPE_NUM) {
1711 multiply = 1;
1712 } else if (class == TYPE_PTR) {
1713 struct symbol *target = examine_pointer_target(ctype);
1714 if (!is_function(target))
1715 multiply = bits_to_bytes(target->bit_size);
1718 if (multiply) {
1719 evaluate_assign_to(op, op->ctype);
1720 expr->op_value = multiply;
1721 expr->ctype = ctype;
1722 return ctype;
1725 expression_error(expr, "bad argument type for ++/--");
1726 return NULL;
1729 static struct symbol *evaluate_sign(struct expression *expr)
1731 struct symbol *ctype = expr->unop->ctype;
1732 int class = classify_type(ctype, &ctype);
1733 if (expr->flags && !(expr->unop->flags & Int_const_expr))
1734 expr->flags = 0;
1735 /* should be an arithmetic type */
1736 if (!(class & TYPE_NUM))
1737 return bad_expr_type(expr);
1738 if (!(class & (TYPE_FLOAT|TYPE_RESTRICT))) {
1739 struct symbol *rtype = integer_promotion(ctype);
1740 expr->unop = cast_to(expr->unop, rtype);
1741 ctype = rtype;
1742 } else if ((class & TYPE_FLOAT) && expr->op != '~') {
1743 /* no conversions needed */
1744 } else if ((class & TYPE_RESTRICT) && !restricted_unop(expr->op, &ctype)) {
1745 /* no conversions needed */
1746 } else {
1747 return bad_expr_type(expr);
1749 if (expr->op == '+')
1750 *expr = *expr->unop;
1751 expr->ctype = ctype;
1752 return ctype;
1755 static struct symbol *evaluate_preop(struct expression *expr)
1757 struct symbol *ctype = expr->unop->ctype;
1759 switch (expr->op) {
1760 case '(':
1761 *expr = *expr->unop;
1762 return ctype;
1764 case '+':
1765 case '-':
1766 case '~':
1767 return evaluate_sign(expr);
1769 case '*':
1770 return evaluate_dereference(expr);
1772 case '&':
1773 return evaluate_addressof(expr);
1775 case SPECIAL_INCREMENT:
1776 case SPECIAL_DECREMENT:
1778 * From a type evaluation standpoint the preops are
1779 * the same as the postops
1781 return evaluate_postop(expr);
1783 case '!':
1784 if (expr->flags && !(expr->unop->flags & Int_const_expr))
1785 expr->flags = 0;
1786 if (is_safe_type(ctype))
1787 warning(expr->pos, "testing a 'safe expression'");
1788 if (is_float_type(ctype)) {
1789 struct expression *arg = expr->unop;
1790 expr->type = EXPR_BINOP;
1791 expr->op = SPECIAL_EQUAL;
1792 expr->left = arg;
1793 expr->right = alloc_expression(expr->pos, EXPR_FVALUE);
1794 expr->right->ctype = ctype;
1795 expr->right->fvalue = 0;
1796 } else if (is_fouled_type(ctype)) {
1797 warning(expr->pos, "%s degrades to integer",
1798 show_typename(ctype->ctype.base_type));
1800 ctype = &bool_ctype;
1801 break;
1803 default:
1804 break;
1806 expr->ctype = ctype;
1807 return &bool_ctype;
1810 static struct symbol *find_identifier(struct ident *ident, struct symbol_list *_list, int *offset)
1812 struct ptr_list *head = (struct ptr_list *)_list;
1813 struct ptr_list *list = head;
1815 if (!head)
1816 return NULL;
1817 do {
1818 int i;
1819 for (i = 0; i < list->nr; i++) {
1820 struct symbol *sym = (struct symbol *) list->list[i];
1821 if (sym->ident) {
1822 if (sym->ident != ident)
1823 continue;
1824 *offset = sym->offset;
1825 return sym;
1826 } else {
1827 struct symbol *ctype = sym->ctype.base_type;
1828 struct symbol *sub;
1829 if (!ctype)
1830 continue;
1831 if (ctype->type != SYM_UNION && ctype->type != SYM_STRUCT)
1832 continue;
1833 sub = find_identifier(ident, ctype->symbol_list, offset);
1834 if (!sub)
1835 continue;
1836 *offset += sym->offset;
1837 return sub;
1840 } while ((list = list->next) != head);
1841 return NULL;
1844 static struct expression *evaluate_offset(struct expression *expr, unsigned long offset)
1846 struct expression *add;
1849 * Create a new add-expression
1851 * NOTE! Even if we just add zero, we need a new node
1852 * for the member pointer, since it has a different
1853 * type than the original pointer. We could make that
1854 * be just a cast, but the fact is, a node is a node,
1855 * so we might as well just do the "add zero" here.
1857 add = alloc_expression(expr->pos, EXPR_BINOP);
1858 add->op = '+';
1859 add->left = expr;
1860 add->right = alloc_expression(expr->pos, EXPR_VALUE);
1861 add->right->ctype = &int_ctype;
1862 add->right->value = offset;
1865 * The ctype of the pointer will be lazily evaluated if
1866 * we ever take the address of this member dereference..
1868 add->ctype = &lazy_ptr_ctype;
1869 return add;
1872 /* structure/union dereference */
1873 static struct symbol *evaluate_member_dereference(struct expression *expr)
1875 int offset;
1876 struct symbol *ctype, *member;
1877 struct expression *deref = expr->deref, *add;
1878 struct ident *ident = expr->member;
1879 unsigned int mod;
1880 int address_space;
1882 if (!evaluate_expression(deref))
1883 return NULL;
1884 if (!ident) {
1885 expression_error(expr, "bad member name");
1886 return NULL;
1889 ctype = deref->ctype;
1890 examine_symbol_type(ctype);
1891 address_space = ctype->ctype.as;
1892 mod = ctype->ctype.modifiers;
1893 if (ctype->type == SYM_NODE) {
1894 ctype = ctype->ctype.base_type;
1895 address_space |= ctype->ctype.as;
1896 mod |= ctype->ctype.modifiers;
1898 if (!ctype || (ctype->type != SYM_STRUCT && ctype->type != SYM_UNION)) {
1899 expression_error(expr, "expected structure or union");
1900 return NULL;
1902 offset = 0;
1903 member = find_identifier(ident, ctype->symbol_list, &offset);
1904 if (!member) {
1905 const char *type = ctype->type == SYM_STRUCT ? "struct" : "union";
1906 const char *name = "<unnamed>";
1907 int namelen = 9;
1908 if (ctype->ident) {
1909 name = ctype->ident->name;
1910 namelen = ctype->ident->len;
1912 if (ctype->symbol_list)
1913 expression_error(expr, "no member '%s' in %s %.*s",
1914 show_ident(ident), type, namelen, name);
1915 else
1916 expression_error(expr, "using member '%s' in "
1917 "incomplete %s %.*s", show_ident(ident),
1918 type, namelen, name);
1919 return NULL;
1923 * The member needs to take on the address space and modifiers of
1924 * the "parent" type.
1926 member = convert_to_as_mod(member, address_space, mod);
1927 ctype = get_base_type(member);
1929 if (!lvalue_expression(deref)) {
1930 if (deref->type != EXPR_SLICE) {
1931 expr->base = deref;
1932 expr->r_bitpos = 0;
1933 } else {
1934 expr->base = deref->base;
1935 expr->r_bitpos = deref->r_bitpos;
1937 expr->r_bitpos += bytes_to_bits(offset);
1938 expr->type = EXPR_SLICE;
1939 expr->r_nrbits = member->bit_size;
1940 expr->r_bitpos += member->bit_offset;
1941 expr->ctype = member;
1942 return member;
1945 deref = deref->unop;
1946 expr->deref = deref;
1948 add = evaluate_offset(deref, offset);
1949 expr->type = EXPR_PREOP;
1950 expr->op = '*';
1951 expr->unop = add;
1953 expr->ctype = member;
1954 return member;
1957 static int is_promoted(struct expression *expr)
1959 while (1) {
1960 switch (expr->type) {
1961 case EXPR_BINOP:
1962 case EXPR_SELECT:
1963 case EXPR_CONDITIONAL:
1964 return 1;
1965 case EXPR_COMMA:
1966 expr = expr->right;
1967 continue;
1968 case EXPR_PREOP:
1969 switch (expr->op) {
1970 case '(':
1971 expr = expr->unop;
1972 continue;
1973 case '+':
1974 case '-':
1975 case '~':
1976 return 1;
1977 default:
1978 return 0;
1980 default:
1981 return 0;
1987 static struct symbol *evaluate_cast(struct expression *);
1989 static struct symbol *evaluate_type_information(struct expression *expr)
1991 struct symbol *sym = expr->cast_type;
1992 if (!sym) {
1993 sym = evaluate_expression(expr->cast_expression);
1994 if (!sym)
1995 return NULL;
1997 * Expressions of restricted types will possibly get
1998 * promoted - check that here
2000 if (is_restricted_type(sym)) {
2001 if (sym->bit_size < bits_in_int && is_promoted(expr))
2002 sym = &int_ctype;
2003 } else if (is_fouled_type(sym)) {
2004 sym = &int_ctype;
2007 examine_symbol_type(sym);
2008 if (is_bitfield_type(sym)) {
2009 expression_error(expr, "trying to examine bitfield type");
2010 return NULL;
2012 return sym;
2015 static struct symbol *evaluate_sizeof(struct expression *expr)
2017 struct symbol *type;
2018 int size;
2020 type = evaluate_type_information(expr);
2021 if (!type)
2022 return NULL;
2024 size = type->bit_size;
2026 if (size < 0 && is_void_type(type)) {
2027 warning(expr->pos, "expression using sizeof(void)");
2028 size = bits_in_char;
2031 if (is_function(type->ctype.base_type)) {
2032 warning(expr->pos, "expression using sizeof on a function");
2033 size = bits_in_char;
2036 if ((size < 0) || (size & (bits_in_char - 1)))
2037 expression_error(expr, "cannot size expression");
2039 expr->type = EXPR_VALUE;
2040 expr->value = bits_to_bytes(size);
2041 expr->taint = 0;
2042 expr->ctype = size_t_ctype;
2043 return size_t_ctype;
2046 static struct symbol *evaluate_ptrsizeof(struct expression *expr)
2048 struct symbol *type;
2049 int size;
2051 type = evaluate_type_information(expr);
2052 if (!type)
2053 return NULL;
2055 if (type->type == SYM_NODE)
2056 type = type->ctype.base_type;
2057 if (!type)
2058 return NULL;
2059 switch (type->type) {
2060 case SYM_ARRAY:
2061 break;
2062 case SYM_PTR:
2063 type = get_base_type(type);
2064 if (type)
2065 break;
2066 default:
2067 expression_error(expr, "expected pointer expression");
2068 return NULL;
2070 size = type->bit_size;
2071 if (size & (bits_in_char-1))
2072 size = 0;
2073 expr->type = EXPR_VALUE;
2074 expr->value = bits_to_bytes(size);
2075 expr->taint = 0;
2076 expr->ctype = size_t_ctype;
2077 return size_t_ctype;
2080 static struct symbol *evaluate_alignof(struct expression *expr)
2082 struct symbol *type;
2084 type = evaluate_type_information(expr);
2085 if (!type)
2086 return NULL;
2088 expr->type = EXPR_VALUE;
2089 expr->value = type->ctype.alignment;
2090 expr->taint = 0;
2091 expr->ctype = size_t_ctype;
2092 return size_t_ctype;
2095 static int evaluate_arguments(struct symbol *f, struct symbol *fn, struct expression_list *head)
2097 struct expression *expr;
2098 struct symbol_list *argument_types = fn->arguments;
2099 struct symbol *argtype;
2100 int i = 1;
2102 PREPARE_PTR_LIST(argument_types, argtype);
2103 FOR_EACH_PTR (head, expr) {
2104 struct expression **p = THIS_ADDRESS(expr);
2105 struct symbol *ctype, *target;
2106 ctype = evaluate_expression(expr);
2108 if (!ctype)
2109 return 0;
2111 target = argtype;
2112 if (!target) {
2113 struct symbol *type;
2114 int class = classify_type(ctype, &type);
2115 if (is_int(class)) {
2116 *p = cast_to(expr, integer_promotion(type));
2117 } else if (class & TYPE_FLOAT) {
2118 unsigned long mod = type->ctype.modifiers;
2119 if (!(mod & (MOD_LONG_ALL)))
2120 *p = cast_to(expr, &double_ctype);
2121 } else if (class & TYPE_PTR) {
2122 if (expr->ctype == &null_ctype)
2123 *p = cast_to(expr, &ptr_ctype);
2124 else
2125 degenerate(expr);
2127 } else {
2128 static char where[30];
2129 examine_symbol_type(target);
2130 sprintf(where, "argument %d", i);
2131 compatible_assignment_types(expr, target, p, where);
2134 i++;
2135 NEXT_PTR_LIST(argtype);
2136 } END_FOR_EACH_PTR(expr);
2137 FINISH_PTR_LIST(argtype);
2138 return 1;
2141 static struct symbol *find_struct_ident(struct symbol *ctype, struct ident *ident)
2143 struct symbol *sym;
2145 FOR_EACH_PTR(ctype->symbol_list, sym) {
2146 if (sym->ident == ident)
2147 return sym;
2148 } END_FOR_EACH_PTR(sym);
2149 return NULL;
2152 static void convert_index(struct expression *e)
2154 struct expression *child = e->idx_expression;
2155 unsigned from = e->idx_from;
2156 unsigned to = e->idx_to + 1;
2157 e->type = EXPR_POS;
2158 e->init_offset = from * bits_to_bytes(e->ctype->bit_size);
2159 e->init_nr = to - from;
2160 e->init_expr = child;
2163 static void convert_ident(struct expression *e)
2165 struct expression *child = e->ident_expression;
2166 struct symbol *sym = e->field;
2167 e->type = EXPR_POS;
2168 e->init_offset = sym->offset;
2169 e->init_nr = 1;
2170 e->init_expr = child;
2173 static void convert_designators(struct expression *e)
2175 while (e) {
2176 if (e->type == EXPR_INDEX)
2177 convert_index(e);
2178 else if (e->type == EXPR_IDENTIFIER)
2179 convert_ident(e);
2180 else
2181 break;
2182 e = e->init_expr;
2186 static void excess(struct expression *e, const char *s)
2188 warning(e->pos, "excessive elements in %s initializer", s);
2192 * implicit designator for the first element
2194 static struct expression *first_subobject(struct symbol *ctype, int class,
2195 struct expression **v)
2197 struct expression *e = *v, *new;
2199 if (ctype->type == SYM_NODE)
2200 ctype = ctype->ctype.base_type;
2202 if (class & TYPE_PTR) { /* array */
2203 if (!ctype->bit_size)
2204 return NULL;
2205 new = alloc_expression(e->pos, EXPR_INDEX);
2206 new->idx_expression = e;
2207 new->ctype = ctype->ctype.base_type;
2208 } else {
2209 struct symbol *field, *p;
2210 PREPARE_PTR_LIST(ctype->symbol_list, p);
2211 while (p && !p->ident && is_bitfield_type(p))
2212 NEXT_PTR_LIST(p);
2213 field = p;
2214 FINISH_PTR_LIST(p);
2215 if (!field)
2216 return NULL;
2217 new = alloc_expression(e->pos, EXPR_IDENTIFIER);
2218 new->ident_expression = e;
2219 new->field = new->ctype = field;
2221 *v = new;
2222 return new;
2226 * sanity-check explicit designators; return the innermost one or NULL
2227 * in case of error. Assign types.
2229 static struct expression *check_designators(struct expression *e,
2230 struct symbol *ctype)
2232 struct expression *last = NULL;
2233 const char *err;
2234 while (1) {
2235 if (ctype->type == SYM_NODE)
2236 ctype = ctype->ctype.base_type;
2237 if (e->type == EXPR_INDEX) {
2238 struct symbol *type;
2239 if (ctype->type != SYM_ARRAY) {
2240 err = "array index in non-array";
2241 break;
2243 type = ctype->ctype.base_type;
2244 if (ctype->bit_size >= 0 && type->bit_size >= 0) {
2245 unsigned offset = e->idx_to * type->bit_size;
2246 if (offset >= ctype->bit_size) {
2247 err = "index out of bounds in";
2248 break;
2251 e->ctype = ctype = type;
2252 ctype = type;
2253 last = e;
2254 if (!e->idx_expression) {
2255 err = "invalid";
2256 break;
2258 e = e->idx_expression;
2259 } else if (e->type == EXPR_IDENTIFIER) {
2260 if (ctype->type != SYM_STRUCT && ctype->type != SYM_UNION) {
2261 err = "field name not in struct or union";
2262 break;
2264 ctype = find_struct_ident(ctype, e->expr_ident);
2265 if (!ctype) {
2266 err = "unknown field name in";
2267 break;
2269 e->field = e->ctype = ctype;
2270 last = e;
2271 if (!e->ident_expression) {
2272 err = "invalid";
2273 break;
2275 e = e->ident_expression;
2276 } else if (e->type == EXPR_POS) {
2277 err = "internal front-end error: EXPR_POS in";
2278 break;
2279 } else
2280 return last;
2282 expression_error(e, "%s initializer", err);
2283 return NULL;
2287 * choose the next subobject to initialize.
2289 * Get designators for next element, switch old ones to EXPR_POS.
2290 * Return the resulting expression or NULL if we'd run out of subobjects.
2291 * The innermost designator is returned in *v. Designators in old
2292 * are assumed to be already sanity-checked.
2294 static struct expression *next_designators(struct expression *old,
2295 struct symbol *ctype,
2296 struct expression *e, struct expression **v)
2298 struct expression *new = NULL;
2300 if (!old)
2301 return NULL;
2302 if (old->type == EXPR_INDEX) {
2303 struct expression *copy;
2304 unsigned n;
2306 copy = next_designators(old->idx_expression,
2307 old->ctype, e, v);
2308 if (!copy) {
2309 n = old->idx_to + 1;
2310 if (n * old->ctype->bit_size == ctype->bit_size) {
2311 convert_index(old);
2312 return NULL;
2314 copy = e;
2315 *v = new = alloc_expression(e->pos, EXPR_INDEX);
2316 } else {
2317 n = old->idx_to;
2318 new = alloc_expression(e->pos, EXPR_INDEX);
2321 new->idx_from = new->idx_to = n;
2322 new->idx_expression = copy;
2323 new->ctype = old->ctype;
2324 convert_index(old);
2325 } else if (old->type == EXPR_IDENTIFIER) {
2326 struct expression *copy;
2327 struct symbol *field;
2329 copy = next_designators(old->ident_expression,
2330 old->ctype, e, v);
2331 if (!copy) {
2332 field = old->field->next_subobject;
2333 if (!field) {
2334 convert_ident(old);
2335 return NULL;
2337 copy = e;
2338 *v = new = alloc_expression(e->pos, EXPR_IDENTIFIER);
2339 } else {
2340 field = old->field;
2341 new = alloc_expression(e->pos, EXPR_IDENTIFIER);
2344 new->field = field;
2345 new->expr_ident = field->ident;
2346 new->ident_expression = copy;
2347 new->ctype = field;
2348 convert_ident(old);
2350 return new;
2353 static int handle_simple_initializer(struct expression **ep, int nested,
2354 int class, struct symbol *ctype);
2357 * deal with traversing subobjects [6.7.8(17,18,20)]
2359 static void handle_list_initializer(struct expression *expr,
2360 int class, struct symbol *ctype)
2362 struct expression *e, *last = NULL, *top = NULL, *next;
2363 int jumped = 0;
2365 FOR_EACH_PTR(expr->expr_list, e) {
2366 struct expression **v;
2367 struct symbol *type;
2368 int lclass;
2370 if (e->type != EXPR_INDEX && e->type != EXPR_IDENTIFIER) {
2371 struct symbol *struct_sym;
2372 if (!top) {
2373 top = e;
2374 last = first_subobject(ctype, class, &top);
2375 } else {
2376 last = next_designators(last, ctype, e, &top);
2378 if (!last) {
2379 excess(e, class & TYPE_PTR ? "array" :
2380 "struct or union");
2381 DELETE_CURRENT_PTR(e);
2382 continue;
2384 struct_sym = ctype->type == SYM_NODE ? ctype->ctype.base_type : ctype;
2385 if (Wdesignated_init && struct_sym->designated_init)
2386 warning(e->pos, "%s%.*s%spositional init of field in %s %s, declared with attribute designated_init",
2387 ctype->ident ? "in initializer for " : "",
2388 ctype->ident ? ctype->ident->len : 0,
2389 ctype->ident ? ctype->ident->name : "",
2390 ctype->ident ? ": " : "",
2391 get_type_name(struct_sym->type),
2392 show_ident(struct_sym->ident));
2393 if (jumped) {
2394 warning(e->pos, "advancing past deep designator");
2395 jumped = 0;
2397 REPLACE_CURRENT_PTR(e, last);
2398 } else {
2399 next = check_designators(e, ctype);
2400 if (!next) {
2401 DELETE_CURRENT_PTR(e);
2402 continue;
2404 top = next;
2405 /* deeper than one designator? */
2406 jumped = top != e;
2407 convert_designators(last);
2408 last = e;
2411 found:
2412 lclass = classify_type(top->ctype, &type);
2413 if (top->type == EXPR_INDEX)
2414 v = &top->idx_expression;
2415 else
2416 v = &top->ident_expression;
2418 if (handle_simple_initializer(v, 1, lclass, top->ctype))
2419 continue;
2421 if (!(lclass & TYPE_COMPOUND)) {
2422 warning(e->pos, "bogus scalar initializer");
2423 DELETE_CURRENT_PTR(e);
2424 continue;
2427 next = first_subobject(type, lclass, v);
2428 if (next) {
2429 warning(e->pos, "missing braces around initializer");
2430 top = next;
2431 goto found;
2434 DELETE_CURRENT_PTR(e);
2435 excess(e, lclass & TYPE_PTR ? "array" : "struct or union");
2437 } END_FOR_EACH_PTR(e);
2439 convert_designators(last);
2440 expr->ctype = ctype;
2443 static int is_string_literal(struct expression **v)
2445 struct expression *e = *v;
2446 while (e && e->type == EXPR_PREOP && e->op == '(')
2447 e = e->unop;
2448 if (!e || e->type != EXPR_STRING)
2449 return 0;
2450 if (e != *v && Wparen_string)
2451 warning(e->pos,
2452 "array initialized from parenthesized string constant");
2453 *v = e;
2454 return 1;
2458 * We want a normal expression, possibly in one layer of braces. Warn
2459 * if the latter happens inside a list (it's legal, but likely to be
2460 * an effect of screwup). In case of anything not legal, we are definitely
2461 * having an effect of screwup, so just fail and let the caller warn.
2463 static struct expression *handle_scalar(struct expression *e, int nested)
2465 struct expression *v = NULL, *p;
2466 int count = 0;
2468 /* normal case */
2469 if (e->type != EXPR_INITIALIZER)
2470 return e;
2472 FOR_EACH_PTR(e->expr_list, p) {
2473 if (!v)
2474 v = p;
2475 count++;
2476 } END_FOR_EACH_PTR(p);
2477 if (count != 1)
2478 return NULL;
2479 switch(v->type) {
2480 case EXPR_INITIALIZER:
2481 case EXPR_INDEX:
2482 case EXPR_IDENTIFIER:
2483 return NULL;
2484 default:
2485 break;
2487 if (nested)
2488 warning(e->pos, "braces around scalar initializer");
2489 return v;
2493 * deal with the cases that don't care about subobjects:
2494 * scalar <- assignment expression, possibly in braces [6.7.8(11)]
2495 * character array <- string literal, possibly in braces [6.7.8(14)]
2496 * struct or union <- assignment expression of compatible type [6.7.8(13)]
2497 * compound type <- initializer list in braces [6.7.8(16)]
2498 * The last one punts to handle_list_initializer() which, in turn will call
2499 * us for individual elements of the list.
2501 * We do not handle 6.7.8(15) (wide char array <- wide string literal) for
2502 * the lack of support of wide char stuff in general.
2504 * One note: we need to take care not to evaluate a string literal until
2505 * we know that we *will* handle it right here. Otherwise we would screw
2506 * the cases like struct { struct {char s[10]; ...} ...} initialized with
2507 * { "string", ...} - we need to preserve that string literal recognizable
2508 * until we dig into the inner struct.
2510 static int handle_simple_initializer(struct expression **ep, int nested,
2511 int class, struct symbol *ctype)
2513 int is_string = is_string_type(ctype);
2514 struct expression *e = *ep, *p;
2515 struct symbol *type;
2517 if (!e)
2518 return 0;
2520 /* scalar */
2521 if (!(class & TYPE_COMPOUND)) {
2522 e = handle_scalar(e, nested);
2523 if (!e)
2524 return 0;
2525 *ep = e;
2526 if (!evaluate_expression(e))
2527 return 1;
2528 compatible_assignment_types(e, ctype, ep, "initializer");
2529 return 1;
2533 * sublist; either a string, or we dig in; the latter will deal with
2534 * pathologies, so we don't need anything fancy here.
2536 if (e->type == EXPR_INITIALIZER) {
2537 if (is_string) {
2538 struct expression *v = NULL;
2539 int count = 0;
2541 FOR_EACH_PTR(e->expr_list, p) {
2542 if (!v)
2543 v = p;
2544 count++;
2545 } END_FOR_EACH_PTR(p);
2546 if (count == 1 && is_string_literal(&v)) {
2547 *ep = e = v;
2548 goto String;
2551 handle_list_initializer(e, class, ctype);
2552 return 1;
2555 /* string */
2556 if (is_string_literal(&e)) {
2557 /* either we are doing array of char, or we'll have to dig in */
2558 if (is_string) {
2559 *ep = e;
2560 goto String;
2562 return 0;
2564 /* struct or union can be initialized by compatible */
2565 if (class != TYPE_COMPOUND)
2566 return 0;
2567 type = evaluate_expression(e);
2568 if (!type)
2569 return 0;
2570 if (ctype->type == SYM_NODE)
2571 ctype = ctype->ctype.base_type;
2572 if (type->type == SYM_NODE)
2573 type = type->ctype.base_type;
2574 if (ctype == type)
2575 return 1;
2576 return 0;
2578 String:
2579 p = alloc_expression(e->pos, EXPR_STRING);
2580 *p = *e;
2581 type = evaluate_expression(p);
2582 if (ctype->bit_size != -1 &&
2583 ctype->bit_size + bits_in_char < type->bit_size) {
2584 warning(e->pos,
2585 "too long initializer-string for array of char");
2587 *ep = p;
2588 return 1;
2591 static void evaluate_initializer(struct symbol *ctype, struct expression **ep)
2593 struct symbol *type;
2594 int class = classify_type(ctype, &type);
2595 if (!handle_simple_initializer(ep, 0, class, ctype))
2596 expression_error(*ep, "invalid initializer");
2599 static struct symbol *evaluate_cast(struct expression *expr)
2601 struct expression *target = expr->cast_expression;
2602 struct symbol *ctype;
2603 struct symbol *t1, *t2;
2604 int class1, class2;
2605 int as1 = 0, as2 = 0;
2607 if (!target)
2608 return NULL;
2611 * Special case: a cast can be followed by an
2612 * initializer, in which case we need to pass
2613 * the type value down to that initializer rather
2614 * than trying to evaluate it as an expression
2616 * A more complex case is when the initializer is
2617 * dereferenced as part of a post-fix expression.
2618 * We need to produce an expression that can be dereferenced.
2620 if (target->type == EXPR_INITIALIZER) {
2621 struct symbol *sym = expr->cast_type;
2622 struct expression *addr = alloc_expression(expr->pos, EXPR_SYMBOL);
2624 sym->initializer = target;
2625 evaluate_symbol(sym);
2627 addr->ctype = &lazy_ptr_ctype; /* Lazy eval */
2628 addr->symbol = sym;
2630 expr->type = EXPR_PREOP;
2631 expr->op = '*';
2632 expr->unop = addr;
2633 expr->ctype = sym;
2635 return sym;
2638 ctype = examine_symbol_type(expr->cast_type);
2639 expr->ctype = ctype;
2640 expr->cast_type = ctype;
2642 evaluate_expression(target);
2643 degenerate(target);
2645 class1 = classify_type(ctype, &t1);
2647 /* cast to non-integer type -> not an integer constant expression */
2648 if (!is_int(class1))
2649 expr->flags = 0;
2650 /* if argument turns out to be not an integer constant expression *and*
2651 it was not a floating literal to start with -> too bad */
2652 else if (expr->flags == Int_const_expr &&
2653 !(target->flags & Int_const_expr))
2654 expr->flags = 0;
2656 * You can always throw a value away by casting to
2657 * "void" - that's an implicit "force". Note that
2658 * the same is _not_ true of "void *".
2660 if (t1 == &void_ctype)
2661 goto out;
2663 if (class1 & (TYPE_COMPOUND | TYPE_FN))
2664 warning(expr->pos, "cast to non-scalar");
2666 t2 = target->ctype;
2667 if (!t2) {
2668 expression_error(expr, "cast from unknown type");
2669 goto out;
2671 class2 = classify_type(t2, &t2);
2673 if (class2 & TYPE_COMPOUND)
2674 warning(expr->pos, "cast from non-scalar");
2676 if (expr->type == EXPR_FORCE_CAST)
2677 goto out;
2679 /* allowed cast unfouls */
2680 if (class2 & TYPE_FOULED)
2681 t2 = unfoul(t2);
2683 if (t1 != t2) {
2684 if (class1 & TYPE_RESTRICT)
2685 warning(expr->pos, "cast to %s",
2686 show_typename(t1));
2687 if (class2 & TYPE_RESTRICT)
2688 warning(expr->pos, "cast from %s",
2689 show_typename(t2));
2692 if (t1 == &ulong_ctype)
2693 as1 = -1;
2694 else if (class1 == TYPE_PTR) {
2695 examine_pointer_target(t1);
2696 as1 = t1->ctype.as;
2699 if (t2 == &ulong_ctype)
2700 as2 = -1;
2701 else if (class2 == TYPE_PTR) {
2702 examine_pointer_target(t2);
2703 as2 = t2->ctype.as;
2706 if (!as1 && as2 > 0)
2707 warning(expr->pos, "cast removes address space of expression");
2708 if (as1 > 0 && as2 > 0 && as1 != as2)
2709 warning(expr->pos, "cast between address spaces (<asn:%d>-><asn:%d>)", as2, as1);
2710 if (as1 > 0 && !as2 &&
2711 !is_null_pointer_constant(target) && Wcast_to_as)
2712 warning(expr->pos,
2713 "cast adds address space to expression (<asn:%d>)", as1);
2715 if (!(t1->ctype.modifiers & MOD_PTRINHERIT) && class1 == TYPE_PTR &&
2716 !as1 && (target->flags & Int_const_expr)) {
2717 if (t1->ctype.base_type == &void_ctype) {
2718 if (is_zero_constant(target)) {
2719 /* NULL */
2720 expr->type = EXPR_VALUE;
2721 expr->ctype = &null_ctype;
2722 expr->value = 0;
2723 return ctype;
2727 out:
2728 return ctype;
2732 * Evaluate a call expression with a symbol. This
2733 * should expand inline functions, and evaluate
2734 * builtins.
2736 static int evaluate_symbol_call(struct expression *expr)
2738 struct expression *fn = expr->fn;
2739 struct symbol *ctype = fn->ctype;
2741 if (fn->type != EXPR_PREOP)
2742 return 0;
2744 if (ctype->op && ctype->op->evaluate)
2745 return ctype->op->evaluate(expr);
2747 if (ctype->ctype.modifiers & MOD_INLINE) {
2748 int ret;
2749 struct symbol *curr = current_fn;
2751 if (ctype->definition)
2752 ctype = ctype->definition;
2754 current_fn = ctype->ctype.base_type;
2756 ret = inline_function(expr, ctype);
2758 /* restore the old function */
2759 current_fn = curr;
2760 return ret;
2763 return 0;
2766 static struct symbol *evaluate_call(struct expression *expr)
2768 int args, fnargs;
2769 struct symbol *ctype, *sym;
2770 struct expression *fn = expr->fn;
2771 struct expression_list *arglist = expr->args;
2773 if (!evaluate_expression(fn))
2774 return NULL;
2775 sym = ctype = fn->ctype;
2776 if (ctype->type == SYM_NODE)
2777 ctype = ctype->ctype.base_type;
2778 if (ctype->type == SYM_PTR)
2779 ctype = get_base_type(ctype);
2781 if (ctype->type != SYM_FN) {
2782 struct expression *arg;
2783 expression_error(expr, "not a function %s",
2784 show_ident(sym->ident));
2785 /* do typechecking in arguments */
2786 FOR_EACH_PTR (arglist, arg) {
2787 evaluate_expression(arg);
2788 } END_FOR_EACH_PTR(arg);
2789 return NULL;
2792 examine_fn_arguments(ctype);
2793 if (sym->type == SYM_NODE && fn->type == EXPR_PREOP &&
2794 sym->op && sym->op->args) {
2795 if (!sym->op->args(expr))
2796 return NULL;
2797 } else {
2798 if (!evaluate_arguments(sym, ctype, arglist))
2799 return NULL;
2800 args = expression_list_size(expr->args);
2801 fnargs = symbol_list_size(ctype->arguments);
2802 if (args < fnargs)
2803 expression_error(expr,
2804 "not enough arguments for function %s",
2805 show_ident(sym->ident));
2806 if (args > fnargs && !ctype->variadic)
2807 expression_error(expr,
2808 "too many arguments for function %s",
2809 show_ident(sym->ident));
2811 if (sym->type == SYM_NODE) {
2812 if (evaluate_symbol_call(expr))
2813 return expr->ctype;
2815 expr->ctype = ctype->ctype.base_type;
2816 return expr->ctype;
2819 static struct symbol *evaluate_offsetof(struct expression *expr)
2821 struct expression *e = expr->down;
2822 struct symbol *ctype = expr->in;
2823 int class;
2825 if (expr->op == '.') {
2826 struct symbol *field;
2827 int offset = 0;
2828 if (!ctype) {
2829 expression_error(expr, "expected structure or union");
2830 return NULL;
2832 examine_symbol_type(ctype);
2833 class = classify_type(ctype, &ctype);
2834 if (class != TYPE_COMPOUND) {
2835 expression_error(expr, "expected structure or union");
2836 return NULL;
2839 field = find_identifier(expr->ident, ctype->symbol_list, &offset);
2840 if (!field) {
2841 expression_error(expr, "unknown member");
2842 return NULL;
2844 ctype = field;
2845 expr->type = EXPR_VALUE;
2846 expr->flags = Int_const_expr;
2847 expr->value = offset;
2848 expr->taint = 0;
2849 expr->ctype = size_t_ctype;
2850 } else {
2851 if (!ctype) {
2852 expression_error(expr, "expected structure or union");
2853 return NULL;
2855 examine_symbol_type(ctype);
2856 class = classify_type(ctype, &ctype);
2857 if (class != (TYPE_COMPOUND | TYPE_PTR)) {
2858 expression_error(expr, "expected array");
2859 return NULL;
2861 ctype = ctype->ctype.base_type;
2862 if (!expr->index) {
2863 expr->type = EXPR_VALUE;
2864 expr->flags = Int_const_expr;
2865 expr->value = 0;
2866 expr->taint = 0;
2867 expr->ctype = size_t_ctype;
2868 } else {
2869 struct expression *idx = expr->index, *m;
2870 struct symbol *i_type = evaluate_expression(idx);
2871 int i_class = classify_type(i_type, &i_type);
2872 if (!is_int(i_class)) {
2873 expression_error(expr, "non-integer index");
2874 return NULL;
2876 unrestrict(idx, i_class, &i_type);
2877 idx = cast_to(idx, size_t_ctype);
2878 m = alloc_const_expression(expr->pos,
2879 bits_to_bytes(ctype->bit_size));
2880 m->ctype = size_t_ctype;
2881 m->flags = Int_const_expr;
2882 expr->type = EXPR_BINOP;
2883 expr->left = idx;
2884 expr->right = m;
2885 expr->op = '*';
2886 expr->ctype = size_t_ctype;
2887 expr->flags = m->flags & idx->flags & Int_const_expr;
2890 if (e) {
2891 struct expression *copy = __alloc_expression(0);
2892 *copy = *expr;
2893 if (e->type == EXPR_OFFSETOF)
2894 e->in = ctype;
2895 if (!evaluate_expression(e))
2896 return NULL;
2897 expr->type = EXPR_BINOP;
2898 expr->flags = e->flags & copy->flags & Int_const_expr;
2899 expr->op = '+';
2900 expr->ctype = size_t_ctype;
2901 expr->left = copy;
2902 expr->right = e;
2904 return size_t_ctype;
2907 struct symbol *evaluate_expression(struct expression *expr)
2909 if (!expr)
2910 return NULL;
2911 if (expr->ctype)
2912 return expr->ctype;
2914 switch (expr->type) {
2915 case EXPR_VALUE:
2916 case EXPR_FVALUE:
2917 expression_error(expr, "value expression without a type");
2918 return NULL;
2919 case EXPR_STRING:
2920 return evaluate_string(expr);
2921 case EXPR_SYMBOL:
2922 return evaluate_symbol_expression(expr);
2923 case EXPR_BINOP:
2924 if (!evaluate_expression(expr->left))
2925 return NULL;
2926 if (!evaluate_expression(expr->right))
2927 return NULL;
2928 return evaluate_binop(expr);
2929 case EXPR_LOGICAL:
2930 return evaluate_logical(expr);
2931 case EXPR_COMMA:
2932 evaluate_expression(expr->left);
2933 if (!evaluate_expression(expr->right))
2934 return NULL;
2935 return evaluate_comma(expr);
2936 case EXPR_COMPARE:
2937 if (!evaluate_expression(expr->left))
2938 return NULL;
2939 if (!evaluate_expression(expr->right))
2940 return NULL;
2941 return evaluate_compare(expr);
2942 case EXPR_ASSIGNMENT:
2943 if (!evaluate_expression(expr->left))
2944 return NULL;
2945 if (!evaluate_expression(expr->right))
2946 return NULL;
2947 return evaluate_assignment(expr);
2948 case EXPR_PREOP:
2949 if (!evaluate_expression(expr->unop))
2950 return NULL;
2951 return evaluate_preop(expr);
2952 case EXPR_POSTOP:
2953 if (!evaluate_expression(expr->unop))
2954 return NULL;
2955 return evaluate_postop(expr);
2956 case EXPR_CAST:
2957 case EXPR_FORCE_CAST:
2958 case EXPR_IMPLIED_CAST:
2959 return evaluate_cast(expr);
2960 case EXPR_SIZEOF:
2961 return evaluate_sizeof(expr);
2962 case EXPR_PTRSIZEOF:
2963 return evaluate_ptrsizeof(expr);
2964 case EXPR_ALIGNOF:
2965 return evaluate_alignof(expr);
2966 case EXPR_DEREF:
2967 return evaluate_member_dereference(expr);
2968 case EXPR_CALL:
2969 return evaluate_call(expr);
2970 case EXPR_SELECT:
2971 case EXPR_CONDITIONAL:
2972 return evaluate_conditional_expression(expr);
2973 case EXPR_STATEMENT:
2974 expr->ctype = evaluate_statement(expr->statement);
2975 return expr->ctype;
2977 case EXPR_LABEL:
2978 expr->ctype = &ptr_ctype;
2979 return &ptr_ctype;
2981 case EXPR_TYPE:
2982 /* Evaluate the type of the symbol .. */
2983 evaluate_symbol(expr->symbol);
2984 /* .. but the type of the _expression_ is a "type" */
2985 expr->ctype = &type_ctype;
2986 return &type_ctype;
2988 case EXPR_OFFSETOF:
2989 return evaluate_offsetof(expr);
2991 /* These can not exist as stand-alone expressions */
2992 case EXPR_INITIALIZER:
2993 case EXPR_IDENTIFIER:
2994 case EXPR_INDEX:
2995 case EXPR_POS:
2996 expression_error(expr, "internal front-end error: initializer in expression");
2997 return NULL;
2998 case EXPR_SLICE:
2999 expression_error(expr, "internal front-end error: SLICE re-evaluated");
3000 return NULL;
3002 return NULL;
3005 static void check_duplicates(struct symbol *sym)
3007 int declared = 0;
3008 struct symbol *next = sym;
3010 while ((next = next->same_symbol) != NULL) {
3011 const char *typediff;
3012 evaluate_symbol(next);
3013 declared++;
3014 typediff = type_difference(&sym->ctype, &next->ctype, 0, 0);
3015 if (typediff) {
3016 sparse_error(sym->pos, "symbol '%s' redeclared with different type (originally declared at %s:%d) - %s",
3017 show_ident(sym->ident),
3018 stream_name(next->pos.stream), next->pos.line, typediff);
3019 return;
3022 if (!declared) {
3023 unsigned long mod = sym->ctype.modifiers;
3024 if (mod & (MOD_STATIC | MOD_REGISTER))
3025 return;
3026 if (!(mod & MOD_TOPLEVEL))
3027 return;
3028 if (!Wdecl)
3029 return;
3030 if (sym->ident == &main_ident)
3031 return;
3032 warning(sym->pos, "symbol '%s' was not declared. Should it be static?", show_ident(sym->ident));
3036 static struct symbol *evaluate_symbol(struct symbol *sym)
3038 struct symbol *base_type;
3040 if (!sym)
3041 return sym;
3042 if (sym->evaluated)
3043 return sym;
3044 sym->evaluated = 1;
3046 sym = examine_symbol_type(sym);
3047 base_type = get_base_type(sym);
3048 if (!base_type)
3049 return NULL;
3051 /* Evaluate the initializers */
3052 if (sym->initializer)
3053 evaluate_initializer(sym, &sym->initializer);
3055 /* And finally, evaluate the body of the symbol too */
3056 if (base_type->type == SYM_FN) {
3057 struct symbol *curr = current_fn;
3059 if (sym->definition && sym->definition != sym)
3060 return evaluate_symbol(sym->definition);
3062 current_fn = base_type;
3064 examine_fn_arguments(base_type);
3065 if (!base_type->stmt && base_type->inline_stmt)
3066 uninline(sym);
3067 if (base_type->stmt)
3068 evaluate_statement(base_type->stmt);
3070 current_fn = curr;
3073 return base_type;
3076 void evaluate_symbol_list(struct symbol_list *list)
3078 struct symbol *sym;
3080 FOR_EACH_PTR(list, sym) {
3081 evaluate_symbol(sym);
3082 check_duplicates(sym);
3083 } END_FOR_EACH_PTR(sym);
3086 static struct symbol *evaluate_return_expression(struct statement *stmt)
3088 struct expression *expr = stmt->expression;
3089 struct symbol *fntype;
3091 evaluate_expression(expr);
3092 fntype = current_fn->ctype.base_type;
3093 if (!fntype || fntype == &void_ctype) {
3094 if (expr && expr->ctype != &void_ctype)
3095 expression_error(expr, "return expression in %s function", fntype?"void":"typeless");
3096 if (expr && Wreturn_void)
3097 warning(stmt->pos, "returning void-valued expression");
3098 return NULL;
3101 if (!expr) {
3102 sparse_error(stmt->pos, "return with no return value");
3103 return NULL;
3105 if (!expr->ctype)
3106 return NULL;
3107 compatible_assignment_types(expr, fntype, &stmt->expression, "return expression");
3108 return NULL;
3111 static void evaluate_if_statement(struct statement *stmt)
3113 if (!stmt->if_conditional)
3114 return;
3116 evaluate_conditional(stmt->if_conditional, 0);
3117 evaluate_statement(stmt->if_true);
3118 evaluate_statement(stmt->if_false);
3121 static void evaluate_iterator(struct statement *stmt)
3123 evaluate_symbol_list(stmt->iterator_syms);
3124 evaluate_conditional(stmt->iterator_pre_condition, 1);
3125 evaluate_conditional(stmt->iterator_post_condition,1);
3126 evaluate_statement(stmt->iterator_pre_statement);
3127 evaluate_statement(stmt->iterator_statement);
3128 evaluate_statement(stmt->iterator_post_statement);
3131 static void verify_output_constraint(struct expression *expr, const char *constraint)
3133 switch (*constraint) {
3134 case '=': /* Assignment */
3135 case '+': /* Update */
3136 break;
3137 default:
3138 expression_error(expr, "output constraint is not an assignment constraint (\"%s\")", constraint);
3142 static void verify_input_constraint(struct expression *expr, const char *constraint)
3144 switch (*constraint) {
3145 case '=': /* Assignment */
3146 case '+': /* Update */
3147 expression_error(expr, "input constraint with assignment (\"%s\")", constraint);
3151 static void evaluate_asm_statement(struct statement *stmt)
3153 struct expression *expr;
3154 struct symbol *sym;
3155 int state;
3157 expr = stmt->asm_string;
3158 if (!expr || expr->type != EXPR_STRING) {
3159 sparse_error(stmt->pos, "need constant string for inline asm");
3160 return;
3163 state = 0;
3164 FOR_EACH_PTR(stmt->asm_outputs, expr) {
3165 struct ident *ident;
3167 switch (state) {
3168 case 0: /* Identifier */
3169 state = 1;
3170 ident = (struct ident *)expr;
3171 continue;
3173 case 1: /* Constraint */
3174 state = 2;
3175 if (!expr || expr->type != EXPR_STRING) {
3176 sparse_error(expr ? expr->pos : stmt->pos, "asm output constraint is not a string");
3177 *THIS_ADDRESS(expr) = NULL;
3178 continue;
3180 verify_output_constraint(expr, expr->string->data);
3181 continue;
3183 case 2: /* Expression */
3184 state = 0;
3185 if (!evaluate_expression(expr))
3186 return;
3187 if (!lvalue_expression(expr))
3188 warning(expr->pos, "asm output is not an lvalue");
3189 evaluate_assign_to(expr, expr->ctype);
3190 continue;
3192 } END_FOR_EACH_PTR(expr);
3194 state = 0;
3195 FOR_EACH_PTR(stmt->asm_inputs, expr) {
3196 struct ident *ident;
3198 switch (state) {
3199 case 0: /* Identifier */
3200 state = 1;
3201 ident = (struct ident *)expr;
3202 continue;
3204 case 1: /* Constraint */
3205 state = 2;
3206 if (!expr || expr->type != EXPR_STRING) {
3207 sparse_error(expr ? expr->pos : stmt->pos, "asm input constraint is not a string");
3208 *THIS_ADDRESS(expr) = NULL;
3209 continue;
3211 verify_input_constraint(expr, expr->string->data);
3212 continue;
3214 case 2: /* Expression */
3215 state = 0;
3216 if (!evaluate_expression(expr))
3217 return;
3218 continue;
3220 } END_FOR_EACH_PTR(expr);
3222 FOR_EACH_PTR(stmt->asm_clobbers, expr) {
3223 if (!expr) {
3224 sparse_error(stmt->pos, "bad asm output");
3225 return;
3227 if (expr->type == EXPR_STRING)
3228 continue;
3229 expression_error(expr, "asm clobber is not a string");
3230 } END_FOR_EACH_PTR(expr);
3232 FOR_EACH_PTR(stmt->asm_labels, sym) {
3233 if (!sym || sym->type != SYM_LABEL) {
3234 sparse_error(stmt->pos, "bad asm label");
3235 return;
3237 } END_FOR_EACH_PTR(sym);
3240 static void evaluate_case_statement(struct statement *stmt)
3242 evaluate_expression(stmt->case_expression);
3243 evaluate_expression(stmt->case_to);
3244 evaluate_statement(stmt->case_statement);
3247 static void check_case_type(struct expression *switch_expr,
3248 struct expression *case_expr,
3249 struct expression **enumcase)
3251 struct symbol *switch_type, *case_type;
3252 int sclass, cclass;
3254 if (!case_expr)
3255 return;
3257 switch_type = switch_expr->ctype;
3258 case_type = evaluate_expression(case_expr);
3260 if (!switch_type || !case_type)
3261 goto Bad;
3262 if (enumcase) {
3263 if (*enumcase)
3264 warn_for_different_enum_types(case_expr->pos, case_type, (*enumcase)->ctype);
3265 else if (is_enum_type(case_type))
3266 *enumcase = case_expr;
3269 sclass = classify_type(switch_type, &switch_type);
3270 cclass = classify_type(case_type, &case_type);
3272 /* both should be arithmetic */
3273 if (!(sclass & cclass & TYPE_NUM))
3274 goto Bad;
3276 /* neither should be floating */
3277 if ((sclass | cclass) & TYPE_FLOAT)
3278 goto Bad;
3280 /* if neither is restricted, we are OK */
3281 if (!((sclass | cclass) & TYPE_RESTRICT))
3282 return;
3284 if (!restricted_binop_type(SPECIAL_EQUAL, case_expr, switch_expr,
3285 cclass, sclass, case_type, switch_type)) {
3286 unrestrict(case_expr, cclass, &case_type);
3287 unrestrict(switch_expr, sclass, &switch_type);
3289 return;
3291 Bad:
3292 expression_error(case_expr, "incompatible types for 'case' statement");
3295 static void evaluate_switch_statement(struct statement *stmt)
3297 struct symbol *sym;
3298 struct expression *enumcase = NULL;
3299 struct expression **enumcase_holder = &enumcase;
3300 struct expression *sel = stmt->switch_expression;
3302 evaluate_expression(sel);
3303 evaluate_statement(stmt->switch_statement);
3304 if (!sel)
3305 return;
3306 if (sel->ctype && is_enum_type(sel->ctype))
3307 enumcase_holder = NULL; /* Only check cases against switch */
3309 FOR_EACH_PTR(stmt->switch_case->symbol_list, sym) {
3310 struct statement *case_stmt = sym->stmt;
3311 check_case_type(sel, case_stmt->case_expression, enumcase_holder);
3312 check_case_type(sel, case_stmt->case_to, enumcase_holder);
3313 } END_FOR_EACH_PTR(sym);
3316 struct symbol *evaluate_statement(struct statement *stmt)
3318 if (!stmt)
3319 return NULL;
3321 switch (stmt->type) {
3322 case STMT_DECLARATION: {
3323 struct symbol *s;
3324 FOR_EACH_PTR(stmt->declaration, s) {
3325 evaluate_symbol(s);
3326 } END_FOR_EACH_PTR(s);
3327 return NULL;
3330 case STMT_RETURN:
3331 return evaluate_return_expression(stmt);
3333 case STMT_EXPRESSION:
3334 if (!evaluate_expression(stmt->expression))
3335 return NULL;
3336 if (stmt->expression->ctype == &null_ctype)
3337 stmt->expression = cast_to(stmt->expression, &ptr_ctype);
3338 return degenerate(stmt->expression);
3340 case STMT_COMPOUND: {
3341 struct statement *s;
3342 struct symbol *type = NULL;
3344 /* Evaluate the return symbol in the compound statement */
3345 evaluate_symbol(stmt->ret);
3348 * Then, evaluate each statement, making the type of the
3349 * compound statement be the type of the last statement
3351 type = evaluate_statement(stmt->args);
3352 FOR_EACH_PTR(stmt->stmts, s) {
3353 type = evaluate_statement(s);
3354 } END_FOR_EACH_PTR(s);
3355 if (!type)
3356 type = &void_ctype;
3357 return type;
3359 case STMT_IF:
3360 evaluate_if_statement(stmt);
3361 return NULL;
3362 case STMT_ITERATOR:
3363 evaluate_iterator(stmt);
3364 return NULL;
3365 case STMT_SWITCH:
3366 evaluate_switch_statement(stmt);
3367 return NULL;
3368 case STMT_CASE:
3369 evaluate_case_statement(stmt);
3370 return NULL;
3371 case STMT_LABEL:
3372 return evaluate_statement(stmt->label_statement);
3373 case STMT_GOTO:
3374 evaluate_expression(stmt->goto_expression);
3375 return NULL;
3376 case STMT_NONE:
3377 break;
3378 case STMT_ASM:
3379 evaluate_asm_statement(stmt);
3380 return NULL;
3381 case STMT_CONTEXT:
3382 evaluate_expression(stmt->expression);
3383 return NULL;
3384 case STMT_RANGE:
3385 evaluate_expression(stmt->range_expression);
3386 evaluate_expression(stmt->range_low);
3387 evaluate_expression(stmt->range_high);
3388 return NULL;
3390 return NULL;