binutils221: Fix missing section start/end label generation
[dragonfly.git] / contrib / gcc-4.4 / gcc / cp / typeck.c
1 /* Build expressions with type checking for C++ compiler.
2    Copyright (C) 1987, 1988, 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
3    1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
4    Free Software Foundation, Inc.
5    Hacked by Michael Tiemann (tiemann@cygnus.com)
6
7 This file is part of GCC.
8
9 GCC is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 3, or (at your option)
12 any later version.
13
14 GCC is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
17 GNU General Public License for more details.
18
19 You should have received a copy of the GNU General Public License
20 along with GCC; see the file COPYING3.  If not see
21 <http://www.gnu.org/licenses/>.  */
22
23
24 /* This file is part of the C++ front end.
25    It contains routines to build C++ expressions given their operands,
26    including computing the types of the result, C and C++ specific error
27    checks, and some optimization.  */
28
29 #include "config.h"
30 #include "system.h"
31 #include "coretypes.h"
32 #include "tm.h"
33 #include "tree.h"
34 #include "rtl.h"
35 #include "expr.h"
36 #include "cp-tree.h"
37 #include "tm_p.h"
38 #include "flags.h"
39 #include "output.h"
40 #include "toplev.h"
41 #include "diagnostic.h"
42 #include "intl.h"
43 #include "target.h"
44 #include "convert.h"
45 #include "c-common.h"
46 #include "params.h"
47
48 static tree pfn_from_ptrmemfunc (tree);
49 static tree delta_from_ptrmemfunc (tree);
50 static tree convert_for_assignment (tree, tree, const char *, tree, int,
51                                     tsubst_flags_t);
52 static tree cp_pointer_int_sum (enum tree_code, tree, tree);
53 static tree rationalize_conditional_expr (enum tree_code, tree, 
54                                           tsubst_flags_t);
55 static int comp_ptr_ttypes_real (tree, tree, int);
56 static bool comp_except_types (tree, tree, bool);
57 static bool comp_array_types (const_tree, const_tree, bool);
58 static tree pointer_diff (tree, tree, tree);
59 static tree get_delta_difference (tree, tree, bool, bool);
60 static void casts_away_constness_r (tree *, tree *);
61 static bool casts_away_constness (tree, tree);
62 static void maybe_warn_about_returning_address_of_local (tree);
63 static tree lookup_destructor (tree, tree, tree);
64 static int convert_arguments (int, tree *, tree, tree, tree, int,
65                               tsubst_flags_t);
66
67 /* Do `exp = require_complete_type (exp);' to make sure exp
68    does not have an incomplete type.  (That includes void types.)
69    Returns the error_mark_node if the VALUE does not have
70    complete type when this function returns.  */
71
72 tree
73 require_complete_type (tree value)
74 {
75   tree type;
76
77   if (processing_template_decl || value == error_mark_node)
78     return value;
79
80   if (TREE_CODE (value) == OVERLOAD)
81     type = unknown_type_node;
82   else
83     type = TREE_TYPE (value);
84
85   if (type == error_mark_node)
86     return error_mark_node;
87
88   /* First, detect a valid value with a complete type.  */
89   if (COMPLETE_TYPE_P (type))
90     return value;
91
92   if (complete_type_or_else (type, value))
93     return value;
94   else
95     return error_mark_node;
96 }
97
98 /* Try to complete TYPE, if it is incomplete.  For example, if TYPE is
99    a template instantiation, do the instantiation.  Returns TYPE,
100    whether or not it could be completed, unless something goes
101    horribly wrong, in which case the error_mark_node is returned.  */
102
103 tree
104 complete_type (tree type)
105 {
106   if (type == NULL_TREE)
107     /* Rather than crash, we return something sure to cause an error
108        at some point.  */
109     return error_mark_node;
110
111   if (type == error_mark_node || COMPLETE_TYPE_P (type))
112     ;
113   else if (TREE_CODE (type) == ARRAY_TYPE && TYPE_DOMAIN (type))
114     {
115       tree t = complete_type (TREE_TYPE (type));
116       unsigned int needs_constructing, has_nontrivial_dtor;
117       if (COMPLETE_TYPE_P (t) && !dependent_type_p (type))
118         layout_type (type);
119       needs_constructing
120         = TYPE_NEEDS_CONSTRUCTING (TYPE_MAIN_VARIANT (t));
121       has_nontrivial_dtor
122         = TYPE_HAS_NONTRIVIAL_DESTRUCTOR (TYPE_MAIN_VARIANT (t));
123       for (t = TYPE_MAIN_VARIANT (type); t; t = TYPE_NEXT_VARIANT (t))
124         {
125           TYPE_NEEDS_CONSTRUCTING (t) = needs_constructing;
126           TYPE_HAS_NONTRIVIAL_DESTRUCTOR (t) = has_nontrivial_dtor;
127         }
128     }
129   else if (CLASS_TYPE_P (type) && CLASSTYPE_TEMPLATE_INSTANTIATION (type))
130     instantiate_class_template (TYPE_MAIN_VARIANT (type));
131
132   return type;
133 }
134
135 /* Like complete_type, but issue an error if the TYPE cannot be completed.
136    VALUE is used for informative diagnostics.
137    Returns NULL_TREE if the type cannot be made complete.  */
138
139 tree
140 complete_type_or_else (tree type, tree value)
141 {
142   type = complete_type (type);
143   if (type == error_mark_node)
144     /* We already issued an error.  */
145     return NULL_TREE;
146   else if (!COMPLETE_TYPE_P (type))
147     {
148       cxx_incomplete_type_diagnostic (value, type, DK_ERROR);
149       return NULL_TREE;
150     }
151   else
152     return type;
153 }
154
155 /* Return truthvalue of whether type of EXP is instantiated.  */
156
157 int
158 type_unknown_p (const_tree exp)
159 {
160   return (TREE_CODE (exp) == TREE_LIST
161           || TREE_TYPE (exp) == unknown_type_node);
162 }
163
164 \f
165 /* Return the common type of two parameter lists.
166    We assume that comptypes has already been done and returned 1;
167    if that isn't so, this may crash.
168
169    As an optimization, free the space we allocate if the parameter
170    lists are already common.  */
171
172 static tree
173 commonparms (tree p1, tree p2)
174 {
175   tree oldargs = p1, newargs, n;
176   int i, len;
177   int any_change = 0;
178
179   len = list_length (p1);
180   newargs = tree_last (p1);
181
182   if (newargs == void_list_node)
183     i = 1;
184   else
185     {
186       i = 0;
187       newargs = 0;
188     }
189
190   for (; i < len; i++)
191     newargs = tree_cons (NULL_TREE, NULL_TREE, newargs);
192
193   n = newargs;
194
195   for (i = 0; p1;
196        p1 = TREE_CHAIN (p1), p2 = TREE_CHAIN (p2), n = TREE_CHAIN (n), i++)
197     {
198       if (TREE_PURPOSE (p1) && !TREE_PURPOSE (p2))
199         {
200           TREE_PURPOSE (n) = TREE_PURPOSE (p1);
201           any_change = 1;
202         }
203       else if (! TREE_PURPOSE (p1))
204         {
205           if (TREE_PURPOSE (p2))
206             {
207               TREE_PURPOSE (n) = TREE_PURPOSE (p2);
208               any_change = 1;
209             }
210         }
211       else
212         {
213           if (1 != simple_cst_equal (TREE_PURPOSE (p1), TREE_PURPOSE (p2)))
214             any_change = 1;
215           TREE_PURPOSE (n) = TREE_PURPOSE (p2);
216         }
217       if (TREE_VALUE (p1) != TREE_VALUE (p2))
218         {
219           any_change = 1;
220           TREE_VALUE (n) = merge_types (TREE_VALUE (p1), TREE_VALUE (p2));
221         }
222       else
223         TREE_VALUE (n) = TREE_VALUE (p1);
224     }
225   if (! any_change)
226     return oldargs;
227
228   return newargs;
229 }
230
231 /* Given a type, perhaps copied for a typedef,
232    find the "original" version of it.  */
233 static tree
234 original_type (tree t)
235 {
236   int quals = cp_type_quals (t);
237   while (t != error_mark_node
238          && TYPE_NAME (t) != NULL_TREE)
239     {
240       tree x = TYPE_NAME (t);
241       if (TREE_CODE (x) != TYPE_DECL)
242         break;
243       x = DECL_ORIGINAL_TYPE (x);
244       if (x == NULL_TREE)
245         break;
246       t = x;
247     }
248   return cp_build_qualified_type (t, quals);
249 }
250
251 /* Return the common type for two arithmetic types T1 and T2 under the
252    usual arithmetic conversions.  The default conversions have already
253    been applied, and enumerated types converted to their compatible
254    integer types.  */
255
256 static tree
257 cp_common_type (tree t1, tree t2)
258 {
259   enum tree_code code1 = TREE_CODE (t1);
260   enum tree_code code2 = TREE_CODE (t2);
261   tree attributes;
262
263   /* In what follows, we slightly generalize the rules given in [expr] so
264      as to deal with `long long' and `complex'.  First, merge the
265      attributes.  */
266   attributes = (*targetm.merge_type_attributes) (t1, t2);
267
268   if (SCOPED_ENUM_P (t1) || SCOPED_ENUM_P (t2))
269     {
270       if (TYPE_MAIN_VARIANT (t1) == TYPE_MAIN_VARIANT (t2))
271         return build_type_attribute_variant (t1, attributes);
272       else
273         return NULL_TREE;
274     }
275
276   /* FIXME: Attributes.  */
277   gcc_assert (ARITHMETIC_TYPE_P (t1)
278               || TREE_CODE (t1) == VECTOR_TYPE
279               || UNSCOPED_ENUM_P (t1));
280   gcc_assert (ARITHMETIC_TYPE_P (t2)
281               || TREE_CODE (t2) == VECTOR_TYPE
282               || UNSCOPED_ENUM_P (t2));
283
284   /* If one type is complex, form the common type of the non-complex
285      components, then make that complex.  Use T1 or T2 if it is the
286      required type.  */
287   if (code1 == COMPLEX_TYPE || code2 == COMPLEX_TYPE)
288     {
289       tree subtype1 = code1 == COMPLEX_TYPE ? TREE_TYPE (t1) : t1;
290       tree subtype2 = code2 == COMPLEX_TYPE ? TREE_TYPE (t2) : t2;
291       tree subtype
292         = type_after_usual_arithmetic_conversions (subtype1, subtype2);
293
294       if (code1 == COMPLEX_TYPE && TREE_TYPE (t1) == subtype)
295         return build_type_attribute_variant (t1, attributes);
296       else if (code2 == COMPLEX_TYPE && TREE_TYPE (t2) == subtype)
297         return build_type_attribute_variant (t2, attributes);
298       else
299         return build_type_attribute_variant (build_complex_type (subtype),
300                                              attributes);
301     }
302
303   if (code1 == VECTOR_TYPE)
304     {
305       /* When we get here we should have two vectors of the same size.
306          Just prefer the unsigned one if present.  */
307       if (TYPE_UNSIGNED (t1))
308         return build_type_attribute_variant (t1, attributes);
309       else
310         return build_type_attribute_variant (t2, attributes);
311     }
312
313   /* If only one is real, use it as the result.  */
314   if (code1 == REAL_TYPE && code2 != REAL_TYPE)
315     return build_type_attribute_variant (t1, attributes);
316   if (code2 == REAL_TYPE && code1 != REAL_TYPE)
317     return build_type_attribute_variant (t2, attributes);
318
319   /* Both real or both integers; use the one with greater precision.  */
320   if (TYPE_PRECISION (t1) > TYPE_PRECISION (t2))
321     return build_type_attribute_variant (t1, attributes);
322   else if (TYPE_PRECISION (t2) > TYPE_PRECISION (t1))
323     return build_type_attribute_variant (t2, attributes);
324
325   /* The types are the same; no need to do anything fancy.  */
326   if (TYPE_MAIN_VARIANT (t1) == TYPE_MAIN_VARIANT (t2))
327     return build_type_attribute_variant (t1, attributes);
328
329   if (code1 != REAL_TYPE)
330     {
331       /* If one is unsigned long long, then convert the other to unsigned
332          long long.  */
333       if (same_type_p (TYPE_MAIN_VARIANT (t1), long_long_unsigned_type_node)
334           || same_type_p (TYPE_MAIN_VARIANT (t2), long_long_unsigned_type_node))
335         return build_type_attribute_variant (long_long_unsigned_type_node,
336                                              attributes);
337       /* If one is a long long, and the other is an unsigned long, and
338          long long can represent all the values of an unsigned long, then
339          convert to a long long.  Otherwise, convert to an unsigned long
340          long.  Otherwise, if either operand is long long, convert the
341          other to long long.
342
343          Since we're here, we know the TYPE_PRECISION is the same;
344          therefore converting to long long cannot represent all the values
345          of an unsigned long, so we choose unsigned long long in that
346          case.  */
347       if (same_type_p (TYPE_MAIN_VARIANT (t1), long_long_integer_type_node)
348           || same_type_p (TYPE_MAIN_VARIANT (t2), long_long_integer_type_node))
349         {
350           tree t = ((TYPE_UNSIGNED (t1) || TYPE_UNSIGNED (t2))
351                     ? long_long_unsigned_type_node
352                     : long_long_integer_type_node);
353           return build_type_attribute_variant (t, attributes);
354         }
355
356       /* Go through the same procedure, but for longs.  */
357       if (same_type_p (TYPE_MAIN_VARIANT (t1), long_unsigned_type_node)
358           || same_type_p (TYPE_MAIN_VARIANT (t2), long_unsigned_type_node))
359         return build_type_attribute_variant (long_unsigned_type_node,
360                                              attributes);
361       if (same_type_p (TYPE_MAIN_VARIANT (t1), long_integer_type_node)
362           || same_type_p (TYPE_MAIN_VARIANT (t2), long_integer_type_node))
363         {
364           tree t = ((TYPE_UNSIGNED (t1) || TYPE_UNSIGNED (t2))
365                     ? long_unsigned_type_node : long_integer_type_node);
366           return build_type_attribute_variant (t, attributes);
367         }
368       /* Otherwise prefer the unsigned one.  */
369       if (TYPE_UNSIGNED (t1))
370         return build_type_attribute_variant (t1, attributes);
371       else
372         return build_type_attribute_variant (t2, attributes);
373     }
374   else
375     {
376       if (same_type_p (TYPE_MAIN_VARIANT (t1), long_double_type_node)
377           || same_type_p (TYPE_MAIN_VARIANT (t2), long_double_type_node))
378         return build_type_attribute_variant (long_double_type_node,
379                                              attributes);
380       if (same_type_p (TYPE_MAIN_VARIANT (t1), double_type_node)
381           || same_type_p (TYPE_MAIN_VARIANT (t2), double_type_node))
382         return build_type_attribute_variant (double_type_node,
383                                              attributes);
384       if (same_type_p (TYPE_MAIN_VARIANT (t1), float_type_node)
385           || same_type_p (TYPE_MAIN_VARIANT (t2), float_type_node))
386         return build_type_attribute_variant (float_type_node,
387                                              attributes);
388
389       /* Two floating-point types whose TYPE_MAIN_VARIANTs are none of
390          the standard C++ floating-point types.  Logic earlier in this
391          function has already eliminated the possibility that
392          TYPE_PRECISION (t2) != TYPE_PRECISION (t1), so there's no
393          compelling reason to choose one or the other.  */
394       return build_type_attribute_variant (t1, attributes);
395     }
396 }
397
398 /* T1 and T2 are arithmetic or enumeration types.  Return the type
399    that will result from the "usual arithmetic conversions" on T1 and
400    T2 as described in [expr].  */
401
402 tree
403 type_after_usual_arithmetic_conversions (tree t1, tree t2)
404 {
405   gcc_assert (ARITHMETIC_TYPE_P (t1)
406               || TREE_CODE (t1) == VECTOR_TYPE
407               || UNSCOPED_ENUM_P (t1));
408   gcc_assert (ARITHMETIC_TYPE_P (t2)
409               || TREE_CODE (t2) == VECTOR_TYPE
410               || UNSCOPED_ENUM_P (t2));
411
412   /* Perform the integral promotions.  We do not promote real types here.  */
413   if (INTEGRAL_OR_ENUMERATION_TYPE_P (t1)
414       && INTEGRAL_OR_ENUMERATION_TYPE_P (t2))
415     {
416       t1 = type_promotes_to (t1);
417       t2 = type_promotes_to (t2);
418     }
419
420   return cp_common_type (t1, t2);
421 }
422
423 /* Subroutine of composite_pointer_type to implement the recursive
424    case.  See that function for documentation fo the parameters.  */
425
426 static tree
427 composite_pointer_type_r (tree t1, tree t2, const char* location,
428                           tsubst_flags_t complain)
429 {
430   tree pointee1;
431   tree pointee2;
432   tree result_type;
433   tree attributes;
434
435   /* Determine the types pointed to by T1 and T2.  */
436   if (TREE_CODE (t1) == POINTER_TYPE)
437     {
438       pointee1 = TREE_TYPE (t1);
439       pointee2 = TREE_TYPE (t2);
440     }
441   else
442     {
443       pointee1 = TYPE_PTRMEM_POINTED_TO_TYPE (t1);
444       pointee2 = TYPE_PTRMEM_POINTED_TO_TYPE (t2);
445     }
446
447   /* [expr.rel]
448
449      Otherwise, the composite pointer type is a pointer type
450      similar (_conv.qual_) to the type of one of the operands,
451      with a cv-qualification signature (_conv.qual_) that is the
452      union of the cv-qualification signatures of the operand
453      types.  */
454   if (same_type_ignoring_top_level_qualifiers_p (pointee1, pointee2))
455     result_type = pointee1;
456   else if ((TREE_CODE (pointee1) == POINTER_TYPE
457             && TREE_CODE (pointee2) == POINTER_TYPE)
458            || (TYPE_PTR_TO_MEMBER_P (pointee1)
459                && TYPE_PTR_TO_MEMBER_P (pointee2)))
460     result_type = composite_pointer_type_r (pointee1, pointee2, location,
461                                             complain);
462   else
463     {
464       if (complain & tf_error)
465         permerror (input_location, "%s between distinct pointer types %qT and %qT "
466                    "lacks a cast",
467                    location, t1, t2);
468       result_type = void_type_node;
469     }
470   result_type = cp_build_qualified_type (result_type,
471                                          (cp_type_quals (pointee1)
472                                           | cp_type_quals (pointee2)));
473   /* If the original types were pointers to members, so is the
474      result.  */
475   if (TYPE_PTR_TO_MEMBER_P (t1))
476     {
477       if (!same_type_p (TYPE_PTRMEM_CLASS_TYPE (t1),
478                         TYPE_PTRMEM_CLASS_TYPE (t2))
479           && (complain & tf_error))
480         permerror (input_location, "%s between distinct pointer types %qT and %qT "
481                    "lacks a cast",
482                    location, t1, t2);
483       result_type = build_ptrmem_type (TYPE_PTRMEM_CLASS_TYPE (t1),
484                                        result_type);
485     }
486   else
487     result_type = build_pointer_type (result_type);
488
489   /* Merge the attributes.  */
490   attributes = (*targetm.merge_type_attributes) (t1, t2);
491   return build_type_attribute_variant (result_type, attributes);
492 }
493
494 /* Return the composite pointer type (see [expr.rel]) for T1 and T2.
495    ARG1 and ARG2 are the values with those types.  The LOCATION is a
496    string describing the current location, in case an error occurs.
497
498    This routine also implements the computation of a common type for
499    pointers-to-members as per [expr.eq].  */
500
501 tree
502 composite_pointer_type (tree t1, tree t2, tree arg1, tree arg2,
503                         const char* location, tsubst_flags_t complain)
504 {
505   tree class1;
506   tree class2;
507
508   /* [expr.rel]
509
510      If one operand is a null pointer constant, the composite pointer
511      type is the type of the other operand.  */
512   if (null_ptr_cst_p (arg1))
513     return t2;
514   if (null_ptr_cst_p (arg2))
515     return t1;
516
517   /* We have:
518
519        [expr.rel]
520
521        If one of the operands has type "pointer to cv1 void*", then
522        the other has type "pointer to cv2T", and the composite pointer
523        type is "pointer to cv12 void", where cv12 is the union of cv1
524        and cv2.
525
526     If either type is a pointer to void, make sure it is T1.  */
527   if (TREE_CODE (t2) == POINTER_TYPE && VOID_TYPE_P (TREE_TYPE (t2)))
528     {
529       tree t;
530       t = t1;
531       t1 = t2;
532       t2 = t;
533     }
534
535   /* Now, if T1 is a pointer to void, merge the qualifiers.  */
536   if (TREE_CODE (t1) == POINTER_TYPE && VOID_TYPE_P (TREE_TYPE (t1)))
537     {
538       tree attributes;
539       tree result_type;
540
541       if (TYPE_PTRFN_P (t2) && (complain & tf_error))
542         pedwarn (input_location, OPT_pedantic, "ISO C++ forbids %s "
543                  "between pointer of type %<void *%> and pointer-to-function",
544                  location);
545       result_type
546         = cp_build_qualified_type (void_type_node,
547                                    (cp_type_quals (TREE_TYPE (t1))
548                                     | cp_type_quals (TREE_TYPE (t2))));
549       result_type = build_pointer_type (result_type);
550       /* Merge the attributes.  */
551       attributes = (*targetm.merge_type_attributes) (t1, t2);
552       return build_type_attribute_variant (result_type, attributes);
553     }
554
555   if (c_dialect_objc () && TREE_CODE (t1) == POINTER_TYPE
556       && TREE_CODE (t2) == POINTER_TYPE)
557     {
558       if (objc_compare_types (t1, t2, -3, NULL_TREE))
559         return t1;
560     }
561
562   /* [expr.eq] permits the application of a pointer conversion to
563      bring the pointers to a common type.  */
564   if (TREE_CODE (t1) == POINTER_TYPE && TREE_CODE (t2) == POINTER_TYPE
565       && CLASS_TYPE_P (TREE_TYPE (t1))
566       && CLASS_TYPE_P (TREE_TYPE (t2))
567       && !same_type_ignoring_top_level_qualifiers_p (TREE_TYPE (t1),
568                                                      TREE_TYPE (t2)))
569     {
570       class1 = TREE_TYPE (t1);
571       class2 = TREE_TYPE (t2);
572
573       if (DERIVED_FROM_P (class1, class2))
574         t2 = (build_pointer_type
575               (cp_build_qualified_type (class1, TYPE_QUALS (class2))));
576       else if (DERIVED_FROM_P (class2, class1))
577         t1 = (build_pointer_type
578               (cp_build_qualified_type (class2, TYPE_QUALS (class1))));
579       else
580         {
581           if (complain & tf_error)
582             error ("%s between distinct pointer types %qT and %qT "
583                    "lacks a cast", location, t1, t2);
584           return error_mark_node;
585         }
586     }
587   /* [expr.eq] permits the application of a pointer-to-member
588      conversion to change the class type of one of the types.  */
589   else if (TYPE_PTR_TO_MEMBER_P (t1)
590            && !same_type_p (TYPE_PTRMEM_CLASS_TYPE (t1),
591                             TYPE_PTRMEM_CLASS_TYPE (t2)))
592     {
593       class1 = TYPE_PTRMEM_CLASS_TYPE (t1);
594       class2 = TYPE_PTRMEM_CLASS_TYPE (t2);
595
596       if (DERIVED_FROM_P (class1, class2))
597         t1 = build_ptrmem_type (class2, TYPE_PTRMEM_POINTED_TO_TYPE (t1));
598       else if (DERIVED_FROM_P (class2, class1))
599         t2 = build_ptrmem_type (class1, TYPE_PTRMEM_POINTED_TO_TYPE (t2));
600       else
601         {
602           if (complain & tf_error)
603             error ("%s between distinct pointer-to-member types %qT and %qT "
604                    "lacks a cast", location, t1, t2);
605           return error_mark_node;
606         }
607     }
608
609   return composite_pointer_type_r (t1, t2, location, complain);
610 }
611
612 /* Return the merged type of two types.
613    We assume that comptypes has already been done and returned 1;
614    if that isn't so, this may crash.
615
616    This just combines attributes and default arguments; any other
617    differences would cause the two types to compare unalike.  */
618
619 tree
620 merge_types (tree t1, tree t2)
621 {
622   enum tree_code code1;
623   enum tree_code code2;
624   tree attributes;
625
626   /* Save time if the two types are the same.  */
627   if (t1 == t2)
628     return t1;
629   if (original_type (t1) == original_type (t2))
630     return t1;
631
632   /* If one type is nonsense, use the other.  */
633   if (t1 == error_mark_node)
634     return t2;
635   if (t2 == error_mark_node)
636     return t1;
637
638   /* Merge the attributes.  */
639   attributes = (*targetm.merge_type_attributes) (t1, t2);
640
641   if (TYPE_PTRMEMFUNC_P (t1))
642     t1 = TYPE_PTRMEMFUNC_FN_TYPE (t1);
643   if (TYPE_PTRMEMFUNC_P (t2))
644     t2 = TYPE_PTRMEMFUNC_FN_TYPE (t2);
645
646   code1 = TREE_CODE (t1);
647   code2 = TREE_CODE (t2);
648   if (code1 != code2)
649     {
650       gcc_assert (code1 == TYPENAME_TYPE || code2 == TYPENAME_TYPE);
651       if (code1 == TYPENAME_TYPE)
652         {
653           t1 = resolve_typename_type (t1, /*only_current_p=*/true);
654           code1 = TREE_CODE (t1);
655         }
656       else
657         {
658           t2 = resolve_typename_type (t2, /*only_current_p=*/true);
659           code2 = TREE_CODE (t2);
660         }
661     }
662
663   switch (code1)
664     {
665     case POINTER_TYPE:
666     case REFERENCE_TYPE:
667       /* For two pointers, do this recursively on the target type.  */
668       {
669         tree target = merge_types (TREE_TYPE (t1), TREE_TYPE (t2));
670         int quals = cp_type_quals (t1);
671
672         if (code1 == POINTER_TYPE)
673           t1 = build_pointer_type (target);
674         else
675           t1 = cp_build_reference_type (target, TYPE_REF_IS_RVALUE (t1));
676         t1 = build_type_attribute_variant (t1, attributes);
677         t1 = cp_build_qualified_type (t1, quals);
678
679         if (TREE_CODE (target) == METHOD_TYPE)
680           t1 = build_ptrmemfunc_type (t1);
681
682         return t1;
683       }
684
685     case OFFSET_TYPE:
686       {
687         int quals;
688         tree pointee;
689         quals = cp_type_quals (t1);
690         pointee = merge_types (TYPE_PTRMEM_POINTED_TO_TYPE (t1),
691                                TYPE_PTRMEM_POINTED_TO_TYPE (t2));
692         t1 = build_ptrmem_type (TYPE_PTRMEM_CLASS_TYPE (t1),
693                                 pointee);
694         t1 = cp_build_qualified_type (t1, quals);
695         break;
696       }
697
698     case ARRAY_TYPE:
699       {
700         tree elt = merge_types (TREE_TYPE (t1), TREE_TYPE (t2));
701         /* Save space: see if the result is identical to one of the args.  */
702         if (elt == TREE_TYPE (t1) && TYPE_DOMAIN (t1))
703           return build_type_attribute_variant (t1, attributes);
704         if (elt == TREE_TYPE (t2) && TYPE_DOMAIN (t2))
705           return build_type_attribute_variant (t2, attributes);
706         /* Merge the element types, and have a size if either arg has one.  */
707         t1 = build_cplus_array_type
708           (elt, TYPE_DOMAIN (TYPE_DOMAIN (t1) ? t1 : t2));
709         break;
710       }
711
712     case FUNCTION_TYPE:
713       /* Function types: prefer the one that specified arg types.
714          If both do, merge the arg types.  Also merge the return types.  */
715       {
716         tree valtype = merge_types (TREE_TYPE (t1), TREE_TYPE (t2));
717         tree p1 = TYPE_ARG_TYPES (t1);
718         tree p2 = TYPE_ARG_TYPES (t2);
719         tree rval, raises;
720
721         /* Save space: see if the result is identical to one of the args.  */
722         if (valtype == TREE_TYPE (t1) && ! p2)
723           return cp_build_type_attribute_variant (t1, attributes);
724         if (valtype == TREE_TYPE (t2) && ! p1)
725           return cp_build_type_attribute_variant (t2, attributes);
726
727         /* Simple way if one arg fails to specify argument types.  */
728         if (p1 == NULL_TREE || TREE_VALUE (p1) == void_type_node)
729           {
730             rval = build_function_type (valtype, p2);
731             if ((raises = TYPE_RAISES_EXCEPTIONS (t2)))
732               rval = build_exception_variant (rval, raises);
733             return cp_build_type_attribute_variant (rval, attributes);
734           }
735         raises = TYPE_RAISES_EXCEPTIONS (t1);
736         if (p2 == NULL_TREE || TREE_VALUE (p2) == void_type_node)
737           {
738             rval = build_function_type (valtype, p1);
739             if (raises)
740               rval = build_exception_variant (rval, raises);
741             return cp_build_type_attribute_variant (rval, attributes);
742           }
743
744         rval = build_function_type (valtype, commonparms (p1, p2));
745         t1 = build_exception_variant (rval, raises);
746         break;
747       }
748
749     case METHOD_TYPE:
750       {
751         /* Get this value the long way, since TYPE_METHOD_BASETYPE
752            is just the main variant of this.  */
753         tree basetype = TREE_TYPE (TREE_VALUE (TYPE_ARG_TYPES (t2)));
754         tree raises = TYPE_RAISES_EXCEPTIONS (t1);
755         tree t3;
756
757         /* If this was a member function type, get back to the
758            original type of type member function (i.e., without
759            the class instance variable up front.  */
760         t1 = build_function_type (TREE_TYPE (t1),
761                                   TREE_CHAIN (TYPE_ARG_TYPES (t1)));
762         t2 = build_function_type (TREE_TYPE (t2),
763                                   TREE_CHAIN (TYPE_ARG_TYPES (t2)));
764         t3 = merge_types (t1, t2);
765         t3 = build_method_type_directly (basetype, TREE_TYPE (t3),
766                                          TYPE_ARG_TYPES (t3));
767         t1 = build_exception_variant (t3, raises);
768         break;
769       }
770
771     case TYPENAME_TYPE:
772       /* There is no need to merge attributes into a TYPENAME_TYPE.
773          When the type is instantiated it will have whatever
774          attributes result from the instantiation.  */
775       return t1;
776
777     default:;
778     }
779
780   if (attribute_list_equal (TYPE_ATTRIBUTES (t1), attributes))
781     return t1;
782   else if (attribute_list_equal (TYPE_ATTRIBUTES (t2), attributes))
783     return t2;
784   else
785     return cp_build_type_attribute_variant (t1, attributes);
786 }
787
788 /* Wrapper around cp_common_type that is used by c-common.c and other
789    front end optimizations that remove promotions.  
790
791    Return the common type for two arithmetic types T1 and T2 under the
792    usual arithmetic conversions.  The default conversions have already
793    been applied, and enumerated types converted to their compatible
794    integer types.  */
795
796 tree
797 common_type (tree t1, tree t2)
798 {
799   /* If one type is nonsense, use the other  */
800   if (t1 == error_mark_node)
801     return t2;
802   if (t2 == error_mark_node)
803     return t1;
804
805   return cp_common_type (t1, t2);
806 }
807
808 /* Return the common type of two pointer types T1 and T2.  This is the
809    type for the result of most arithmetic operations if the operands
810    have the given two types.
811  
812    We assume that comp_target_types has already been done and returned
813    nonzero; if that isn't so, this may crash.  */
814
815 tree
816 common_pointer_type (tree t1, tree t2)
817 {
818   gcc_assert ((TYPE_PTR_P (t1) && TYPE_PTR_P (t2))
819               || (TYPE_PTRMEM_P (t1) && TYPE_PTRMEM_P (t2))
820               || (TYPE_PTRMEMFUNC_P (t1) && TYPE_PTRMEMFUNC_P (t2)));
821
822   return composite_pointer_type (t1, t2, error_mark_node, error_mark_node,
823                                  "conversion", tf_warning_or_error);
824 }
825 \f
826 /* Compare two exception specifier types for exactness or subsetness, if
827    allowed. Returns false for mismatch, true for match (same, or
828    derived and !exact).
829
830    [except.spec] "If a class X ... objects of class X or any class publicly
831    and unambiguously derived from X. Similarly, if a pointer type Y * ...
832    exceptions of type Y * or that are pointers to any type publicly and
833    unambiguously derived from Y. Otherwise a function only allows exceptions
834    that have the same type ..."
835    This does not mention cv qualifiers and is different to what throw
836    [except.throw] and catch [except.catch] will do. They will ignore the
837    top level cv qualifiers, and allow qualifiers in the pointer to class
838    example.
839
840    We implement the letter of the standard.  */
841
842 static bool
843 comp_except_types (tree a, tree b, bool exact)
844 {
845   if (same_type_p (a, b))
846     return true;
847   else if (!exact)
848     {
849       if (cp_type_quals (a) || cp_type_quals (b))
850         return false;
851
852       if (TREE_CODE (a) == POINTER_TYPE
853           && TREE_CODE (b) == POINTER_TYPE)
854         {
855           a = TREE_TYPE (a);
856           b = TREE_TYPE (b);
857           if (cp_type_quals (a) || cp_type_quals (b))
858             return false;
859         }
860
861       if (TREE_CODE (a) != RECORD_TYPE
862           || TREE_CODE (b) != RECORD_TYPE)
863         return false;
864
865       if (PUBLICLY_UNIQUELY_DERIVED_P (a, b))
866         return true;
867     }
868   return false;
869 }
870
871 /* Return true if TYPE1 and TYPE2 are equivalent exception specifiers.
872    If EXACT is false, T2 can be stricter than T1 (according to 15.4/7),
873    otherwise it must be exact. Exception lists are unordered, but
874    we've already filtered out duplicates. Most lists will be in order,
875    we should try to make use of that.  */
876
877 bool
878 comp_except_specs (const_tree t1, const_tree t2, bool exact)
879 {
880   const_tree probe;
881   const_tree base;
882   int  length = 0;
883
884   if (t1 == t2)
885     return true;
886
887   if (t1 == NULL_TREE)                     /* T1 is ...  */
888     return t2 == NULL_TREE || !exact;
889   if (!TREE_VALUE (t1))                    /* t1 is EMPTY */
890     return t2 != NULL_TREE && !TREE_VALUE (t2);
891   if (t2 == NULL_TREE)                     /* T2 is ...  */
892     return false;
893   if (TREE_VALUE (t1) && !TREE_VALUE (t2)) /* T2 is EMPTY, T1 is not */
894     return !exact;
895
896   /* Neither set is ... or EMPTY, make sure each part of T2 is in T1.
897      Count how many we find, to determine exactness. For exact matching and
898      ordered T1, T2, this is an O(n) operation, otherwise its worst case is
899      O(nm).  */
900   for (base = t1; t2 != NULL_TREE; t2 = TREE_CHAIN (t2))
901     {
902       for (probe = base; probe != NULL_TREE; probe = TREE_CHAIN (probe))
903         {
904           tree a = TREE_VALUE (probe);
905           tree b = TREE_VALUE (t2);
906
907           if (comp_except_types (a, b, exact))
908             {
909               if (probe == base && exact)
910                 base = TREE_CHAIN (probe);
911               length++;
912               break;
913             }
914         }
915       if (probe == NULL_TREE)
916         return false;
917     }
918   return !exact || base == NULL_TREE || length == list_length (t1);
919 }
920
921 /* Compare the array types T1 and T2.  ALLOW_REDECLARATION is true if
922    [] can match [size].  */
923
924 static bool
925 comp_array_types (const_tree t1, const_tree t2, bool allow_redeclaration)
926 {
927   tree d1;
928   tree d2;
929   tree max1, max2;
930
931   if (t1 == t2)
932     return true;
933
934   /* The type of the array elements must be the same.  */
935   if (!same_type_p (TREE_TYPE (t1), TREE_TYPE (t2)))
936     return false;
937
938   d1 = TYPE_DOMAIN (t1);
939   d2 = TYPE_DOMAIN (t2);
940
941   if (d1 == d2)
942     return true;
943
944   /* If one of the arrays is dimensionless, and the other has a
945      dimension, they are of different types.  However, it is valid to
946      write:
947
948        extern int a[];
949        int a[3];
950
951      by [basic.link]:
952
953        declarations for an array object can specify
954        array types that differ by the presence or absence of a major
955        array bound (_dcl.array_).  */
956   if (!d1 || !d2)
957     return allow_redeclaration;
958
959   /* Check that the dimensions are the same.  */
960
961   if (!cp_tree_equal (TYPE_MIN_VALUE (d1), TYPE_MIN_VALUE (d2)))
962     return false;
963   max1 = TYPE_MAX_VALUE (d1);
964   max2 = TYPE_MAX_VALUE (d2);
965   if (processing_template_decl && !abi_version_at_least (2)
966       && !value_dependent_expression_p (max1)
967       && !value_dependent_expression_p (max2))
968     {
969       /* With abi-1 we do not fold non-dependent array bounds, (and
970          consequently mangle them incorrectly).  We must therefore
971          fold them here, to verify the domains have the same
972          value.  */
973       max1 = fold (max1);
974       max2 = fold (max2);
975     }
976
977   if (!cp_tree_equal (max1, max2))
978     return false;
979
980   return true;
981 }
982
983 /* Subroutine in comptypes.  */
984
985 static bool
986 structural_comptypes (tree t1, tree t2, int strict)
987 {
988   if (t1 == t2)
989     return true;
990
991   /* Suppress errors caused by previously reported errors.  */
992   if (t1 == error_mark_node || t2 == error_mark_node)
993     return false;
994
995   gcc_assert (TYPE_P (t1) && TYPE_P (t2));
996
997   /* TYPENAME_TYPEs should be resolved if the qualifying scope is the
998      current instantiation.  */
999   if (TREE_CODE (t1) == TYPENAME_TYPE)
1000     t1 = resolve_typename_type (t1, /*only_current_p=*/true);
1001
1002   if (TREE_CODE (t2) == TYPENAME_TYPE)
1003     t2 = resolve_typename_type (t2, /*only_current_p=*/true);
1004
1005   if (TYPE_PTRMEMFUNC_P (t1))
1006     t1 = TYPE_PTRMEMFUNC_FN_TYPE (t1);
1007   if (TYPE_PTRMEMFUNC_P (t2))
1008     t2 = TYPE_PTRMEMFUNC_FN_TYPE (t2);
1009
1010   /* Different classes of types can't be compatible.  */
1011   if (TREE_CODE (t1) != TREE_CODE (t2))
1012     return false;
1013
1014   /* Qualifiers must match.  For array types, we will check when we
1015      recur on the array element types.  */
1016   if (TREE_CODE (t1) != ARRAY_TYPE
1017       && TYPE_QUALS (t1) != TYPE_QUALS (t2))
1018     return false;
1019   if (TYPE_FOR_JAVA (t1) != TYPE_FOR_JAVA (t2))
1020     return false;
1021
1022   /* Allow for two different type nodes which have essentially the same
1023      definition.  Note that we already checked for equality of the type
1024      qualifiers (just above).  */
1025
1026   if (TREE_CODE (t1) != ARRAY_TYPE
1027       && TYPE_MAIN_VARIANT (t1) == TYPE_MAIN_VARIANT (t2))
1028     return true;
1029
1030   /* Compare the types.  Break out if they could be the same.  */
1031   switch (TREE_CODE (t1))
1032     {
1033     case VOID_TYPE:
1034     case BOOLEAN_TYPE:
1035       /* All void and bool types are the same.  */
1036       break;
1037
1038     case INTEGER_TYPE:
1039     case FIXED_POINT_TYPE:
1040     case REAL_TYPE:
1041       /* With these nodes, we can't determine type equivalence by
1042          looking at what is stored in the nodes themselves, because
1043          two nodes might have different TYPE_MAIN_VARIANTs but still
1044          represent the same type.  For example, wchar_t and int could
1045          have the same properties (TYPE_PRECISION, TYPE_MIN_VALUE,
1046          TYPE_MAX_VALUE, etc.), but have different TYPE_MAIN_VARIANTs
1047          and are distinct types. On the other hand, int and the
1048          following typedef
1049
1050            typedef int INT __attribute((may_alias));
1051
1052          have identical properties, different TYPE_MAIN_VARIANTs, but
1053          represent the same type.  The canonical type system keeps
1054          track of equivalence in this case, so we fall back on it.  */
1055       return TYPE_CANONICAL (t1) == TYPE_CANONICAL (t2);
1056
1057     case TEMPLATE_TEMPLATE_PARM:
1058     case BOUND_TEMPLATE_TEMPLATE_PARM:
1059       if (TEMPLATE_TYPE_IDX (t1) != TEMPLATE_TYPE_IDX (t2)
1060           || TEMPLATE_TYPE_LEVEL (t1) != TEMPLATE_TYPE_LEVEL (t2)
1061           || (TEMPLATE_TYPE_PARAMETER_PACK (t1) 
1062               != TEMPLATE_TYPE_PARAMETER_PACK (t2)))
1063         return false;
1064       if (!comp_template_parms
1065           (DECL_TEMPLATE_PARMS (TEMPLATE_TEMPLATE_PARM_TEMPLATE_DECL (t1)),
1066            DECL_TEMPLATE_PARMS (TEMPLATE_TEMPLATE_PARM_TEMPLATE_DECL (t2))))
1067         return false;
1068       if (TREE_CODE (t1) == TEMPLATE_TEMPLATE_PARM)
1069         break;
1070       /* Don't check inheritance.  */
1071       strict = COMPARE_STRICT;
1072       /* Fall through.  */
1073
1074     case RECORD_TYPE:
1075     case UNION_TYPE:
1076       if (TYPE_TEMPLATE_INFO (t1) && TYPE_TEMPLATE_INFO (t2)
1077           && (TYPE_TI_TEMPLATE (t1) == TYPE_TI_TEMPLATE (t2)
1078               || TREE_CODE (t1) == BOUND_TEMPLATE_TEMPLATE_PARM)
1079           && comp_template_args (TYPE_TI_ARGS (t1), TYPE_TI_ARGS (t2)))
1080         break;
1081
1082       if ((strict & COMPARE_BASE) && DERIVED_FROM_P (t1, t2))
1083         break;
1084       else if ((strict & COMPARE_DERIVED) && DERIVED_FROM_P (t2, t1))
1085         break;
1086
1087       return false;
1088
1089     case OFFSET_TYPE:
1090       if (!comptypes (TYPE_OFFSET_BASETYPE (t1), TYPE_OFFSET_BASETYPE (t2),
1091                       strict & ~COMPARE_REDECLARATION))
1092         return false;
1093       if (!same_type_p (TREE_TYPE (t1), TREE_TYPE (t2)))
1094         return false;
1095       break;
1096
1097     case REFERENCE_TYPE:
1098       if (TYPE_REF_IS_RVALUE (t1) != TYPE_REF_IS_RVALUE (t2))
1099         return false;
1100       /* fall through to checks for pointer types */
1101
1102     case POINTER_TYPE:
1103       if (TYPE_MODE (t1) != TYPE_MODE (t2)
1104           || TYPE_REF_CAN_ALIAS_ALL (t1) != TYPE_REF_CAN_ALIAS_ALL (t2)
1105           || !same_type_p (TREE_TYPE (t1), TREE_TYPE (t2)))
1106         return false;
1107       break;
1108
1109     case METHOD_TYPE:
1110     case FUNCTION_TYPE:
1111       if (!same_type_p (TREE_TYPE (t1), TREE_TYPE (t2)))
1112         return false;
1113       if (!compparms (TYPE_ARG_TYPES (t1), TYPE_ARG_TYPES (t2)))
1114         return false;
1115       break;
1116
1117     case ARRAY_TYPE:
1118       /* Target types must match incl. qualifiers.  */
1119       if (!comp_array_types (t1, t2, !!(strict & COMPARE_REDECLARATION)))
1120         return false;
1121       break;
1122
1123     case TEMPLATE_TYPE_PARM:
1124       if (TEMPLATE_TYPE_IDX (t1) != TEMPLATE_TYPE_IDX (t2)
1125           || TEMPLATE_TYPE_LEVEL (t1) != TEMPLATE_TYPE_LEVEL (t2)
1126           || (TEMPLATE_TYPE_PARAMETER_PACK (t1) 
1127               != TEMPLATE_TYPE_PARAMETER_PACK (t2)))
1128         return false;
1129       break;
1130
1131     case TYPENAME_TYPE:
1132       if (!cp_tree_equal (TYPENAME_TYPE_FULLNAME (t1),
1133                           TYPENAME_TYPE_FULLNAME (t2)))
1134         return false;
1135       if (!same_type_p (TYPE_CONTEXT (t1), TYPE_CONTEXT (t2)))
1136         return false;
1137       break;
1138
1139     case UNBOUND_CLASS_TEMPLATE:
1140       if (!cp_tree_equal (TYPE_IDENTIFIER (t1), TYPE_IDENTIFIER (t2)))
1141         return false;
1142       if (!same_type_p (TYPE_CONTEXT (t1), TYPE_CONTEXT (t2)))
1143         return false;
1144       break;
1145
1146     case COMPLEX_TYPE:
1147       if (!same_type_p (TREE_TYPE (t1), TREE_TYPE (t2)))
1148         return false;
1149       break;
1150
1151     case VECTOR_TYPE:
1152       if (TYPE_VECTOR_SUBPARTS (t1) != TYPE_VECTOR_SUBPARTS (t2)
1153           || !same_type_p (TREE_TYPE (t1), TREE_TYPE (t2)))
1154         return false;
1155       break;
1156
1157     case TYPE_PACK_EXPANSION:
1158       return same_type_p (PACK_EXPANSION_PATTERN (t1), 
1159                           PACK_EXPANSION_PATTERN (t2));
1160
1161     case DECLTYPE_TYPE:
1162       if (DECLTYPE_TYPE_ID_EXPR_OR_MEMBER_ACCESS_P (t1)
1163           != DECLTYPE_TYPE_ID_EXPR_OR_MEMBER_ACCESS_P (t2)
1164           || !cp_tree_equal (DECLTYPE_TYPE_EXPR (t1), 
1165                              DECLTYPE_TYPE_EXPR (t2)))
1166         return false;
1167       break;
1168
1169     default:
1170       return false;
1171     }
1172
1173   /* If we get here, we know that from a target independent POV the
1174      types are the same.  Make sure the target attributes are also
1175      the same.  */
1176   return targetm.comp_type_attributes (t1, t2);
1177 }
1178
1179 /* Return true if T1 and T2 are related as allowed by STRICT.  STRICT
1180    is a bitwise-or of the COMPARE_* flags.  */
1181
1182 bool
1183 comptypes (tree t1, tree t2, int strict)
1184 {
1185   if (strict == COMPARE_STRICT)
1186     {
1187       if (t1 == t2)
1188         return true;
1189
1190       if (t1 == error_mark_node || t2 == error_mark_node)
1191         return false;
1192
1193       if (TYPE_STRUCTURAL_EQUALITY_P (t1) || TYPE_STRUCTURAL_EQUALITY_P (t2))
1194         /* At least one of the types requires structural equality, so
1195            perform a deep check. */
1196         return structural_comptypes (t1, t2, strict);
1197
1198 #ifdef ENABLE_CHECKING
1199       if (USE_CANONICAL_TYPES)
1200         {
1201           bool result = structural_comptypes (t1, t2, strict);
1202           
1203           if (result && TYPE_CANONICAL (t1) != TYPE_CANONICAL (t2))
1204             /* The two types are structurally equivalent, but their
1205                canonical types were different. This is a failure of the
1206                canonical type propagation code.*/
1207             internal_error 
1208               ("canonical types differ for identical types %T and %T", 
1209                t1, t2);
1210           else if (!result && TYPE_CANONICAL (t1) == TYPE_CANONICAL (t2))
1211             /* Two types are structurally different, but the canonical
1212                types are the same. This means we were over-eager in
1213                assigning canonical types. */
1214             internal_error 
1215               ("same canonical type node for different types %T and %T",
1216                t1, t2);
1217           
1218           return result;
1219         }
1220 #else
1221       if (USE_CANONICAL_TYPES)
1222         return TYPE_CANONICAL (t1) == TYPE_CANONICAL (t2);
1223 #endif
1224       else
1225         return structural_comptypes (t1, t2, strict);
1226     }
1227   else if (strict == COMPARE_STRUCTURAL)
1228     return structural_comptypes (t1, t2, COMPARE_STRICT);
1229   else
1230     return structural_comptypes (t1, t2, strict);
1231 }
1232
1233 /* Returns 1 if TYPE1 is at least as qualified as TYPE2.  */
1234
1235 bool
1236 at_least_as_qualified_p (const_tree type1, const_tree type2)
1237 {
1238   int q1 = cp_type_quals (type1);
1239   int q2 = cp_type_quals (type2);
1240
1241   /* All qualifiers for TYPE2 must also appear in TYPE1.  */
1242   return (q1 & q2) == q2;
1243 }
1244
1245 /* Returns 1 if TYPE1 is more cv-qualified than TYPE2, -1 if TYPE2 is
1246    more cv-qualified that TYPE1, and 0 otherwise.  */
1247
1248 int
1249 comp_cv_qualification (const_tree type1, const_tree type2)
1250 {
1251   int q1 = cp_type_quals (type1);
1252   int q2 = cp_type_quals (type2);
1253
1254   if (q1 == q2)
1255     return 0;
1256
1257   if ((q1 & q2) == q2)
1258     return 1;
1259   else if ((q1 & q2) == q1)
1260     return -1;
1261
1262   return 0;
1263 }
1264
1265 /* Returns 1 if the cv-qualification signature of TYPE1 is a proper
1266    subset of the cv-qualification signature of TYPE2, and the types
1267    are similar.  Returns -1 if the other way 'round, and 0 otherwise.  */
1268
1269 int
1270 comp_cv_qual_signature (tree type1, tree type2)
1271 {
1272   if (comp_ptr_ttypes_real (type2, type1, -1))
1273     return 1;
1274   else if (comp_ptr_ttypes_real (type1, type2, -1))
1275     return -1;
1276   else
1277     return 0;
1278 }
1279 \f
1280 /* Subroutines of `comptypes'.  */
1281
1282 /* Return true if two parameter type lists PARMS1 and PARMS2 are
1283    equivalent in the sense that functions with those parameter types
1284    can have equivalent types.  The two lists must be equivalent,
1285    element by element.  */
1286
1287 bool
1288 compparms (const_tree parms1, const_tree parms2)
1289 {
1290   const_tree t1, t2;
1291
1292   /* An unspecified parmlist matches any specified parmlist
1293      whose argument types don't need default promotions.  */
1294
1295   for (t1 = parms1, t2 = parms2;
1296        t1 || t2;
1297        t1 = TREE_CHAIN (t1), t2 = TREE_CHAIN (t2))
1298     {
1299       /* If one parmlist is shorter than the other,
1300          they fail to match.  */
1301       if (!t1 || !t2)
1302         return false;
1303       if (!same_type_p (TREE_VALUE (t1), TREE_VALUE (t2)))
1304         return false;
1305     }
1306   return true;
1307 }
1308
1309 \f
1310 /* Process a sizeof or alignof expression where the operand is a
1311    type.  */
1312
1313 tree
1314 cxx_sizeof_or_alignof_type (tree type, enum tree_code op, bool complain)
1315 {
1316   tree value;
1317   bool dependent_p;
1318
1319   gcc_assert (op == SIZEOF_EXPR || op == ALIGNOF_EXPR);
1320   if (type == error_mark_node)
1321     return error_mark_node;
1322
1323   type = non_reference (type);
1324   if (TREE_CODE (type) == METHOD_TYPE)
1325     {
1326       if (complain)
1327         pedwarn (input_location, pedantic ? OPT_pedantic : OPT_Wpointer_arith, 
1328                  "invalid application of %qs to a member function", 
1329                  operator_name_info[(int) op].name);
1330       value = size_one_node;
1331     }
1332
1333   dependent_p = dependent_type_p (type);
1334   if (!dependent_p)
1335     complete_type (type);
1336   if (dependent_p
1337       /* VLA types will have a non-constant size.  In the body of an
1338          uninstantiated template, we don't need to try to compute the
1339          value, because the sizeof expression is not an integral
1340          constant expression in that case.  And, if we do try to
1341          compute the value, we'll likely end up with SAVE_EXPRs, which
1342          the template substitution machinery does not expect to see.  */
1343       || (processing_template_decl 
1344           && COMPLETE_TYPE_P (type)
1345           && TREE_CODE (TYPE_SIZE (type)) != INTEGER_CST))
1346     {
1347       value = build_min (op, size_type_node, type);
1348       TREE_READONLY (value) = 1;
1349       return value;
1350     }
1351
1352   return c_sizeof_or_alignof_type (complete_type (type),
1353                                    op == SIZEOF_EXPR,
1354                                    complain);
1355 }
1356
1357 /* Return the size of the type, without producing any warnings for
1358    types whose size cannot be taken.  This routine should be used only
1359    in some other routine that has already produced a diagnostic about
1360    using the size of such a type.  */
1361 tree 
1362 cxx_sizeof_nowarn (tree type)
1363 {
1364   if (TREE_CODE (type) == FUNCTION_TYPE
1365       || TREE_CODE (type) == VOID_TYPE
1366       || TREE_CODE (type) == ERROR_MARK)
1367     return size_one_node;
1368   else if (!COMPLETE_TYPE_P (type))
1369     return size_zero_node;
1370   else
1371     return cxx_sizeof_or_alignof_type (type, SIZEOF_EXPR, false);
1372 }
1373
1374 /* Process a sizeof expression where the operand is an expression.  */
1375
1376 static tree
1377 cxx_sizeof_expr (tree e, tsubst_flags_t complain)
1378 {
1379   if (e == error_mark_node)
1380     return error_mark_node;
1381
1382   if (processing_template_decl)
1383     {
1384       e = build_min (SIZEOF_EXPR, size_type_node, e);
1385       TREE_SIDE_EFFECTS (e) = 0;
1386       TREE_READONLY (e) = 1;
1387
1388       return e;
1389     }
1390
1391   if (TREE_CODE (e) == COMPONENT_REF
1392       && TREE_CODE (TREE_OPERAND (e, 1)) == FIELD_DECL
1393       && DECL_C_BIT_FIELD (TREE_OPERAND (e, 1)))
1394     {
1395       if (complain & tf_error)
1396         error ("invalid application of %<sizeof%> to a bit-field");
1397       else
1398         return error_mark_node;
1399       e = char_type_node;
1400     }
1401   else if (is_overloaded_fn (e))
1402     {
1403       if (complain & tf_error)
1404         permerror (input_location, "ISO C++ forbids applying %<sizeof%> to an expression of "
1405                    "function type");
1406       else
1407         return error_mark_node;
1408       e = char_type_node;
1409     }
1410   else if (type_unknown_p (e))
1411     {
1412       if (complain & tf_error)
1413         cxx_incomplete_type_error (e, TREE_TYPE (e));
1414       else
1415         return error_mark_node;
1416       e = char_type_node;
1417     }
1418   else
1419     e = TREE_TYPE (e);
1420
1421   return cxx_sizeof_or_alignof_type (e, SIZEOF_EXPR, complain & tf_error);
1422 }
1423
1424 /* Implement the __alignof keyword: Return the minimum required
1425    alignment of E, measured in bytes.  For VAR_DECL's and
1426    FIELD_DECL's return DECL_ALIGN (which can be set from an
1427    "aligned" __attribute__ specification).  */
1428
1429 static tree
1430 cxx_alignof_expr (tree e, tsubst_flags_t complain)
1431 {
1432   tree t;
1433
1434   if (e == error_mark_node)
1435     return error_mark_node;
1436
1437   if (processing_template_decl)
1438     {
1439       e = build_min (ALIGNOF_EXPR, size_type_node, e);
1440       TREE_SIDE_EFFECTS (e) = 0;
1441       TREE_READONLY (e) = 1;
1442
1443       return e;
1444     }
1445
1446   if (TREE_CODE (e) == VAR_DECL)
1447     t = size_int (DECL_ALIGN_UNIT (e));
1448   else if (TREE_CODE (e) == COMPONENT_REF
1449            && TREE_CODE (TREE_OPERAND (e, 1)) == FIELD_DECL
1450            && DECL_C_BIT_FIELD (TREE_OPERAND (e, 1)))
1451     {
1452       if (complain & tf_error)
1453         error ("invalid application of %<__alignof%> to a bit-field");
1454       else
1455         return error_mark_node;
1456       t = size_one_node;
1457     }
1458   else if (TREE_CODE (e) == COMPONENT_REF
1459            && TREE_CODE (TREE_OPERAND (e, 1)) == FIELD_DECL)
1460     t = size_int (DECL_ALIGN_UNIT (TREE_OPERAND (e, 1)));
1461   else if (is_overloaded_fn (e))
1462     {
1463       if (complain & tf_error)
1464         permerror (input_location, "ISO C++ forbids applying %<__alignof%> to an expression of "
1465                    "function type");
1466       else
1467         return error_mark_node;
1468       if (TREE_CODE (e) == FUNCTION_DECL)
1469         t = size_int (DECL_ALIGN_UNIT (e));
1470       else
1471         t = size_one_node;
1472     }
1473   else if (type_unknown_p (e))
1474     {
1475       if (complain & tf_error)
1476         cxx_incomplete_type_error (e, TREE_TYPE (e));
1477       else
1478         return error_mark_node;
1479       t = size_one_node;
1480     }
1481   else
1482     return cxx_sizeof_or_alignof_type (TREE_TYPE (e), ALIGNOF_EXPR, 
1483                                        complain & tf_error);
1484
1485   return fold_convert (size_type_node, t);
1486 }
1487
1488 /* Process a sizeof or alignof expression E with code OP where the operand
1489    is an expression.  */
1490
1491 tree
1492 cxx_sizeof_or_alignof_expr (tree e, enum tree_code op, bool complain)
1493 {
1494   if (op == SIZEOF_EXPR)
1495     return cxx_sizeof_expr (e, complain? tf_warning_or_error : tf_none);
1496   else
1497     return cxx_alignof_expr (e, complain? tf_warning_or_error : tf_none);
1498 }
1499 \f
1500 /* EXPR is being used in a context that is not a function call.
1501    Enforce:
1502
1503      [expr.ref]
1504
1505      The expression can be used only as the left-hand operand of a
1506      member function call.
1507
1508      [expr.mptr.operator]
1509
1510      If the result of .* or ->* is a function, then that result can be
1511      used only as the operand for the function call operator ().
1512
1513    by issuing an error message if appropriate.  Returns true iff EXPR
1514    violates these rules.  */
1515
1516 bool
1517 invalid_nonstatic_memfn_p (const_tree expr, tsubst_flags_t complain)
1518 {
1519   if (expr && DECL_NONSTATIC_MEMBER_FUNCTION_P (expr))
1520     {
1521       if (complain & tf_error)
1522         error ("invalid use of non-static member function");
1523       return true;
1524     }
1525   return false;
1526 }
1527
1528 /* If EXP is a reference to a bitfield, and the type of EXP does not
1529    match the declared type of the bitfield, return the declared type
1530    of the bitfield.  Otherwise, return NULL_TREE.  */
1531
1532 tree
1533 is_bitfield_expr_with_lowered_type (const_tree exp)
1534 {
1535   switch (TREE_CODE (exp))
1536     {
1537     case COND_EXPR:
1538       if (!is_bitfield_expr_with_lowered_type (TREE_OPERAND (exp, 1)
1539                                                ? TREE_OPERAND (exp, 1)
1540                                                : TREE_OPERAND (exp, 0)))
1541         return NULL_TREE;
1542       return is_bitfield_expr_with_lowered_type (TREE_OPERAND (exp, 2));
1543
1544     case COMPOUND_EXPR:
1545       return is_bitfield_expr_with_lowered_type (TREE_OPERAND (exp, 1));
1546
1547     case MODIFY_EXPR:
1548     case SAVE_EXPR:
1549       return is_bitfield_expr_with_lowered_type (TREE_OPERAND (exp, 0));
1550
1551     case COMPONENT_REF:
1552       {
1553         tree field;
1554         
1555         field = TREE_OPERAND (exp, 1);
1556         if (TREE_CODE (field) != FIELD_DECL || !DECL_BIT_FIELD_TYPE (field))
1557           return NULL_TREE;
1558         if (same_type_ignoring_top_level_qualifiers_p
1559             (TREE_TYPE (exp), DECL_BIT_FIELD_TYPE (field)))
1560           return NULL_TREE;
1561         return DECL_BIT_FIELD_TYPE (field);
1562       }
1563
1564     CASE_CONVERT:
1565       if (TYPE_MAIN_VARIANT (TREE_TYPE (TREE_OPERAND (exp, 0)))
1566           == TYPE_MAIN_VARIANT (TREE_TYPE (exp)))
1567         return is_bitfield_expr_with_lowered_type (TREE_OPERAND (exp, 0));
1568       /* Fallthrough.  */
1569
1570     default:
1571       return NULL_TREE;
1572     }
1573 }
1574
1575 /* Like is_bitfield_with_lowered_type, except that if EXP is not a
1576    bitfield with a lowered type, the type of EXP is returned, rather
1577    than NULL_TREE.  */
1578
1579 tree
1580 unlowered_expr_type (const_tree exp)
1581 {
1582   tree type;
1583
1584   type = is_bitfield_expr_with_lowered_type (exp);
1585   if (!type)
1586     type = TREE_TYPE (exp);
1587
1588   return type;
1589 }
1590
1591 /* Perform the conversions in [expr] that apply when an lvalue appears
1592    in an rvalue context: the lvalue-to-rvalue, array-to-pointer, and
1593    function-to-pointer conversions.  In addition, manifest constants
1594    are replaced by their values, and bitfield references are converted
1595    to their declared types.
1596
1597    Although the returned value is being used as an rvalue, this
1598    function does not wrap the returned expression in a
1599    NON_LVALUE_EXPR; the caller is expected to be mindful of the fact
1600    that the return value is no longer an lvalue.  */
1601
1602 tree
1603 decay_conversion (tree exp)
1604 {
1605   tree type;
1606   enum tree_code code;
1607
1608   type = TREE_TYPE (exp);
1609   if (type == error_mark_node)
1610     return error_mark_node;
1611
1612   if (type_unknown_p (exp))
1613     {
1614       cxx_incomplete_type_error (exp, TREE_TYPE (exp));
1615       return error_mark_node;
1616     }
1617
1618   exp = decl_constant_value (exp);
1619   if (error_operand_p (exp))
1620     return error_mark_node;
1621
1622   /* build_c_cast puts on a NOP_EXPR to make the result not an lvalue.
1623      Leave such NOP_EXPRs, since RHS is being used in non-lvalue context.  */
1624   code = TREE_CODE (type);
1625   if (code == VOID_TYPE)
1626     {
1627       error ("void value not ignored as it ought to be");
1628       return error_mark_node;
1629     }
1630   if (invalid_nonstatic_memfn_p (exp, tf_warning_or_error))
1631     return error_mark_node;
1632   if (code == FUNCTION_TYPE || is_overloaded_fn (exp))
1633     return cp_build_unary_op (ADDR_EXPR, exp, 0, tf_warning_or_error);
1634   if (code == ARRAY_TYPE)
1635     {
1636       tree adr;
1637       tree ptrtype;
1638
1639       if (TREE_CODE (exp) == INDIRECT_REF)
1640         return build_nop (build_pointer_type (TREE_TYPE (type)),
1641                           TREE_OPERAND (exp, 0));
1642
1643       if (TREE_CODE (exp) == COMPOUND_EXPR)
1644         {
1645           tree op1 = decay_conversion (TREE_OPERAND (exp, 1));
1646           return build2 (COMPOUND_EXPR, TREE_TYPE (op1),
1647                          TREE_OPERAND (exp, 0), op1);
1648         }
1649
1650       if (!lvalue_p (exp)
1651           && ! (TREE_CODE (exp) == CONSTRUCTOR && TREE_STATIC (exp)))
1652         {
1653           error ("invalid use of non-lvalue array");
1654           return error_mark_node;
1655         }
1656
1657       ptrtype = build_pointer_type (TREE_TYPE (type));
1658
1659       if (TREE_CODE (exp) == VAR_DECL)
1660         {
1661           if (!cxx_mark_addressable (exp))
1662             return error_mark_node;
1663           adr = build_nop (ptrtype, build_address (exp));
1664           return adr;
1665         }
1666       /* This way is better for a COMPONENT_REF since it can
1667          simplify the offset for a component.  */
1668       adr = cp_build_unary_op (ADDR_EXPR, exp, 1, tf_warning_or_error);
1669       return cp_convert (ptrtype, adr);
1670     }
1671
1672   /* If a bitfield is used in a context where integral promotion
1673      applies, then the caller is expected to have used
1674      default_conversion.  That function promotes bitfields correctly
1675      before calling this function.  At this point, if we have a
1676      bitfield referenced, we may assume that is not subject to
1677      promotion, and that, therefore, the type of the resulting rvalue
1678      is the declared type of the bitfield.  */
1679   exp = convert_bitfield_to_declared_type (exp);
1680
1681   /* We do not call rvalue() here because we do not want to wrap EXP
1682      in a NON_LVALUE_EXPR.  */
1683
1684   /* [basic.lval]
1685
1686      Non-class rvalues always have cv-unqualified types.  */
1687   type = TREE_TYPE (exp);
1688   if (!CLASS_TYPE_P (type) && cp_type_quals (type))
1689     exp = build_nop (TYPE_MAIN_VARIANT (type), exp);
1690
1691   return exp;
1692 }
1693
1694 /* Perform preparatory conversions, as part of the "usual arithmetic
1695    conversions".  In particular, as per [expr]:
1696
1697      Whenever an lvalue expression appears as an operand of an
1698      operator that expects the rvalue for that operand, the
1699      lvalue-to-rvalue, array-to-pointer, or function-to-pointer
1700      standard conversions are applied to convert the expression to an
1701      rvalue.
1702
1703    In addition, we perform integral promotions here, as those are
1704    applied to both operands to a binary operator before determining
1705    what additional conversions should apply.  */
1706
1707 tree
1708 default_conversion (tree exp)
1709 {
1710   /* Perform the integral promotions first so that bitfield
1711      expressions (which may promote to "int", even if the bitfield is
1712      declared "unsigned") are promoted correctly.  */
1713   if (INTEGRAL_OR_UNSCOPED_ENUMERATION_TYPE_P (TREE_TYPE (exp)))
1714     exp = perform_integral_promotions (exp);
1715   /* Perform the other conversions.  */
1716   exp = decay_conversion (exp);
1717
1718   return exp;
1719 }
1720
1721 /* EXPR is an expression with an integral or enumeration type.
1722    Perform the integral promotions in [conv.prom], and return the
1723    converted value.  */
1724
1725 tree
1726 perform_integral_promotions (tree expr)
1727 {
1728   tree type;
1729   tree promoted_type;
1730
1731   /* [conv.prom]
1732
1733      If the bitfield has an enumerated type, it is treated as any
1734      other value of that type for promotion purposes.  */
1735   type = is_bitfield_expr_with_lowered_type (expr);
1736   if (!type || TREE_CODE (type) != ENUMERAL_TYPE)
1737     type = TREE_TYPE (expr);
1738   gcc_assert (INTEGRAL_OR_ENUMERATION_TYPE_P (type));
1739   promoted_type = type_promotes_to (type);
1740   if (type != promoted_type)
1741     expr = cp_convert (promoted_type, expr);
1742   return expr;
1743 }
1744
1745 /* Returns nonzero iff exp is a STRING_CST or the result of applying
1746    decay_conversion to one.  */
1747
1748 int
1749 string_conv_p (const_tree totype, const_tree exp, int warn)
1750 {
1751   tree t;
1752
1753   if (TREE_CODE (totype) != POINTER_TYPE)
1754     return 0;
1755
1756   t = TREE_TYPE (totype);
1757   if (!same_type_p (t, char_type_node)
1758       && !same_type_p (t, char16_type_node)
1759       && !same_type_p (t, char32_type_node)
1760       && !same_type_p (t, wchar_type_node))
1761     return 0;
1762
1763   if (TREE_CODE (exp) == STRING_CST)
1764     {
1765       /* Make sure that we don't try to convert between char and wide chars.  */
1766       if (!same_type_p (TYPE_MAIN_VARIANT (TREE_TYPE (TREE_TYPE (exp))), t))
1767         return 0;
1768     }
1769   else
1770     {
1771       /* Is this a string constant which has decayed to 'const char *'?  */
1772       t = build_pointer_type (build_qualified_type (t, TYPE_QUAL_CONST));
1773       if (!same_type_p (TREE_TYPE (exp), t))
1774         return 0;
1775       STRIP_NOPS (exp);
1776       if (TREE_CODE (exp) != ADDR_EXPR
1777           || TREE_CODE (TREE_OPERAND (exp, 0)) != STRING_CST)
1778         return 0;
1779     }
1780
1781   /* This warning is not very useful, as it complains about printf.  */
1782   if (warn)
1783     warning (OPT_Wwrite_strings,
1784              "deprecated conversion from string constant to %qT",
1785              totype);
1786
1787   return 1;
1788 }
1789
1790 /* Given a COND_EXPR, MIN_EXPR, or MAX_EXPR in T, return it in a form that we
1791    can, for example, use as an lvalue.  This code used to be in
1792    unary_complex_lvalue, but we needed it to deal with `a = (d == c) ? b : c'
1793    expressions, where we're dealing with aggregates.  But now it's again only
1794    called from unary_complex_lvalue.  The case (in particular) that led to
1795    this was with CODE == ADDR_EXPR, since it's not an lvalue when we'd
1796    get it there.  */
1797
1798 static tree
1799 rationalize_conditional_expr (enum tree_code code, tree t,
1800                               tsubst_flags_t complain)
1801 {
1802   /* For MIN_EXPR or MAX_EXPR, fold-const.c has arranged things so that
1803      the first operand is always the one to be used if both operands
1804      are equal, so we know what conditional expression this used to be.  */
1805   if (TREE_CODE (t) == MIN_EXPR || TREE_CODE (t) == MAX_EXPR)
1806     {
1807       tree op0 = TREE_OPERAND (t, 0);
1808       tree op1 = TREE_OPERAND (t, 1);
1809
1810       /* The following code is incorrect if either operand side-effects.  */
1811       gcc_assert (!TREE_SIDE_EFFECTS (op0)
1812                   && !TREE_SIDE_EFFECTS (op1));
1813       return
1814         build_conditional_expr (build_x_binary_op ((TREE_CODE (t) == MIN_EXPR
1815                                                     ? LE_EXPR : GE_EXPR),
1816                                                    op0, TREE_CODE (op0),
1817                                                    op1, TREE_CODE (op1),
1818                                                    /*overloaded_p=*/NULL,
1819                                                    complain),
1820                                 cp_build_unary_op (code, op0, 0, complain),
1821                                 cp_build_unary_op (code, op1, 0, complain),
1822                                 complain);
1823     }
1824
1825   return
1826     build_conditional_expr (TREE_OPERAND (t, 0),
1827                             cp_build_unary_op (code, TREE_OPERAND (t, 1), 0,
1828                                                complain),
1829                             cp_build_unary_op (code, TREE_OPERAND (t, 2), 0,
1830                                                complain),
1831                             complain);
1832 }
1833
1834 /* Given the TYPE of an anonymous union field inside T, return the
1835    FIELD_DECL for the field.  If not found return NULL_TREE.  Because
1836    anonymous unions can nest, we must also search all anonymous unions
1837    that are directly reachable.  */
1838
1839 tree
1840 lookup_anon_field (tree t, tree type)
1841 {
1842   tree field;
1843
1844   for (field = TYPE_FIELDS (t); field; field = TREE_CHAIN (field))
1845     {
1846       if (TREE_STATIC (field))
1847         continue;
1848       if (TREE_CODE (field) != FIELD_DECL || DECL_ARTIFICIAL (field))
1849         continue;
1850
1851       /* If we find it directly, return the field.  */
1852       if (DECL_NAME (field) == NULL_TREE
1853           && type == TYPE_MAIN_VARIANT (TREE_TYPE (field)))
1854         {
1855           return field;
1856         }
1857
1858       /* Otherwise, it could be nested, search harder.  */
1859       if (DECL_NAME (field) == NULL_TREE
1860           && ANON_AGGR_TYPE_P (TREE_TYPE (field)))
1861         {
1862           tree subfield = lookup_anon_field (TREE_TYPE (field), type);
1863           if (subfield)
1864             return subfield;
1865         }
1866     }
1867   return NULL_TREE;
1868 }
1869
1870 /* Build an expression representing OBJECT.MEMBER.  OBJECT is an
1871    expression; MEMBER is a DECL or baselink.  If ACCESS_PATH is
1872    non-NULL, it indicates the path to the base used to name MEMBER.
1873    If PRESERVE_REFERENCE is true, the expression returned will have
1874    REFERENCE_TYPE if the MEMBER does.  Otherwise, the expression
1875    returned will have the type referred to by the reference.
1876
1877    This function does not perform access control; that is either done
1878    earlier by the parser when the name of MEMBER is resolved to MEMBER
1879    itself, or later when overload resolution selects one of the
1880    functions indicated by MEMBER.  */
1881
1882 tree
1883 build_class_member_access_expr (tree object, tree member,
1884                                 tree access_path, bool preserve_reference,
1885                                 tsubst_flags_t complain)
1886 {
1887   tree object_type;
1888   tree member_scope;
1889   tree result = NULL_TREE;
1890
1891   if (error_operand_p (object) || error_operand_p (member))
1892     return error_mark_node;
1893
1894   gcc_assert (DECL_P (member) || BASELINK_P (member));
1895
1896   /* [expr.ref]
1897
1898      The type of the first expression shall be "class object" (of a
1899      complete type).  */
1900   object_type = TREE_TYPE (object);
1901   if (!currently_open_class (object_type)
1902       && !complete_type_or_else (object_type, object))
1903     return error_mark_node;
1904   if (!CLASS_TYPE_P (object_type))
1905     {
1906       if (complain & tf_error)
1907         error ("request for member %qD in %qE, which is of non-class type %qT",
1908                member, object, object_type);
1909       return error_mark_node;
1910     }
1911
1912   /* The standard does not seem to actually say that MEMBER must be a
1913      member of OBJECT_TYPE.  However, that is clearly what is
1914      intended.  */
1915   if (DECL_P (member))
1916     {
1917       member_scope = DECL_CLASS_CONTEXT (member);
1918       mark_used (member);
1919       if (TREE_DEPRECATED (member))
1920         warn_deprecated_use (member);
1921     }
1922   else
1923     member_scope = BINFO_TYPE (BASELINK_ACCESS_BINFO (member));
1924   /* If MEMBER is from an anonymous aggregate, MEMBER_SCOPE will
1925      presently be the anonymous union.  Go outwards until we find a
1926      type related to OBJECT_TYPE.  */
1927   while (ANON_AGGR_TYPE_P (member_scope)
1928          && !same_type_ignoring_top_level_qualifiers_p (member_scope,
1929                                                         object_type))
1930     member_scope = TYPE_CONTEXT (member_scope);
1931   if (!member_scope || !DERIVED_FROM_P (member_scope, object_type))
1932     {
1933       if (complain & tf_error)
1934         {
1935           if (TREE_CODE (member) == FIELD_DECL)
1936             error ("invalid use of nonstatic data member %qE", member);
1937           else
1938             error ("%qD is not a member of %qT", member, object_type);
1939         }
1940       return error_mark_node;
1941     }
1942
1943   /* Transform `(a, b).x' into `(*(a, &b)).x', `(a ? b : c).x' into
1944      `(*(a ?  &b : &c)).x', and so on.  A COND_EXPR is only an lvalue
1945      in the front end; only _DECLs and _REFs are lvalues in the back end.  */
1946   {
1947     tree temp = unary_complex_lvalue (ADDR_EXPR, object);
1948     if (temp)
1949       object = cp_build_indirect_ref (temp, NULL, complain);
1950   }
1951
1952   /* In [expr.ref], there is an explicit list of the valid choices for
1953      MEMBER.  We check for each of those cases here.  */
1954   if (TREE_CODE (member) == VAR_DECL)
1955     {
1956       /* A static data member.  */
1957       result = member;
1958       /* If OBJECT has side-effects, they are supposed to occur.  */
1959       if (TREE_SIDE_EFFECTS (object))
1960         result = build2 (COMPOUND_EXPR, TREE_TYPE (result), object, result);
1961     }
1962   else if (TREE_CODE (member) == FIELD_DECL)
1963     {
1964       /* A non-static data member.  */
1965       bool null_object_p;
1966       int type_quals;
1967       tree member_type;
1968
1969       null_object_p = (TREE_CODE (object) == INDIRECT_REF
1970                        && integer_zerop (TREE_OPERAND (object, 0)));
1971
1972       /* Convert OBJECT to the type of MEMBER.  */
1973       if (!same_type_p (TYPE_MAIN_VARIANT (object_type),
1974                         TYPE_MAIN_VARIANT (member_scope)))
1975         {
1976           tree binfo;
1977           base_kind kind;
1978
1979           binfo = lookup_base (access_path ? access_path : object_type,
1980                                member_scope, ba_unique,  &kind);
1981           if (binfo == error_mark_node)
1982             return error_mark_node;
1983
1984           /* It is invalid to try to get to a virtual base of a
1985              NULL object.  The most common cause is invalid use of
1986              offsetof macro.  */
1987           if (null_object_p && kind == bk_via_virtual)
1988             {
1989               if (complain & tf_error)
1990                 {
1991                   error ("invalid access to non-static data member %qD of "
1992                          "NULL object",
1993                          member);
1994                   error ("(perhaps the %<offsetof%> macro was used incorrectly)");
1995                 }
1996               return error_mark_node;
1997             }
1998
1999           /* Convert to the base.  */
2000           object = build_base_path (PLUS_EXPR, object, binfo,
2001                                     /*nonnull=*/1);
2002           /* If we found the base successfully then we should be able
2003              to convert to it successfully.  */
2004           gcc_assert (object != error_mark_node);
2005         }
2006
2007       /* Complain about other invalid uses of offsetof, even though they will
2008          give the right answer.  Note that we complain whether or not they
2009          actually used the offsetof macro, since there's no way to know at this
2010          point.  So we just give a warning, instead of a pedwarn.  */
2011       /* Do not produce this warning for base class field references, because
2012          we know for a fact that didn't come from offsetof.  This does occur
2013          in various testsuite cases where a null object is passed where a
2014          vtable access is required.  */
2015       if (null_object_p && warn_invalid_offsetof
2016           && CLASSTYPE_NON_POD_P (object_type)
2017           && !DECL_FIELD_IS_BASE (member)
2018           && !skip_evaluation
2019           && (complain & tf_warning))
2020         {
2021           warning (OPT_Winvalid_offsetof, 
2022                    "invalid access to non-static data member %qD "
2023                    " of NULL object", member);
2024           warning (OPT_Winvalid_offsetof, 
2025                    "(perhaps the %<offsetof%> macro was used incorrectly)");
2026         }
2027
2028       /* If MEMBER is from an anonymous aggregate, we have converted
2029          OBJECT so that it refers to the class containing the
2030          anonymous union.  Generate a reference to the anonymous union
2031          itself, and recur to find MEMBER.  */
2032       if (ANON_AGGR_TYPE_P (DECL_CONTEXT (member))
2033           /* When this code is called from build_field_call, the
2034              object already has the type of the anonymous union.
2035              That is because the COMPONENT_REF was already
2036              constructed, and was then disassembled before calling
2037              build_field_call.  After the function-call code is
2038              cleaned up, this waste can be eliminated.  */
2039           && (!same_type_ignoring_top_level_qualifiers_p
2040               (TREE_TYPE (object), DECL_CONTEXT (member))))
2041         {
2042           tree anonymous_union;
2043
2044           anonymous_union = lookup_anon_field (TREE_TYPE (object),
2045                                                DECL_CONTEXT (member));
2046           object = build_class_member_access_expr (object,
2047                                                    anonymous_union,
2048                                                    /*access_path=*/NULL_TREE,
2049                                                    preserve_reference,
2050                                                    complain);
2051         }
2052
2053       /* Compute the type of the field, as described in [expr.ref].  */
2054       type_quals = TYPE_UNQUALIFIED;
2055       member_type = TREE_TYPE (member);
2056       if (TREE_CODE (member_type) != REFERENCE_TYPE)
2057         {
2058           type_quals = (cp_type_quals (member_type)
2059                         | cp_type_quals (object_type));
2060
2061           /* A field is const (volatile) if the enclosing object, or the
2062              field itself, is const (volatile).  But, a mutable field is
2063              not const, even within a const object.  */
2064           if (DECL_MUTABLE_P (member))
2065             type_quals &= ~TYPE_QUAL_CONST;
2066           member_type = cp_build_qualified_type (member_type, type_quals);
2067         }
2068
2069       result = build3 (COMPONENT_REF, member_type, object, member,
2070                        NULL_TREE);
2071       result = fold_if_not_in_template (result);
2072
2073       /* Mark the expression const or volatile, as appropriate.  Even
2074          though we've dealt with the type above, we still have to mark the
2075          expression itself.  */
2076       if (type_quals & TYPE_QUAL_CONST)
2077         TREE_READONLY (result) = 1;
2078       if (type_quals & TYPE_QUAL_VOLATILE)
2079         TREE_THIS_VOLATILE (result) = 1;
2080     }
2081   else if (BASELINK_P (member))
2082     {
2083       /* The member is a (possibly overloaded) member function.  */
2084       tree functions;
2085       tree type;
2086
2087       /* If the MEMBER is exactly one static member function, then we
2088          know the type of the expression.  Otherwise, we must wait
2089          until overload resolution has been performed.  */
2090       functions = BASELINK_FUNCTIONS (member);
2091       if (TREE_CODE (functions) == FUNCTION_DECL
2092           && DECL_STATIC_FUNCTION_P (functions))
2093         type = TREE_TYPE (functions);
2094       else
2095         type = unknown_type_node;
2096       /* Note that we do not convert OBJECT to the BASELINK_BINFO
2097          base.  That will happen when the function is called.  */
2098       result = build3 (COMPONENT_REF, type, object, member, NULL_TREE);
2099     }
2100   else if (TREE_CODE (member) == CONST_DECL)
2101     {
2102       /* The member is an enumerator.  */
2103       result = member;
2104       /* If OBJECT has side-effects, they are supposed to occur.  */
2105       if (TREE_SIDE_EFFECTS (object))
2106         result = build2 (COMPOUND_EXPR, TREE_TYPE (result),
2107                          object, result);
2108     }
2109   else
2110     {
2111       if (complain & tf_error)
2112         error ("invalid use of %qD", member);
2113       return error_mark_node;
2114     }
2115
2116   if (!preserve_reference)
2117     /* [expr.ref]
2118
2119        If E2 is declared to have type "reference to T", then ... the
2120        type of E1.E2 is T.  */
2121     result = convert_from_reference (result);
2122
2123   return result;
2124 }
2125
2126 /* Return the destructor denoted by OBJECT.SCOPE::DTOR_NAME, or, if
2127    SCOPE is NULL, by OBJECT.DTOR_NAME, where DTOR_NAME is ~type.  */
2128
2129 static tree
2130 lookup_destructor (tree object, tree scope, tree dtor_name)
2131 {
2132   tree object_type = TREE_TYPE (object);
2133   tree dtor_type = TREE_OPERAND (dtor_name, 0);
2134   tree expr;
2135
2136   if (scope && !check_dtor_name (scope, dtor_type))
2137     {
2138       error ("qualified type %qT does not match destructor name ~%qT",
2139              scope, dtor_type);
2140       return error_mark_node;
2141     }
2142   if (TREE_CODE (dtor_type) == IDENTIFIER_NODE)
2143     {
2144       /* In a template, names we can't find a match for are still accepted
2145          destructor names, and we check them here.  */
2146       if (check_dtor_name (object_type, dtor_type))
2147         dtor_type = object_type;
2148       else
2149         {
2150           error ("object type %qT does not match destructor name ~%qT",
2151                  object_type, dtor_type);
2152           return error_mark_node;
2153         }
2154       
2155     }
2156   else if (!DERIVED_FROM_P (dtor_type, TYPE_MAIN_VARIANT (object_type)))
2157     {
2158       error ("the type being destroyed is %qT, but the destructor refers to %qT",
2159              TYPE_MAIN_VARIANT (object_type), dtor_type);
2160       return error_mark_node;
2161     }
2162   expr = lookup_member (dtor_type, complete_dtor_identifier,
2163                         /*protect=*/1, /*want_type=*/false);
2164   expr = (adjust_result_of_qualified_name_lookup
2165           (expr, dtor_type, object_type));
2166   return expr;
2167 }
2168
2169 /* An expression of the form "A::template B" has been resolved to
2170    DECL.  Issue a diagnostic if B is not a template or template
2171    specialization.  */
2172
2173 void
2174 check_template_keyword (tree decl)
2175 {
2176   /* The standard says:
2177
2178       [temp.names]
2179
2180       If a name prefixed by the keyword template is not a member
2181       template, the program is ill-formed.
2182
2183      DR 228 removed the restriction that the template be a member
2184      template.
2185
2186      DR 96, if accepted would add the further restriction that explicit
2187      template arguments must be provided if the template keyword is
2188      used, but, as of 2005-10-16, that DR is still in "drafting".  If
2189      this DR is accepted, then the semantic checks here can be
2190      simplified, as the entity named must in fact be a template
2191      specialization, rather than, as at present, a set of overloaded
2192      functions containing at least one template function.  */
2193   if (TREE_CODE (decl) != TEMPLATE_DECL
2194       && TREE_CODE (decl) != TEMPLATE_ID_EXPR)
2195     {
2196       if (!is_overloaded_fn (decl))
2197         permerror (input_location, "%qD is not a template", decl);
2198       else
2199         {
2200           tree fns;
2201           fns = decl;
2202           if (BASELINK_P (fns))
2203             fns = BASELINK_FUNCTIONS (fns);
2204           while (fns)
2205             {
2206               tree fn = OVL_CURRENT (fns);
2207               if (TREE_CODE (fn) == TEMPLATE_DECL
2208                   || TREE_CODE (fn) == TEMPLATE_ID_EXPR)
2209                 break;
2210               if (TREE_CODE (fn) == FUNCTION_DECL
2211                   && DECL_USE_TEMPLATE (fn)
2212                   && PRIMARY_TEMPLATE_P (DECL_TI_TEMPLATE (fn)))
2213                 break;
2214               fns = OVL_NEXT (fns);
2215             }
2216           if (!fns)
2217             permerror (input_location, "%qD is not a template", decl);
2218         }
2219     }
2220 }
2221
2222 /* This function is called by the parser to process a class member
2223    access expression of the form OBJECT.NAME.  NAME is a node used by
2224    the parser to represent a name; it is not yet a DECL.  It may,
2225    however, be a BASELINK where the BASELINK_FUNCTIONS is a
2226    TEMPLATE_ID_EXPR.  Templates must be looked up by the parser, and
2227    there is no reason to do the lookup twice, so the parser keeps the
2228    BASELINK.  TEMPLATE_P is true iff NAME was explicitly declared to
2229    be a template via the use of the "A::template B" syntax.  */
2230
2231 tree
2232 finish_class_member_access_expr (tree object, tree name, bool template_p,
2233                                  tsubst_flags_t complain)
2234 {
2235   tree expr;
2236   tree object_type;
2237   tree member;
2238   tree access_path = NULL_TREE;
2239   tree orig_object = object;
2240   tree orig_name = name;
2241
2242   if (object == error_mark_node || name == error_mark_node)
2243     return error_mark_node;
2244
2245   /* If OBJECT is an ObjC class instance, we must obey ObjC access rules.  */
2246   if (!objc_is_public (object, name))
2247     return error_mark_node;
2248
2249   object_type = TREE_TYPE (object);
2250
2251   if (processing_template_decl)
2252     {
2253       if (/* If OBJECT_TYPE is dependent, so is OBJECT.NAME.  */
2254           dependent_type_p (object_type)
2255           /* If NAME is just an IDENTIFIER_NODE, then the expression
2256              is dependent.  */
2257           || TREE_CODE (object) == IDENTIFIER_NODE
2258           /* If NAME is "f<args>", where either 'f' or 'args' is
2259              dependent, then the expression is dependent.  */
2260           || (TREE_CODE (name) == TEMPLATE_ID_EXPR
2261               && dependent_template_id_p (TREE_OPERAND (name, 0),
2262                                           TREE_OPERAND (name, 1)))
2263           /* If NAME is "T::X" where "T" is dependent, then the
2264              expression is dependent.  */
2265           || (TREE_CODE (name) == SCOPE_REF
2266               && TYPE_P (TREE_OPERAND (name, 0))
2267               && dependent_type_p (TREE_OPERAND (name, 0))))
2268         return build_min_nt (COMPONENT_REF, object, name, NULL_TREE);
2269       object = build_non_dependent_expr (object);
2270     }
2271
2272   /* [expr.ref]
2273
2274      The type of the first expression shall be "class object" (of a
2275      complete type).  */
2276   if (!currently_open_class (object_type)
2277       && !complete_type_or_else (object_type, object))
2278     return error_mark_node;
2279   if (!CLASS_TYPE_P (object_type))
2280     {
2281       if (complain & tf_error)
2282         error ("request for member %qD in %qE, which is of non-class type %qT",
2283                name, object, object_type);
2284       return error_mark_node;
2285     }
2286
2287   if (BASELINK_P (name))
2288     /* A member function that has already been looked up.  */
2289     member = name;
2290   else
2291     {
2292       bool is_template_id = false;
2293       tree template_args = NULL_TREE;
2294       tree scope;
2295
2296       if (TREE_CODE (name) == TEMPLATE_ID_EXPR)
2297         {
2298           is_template_id = true;
2299           template_args = TREE_OPERAND (name, 1);
2300           name = TREE_OPERAND (name, 0);
2301
2302           if (TREE_CODE (name) == OVERLOAD)
2303             name = DECL_NAME (get_first_fn (name));
2304           else if (DECL_P (name))
2305             name = DECL_NAME (name);
2306         }
2307
2308       if (TREE_CODE (name) == SCOPE_REF)
2309         {
2310           /* A qualified name.  The qualifying class or namespace `S'
2311              has already been looked up; it is either a TYPE or a
2312              NAMESPACE_DECL.  */
2313           scope = TREE_OPERAND (name, 0);
2314           name = TREE_OPERAND (name, 1);
2315
2316           /* If SCOPE is a namespace, then the qualified name does not
2317              name a member of OBJECT_TYPE.  */
2318           if (TREE_CODE (scope) == NAMESPACE_DECL)
2319             {
2320               if (complain & tf_error)
2321                 error ("%<%D::%D%> is not a member of %qT",
2322                        scope, name, object_type);
2323               return error_mark_node;
2324             }
2325
2326           gcc_assert (CLASS_TYPE_P (scope));
2327           gcc_assert (TREE_CODE (name) == IDENTIFIER_NODE
2328                       || TREE_CODE (name) == BIT_NOT_EXPR);
2329
2330           /* Find the base of OBJECT_TYPE corresponding to SCOPE.  */
2331           access_path = lookup_base (object_type, scope, ba_check, NULL);
2332           if (access_path == error_mark_node)
2333             return error_mark_node;
2334           if (!access_path)
2335             {
2336               if (complain & tf_error)
2337                 error ("%qT is not a base of %qT", scope, object_type);
2338               return error_mark_node;
2339             }
2340         }
2341       else
2342         {
2343           scope = NULL_TREE;
2344           access_path = object_type;
2345         }
2346
2347       if (TREE_CODE (name) == BIT_NOT_EXPR)
2348         member = lookup_destructor (object, scope, name);
2349       else
2350         {
2351           /* Look up the member.  */
2352           member = lookup_member (access_path, name, /*protect=*/1,
2353                                   /*want_type=*/false);
2354           if (member == NULL_TREE)
2355             {
2356               if (complain & tf_error)
2357                 error ("%qD has no member named %qE", object_type, name);
2358               return error_mark_node;
2359             }
2360           if (member == error_mark_node)
2361             return error_mark_node;
2362         }
2363
2364       if (is_template_id)
2365         {
2366           tree templ = member;
2367
2368           if (BASELINK_P (templ))
2369             templ = lookup_template_function (templ, template_args);
2370           else
2371             {
2372               if (complain & tf_error)
2373                 error ("%qD is not a member template function", name);
2374               return error_mark_node;
2375             }
2376         }
2377     }
2378
2379   if (TREE_DEPRECATED (member))
2380     warn_deprecated_use (member);
2381
2382   if (template_p)
2383     check_template_keyword (member);
2384
2385   expr = build_class_member_access_expr (object, member, access_path,
2386                                          /*preserve_reference=*/false,
2387                                          complain);
2388   if (processing_template_decl && expr != error_mark_node)
2389     {
2390       if (BASELINK_P (member))
2391         {
2392           if (TREE_CODE (orig_name) == SCOPE_REF)
2393             BASELINK_QUALIFIED_P (member) = 1;
2394           orig_name = member;
2395         }
2396       return build_min_non_dep (COMPONENT_REF, expr,
2397                                 orig_object, orig_name,
2398                                 NULL_TREE);
2399     }
2400
2401   return expr;
2402 }
2403
2404 /* Return an expression for the MEMBER_NAME field in the internal
2405    representation of PTRMEM, a pointer-to-member function.  (Each
2406    pointer-to-member function type gets its own RECORD_TYPE so it is
2407    more convenient to access the fields by name than by FIELD_DECL.)
2408    This routine converts the NAME to a FIELD_DECL and then creates the
2409    node for the complete expression.  */
2410
2411 tree
2412 build_ptrmemfunc_access_expr (tree ptrmem, tree member_name)
2413 {
2414   tree ptrmem_type;
2415   tree member;
2416   tree member_type;
2417
2418   /* This code is a stripped down version of
2419      build_class_member_access_expr.  It does not work to use that
2420      routine directly because it expects the object to be of class
2421      type.  */
2422   ptrmem_type = TREE_TYPE (ptrmem);
2423   gcc_assert (TYPE_PTRMEMFUNC_P (ptrmem_type));
2424   member = lookup_member (ptrmem_type, member_name, /*protect=*/0,
2425                           /*want_type=*/false);
2426   member_type = cp_build_qualified_type (TREE_TYPE (member),
2427                                          cp_type_quals (ptrmem_type));
2428   return fold_build3 (COMPONENT_REF, member_type,
2429                       ptrmem, member, NULL_TREE);
2430 }
2431
2432 /* Given an expression PTR for a pointer, return an expression
2433    for the value pointed to.
2434    ERRORSTRING is the name of the operator to appear in error messages.
2435
2436    This function may need to overload OPERATOR_FNNAME.
2437    Must also handle REFERENCE_TYPEs for C++.  */
2438
2439 tree
2440 build_x_indirect_ref (tree expr, const char *errorstring, 
2441                       tsubst_flags_t complain)
2442 {
2443   tree orig_expr = expr;
2444   tree rval;
2445
2446   if (processing_template_decl)
2447     {
2448       /* Retain the type if we know the operand is a pointer so that
2449          describable_type doesn't make auto deduction break.  */
2450       if (TREE_TYPE (expr) && POINTER_TYPE_P (TREE_TYPE (expr)))
2451         return build_min (INDIRECT_REF, TREE_TYPE (TREE_TYPE (expr)), expr);
2452       if (type_dependent_expression_p (expr))
2453         return build_min_nt (INDIRECT_REF, expr);
2454       expr = build_non_dependent_expr (expr);
2455     }
2456
2457   rval = build_new_op (INDIRECT_REF, LOOKUP_NORMAL, expr, NULL_TREE,
2458                        NULL_TREE, /*overloaded_p=*/NULL, complain);
2459   if (!rval)
2460     rval = cp_build_indirect_ref (expr, errorstring, complain);
2461
2462   if (processing_template_decl && rval != error_mark_node)
2463     return build_min_non_dep (INDIRECT_REF, rval, orig_expr);
2464   else
2465     return rval;
2466 }
2467
2468 /* Helper function called from c-common.  */
2469 tree
2470 build_indirect_ref (location_t loc __attribute__ ((__unused__)),
2471                     tree ptr, const char *errorstring)
2472 {
2473   return cp_build_indirect_ref (ptr, errorstring, tf_warning_or_error);
2474 }
2475
2476 tree
2477 cp_build_indirect_ref (tree ptr, const char *errorstring, 
2478                        tsubst_flags_t complain)
2479 {
2480   tree pointer, type;
2481
2482   if (ptr == error_mark_node)
2483     return error_mark_node;
2484
2485   if (ptr == current_class_ptr)
2486     return current_class_ref;
2487
2488   pointer = (TREE_CODE (TREE_TYPE (ptr)) == REFERENCE_TYPE
2489              ? ptr : decay_conversion (ptr));
2490   type = TREE_TYPE (pointer);
2491
2492   if (POINTER_TYPE_P (type))
2493     {
2494       /* [expr.unary.op]
2495
2496          If the type of the expression is "pointer to T," the type
2497          of  the  result  is  "T."
2498
2499          We must use the canonical variant because certain parts of
2500          the back end, like fold, do pointer comparisons between
2501          types.  */
2502       tree t = canonical_type_variant (TREE_TYPE (type));
2503
2504       if (CONVERT_EXPR_P (ptr)
2505           || TREE_CODE (ptr) == VIEW_CONVERT_EXPR)
2506         {
2507           /* If a warning is issued, mark it to avoid duplicates from
2508              the backend.  This only needs to be done at
2509              warn_strict_aliasing > 2.  */
2510           if (warn_strict_aliasing > 2)
2511             if (strict_aliasing_warning (TREE_TYPE (TREE_OPERAND (ptr, 0)),
2512                                          type, TREE_OPERAND (ptr, 0)))
2513               TREE_NO_WARNING (ptr) = 1;
2514         }
2515
2516       if (VOID_TYPE_P (t))
2517         {
2518           /* A pointer to incomplete type (other than cv void) can be
2519              dereferenced [expr.unary.op]/1  */
2520           if (complain & tf_error)
2521             error ("%qT is not a pointer-to-object type", type);
2522           return error_mark_node;
2523         }
2524       else if (TREE_CODE (pointer) == ADDR_EXPR
2525                && same_type_p (t, TREE_TYPE (TREE_OPERAND (pointer, 0))))
2526         /* The POINTER was something like `&x'.  We simplify `*&x' to
2527            `x'.  */
2528         return TREE_OPERAND (pointer, 0);
2529       else
2530         {
2531           tree ref = build1 (INDIRECT_REF, t, pointer);
2532
2533           /* We *must* set TREE_READONLY when dereferencing a pointer to const,
2534              so that we get the proper error message if the result is used
2535              to assign to.  Also, &* is supposed to be a no-op.  */
2536           TREE_READONLY (ref) = CP_TYPE_CONST_P (t);
2537           TREE_THIS_VOLATILE (ref) = CP_TYPE_VOLATILE_P (t);
2538           TREE_SIDE_EFFECTS (ref)
2539             = (TREE_THIS_VOLATILE (ref) || TREE_SIDE_EFFECTS (pointer));
2540           return ref;
2541         }
2542     }
2543   else if (!(complain & tf_error))
2544     /* Don't emit any errors; we'll just return ERROR_MARK_NODE later.  */
2545     ;
2546   /* `pointer' won't be an error_mark_node if we were given a
2547      pointer to member, so it's cool to check for this here.  */
2548   else if (TYPE_PTR_TO_MEMBER_P (type))
2549     error ("invalid use of %qs on pointer to member", errorstring);
2550   else if (pointer != error_mark_node)
2551     {
2552       if (errorstring)
2553         error ("invalid type argument of %qs", errorstring);
2554       else
2555         error ("invalid type argument");
2556     }
2557   return error_mark_node;
2558 }
2559
2560 /* This handles expressions of the form "a[i]", which denotes
2561    an array reference.
2562
2563    This is logically equivalent in C to *(a+i), but we may do it differently.
2564    If A is a variable or a member, we generate a primitive ARRAY_REF.
2565    This avoids forcing the array out of registers, and can work on
2566    arrays that are not lvalues (for example, members of structures returned
2567    by functions).
2568
2569    If INDEX is of some user-defined type, it must be converted to
2570    integer type.  Otherwise, to make a compatible PLUS_EXPR, it
2571    will inherit the type of the array, which will be some pointer type.
2572    
2573    LOC is the location to use in building the array reference.  */
2574
2575 tree
2576 build_array_ref (tree array, tree idx, location_t loc)
2577 {
2578   tree ret;
2579
2580   if (idx == 0)
2581     {
2582       error_at (loc, "subscript missing in array reference");
2583       return error_mark_node;
2584     }
2585
2586   if (TREE_TYPE (array) == error_mark_node
2587       || TREE_TYPE (idx) == error_mark_node)
2588     return error_mark_node;
2589
2590   /* If ARRAY is a COMPOUND_EXPR or COND_EXPR, move our reference
2591      inside it.  */
2592   switch (TREE_CODE (array))
2593     {
2594     case COMPOUND_EXPR:
2595       {
2596         tree value = build_array_ref (TREE_OPERAND (array, 1), idx, loc);
2597         ret = build2 (COMPOUND_EXPR, TREE_TYPE (value),
2598                       TREE_OPERAND (array, 0), value);
2599         SET_EXPR_LOCATION (ret, loc);
2600         return ret;
2601       }
2602
2603     case COND_EXPR:
2604       ret = build_conditional_expr
2605               (TREE_OPERAND (array, 0),
2606               build_array_ref (TREE_OPERAND (array, 1), idx, loc),
2607               build_array_ref (TREE_OPERAND (array, 2), idx, loc),
2608               tf_warning_or_error);
2609       protected_set_expr_location (ret, loc);
2610       return ret;
2611
2612     default:
2613       break;
2614     }
2615
2616   if (TREE_CODE (TREE_TYPE (array)) == ARRAY_TYPE)
2617     {
2618       tree rval, type;
2619
2620       warn_array_subscript_with_type_char (idx);
2621
2622       if (!INTEGRAL_OR_UNSCOPED_ENUMERATION_TYPE_P (TREE_TYPE (idx)))
2623         {
2624           error_at (loc, "array subscript is not an integer");
2625           return error_mark_node;
2626         }
2627
2628       /* Apply integral promotions *after* noticing character types.
2629          (It is unclear why we do these promotions -- the standard
2630          does not say that we should.  In fact, the natural thing would
2631          seem to be to convert IDX to ptrdiff_t; we're performing
2632          pointer arithmetic.)  */
2633       idx = perform_integral_promotions (idx);
2634
2635       /* An array that is indexed by a non-constant
2636          cannot be stored in a register; we must be able to do
2637          address arithmetic on its address.
2638          Likewise an array of elements of variable size.  */
2639       if (TREE_CODE (idx) != INTEGER_CST
2640           || (COMPLETE_TYPE_P (TREE_TYPE (TREE_TYPE (array)))
2641               && (TREE_CODE (TYPE_SIZE (TREE_TYPE (TREE_TYPE (array))))
2642                   != INTEGER_CST)))
2643         {
2644           if (!cxx_mark_addressable (array))
2645             return error_mark_node;
2646         }
2647
2648       /* An array that is indexed by a constant value which is not within
2649          the array bounds cannot be stored in a register either; because we
2650          would get a crash in store_bit_field/extract_bit_field when trying
2651          to access a non-existent part of the register.  */
2652       if (TREE_CODE (idx) == INTEGER_CST
2653           && TYPE_DOMAIN (TREE_TYPE (array))
2654           && ! int_fits_type_p (idx, TYPE_DOMAIN (TREE_TYPE (array))))
2655         {
2656           if (!cxx_mark_addressable (array))
2657             return error_mark_node;
2658         }
2659
2660       if (!lvalue_p (array))
2661         pedwarn (loc, OPT_pedantic, 
2662                  "ISO C++ forbids subscripting non-lvalue array");
2663
2664       /* Note in C++ it is valid to subscript a `register' array, since
2665          it is valid to take the address of something with that
2666          storage specification.  */
2667       if (extra_warnings)
2668         {
2669           tree foo = array;
2670           while (TREE_CODE (foo) == COMPONENT_REF)
2671             foo = TREE_OPERAND (foo, 0);
2672           if (TREE_CODE (foo) == VAR_DECL && DECL_REGISTER (foo))
2673             warning_at (loc, OPT_Wextra,
2674                         "subscripting array declared %<register%>");
2675         }
2676
2677       type = TREE_TYPE (TREE_TYPE (array));
2678       rval = build4 (ARRAY_REF, type, array, idx, NULL_TREE, NULL_TREE);
2679       /* Array ref is const/volatile if the array elements are
2680          or if the array is..  */
2681       TREE_READONLY (rval)
2682         |= (CP_TYPE_CONST_P (type) | TREE_READONLY (array));
2683       TREE_SIDE_EFFECTS (rval)
2684         |= (CP_TYPE_VOLATILE_P (type) | TREE_SIDE_EFFECTS (array));
2685       TREE_THIS_VOLATILE (rval)
2686         |= (CP_TYPE_VOLATILE_P (type) | TREE_THIS_VOLATILE (array));
2687       ret = require_complete_type (fold_if_not_in_template (rval));
2688       protected_set_expr_location (ret, loc);
2689       return ret;
2690     }
2691
2692   {
2693     tree ar = default_conversion (array);
2694     tree ind = default_conversion (idx);
2695
2696     /* Put the integer in IND to simplify error checking.  */
2697     if (TREE_CODE (TREE_TYPE (ar)) == INTEGER_TYPE)
2698       {
2699         tree temp = ar;
2700         ar = ind;
2701         ind = temp;
2702       }
2703
2704     if (ar == error_mark_node)
2705       return ar;
2706
2707     if (TREE_CODE (TREE_TYPE (ar)) != POINTER_TYPE)
2708       {
2709         error_at (loc, "subscripted value is neither array nor pointer");
2710         return error_mark_node;
2711       }
2712     if (TREE_CODE (TREE_TYPE (ind)) != INTEGER_TYPE)
2713       {
2714         error_at (loc, "array subscript is not an integer");
2715         return error_mark_node;
2716       }
2717
2718     warn_array_subscript_with_type_char (idx);
2719
2720     ret = cp_build_indirect_ref (cp_build_binary_op (input_location,
2721                                                      PLUS_EXPR, ar, ind,
2722                                                      tf_warning_or_error),
2723                                  "array indexing",
2724                                  tf_warning_or_error);
2725     protected_set_expr_location (ret, loc);
2726     return ret;
2727   }
2728 }
2729 \f
2730 /* Resolve a pointer to member function.  INSTANCE is the object
2731    instance to use, if the member points to a virtual member.
2732
2733    This used to avoid checking for virtual functions if basetype
2734    has no virtual functions, according to an earlier ANSI draft.
2735    With the final ISO C++ rules, such an optimization is
2736    incorrect: A pointer to a derived member can be static_cast
2737    to pointer-to-base-member, as long as the dynamic object
2738    later has the right member.  */
2739
2740 tree
2741 get_member_function_from_ptrfunc (tree *instance_ptrptr, tree function)
2742 {
2743   if (TREE_CODE (function) == OFFSET_REF)
2744     function = TREE_OPERAND (function, 1);
2745
2746   if (TYPE_PTRMEMFUNC_P (TREE_TYPE (function)))
2747     {
2748       tree idx, delta, e1, e2, e3, vtbl, basetype;
2749       tree fntype = TYPE_PTRMEMFUNC_FN_TYPE (TREE_TYPE (function));
2750
2751       tree instance_ptr = *instance_ptrptr;
2752       tree instance_save_expr = 0;
2753       if (instance_ptr == error_mark_node)
2754         {
2755           if (TREE_CODE (function) == PTRMEM_CST)
2756             {
2757               /* Extracting the function address from a pmf is only
2758                  allowed with -Wno-pmf-conversions. It only works for
2759                  pmf constants.  */
2760               e1 = build_addr_func (PTRMEM_CST_MEMBER (function));
2761               e1 = convert (fntype, e1);
2762               return e1;
2763             }
2764           else
2765             {
2766               error ("object missing in use of %qE", function);
2767               return error_mark_node;
2768             }
2769         }
2770
2771       if (TREE_SIDE_EFFECTS (instance_ptr))
2772         instance_ptr = instance_save_expr = save_expr (instance_ptr);
2773
2774       if (TREE_SIDE_EFFECTS (function))
2775         function = save_expr (function);
2776
2777       /* Start by extracting all the information from the PMF itself.  */
2778       e3 = pfn_from_ptrmemfunc (function);
2779       delta = delta_from_ptrmemfunc (function);
2780       idx = build1 (NOP_EXPR, vtable_index_type, e3);
2781       switch (TARGET_PTRMEMFUNC_VBIT_LOCATION)
2782         {
2783         case ptrmemfunc_vbit_in_pfn:
2784           e1 = cp_build_binary_op (input_location,
2785                                    BIT_AND_EXPR, idx, integer_one_node,
2786                                    tf_warning_or_error);
2787           idx = cp_build_binary_op (input_location,
2788                                     MINUS_EXPR, idx, integer_one_node,
2789                                     tf_warning_or_error);
2790           break;
2791
2792         case ptrmemfunc_vbit_in_delta:
2793           e1 = cp_build_binary_op (input_location,
2794                                    BIT_AND_EXPR, delta, integer_one_node,
2795                                    tf_warning_or_error);
2796           delta = cp_build_binary_op (input_location,
2797                                       RSHIFT_EXPR, delta, integer_one_node,
2798                                       tf_warning_or_error);
2799           break;
2800
2801         default:
2802           gcc_unreachable ();
2803         }
2804
2805       /* Convert down to the right base before using the instance.  A
2806          special case is that in a pointer to member of class C, C may
2807          be incomplete.  In that case, the function will of course be
2808          a member of C, and no conversion is required.  In fact,
2809          lookup_base will fail in that case, because incomplete
2810          classes do not have BINFOs.  */
2811       basetype = TYPE_METHOD_BASETYPE (TREE_TYPE (fntype));
2812       if (!same_type_ignoring_top_level_qualifiers_p
2813           (basetype, TREE_TYPE (TREE_TYPE (instance_ptr))))
2814         {
2815           basetype = lookup_base (TREE_TYPE (TREE_TYPE (instance_ptr)),
2816                                   basetype, ba_check, NULL);
2817           instance_ptr = build_base_path (PLUS_EXPR, instance_ptr, basetype,
2818                                           1);
2819           if (instance_ptr == error_mark_node)
2820             return error_mark_node;
2821         }
2822       /* ...and then the delta in the PMF.  */
2823       instance_ptr = build2 (POINTER_PLUS_EXPR, TREE_TYPE (instance_ptr),
2824                              instance_ptr, fold_convert (sizetype, delta));
2825
2826       /* Hand back the adjusted 'this' argument to our caller.  */
2827       *instance_ptrptr = instance_ptr;
2828
2829       /* Next extract the vtable pointer from the object.  */
2830       vtbl = build1 (NOP_EXPR, build_pointer_type (vtbl_ptr_type_node),
2831                      instance_ptr);
2832       vtbl = cp_build_indirect_ref (vtbl, NULL, tf_warning_or_error);
2833       /* If the object is not dynamic the access invokes undefined
2834          behavior.  As it is not executed in this case silence the
2835          spurious warnings it may provoke.  */
2836       TREE_NO_WARNING (vtbl) = 1;
2837
2838       /* Finally, extract the function pointer from the vtable.  */
2839       e2 = fold_build2 (POINTER_PLUS_EXPR, TREE_TYPE (vtbl), vtbl,
2840                         fold_convert (sizetype, idx));
2841       e2 = cp_build_indirect_ref (e2, NULL, tf_warning_or_error);
2842       TREE_CONSTANT (e2) = 1;
2843
2844       /* When using function descriptors, the address of the
2845          vtable entry is treated as a function pointer.  */
2846       if (TARGET_VTABLE_USES_DESCRIPTORS)
2847         e2 = build1 (NOP_EXPR, TREE_TYPE (e2),
2848                      cp_build_unary_op (ADDR_EXPR, e2, /*noconvert=*/1,
2849                                      tf_warning_or_error));
2850
2851       e2 = fold_convert (TREE_TYPE (e3), e2);
2852       e1 = build_conditional_expr (e1, e2, e3, tf_warning_or_error);
2853
2854       /* Make sure this doesn't get evaluated first inside one of the
2855          branches of the COND_EXPR.  */
2856       if (instance_save_expr)
2857         e1 = build2 (COMPOUND_EXPR, TREE_TYPE (e1),
2858                      instance_save_expr, e1);
2859
2860       function = e1;
2861     }
2862   return function;
2863 }
2864
2865 /* Used by the C-common bits.  */
2866 tree
2867 build_function_call (tree function, tree params)
2868 {
2869   return cp_build_function_call (function, params, tf_warning_or_error);
2870 }
2871
2872 tree
2873 cp_build_function_call (tree function, tree params, tsubst_flags_t complain)
2874 {
2875   tree fntype, fndecl;
2876   tree name = NULL_TREE;
2877   int is_method;
2878   tree original = function;
2879   int nargs, parm_types_len;
2880   tree *argarray;
2881   tree parm_types;
2882
2883   /* For Objective-C, convert any calls via a cast to OBJC_TYPE_REF
2884      expressions, like those used for ObjC messenger dispatches.  */
2885   function = objc_rewrite_function_call (function, params);
2886
2887   /* build_c_cast puts on a NOP_EXPR to make the result not an lvalue.
2888      Strip such NOP_EXPRs, since FUNCTION is used in non-lvalue context.  */
2889   if (TREE_CODE (function) == NOP_EXPR
2890       && TREE_TYPE (function) == TREE_TYPE (TREE_OPERAND (function, 0)))
2891     function = TREE_OPERAND (function, 0);
2892
2893   if (TREE_CODE (function) == FUNCTION_DECL)
2894     {
2895       name = DECL_NAME (function);
2896
2897       mark_used (function);
2898       fndecl = function;
2899
2900       /* Convert anything with function type to a pointer-to-function.  */
2901       if (DECL_MAIN_P (function) && (complain & tf_error))
2902         pedwarn (input_location, OPT_pedantic, 
2903                  "ISO C++ forbids calling %<::main%> from within program");
2904
2905       function = build_addr_func (function);
2906     }
2907   else
2908     {
2909       fndecl = NULL_TREE;
2910
2911       function = build_addr_func (function);
2912     }
2913
2914   if (function == error_mark_node)
2915     return error_mark_node;
2916
2917   fntype = TREE_TYPE (function);
2918
2919   if (TYPE_PTRMEMFUNC_P (fntype))
2920     {
2921       if (complain & tf_error)
2922         error ("must use %<.*%> or %<->*%> to call pointer-to-member "
2923                "function in %<%E (...)%>, e.g. %<(... ->* %E) (...)%>",
2924                original, original);
2925       return error_mark_node;
2926     }
2927
2928   is_method = (TREE_CODE (fntype) == POINTER_TYPE
2929                && TREE_CODE (TREE_TYPE (fntype)) == METHOD_TYPE);
2930
2931   if (!((TREE_CODE (fntype) == POINTER_TYPE
2932          && TREE_CODE (TREE_TYPE (fntype)) == FUNCTION_TYPE)
2933         || is_method
2934         || TREE_CODE (function) == TEMPLATE_ID_EXPR))
2935     {
2936       if (complain & tf_error)
2937         error ("%qE cannot be used as a function", original);
2938       return error_mark_node;
2939     }
2940
2941   /* fntype now gets the type of function pointed to.  */
2942   fntype = TREE_TYPE (fntype);
2943   parm_types = TYPE_ARG_TYPES (fntype);
2944
2945   /* Allocate storage for converted arguments.  */
2946   parm_types_len = list_length (parm_types);
2947   nargs = list_length (params);
2948   if (parm_types_len > nargs)
2949     nargs = parm_types_len;
2950   argarray = (tree *) alloca (nargs * sizeof (tree));
2951
2952   /* Convert the parameters to the types declared in the
2953      function prototype, or apply default promotions.  */
2954   nargs = convert_arguments (nargs, argarray, parm_types,
2955                              params, fndecl, LOOKUP_NORMAL,
2956                              complain);
2957   if (nargs < 0)
2958     return error_mark_node;
2959
2960   /* Check for errors in format strings and inappropriately
2961      null parameters.  */
2962   check_function_arguments (TYPE_ATTRIBUTES (fntype), nargs, argarray,
2963                             parm_types);
2964
2965   return build_cxx_call (function, nargs, argarray);
2966 }
2967 \f
2968 /* Convert the actual parameter expressions in the list VALUES
2969    to the types in the list TYPELIST.
2970    If parmdecls is exhausted, or when an element has NULL as its type,
2971    perform the default conversions.
2972
2973    Store the converted arguments in ARGARRAY.  NARGS is the size of this array.
2974
2975    NAME is an IDENTIFIER_NODE or 0.  It is used only for error messages.
2976
2977    This is also where warnings about wrong number of args are generated.
2978
2979    Returns the actual number of arguments processed (which might be less
2980    than NARGS), or -1 on error.
2981
2982    VALUES is a chain of TREE_LIST nodes with the elements of the list
2983    in the TREE_VALUE slots of those nodes.
2984
2985    In C++, unspecified trailing parameters can be filled in with their
2986    default arguments, if such were specified.  Do so here.  */
2987
2988 static int
2989 convert_arguments (int nargs, tree *argarray,
2990                    tree typelist, tree values, tree fndecl, int flags,
2991                    tsubst_flags_t complain)
2992 {
2993   tree typetail, valtail;
2994   const char *called_thing = 0;
2995   int i = 0;
2996
2997   /* Argument passing is always copy-initialization.  */
2998   flags |= LOOKUP_ONLYCONVERTING;
2999
3000   if (fndecl)
3001     {
3002       if (TREE_CODE (TREE_TYPE (fndecl)) == METHOD_TYPE)
3003         {
3004           if (DECL_NAME (fndecl) == NULL_TREE
3005               || IDENTIFIER_HAS_TYPE_VALUE (DECL_NAME (fndecl)))
3006             called_thing = "constructor";
3007           else
3008             called_thing = "member function";
3009         }
3010       else
3011         called_thing = "function";
3012     }
3013
3014   for (valtail = values, typetail = typelist;
3015        valtail;
3016        valtail = TREE_CHAIN (valtail), i++)
3017     {
3018       tree type = typetail ? TREE_VALUE (typetail) : 0;
3019       tree val = TREE_VALUE (valtail);
3020
3021       if (val == error_mark_node || type == error_mark_node)
3022         return -1;
3023
3024       if (type == void_type_node)
3025         {
3026           if (complain & tf_error)
3027             {
3028               if (fndecl)
3029                 {
3030                   error ("too many arguments to %s %q+#D", 
3031                          called_thing, fndecl);
3032                   error ("at this point in file");
3033                 }
3034               else
3035                 error ("too many arguments to function");
3036               return i;
3037             }
3038           else
3039             return -1;
3040         }
3041
3042       /* build_c_cast puts on a NOP_EXPR to make the result not an lvalue.
3043          Strip such NOP_EXPRs, since VAL is used in non-lvalue context.  */
3044       if (TREE_CODE (val) == NOP_EXPR
3045           && TREE_TYPE (val) == TREE_TYPE (TREE_OPERAND (val, 0))
3046           && (type == 0 || TREE_CODE (type) != REFERENCE_TYPE))
3047         val = TREE_OPERAND (val, 0);
3048
3049       if (type == 0 || TREE_CODE (type) != REFERENCE_TYPE)
3050         {
3051           if (TREE_CODE (TREE_TYPE (val)) == ARRAY_TYPE
3052               || TREE_CODE (TREE_TYPE (val)) == FUNCTION_TYPE
3053               || TREE_CODE (TREE_TYPE (val)) == METHOD_TYPE)
3054             val = decay_conversion (val);
3055         }
3056
3057       if (val == error_mark_node)
3058         return -1;
3059
3060       if (type != 0)
3061         {
3062           /* Formal parm type is specified by a function prototype.  */
3063           tree parmval;
3064
3065           if (!COMPLETE_TYPE_P (complete_type (type)))
3066             {
3067               if (complain & tf_error)
3068                 {
3069                   if (fndecl)
3070                     error ("parameter %P of %qD has incomplete type %qT",
3071                            i, fndecl, type);
3072                   else
3073                     error ("parameter %P has incomplete type %qT", i, type);
3074                 }
3075               parmval = error_mark_node;
3076             }
3077           else
3078             {
3079               parmval = convert_for_initialization
3080                 (NULL_TREE, type, val, flags,
3081                  "argument passing", fndecl, i, complain);
3082               parmval = convert_for_arg_passing (type, parmval);
3083             }
3084
3085           if (parmval == error_mark_node)
3086             return -1;
3087
3088           argarray[i] = parmval;
3089         }
3090       else
3091         {
3092           if (fndecl && DECL_BUILT_IN (fndecl)
3093               && DECL_FUNCTION_CODE (fndecl) == BUILT_IN_CONSTANT_P)
3094             /* Don't do ellipsis conversion for __built_in_constant_p
3095                as this will result in spurious warnings for non-POD
3096                types.  */
3097             val = require_complete_type (val);
3098           else
3099             val = convert_arg_to_ellipsis (val);
3100
3101           argarray[i] = val;
3102         }
3103
3104       if (typetail)
3105         typetail = TREE_CHAIN (typetail);
3106     }
3107
3108   if (typetail != 0 && typetail != void_list_node)
3109     {
3110       /* See if there are default arguments that can be used.  Because
3111          we hold default arguments in the FUNCTION_TYPE (which is so
3112          wrong), we can see default parameters here from deduced
3113          contexts (and via typeof) for indirect function calls.
3114          Fortunately we know whether we have a function decl to
3115          provide default arguments in a language conformant
3116          manner.  */
3117       if (fndecl && TREE_PURPOSE (typetail)
3118           && TREE_CODE (TREE_PURPOSE (typetail)) != DEFAULT_ARG)
3119         {
3120           for (; typetail != void_list_node; ++i)
3121             {
3122               tree parmval
3123                 = convert_default_arg (TREE_VALUE (typetail),
3124                                        TREE_PURPOSE (typetail),
3125                                        fndecl, i);
3126
3127               if (parmval == error_mark_node)
3128                 return -1;
3129
3130               argarray[i] = parmval;
3131               typetail = TREE_CHAIN (typetail);
3132               /* ends with `...'.  */
3133               if (typetail == NULL_TREE)
3134                 break;
3135             }
3136         }
3137       else
3138         {
3139           if (complain & tf_error)
3140             {
3141               if (fndecl)
3142                 {
3143                   error ("too few arguments to %s %q+#D", 
3144                          called_thing, fndecl);
3145                   error ("at this point in file");
3146                 }
3147               else
3148                 error ("too few arguments to function");
3149             }
3150           return -1;
3151         }
3152     }
3153
3154   gcc_assert (i <= nargs);
3155   return i;
3156 }
3157 \f
3158 /* Build a binary-operation expression, after performing default
3159    conversions on the operands.  CODE is the kind of expression to
3160    build.  ARG1 and ARG2 are the arguments.  ARG1_CODE and ARG2_CODE
3161    are the tree codes which correspond to ARG1 and ARG2 when issuing
3162    warnings about possibly misplaced parentheses.  They may differ
3163    from the TREE_CODE of ARG1 and ARG2 if the parser has done constant
3164    folding (e.g., if the parser sees "a | 1 + 1", it may call this
3165    routine with ARG2 being an INTEGER_CST and ARG2_CODE == PLUS_EXPR).
3166    To avoid issuing any parentheses warnings, pass ARG1_CODE and/or
3167    ARG2_CODE as ERROR_MARK.  */
3168
3169 tree
3170 build_x_binary_op (enum tree_code code, tree arg1, enum tree_code arg1_code,
3171                    tree arg2, enum tree_code arg2_code, bool *overloaded_p,
3172                    tsubst_flags_t complain)
3173 {
3174   tree orig_arg1;
3175   tree orig_arg2;
3176   tree expr;
3177
3178   orig_arg1 = arg1;
3179   orig_arg2 = arg2;
3180
3181   if (processing_template_decl)
3182     {
3183       if (type_dependent_expression_p (arg1)
3184           || type_dependent_expression_p (arg2))
3185         return build_min_nt (code, arg1, arg2);
3186       arg1 = build_non_dependent_expr (arg1);
3187       arg2 = build_non_dependent_expr (arg2);
3188     }
3189
3190   if (code == DOTSTAR_EXPR)
3191     expr = build_m_component_ref (arg1, arg2);
3192   else
3193     expr = build_new_op (code, LOOKUP_NORMAL, arg1, arg2, NULL_TREE,
3194                          overloaded_p, complain);
3195
3196   /* Check for cases such as x+y<<z which users are likely to
3197      misinterpret.  But don't warn about obj << x + y, since that is a
3198      common idiom for I/O.  */
3199   if (warn_parentheses
3200       && !processing_template_decl
3201       && !error_operand_p (arg1)
3202       && !error_operand_p (arg2)
3203       && (code != LSHIFT_EXPR
3204           || !CLASS_TYPE_P (TREE_TYPE (arg1))))
3205     warn_about_parentheses (code, arg1_code, orig_arg1, arg2_code, orig_arg2);
3206
3207   if (processing_template_decl && expr != error_mark_node)
3208     return build_min_non_dep (code, expr, orig_arg1, orig_arg2);
3209
3210   return expr;
3211 }
3212
3213 /* Build and return an ARRAY_REF expression.  */
3214
3215 tree
3216 build_x_array_ref (tree arg1, tree arg2, tsubst_flags_t complain)
3217 {
3218   tree orig_arg1 = arg1;
3219   tree orig_arg2 = arg2;
3220   tree expr;
3221
3222   if (processing_template_decl)
3223     {
3224       if (type_dependent_expression_p (arg1)
3225           || type_dependent_expression_p (arg2))
3226         return build_min_nt (ARRAY_REF, arg1, arg2,
3227                              NULL_TREE, NULL_TREE);
3228       arg1 = build_non_dependent_expr (arg1);
3229       arg2 = build_non_dependent_expr (arg2);
3230     }
3231
3232   expr = build_new_op (ARRAY_REF, LOOKUP_NORMAL, arg1, arg2, NULL_TREE,
3233                        /*overloaded_p=*/NULL, complain);
3234
3235   if (processing_template_decl && expr != error_mark_node)
3236     return build_min_non_dep (ARRAY_REF, expr, orig_arg1, orig_arg2,
3237                               NULL_TREE, NULL_TREE);
3238   return expr;
3239 }
3240
3241 /* For the c-common bits.  */
3242 tree
3243 build_binary_op (location_t location, enum tree_code code, tree op0, tree op1,
3244                  int convert_p ATTRIBUTE_UNUSED)
3245 {
3246   return cp_build_binary_op (location, code, op0, op1, tf_warning_or_error);
3247 }
3248
3249
3250 /* Build a binary-operation expression without default conversions.
3251    CODE is the kind of expression to build.
3252    LOCATION is the location_t of the operator in the source code.
3253    This function differs from `build' in several ways:
3254    the data type of the result is computed and recorded in it,
3255    warnings are generated if arg data types are invalid,
3256    special handling for addition and subtraction of pointers is known,
3257    and some optimization is done (operations on narrow ints
3258    are done in the narrower type when that gives the same result).
3259    Constant folding is also done before the result is returned.
3260
3261    Note that the operands will never have enumeral types
3262    because either they have just had the default conversions performed
3263    or they have both just been converted to some other type in which
3264    the arithmetic is to be done.
3265
3266    C++: must do special pointer arithmetic when implementing
3267    multiple inheritance, and deal with pointer to member functions.  */
3268
3269 tree
3270 cp_build_binary_op (location_t location,
3271                     enum tree_code code, tree orig_op0, tree orig_op1,
3272                     tsubst_flags_t complain)
3273 {
3274   tree op0, op1;
3275   enum tree_code code0, code1;
3276   tree type0, type1;
3277   const char *invalid_op_diag;
3278
3279   /* Expression code to give to the expression when it is built.
3280      Normally this is CODE, which is what the caller asked for,
3281      but in some special cases we change it.  */
3282   enum tree_code resultcode = code;
3283
3284   /* Data type in which the computation is to be performed.
3285      In the simplest cases this is the common type of the arguments.  */
3286   tree result_type = NULL;
3287
3288   /* Nonzero means operands have already been type-converted
3289      in whatever way is necessary.
3290      Zero means they need to be converted to RESULT_TYPE.  */
3291   int converted = 0;
3292
3293   /* Nonzero means create the expression with this type, rather than
3294      RESULT_TYPE.  */
3295   tree build_type = 0;
3296
3297   /* Nonzero means after finally constructing the expression
3298      convert it to this type.  */
3299   tree final_type = 0;
3300
3301   tree result;
3302
3303   /* Nonzero if this is an operation like MIN or MAX which can
3304      safely be computed in short if both args are promoted shorts.
3305      Also implies COMMON.
3306      -1 indicates a bitwise operation; this makes a difference
3307      in the exact conditions for when it is safe to do the operation
3308      in a narrower mode.  */
3309   int shorten = 0;
3310
3311   /* Nonzero if this is a comparison operation;
3312      if both args are promoted shorts, compare the original shorts.
3313      Also implies COMMON.  */
3314   int short_compare = 0;
3315
3316   /* Nonzero means set RESULT_TYPE to the common type of the args.  */
3317   int common = 0;
3318
3319   /* True if both operands have arithmetic type.  */
3320   bool arithmetic_types_p;
3321
3322   /* Apply default conversions.  */
3323   op0 = orig_op0;
3324   op1 = orig_op1;
3325
3326   if (code == TRUTH_AND_EXPR || code == TRUTH_ANDIF_EXPR
3327       || code == TRUTH_OR_EXPR || code == TRUTH_ORIF_EXPR
3328       || code == TRUTH_XOR_EXPR)
3329     {
3330       if (!really_overloaded_fn (op0))
3331         op0 = decay_conversion (op0);
3332       if (!really_overloaded_fn (op1))
3333         op1 = decay_conversion (op1);
3334     }
3335   else
3336     {
3337       if (!really_overloaded_fn (op0))
3338         op0 = default_conversion (op0);
3339       if (!really_overloaded_fn (op1))
3340         op1 = default_conversion (op1);
3341     }
3342
3343   /* Strip NON_LVALUE_EXPRs, etc., since we aren't using as an lvalue.  */
3344   STRIP_TYPE_NOPS (op0);
3345   STRIP_TYPE_NOPS (op1);
3346
3347   /* DTRT if one side is an overloaded function, but complain about it.  */
3348   if (type_unknown_p (op0))
3349     {
3350       tree t = instantiate_type (TREE_TYPE (op1), op0, tf_none);
3351       if (t != error_mark_node)
3352         {
3353           if (complain & tf_error)
3354             permerror (input_location, "assuming cast to type %qT from overloaded function",
3355                        TREE_TYPE (t));
3356           op0 = t;
3357         }
3358     }
3359   if (type_unknown_p (op1))
3360     {
3361       tree t = instantiate_type (TREE_TYPE (op0), op1, tf_none);
3362       if (t != error_mark_node)
3363         {
3364           if (complain & tf_error)
3365             permerror (input_location, "assuming cast to type %qT from overloaded function",
3366                        TREE_TYPE (t));
3367           op1 = t;
3368         }
3369     }
3370
3371   type0 = TREE_TYPE (op0);
3372   type1 = TREE_TYPE (op1);
3373
3374   /* The expression codes of the data types of the arguments tell us
3375      whether the arguments are integers, floating, pointers, etc.  */
3376   code0 = TREE_CODE (type0);
3377   code1 = TREE_CODE (type1);
3378
3379   /* If an error was already reported for one of the arguments,
3380      avoid reporting another error.  */
3381
3382   if (code0 == ERROR_MARK || code1 == ERROR_MARK)
3383     return error_mark_node;
3384
3385   if ((invalid_op_diag
3386        = targetm.invalid_binary_op (code, type0, type1)))
3387     {
3388       error (invalid_op_diag);
3389       return error_mark_node;
3390     }
3391
3392   switch (code)
3393     {
3394     case MINUS_EXPR:
3395       /* Subtraction of two similar pointers.
3396          We must subtract them as integers, then divide by object size.  */
3397       if (code0 == POINTER_TYPE && code1 == POINTER_TYPE
3398           && same_type_ignoring_top_level_qualifiers_p (TREE_TYPE (type0),
3399                                                         TREE_TYPE (type1)))
3400         return pointer_diff (op0, op1, common_pointer_type (type0, type1));
3401       /* In all other cases except pointer - int, the usual arithmetic
3402          rules apply.  */
3403       else if (!(code0 == POINTER_TYPE && code1 == INTEGER_TYPE))
3404         {
3405           common = 1;
3406           break;
3407         }
3408       /* The pointer - int case is just like pointer + int; fall
3409          through.  */
3410     case PLUS_EXPR:
3411       if ((code0 == POINTER_TYPE || code1 == POINTER_TYPE)
3412           && (code0 == INTEGER_TYPE || code1 == INTEGER_TYPE))
3413         {
3414           tree ptr_operand;
3415           tree int_operand;
3416           ptr_operand = ((code0 == POINTER_TYPE) ? op0 : op1);
3417           int_operand = ((code0 == INTEGER_TYPE) ? op0 : op1);
3418           if (processing_template_decl)
3419             {
3420               result_type = TREE_TYPE (ptr_operand);
3421               break;
3422             }
3423           return cp_pointer_int_sum (code,
3424                                      ptr_operand, 
3425                                      int_operand);
3426         }
3427       common = 1;
3428       break;
3429
3430     case MULT_EXPR:
3431       common = 1;
3432       break;
3433
3434     case TRUNC_DIV_EXPR:
3435     case CEIL_DIV_EXPR:
3436     case FLOOR_DIV_EXPR:
3437     case ROUND_DIV_EXPR:
3438     case EXACT_DIV_EXPR:
3439       if ((code0 == INTEGER_TYPE || code0 == REAL_TYPE
3440            || code0 == COMPLEX_TYPE || code0 == VECTOR_TYPE)
3441           && (code1 == INTEGER_TYPE || code1 == REAL_TYPE
3442               || code1 == COMPLEX_TYPE || code1 == VECTOR_TYPE))
3443         {
3444           enum tree_code tcode0 = code0, tcode1 = code1;
3445
3446           warn_for_div_by_zero (location, op1);
3447
3448           if (tcode0 == COMPLEX_TYPE || tcode0 == VECTOR_TYPE)
3449             tcode0 = TREE_CODE (TREE_TYPE (TREE_TYPE (op0)));
3450           if (tcode1 == COMPLEX_TYPE || tcode1 == VECTOR_TYPE)
3451             tcode1 = TREE_CODE (TREE_TYPE (TREE_TYPE (op1)));
3452
3453           if (!(tcode0 == INTEGER_TYPE && tcode1 == INTEGER_TYPE))
3454             resultcode = RDIV_EXPR;
3455           else
3456             /* When dividing two signed integers, we have to promote to int.
3457                unless we divide by a constant != -1.  Note that default
3458                conversion will have been performed on the operands at this
3459                point, so we have to dig out the original type to find out if
3460                it was unsigned.  */
3461             shorten = ((TREE_CODE (op0) == NOP_EXPR
3462                         && TYPE_UNSIGNED (TREE_TYPE (TREE_OPERAND (op0, 0))))
3463                        || (TREE_CODE (op1) == INTEGER_CST
3464                            && ! integer_all_onesp (op1)));
3465
3466           common = 1;
3467         }
3468       break;
3469
3470     case BIT_AND_EXPR:
3471     case BIT_IOR_EXPR:
3472     case BIT_XOR_EXPR:
3473       if ((code0 == INTEGER_TYPE && code1 == INTEGER_TYPE)
3474           || (code0 == VECTOR_TYPE && code1 == VECTOR_TYPE
3475               && !VECTOR_FLOAT_TYPE_P (type0)
3476               && !VECTOR_FLOAT_TYPE_P (type1)))
3477         shorten = -1;
3478       break;
3479
3480     case TRUNC_MOD_EXPR:
3481     case FLOOR_MOD_EXPR:
3482       warn_for_div_by_zero (location, op1);
3483
3484       if (code0 == INTEGER_TYPE && code1 == INTEGER_TYPE)
3485         {
3486           /* Although it would be tempting to shorten always here, that loses
3487              on some targets, since the modulo instruction is undefined if the
3488              quotient can't be represented in the computation mode.  We shorten
3489              only if unsigned or if dividing by something we know != -1.  */
3490           shorten = ((TREE_CODE (op0) == NOP_EXPR
3491                       && TYPE_UNSIGNED (TREE_TYPE (TREE_OPERAND (op0, 0))))
3492                      || (TREE_CODE (op1) == INTEGER_CST
3493                          && ! integer_all_onesp (op1)));
3494           common = 1;
3495         }
3496       break;
3497
3498     case TRUTH_ANDIF_EXPR:
3499     case TRUTH_ORIF_EXPR:
3500     case TRUTH_AND_EXPR:
3501     case TRUTH_OR_EXPR:
3502       result_type = boolean_type_node;
3503       break;
3504
3505       /* Shift operations: result has same type as first operand;
3506          always convert second operand to int.
3507          Also set SHORT_SHIFT if shifting rightward.  */
3508
3509     case RSHIFT_EXPR:
3510       if (code0 == INTEGER_TYPE && code1 == INTEGER_TYPE)
3511         {
3512           result_type = type0;
3513           if (TREE_CODE (op1) == INTEGER_CST)
3514             {
3515               if (tree_int_cst_lt (op1, integer_zero_node))
3516                 {
3517                   if (complain & tf_warning)
3518                     warning (0, "right shift count is negative");
3519                 }
3520               else
3521                 {
3522                   if (compare_tree_int (op1, TYPE_PRECISION (type0)) >= 0
3523                       && (complain & tf_warning))
3524                     warning (0, "right shift count >= width of type");
3525                 }
3526             }
3527           /* Convert the shift-count to an integer, regardless of
3528              size of value being shifted.  */
3529           if (TYPE_MAIN_VARIANT (TREE_TYPE (op1)) != integer_type_node)
3530             op1 = cp_convert (integer_type_node, op1);
3531           /* Avoid converting op1 to result_type later.  */
3532           converted = 1;
3533         }
3534       break;
3535
3536     case LSHIFT_EXPR:
3537       if (code0 == INTEGER_TYPE && code1 == INTEGER_TYPE)
3538         {
3539           result_type = type0;
3540           if (TREE_CODE (op1) == INTEGER_CST)
3541             {
3542               if (tree_int_cst_lt (op1, integer_zero_node))
3543                 {
3544                   if (complain & tf_warning)
3545                     warning (0, "left shift count is negative");
3546                 }
3547               else if (compare_tree_int (op1, TYPE_PRECISION (type0)) >= 0)
3548                 {
3549                   if (complain & tf_warning)
3550                     warning (0, "left shift count >= width of type");
3551                 }
3552             }
3553           /* Convert the shift-count to an integer, regardless of
3554              size of value being shifted.  */
3555           if (TYPE_MAIN_VARIANT (TREE_TYPE (op1)) != integer_type_node)
3556             op1 = cp_convert (integer_type_node, op1);
3557           /* Avoid converting op1 to result_type later.  */
3558           converted = 1;
3559         }
3560       break;
3561
3562     case RROTATE_EXPR:
3563     case LROTATE_EXPR:
3564       if (code0 == INTEGER_TYPE && code1 == INTEGER_TYPE)
3565         {
3566           result_type = type0;
3567           if (TREE_CODE (op1) == INTEGER_CST)
3568             {
3569               if (tree_int_cst_lt (op1, integer_zero_node))
3570                 {
3571                   if (complain & tf_warning)
3572                     warning (0, (code == LROTATE_EXPR)
3573                                   ? G_("left rotate count is negative")
3574                                   : G_("right rotate count is negative"));
3575                 }
3576               else if (compare_tree_int (op1, TYPE_PRECISION (type0)) >= 0)
3577                 {
3578                   if (complain & tf_warning)
3579                     warning (0, (code == LROTATE_EXPR) 
3580                                   ? G_("left rotate count >= width of type")
3581                                   : G_("right rotate count >= width of type"));
3582                 }
3583             }
3584           /* Convert the shift-count to an integer, regardless of
3585              size of value being shifted.  */
3586           if (TYPE_MAIN_VARIANT (TREE_TYPE (op1)) != integer_type_node)
3587             op1 = cp_convert (integer_type_node, op1);
3588         }
3589       break;
3590
3591     case EQ_EXPR:
3592     case NE_EXPR:
3593       if ((complain & tf_warning)
3594           && (FLOAT_TYPE_P (type0) || FLOAT_TYPE_P (type1)))
3595         warning (OPT_Wfloat_equal,
3596                  "comparing floating point with == or != is unsafe");
3597       if ((complain & tf_warning)
3598           && ((TREE_CODE (orig_op0) == STRING_CST && !integer_zerop (op1))
3599               || (TREE_CODE (orig_op1) == STRING_CST && !integer_zerop (op0))))
3600         warning (OPT_Waddress, "comparison with string literal results in unspecified behaviour");
3601
3602       build_type = boolean_type_node;
3603       if ((code0 == INTEGER_TYPE || code0 == REAL_TYPE
3604            || code0 == COMPLEX_TYPE || code0 == ENUMERAL_TYPE)
3605           && (code1 == INTEGER_TYPE || code1 == REAL_TYPE
3606               || code1 == COMPLEX_TYPE || code1 == ENUMERAL_TYPE))
3607         short_compare = 1;
3608       else if ((code0 == POINTER_TYPE && code1 == POINTER_TYPE)
3609                || (TYPE_PTRMEM_P (type0) && TYPE_PTRMEM_P (type1)))
3610         result_type = composite_pointer_type (type0, type1, op0, op1,
3611                                               "comparison", complain);
3612       else if ((code0 == POINTER_TYPE || TYPE_PTRMEM_P (type0))
3613                && null_ptr_cst_p (op1))
3614         {
3615           if (TREE_CODE (op0) == ADDR_EXPR
3616               && decl_with_nonnull_addr_p (TREE_OPERAND (op0, 0)))
3617             {
3618               if (complain & tf_warning)
3619                 warning (OPT_Waddress, "the address of %qD will never be NULL",
3620                          TREE_OPERAND (op0, 0));
3621             }
3622           result_type = type0;
3623         }
3624       else if ((code1 == POINTER_TYPE || TYPE_PTRMEM_P (type1))
3625                && null_ptr_cst_p (op0))
3626         {
3627           if (TREE_CODE (op1) == ADDR_EXPR 
3628               && decl_with_nonnull_addr_p (TREE_OPERAND (op1, 0)))
3629             {
3630               if (complain & tf_warning)
3631                 warning (OPT_Waddress, "the address of %qD will never be NULL",
3632                          TREE_OPERAND (op1, 0));
3633             }
3634           result_type = type1;
3635         }
3636       else if (code0 == POINTER_TYPE && code1 == INTEGER_TYPE)
3637         {
3638           result_type = type0;
3639           if (complain & tf_error) 
3640             permerror (input_location, "ISO C++ forbids comparison between pointer and integer");
3641           else
3642             return error_mark_node;
3643         }
3644       else if (code0 == INTEGER_TYPE && code1 == POINTER_TYPE)
3645         {
3646           result_type = type1;
3647           if (complain & tf_error)
3648             permerror (input_location, "ISO C++ forbids comparison between pointer and integer");
3649           else
3650             return error_mark_node;
3651         }
3652       else if (TYPE_PTRMEMFUNC_P (type0) && null_ptr_cst_p (op1))
3653         {
3654           if (TARGET_PTRMEMFUNC_VBIT_LOCATION
3655               == ptrmemfunc_vbit_in_delta)
3656             {
3657               tree pfn0 = pfn_from_ptrmemfunc (op0);
3658               tree delta0 = delta_from_ptrmemfunc (op0);
3659               tree e1 = cp_build_binary_op (location,
3660                                             EQ_EXPR,
3661                                             pfn0,       
3662                                             fold_convert (TREE_TYPE (pfn0),
3663                                                           integer_zero_node),
3664                                             complain);
3665               tree e2 = cp_build_binary_op (location,
3666                                             BIT_AND_EXPR, 
3667                                             delta0,
3668                                             integer_one_node,
3669                                             complain);
3670               e2 = cp_build_binary_op (location,
3671                                        EQ_EXPR, e2, integer_zero_node,
3672                                        complain);
3673               op0 = cp_build_binary_op (location,
3674                                         TRUTH_ANDIF_EXPR, e1, e2,
3675                                         complain);
3676               op1 = cp_convert (TREE_TYPE (op0), integer_one_node); 
3677             }
3678           else 
3679             {
3680               op0 = build_ptrmemfunc_access_expr (op0, pfn_identifier);
3681               op1 = cp_convert (TREE_TYPE (op0), integer_zero_node); 
3682             }
3683           result_type = TREE_TYPE (op0);
3684         }
3685       else if (TYPE_PTRMEMFUNC_P (type1) && null_ptr_cst_p (op0))
3686         return cp_build_binary_op (location, code, op1, op0, complain);
3687       else if (TYPE_PTRMEMFUNC_P (type0) && TYPE_PTRMEMFUNC_P (type1))
3688         {
3689           tree type;
3690           /* E will be the final comparison.  */
3691           tree e;
3692           /* E1 and E2 are for scratch.  */
3693           tree e1;
3694           tree e2;
3695           tree pfn0;
3696           tree pfn1;
3697           tree delta0;
3698           tree delta1;
3699
3700           type = composite_pointer_type (type0, type1, op0, op1, "comparison",
3701                                          complain);
3702
3703           if (!same_type_p (TREE_TYPE (op0), type))
3704             op0 = cp_convert_and_check (type, op0);
3705           if (!same_type_p (TREE_TYPE (op1), type))
3706             op1 = cp_convert_and_check (type, op1);
3707
3708           if (op0 == error_mark_node || op1 == error_mark_node)
3709             return error_mark_node;
3710
3711           if (TREE_SIDE_EFFECTS (op0))
3712             op0 = save_expr (op0);
3713           if (TREE_SIDE_EFFECTS (op1))
3714             op1 = save_expr (op1);
3715
3716           pfn0 = pfn_from_ptrmemfunc (op0);
3717           pfn1 = pfn_from_ptrmemfunc (op1);
3718           delta0 = delta_from_ptrmemfunc (op0);
3719           delta1 = delta_from_ptrmemfunc (op1);
3720           if (TARGET_PTRMEMFUNC_VBIT_LOCATION
3721               == ptrmemfunc_vbit_in_delta)
3722             {
3723               /* We generate:
3724
3725                  (op0.pfn == op1.pfn
3726                   && ((op0.delta == op1.delta)
3727                        || (!op0.pfn && op0.delta & 1 == 0 
3728                            && op1.delta & 1 == 0))
3729
3730                  The reason for the `!op0.pfn' bit is that a NULL
3731                  pointer-to-member is any member with a zero PFN and
3732                  LSB of the DELTA field is 0.  */
3733
3734               e1 = cp_build_binary_op (location, BIT_AND_EXPR,
3735                                        delta0, 
3736                                        integer_one_node,
3737                                        complain);
3738               e1 = cp_build_binary_op (location,
3739                                        EQ_EXPR, e1, integer_zero_node,
3740                                        complain);
3741               e2 = cp_build_binary_op (location, BIT_AND_EXPR,
3742                                        delta1,
3743                                        integer_one_node,
3744                                        complain);
3745               e2 = cp_build_binary_op (location,
3746                                        EQ_EXPR, e2, integer_zero_node,
3747                                        complain);
3748               e1 = cp_build_binary_op (location,
3749                                        TRUTH_ANDIF_EXPR, e2, e1,
3750                                        complain);
3751               e2 = cp_build_binary_op (location, EQ_EXPR,
3752                                        pfn0,
3753                                        fold_convert (TREE_TYPE (pfn0),
3754                                                      integer_zero_node),
3755                                        complain);
3756               e2 = cp_build_binary_op (location,
3757                                        TRUTH_ANDIF_EXPR, e2, e1, complain);
3758               e1 = cp_build_binary_op (location,
3759                                        EQ_EXPR, delta0, delta1, complain);
3760               e1 = cp_build_binary_op (location,
3761                                        TRUTH_ORIF_EXPR, e1, e2, complain);
3762             }
3763           else
3764             {
3765               /* We generate:
3766
3767                  (op0.pfn == op1.pfn
3768                  && (!op0.pfn || op0.delta == op1.delta))
3769
3770                  The reason for the `!op0.pfn' bit is that a NULL
3771                  pointer-to-member is any member with a zero PFN; the
3772                  DELTA field is unspecified.  */
3773  
3774               e1 = cp_build_binary_op (location,
3775                                        EQ_EXPR, delta0, delta1, complain);
3776               e2 = cp_build_binary_op (location,
3777                                        EQ_EXPR,
3778                                        pfn0,
3779                                        fold_convert (TREE_TYPE (pfn0),
3780                                                      integer_zero_node),
3781                                        complain);
3782               e1 = cp_build_binary_op (location,
3783                                        TRUTH_ORIF_EXPR, e1, e2, complain);
3784             }
3785           e2 = build2 (EQ_EXPR, boolean_type_node, pfn0, pfn1);
3786           e = cp_build_binary_op (location,
3787                                   TRUTH_ANDIF_EXPR, e2, e1, complain);
3788           if (code == EQ_EXPR)
3789             return e;
3790           return cp_build_binary_op (location,
3791                                      EQ_EXPR, e, integer_zero_node, complain);
3792         }
3793       else
3794         {
3795           gcc_assert (!TYPE_PTRMEMFUNC_P (type0)
3796                       || !same_type_p (TYPE_PTRMEMFUNC_FN_TYPE (type0),
3797                                        type1));
3798           gcc_assert (!TYPE_PTRMEMFUNC_P (type1)
3799                       || !same_type_p (TYPE_PTRMEMFUNC_FN_TYPE (type1),
3800                                        type0));
3801         }
3802
3803       break;
3804
3805     case MAX_EXPR:
3806     case MIN_EXPR:
3807       if ((code0 == INTEGER_TYPE || code0 == REAL_TYPE)
3808            && (code1 == INTEGER_TYPE || code1 == REAL_TYPE))
3809         shorten = 1;
3810       else if (code0 == POINTER_TYPE && code1 == POINTER_TYPE)
3811         result_type = composite_pointer_type (type0, type1, op0, op1,
3812                                               "comparison", complain);
3813       break;
3814
3815     case LE_EXPR:
3816     case GE_EXPR:
3817     case LT_EXPR:
3818     case GT_EXPR:
3819       if (TREE_CODE (orig_op0) == STRING_CST
3820           || TREE_CODE (orig_op1) == STRING_CST)
3821         {
3822           if (complain & tf_warning)
3823             warning (OPT_Waddress, "comparison with string literal results in unspecified behaviour");
3824         }
3825
3826       build_type = boolean_type_node;
3827       if ((code0 == INTEGER_TYPE || code0 == REAL_TYPE)
3828            && (code1 == INTEGER_TYPE || code1 == REAL_TYPE))
3829         short_compare = 1;
3830       else if (code0 == POINTER_TYPE && code1 == POINTER_TYPE)
3831         result_type = composite_pointer_type (type0, type1, op0, op1,
3832                                               "comparison", complain);
3833       else if (code0 == POINTER_TYPE && TREE_CODE (op1) == INTEGER_CST
3834                && integer_zerop (op1))
3835         result_type = type0;
3836       else if (code1 == POINTER_TYPE && TREE_CODE (op0) == INTEGER_CST
3837                && integer_zerop (op0))
3838         result_type = type1;
3839       else if (code0 == POINTER_TYPE && code1 == INTEGER_TYPE)
3840         {
3841           result_type = type0;
3842           if (complain & tf_error)
3843             permerror (input_location, "ISO C++ forbids comparison between pointer and integer");
3844           else
3845             return error_mark_node;
3846         }
3847       else if (code0 == INTEGER_TYPE && code1 == POINTER_TYPE)
3848         {
3849           result_type = type1;
3850           if (complain & tf_error)
3851             permerror (input_location, "ISO C++ forbids comparison between pointer and integer");
3852           else
3853             return error_mark_node;
3854         }
3855       break;
3856
3857     case UNORDERED_EXPR:
3858     case ORDERED_EXPR:
3859     case UNLT_EXPR:
3860     case UNLE_EXPR:
3861     case UNGT_EXPR:
3862     case UNGE_EXPR:
3863     case UNEQ_EXPR:
3864       build_type = integer_type_node;
3865       if (code0 != REAL_TYPE || code1 != REAL_TYPE)
3866         {
3867           if (complain & tf_error)
3868             error ("unordered comparison on non-floating point argument");
3869           return error_mark_node;
3870         }
3871       common = 1;
3872       break;
3873
3874     default:
3875       break;
3876     }
3877
3878   if (((code0 == INTEGER_TYPE || code0 == REAL_TYPE || code0 == COMPLEX_TYPE
3879         || code0 == ENUMERAL_TYPE)
3880        && (code1 == INTEGER_TYPE || code1 == REAL_TYPE
3881            || code1 == COMPLEX_TYPE || code1 == ENUMERAL_TYPE)))
3882     arithmetic_types_p = 1;
3883   else
3884     {
3885       arithmetic_types_p = 0;
3886       /* Vector arithmetic is only allowed when both sides are vectors.  */
3887       if (code0 == VECTOR_TYPE && code1 == VECTOR_TYPE)
3888         {
3889           if (!tree_int_cst_equal (TYPE_SIZE (type0), TYPE_SIZE (type1))
3890               || !same_scalar_type_ignoring_signedness (TREE_TYPE (type0),
3891                                                         TREE_TYPE (type1)))
3892             {
3893               binary_op_error (location, code, type0, type1);
3894               return error_mark_node;
3895             }
3896           arithmetic_types_p = 1;
3897         }
3898     }
3899   /* Determine the RESULT_TYPE, if it is not already known.  */
3900   if (!result_type
3901       && arithmetic_types_p
3902       && (shorten || common || short_compare))
3903     result_type = cp_common_type (type0, type1);
3904
3905   if (!result_type)
3906     {
3907       if (complain & tf_error)
3908         error ("invalid operands of types %qT and %qT to binary %qO",
3909                TREE_TYPE (orig_op0), TREE_TYPE (orig_op1), code);
3910       return error_mark_node;
3911     }
3912
3913   /* If we're in a template, the only thing we need to know is the
3914      RESULT_TYPE.  */
3915   if (processing_template_decl)
3916     {
3917       /* Since the middle-end checks the type when doing a build2, we
3918          need to build the tree in pieces.  This built tree will never
3919          get out of the front-end as we replace it when instantiating
3920          the template.  */
3921       tree tmp = build2 (resultcode,
3922                          build_type ? build_type : result_type,
3923                          NULL_TREE, op1);
3924       TREE_OPERAND (tmp, 0) = op0;
3925       return tmp;
3926     }
3927
3928   if (arithmetic_types_p)
3929     {
3930       int none_complex = (code0 != COMPLEX_TYPE && code1 != COMPLEX_TYPE);
3931
3932       /* For certain operations (which identify themselves by shorten != 0)
3933          if both args were extended from the same smaller type,
3934          do the arithmetic in that type and then extend.
3935
3936          shorten !=0 and !=1 indicates a bitwise operation.
3937          For them, this optimization is safe only if
3938          both args are zero-extended or both are sign-extended.
3939          Otherwise, we might change the result.
3940          E.g., (short)-1 | (unsigned short)-1 is (int)-1
3941          but calculated in (unsigned short) it would be (unsigned short)-1.  */
3942
3943       if (shorten && none_complex)
3944         {
3945           final_type = result_type;
3946           result_type = shorten_binary_op (result_type, op0, op1, 
3947                                            shorten == -1);
3948         }
3949
3950       /* Comparison operations are shortened too but differently.
3951          They identify themselves by setting short_compare = 1.  */
3952
3953       if (short_compare)
3954         {
3955           /* Don't write &op0, etc., because that would prevent op0
3956              from being kept in a register.
3957              Instead, make copies of the our local variables and
3958              pass the copies by reference, then copy them back afterward.  */
3959           tree xop0 = op0, xop1 = op1, xresult_type = result_type;
3960           enum tree_code xresultcode = resultcode;
3961           tree val
3962             = shorten_compare (&xop0, &xop1, &xresult_type, &xresultcode);
3963           if (val != 0)
3964             return cp_convert (boolean_type_node, val);
3965           op0 = xop0, op1 = xop1;
3966           converted = 1;
3967           resultcode = xresultcode;
3968         }
3969
3970       if ((short_compare || code == MIN_EXPR || code == MAX_EXPR)
3971           && warn_sign_compare
3972           /* Do not warn until the template is instantiated; we cannot
3973              bound the ranges of the arguments until that point.  */
3974           && !processing_template_decl
3975           && (complain & tf_warning))
3976         {
3977           warn_for_sign_compare (location, orig_op0, orig_op1, op0, op1, 
3978                                  result_type, resultcode);
3979         }
3980     }
3981
3982   /* Issue warnings about peculiar, but valid, uses of NULL.  */
3983   if ((orig_op0 == null_node || orig_op1 == null_node)
3984       /* It's reasonable to use pointer values as operands of &&
3985          and ||, so NULL is no exception.  */
3986       && code != TRUTH_ANDIF_EXPR && code != TRUTH_ORIF_EXPR 
3987       && ( /* Both are NULL (or 0) and the operation was not a comparison.  */
3988           (null_ptr_cst_p (orig_op0) && null_ptr_cst_p (orig_op1) 
3989            && code != EQ_EXPR && code != NE_EXPR) 
3990           /* Or if one of OP0 or OP1 is neither a pointer nor NULL.  */
3991           || (!null_ptr_cst_p (orig_op0) && TREE_CODE (TREE_TYPE (op0)) != POINTER_TYPE)
3992           || (!null_ptr_cst_p (orig_op1) && TREE_CODE (TREE_TYPE (op1)) != POINTER_TYPE))
3993       && (complain & tf_warning))
3994     /* Some sort of arithmetic operation involving NULL was
3995        performed.  Note that pointer-difference and pointer-addition
3996        have already been handled above, and so we don't end up here in
3997        that case.  */
3998     warning (OPT_Wpointer_arith, "NULL used in arithmetic");
3999   
4000
4001   /* If CONVERTED is zero, both args will be converted to type RESULT_TYPE.
4002      Then the expression will be built.
4003      It will be given type FINAL_TYPE if that is nonzero;
4004      otherwise, it will be given type RESULT_TYPE.  */
4005   if (! converted)
4006     {
4007       if (TREE_TYPE (op0) != result_type)
4008         op0 = cp_convert_and_check (result_type, op0);
4009       if (TREE_TYPE (op1) != result_type)
4010         op1 = cp_convert_and_check (result_type, op1);
4011
4012       if (op0 == error_mark_node || op1 == error_mark_node)
4013         return error_mark_node;
4014     }
4015
4016   if (build_type == NULL_TREE)
4017     build_type = result_type;
4018
4019   result = build2 (resultcode, build_type, op0, op1);
4020   result = fold_if_not_in_template (result);
4021   if (final_type != 0)
4022     result = cp_convert (final_type, result);
4023
4024   if (TREE_OVERFLOW_P (result) 
4025       && !TREE_OVERFLOW_P (op0) 
4026       && !TREE_OVERFLOW_P (op1))
4027     overflow_warning (result);
4028
4029   return result;
4030 }