OSDN Git Service

* c-typeck.c (convert_for_assignment): Tightened up pointer converstions
[pf3gnuchains/gcc-fork.git] / gcc / c-typeck.c
1 /* Build expressions with type checking for C compiler.
2    Copyright (C) 1987, 1988, 1991, 1992, 1993, 1994, 1995, 1996, 1997,
3    1998, 1999, 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
4
5 This file is part of GCC.
6
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 2, or (at your option) any later
10 version.
11
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
15 for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING.  If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
20 02111-1307, USA.  */
21
22
23 /* This file is part of the C front end.
24    It contains routines to build C expressions given their operands,
25    including computing the types of the result, C-specific error checks,
26    and some optimization.  */
27
28 #include "config.h"
29 #include "system.h"
30 #include "coretypes.h"
31 #include "tm.h"
32 #include "rtl.h"
33 #include "tree.h"
34 #include "langhooks.h"
35 #include "c-tree.h"
36 #include "tm_p.h"
37 #include "flags.h"
38 #include "output.h"
39 #include "expr.h"
40 #include "toplev.h"
41 #include "intl.h"
42 #include "ggc.h"
43 #include "target.h"
44 #include "tree-iterator.h"
45 #include "tree-gimple.h"
46
47
48 /* Nonzero if we've already printed a "missing braces around initializer"
49    message within this initializer.  */
50 static int missing_braces_mentioned;
51
52 static int require_constant_value;
53 static int require_constant_elements;
54
55 static tree qualify_type (tree, tree);
56 static int tagged_types_tu_compatible_p (tree, tree);
57 static int comp_target_types (tree, tree, int);
58 static int function_types_compatible_p (tree, tree);
59 static int type_lists_compatible_p (tree, tree);
60 static tree decl_constant_value_for_broken_optimization (tree);
61 static tree default_function_array_conversion (tree);
62 static tree lookup_field (tree, tree);
63 static tree convert_arguments (tree, tree, tree, tree);
64 static tree pointer_diff (tree, tree);
65 static tree convert_for_assignment (tree, tree, const char *, tree, tree,
66                                     int);
67 static void warn_for_assignment (const char *, const char *, tree, int);
68 static tree valid_compound_expr_initializer (tree, tree);
69 static void push_string (const char *);
70 static void push_member_name (tree);
71 static void push_array_bounds (int);
72 static int spelling_length (void);
73 static char *print_spelling (char *);
74 static void warning_init (const char *);
75 static tree digest_init (tree, tree, bool, int);
76 static void output_init_element (tree, bool, tree, tree, int);
77 static void output_pending_init_elements (int);
78 static int set_designator (int);
79 static void push_range_stack (tree);
80 static void add_pending_init (tree, tree);
81 static void set_nonincremental_init (void);
82 static void set_nonincremental_init_from_string (tree);
83 static tree find_init_member (tree);
84 static int lvalue_or_else (tree, const char *);
85 \f
86 /* Do `exp = require_complete_type (exp);' to make sure exp
87    does not have an incomplete type.  (That includes void types.)  */
88
89 tree
90 require_complete_type (tree value)
91 {
92   tree type = TREE_TYPE (value);
93
94   if (value == error_mark_node || type == error_mark_node)
95     return error_mark_node;
96
97   /* First, detect a valid value with a complete type.  */
98   if (COMPLETE_TYPE_P (type))
99     return value;
100
101   c_incomplete_type_error (value, type);
102   return error_mark_node;
103 }
104
105 /* Print an error message for invalid use of an incomplete type.
106    VALUE is the expression that was used (or 0 if that isn't known)
107    and TYPE is the type that was invalid.  */
108
109 void
110 c_incomplete_type_error (tree value, tree type)
111 {
112   const char *type_code_string;
113
114   /* Avoid duplicate error message.  */
115   if (TREE_CODE (type) == ERROR_MARK)
116     return;
117
118   if (value != 0 && (TREE_CODE (value) == VAR_DECL
119                      || TREE_CODE (value) == PARM_DECL))
120     error ("`%s' has an incomplete type",
121            IDENTIFIER_POINTER (DECL_NAME (value)));
122   else
123     {
124     retry:
125       /* We must print an error message.  Be clever about what it says.  */
126
127       switch (TREE_CODE (type))
128         {
129         case RECORD_TYPE:
130           type_code_string = "struct";
131           break;
132
133         case UNION_TYPE:
134           type_code_string = "union";
135           break;
136
137         case ENUMERAL_TYPE:
138           type_code_string = "enum";
139           break;
140
141         case VOID_TYPE:
142           error ("invalid use of void expression");
143           return;
144
145         case ARRAY_TYPE:
146           if (TYPE_DOMAIN (type))
147             {
148               if (TYPE_MAX_VALUE (TYPE_DOMAIN (type)) == NULL)
149                 {
150                   error ("invalid use of flexible array member");
151                   return;
152                 }
153               type = TREE_TYPE (type);
154               goto retry;
155             }
156           error ("invalid use of array with unspecified bounds");
157           return;
158
159         default:
160           abort ();
161         }
162
163       if (TREE_CODE (TYPE_NAME (type)) == IDENTIFIER_NODE)
164         error ("invalid use of undefined type `%s %s'",
165                type_code_string, IDENTIFIER_POINTER (TYPE_NAME (type)));
166       else
167         /* If this type has a typedef-name, the TYPE_NAME is a TYPE_DECL.  */
168         error ("invalid use of incomplete typedef `%s'",
169                IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (type))));
170     }
171 }
172
173 /* Given a type, apply default promotions wrt unnamed function
174    arguments and return the new type.  */
175
176 tree
177 c_type_promotes_to (tree type)
178 {
179   if (TYPE_MAIN_VARIANT (type) == float_type_node)
180     return double_type_node;
181
182   if (c_promoting_integer_type_p (type))
183     {
184       /* Preserve unsignedness if not really getting any wider.  */
185       if (TYPE_UNSIGNED (type)
186           && (TYPE_PRECISION (type) == TYPE_PRECISION (integer_type_node)))
187         return unsigned_type_node;
188       return integer_type_node;
189     }
190
191   return type;
192 }
193
194 /* Return a variant of TYPE which has all the type qualifiers of LIKE
195    as well as those of TYPE.  */
196
197 static tree
198 qualify_type (tree type, tree like)
199 {
200   return c_build_qualified_type (type,
201                                  TYPE_QUALS (type) | TYPE_QUALS (like));
202 }
203 \f
204 /* Return the composite type of two compatible types.
205
206    We assume that comptypes has already been done and returned
207    nonzero; if that isn't so, this may crash.  In particular, we
208    assume that qualifiers match.  */
209
210 tree
211 composite_type (tree t1, tree t2)
212 {
213   enum tree_code code1;
214   enum tree_code code2;
215   tree attributes;
216
217   /* Save time if the two types are the same.  */
218
219   if (t1 == t2) return t1;
220
221   /* If one type is nonsense, use the other.  */
222   if (t1 == error_mark_node)
223     return t2;
224   if (t2 == error_mark_node)
225     return t1;
226
227   code1 = TREE_CODE (t1);
228   code2 = TREE_CODE (t2);
229
230   /* Merge the attributes.  */
231   attributes = targetm.merge_type_attributes (t1, t2);
232
233   /* If one is an enumerated type and the other is the compatible
234      integer type, the composite type might be either of the two
235      (DR#013 question 3).  For consistency, use the enumerated type as
236      the composite type.  */
237
238   if (code1 == ENUMERAL_TYPE && code2 == INTEGER_TYPE)
239     return t1;
240   if (code2 == ENUMERAL_TYPE && code1 == INTEGER_TYPE)
241     return t2;
242
243   if (code1 != code2)
244     abort ();
245
246   switch (code1)
247     {
248     case POINTER_TYPE:
249       /* For two pointers, do this recursively on the target type.  */
250       {
251         tree pointed_to_1 = TREE_TYPE (t1);
252         tree pointed_to_2 = TREE_TYPE (t2);
253         tree target = composite_type (pointed_to_1, pointed_to_2);
254         t1 = build_pointer_type (target);
255         t1 = build_type_attribute_variant (t1, attributes);
256         return qualify_type (t1, t2);
257       }
258
259     case ARRAY_TYPE:
260       {
261         tree elt = composite_type (TREE_TYPE (t1), TREE_TYPE (t2));
262         
263         /* We should not have any type quals on arrays at all.  */
264         if (TYPE_QUALS (t1) || TYPE_QUALS (t2))
265           abort ();
266         
267         /* Save space: see if the result is identical to one of the args.  */
268         if (elt == TREE_TYPE (t1) && TYPE_DOMAIN (t1))
269           return build_type_attribute_variant (t1, attributes);
270         if (elt == TREE_TYPE (t2) && TYPE_DOMAIN (t2))
271           return build_type_attribute_variant (t2, attributes);
272         
273         if (elt == TREE_TYPE (t1) && !TYPE_DOMAIN (t2) && !TYPE_DOMAIN (t1))
274           return build_type_attribute_variant (t1, attributes);
275         if (elt == TREE_TYPE (t2) && !TYPE_DOMAIN (t2) && !TYPE_DOMAIN (t1))
276           return build_type_attribute_variant (t2, attributes);
277         
278         /* Merge the element types, and have a size if either arg has one.  */
279         t1 = build_array_type (elt, TYPE_DOMAIN (TYPE_DOMAIN (t1) ? t1 : t2));
280         return build_type_attribute_variant (t1, attributes);
281       }
282
283     case FUNCTION_TYPE:
284       /* Function types: prefer the one that specified arg types.
285          If both do, merge the arg types.  Also merge the return types.  */
286       {
287         tree valtype = composite_type (TREE_TYPE (t1), TREE_TYPE (t2));
288         tree p1 = TYPE_ARG_TYPES (t1);
289         tree p2 = TYPE_ARG_TYPES (t2);
290         int len;
291         tree newargs, n;
292         int i;
293
294         /* Save space: see if the result is identical to one of the args.  */
295         if (valtype == TREE_TYPE (t1) && ! TYPE_ARG_TYPES (t2))
296           return build_type_attribute_variant (t1, attributes);
297         if (valtype == TREE_TYPE (t2) && ! TYPE_ARG_TYPES (t1))
298           return build_type_attribute_variant (t2, attributes);
299
300         /* Simple way if one arg fails to specify argument types.  */
301         if (TYPE_ARG_TYPES (t1) == 0)
302          {
303             t1 = build_function_type (valtype, TYPE_ARG_TYPES (t2));
304             t1 = build_type_attribute_variant (t1, attributes);
305             return qualify_type (t1, t2);
306          }
307         if (TYPE_ARG_TYPES (t2) == 0)
308          {
309            t1 = build_function_type (valtype, TYPE_ARG_TYPES (t1));
310            t1 = build_type_attribute_variant (t1, attributes);
311            return qualify_type (t1, t2);
312          }
313
314         /* If both args specify argument types, we must merge the two
315            lists, argument by argument.  */
316         /* Tell global_bindings_p to return false so that variable_size
317            doesn't abort on VLAs in parameter types.  */
318         c_override_global_bindings_to_false = true;
319
320         len = list_length (p1);
321         newargs = 0;
322
323         for (i = 0; i < len; i++)
324           newargs = tree_cons (NULL_TREE, NULL_TREE, newargs);
325
326         n = newargs;
327
328         for (; p1;
329              p1 = TREE_CHAIN (p1), p2 = TREE_CHAIN (p2), n = TREE_CHAIN (n))
330           {
331             /* A null type means arg type is not specified.
332                Take whatever the other function type has.  */
333             if (TREE_VALUE (p1) == 0)
334               {
335                 TREE_VALUE (n) = TREE_VALUE (p2);
336                 goto parm_done;
337               }
338             if (TREE_VALUE (p2) == 0)
339               {
340                 TREE_VALUE (n) = TREE_VALUE (p1);
341                 goto parm_done;
342               }
343
344             /* Given  wait (union {union wait *u; int *i} *)
345                and  wait (union wait *),
346                prefer  union wait *  as type of parm.  */
347             if (TREE_CODE (TREE_VALUE (p1)) == UNION_TYPE
348                 && TREE_VALUE (p1) != TREE_VALUE (p2))
349               {
350                 tree memb;
351                 for (memb = TYPE_FIELDS (TREE_VALUE (p1));
352                      memb; memb = TREE_CHAIN (memb))
353                   if (comptypes (TREE_TYPE (memb), TREE_VALUE (p2)))
354                     {
355                       TREE_VALUE (n) = TREE_VALUE (p2);
356                       if (pedantic)
357                         pedwarn ("function types not truly compatible in ISO C");
358                       goto parm_done;
359                     }
360               }
361             if (TREE_CODE (TREE_VALUE (p2)) == UNION_TYPE
362                 && TREE_VALUE (p2) != TREE_VALUE (p1))
363               {
364                 tree memb;
365                 for (memb = TYPE_FIELDS (TREE_VALUE (p2));
366                      memb; memb = TREE_CHAIN (memb))
367                   if (comptypes (TREE_TYPE (memb), TREE_VALUE (p1)))
368                     {
369                       TREE_VALUE (n) = TREE_VALUE (p1);
370                       if (pedantic)
371                         pedwarn ("function types not truly compatible in ISO C");
372                       goto parm_done;
373                     }
374               }
375             TREE_VALUE (n) = composite_type (TREE_VALUE (p1), TREE_VALUE (p2));
376           parm_done: ;
377           }
378
379         c_override_global_bindings_to_false = false;
380         t1 = build_function_type (valtype, newargs);
381         t1 = qualify_type (t1, t2);
382         /* ... falls through ...  */
383       }
384
385     default:
386       return build_type_attribute_variant (t1, attributes);
387     }
388
389 }
390
391 /* Return the type of a conditional expression between pointers to
392    possibly differently qualified versions of compatible types.
393
394    We assume that comp_target_types has already been done and returned
395    nonzero; if that isn't so, this may crash.  */
396
397 static tree
398 common_pointer_type (tree t1, tree t2)
399 {
400   tree attributes;
401   tree pointed_to_1;
402   tree pointed_to_2;
403   tree target;
404
405   /* Save time if the two types are the same.  */
406
407   if (t1 == t2) return t1;
408
409   /* If one type is nonsense, use the other.  */
410   if (t1 == error_mark_node)
411     return t2;
412   if (t2 == error_mark_node)
413     return t1;
414
415   if (TREE_CODE (t1) != POINTER_TYPE || TREE_CODE (t2) != POINTER_TYPE)
416     abort ();
417
418   /* Merge the attributes.  */
419   attributes = targetm.merge_type_attributes (t1, t2);
420
421   /* Find the composite type of the target types, and combine the
422      qualifiers of the two types' targets.  */
423   pointed_to_1 = TREE_TYPE (t1);
424   pointed_to_2 = TREE_TYPE (t2);
425   target = composite_type (TYPE_MAIN_VARIANT (pointed_to_1),
426                            TYPE_MAIN_VARIANT (pointed_to_2));
427   t1 = build_pointer_type (c_build_qualified_type
428                            (target,
429                             TYPE_QUALS (pointed_to_1) |
430                             TYPE_QUALS (pointed_to_2)));
431   return build_type_attribute_variant (t1, attributes);
432 }
433
434 /* Return the common type for two arithmetic types under the usual
435    arithmetic conversions.  The default conversions have already been
436    applied, and enumerated types converted to their compatible integer
437    types.  The resulting type is unqualified and has no attributes.
438
439    This is the type for the result of most arithmetic operations
440    if the operands have the given two types.  */
441
442 tree
443 common_type (tree t1, tree t2)
444 {
445   enum tree_code code1;
446   enum tree_code code2;
447
448   /* If one type is nonsense, use the other.  */
449   if (t1 == error_mark_node)
450     return t2;
451   if (t2 == error_mark_node)
452     return t1;
453
454   if (TYPE_QUALS (t1) != TYPE_UNQUALIFIED)
455     t1 = TYPE_MAIN_VARIANT (t1);
456
457   if (TYPE_QUALS (t2) != TYPE_UNQUALIFIED)
458     t2 = TYPE_MAIN_VARIANT (t2);
459
460   if (TYPE_ATTRIBUTES (t1) != NULL_TREE)
461     t1 = build_type_attribute_variant (t1, NULL_TREE);
462
463   if (TYPE_ATTRIBUTES (t2) != NULL_TREE)
464     t2 = build_type_attribute_variant (t2, NULL_TREE);
465
466   /* Save time if the two types are the same.  */
467
468   if (t1 == t2) return t1;
469
470   code1 = TREE_CODE (t1);
471   code2 = TREE_CODE (t2);
472
473   if (code1 != VECTOR_TYPE && code1 != COMPLEX_TYPE
474       && code1 != REAL_TYPE && code1 != INTEGER_TYPE)
475     abort ();
476
477   if (code2 != VECTOR_TYPE && code2 != COMPLEX_TYPE
478       && code2 != REAL_TYPE && code2 != INTEGER_TYPE)
479     abort ();
480
481   /* If one type is a vector type, return that type.  (How the usual
482      arithmetic conversions apply to the vector types extension is not
483      precisely specified.)  */
484   if (code1 == VECTOR_TYPE)
485     return t1;
486
487   if (code2 == VECTOR_TYPE)
488     return t2;
489
490   /* If one type is complex, form the common type of the non-complex
491      components, then make that complex.  Use T1 or T2 if it is the
492      required type.  */
493   if (code1 == COMPLEX_TYPE || code2 == COMPLEX_TYPE)
494     {
495       tree subtype1 = code1 == COMPLEX_TYPE ? TREE_TYPE (t1) : t1;
496       tree subtype2 = code2 == COMPLEX_TYPE ? TREE_TYPE (t2) : t2;
497       tree subtype = common_type (subtype1, subtype2);
498
499       if (code1 == COMPLEX_TYPE && TREE_TYPE (t1) == subtype)
500         return t1;
501       else if (code2 == COMPLEX_TYPE && TREE_TYPE (t2) == subtype)
502         return t2;
503       else
504         return build_complex_type (subtype);
505     }
506
507   /* If only one is real, use it as the result.  */
508
509   if (code1 == REAL_TYPE && code2 != REAL_TYPE)
510     return t1;
511
512   if (code2 == REAL_TYPE && code1 != REAL_TYPE)
513     return t2;
514
515   /* Both real or both integers; use the one with greater precision.  */
516
517   if (TYPE_PRECISION (t1) > TYPE_PRECISION (t2))
518     return t1;
519   else if (TYPE_PRECISION (t2) > TYPE_PRECISION (t1))
520     return t2;
521
522   /* Same precision.  Prefer long longs to longs to ints when the
523      same precision, following the C99 rules on integer type rank
524      (which are equivalent to the C90 rules for C90 types).  */
525
526   if (TYPE_MAIN_VARIANT (t1) == long_long_unsigned_type_node
527       || TYPE_MAIN_VARIANT (t2) == long_long_unsigned_type_node)
528     return long_long_unsigned_type_node;
529
530   if (TYPE_MAIN_VARIANT (t1) == long_long_integer_type_node
531       || TYPE_MAIN_VARIANT (t2) == long_long_integer_type_node)
532     {
533       if (TYPE_UNSIGNED (t1) || TYPE_UNSIGNED (t2))
534         return long_long_unsigned_type_node;
535       else
536         return long_long_integer_type_node;
537     }
538
539   if (TYPE_MAIN_VARIANT (t1) == long_unsigned_type_node
540       || TYPE_MAIN_VARIANT (t2) == long_unsigned_type_node)
541     return long_unsigned_type_node;
542
543   if (TYPE_MAIN_VARIANT (t1) == long_integer_type_node
544       || TYPE_MAIN_VARIANT (t2) == long_integer_type_node)
545     {
546       /* But preserve unsignedness from the other type,
547          since long cannot hold all the values of an unsigned int.  */
548       if (TYPE_UNSIGNED (t1) || TYPE_UNSIGNED (t2))
549         return long_unsigned_type_node;
550       else
551         return long_integer_type_node;
552     }
553
554   /* Likewise, prefer long double to double even if same size.  */
555   if (TYPE_MAIN_VARIANT (t1) == long_double_type_node
556       || TYPE_MAIN_VARIANT (t2) == long_double_type_node)
557     return long_double_type_node;
558
559   /* Otherwise prefer the unsigned one.  */
560
561   if (TYPE_UNSIGNED (t1))
562     return t1;
563   else
564     return t2;
565 }
566 \f
567 /* Return 1 if TYPE1 and TYPE2 are compatible types for assignment
568    or various other operations.  Return 2 if they are compatible
569    but a warning may be needed if you use them together.  */
570
571 int
572 comptypes (tree type1, tree type2)
573 {
574   tree t1 = type1;
575   tree t2 = type2;
576   int attrval, val;
577
578   /* Suppress errors caused by previously reported errors.  */
579
580   if (t1 == t2 || !t1 || !t2
581       || TREE_CODE (t1) == ERROR_MARK || TREE_CODE (t2) == ERROR_MARK)
582     return 1;
583
584   /* If either type is the internal version of sizetype, return the
585      language version.  */
586   if (TREE_CODE (t1) == INTEGER_TYPE && TYPE_IS_SIZETYPE (t1)
587       && TYPE_ORIG_SIZE_TYPE (t1))
588     t1 = TYPE_ORIG_SIZE_TYPE (t1);
589
590   if (TREE_CODE (t2) == INTEGER_TYPE && TYPE_IS_SIZETYPE (t2)
591       && TYPE_ORIG_SIZE_TYPE (t2))
592     t2 = TYPE_ORIG_SIZE_TYPE (t2);
593
594
595   /* Enumerated types are compatible with integer types, but this is
596      not transitive: two enumerated types in the same translation unit
597      are compatible with each other only if they are the same type.  */
598
599   if (TREE_CODE (t1) == ENUMERAL_TYPE && TREE_CODE (t2) != ENUMERAL_TYPE)
600     t1 = c_common_type_for_size (TYPE_PRECISION (t1), TYPE_UNSIGNED (t1));
601   else if (TREE_CODE (t2) == ENUMERAL_TYPE && TREE_CODE (t1) != ENUMERAL_TYPE)
602     t2 = c_common_type_for_size (TYPE_PRECISION (t2), TYPE_UNSIGNED (t2));
603
604   if (t1 == t2)
605     return 1;
606
607   /* Different classes of types can't be compatible.  */
608
609   if (TREE_CODE (t1) != TREE_CODE (t2))
610     return 0;
611
612   /* Qualifiers must match. C99 6.7.3p9 */
613
614   if (TYPE_QUALS (t1) != TYPE_QUALS (t2))
615     return 0;
616
617   /* Allow for two different type nodes which have essentially the same
618      definition.  Note that we already checked for equality of the type
619      qualifiers (just above).  */
620
621   if (TYPE_MAIN_VARIANT (t1) == TYPE_MAIN_VARIANT (t2))
622     return 1;
623
624   /* 1 if no need for warning yet, 2 if warning cause has been seen.  */
625   if (! (attrval = targetm.comp_type_attributes (t1, t2)))
626      return 0;
627
628   /* 1 if no need for warning yet, 2 if warning cause has been seen.  */
629   val = 0;
630
631   switch (TREE_CODE (t1))
632     {
633     case POINTER_TYPE:
634       /* We must give ObjC the first crack at comparing pointers, since
635            protocol qualifiers may be involved.  */
636       if (c_dialect_objc () && (val = objc_comptypes (t1, t2, 0)) >= 0)
637         break;
638       val = (TREE_TYPE (t1) == TREE_TYPE (t2)
639              ? 1 : comptypes (TREE_TYPE (t1), TREE_TYPE (t2)));
640       break;
641
642     case FUNCTION_TYPE:
643       val = function_types_compatible_p (t1, t2);
644       break;
645
646     case ARRAY_TYPE:
647       {
648         tree d1 = TYPE_DOMAIN (t1);
649         tree d2 = TYPE_DOMAIN (t2);
650         bool d1_variable, d2_variable;
651         bool d1_zero, d2_zero;
652         val = 1;
653
654         /* Target types must match incl. qualifiers.  */
655         if (TREE_TYPE (t1) != TREE_TYPE (t2)
656             && 0 == (val = comptypes (TREE_TYPE (t1), TREE_TYPE (t2))))
657           return 0;
658
659         /* Sizes must match unless one is missing or variable.  */
660         if (d1 == 0 || d2 == 0 || d1 == d2)
661           break;
662
663         d1_zero = ! TYPE_MAX_VALUE (d1);
664         d2_zero = ! TYPE_MAX_VALUE (d2);
665
666         d1_variable = (! d1_zero
667                        && (TREE_CODE (TYPE_MIN_VALUE (d1)) != INTEGER_CST
668                            || TREE_CODE (TYPE_MAX_VALUE (d1)) != INTEGER_CST));
669         d2_variable = (! d2_zero
670                        && (TREE_CODE (TYPE_MIN_VALUE (d2)) != INTEGER_CST
671                            || TREE_CODE (TYPE_MAX_VALUE (d2)) != INTEGER_CST));
672
673         if (d1_variable || d2_variable)
674           break;
675         if (d1_zero && d2_zero)
676           break;
677         if (d1_zero || d2_zero
678             || ! tree_int_cst_equal (TYPE_MIN_VALUE (d1), TYPE_MIN_VALUE (d2))
679             || ! tree_int_cst_equal (TYPE_MAX_VALUE (d1), TYPE_MAX_VALUE (d2)))
680           val = 0;
681
682         break;
683       }
684
685     case RECORD_TYPE:
686       /* We are dealing with two distinct structs.  In assorted Objective-C
687          corner cases, however, these can still be deemed equivalent.  */
688       if (c_dialect_objc () && objc_comptypes (t1, t2, 0) == 1)
689         val = 1;
690
691     case ENUMERAL_TYPE:
692     case UNION_TYPE:
693       if (val != 1 && !same_translation_unit_p (t1, t2))
694         val = tagged_types_tu_compatible_p (t1, t2);
695       break;
696
697     case VECTOR_TYPE:
698       val = TYPE_VECTOR_SUBPARTS (t1) == TYPE_VECTOR_SUBPARTS (t2)
699             && comptypes (TREE_TYPE (t1), TREE_TYPE (t2));
700       break;
701
702     default:
703       break;
704     }
705   return attrval == 2 && val == 1 ? 2 : val;
706 }
707
708 /* Return 1 if TTL and TTR are pointers to types that are equivalent,
709    ignoring their qualifiers.  REFLEXIVE is only used by ObjC - set it
710    to 1 or 0 depending if the check of the pointer types is meant to
711    be reflexive or not (typically, assignments are not reflexive,
712    while comparisons are reflexive).
713 */
714
715 static int
716 comp_target_types (tree ttl, tree ttr, int reflexive)
717 {
718   int val;
719
720   /* Give objc_comptypes a crack at letting these types through.  */
721   if ((val = objc_comptypes (ttl, ttr, reflexive)) >= 0)
722     return val;
723
724   val = comptypes (TYPE_MAIN_VARIANT (TREE_TYPE (ttl)),
725                    TYPE_MAIN_VARIANT (TREE_TYPE (ttr)));
726
727   if (val == 2 && pedantic)
728     pedwarn ("types are not quite compatible");
729   return val;
730 }
731 \f
732 /* Subroutines of `comptypes'.  */
733
734 /* Determine whether two trees derive from the same translation unit.
735    If the CONTEXT chain ends in a null, that tree's context is still
736    being parsed, so if two trees have context chains ending in null,
737    they're in the same translation unit.  */
738 int
739 same_translation_unit_p (tree t1, tree t2)
740 {
741   while (t1 && TREE_CODE (t1) != TRANSLATION_UNIT_DECL)
742     switch (TREE_CODE_CLASS (TREE_CODE (t1)))
743       {
744       case 'd': t1 = DECL_CONTEXT (t1); break;
745       case 't': t1 = TYPE_CONTEXT (t1); break;
746       case 'x': t1 = BLOCK_SUPERCONTEXT (t1); break;  /* assume block */
747       default: abort ();
748       }
749
750   while (t2 && TREE_CODE (t2) != TRANSLATION_UNIT_DECL)
751     switch (TREE_CODE_CLASS (TREE_CODE (t2)))
752       {
753       case 'd': t2 = DECL_CONTEXT (t2); break;
754       case 't': t2 = TYPE_CONTEXT (t2); break;
755       case 'x': t2 = BLOCK_SUPERCONTEXT (t2); break;  /* assume block */
756       default: abort ();
757       }
758
759   return t1 == t2;
760 }
761
762 /* The C standard says that two structures in different translation
763    units are compatible with each other only if the types of their
764    fields are compatible (among other things).  So, consider two copies
765    of this structure:  */
766
767 struct tagged_tu_seen {
768   const struct tagged_tu_seen * next;
769   tree t1;
770   tree t2;
771 };
772
773 /* Can they be compatible with each other?  We choose to break the
774    recursion by allowing those types to be compatible.  */
775
776 static const struct tagged_tu_seen * tagged_tu_seen_base;
777
778 /* Return 1 if two 'struct', 'union', or 'enum' types T1 and T2 are
779    compatible.  If the two types are not the same (which has been
780    checked earlier), this can only happen when multiple translation
781    units are being compiled.  See C99 6.2.7 paragraph 1 for the exact
782    rules.  */
783
784 static int
785 tagged_types_tu_compatible_p (tree t1, tree t2)
786 {
787   tree s1, s2;
788   bool needs_warning = false;
789
790   /* We have to verify that the tags of the types are the same.  This
791      is harder than it looks because this may be a typedef, so we have
792      to go look at the original type.  It may even be a typedef of a
793      typedef...
794      In the case of compiler-created builtin structs the TYPE_DECL
795      may be a dummy, with no DECL_ORIGINAL_TYPE.  Don't fault.  */
796   while (TYPE_NAME (t1)
797          && TREE_CODE (TYPE_NAME (t1)) == TYPE_DECL
798          && DECL_ORIGINAL_TYPE (TYPE_NAME (t1)))
799     t1 = DECL_ORIGINAL_TYPE (TYPE_NAME (t1));
800
801   while (TYPE_NAME (t2)
802          && TREE_CODE (TYPE_NAME (t2)) == TYPE_DECL
803          && DECL_ORIGINAL_TYPE (TYPE_NAME (t2)))
804     t2 = DECL_ORIGINAL_TYPE (TYPE_NAME (t2));
805
806   /* C90 didn't have the requirement that the two tags be the same.  */
807   if (flag_isoc99 && TYPE_NAME (t1) != TYPE_NAME (t2))
808     return 0;
809
810   /* C90 didn't say what happened if one or both of the types were
811      incomplete; we choose to follow C99 rules here, which is that they
812      are compatible.  */
813   if (TYPE_SIZE (t1) == NULL
814       || TYPE_SIZE (t2) == NULL)
815     return 1;
816
817   {
818     const struct tagged_tu_seen * tts_i;
819     for (tts_i = tagged_tu_seen_base; tts_i != NULL; tts_i = tts_i->next)
820       if (tts_i->t1 == t1 && tts_i->t2 == t2)
821         return 1;
822   }
823
824   switch (TREE_CODE (t1))
825     {
826     case ENUMERAL_TYPE:
827       {
828
829         /* Speed up the case where the type values are in the same order.  */
830         tree tv1 = TYPE_VALUES (t1);
831         tree tv2 = TYPE_VALUES (t2);
832
833         if (tv1 == tv2)
834           return 1;
835
836         for (;tv1 && tv2; tv1 = TREE_CHAIN (tv1), tv2 = TREE_CHAIN (tv2))
837           {
838             if (TREE_PURPOSE (tv1) != TREE_PURPOSE (tv2))
839               break;
840             if (simple_cst_equal (TREE_VALUE (tv1), TREE_VALUE (tv2)) != 1)
841               return 0;
842           }
843
844         if (tv1 == NULL_TREE && tv2 == NULL_TREE)
845           return 1;
846         if (tv1 == NULL_TREE || tv2 == NULL_TREE)
847           return 0;
848
849         if (list_length (TYPE_VALUES (t1)) != list_length (TYPE_VALUES (t2)))
850           return 0;
851
852         for (s1 = TYPE_VALUES (t1); s1; s1 = TREE_CHAIN (s1))
853           {
854             s2 = purpose_member (TREE_PURPOSE (s1), TYPE_VALUES (t2));
855             if (s2 == NULL
856                 || simple_cst_equal (TREE_VALUE (s1), TREE_VALUE (s2)) != 1)
857               return 0;
858           }
859         return 1;
860       }
861
862     case UNION_TYPE:
863       {
864         if (list_length (TYPE_FIELDS (t1)) != list_length (TYPE_FIELDS (t2)))
865           return 0;
866
867         for (s1 = TYPE_FIELDS (t1); s1; s1 = TREE_CHAIN (s1))
868           {
869             bool ok = false;
870             struct tagged_tu_seen tts;
871
872             tts.next = tagged_tu_seen_base;
873             tts.t1 = t1;
874             tts.t2 = t2;
875             tagged_tu_seen_base = &tts;
876
877             if (DECL_NAME (s1) != NULL)
878               for (s2 = TYPE_FIELDS (t2); s2; s2 = TREE_CHAIN (s2))
879                 if (DECL_NAME (s1) == DECL_NAME (s2))
880                   {
881                     int result;
882                     result = comptypes (TREE_TYPE (s1), TREE_TYPE (s2));
883                     if (result == 0)
884                       break;
885                     if (result == 2)
886                       needs_warning = true;
887
888                     if (TREE_CODE (s1) == FIELD_DECL
889                         && simple_cst_equal (DECL_FIELD_BIT_OFFSET (s1),
890                                              DECL_FIELD_BIT_OFFSET (s2)) != 1)
891                       break;
892
893                     ok = true;
894                     break;
895                   }
896             tagged_tu_seen_base = tts.next;
897             if (! ok)
898               return 0;
899           }
900         return needs_warning ? 2 : 1;
901       }
902
903     case RECORD_TYPE:
904       {
905         struct tagged_tu_seen tts;
906
907         tts.next = tagged_tu_seen_base;
908         tts.t1 = t1;
909         tts.t2 = t2;
910         tagged_tu_seen_base = &tts;
911
912         for (s1 = TYPE_FIELDS (t1), s2 = TYPE_FIELDS (t2);
913              s1 && s2;
914              s1 = TREE_CHAIN (s1), s2 = TREE_CHAIN (s2))
915           {
916             int result;
917             if (TREE_CODE (s1) != TREE_CODE (s2)
918                 || DECL_NAME (s1) != DECL_NAME (s2))
919               break;
920             result = comptypes (TREE_TYPE (s1), TREE_TYPE (s2));
921             if (result == 0)
922               break;
923             if (result == 2)
924               needs_warning = true;
925
926             if (TREE_CODE (s1) == FIELD_DECL
927                 && simple_cst_equal (DECL_FIELD_BIT_OFFSET (s1),
928                                      DECL_FIELD_BIT_OFFSET (s2)) != 1)
929               break;
930           }
931         tagged_tu_seen_base = tts.next;
932         if (s1 && s2)
933           return 0;
934         return needs_warning ? 2 : 1;
935       }
936
937     default:
938       abort ();
939     }
940 }
941
942 /* Return 1 if two function types F1 and F2 are compatible.
943    If either type specifies no argument types,
944    the other must specify a fixed number of self-promoting arg types.
945    Otherwise, if one type specifies only the number of arguments,
946    the other must specify that number of self-promoting arg types.
947    Otherwise, the argument types must match.  */
948
949 static int
950 function_types_compatible_p (tree f1, tree f2)
951 {
952   tree args1, args2;
953   /* 1 if no need for warning yet, 2 if warning cause has been seen.  */
954   int val = 1;
955   int val1;
956   tree ret1, ret2;
957
958   ret1 = TREE_TYPE (f1);
959   ret2 = TREE_TYPE (f2);
960
961   /* 'volatile' qualifiers on a function's return type used to mean
962      the function is noreturn.  */
963   if (TYPE_VOLATILE (ret1) != TYPE_VOLATILE (ret2))
964     pedwarn ("function return types not compatible due to `volatile'");
965   if (TYPE_VOLATILE (ret1))
966     ret1 = build_qualified_type (TYPE_MAIN_VARIANT (ret1),
967                                  TYPE_QUALS (ret1) & ~TYPE_QUAL_VOLATILE);
968   if (TYPE_VOLATILE (ret2))
969     ret2 = build_qualified_type (TYPE_MAIN_VARIANT (ret2),
970                                  TYPE_QUALS (ret2) & ~TYPE_QUAL_VOLATILE);
971   val = comptypes (ret1, ret2);
972   if (val == 0)
973     return 0;
974
975   args1 = TYPE_ARG_TYPES (f1);
976   args2 = TYPE_ARG_TYPES (f2);
977
978   /* An unspecified parmlist matches any specified parmlist
979      whose argument types don't need default promotions.  */
980
981   if (args1 == 0)
982     {
983       if (!self_promoting_args_p (args2))
984         return 0;
985       /* If one of these types comes from a non-prototype fn definition,
986          compare that with the other type's arglist.
987          If they don't match, ask for a warning (but no error).  */
988       if (TYPE_ACTUAL_ARG_TYPES (f1)
989           && 1 != type_lists_compatible_p (args2, TYPE_ACTUAL_ARG_TYPES (f1)))
990         val = 2;
991       return val;
992     }
993   if (args2 == 0)
994     {
995       if (!self_promoting_args_p (args1))
996         return 0;
997       if (TYPE_ACTUAL_ARG_TYPES (f2)
998           && 1 != type_lists_compatible_p (args1, TYPE_ACTUAL_ARG_TYPES (f2)))
999         val = 2;
1000       return val;
1001     }
1002
1003   /* Both types have argument lists: compare them and propagate results.  */
1004   val1 = type_lists_compatible_p (args1, args2);
1005   return val1 != 1 ? val1 : val;
1006 }
1007
1008 /* Check two lists of types for compatibility,
1009    returning 0 for incompatible, 1 for compatible,
1010    or 2 for compatible with warning.  */
1011
1012 static int
1013 type_lists_compatible_p (tree args1, tree args2)
1014 {
1015   /* 1 if no need for warning yet, 2 if warning cause has been seen.  */
1016   int val = 1;
1017   int newval = 0;
1018
1019   while (1)
1020     {
1021       if (args1 == 0 && args2 == 0)
1022         return val;
1023       /* If one list is shorter than the other,
1024          they fail to match.  */
1025       if (args1 == 0 || args2 == 0)
1026         return 0;
1027       /* A null pointer instead of a type
1028          means there is supposed to be an argument
1029          but nothing is specified about what type it has.
1030          So match anything that self-promotes.  */
1031       if (TREE_VALUE (args1) == 0)
1032         {
1033           if (c_type_promotes_to (TREE_VALUE (args2)) != TREE_VALUE (args2))
1034             return 0;
1035         }
1036       else if (TREE_VALUE (args2) == 0)
1037         {
1038           if (c_type_promotes_to (TREE_VALUE (args1)) != TREE_VALUE (args1))
1039             return 0;
1040         }
1041       /* If one of the lists has an error marker, ignore this arg.  */
1042       else if (TREE_CODE (TREE_VALUE (args1)) == ERROR_MARK
1043                || TREE_CODE (TREE_VALUE (args2)) == ERROR_MARK)
1044         ;
1045       else if (! (newval = comptypes (TYPE_MAIN_VARIANT (TREE_VALUE (args1)),
1046                                       TYPE_MAIN_VARIANT (TREE_VALUE (args2)))))
1047         {
1048           /* Allow  wait (union {union wait *u; int *i} *)
1049              and  wait (union wait *)  to be compatible.  */
1050           if (TREE_CODE (TREE_VALUE (args1)) == UNION_TYPE
1051               && (TYPE_NAME (TREE_VALUE (args1)) == 0
1052                   || TYPE_TRANSPARENT_UNION (TREE_VALUE (args1)))
1053               && TREE_CODE (TYPE_SIZE (TREE_VALUE (args1))) == INTEGER_CST
1054               && tree_int_cst_equal (TYPE_SIZE (TREE_VALUE (args1)),
1055                                      TYPE_SIZE (TREE_VALUE (args2))))
1056             {
1057               tree memb;
1058               for (memb = TYPE_FIELDS (TREE_VALUE (args1));
1059                    memb; memb = TREE_CHAIN (memb))
1060                 if (comptypes (TREE_TYPE (memb), TREE_VALUE (args2)))
1061                   break;
1062               if (memb == 0)
1063                 return 0;
1064             }
1065           else if (TREE_CODE (TREE_VALUE (args2)) == UNION_TYPE
1066                    && (TYPE_NAME (TREE_VALUE (args2)) == 0
1067                        || TYPE_TRANSPARENT_UNION (TREE_VALUE (args2)))
1068                    && TREE_CODE (TYPE_SIZE (TREE_VALUE (args2))) == INTEGER_CST
1069                    && tree_int_cst_equal (TYPE_SIZE (TREE_VALUE (args2)),
1070                                           TYPE_SIZE (TREE_VALUE (args1))))
1071             {
1072               tree memb;
1073               for (memb = TYPE_FIELDS (TREE_VALUE (args2));
1074                    memb; memb = TREE_CHAIN (memb))
1075                 if (comptypes (TREE_TYPE (memb), TREE_VALUE (args1)))
1076                   break;
1077               if (memb == 0)
1078                 return 0;
1079             }
1080           else
1081             return 0;
1082         }
1083
1084       /* comptypes said ok, but record if it said to warn.  */
1085       if (newval > val)
1086         val = newval;
1087
1088       args1 = TREE_CHAIN (args1);
1089       args2 = TREE_CHAIN (args2);
1090     }
1091 }
1092 \f
1093 /* Compute the size to increment a pointer by.  */
1094
1095 tree
1096 c_size_in_bytes (tree type)
1097 {
1098   enum tree_code code = TREE_CODE (type);
1099
1100   if (code == FUNCTION_TYPE || code == VOID_TYPE || code == ERROR_MARK)
1101     return size_one_node;
1102
1103   if (!COMPLETE_OR_VOID_TYPE_P (type))
1104     {
1105       error ("arithmetic on pointer to an incomplete type");
1106       return size_one_node;
1107     }
1108
1109   /* Convert in case a char is more than one unit.  */
1110   return size_binop (CEIL_DIV_EXPR, TYPE_SIZE_UNIT (type),
1111                      size_int (TYPE_PRECISION (char_type_node)
1112                                / BITS_PER_UNIT));
1113 }
1114 \f
1115 /* Return either DECL or its known constant value (if it has one).  */
1116
1117 tree
1118 decl_constant_value (tree decl)
1119 {
1120   if (/* Don't change a variable array bound or initial value to a constant
1121          in a place where a variable is invalid.  Note that DECL_INITIAL
1122          isn't valid for a PARM_DECL.  */
1123       current_function_decl != 0
1124       && TREE_CODE (decl) != PARM_DECL
1125       && ! TREE_THIS_VOLATILE (decl)
1126       && TREE_READONLY (decl)
1127       && DECL_INITIAL (decl) != 0
1128       && TREE_CODE (DECL_INITIAL (decl)) != ERROR_MARK
1129       /* This is invalid if initial value is not constant.
1130          If it has either a function call, a memory reference,
1131          or a variable, then re-evaluating it could give different results.  */
1132       && TREE_CONSTANT (DECL_INITIAL (decl))
1133       /* Check for cases where this is sub-optimal, even though valid.  */
1134       && TREE_CODE (DECL_INITIAL (decl)) != CONSTRUCTOR)
1135     return DECL_INITIAL (decl);
1136   return decl;
1137 }
1138
1139 /* Return either DECL or its known constant value (if it has one), but
1140    return DECL if pedantic or DECL has mode BLKmode.  This is for
1141    bug-compatibility with the old behavior of decl_constant_value
1142    (before GCC 3.0); every use of this function is a bug and it should
1143    be removed before GCC 3.1.  It is not appropriate to use pedantic
1144    in a way that affects optimization, and BLKmode is probably not the
1145    right test for avoiding misoptimizations either.  */
1146
1147 static tree
1148 decl_constant_value_for_broken_optimization (tree decl)
1149 {
1150   if (pedantic || DECL_MODE (decl) == BLKmode)
1151     return decl;
1152   else
1153     return decl_constant_value (decl);
1154 }
1155
1156
1157 /* Perform the default conversion of arrays and functions to pointers.
1158    Return the result of converting EXP.  For any other expression, just
1159    return EXP.  */
1160
1161 static tree
1162 default_function_array_conversion (tree exp)
1163 {
1164   tree orig_exp;
1165   tree type = TREE_TYPE (exp);
1166   enum tree_code code = TREE_CODE (type);
1167   int not_lvalue = 0;
1168
1169   /* Strip NON_LVALUE_EXPRs and no-op conversions, since we aren't using as
1170      an lvalue.
1171
1172      Do not use STRIP_NOPS here!  It will remove conversions from pointer
1173      to integer and cause infinite recursion.  */
1174   orig_exp = exp;
1175   while (TREE_CODE (exp) == NON_LVALUE_EXPR
1176          || (TREE_CODE (exp) == NOP_EXPR
1177              && TREE_TYPE (TREE_OPERAND (exp, 0)) == TREE_TYPE (exp)))
1178     {
1179       if (TREE_CODE (exp) == NON_LVALUE_EXPR)
1180         not_lvalue = 1;
1181       exp = TREE_OPERAND (exp, 0);
1182     }
1183
1184   if (TREE_NO_WARNING (orig_exp))
1185     TREE_NO_WARNING (exp) = 1;
1186
1187   if (code == FUNCTION_TYPE)
1188     {
1189       return build_unary_op (ADDR_EXPR, exp, 0);
1190     }
1191   if (code == ARRAY_TYPE)
1192     {
1193       tree adr;
1194       tree restype = TREE_TYPE (type);
1195       tree ptrtype;
1196       int constp = 0;
1197       int volatilep = 0;
1198       int lvalue_array_p;
1199
1200       if (TREE_CODE_CLASS (TREE_CODE (exp)) == 'r' || DECL_P (exp))
1201         {
1202           constp = TREE_READONLY (exp);
1203           volatilep = TREE_THIS_VOLATILE (exp);
1204         }
1205
1206       if (TYPE_QUALS (type) || constp || volatilep)
1207         restype
1208           = c_build_qualified_type (restype,
1209                                     TYPE_QUALS (type)
1210                                     | (constp * TYPE_QUAL_CONST)
1211                                     | (volatilep * TYPE_QUAL_VOLATILE));
1212
1213       if (TREE_CODE (exp) == INDIRECT_REF)
1214         return convert (build_pointer_type (restype),
1215                         TREE_OPERAND (exp, 0));
1216
1217       if (TREE_CODE (exp) == COMPOUND_EXPR)
1218         {
1219           tree op1 = default_conversion (TREE_OPERAND (exp, 1));
1220           return build (COMPOUND_EXPR, TREE_TYPE (op1),
1221                         TREE_OPERAND (exp, 0), op1);
1222         }
1223
1224       lvalue_array_p = !not_lvalue && lvalue_p (exp);
1225       if (!flag_isoc99 && !lvalue_array_p)
1226         {
1227           /* Before C99, non-lvalue arrays do not decay to pointers.
1228              Normally, using such an array would be invalid; but it can
1229              be used correctly inside sizeof or as a statement expression.
1230              Thus, do not give an error here; an error will result later.  */
1231           return exp;
1232         }
1233
1234       ptrtype = build_pointer_type (restype);
1235
1236       if (TREE_CODE (exp) == VAR_DECL)
1237         {
1238           /* We are making an ADDR_EXPR of ptrtype.  This is a valid
1239              ADDR_EXPR because it's the best way of representing what
1240              happens in C when we take the address of an array and place
1241              it in a pointer to the element type.  */
1242           adr = build1 (ADDR_EXPR, ptrtype, exp);
1243           if (!c_mark_addressable (exp))
1244             return error_mark_node;
1245           TREE_SIDE_EFFECTS (adr) = 0;   /* Default would be, same as EXP.  */
1246           return adr;
1247         }
1248       /* This way is better for a COMPONENT_REF since it can
1249          simplify the offset for a component.  */
1250       adr = build_unary_op (ADDR_EXPR, exp, 1);
1251       return convert (ptrtype, adr);
1252     }
1253   return exp;
1254 }
1255
1256 /* Perform default promotions for C data used in expressions.
1257    Arrays and functions are converted to pointers;
1258    enumeral types or short or char, to int.
1259    In addition, manifest constants symbols are replaced by their values.  */
1260
1261 tree
1262 default_conversion (tree exp)
1263 {
1264   tree orig_exp;
1265   tree type = TREE_TYPE (exp);
1266   enum tree_code code = TREE_CODE (type);
1267
1268   if (code == FUNCTION_TYPE || code == ARRAY_TYPE)
1269     return default_function_array_conversion (exp);
1270
1271   /* Constants can be used directly unless they're not loadable.  */
1272   if (TREE_CODE (exp) == CONST_DECL)
1273     exp = DECL_INITIAL (exp);
1274
1275   /* Replace a nonvolatile const static variable with its value unless
1276      it is an array, in which case we must be sure that taking the
1277      address of the array produces consistent results.  */
1278   else if (optimize && TREE_CODE (exp) == VAR_DECL && code != ARRAY_TYPE)
1279     {
1280       exp = decl_constant_value_for_broken_optimization (exp);
1281       type = TREE_TYPE (exp);
1282     }
1283
1284   /* Strip NON_LVALUE_EXPRs and no-op conversions, since we aren't using as
1285      an lvalue.
1286
1287      Do not use STRIP_NOPS here!  It will remove conversions from pointer
1288      to integer and cause infinite recursion.  */
1289   orig_exp = exp;
1290   while (TREE_CODE (exp) == NON_LVALUE_EXPR
1291          || (TREE_CODE (exp) == NOP_EXPR
1292              && TREE_TYPE (TREE_OPERAND (exp, 0)) == TREE_TYPE (exp)))
1293     exp = TREE_OPERAND (exp, 0);
1294
1295   if (TREE_NO_WARNING (orig_exp))
1296     TREE_NO_WARNING (exp) = 1;
1297
1298   /* Normally convert enums to int,
1299      but convert wide enums to something wider.  */
1300   if (code == ENUMERAL_TYPE)
1301     {
1302       type = c_common_type_for_size (MAX (TYPE_PRECISION (type),
1303                                           TYPE_PRECISION (integer_type_node)),
1304                                      ((TYPE_PRECISION (type)
1305                                        >= TYPE_PRECISION (integer_type_node))
1306                                       && TYPE_UNSIGNED (type)));
1307
1308       return convert (type, exp);
1309     }
1310
1311   if (TREE_CODE (exp) == COMPONENT_REF
1312       && DECL_C_BIT_FIELD (TREE_OPERAND (exp, 1))
1313       /* If it's thinner than an int, promote it like a
1314          c_promoting_integer_type_p, otherwise leave it alone.  */
1315       && 0 > compare_tree_int (DECL_SIZE (TREE_OPERAND (exp, 1)),
1316                                TYPE_PRECISION (integer_type_node)))
1317     return convert (integer_type_node, exp);
1318
1319   if (c_promoting_integer_type_p (type))
1320     {
1321       /* Preserve unsignedness if not really getting any wider.  */
1322       if (TYPE_UNSIGNED (type)
1323           && TYPE_PRECISION (type) == TYPE_PRECISION (integer_type_node))
1324         return convert (unsigned_type_node, exp);
1325
1326       return convert (integer_type_node, exp);
1327     }
1328
1329   if (code == VOID_TYPE)
1330     {
1331       error ("void value not ignored as it ought to be");
1332       return error_mark_node;
1333     }
1334   return exp;
1335 }
1336 \f
1337 /* Look up COMPONENT in a structure or union DECL.
1338
1339    If the component name is not found, returns NULL_TREE.  Otherwise,
1340    the return value is a TREE_LIST, with each TREE_VALUE a FIELD_DECL
1341    stepping down the chain to the component, which is in the last
1342    TREE_VALUE of the list.  Normally the list is of length one, but if
1343    the component is embedded within (nested) anonymous structures or
1344    unions, the list steps down the chain to the component.  */
1345
1346 static tree
1347 lookup_field (tree decl, tree component)
1348 {
1349   tree type = TREE_TYPE (decl);
1350   tree field;
1351
1352   /* If TYPE_LANG_SPECIFIC is set, then it is a sorted array of pointers
1353      to the field elements.  Use a binary search on this array to quickly
1354      find the element.  Otherwise, do a linear search.  TYPE_LANG_SPECIFIC
1355      will always be set for structures which have many elements.  */
1356
1357   if (TYPE_LANG_SPECIFIC (type))
1358     {
1359       int bot, top, half;
1360       tree *field_array = &TYPE_LANG_SPECIFIC (type)->s->elts[0];
1361
1362       field = TYPE_FIELDS (type);
1363       bot = 0;
1364       top = TYPE_LANG_SPECIFIC (type)->s->len;
1365       while (top - bot > 1)
1366         {
1367           half = (top - bot + 1) >> 1;
1368           field = field_array[bot+half];
1369
1370           if (DECL_NAME (field) == NULL_TREE)
1371             {
1372               /* Step through all anon unions in linear fashion.  */
1373               while (DECL_NAME (field_array[bot]) == NULL_TREE)
1374                 {
1375                   field = field_array[bot++];
1376                   if (TREE_CODE (TREE_TYPE (field)) == RECORD_TYPE
1377                       || TREE_CODE (TREE_TYPE (field)) == UNION_TYPE)
1378                     {
1379                       tree anon = lookup_field (field, component);
1380
1381                       if (anon)
1382                         return tree_cons (NULL_TREE, field, anon);
1383                     }
1384                 }
1385
1386               /* Entire record is only anon unions.  */
1387               if (bot > top)
1388                 return NULL_TREE;
1389
1390               /* Restart the binary search, with new lower bound.  */
1391               continue;
1392             }
1393
1394           if (DECL_NAME (field) == component)
1395             break;
1396           if (DECL_NAME (field) < component)
1397             bot += half;
1398           else
1399             top = bot + half;
1400         }
1401
1402       if (DECL_NAME (field_array[bot]) == component)
1403         field = field_array[bot];
1404       else if (DECL_NAME (field) != component)
1405         return NULL_TREE;
1406     }
1407   else
1408     {
1409       for (field = TYPE_FIELDS (type); field; field = TREE_CHAIN (field))
1410         {
1411           if (DECL_NAME (field) == NULL_TREE
1412               && (TREE_CODE (TREE_TYPE (field)) == RECORD_TYPE
1413                   || TREE_CODE (TREE_TYPE (field)) == UNION_TYPE))
1414             {
1415               tree anon = lookup_field (field, component);
1416
1417               if (anon)
1418                 return tree_cons (NULL_TREE, field, anon);
1419             }
1420
1421           if (DECL_NAME (field) == component)
1422             break;
1423         }
1424
1425       if (field == NULL_TREE)
1426         return NULL_TREE;
1427     }
1428
1429   return tree_cons (NULL_TREE, field, NULL_TREE);
1430 }
1431
1432 /* Make an expression to refer to the COMPONENT field of
1433    structure or union value DATUM.  COMPONENT is an IDENTIFIER_NODE.  */
1434
1435 tree
1436 build_component_ref (tree datum, tree component)
1437 {
1438   tree type = TREE_TYPE (datum);
1439   enum tree_code code = TREE_CODE (type);
1440   tree field = NULL;
1441   tree ref;
1442
1443   if (!objc_is_public (datum, component))
1444     return error_mark_node;
1445
1446   /* If DATUM is a COMPOUND_EXPR, move our reference inside it.
1447      Ensure that the arguments are not lvalues; otherwise,
1448      if the component is an array, it would wrongly decay to a pointer in
1449      C89 mode.
1450      We cannot do this with a COND_EXPR, because in a conditional expression
1451      the default promotions are applied to both sides, and this would yield
1452      the wrong type of the result; for example, if the components have
1453      type "char".  */
1454   switch (TREE_CODE (datum))
1455     {
1456     case COMPOUND_EXPR:
1457       {
1458         tree value = build_component_ref (TREE_OPERAND (datum, 1), component);
1459         return build (COMPOUND_EXPR, TREE_TYPE (value),
1460                       TREE_OPERAND (datum, 0), non_lvalue (value));
1461       }
1462     default:
1463       break;
1464     }
1465
1466   /* See if there is a field or component with name COMPONENT.  */
1467
1468   if (code == RECORD_TYPE || code == UNION_TYPE)
1469     {
1470       if (!COMPLETE_TYPE_P (type))
1471         {
1472           c_incomplete_type_error (NULL_TREE, type);
1473           return error_mark_node;
1474         }
1475
1476       field = lookup_field (datum, component);
1477
1478       if (!field)
1479         {
1480           error ("%s has no member named `%s'",
1481                  code == RECORD_TYPE ? "structure" : "union",
1482                  IDENTIFIER_POINTER (component));
1483           return error_mark_node;
1484         }
1485
1486       /* Chain the COMPONENT_REFs if necessary down to the FIELD.
1487          This might be better solved in future the way the C++ front
1488          end does it - by giving the anonymous entities each a
1489          separate name and type, and then have build_component_ref
1490          recursively call itself.  We can't do that here.  */
1491       do
1492         {
1493           tree subdatum = TREE_VALUE (field);
1494
1495           if (TREE_TYPE (subdatum) == error_mark_node)
1496             return error_mark_node;
1497
1498           ref = build (COMPONENT_REF, TREE_TYPE (subdatum), datum, subdatum,
1499                        NULL_TREE);
1500           if (TREE_READONLY (datum) || TREE_READONLY (subdatum))
1501             TREE_READONLY (ref) = 1;
1502           if (TREE_THIS_VOLATILE (datum) || TREE_THIS_VOLATILE (subdatum))
1503             TREE_THIS_VOLATILE (ref) = 1;
1504
1505           if (TREE_DEPRECATED (subdatum))
1506             warn_deprecated_use (subdatum);
1507
1508           datum = ref;
1509
1510           field = TREE_CHAIN (field);
1511         }
1512       while (field);
1513
1514       return ref;
1515     }
1516   else if (code != ERROR_MARK)
1517     error ("request for member `%s' in something not a structure or union",
1518             IDENTIFIER_POINTER (component));
1519
1520   return error_mark_node;
1521 }
1522 \f
1523 /* Given an expression PTR for a pointer, return an expression
1524    for the value pointed to.
1525    ERRORSTRING is the name of the operator to appear in error messages.  */
1526
1527 tree
1528 build_indirect_ref (tree ptr, const char *errorstring)
1529 {
1530   tree pointer = default_conversion (ptr);
1531   tree type = TREE_TYPE (pointer);
1532
1533   if (TREE_CODE (type) == POINTER_TYPE)
1534     {
1535       if (TREE_CODE (pointer) == ADDR_EXPR
1536           && (TREE_TYPE (TREE_OPERAND (pointer, 0))
1537               == TREE_TYPE (type)))
1538         return TREE_OPERAND (pointer, 0);
1539       else
1540         {
1541           tree t = TREE_TYPE (type);
1542           tree ref = build1 (INDIRECT_REF, TYPE_MAIN_VARIANT (t), pointer);
1543
1544           if (!COMPLETE_OR_VOID_TYPE_P (t) && TREE_CODE (t) != ARRAY_TYPE)
1545             {
1546               error ("dereferencing pointer to incomplete type");
1547               return error_mark_node;
1548             }
1549           if (VOID_TYPE_P (t) && skip_evaluation == 0)
1550             warning ("dereferencing `void *' pointer");
1551
1552           /* We *must* set TREE_READONLY when dereferencing a pointer to const,
1553              so that we get the proper error message if the result is used
1554              to assign to.  Also, &* is supposed to be a no-op.
1555              And ANSI C seems to specify that the type of the result
1556              should be the const type.  */
1557           /* A de-reference of a pointer to const is not a const.  It is valid
1558              to change it via some other pointer.  */
1559           TREE_READONLY (ref) = TYPE_READONLY (t);
1560           TREE_SIDE_EFFECTS (ref)
1561             = TYPE_VOLATILE (t) || TREE_SIDE_EFFECTS (pointer);
1562           TREE_THIS_VOLATILE (ref) = TYPE_VOLATILE (t);
1563           return ref;
1564         }
1565     }
1566   else if (TREE_CODE (pointer) != ERROR_MARK)
1567     error ("invalid type argument of `%s'", errorstring);
1568   return error_mark_node;
1569 }
1570
1571 /* This handles expressions of the form "a[i]", which denotes
1572    an array reference.
1573
1574    This is logically equivalent in C to *(a+i), but we may do it differently.
1575    If A is a variable or a member, we generate a primitive ARRAY_REF.
1576    This avoids forcing the array out of registers, and can work on
1577    arrays that are not lvalues (for example, members of structures returned
1578    by functions).  */
1579
1580 tree
1581 build_array_ref (tree array, tree index)
1582 {
1583   if (index == 0)
1584     {
1585       error ("subscript missing in array reference");
1586       return error_mark_node;
1587     }
1588
1589   if (TREE_TYPE (array) == error_mark_node
1590       || TREE_TYPE (index) == error_mark_node)
1591     return error_mark_node;
1592
1593   if (TREE_CODE (TREE_TYPE (array)) == ARRAY_TYPE)
1594     {
1595       tree rval, type;
1596
1597       /* Subscripting with type char is likely to lose
1598          on a machine where chars are signed.
1599          So warn on any machine, but optionally.
1600          Don't warn for unsigned char since that type is safe.
1601          Don't warn for signed char because anyone who uses that
1602          must have done so deliberately.  */
1603       if (warn_char_subscripts
1604           && TYPE_MAIN_VARIANT (TREE_TYPE (index)) == char_type_node)
1605         warning ("array subscript has type `char'");
1606
1607       /* Apply default promotions *after* noticing character types.  */
1608       index = default_conversion (index);
1609
1610       /* Require integer *after* promotion, for sake of enums.  */
1611       if (TREE_CODE (TREE_TYPE (index)) != INTEGER_TYPE)
1612         {
1613           error ("array subscript is not an integer");
1614           return error_mark_node;
1615         }
1616
1617       /* An array that is indexed by a non-constant
1618          cannot be stored in a register; we must be able to do
1619          address arithmetic on its address.
1620          Likewise an array of elements of variable size.  */
1621       if (TREE_CODE (index) != INTEGER_CST
1622           || (COMPLETE_TYPE_P (TREE_TYPE (TREE_TYPE (array)))
1623               && TREE_CODE (TYPE_SIZE (TREE_TYPE (TREE_TYPE (array)))) != INTEGER_CST))
1624         {
1625           if (!c_mark_addressable (array))
1626             return error_mark_node;
1627         }
1628       /* An array that is indexed by a constant value which is not within
1629          the array bounds cannot be stored in a register either; because we
1630          would get a crash in store_bit_field/extract_bit_field when trying
1631          to access a non-existent part of the register.  */
1632       if (TREE_CODE (index) == INTEGER_CST
1633           && TYPE_DOMAIN (TREE_TYPE (array))
1634           && ! int_fits_type_p (index, TYPE_DOMAIN (TREE_TYPE (array))))
1635         {
1636           if (!c_mark_addressable (array))
1637             return error_mark_node;
1638         }
1639
1640       if (pedantic)
1641         {
1642           tree foo = array;
1643           while (TREE_CODE (foo) == COMPONENT_REF)
1644             foo = TREE_OPERAND (foo, 0);
1645           if (TREE_CODE (foo) == VAR_DECL && C_DECL_REGISTER (foo))
1646             pedwarn ("ISO C forbids subscripting `register' array");
1647           else if (! flag_isoc99 && ! lvalue_p (foo))
1648             pedwarn ("ISO C90 forbids subscripting non-lvalue array");
1649         }
1650
1651       type = TYPE_MAIN_VARIANT (TREE_TYPE (TREE_TYPE (array)));
1652       rval = build (ARRAY_REF, type, array, index, NULL_TREE, NULL_TREE);
1653       /* Array ref is const/volatile if the array elements are
1654          or if the array is.  */
1655       TREE_READONLY (rval)
1656         |= (TYPE_READONLY (TREE_TYPE (TREE_TYPE (array)))
1657             | TREE_READONLY (array));
1658       TREE_SIDE_EFFECTS (rval)
1659         |= (TYPE_VOLATILE (TREE_TYPE (TREE_TYPE (array)))
1660             | TREE_SIDE_EFFECTS (array));
1661       TREE_THIS_VOLATILE (rval)
1662         |= (TYPE_VOLATILE (TREE_TYPE (TREE_TYPE (array)))
1663             /* This was added by rms on 16 Nov 91.
1664                It fixes  vol struct foo *a;  a->elts[1]
1665                in an inline function.
1666                Hope it doesn't break something else.  */
1667             | TREE_THIS_VOLATILE (array));
1668       return require_complete_type (fold (rval));
1669     }
1670
1671   {
1672     tree ar = default_conversion (array);
1673     tree ind = default_conversion (index);
1674
1675     /* Do the same warning check as above, but only on the part that's
1676        syntactically the index and only if it is also semantically
1677        the index.  */
1678     if (warn_char_subscripts
1679         && TREE_CODE (TREE_TYPE (index)) == INTEGER_TYPE
1680         && TYPE_MAIN_VARIANT (TREE_TYPE (index)) == char_type_node)
1681       warning ("subscript has type `char'");
1682
1683     /* Put the integer in IND to simplify error checking.  */
1684     if (TREE_CODE (TREE_TYPE (ar)) == INTEGER_TYPE)
1685       {
1686         tree temp = ar;
1687         ar = ind;
1688         ind = temp;
1689       }
1690
1691     if (ar == error_mark_node)
1692       return ar;
1693
1694     if (TREE_CODE (TREE_TYPE (ar)) != POINTER_TYPE
1695         || TREE_CODE (TREE_TYPE (TREE_TYPE (ar))) == FUNCTION_TYPE)
1696       {
1697         error ("subscripted value is neither array nor pointer");
1698         return error_mark_node;
1699       }
1700     if (TREE_CODE (TREE_TYPE (ind)) != INTEGER_TYPE)
1701       {
1702         error ("array subscript is not an integer");
1703         return error_mark_node;
1704       }
1705
1706     return build_indirect_ref (build_binary_op (PLUS_EXPR, ar, ind, 0),
1707                                "array indexing");
1708   }
1709 }
1710 \f
1711 /* Build an external reference to identifier ID.  FUN indicates
1712    whether this will be used for a function call.  */
1713 tree
1714 build_external_ref (tree id, int fun)
1715 {
1716   tree ref;
1717   tree decl = lookup_name (id);
1718   tree objc_ivar = lookup_objc_ivar (id);
1719
1720   if (decl && decl != error_mark_node)
1721     {
1722       /* Properly declared variable or function reference.  */
1723       if (!objc_ivar)
1724         ref = decl;
1725       else if (decl != objc_ivar && !DECL_FILE_SCOPE_P (decl))
1726         {
1727           warning ("local declaration of `%s' hides instance variable",
1728                    IDENTIFIER_POINTER (id));
1729           ref = decl;
1730         }
1731       else
1732         ref = objc_ivar;
1733     }
1734   else if (objc_ivar)
1735     ref = objc_ivar;
1736   else if (fun)
1737     /* Implicit function declaration.  */
1738     ref = implicitly_declare (id);
1739   else if (decl == error_mark_node)
1740     /* Don't complain about something that's already been
1741        complained about.  */
1742     return error_mark_node;
1743   else
1744     {
1745       undeclared_variable (id);
1746       return error_mark_node;
1747     }
1748
1749   if (TREE_TYPE (ref) == error_mark_node)
1750     return error_mark_node;
1751
1752   if (TREE_DEPRECATED (ref))
1753     warn_deprecated_use (ref);
1754
1755   if (!skip_evaluation)
1756     assemble_external (ref);
1757   TREE_USED (ref) = 1;
1758
1759   if (TREE_CODE (ref) == CONST_DECL)
1760     {
1761       ref = DECL_INITIAL (ref);
1762       TREE_CONSTANT (ref) = 1;
1763       TREE_INVARIANT (ref) = 1;
1764     }
1765   else if (current_function_decl != 0
1766            && !DECL_FILE_SCOPE_P (current_function_decl)
1767            && (TREE_CODE (ref) == VAR_DECL
1768                || TREE_CODE (ref) == PARM_DECL
1769                || TREE_CODE (ref) == FUNCTION_DECL))
1770     {
1771       tree context = decl_function_context (ref);
1772
1773       if (context != 0 && context != current_function_decl)
1774         DECL_NONLOCAL (ref) = 1;
1775     }
1776
1777   return ref;
1778 }
1779
1780 /* Build a function call to function FUNCTION with parameters PARAMS.
1781    PARAMS is a list--a chain of TREE_LIST nodes--in which the
1782    TREE_VALUE of each node is a parameter-expression.
1783    FUNCTION's data type may be a function type or a pointer-to-function.  */
1784
1785 tree
1786 build_function_call (tree function, tree params)
1787 {
1788   tree fntype, fundecl = 0;
1789   tree coerced_params;
1790   tree name = NULL_TREE, result;
1791   tree tem;
1792
1793   /* Strip NON_LVALUE_EXPRs, etc., since we aren't using as an lvalue.  */
1794   STRIP_TYPE_NOPS (function);
1795
1796   /* Convert anything with function type to a pointer-to-function.  */
1797   if (TREE_CODE (function) == FUNCTION_DECL)
1798     {
1799       name = DECL_NAME (function);
1800
1801       /* Differs from default_conversion by not setting TREE_ADDRESSABLE
1802          (because calling an inline function does not mean the function
1803          needs to be separately compiled).  */
1804       fntype = build_type_variant (TREE_TYPE (function),
1805                                    TREE_READONLY (function),
1806                                    TREE_THIS_VOLATILE (function));
1807       fundecl = function;
1808       function = build1 (ADDR_EXPR, build_pointer_type (fntype), function);
1809     }
1810   else
1811     function = default_conversion (function);
1812
1813   fntype = TREE_TYPE (function);
1814
1815   if (TREE_CODE (fntype) == ERROR_MARK)
1816     return error_mark_node;
1817
1818   if (!(TREE_CODE (fntype) == POINTER_TYPE
1819         && TREE_CODE (TREE_TYPE (fntype)) == FUNCTION_TYPE))
1820     {
1821       error ("called object is not a function");
1822       return error_mark_node;
1823     }
1824
1825   if (fundecl && TREE_THIS_VOLATILE (fundecl))
1826     current_function_returns_abnormally = 1;
1827
1828   /* fntype now gets the type of function pointed to.  */
1829   fntype = TREE_TYPE (fntype);
1830
1831   /* Check that the function is called through a compatible prototype.
1832      If it is not, replace the call by a trap, wrapped up in a compound
1833      expression if necessary.  This has the nice side-effect to prevent
1834      the tree-inliner from generating invalid assignment trees which may
1835      blow up in the RTL expander later.
1836
1837      ??? This doesn't work for Objective-C because objc_comptypes
1838      refuses to compare function prototypes, yet the compiler appears
1839      to build calls that are flagged as invalid by C's comptypes.  */
1840   if (! c_dialect_objc ()
1841       && TREE_CODE (function) == NOP_EXPR
1842       && TREE_CODE (tem = TREE_OPERAND (function, 0)) == ADDR_EXPR
1843       && TREE_CODE (tem = TREE_OPERAND (tem, 0)) == FUNCTION_DECL
1844       && ! comptypes (fntype, TREE_TYPE (tem)))
1845     {
1846       tree return_type = TREE_TYPE (fntype);
1847       tree trap = build_function_call (built_in_decls[BUILT_IN_TRAP],
1848                                        NULL_TREE);
1849
1850       /* This situation leads to run-time undefined behavior.  We can't,
1851          therefore, simply error unless we can prove that all possible
1852          executions of the program must execute the code.  */
1853       warning ("function called through a non-compatible type");
1854
1855       /* We can, however, treat "undefined" any way we please.
1856          Call abort to encourage the user to fix the program.  */
1857       inform ("if this code is reached, the program will abort");
1858
1859       if (VOID_TYPE_P (return_type))
1860         return trap;
1861       else
1862         {
1863           tree rhs;
1864
1865           if (AGGREGATE_TYPE_P (return_type))
1866             rhs = build_compound_literal (return_type,
1867                                           build_constructor (return_type,
1868                                                              NULL_TREE));
1869           else
1870             rhs = fold (build1 (NOP_EXPR, return_type, integer_zero_node));
1871
1872           return build (COMPOUND_EXPR, return_type, trap, rhs);
1873         }
1874     }
1875
1876   /* Convert the parameters to the types declared in the
1877      function prototype, or apply default promotions.  */
1878
1879   coerced_params
1880     = convert_arguments (TYPE_ARG_TYPES (fntype), params, name, fundecl);
1881
1882   /* Check that the arguments to the function are valid.  */
1883
1884   check_function_arguments (TYPE_ATTRIBUTES (fntype), coerced_params);
1885
1886   result = build (CALL_EXPR, TREE_TYPE (fntype),
1887                   function, coerced_params, NULL_TREE);
1888   TREE_SIDE_EFFECTS (result) = 1;
1889
1890   if (require_constant_value)
1891     {
1892       result = fold_initializer (result);
1893
1894       if (TREE_CONSTANT (result)
1895           && (name == NULL_TREE
1896               || strncmp (IDENTIFIER_POINTER (name), "__builtin_", 10) != 0))
1897         pedwarn_init ("initializer element is not constant");
1898     }
1899   else
1900     result = fold (result);
1901
1902   if (VOID_TYPE_P (TREE_TYPE (result)))
1903     return result;
1904   return require_complete_type (result);
1905 }
1906 \f
1907 /* Convert the argument expressions in the list VALUES
1908    to the types in the list TYPELIST.  The result is a list of converted
1909    argument expressions.
1910
1911    If TYPELIST is exhausted, or when an element has NULL as its type,
1912    perform the default conversions.
1913
1914    PARMLIST is the chain of parm decls for the function being called.
1915    It may be 0, if that info is not available.
1916    It is used only for generating error messages.
1917
1918    NAME is an IDENTIFIER_NODE or 0.  It is used only for error messages.
1919
1920    This is also where warnings about wrong number of args are generated.
1921
1922    Both VALUES and the returned value are chains of TREE_LIST nodes
1923    with the elements of the list in the TREE_VALUE slots of those nodes.  */
1924
1925 static tree
1926 convert_arguments (tree typelist, tree values, tree name, tree fundecl)
1927 {
1928   tree typetail, valtail;
1929   tree result = NULL;
1930   int parmnum;
1931
1932   /* Scan the given expressions and types, producing individual
1933      converted arguments and pushing them on RESULT in reverse order.  */
1934
1935   for (valtail = values, typetail = typelist, parmnum = 0;
1936        valtail;
1937        valtail = TREE_CHAIN (valtail), parmnum++)
1938     {
1939       tree type = typetail ? TREE_VALUE (typetail) : 0;
1940       tree val = TREE_VALUE (valtail);
1941
1942       if (type == void_type_node)
1943         {
1944           if (name)
1945             error ("too many arguments to function `%s'",
1946                    IDENTIFIER_POINTER (name));
1947           else
1948             error ("too many arguments to function");
1949           break;
1950         }
1951
1952       /* Strip NON_LVALUE_EXPRs since we aren't using as an lvalue.  */
1953       /* Do not use STRIP_NOPS here!  We do not want an enumerator with value 0
1954          to convert automatically to a pointer.  */
1955       if (TREE_CODE (val) == NON_LVALUE_EXPR)
1956         val = TREE_OPERAND (val, 0);
1957
1958       val = default_function_array_conversion (val);
1959
1960       val = require_complete_type (val);
1961
1962       if (type != 0)
1963         {
1964           /* Formal parm type is specified by a function prototype.  */
1965           tree parmval;
1966
1967           if (!COMPLETE_TYPE_P (type))
1968             {
1969               error ("type of formal parameter %d is incomplete", parmnum + 1);
1970               parmval = val;
1971             }
1972           else
1973             {
1974               /* Optionally warn about conversions that
1975                  differ from the default conversions.  */
1976               if (warn_conversion || warn_traditional)
1977                 {
1978                   int formal_prec = TYPE_PRECISION (type);
1979
1980                   if (INTEGRAL_TYPE_P (type)
1981                       && TREE_CODE (TREE_TYPE (val)) == REAL_TYPE)
1982                     warn_for_assignment ("%s as integer rather than floating due to prototype", (char *) 0, name, parmnum + 1);
1983                   if (INTEGRAL_TYPE_P (type)
1984                       && TREE_CODE (TREE_TYPE (val)) == COMPLEX_TYPE)
1985                     warn_for_assignment ("%s as integer rather than complex due to prototype", (char *) 0, name, parmnum + 1);
1986                   else if (TREE_CODE (type) == COMPLEX_TYPE
1987                            && TREE_CODE (TREE_TYPE (val)) == REAL_TYPE)
1988                     warn_for_assignment ("%s as complex rather than floating due to prototype", (char *) 0, name, parmnum + 1);
1989                   else if (TREE_CODE (type) == REAL_TYPE
1990                            && INTEGRAL_TYPE_P (TREE_TYPE (val)))
1991                     warn_for_assignment ("%s as floating rather than integer due to prototype", (char *) 0, name, parmnum + 1);
1992                   else if (TREE_CODE (type) == COMPLEX_TYPE
1993                            && INTEGRAL_TYPE_P (TREE_TYPE (val)))
1994                     warn_for_assignment ("%s as complex rather than integer due to prototype", (char *) 0, name, parmnum + 1);
1995                   else if (TREE_CODE (type) == REAL_TYPE
1996                            && TREE_CODE (TREE_TYPE (val)) == COMPLEX_TYPE)
1997                     warn_for_assignment ("%s as floating rather than complex due to prototype", (char *) 0, name, parmnum + 1);
1998                   /* ??? At some point, messages should be written about
1999                      conversions between complex types, but that's too messy
2000                      to do now.  */
2001                   else if (TREE_CODE (type) == REAL_TYPE
2002                            && TREE_CODE (TREE_TYPE (val)) == REAL_TYPE)
2003                     {
2004                       /* Warn if any argument is passed as `float',
2005                          since without a prototype it would be `double'.  */
2006                       if (formal_prec == TYPE_PRECISION (float_type_node))
2007                         warn_for_assignment ("%s as `float' rather than `double' due to prototype", (char *) 0, name, parmnum + 1);
2008                     }
2009                   /* Detect integer changing in width or signedness.
2010                      These warnings are only activated with
2011                      -Wconversion, not with -Wtraditional.  */
2012                   else if (warn_conversion && INTEGRAL_TYPE_P (type)
2013                            && INTEGRAL_TYPE_P (TREE_TYPE (val)))
2014                     {
2015                       tree would_have_been = default_conversion (val);
2016                       tree type1 = TREE_TYPE (would_have_been);
2017
2018                       if (TREE_CODE (type) == ENUMERAL_TYPE
2019                           && (TYPE_MAIN_VARIANT (type)
2020                               == TYPE_MAIN_VARIANT (TREE_TYPE (val))))
2021                         /* No warning if function asks for enum
2022                            and the actual arg is that enum type.  */
2023                         ;
2024                       else if (formal_prec != TYPE_PRECISION (type1))
2025                         warn_for_assignment ("%s with different width due to prototype", (char *) 0, name, parmnum + 1);
2026                       else if (TYPE_UNSIGNED (type) == TYPE_UNSIGNED (type1))
2027                         ;
2028                       /* Don't complain if the formal parameter type
2029                          is an enum, because we can't tell now whether
2030                          the value was an enum--even the same enum.  */
2031                       else if (TREE_CODE (type) == ENUMERAL_TYPE)
2032                         ;
2033                       else if (TREE_CODE (val) == INTEGER_CST
2034                                && int_fits_type_p (val, type))
2035                         /* Change in signedness doesn't matter
2036                            if a constant value is unaffected.  */
2037                         ;
2038                       /* Likewise for a constant in a NOP_EXPR.  */
2039                       else if (TREE_CODE (val) == NOP_EXPR
2040                                && TREE_CODE (TREE_OPERAND (val, 0)) == INTEGER_CST
2041                                && int_fits_type_p (TREE_OPERAND (val, 0), type))
2042                         ;
2043                       /* If the value is extended from a narrower
2044                          unsigned type, it doesn't matter whether we
2045                          pass it as signed or unsigned; the value
2046                          certainly is the same either way.  */
2047                       else if (TYPE_PRECISION (TREE_TYPE (val)) < TYPE_PRECISION (type)
2048                                && TYPE_UNSIGNED (TREE_TYPE (val)))
2049                         ;
2050                       else if (TYPE_UNSIGNED (type))
2051                         warn_for_assignment ("%s as unsigned due to prototype", (char *) 0, name, parmnum + 1);
2052                       else
2053                         warn_for_assignment ("%s as signed due to prototype", (char *) 0, name, parmnum + 1);
2054                     }
2055                 }
2056
2057               parmval = convert_for_assignment (type, val,
2058                                                 (char *) 0, /* arg passing  */
2059                                                 fundecl, name, parmnum + 1);
2060
2061               if (targetm.calls.promote_prototypes (fundecl ? TREE_TYPE (fundecl) : 0)
2062                   && INTEGRAL_TYPE_P (type)
2063                   && (TYPE_PRECISION (type) < TYPE_PRECISION (integer_type_node)))
2064                 parmval = default_conversion (parmval);
2065             }
2066           result = tree_cons (NULL_TREE, parmval, result);
2067         }
2068       else if (TREE_CODE (TREE_TYPE (val)) == REAL_TYPE
2069                && (TYPE_PRECISION (TREE_TYPE (val))
2070                    < TYPE_PRECISION (double_type_node)))
2071         /* Convert `float' to `double'.  */
2072         result = tree_cons (NULL_TREE, convert (double_type_node, val), result);
2073       else
2074         /* Convert `short' and `char' to full-size `int'.  */
2075         result = tree_cons (NULL_TREE, default_conversion (val), result);
2076
2077       if (typetail)
2078         typetail = TREE_CHAIN (typetail);
2079     }
2080
2081   if (typetail != 0 && TREE_VALUE (typetail) != void_type_node)
2082     {
2083       if (name)
2084         error ("too few arguments to function `%s'",
2085                IDENTIFIER_POINTER (name));
2086       else
2087         error ("too few arguments to function");
2088     }
2089
2090   return nreverse (result);
2091 }
2092 \f
2093 /* This is the entry point used by the parser
2094    for binary operators in the input.
2095    In addition to constructing the expression,
2096    we check for operands that were written with other binary operators
2097    in a way that is likely to confuse the user.  */
2098
2099 struct c_expr
2100 parser_build_binary_op (enum tree_code code, struct c_expr arg1,
2101                         struct c_expr arg2)
2102 {
2103   struct c_expr result;
2104
2105   enum tree_code code1 = arg1.original_code;
2106   enum tree_code code2 = arg2.original_code;
2107
2108   result.value = build_binary_op (code, arg1.value, arg2.value, 1);
2109   result.original_code = code;
2110
2111   if (TREE_CODE (result.value) == ERROR_MARK)
2112     return result;
2113
2114   /* Check for cases such as x+y<<z which users are likely
2115      to misinterpret.  */
2116   if (warn_parentheses)
2117     {
2118       if (code == LSHIFT_EXPR || code == RSHIFT_EXPR)
2119         {
2120           if (code1 == PLUS_EXPR || code1 == MINUS_EXPR
2121               || code2 == PLUS_EXPR || code2 == MINUS_EXPR)
2122             warning ("suggest parentheses around + or - inside shift");
2123         }
2124
2125       if (code == TRUTH_ORIF_EXPR)
2126         {
2127           if (code1 == TRUTH_ANDIF_EXPR
2128               || code2 == TRUTH_ANDIF_EXPR)
2129             warning ("suggest parentheses around && within ||");
2130         }
2131
2132       if (code == BIT_IOR_EXPR)
2133         {
2134           if (code1 == BIT_AND_EXPR || code1 == BIT_XOR_EXPR
2135               || code1 == PLUS_EXPR || code1 == MINUS_EXPR
2136               || code2 == BIT_AND_EXPR || code2 == BIT_XOR_EXPR
2137               || code2 == PLUS_EXPR || code2 == MINUS_EXPR)
2138             warning ("suggest parentheses around arithmetic in operand of |");
2139           /* Check cases like x|y==z */
2140           if (TREE_CODE_CLASS (code1) == '<' || TREE_CODE_CLASS (code2) == '<')
2141             warning ("suggest parentheses around comparison in operand of |");
2142         }
2143
2144       if (code == BIT_XOR_EXPR)
2145         {
2146           if (code1 == BIT_AND_EXPR
2147               || code1 == PLUS_EXPR || code1 == MINUS_EXPR
2148               || code2 == BIT_AND_EXPR
2149               || code2 == PLUS_EXPR || code2 == MINUS_EXPR)
2150             warning ("suggest parentheses around arithmetic in operand of ^");
2151           /* Check cases like x^y==z */
2152           if (TREE_CODE_CLASS (code1) == '<' || TREE_CODE_CLASS (code2) == '<')
2153             warning ("suggest parentheses around comparison in operand of ^");
2154         }
2155
2156       if (code == BIT_AND_EXPR)
2157         {
2158           if (code1 == PLUS_EXPR || code1 == MINUS_EXPR
2159               || code2 == PLUS_EXPR || code2 == MINUS_EXPR)
2160             warning ("suggest parentheses around + or - in operand of &");
2161           /* Check cases like x&y==z */
2162           if (TREE_CODE_CLASS (code1) == '<' || TREE_CODE_CLASS (code2) == '<')
2163             warning ("suggest parentheses around comparison in operand of &");
2164         }
2165       /* Similarly, check for cases like 1<=i<=10 that are probably errors.  */
2166       if (TREE_CODE_CLASS (code) == '<'
2167           && (TREE_CODE_CLASS (code1) == '<'
2168               || TREE_CODE_CLASS (code2) == '<'))
2169         warning ("comparisons like X<=Y<=Z do not have their mathematical meaning");
2170
2171     }
2172
2173   unsigned_conversion_warning (result.value, arg1.value);
2174   unsigned_conversion_warning (result.value, arg2.value);
2175   overflow_warning (result.value);
2176
2177   return result;
2178 }
2179 \f
2180 /* Return a tree for the difference of pointers OP0 and OP1.
2181    The resulting tree has type int.  */
2182
2183 static tree
2184 pointer_diff (tree op0, tree op1)
2185 {
2186   tree restype = ptrdiff_type_node;
2187
2188   tree target_type = TREE_TYPE (TREE_TYPE (op0));
2189   tree con0, con1, lit0, lit1;
2190   tree orig_op1 = op1;
2191
2192   if (pedantic || warn_pointer_arith)
2193     {
2194       if (TREE_CODE (target_type) == VOID_TYPE)
2195         pedwarn ("pointer of type `void *' used in subtraction");
2196       if (TREE_CODE (target_type) == FUNCTION_TYPE)
2197         pedwarn ("pointer to a function used in subtraction");
2198     }
2199
2200   /* If the conversion to ptrdiff_type does anything like widening or
2201      converting a partial to an integral mode, we get a convert_expression
2202      that is in the way to do any simplifications.
2203      (fold-const.c doesn't know that the extra bits won't be needed.
2204      split_tree uses STRIP_SIGN_NOPS, which leaves conversions to a
2205      different mode in place.)
2206      So first try to find a common term here 'by hand'; we want to cover
2207      at least the cases that occur in legal static initializers.  */
2208   con0 = TREE_CODE (op0) == NOP_EXPR ? TREE_OPERAND (op0, 0) : op0;
2209   con1 = TREE_CODE (op1) == NOP_EXPR ? TREE_OPERAND (op1, 0) : op1;
2210
2211   if (TREE_CODE (con0) == PLUS_EXPR)
2212     {
2213       lit0 = TREE_OPERAND (con0, 1);
2214       con0 = TREE_OPERAND (con0, 0);
2215     }
2216   else
2217     lit0 = integer_zero_node;
2218
2219   if (TREE_CODE (con1) == PLUS_EXPR)
2220     {
2221       lit1 = TREE_OPERAND (con1, 1);
2222       con1 = TREE_OPERAND (con1, 0);
2223     }
2224   else
2225     lit1 = integer_zero_node;
2226
2227   if (operand_equal_p (con0, con1, 0))
2228     {
2229       op0 = lit0;
2230       op1 = lit1;
2231     }
2232
2233
2234   /* First do the subtraction as integers;
2235      then drop through to build the divide operator.
2236      Do not do default conversions on the minus operator
2237      in case restype is a short type.  */
2238
2239   op0 = build_binary_op (MINUS_EXPR, convert (restype, op0),
2240                          convert (restype, op1), 0);
2241   /* This generates an error if op1 is pointer to incomplete type.  */
2242   if (!COMPLETE_OR_VOID_TYPE_P (TREE_TYPE (TREE_TYPE (orig_op1))))
2243     error ("arithmetic on pointer to an incomplete type");
2244
2245   /* This generates an error if op0 is pointer to incomplete type.  */
2246   op1 = c_size_in_bytes (target_type);
2247
2248   /* Divide by the size, in easiest possible way.  */
2249   return fold (build (EXACT_DIV_EXPR, restype, op0, convert (restype, op1)));
2250 }
2251 \f
2252 /* Construct and perhaps optimize a tree representation
2253    for a unary operation.  CODE, a tree_code, specifies the operation
2254    and XARG is the operand.
2255    For any CODE other than ADDR_EXPR, FLAG nonzero suppresses
2256    the default promotions (such as from short to int).
2257    For ADDR_EXPR, the default promotions are not applied; FLAG nonzero
2258    allows non-lvalues; this is only used to handle conversion of non-lvalue
2259    arrays to pointers in C99.  */
2260
2261 tree
2262 build_unary_op (enum tree_code code, tree xarg, int flag)
2263 {
2264   /* No default_conversion here.  It causes trouble for ADDR_EXPR.  */
2265   tree arg = xarg;
2266   tree argtype = 0;
2267   enum tree_code typecode = TREE_CODE (TREE_TYPE (arg));
2268   tree val;
2269   int noconvert = flag;
2270
2271   if (typecode == ERROR_MARK)
2272     return error_mark_node;
2273   if (typecode == ENUMERAL_TYPE || typecode == BOOLEAN_TYPE)
2274     typecode = INTEGER_TYPE;
2275
2276   switch (code)
2277     {
2278     case CONVERT_EXPR:
2279       /* This is used for unary plus, because a CONVERT_EXPR
2280          is enough to prevent anybody from looking inside for
2281          associativity, but won't generate any code.  */
2282       if (!(typecode == INTEGER_TYPE || typecode == REAL_TYPE
2283             || typecode == COMPLEX_TYPE
2284             || typecode == VECTOR_TYPE))
2285         {
2286           error ("wrong type argument to unary plus");
2287           return error_mark_node;
2288         }
2289       else if (!noconvert)
2290         arg = default_conversion (arg);
2291       arg = non_lvalue (arg);
2292       break;
2293
2294     case NEGATE_EXPR:
2295       if (!(typecode == INTEGER_TYPE || typecode == REAL_TYPE
2296             || typecode == COMPLEX_TYPE
2297             || typecode == VECTOR_TYPE))
2298         {
2299           error ("wrong type argument to unary minus");
2300           return error_mark_node;
2301         }
2302       else if (!noconvert)
2303         arg = default_conversion (arg);
2304       break;
2305
2306     case BIT_NOT_EXPR:
2307       if (typecode == INTEGER_TYPE || typecode == VECTOR_TYPE)
2308         {
2309           if (!noconvert)
2310             arg = default_conversion (arg);
2311         }
2312       else if (typecode == COMPLEX_TYPE)
2313         {
2314           code = CONJ_EXPR;
2315           if (pedantic)
2316             pedwarn ("ISO C does not support `~' for complex conjugation");
2317           if (!noconvert)
2318             arg = default_conversion (arg);
2319         }
2320       else
2321         {
2322           error ("wrong type argument to bit-complement");
2323           return error_mark_node;
2324         }
2325       break;
2326
2327     case ABS_EXPR:
2328       if (!(typecode == INTEGER_TYPE || typecode == REAL_TYPE))
2329         {
2330           error ("wrong type argument to abs");
2331           return error_mark_node;
2332         }
2333       else if (!noconvert)
2334         arg = default_conversion (arg);
2335       break;
2336
2337     case CONJ_EXPR:
2338       /* Conjugating a real value is a no-op, but allow it anyway.  */
2339       if (!(typecode == INTEGER_TYPE || typecode == REAL_TYPE
2340             || typecode == COMPLEX_TYPE))
2341         {
2342           error ("wrong type argument to conjugation");
2343           return error_mark_node;
2344         }
2345       else if (!noconvert)
2346         arg = default_conversion (arg);
2347       break;
2348
2349     case TRUTH_NOT_EXPR:
2350       if (typecode != INTEGER_TYPE
2351           && typecode != REAL_TYPE && typecode != POINTER_TYPE
2352           && typecode != COMPLEX_TYPE
2353           /* These will convert to a pointer.  */
2354           && typecode != ARRAY_TYPE && typecode != FUNCTION_TYPE)
2355         {
2356           error ("wrong type argument to unary exclamation mark");
2357           return error_mark_node;
2358         }
2359       arg = lang_hooks.truthvalue_conversion (arg);
2360       return invert_truthvalue (arg);
2361
2362     case NOP_EXPR:
2363       break;
2364
2365     case REALPART_EXPR:
2366       if (TREE_CODE (arg) == COMPLEX_CST)
2367         return TREE_REALPART (arg);
2368       else if (TREE_CODE (TREE_TYPE (arg)) == COMPLEX_TYPE)
2369         return fold (build1 (REALPART_EXPR, TREE_TYPE (TREE_TYPE (arg)), arg));
2370       else
2371         return arg;
2372
2373     case IMAGPART_EXPR:
2374       if (TREE_CODE (arg) == COMPLEX_CST)
2375         return TREE_IMAGPART (arg);
2376       else if (TREE_CODE (TREE_TYPE (arg)) == COMPLEX_TYPE)
2377         return fold (build1 (IMAGPART_EXPR, TREE_TYPE (TREE_TYPE (arg)), arg));
2378       else
2379         return convert (TREE_TYPE (arg), integer_zero_node);
2380
2381     case PREINCREMENT_EXPR:
2382     case POSTINCREMENT_EXPR:
2383     case PREDECREMENT_EXPR:
2384     case POSTDECREMENT_EXPR:
2385
2386       /* Increment or decrement the real part of the value,
2387          and don't change the imaginary part.  */
2388       if (typecode == COMPLEX_TYPE)
2389         {
2390           tree real, imag;
2391
2392           if (pedantic)
2393             pedwarn ("ISO C does not support `++' and `--' on complex types");
2394
2395           arg = stabilize_reference (arg);
2396           real = build_unary_op (REALPART_EXPR, arg, 1);
2397           imag = build_unary_op (IMAGPART_EXPR, arg, 1);
2398           return build (COMPLEX_EXPR, TREE_TYPE (arg),
2399                         build_unary_op (code, real, 1), imag);
2400         }
2401
2402       /* Report invalid types.  */
2403
2404       if (typecode != POINTER_TYPE
2405           && typecode != INTEGER_TYPE && typecode != REAL_TYPE)
2406         {
2407           if (code == PREINCREMENT_EXPR || code == POSTINCREMENT_EXPR)
2408             error ("wrong type argument to increment");
2409           else
2410             error ("wrong type argument to decrement");
2411
2412           return error_mark_node;
2413         }
2414
2415       {
2416         tree inc;
2417         tree result_type = TREE_TYPE (arg);
2418
2419         arg = get_unwidened (arg, 0);
2420         argtype = TREE_TYPE (arg);
2421
2422         /* Compute the increment.  */
2423
2424         if (typecode == POINTER_TYPE)
2425           {
2426             /* If pointer target is an undefined struct,
2427                we just cannot know how to do the arithmetic.  */
2428             if (!COMPLETE_OR_VOID_TYPE_P (TREE_TYPE (result_type)))
2429               {
2430                 if (code == PREINCREMENT_EXPR || code == POSTINCREMENT_EXPR)
2431                   error ("increment of pointer to unknown structure");
2432                 else
2433                   error ("decrement of pointer to unknown structure");
2434               }
2435             else if ((pedantic || warn_pointer_arith)
2436                      && (TREE_CODE (TREE_TYPE (result_type)) == FUNCTION_TYPE
2437                          || TREE_CODE (TREE_TYPE (result_type)) == VOID_TYPE))
2438               {
2439                 if (code == PREINCREMENT_EXPR || code == POSTINCREMENT_EXPR)
2440                   pedwarn ("wrong type argument to increment");
2441                 else
2442                   pedwarn ("wrong type argument to decrement");
2443               }
2444
2445             inc = c_size_in_bytes (TREE_TYPE (result_type));
2446           }
2447         else
2448           inc = integer_one_node;
2449
2450         inc = convert (argtype, inc);
2451
2452         /* Complain about anything else that is not a true lvalue.  */
2453         if (!lvalue_or_else (arg, ((code == PREINCREMENT_EXPR
2454                                     || code == POSTINCREMENT_EXPR)
2455                                    ? "invalid lvalue in increment"
2456                                    : "invalid lvalue in decrement")))
2457           return error_mark_node;
2458
2459         /* Report a read-only lvalue.  */
2460         if (TREE_READONLY (arg))
2461           readonly_error (arg,
2462                           ((code == PREINCREMENT_EXPR
2463                             || code == POSTINCREMENT_EXPR)
2464                            ? "increment" : "decrement"));
2465
2466         if (TREE_CODE (TREE_TYPE (arg)) == BOOLEAN_TYPE)
2467           val = boolean_increment (code, arg);
2468         else
2469           val = build (code, TREE_TYPE (arg), arg, inc);
2470         TREE_SIDE_EFFECTS (val) = 1;
2471         val = convert (result_type, val);
2472         if (TREE_CODE (val) != code)
2473           TREE_NO_WARNING (val) = 1;
2474         return val;
2475       }
2476
2477     case ADDR_EXPR:
2478       /* Note that this operation never does default_conversion.  */
2479
2480       /* Let &* cancel out to simplify resulting code.  */
2481       if (TREE_CODE (arg) == INDIRECT_REF)
2482         {
2483           /* Don't let this be an lvalue.  */
2484           if (lvalue_p (TREE_OPERAND (arg, 0)))
2485             return non_lvalue (TREE_OPERAND (arg, 0));
2486           return TREE_OPERAND (arg, 0);
2487         }
2488
2489       /* For &x[y], return x+y */
2490       if (TREE_CODE (arg) == ARRAY_REF)
2491         {
2492           if (!c_mark_addressable (TREE_OPERAND (arg, 0)))
2493             return error_mark_node;
2494           return build_binary_op (PLUS_EXPR, TREE_OPERAND (arg, 0),
2495                                   TREE_OPERAND (arg, 1), 1);
2496         }
2497
2498       /* Anything not already handled and not a true memory reference
2499          or a non-lvalue array is an error.  */
2500       else if (typecode != FUNCTION_TYPE && !flag
2501                && !lvalue_or_else (arg, "invalid lvalue in unary `&'"))
2502         return error_mark_node;
2503
2504       /* Ordinary case; arg is a COMPONENT_REF or a decl.  */
2505       argtype = TREE_TYPE (arg);
2506
2507       /* If the lvalue is const or volatile, merge that into the type
2508          to which the address will point.  Note that you can't get a
2509          restricted pointer by taking the address of something, so we
2510          only have to deal with `const' and `volatile' here.  */
2511       if ((DECL_P (arg) || TREE_CODE_CLASS (TREE_CODE (arg)) == 'r')
2512           && (TREE_READONLY (arg) || TREE_THIS_VOLATILE (arg)))
2513           argtype = c_build_type_variant (argtype,
2514                                           TREE_READONLY (arg),
2515                                           TREE_THIS_VOLATILE (arg));
2516
2517       argtype = build_pointer_type (argtype);
2518
2519       if (!c_mark_addressable (arg))
2520         return error_mark_node;
2521
2522       {
2523         tree addr;
2524
2525         if (TREE_CODE (arg) == COMPONENT_REF)
2526           {
2527             tree field = TREE_OPERAND (arg, 1);
2528
2529             addr = build_unary_op (ADDR_EXPR, TREE_OPERAND (arg, 0), flag);
2530
2531             if (DECL_C_BIT_FIELD (field))
2532               {
2533                 error ("attempt to take address of bit-field structure member `%s'",
2534                        IDENTIFIER_POINTER (DECL_NAME (field)));
2535                 return error_mark_node;
2536               }
2537
2538             addr = fold (build (PLUS_EXPR, argtype,
2539                                 convert (argtype, addr),
2540                                 convert (argtype, byte_position (field))));
2541           }
2542         else
2543           addr = build1 (code, argtype, arg);
2544
2545         if (TREE_CODE (arg) == COMPOUND_LITERAL_EXPR)
2546           TREE_INVARIANT (addr) = TREE_CONSTANT (addr) = 1;
2547
2548         return addr;
2549       }
2550
2551     default:
2552       break;
2553     }
2554
2555   if (argtype == 0)
2556     argtype = TREE_TYPE (arg);
2557   val = build1 (code, argtype, arg);
2558   return require_constant_value ? fold_initializer (val) : fold (val);
2559 }
2560
2561 /* Return nonzero if REF is an lvalue valid for this language.
2562    Lvalues can be assigned, unless their type has TYPE_READONLY.
2563    Lvalues can have their address taken, unless they have C_DECL_REGISTER.  */
2564
2565 int
2566 lvalue_p (tree ref)
2567 {
2568   enum tree_code code = TREE_CODE (ref);
2569
2570   switch (code)
2571     {
2572     case REALPART_EXPR:
2573     case IMAGPART_EXPR:
2574     case COMPONENT_REF:
2575       return lvalue_p (TREE_OPERAND (ref, 0));
2576
2577     case COMPOUND_LITERAL_EXPR:
2578     case STRING_CST:
2579       return 1;
2580
2581     case INDIRECT_REF:
2582     case ARRAY_REF:
2583     case VAR_DECL:
2584     case PARM_DECL:
2585     case RESULT_DECL:
2586     case ERROR_MARK:
2587       return (TREE_CODE (TREE_TYPE (ref)) != FUNCTION_TYPE
2588               && TREE_CODE (TREE_TYPE (ref)) != METHOD_TYPE);
2589
2590     case BIND_EXPR:
2591       return TREE_CODE (TREE_TYPE (ref)) == ARRAY_TYPE;
2592
2593     default:
2594       return 0;
2595     }
2596 }
2597
2598 /* Return nonzero if REF is an lvalue valid for this language;
2599    otherwise, print an error message and return zero.  */
2600
2601 static int
2602 lvalue_or_else (tree ref, const char *msgid)
2603 {
2604   int win = lvalue_p (ref);
2605
2606   if (! win)
2607     error ("%s", msgid);
2608
2609   return win;
2610 }
2611
2612 \f
2613 /* Warn about storing in something that is `const'.  */
2614
2615 void
2616 readonly_error (tree arg, const char *msgid)
2617 {
2618   if (TREE_CODE (arg) == COMPONENT_REF)
2619     {
2620       if (TYPE_READONLY (TREE_TYPE (TREE_OPERAND (arg, 0))))
2621         readonly_error (TREE_OPERAND (arg, 0), msgid);
2622       else
2623         error ("%s of read-only member `%s'", _(msgid),
2624                IDENTIFIER_POINTER (DECL_NAME (TREE_OPERAND (arg, 1))));
2625     }
2626   else if (TREE_CODE (arg) == VAR_DECL)
2627     error ("%s of read-only variable `%s'", _(msgid),
2628            IDENTIFIER_POINTER (DECL_NAME (arg)));
2629   else
2630     error ("%s of read-only location", _(msgid));
2631 }
2632 \f
2633 /* Mark EXP saying that we need to be able to take the
2634    address of it; it should not be allocated in a register.
2635    Returns true if successful.  */
2636
2637 bool
2638 c_mark_addressable (tree exp)
2639 {
2640   tree x = exp;
2641
2642   while (1)
2643     switch (TREE_CODE (x))
2644       {
2645       case COMPONENT_REF:
2646         if (DECL_C_BIT_FIELD (TREE_OPERAND (x, 1)))
2647           {
2648             error ("cannot take address of bit-field `%s'",
2649                    IDENTIFIER_POINTER (DECL_NAME (TREE_OPERAND (x, 1))));
2650             return false;
2651           }
2652
2653         /* ... fall through ...  */
2654
2655       case ADDR_EXPR:
2656       case ARRAY_REF:
2657       case REALPART_EXPR:
2658       case IMAGPART_EXPR:
2659         x = TREE_OPERAND (x, 0);
2660         break;
2661
2662       case COMPOUND_LITERAL_EXPR:
2663       case CONSTRUCTOR:
2664         TREE_ADDRESSABLE (x) = 1;
2665         return true;
2666
2667       case VAR_DECL:
2668       case CONST_DECL:
2669       case PARM_DECL:
2670       case RESULT_DECL:
2671         if (C_DECL_REGISTER (x)
2672             && DECL_NONLOCAL (x))
2673           {
2674             if (TREE_PUBLIC (x) || TREE_STATIC (x) || DECL_EXTERNAL (x))
2675               {
2676                 error ("global register variable `%s' used in nested function",
2677                        IDENTIFIER_POINTER (DECL_NAME (x)));
2678                 return false;
2679               }
2680             pedwarn ("register variable `%s' used in nested function",
2681                      IDENTIFIER_POINTER (DECL_NAME (x)));
2682           }
2683         else if (C_DECL_REGISTER (x))
2684           {
2685             if (TREE_PUBLIC (x) || TREE_STATIC (x) || DECL_EXTERNAL (x))
2686               {
2687                 error ("address of global register variable `%s' requested",
2688                        IDENTIFIER_POINTER (DECL_NAME (x)));
2689                 return false;
2690               }
2691
2692             pedwarn ("address of register variable `%s' requested",
2693                      IDENTIFIER_POINTER (DECL_NAME (x)));
2694           }
2695
2696         /* drops in */
2697       case FUNCTION_DECL:
2698         TREE_ADDRESSABLE (x) = 1;
2699         /* drops out */
2700       default:
2701         return true;
2702     }
2703 }
2704 \f
2705 /* Build and return a conditional expression IFEXP ? OP1 : OP2.  */
2706
2707 tree
2708 build_conditional_expr (tree ifexp, tree op1, tree op2)
2709 {
2710   tree type1;
2711   tree type2;
2712   enum tree_code code1;
2713   enum tree_code code2;
2714   tree result_type = NULL;
2715   tree orig_op1 = op1, orig_op2 = op2;
2716
2717   ifexp = lang_hooks.truthvalue_conversion (default_conversion (ifexp));
2718
2719   /* Promote both alternatives.  */
2720
2721   if (TREE_CODE (TREE_TYPE (op1)) != VOID_TYPE)
2722     op1 = default_conversion (op1);
2723   if (TREE_CODE (TREE_TYPE (op2)) != VOID_TYPE)
2724     op2 = default_conversion (op2);
2725
2726   if (TREE_CODE (ifexp) == ERROR_MARK
2727       || TREE_CODE (TREE_TYPE (op1)) == ERROR_MARK
2728       || TREE_CODE (TREE_TYPE (op2)) == ERROR_MARK)
2729     return error_mark_node;
2730
2731   type1 = TREE_TYPE (op1);
2732   code1 = TREE_CODE (type1);
2733   type2 = TREE_TYPE (op2);
2734   code2 = TREE_CODE (type2);
2735
2736   /* C90 does not permit non-lvalue arrays in conditional expressions.
2737      In C99 they will be pointers by now.  */
2738   if (code1 == ARRAY_TYPE || code2 == ARRAY_TYPE)
2739     {
2740       error ("non-lvalue array in conditional expression");
2741       return error_mark_node;
2742     }
2743
2744   /* Quickly detect the usual case where op1 and op2 have the same type
2745      after promotion.  */
2746   if (TYPE_MAIN_VARIANT (type1) == TYPE_MAIN_VARIANT (type2))
2747     {
2748       if (type1 == type2)
2749         result_type = type1;
2750       else
2751         result_type = TYPE_MAIN_VARIANT (type1);
2752     }
2753   else if ((code1 == INTEGER_TYPE || code1 == REAL_TYPE
2754             || code1 == COMPLEX_TYPE)
2755            && (code2 == INTEGER_TYPE || code2 == REAL_TYPE
2756                || code2 == COMPLEX_TYPE))
2757     {
2758       result_type = common_type (type1, type2);
2759
2760       /* If -Wsign-compare, warn here if type1 and type2 have
2761          different signedness.  We'll promote the signed to unsigned
2762          and later code won't know it used to be different.
2763          Do this check on the original types, so that explicit casts
2764          will be considered, but default promotions won't.  */
2765       if (warn_sign_compare && !skip_evaluation)
2766         {
2767           int unsigned_op1 = TYPE_UNSIGNED (TREE_TYPE (orig_op1));
2768           int unsigned_op2 = TYPE_UNSIGNED (TREE_TYPE (orig_op2));
2769
2770           if (unsigned_op1 ^ unsigned_op2)
2771             {
2772               /* Do not warn if the result type is signed, since the
2773                  signed type will only be chosen if it can represent
2774                  all the values of the unsigned type.  */
2775               if (! TYPE_UNSIGNED (result_type))
2776                 /* OK */;
2777               /* Do not warn if the signed quantity is an unsuffixed
2778                  integer literal (or some static constant expression
2779                  involving such literals) and it is non-negative.  */
2780               else if ((unsigned_op2 && tree_expr_nonnegative_p (op1))
2781                        || (unsigned_op1 && tree_expr_nonnegative_p (op2)))
2782                 /* OK */;
2783               else
2784                 warning ("signed and unsigned type in conditional expression");
2785             }
2786         }
2787     }
2788   else if (code1 == VOID_TYPE || code2 == VOID_TYPE)
2789     {
2790       if (pedantic && (code1 != VOID_TYPE || code2 != VOID_TYPE))
2791         pedwarn ("ISO C forbids conditional expr with only one void side");
2792       result_type = void_type_node;
2793     }
2794   else if (code1 == POINTER_TYPE && code2 == POINTER_TYPE)
2795     {
2796       if (comp_target_types (type1, type2, 1))
2797         result_type = common_pointer_type (type1, type2);
2798       else if (integer_zerop (op1) && TREE_TYPE (type1) == void_type_node
2799                && TREE_CODE (orig_op1) != NOP_EXPR)
2800         result_type = qualify_type (type2, type1);
2801       else if (integer_zerop (op2) && TREE_TYPE (type2) == void_type_node
2802                && TREE_CODE (orig_op2) != NOP_EXPR)
2803         result_type = qualify_type (type1, type2);
2804       else if (VOID_TYPE_P (TREE_TYPE (type1)))
2805         {
2806           if (pedantic && TREE_CODE (TREE_TYPE (type2)) == FUNCTION_TYPE)
2807             pedwarn ("ISO C forbids conditional expr between `void *' and function pointer");
2808           result_type = build_pointer_type (qualify_type (TREE_TYPE (type1),
2809                                                           TREE_TYPE (type2)));
2810         }
2811       else if (VOID_TYPE_P (TREE_TYPE (type2)))
2812         {
2813           if (pedantic && TREE_CODE (TREE_TYPE (type1)) == FUNCTION_TYPE)
2814             pedwarn ("ISO C forbids conditional expr between `void *' and function pointer");
2815           result_type = build_pointer_type (qualify_type (TREE_TYPE (type2),
2816                                                           TREE_TYPE (type1)));
2817         }
2818       else
2819         {
2820           pedwarn ("pointer type mismatch in conditional expression");
2821           result_type = build_pointer_type (void_type_node);
2822         }
2823     }
2824   else if (code1 == POINTER_TYPE && code2 == INTEGER_TYPE)
2825     {
2826       if (! integer_zerop (op2))
2827         pedwarn ("pointer/integer type mismatch in conditional expression");
2828       else
2829         {
2830           op2 = null_pointer_node;
2831         }
2832       result_type = type1;
2833     }
2834   else if (code2 == POINTER_TYPE && code1 == INTEGER_TYPE)
2835     {
2836       if (!integer_zerop (op1))
2837         pedwarn ("pointer/integer type mismatch in conditional expression");
2838       else
2839         {
2840           op1 = null_pointer_node;
2841         }
2842       result_type = type2;
2843     }
2844
2845   if (!result_type)
2846     {
2847       if (flag_cond_mismatch)
2848         result_type = void_type_node;
2849       else
2850         {
2851           error ("type mismatch in conditional expression");
2852           return error_mark_node;
2853         }
2854     }
2855
2856   /* Merge const and volatile flags of the incoming types.  */
2857   result_type
2858     = build_type_variant (result_type,
2859                           TREE_READONLY (op1) || TREE_READONLY (op2),
2860                           TREE_THIS_VOLATILE (op1) || TREE_THIS_VOLATILE (op2));
2861
2862   if (result_type != TREE_TYPE (op1))
2863     op1 = convert_and_check (result_type, op1);
2864   if (result_type != TREE_TYPE (op2))
2865     op2 = convert_and_check (result_type, op2);
2866
2867   if (TREE_CODE (ifexp) == INTEGER_CST)
2868     return non_lvalue (integer_zerop (ifexp) ? op2 : op1);
2869
2870   return fold (build (COND_EXPR, result_type, ifexp, op1, op2));
2871 }
2872 \f
2873 /* Return a compound expression that performs two expressions and
2874    returns the value of the second of them.  */
2875
2876 tree
2877 build_compound_expr (tree expr1, tree expr2)
2878 {
2879   /* Convert arrays and functions to pointers.  */
2880   expr2 = default_function_array_conversion (expr2);
2881
2882   /* Don't let (0, 0) be null pointer constant.  */
2883   if (integer_zerop (expr2))
2884     expr2 = non_lvalue (expr2);
2885
2886   if (! TREE_SIDE_EFFECTS (expr1))
2887     {
2888       /* The left-hand operand of a comma expression is like an expression
2889          statement: with -Wextra or -Wunused, we should warn if it doesn't have
2890          any side-effects, unless it was explicitly cast to (void).  */
2891       if (warn_unused_value
2892            && ! (TREE_CODE (expr1) == CONVERT_EXPR
2893                 && VOID_TYPE_P (TREE_TYPE (expr1))))
2894         warning ("left-hand operand of comma expression has no effect");
2895     }
2896
2897   /* With -Wunused, we should also warn if the left-hand operand does have
2898      side-effects, but computes a value which is not used.  For example, in
2899      `foo() + bar(), baz()' the result of the `+' operator is not used,
2900      so we should issue a warning.  */
2901   else if (warn_unused_value)
2902     warn_if_unused_value (expr1, input_location);
2903
2904   return build (COMPOUND_EXPR, TREE_TYPE (expr2), expr1, expr2);
2905 }
2906
2907 /* Build an expression representing a cast to type TYPE of expression EXPR.  */
2908
2909 tree
2910 build_c_cast (tree type, tree expr)
2911 {
2912   tree value = expr;
2913
2914   if (type == error_mark_node || expr == error_mark_node)
2915     return error_mark_node;
2916
2917   /* The ObjC front-end uses TYPE_MAIN_VARIANT to tie together types differing
2918      only in <protocol> qualifications.  But when constructing cast expressions,
2919      the protocols do matter and must be kept around.  */
2920   if (!c_dialect_objc () || !objc_is_object_ptr (type))
2921     type = TYPE_MAIN_VARIANT (type);
2922
2923   if (TREE_CODE (type) == ARRAY_TYPE)
2924     {
2925       error ("cast specifies array type");
2926       return error_mark_node;
2927     }
2928
2929   if (TREE_CODE (type) == FUNCTION_TYPE)
2930     {
2931       error ("cast specifies function type");
2932       return error_mark_node;
2933     }
2934
2935   if (type == TYPE_MAIN_VARIANT (TREE_TYPE (value)))
2936     {
2937       if (pedantic)
2938         {
2939           if (TREE_CODE (type) == RECORD_TYPE
2940               || TREE_CODE (type) == UNION_TYPE)
2941             pedwarn ("ISO C forbids casting nonscalar to the same type");
2942         }
2943     }
2944   else if (TREE_CODE (type) == UNION_TYPE)
2945     {
2946       tree field;
2947       value = default_function_array_conversion (value);
2948
2949       for (field = TYPE_FIELDS (type); field; field = TREE_CHAIN (field))
2950         if (comptypes (TYPE_MAIN_VARIANT (TREE_TYPE (field)),
2951                        TYPE_MAIN_VARIANT (TREE_TYPE (value))))
2952           break;
2953
2954       if (field)
2955         {
2956           tree t;
2957
2958           if (pedantic)
2959             pedwarn ("ISO C forbids casts to union type");
2960           t = digest_init (type,
2961                            build_constructor (type,
2962                                               build_tree_list (field, value)),
2963                            true, 0);
2964           TREE_CONSTANT (t) = TREE_CONSTANT (value);
2965           TREE_INVARIANT (t) = TREE_INVARIANT (value);
2966           return t;
2967         }
2968       error ("cast to union type from type not present in union");
2969       return error_mark_node;
2970     }
2971   else
2972     {
2973       tree otype, ovalue;
2974
2975       /* If casting to void, avoid the error that would come
2976          from default_conversion in the case of a non-lvalue array.  */
2977       if (type == void_type_node)
2978         return build1 (CONVERT_EXPR, type, value);
2979
2980       /* Convert functions and arrays to pointers,
2981          but don't convert any other types.  */
2982       value = default_function_array_conversion (value);
2983       otype = TREE_TYPE (value);
2984
2985       /* Optionally warn about potentially worrisome casts.  */
2986
2987       if (warn_cast_qual
2988           && TREE_CODE (type) == POINTER_TYPE
2989           && TREE_CODE (otype) == POINTER_TYPE)
2990         {
2991           tree in_type = type;
2992           tree in_otype = otype;
2993           int added = 0;
2994           int discarded = 0;
2995
2996           /* Check that the qualifiers on IN_TYPE are a superset of
2997              the qualifiers of IN_OTYPE.  The outermost level of
2998              POINTER_TYPE nodes is uninteresting and we stop as soon
2999              as we hit a non-POINTER_TYPE node on either type.  */
3000           do
3001             {
3002               in_otype = TREE_TYPE (in_otype);
3003               in_type = TREE_TYPE (in_type);
3004
3005               /* GNU C allows cv-qualified function types.  'const'
3006                  means the function is very pure, 'volatile' means it
3007                  can't return.  We need to warn when such qualifiers
3008                  are added, not when they're taken away.  */
3009               if (TREE_CODE (in_otype) == FUNCTION_TYPE
3010                   && TREE_CODE (in_type) == FUNCTION_TYPE)
3011                 added |= (TYPE_QUALS (in_type) & ~TYPE_QUALS (in_otype));
3012               else
3013                 discarded |= (TYPE_QUALS (in_otype) & ~TYPE_QUALS (in_type));
3014             }
3015           while (TREE_CODE (in_type) == POINTER_TYPE
3016                  && TREE_CODE (in_otype) == POINTER_TYPE);
3017
3018           if (added)
3019             warning ("cast adds new qualifiers to function type");
3020
3021           if (discarded)
3022             /* There are qualifiers present in IN_OTYPE that are not
3023                present in IN_TYPE.  */
3024             warning ("cast discards qualifiers from pointer target type");
3025         }
3026
3027       /* Warn about possible alignment problems.  */
3028       if (STRICT_ALIGNMENT && warn_cast_align
3029           && TREE_CODE (type) == POINTER_TYPE
3030           && TREE_CODE (otype) == POINTER_TYPE
3031           && TREE_CODE (TREE_TYPE (otype)) != VOID_TYPE
3032           && TREE_CODE (TREE_TYPE (otype)) != FUNCTION_TYPE
3033           /* Don't warn about opaque types, where the actual alignment
3034              restriction is unknown.  */
3035           && !((TREE_CODE (TREE_TYPE (otype)) == UNION_TYPE
3036                 || TREE_CODE (TREE_TYPE (otype)) == RECORD_TYPE)
3037                && TYPE_MODE (TREE_TYPE (otype)) == VOIDmode)
3038           && TYPE_ALIGN (TREE_TYPE (type)) > TYPE_ALIGN (TREE_TYPE (otype)))
3039         warning ("cast increases required alignment of target type");
3040
3041       if (TREE_CODE (type) == INTEGER_TYPE
3042           && TREE_CODE (otype) == POINTER_TYPE
3043           && TYPE_PRECISION (type) != TYPE_PRECISION (otype)
3044           && !TREE_CONSTANT (value))
3045         warning ("cast from pointer to integer of different size");
3046
3047       if (warn_bad_function_cast
3048           && TREE_CODE (value) == CALL_EXPR
3049           && TREE_CODE (type) != TREE_CODE (otype))
3050         warning ("cast does not match function type");
3051
3052       if (TREE_CODE (type) == POINTER_TYPE
3053           && TREE_CODE (otype) == INTEGER_TYPE
3054           && TYPE_PRECISION (type) != TYPE_PRECISION (otype)
3055           /* Don't warn about converting any constant.  */
3056           && !TREE_CONSTANT (value))
3057         warning ("cast to pointer from integer of different size");
3058
3059       if (TREE_CODE (type) == POINTER_TYPE
3060           && TREE_CODE (otype) == POINTER_TYPE
3061           && TREE_CODE (expr) == ADDR_EXPR
3062           && DECL_P (TREE_OPERAND (expr, 0))
3063           && flag_strict_aliasing && warn_strict_aliasing
3064           && !VOID_TYPE_P (TREE_TYPE (type)))
3065         {
3066           /* Casting the address of a decl to non void pointer. Warn
3067              if the cast breaks type based aliasing.  */
3068           if (!COMPLETE_TYPE_P (TREE_TYPE (type)))
3069             warning ("type-punning to incomplete type might break strict-aliasing rules");
3070           else
3071             {
3072               HOST_WIDE_INT set1 = get_alias_set (TREE_TYPE (TREE_OPERAND (expr, 0)));
3073               HOST_WIDE_INT set2 = get_alias_set (TREE_TYPE (type));
3074
3075               if (!alias_sets_conflict_p (set1, set2))
3076                 warning ("dereferencing type-punned pointer will break strict-aliasing rules");
3077               else if (warn_strict_aliasing > 1
3078                        && !alias_sets_might_conflict_p (set1, set2))
3079                 warning ("dereferencing type-punned pointer might break strict-aliasing rules");
3080             }
3081         }
3082
3083       /* If pedantic, warn for conversions between function and object
3084          pointer types, except for converting a null pointer constant
3085          to function pointer type.  */
3086       if (pedantic
3087           && TREE_CODE (type) == POINTER_TYPE
3088           && TREE_CODE (otype) == POINTER_TYPE
3089           && TREE_CODE (TREE_TYPE (otype)) == FUNCTION_TYPE
3090           && TREE_CODE (TREE_TYPE (type)) != FUNCTION_TYPE)
3091         pedwarn ("ISO C forbids conversion of function pointer to object pointer type");
3092
3093       if (pedantic
3094           && TREE_CODE (type) == POINTER_TYPE
3095           && TREE_CODE (otype) == POINTER_TYPE
3096           && TREE_CODE (TREE_TYPE (type)) == FUNCTION_TYPE
3097           && TREE_CODE (TREE_TYPE (otype)) != FUNCTION_TYPE
3098           && !(integer_zerop (value) && TREE_TYPE (otype) == void_type_node
3099                && TREE_CODE (expr) != NOP_EXPR))
3100         pedwarn ("ISO C forbids conversion of object pointer to function pointer type");
3101
3102       ovalue = value;
3103       /* Replace a nonvolatile const static variable with its value.  */
3104       if (optimize && TREE_CODE (value) == VAR_DECL)
3105         value = decl_constant_value (value);
3106       value = convert (type, value);
3107
3108       /* Ignore any integer overflow caused by the cast.  */
3109       if (TREE_CODE (value) == INTEGER_CST)
3110         {
3111           TREE_OVERFLOW (value) = TREE_OVERFLOW (ovalue);
3112
3113           if (TREE_CODE_CLASS (TREE_CODE (ovalue)) == 'c')
3114             TREE_CONSTANT_OVERFLOW (value) = TREE_CONSTANT_OVERFLOW (ovalue);
3115         }
3116     }
3117
3118   /* Don't let (void *) (FOO *) 0 be a null pointer constant.  */
3119   if (TREE_CODE (value) == INTEGER_CST
3120       && TREE_CODE (expr) == INTEGER_CST
3121       && TREE_CODE (TREE_TYPE (expr)) != INTEGER_TYPE)
3122     value = non_lvalue (value);
3123
3124   /* Don't let a cast be an lvalue.  */
3125   if (value == expr)
3126     value = non_lvalue (value);
3127
3128   return value;
3129 }
3130
3131 /* Interpret a cast of expression EXPR to type TYPE.  */
3132 tree
3133 c_cast_expr (tree type, tree expr)
3134 {
3135   int saved_wsp = warn_strict_prototypes;
3136
3137   /* This avoids warnings about unprototyped casts on
3138      integers.  E.g. "#define SIG_DFL (void(*)())0".  */
3139   if (TREE_CODE (expr) == INTEGER_CST)
3140     warn_strict_prototypes = 0;
3141   type = groktypename (type);
3142   warn_strict_prototypes = saved_wsp;
3143
3144   return build_c_cast (type, expr);
3145 }
3146
3147 \f
3148 /* Build an assignment expression of lvalue LHS from value RHS.
3149    MODIFYCODE is the code for a binary operator that we use
3150    to combine the old value of LHS with RHS to get the new value.
3151    Or else MODIFYCODE is NOP_EXPR meaning do a simple assignment.  */
3152
3153 tree
3154 build_modify_expr (tree lhs, enum tree_code modifycode, tree rhs)
3155 {
3156   tree result;
3157   tree newrhs;
3158   tree lhstype = TREE_TYPE (lhs);
3159   tree olhstype = lhstype;
3160
3161   /* Types that aren't fully specified cannot be used in assignments.  */
3162   lhs = require_complete_type (lhs);
3163
3164   /* Avoid duplicate error messages from operands that had errors.  */
3165   if (TREE_CODE (lhs) == ERROR_MARK || TREE_CODE (rhs) == ERROR_MARK)
3166     return error_mark_node;
3167
3168   /* Strip NON_LVALUE_EXPRs since we aren't using as an lvalue.  */
3169   /* Do not use STRIP_NOPS here.  We do not want an enumerator
3170      whose value is 0 to count as a null pointer constant.  */
3171   if (TREE_CODE (rhs) == NON_LVALUE_EXPR)
3172     rhs = TREE_OPERAND (rhs, 0);
3173
3174   newrhs = rhs;
3175
3176   /* If a binary op has been requested, combine the old LHS value with the RHS
3177      producing the value we should actually store into the LHS.  */
3178
3179   if (modifycode != NOP_EXPR)
3180     {
3181       lhs = stabilize_reference (lhs);
3182       newrhs = build_binary_op (modifycode, lhs, rhs, 1);
3183     }
3184
3185   if (!lvalue_or_else (lhs, "invalid lvalue in assignment"))
3186     return error_mark_node;
3187
3188   /* Warn about storing in something that is `const'.  */
3189
3190   if (TREE_READONLY (lhs) || TYPE_READONLY (lhstype)
3191       || ((TREE_CODE (lhstype) == RECORD_TYPE
3192            || TREE_CODE (lhstype) == UNION_TYPE)
3193           && C_TYPE_FIELDS_READONLY (lhstype)))
3194     readonly_error (lhs, "assignment");
3195
3196   /* If storing into a structure or union member,
3197      it has probably been given type `int'.
3198      Compute the type that would go with
3199      the actual amount of storage the member occupies.  */
3200
3201   if (TREE_CODE (lhs) == COMPONENT_REF
3202       && (TREE_CODE (lhstype) == INTEGER_TYPE
3203           || TREE_CODE (lhstype) == BOOLEAN_TYPE
3204           || TREE_CODE (lhstype) == REAL_TYPE
3205           || TREE_CODE (lhstype) == ENUMERAL_TYPE))
3206     lhstype = TREE_TYPE (get_unwidened (lhs, 0));
3207
3208   /* If storing in a field that is in actuality a short or narrower than one,
3209      we must store in the field in its actual type.  */
3210
3211   if (lhstype != TREE_TYPE (lhs))
3212     {
3213       lhs = copy_node (lhs);
3214       TREE_TYPE (lhs) = lhstype;
3215     }
3216
3217   /* Convert new value to destination type.  */
3218
3219   newrhs = convert_for_assignment (lhstype, newrhs, _("assignment"),
3220                                    NULL_TREE, NULL_TREE, 0);
3221   if (TREE_CODE (newrhs) == ERROR_MARK)
3222     return error_mark_node;
3223
3224   /* Scan operands */
3225
3226   result = build (MODIFY_EXPR, lhstype, lhs, newrhs);
3227   TREE_SIDE_EFFECTS (result) = 1;
3228
3229   /* If we got the LHS in a different type for storing in,
3230      convert the result back to the nominal type of LHS
3231      so that the value we return always has the same type
3232      as the LHS argument.  */
3233
3234   if (olhstype == TREE_TYPE (result))
3235     return result;
3236   return convert_for_assignment (olhstype, result, _("assignment"),
3237                                  NULL_TREE, NULL_TREE, 0);
3238 }
3239 \f
3240 /* Convert value RHS to type TYPE as preparation for an assignment
3241    to an lvalue of type TYPE.
3242    The real work of conversion is done by `convert'.
3243    The purpose of this function is to generate error messages
3244    for assignments that are not allowed in C.
3245    ERRTYPE is a string to use in error messages:
3246    "assignment", "return", etc.  If it is null, this is parameter passing
3247    for a function call (and different error messages are output).
3248
3249    FUNNAME is the name of the function being called,
3250    as an IDENTIFIER_NODE, or null.
3251    PARMNUM is the number of the argument, for printing in error messages.  */
3252
3253 static tree
3254 convert_for_assignment (tree type, tree rhs, const char *errtype,
3255                         tree fundecl, tree funname, int parmnum)
3256 {
3257   enum tree_code codel = TREE_CODE (type);
3258   tree rhstype;
3259   enum tree_code coder;
3260
3261   /* Strip NON_LVALUE_EXPRs since we aren't using as an lvalue.  */
3262   /* Do not use STRIP_NOPS here.  We do not want an enumerator
3263      whose value is 0 to count as a null pointer constant.  */
3264   if (TREE_CODE (rhs) == NON_LVALUE_EXPR)
3265     rhs = TREE_OPERAND (rhs, 0);
3266
3267   if (TREE_CODE (TREE_TYPE (rhs)) == ARRAY_TYPE
3268       || TREE_CODE (TREE_TYPE (rhs)) == FUNCTION_TYPE)
3269     rhs = default_conversion (rhs);
3270   else if (optimize && TREE_CODE (rhs) == VAR_DECL)
3271     rhs = decl_constant_value_for_broken_optimization (rhs);
3272
3273   rhstype = TREE_TYPE (rhs);
3274   coder = TREE_CODE (rhstype);
3275
3276   if (coder == ERROR_MARK)
3277     return error_mark_node;
3278
3279   if (TYPE_MAIN_VARIANT (type) == TYPE_MAIN_VARIANT (rhstype))
3280     {
3281       overflow_warning (rhs);
3282       /* Check for Objective-C protocols.  This will automatically
3283          issue a warning if there are protocol violations.  No need to
3284          use the return value.  */
3285       if (c_dialect_objc ())
3286         objc_comptypes (type, rhstype, 0);
3287       return rhs;
3288     }
3289
3290   if (coder == VOID_TYPE)
3291     {
3292       error ("void value not ignored as it ought to be");
3293       return error_mark_node;
3294     }
3295   /* A type converts to a reference to it.
3296      This code doesn't fully support references, it's just for the
3297      special case of va_start and va_copy.  */
3298   if (codel == REFERENCE_TYPE
3299       && comptypes (TREE_TYPE (type), TREE_TYPE (rhs)) == 1)
3300     {
3301       if (!lvalue_p (rhs))
3302         {
3303           error ("cannot pass rvalue to reference parameter");
3304           return error_mark_node;
3305         }
3306       if (!c_mark_addressable (rhs))
3307         return error_mark_node;
3308       rhs = build1 (ADDR_EXPR, build_pointer_type (TREE_TYPE (rhs)), rhs);
3309
3310       /* We already know that these two types are compatible, but they
3311          may not be exactly identical.  In fact, `TREE_TYPE (type)' is
3312          likely to be __builtin_va_list and `TREE_TYPE (rhs)' is
3313          likely to be va_list, a typedef to __builtin_va_list, which
3314          is different enough that it will cause problems later.  */
3315       if (TREE_TYPE (TREE_TYPE (rhs)) != TREE_TYPE (type))
3316         rhs = build1 (NOP_EXPR, build_pointer_type (TREE_TYPE (type)), rhs);
3317
3318       rhs = build1 (NOP_EXPR, type, rhs);
3319       return rhs;
3320     }
3321   /* Some types can interconvert without explicit casts.  */
3322   else if (codel == VECTOR_TYPE
3323            && vector_types_convertible_p (type, TREE_TYPE (rhs)))
3324     return convert (type, rhs);
3325   /* Arithmetic types all interconvert, and enum is treated like int.  */
3326   else if ((codel == INTEGER_TYPE || codel == REAL_TYPE
3327             || codel == ENUMERAL_TYPE || codel == COMPLEX_TYPE
3328             || codel == BOOLEAN_TYPE)
3329            && (coder == INTEGER_TYPE || coder == REAL_TYPE
3330                || coder == ENUMERAL_TYPE || coder == COMPLEX_TYPE
3331                || coder == BOOLEAN_TYPE))
3332     return convert_and_check (type, rhs);
3333
3334   /* Conversion to a transparent union from its member types.
3335      This applies only to function arguments.  */
3336   else if (codel == UNION_TYPE && TYPE_TRANSPARENT_UNION (type) && ! errtype)
3337     {
3338       tree memb_types;
3339       tree marginal_memb_type = 0;
3340
3341       for (memb_types = TYPE_FIELDS (type); memb_types;
3342            memb_types = TREE_CHAIN (memb_types))
3343         {
3344           tree memb_type = TREE_TYPE (memb_types);
3345
3346           if (comptypes (TYPE_MAIN_VARIANT (memb_type),
3347                          TYPE_MAIN_VARIANT (rhstype)))
3348             break;
3349
3350           if (TREE_CODE (memb_type) != POINTER_TYPE)
3351             continue;
3352
3353           if (coder == POINTER_TYPE)
3354             {
3355               tree ttl = TREE_TYPE (memb_type);
3356               tree ttr = TREE_TYPE (rhstype);
3357
3358               /* Any non-function converts to a [const][volatile] void *
3359                  and vice versa; otherwise, targets must be the same.
3360                  Meanwhile, the lhs target must have all the qualifiers of
3361                  the rhs.  */
3362               if (VOID_TYPE_P (ttl) || VOID_TYPE_P (ttr)
3363                   || comp_target_types (memb_type, rhstype, 0))
3364                 {
3365                   /* If this type won't generate any warnings, use it.  */
3366                   if (TYPE_QUALS (ttl) == TYPE_QUALS (ttr)
3367                       || ((TREE_CODE (ttr) == FUNCTION_TYPE
3368                            && TREE_CODE (ttl) == FUNCTION_TYPE)
3369                           ? ((TYPE_QUALS (ttl) | TYPE_QUALS (ttr))
3370                              == TYPE_QUALS (ttr))
3371                           : ((TYPE_QUALS (ttl) | TYPE_QUALS (ttr))
3372                              == TYPE_QUALS (ttl))))
3373                     break;
3374
3375                   /* Keep looking for a better type, but remember this one.  */
3376                   if (! marginal_memb_type)
3377                     marginal_memb_type = memb_type;
3378                 }
3379             }
3380
3381           /* Can convert integer zero to any pointer type.  */
3382           if (integer_zerop (rhs)
3383               || (TREE_CODE (rhs) == NOP_EXPR
3384                   && integer_zerop (TREE_OPERAND (rhs, 0))))
3385             {
3386               rhs = null_pointer_node;
3387               break;
3388             }
3389         }
3390
3391       if (memb_types || marginal_memb_type)
3392         {
3393           if (! memb_types)
3394             {
3395               /* We have only a marginally acceptable member type;
3396                  it needs a warning.  */
3397               tree ttl = TREE_TYPE (marginal_memb_type);
3398               tree ttr = TREE_TYPE (rhstype);
3399
3400               /* Const and volatile mean something different for function
3401                  types, so the usual warnings are not appropriate.  */
3402               if (TREE_CODE (ttr) == FUNCTION_TYPE
3403                   && TREE_CODE (ttl) == FUNCTION_TYPE)
3404                 {
3405                   /* Because const and volatile on functions are
3406                      restrictions that say the function will not do
3407                      certain things, it is okay to use a const or volatile
3408                      function where an ordinary one is wanted, but not
3409                      vice-versa.  */
3410                   if (TYPE_QUALS (ttl) & ~TYPE_QUALS (ttr))
3411                     warn_for_assignment ("%s makes qualified function pointer from unqualified",
3412                                          errtype, funname, parmnum);
3413                 }
3414               else if (TYPE_QUALS (ttr) & ~TYPE_QUALS (ttl))
3415                 warn_for_assignment ("%s discards qualifiers from pointer target type",
3416                                      errtype, funname,
3417                                      parmnum);
3418             }
3419
3420           if (pedantic && ! DECL_IN_SYSTEM_HEADER (fundecl))
3421             pedwarn ("ISO C prohibits argument conversion to union type");
3422
3423           return build1 (NOP_EXPR, type, rhs);
3424         }
3425     }
3426
3427   /* Conversions among pointers */
3428   else if ((codel == POINTER_TYPE || codel == REFERENCE_TYPE)
3429            && (coder == codel))
3430     {
3431       tree ttl = TREE_TYPE (type);