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 }
4031 \f
4032 /* Return a tree for the sum or difference (RESULTCODE says which)
4033    of pointer PTROP and integer INTOP.  */
4034
4035 static tree
4036 cp_pointer_int_sum (enum tree_code resultcode, tree ptrop, tree intop)
4037 {
4038   tree res_type = TREE_TYPE (ptrop);
4039
4040   /* pointer_int_sum() uses size_in_bytes() on the TREE_TYPE(res_type)
4041      in certain circumstance (when it's valid to do so).  So we need
4042      to make sure it's complete.  We don't need to check here, if we
4043      can actually complete it at all, as those checks will be done in
4044      pointer_int_sum() anyway.  */
4045   complete_type (TREE_TYPE (res_type));
4046
4047   return pointer_int_sum (resultcode, ptrop,
4048                           fold_if_not_in_template (intop));
4049 }
4050
4051 /* Return a tree for the difference of pointers OP0 and OP1.
4052    The resulting tree has type int.  */
4053
4054 static tree
4055 pointer_diff (tree op0, tree op1, tree ptrtype)
4056 {
4057   tree result;
4058   tree restype = ptrdiff_type_node;
4059   tree target_type = TREE_TYPE (ptrtype);
4060
4061   if (!complete_type_or_else (target_type, NULL_TREE))
4062     return error_mark_node;
4063
4064   if (TREE_CODE (target_type) == VOID_TYPE)
4065     permerror (input_location, "ISO C++ forbids using pointer of type %<void *%> in subtraction");
4066   if (TREE_CODE (target_type) == FUNCTION_TYPE)
4067     permerror (input_location, "ISO C++ forbids using pointer to a function in subtraction");
4068   if (TREE_CODE (target_type) == METHOD_TYPE)
4069     permerror (input_location, "ISO C++ forbids using pointer to a method in subtraction");
4070
4071   /* First do the subtraction as integers;
4072      then drop through to build the divide operator.  */
4073
4074   op0 = cp_build_binary_op (input_location,
4075                             MINUS_EXPR,
4076                             cp_convert (restype, op0),
4077                             cp_convert (restype, op1),
4078                             tf_warning_or_error);
4079
4080   /* This generates an error if op1 is a pointer to an incomplete type.  */
4081   if (!COMPLETE_TYPE_P (TREE_TYPE (TREE_TYPE (op1))))
4082     error ("invalid use of a pointer to an incomplete type in pointer arithmetic");
4083
4084   op1 = (TYPE_PTROB_P (ptrtype)
4085          ? size_in_bytes (target_type)
4086          : integer_one_node);
4087
4088   /* Do the division.  */
4089
4090   result = build2 (EXACT_DIV_EXPR, restype, op0, cp_convert (restype, op1));
4091   return fold_if_not_in_template (result);
4092 }
4093 \f
4094 /* Construct and perhaps optimize a tree representation
4095    for a unary operation.  CODE, a tree_code, specifies the operation
4096    and XARG is the operand.  */
4097
4098 tree
4099 build_x_unary_op (enum tree_code code, tree xarg, tsubst_flags_t complain)
4100 {
4101   tree orig_expr = xarg;
4102   tree exp;
4103   int ptrmem = 0;
4104
4105   if (processing_template_decl)
4106     {
4107       if (type_dependent_expression_p (xarg))
4108         return build_min_nt (code, xarg, NULL_TREE);
4109
4110       xarg = build_non_dependent_expr (xarg);
4111     }
4112
4113   exp = NULL_TREE;
4114
4115   /* [expr.unary.op] says:
4116
4117        The address of an object of incomplete type can be taken.
4118
4119      (And is just the ordinary address operator, not an overloaded
4120      "operator &".)  However, if the type is a template
4121      specialization, we must complete the type at this point so that
4122      an overloaded "operator &" will be available if required.  */
4123   if (code == ADDR_EXPR
4124       && TREE_CODE (xarg) != TEMPLATE_ID_EXPR
4125       && ((CLASS_TYPE_P (TREE_TYPE (xarg))
4126            && !COMPLETE_TYPE_P (complete_type (TREE_TYPE (xarg))))
4127           || (TREE_CODE (xarg) == OFFSET_REF)))
4128     /* Don't look for a function.  */;
4129   else
4130     exp = build_new_op (code, LOOKUP_NORMAL, xarg, NULL_TREE, NULL_TREE,
4131                         /*overloaded_p=*/NULL, complain);
4132   if (!exp && code == ADDR_EXPR)
4133     {
4134       /*  A pointer to member-function can be formed only by saying
4135           &X::mf.  */
4136       if (!flag_ms_extensions && TREE_CODE (TREE_TYPE (xarg)) == METHOD_TYPE
4137           && (TREE_CODE (xarg) != OFFSET_REF || !PTRMEM_OK_P (xarg)))
4138         {
4139           if (TREE_CODE (xarg) != OFFSET_REF
4140               || !TYPE_P (TREE_OPERAND (xarg, 0)))
4141             {
4142               error ("invalid use of %qE to form a pointer-to-member-function",
4143                      xarg);
4144               if (TREE_CODE (xarg) != OFFSET_REF)
4145                 inform (input_location, "  a qualified-id is required");
4146               return error_mark_node;
4147             }
4148           else
4149             {
4150               error ("parentheses around %qE cannot be used to form a"
4151                      " pointer-to-member-function",
4152                      xarg);
4153               PTRMEM_OK_P (xarg) = 1;
4154             }
4155         }
4156
4157       if (TREE_CODE (xarg) == OFFSET_REF)
4158         {
4159           ptrmem = PTRMEM_OK_P (xarg);
4160
4161           if (!ptrmem && !flag_ms_extensions
4162               && TREE_CODE (TREE_TYPE (TREE_OPERAND (xarg, 1))) == METHOD_TYPE)
4163             {
4164               /* A single non-static member, make sure we don't allow a
4165                  pointer-to-member.  */
4166               xarg = build2 (OFFSET_REF, TREE_TYPE (xarg),
4167                              TREE_OPERAND (xarg, 0),
4168                              ovl_cons (TREE_OPERAND (xarg, 1), NULL_TREE));
4169               PTRMEM_OK_P (xarg) = ptrmem;
4170             }
4171         }
4172       else if (TREE_CODE (xarg) == TARGET_EXPR && (complain & tf_warning))
4173         warning (0, "taking address of temporary");
4174       exp = cp_build_unary_op (ADDR_EXPR, xarg, 0, complain);
4175     }
4176
4177   if (processing_template_decl && exp != error_mark_node)
4178     exp = build_min_non_dep (code, exp, orig_expr,
4179                              /*For {PRE,POST}{INC,DEC}REMENT_EXPR*/NULL_TREE);
4180   if (TREE_CODE (exp) == ADDR_EXPR)
4181     PTRMEM_OK_P (exp) = ptrmem;
4182   return exp;
4183 }
4184
4185 /* Like c_common_truthvalue_conversion, but handle pointer-to-member
4186    constants, where a null value is represented by an INTEGER_CST of
4187    -1.  */
4188
4189 tree
4190 cp_truthvalue_conversion (tree expr)
4191 {
4192   tree type = TREE_TYPE (expr);
4193   if (TYPE_PTRMEM_P (type))
4194     return build_binary_op (EXPR_LOCATION (expr),
4195                             NE_EXPR, expr, integer_zero_node, 1);
4196   else
4197     return c_common_truthvalue_conversion (input_location, expr);
4198 }
4199
4200 /* Just like cp_truthvalue_conversion, but we want a CLEANUP_POINT_EXPR.  */
4201
4202 tree
4203 condition_conversion (tree expr)
4204 {
4205   tree t;
4206   if (processing_template_decl)
4207     return expr;
4208   t = perform_implicit_conversion (boolean_type_node, expr,
4209                                    tf_warning_or_error);
4210   t = fold_build_cleanup_point_expr (boolean_type_node, t);
4211   return t;
4212 }
4213
4214 /* Return an ADDR_EXPR giving the address of T.  This function
4215    attempts no optimizations or simplifications; it is a low-level
4216    primitive.  */
4217
4218 tree
4219 build_address (tree t)
4220 {
4221   tree addr;
4222
4223   if (error_operand_p (t) || !cxx_mark_addressable (t))
4224     return error_mark_node;
4225
4226   addr = build1 (ADDR_EXPR, build_pointer_type (TREE_TYPE (t)), t);
4227
4228   return addr;
4229 }
4230
4231 /* Return a NOP_EXPR converting EXPR to TYPE.  */
4232
4233 tree
4234 build_nop (tree type, tree expr)
4235 {
4236   if (type == error_mark_node || error_operand_p (expr))
4237     return expr;
4238   return build1 (NOP_EXPR, type, expr);
4239 }
4240
4241 /* C++: Must handle pointers to members.
4242
4243    Perhaps type instantiation should be extended to handle conversion
4244    from aggregates to types we don't yet know we want?  (Or are those
4245    cases typically errors which should be reported?)
4246
4247    NOCONVERT nonzero suppresses the default promotions
4248    (such as from short to int).  */
4249
4250 tree
4251 cp_build_unary_op (enum tree_code code, tree xarg, int noconvert,
4252                    tsubst_flags_t complain)
4253 {
4254   /* No default_conversion here.  It causes trouble for ADDR_EXPR.  */
4255   tree arg = xarg;
4256   tree argtype = 0;
4257   const char *errstring = NULL;
4258   tree val;
4259   const char *invalid_op_diag;
4260
4261   if (error_operand_p (arg))
4262     return error_mark_node;
4263
4264   if ((invalid_op_diag
4265        = targetm.invalid_unary_op ((code == UNARY_PLUS_EXPR
4266                                     ? CONVERT_EXPR
4267                                     : code),
4268                                    TREE_TYPE (xarg))))
4269     {
4270       error (invalid_op_diag);
4271       return error_mark_node;
4272     }
4273
4274   switch (code)
4275     {
4276     case UNARY_PLUS_EXPR:
4277     case NEGATE_EXPR:
4278       {
4279         int flags = WANT_ARITH | WANT_ENUM;
4280         /* Unary plus (but not unary minus) is allowed on pointers.  */
4281         if (code == UNARY_PLUS_EXPR)
4282           flags |= WANT_POINTER;
4283         arg = build_expr_type_conversion (flags, arg, true);
4284         if (!arg)
4285           errstring = (code == NEGATE_EXPR
4286                        ? "wrong type argument to unary minus"
4287                        : "wrong type argument to unary plus");
4288         else
4289           {
4290             if (!noconvert && CP_INTEGRAL_TYPE_P (TREE_TYPE (arg)))
4291               arg = perform_integral_promotions (arg);
4292
4293             /* Make sure the result is not an lvalue: a unary plus or minus
4294                expression is always a rvalue.  */
4295             arg = rvalue (arg);
4296           }
4297       }
4298       break;
4299
4300     case BIT_NOT_EXPR:
4301       if (TREE_CODE (TREE_TYPE (arg)) == COMPLEX_TYPE)
4302         {
4303           code = CONJ_EXPR;
4304           if (!noconvert)
4305             arg = default_conversion (arg);
4306         }
4307       else if (!(arg = build_expr_type_conversion (WANT_INT | WANT_ENUM
4308                                                    | WANT_VECTOR,
4309                                                    arg, true)))
4310         errstring = "wrong type argument to bit-complement";
4311       else if (!noconvert && CP_INTEGRAL_TYPE_P (TREE_TYPE (arg)))
4312         arg = perform_integral_promotions (arg);
4313       break;
4314
4315     case ABS_EXPR:
4316       if (!(arg = build_expr_type_conversion (WANT_ARITH | WANT_ENUM, arg, true)))
4317         errstring = "wrong type argument to abs";
4318       else if (!noconvert)
4319         arg = default_conversion (arg);
4320       break;
4321
4322     case CONJ_EXPR:
4323       /* Conjugating a real value is a no-op, but allow it anyway.  */
4324       if (!(arg = build_expr_type_conversion (WANT_ARITH | WANT_ENUM, arg, true)))
4325         errstring = "wrong type argument to conjugation";
4326       else if (!noconvert)
4327         arg = default_conversion (arg);
4328       break;
4329
4330     case TRUTH_NOT_EXPR:
4331       arg = perform_implicit_conversion (boolean_type_node, arg,
4332                                          complain);
4333       val = invert_truthvalue (arg);
4334       if (arg != error_mark_node)
4335         return val;
4336       errstring = "in argument to unary !";
4337       break;
4338
4339     case NOP_EXPR:
4340       break;
4341
4342     case REALPART_EXPR:
4343       if (TREE_CODE (arg) == COMPLEX_CST)
4344         return TREE_REALPART (arg);
4345       else if (TREE_CODE (TREE_TYPE (arg)) == COMPLEX_TYPE)
4346         {
4347           arg = build1 (REALPART_EXPR, TREE_TYPE (TREE_TYPE (arg)), arg);
4348           return fold_if_not_in_template (arg);
4349         }
4350       else
4351         return arg;
4352
4353     case IMAGPART_EXPR:
4354       if (TREE_CODE (arg) == COMPLEX_CST)
4355         return TREE_IMAGPART (arg);
4356       else if (TREE_CODE (TREE_TYPE (arg)) == COMPLEX_TYPE)
4357         {
4358           arg = build1 (IMAGPART_EXPR, TREE_TYPE (TREE_TYPE (arg)), arg);
4359           return fold_if_not_in_template (arg);
4360         }
4361       else
4362         return cp_convert (TREE_TYPE (arg), integer_zero_node);
4363
4364     case PREINCREMENT_EXPR:
4365     case POSTINCREMENT_EXPR:
4366     case PREDECREMENT_EXPR:
4367     case POSTDECREMENT_EXPR:
4368       /* Handle complex lvalues (when permitted)
4369          by reduction to simpler cases.  */
4370
4371       val = unary_complex_lvalue (code, arg);
4372       if (val != 0)
4373         return val;
4374
4375       /* Increment or decrement the real part of the value,
4376          and don't change the imaginary part.  */
4377       if (TREE_CODE (TREE_TYPE (arg)) == COMPLEX_TYPE)
4378         {
4379           tree real, imag;
4380
4381           arg = stabilize_reference (arg);
4382           real = cp_build_unary_op (REALPART_EXPR, arg, 1, complain);
4383           imag = cp_build_unary_op (IMAGPART_EXPR, arg, 1, complain);
4384           real = cp_build_unary_op (code, real, 1, complain);
4385           if (real == error_mark_node || imag == error_mark_node)
4386             return error_mark_node;
4387           return build2 (COMPLEX_EXPR, TREE_TYPE (arg),
4388                          real, imag);
4389         }
4390
4391       /* Report invalid types.  */
4392
4393       if (!(arg = build_expr_type_conversion (WANT_ARITH | WANT_POINTER,
4394                                               arg, true)))
4395         {
4396           if (code == PREINCREMENT_EXPR)
4397             errstring ="no pre-increment operator for type";
4398           else if (code == POSTINCREMENT_EXPR)
4399             errstring ="no post-increment operator for type";
4400           else if (code == PREDECREMENT_EXPR)
4401             errstring ="no pre-decrement operator for type";
4402           else
4403             errstring ="no post-decrement operator for type";
4404           break;
4405         }
4406       else if (arg == error_mark_node)
4407         return error_mark_node;
4408
4409       /* Report something read-only.  */
4410
4411       if (CP_TYPE_CONST_P (TREE_TYPE (arg))
4412           || TREE_READONLY (arg))
4413         {
4414           if (complain & tf_error)
4415             readonly_error (arg, ((code == PREINCREMENT_EXPR
4416                                    || code == POSTINCREMENT_EXPR)
4417                                   ? "increment" : "decrement"));
4418           else
4419             return error_mark_node;
4420         }
4421
4422       {
4423         tree inc;
4424         tree declared_type = unlowered_expr_type (arg);
4425
4426         argtype = TREE_TYPE (arg);
4427
4428         /* ARM $5.2.5 last annotation says this should be forbidden.  */
4429         if (TREE_CODE (argtype) == ENUMERAL_TYPE)
4430           {
4431             if (complain & tf_error)
4432               permerror (input_location, (code == PREINCREMENT_EXPR || code == POSTINCREMENT_EXPR)
4433                          ? G_("ISO C++ forbids incrementing an enum")
4434                          : G_("ISO C++ forbids decrementing an enum"));
4435             else
4436               return error_mark_node;
4437           }
4438
4439         /* Compute the increment.  */
4440
4441         if (TREE_CODE (argtype) == POINTER_TYPE)
4442           {
4443             tree type = complete_type (TREE_TYPE (argtype));
4444
4445             if (!COMPLETE_OR_VOID_TYPE_P (type))
4446               {
4447                 if (complain & tf_error)
4448                   error (((code == PREINCREMENT_EXPR
4449                            || code == POSTINCREMENT_EXPR))
4450                          ? G_("cannot increment a pointer to incomplete type %qT")
4451                          : G_("cannot decrement a pointer to incomplete type %qT"),
4452                          TREE_TYPE (argtype));
4453                 else
4454                   return error_mark_node;
4455               }
4456             else if ((pedantic || warn_pointer_arith)
4457                      && !TYPE_PTROB_P (argtype))
4458               {
4459                 if (complain & tf_error)
4460                   permerror (input_location, (code == PREINCREMENT_EXPR
4461                               || code == POSTINCREMENT_EXPR)
4462                              ? G_("ISO C++ forbids incrementing a pointer of type %qT")
4463                              : G_("ISO C++ forbids decrementing a pointer of type %qT"),
4464                              argtype);
4465                 else
4466                   return error_mark_node;
4467               }
4468
4469             inc = cxx_sizeof_nowarn (TREE_TYPE (argtype));
4470           }
4471         else
4472           inc = integer_one_node;
4473
4474         inc = cp_convert (argtype, inc);
4475
4476         /* Complain about anything else that is not a true lvalue.  */
4477         if (!lvalue_or_else (arg, ((code == PREINCREMENT_EXPR
4478                                     || code == POSTINCREMENT_EXPR)
4479                                    ? lv_increment : lv_decrement),
4480                              complain))
4481           return error_mark_node;
4482
4483         /* Forbid using -- on `bool'.  */
4484         if (same_type_p (declared_type, boolean_type_node))
4485           {
4486             if (code == POSTDECREMENT_EXPR || code == PREDECREMENT_EXPR)
4487               {
4488                 if (complain & tf_error)
4489                   error ("invalid use of Boolean expression as operand "
4490                          "to %<operator--%>");
4491                 return error_mark_node;
4492               }
4493             val = boolean_increment (code, arg);
4494           }
4495         else
4496           val = build2 (code, TREE_TYPE (arg), arg, inc);
4497
4498         TREE_SIDE_EFFECTS (val) = 1;
4499         return val;
4500       }
4501
4502     case ADDR_EXPR:
4503       /* Note that this operation never does default_conversion
4504          regardless of NOCONVERT.  */
4505
4506       argtype = lvalue_type (arg);
4507
4508       if (TREE_CODE (arg) == OFFSET_REF)
4509         goto offset_ref;
4510
4511       if (TREE_CODE (argtype) == REFERENCE_TYPE)
4512         {
4513           tree type = build_pointer_type (TREE_TYPE (argtype));
4514           arg = build1 (CONVERT_EXPR, type, arg);
4515           return arg;
4516         }
4517       else if (pedantic && DECL_MAIN_P (arg))
4518         {
4519           /* ARM $3.4 */
4520           /* Apparently a lot of autoconf scripts for C++ packages do this,
4521              so only complain if -pedantic.  */
4522           if (complain & (flag_pedantic_errors ? tf_error : tf_warning))
4523             pedwarn (input_location, OPT_pedantic,
4524                      "ISO C++ forbids taking address of function %<::main%>");
4525           else if (flag_pedantic_errors)
4526             return error_mark_node;
4527         }
4528
4529       /* Let &* cancel out to simplify resulting code.  */
4530       if (TREE_CODE (arg) == INDIRECT_REF)
4531         {
4532           /* We don't need to have `current_class_ptr' wrapped in a
4533              NON_LVALUE_EXPR node.  */
4534           if (arg == current_class_ref)
4535             return current_class_ptr;
4536
4537           arg = TREE_OPERAND (arg, 0);
4538           if (TREE_CODE (TREE_TYPE (arg)) == REFERENCE_TYPE)
4539             {
4540               tree type = build_pointer_type (TREE_TYPE (TREE_TYPE (arg)));
4541               arg = build1 (CONVERT_EXPR, type, arg);
4542             }
4543           else
4544             /* Don't let this be an lvalue.  */
4545             arg = rvalue (arg);
4546           return arg;
4547         }
4548
4549       /* Uninstantiated types are all functions.  Taking the
4550          address of a function is a no-op, so just return the
4551          argument.  */
4552
4553       gcc_assert (TREE_CODE (arg) != IDENTIFIER_NODE
4554                   || !IDENTIFIER_OPNAME_P (arg));
4555
4556       if (TREE_CODE (arg) == COMPONENT_REF && type_unknown_p (arg)
4557           && !really_overloaded_fn (TREE_OPERAND (arg, 1)))
4558         {
4559           /* They're trying to take the address of a unique non-static
4560              member function.  This is ill-formed (except in MS-land),
4561              but let's try to DTRT.
4562              Note: We only handle unique functions here because we don't
4563              want to complain if there's a static overload; non-unique
4564              cases will be handled by instantiate_type.  But we need to
4565              handle this case here to allow casts on the resulting PMF.
4566              We could defer this in non-MS mode, but it's easier to give
4567              a useful error here.  */
4568
4569           /* Inside constant member functions, the `this' pointer
4570              contains an extra const qualifier.  TYPE_MAIN_VARIANT
4571              is used here to remove this const from the diagnostics
4572              and the created OFFSET_REF.  */
4573           tree base = TYPE_MAIN_VARIANT (TREE_TYPE (TREE_OPERAND (arg, 0)));
4574           tree fn = get_first_fn (TREE_OPERAND (arg, 1));
4575           mark_used (fn);
4576
4577           if (! flag_ms_extensions)
4578             {
4579               tree name = DECL_NAME (fn);
4580               if (!(complain & tf_error))
4581                 return error_mark_node;
4582               else if (current_class_type
4583                        && TREE_OPERAND (arg, 0) == current_class_ref)
4584                   /* An expression like &memfn.  */
4585                 permerror (input_location, "ISO C++ forbids taking the address of an unqualified"
4586                            " or parenthesized non-static member function to form"
4587                            " a pointer to member function.  Say %<&%T::%D%>",
4588                            base, name);
4589               else
4590                 permerror (input_location, "ISO C++ forbids taking the address of a bound member"
4591                            " function to form a pointer to member function."
4592                            "  Say %<&%T::%D%>",
4593                            base, name);
4594             }
4595           arg = build_offset_ref (base, fn, /*address_p=*/true);
4596         }
4597
4598     offset_ref:
4599       if (type_unknown_p (arg))
4600         return build1 (ADDR_EXPR, unknown_type_node, arg);
4601
4602       /* Handle complex lvalues (when permitted)
4603          by reduction to simpler cases.  */
4604       val = unary_complex_lvalue (code, arg);
4605       if (val != 0)
4606         return val;
4607
4608       switch (TREE_CODE (arg))
4609         {
4610         CASE_CONVERT:
4611         case FLOAT_EXPR:
4612         case FIX_TRUNC_EXPR:
4613           /* Even if we're not being pedantic, we cannot allow this
4614              extension when we're instantiating in a SFINAE
4615              context.  */
4616           if (! lvalue_p (arg) && complain == tf_none)
4617             {
4618               if (complain & tf_error)
4619                 permerror (input_location, "ISO C++ forbids taking the address of a cast to a non-lvalue expression");
4620               else
4621                 return error_mark_node;
4622             }
4623           break;
4624
4625         case BASELINK:
4626           arg = BASELINK_FUNCTIONS (arg);
4627           /* Fall through.  */
4628
4629         case OVERLOAD:
4630           arg = OVL_CURRENT (arg);
4631           break;
4632
4633         case OFFSET_REF:
4634           /* Turn a reference to a non-static data member into a
4635              pointer-to-member.  */
4636           {
4637             tree type;
4638             tree t;
4639
4640             if (!PTRMEM_OK_P (arg))
4641               return cp_build_unary_op (code, arg, 0, complain);
4642
4643             t = TREE_OPERAND (arg, 1);
4644             if (TREE_CODE (TREE_TYPE (t)) == REFERENCE_TYPE)
4645               {
4646                 if (complain & tf_error)
4647                   error ("cannot create pointer to reference member %qD", t);
4648                 return error_mark_node;
4649               }
4650
4651             type = build_ptrmem_type (context_for_name_lookup (t),
4652                                       TREE_TYPE (t));
4653             t = make_ptrmem_cst (type, TREE_OPERAND (arg, 1));
4654             return t;
4655           }
4656
4657         default:
4658           break;
4659         }
4660
4661       /* Anything not already handled and not a true memory reference
4662          is an error.  */
4663       if (TREE_CODE (argtype) != FUNCTION_TYPE
4664           && TREE_CODE (argtype) != METHOD_TYPE
4665           && TREE_CODE (arg) != OFFSET_REF
4666           && !lvalue_or_else (arg, lv_addressof, complain))
4667         return error_mark_node;
4668
4669       if (argtype != error_mark_node)
4670         argtype = build_pointer_type (argtype);
4671
4672       /* In a template, we are processing a non-dependent expression
4673          so we can just form an ADDR_EXPR with the correct type.  */
4674       if (processing_template_decl || TREE_CODE (arg) != COMPONENT_REF)
4675         {
4676           val = build_address (arg);
4677           if (TREE_CODE (arg) == OFFSET_REF)
4678             PTRMEM_OK_P (val) = PTRMEM_OK_P (arg);
4679         }
4680       else if (TREE_CODE (TREE_OPERAND (arg, 1)) == BASELINK)
4681         {
4682           tree fn = BASELINK_FUNCTIONS (TREE_OPERAND (arg, 1));
4683
4684           /* We can only get here with a single static member
4685              function.  */
4686           gcc_assert (TREE_CODE (fn) == FUNCTION_DECL
4687                       && DECL_STATIC_FUNCTION_P (fn));
4688           mark_used (fn);
4689           val = build_address (fn);
4690           if (TREE_SIDE_EFFECTS (TREE_OPERAND (arg, 0)))
4691             /* Do not lose object's side effects.  */
4692             val = build2 (COMPOUND_EXPR, TREE_TYPE (val),
4693                           TREE_OPERAND (arg, 0), val);
4694         }
4695       else if (DECL_C_BIT_FIELD (TREE_OPERAND (arg, 1)))
4696         {
4697           if (complain & tf_error)
4698             error ("attempt to take address of bit-field structure member %qD",
4699                    TREE_OPERAND (arg, 1));
4700           return error_mark_node;
4701         }
4702       else
4703         {
4704           tree object = TREE_OPERAND (arg, 0);
4705           tree field = TREE_OPERAND (arg, 1);
4706           gcc_assert (same_type_ignoring_top_level_qualifiers_p
4707                       (TREE_TYPE (object), decl_type_context (field)));
4708           val = build_address (arg);
4709         }
4710
4711       if (TREE_CODE (argtype) == POINTER_TYPE
4712           && TREE_CODE (TREE_TYPE (argtype)) == METHOD_TYPE)
4713         {
4714           build_ptrmemfunc_type (argtype);
4715           val = build_ptrmemfunc (argtype, val, 0,
4716                                   /*c_cast_p=*/false);
4717         }
4718
4719       return val;
4720
4721     default:
4722       break;
4723     }
4724
4725   if (!errstring)
4726     {
4727       if (argtype == 0)
4728         argtype = TREE_TYPE (arg);
4729       return fold_if_not_in_template (build1 (code, argtype, arg));
4730     }
4731
4732   if (complain & tf_error)
4733     error ("%s", errstring);
4734   return error_mark_node;
4735 }
4736
4737 /* Hook for the c-common bits that build a unary op.  */
4738 tree
4739 build_unary_op (location_t location ATTRIBUTE_UNUSED,
4740                 enum tree_code code, tree xarg, int noconvert)
4741 {
4742   return cp_build_unary_op (code, xarg, noconvert, tf_warning_or_error);
4743 }
4744
4745 /* Apply unary lvalue-demanding operator CODE to the expression ARG
4746    for certain kinds of expressions which are not really lvalues
4747    but which we can accept as lvalues.
4748
4749    If ARG is not a kind of expression we can handle, return
4750    NULL_TREE.  */
4751
4752 tree
4753 unary_complex_lvalue (enum tree_code code, tree arg)
4754 {
4755   /* Inside a template, making these kinds of adjustments is
4756      pointless; we are only concerned with the type of the
4757      expression.  */
4758   if (processing_template_decl)
4759     return NULL_TREE;
4760
4761   /* Handle (a, b) used as an "lvalue".  */
4762   if (TREE_CODE (arg) == COMPOUND_EXPR)
4763     {
4764       tree real_result = cp_build_unary_op (code, TREE_OPERAND (arg, 1), 0,
4765                                             tf_warning_or_error);
4766       return build2 (COMPOUND_EXPR, TREE_TYPE (real_result),
4767                      TREE_OPERAND (arg, 0), real_result);
4768     }
4769
4770   /* Handle (a ? b : c) used as an "lvalue".  */
4771   if (TREE_CODE (arg) == COND_EXPR
4772       || TREE_CODE (arg) == MIN_EXPR || TREE_CODE (arg) == MAX_EXPR)
4773     return rationalize_conditional_expr (code, arg, tf_warning_or_error);
4774
4775   /* Handle (a = b), (++a), and (--a) used as an "lvalue".  */
4776   if (TREE_CODE (arg) == MODIFY_EXPR
4777       || TREE_CODE (arg) == PREINCREMENT_EXPR
4778       || TREE_CODE (arg) == PREDECREMENT_EXPR)
4779     {
4780       tree lvalue = TREE_OPERAND (arg, 0);
4781       if (TREE_SIDE_EFFECTS (lvalue))
4782         {
4783           lvalue = stabilize_reference (lvalue);
4784           arg = build2 (TREE_CODE (arg), TREE_TYPE (arg),
4785                         lvalue, TREE_OPERAND (arg, 1));
4786         }
4787       return unary_complex_lvalue
4788         (code, build2 (COMPOUND_EXPR, TREE_TYPE (lvalue), arg, lvalue));
4789     }
4790
4791   if (code != ADDR_EXPR)
4792     return NULL_TREE;
4793
4794   /* Handle (a = b) used as an "lvalue" for `&'.  */
4795   if (TREE_CODE (arg) == MODIFY_EXPR
4796       || TREE_CODE (arg) == INIT_EXPR)
4797     {
4798       tree real_result = cp_build_unary_op (code, TREE_OPERAND (arg, 0), 0,
4799                                             tf_warning_or_error);
4800       arg = build2 (COMPOUND_EXPR, TREE_TYPE (real_result),
4801                     arg, real_result);
4802       TREE_NO_WARNING (arg) = 1;
4803       return arg;
4804     }
4805
4806   if (TREE_CODE (TREE_TYPE (arg)) == FUNCTION_TYPE
4807       || TREE_CODE (TREE_TYPE (arg)) == METHOD_TYPE
4808       || TREE_CODE (arg) == OFFSET_REF)
4809     return NULL_TREE;
4810
4811   /* We permit compiler to make function calls returning
4812      objects of aggregate type look like lvalues.  */
4813   {
4814     tree targ = arg;
4815
4816     if (TREE_CODE (targ) == SAVE_EXPR)
4817       targ = TREE_OPERAND (targ, 0);
4818
4819     if (TREE_CODE (targ) == CALL_EXPR && MAYBE_CLASS_TYPE_P (TREE_TYPE (targ)))
4820       {
4821         if (TREE_CODE (arg) == SAVE_EXPR)
4822           targ = arg;
4823         else
4824           targ = build_cplus_new (TREE_TYPE (arg), arg);
4825         return build1 (ADDR_EXPR, build_pointer_type (TREE_TYPE (arg)), targ);
4826       }
4827
4828     if (TREE_CODE (arg) == SAVE_EXPR && TREE_CODE (targ) == INDIRECT_REF)
4829       return build3 (SAVE_EXPR, build_pointer_type (TREE_TYPE (arg)),
4830                      TREE_OPERAND (targ, 0), current_function_decl, NULL);
4831   }
4832
4833   /* Don't let anything else be handled specially.  */
4834   return NULL_TREE;
4835 }
4836 \f
4837 /* Mark EXP saying that we need to be able to take the
4838    address of it; it should not be allocated in a register.
4839    Value is true if successful.
4840
4841    C++: we do not allow `current_class_ptr' to be addressable.  */
4842
4843 bool
4844 cxx_mark_addressable (tree exp)
4845 {
4846   tree x = exp;
4847
4848   while (1)
4849     switch (TREE_CODE (x))
4850       {
4851       case ADDR_EXPR:
4852       case COMPONENT_REF:
4853       case ARRAY_REF:
4854       case REALPART_EXPR:
4855       case IMAGPART_EXPR:
4856         x = TREE_OPERAND (x, 0);
4857         break;
4858
4859       case PARM_DECL:
4860         if (x == current_class_ptr)
4861           {
4862             error ("cannot take the address of %<this%>, which is an rvalue expression");
4863             TREE_ADDRESSABLE (x) = 1; /* so compiler doesn't die later.  */
4864             return true;
4865           }
4866         /* Fall through.  */
4867
4868       case VAR_DECL:
4869         /* Caller should not be trying to mark initialized
4870            constant fields addressable.  */
4871         gcc_assert (DECL_LANG_SPECIFIC (x) == 0
4872                     || DECL_IN_AGGR_P (x) == 0
4873                     || TREE_STATIC (x)
4874                     || DECL_EXTERNAL (x));
4875         /* Fall through.  */
4876
4877       case CONST_DECL:
4878       case RESULT_DECL:
4879         if (DECL_REGISTER (x) && !TREE_ADDRESSABLE (x)
4880             && !DECL_ARTIFICIAL (x))
4881           {
4882             if (TREE_CODE (x) == VAR_DECL && DECL_HARD_REGISTER (x))
4883               {
4884                 error
4885                   ("address of explicit register variable %qD requested", x);
4886                 return false;
4887               }
4888             else if (extra_warnings)
4889               warning
4890                 (OPT_Wextra, "address requested for %qD, which is declared %<register%>", x);
4891           }
4892         TREE_ADDRESSABLE (x) = 1;
4893         return true;
4894
4895       case FUNCTION_DECL:
4896         TREE_ADDRESSABLE (x) = 1;
4897         return true;
4898
4899       case CONSTRUCTOR:
4900         TREE_ADDRESSABLE (x) = 1;
4901         return true;
4902
4903       case TARGET_EXPR:
4904         TREE_ADDRESSABLE (x) = 1;
4905         cxx_mark_addressable (TREE_OPERAND (x, 0));
4906         return true;
4907
4908       default:
4909         return true;
4910     }
4911 }
4912 \f
4913 /* Build and return a conditional expression IFEXP ? OP1 : OP2.  */
4914
4915 tree
4916 build_x_conditional_expr (tree ifexp, tree op1, tree op2,
4917                           tsubst_flags_t complain)
4918 {
4919   tree orig_ifexp = ifexp;
4920   tree orig_op1 = op1;
4921   tree orig_op2 = op2;
4922   tree expr;
4923
4924   if (processing_template_decl)
4925     {
4926       /* The standard says that the expression is type-dependent if
4927          IFEXP is type-dependent, even though the eventual type of the
4928          expression doesn't dependent on IFEXP.  */
4929       if (type_dependent_expression_p (ifexp)
4930           /* As a GNU extension, the middle operand may be omitted.  */
4931           || (op1 && type_dependent_expression_p (op1))
4932           || type_dependent_expression_p (op2))
4933         return build_min_nt (COND_EXPR, ifexp, op1, op2);
4934       ifexp = build_non_dependent_expr (ifexp);
4935       if (op1)
4936         op1 = build_non_dependent_expr (op1);
4937       op2 = build_non_dependent_expr (op2);
4938     }
4939
4940   expr = build_conditional_expr (ifexp, op1, op2, complain);
4941   if (processing_template_decl && expr != error_mark_node)
4942     return build_min_non_dep (COND_EXPR, expr,
4943                               orig_ifexp, orig_op1, orig_op2);
4944   return expr;
4945 }
4946 \f
4947 /* Given a list of expressions, return a compound expression
4948    that performs them all and returns the value of the last of them.  */
4949
4950 tree build_x_compound_expr_from_list (tree list, const char *msg)
4951 {
4952   tree expr = TREE_VALUE (list);
4953
4954   if (TREE_CHAIN (list))
4955     {
4956       if (msg)
4957         permerror (input_location, "%s expression list treated as compound expression", msg);
4958
4959       for (list = TREE_CHAIN (list); list; list = TREE_CHAIN (list))
4960         expr = build_x_compound_expr (expr, TREE_VALUE (list),
4961                                       tf_warning_or_error);
4962     }
4963
4964   return expr;
4965 }
4966
4967 /* Handle overloading of the ',' operator when needed.  */
4968
4969 tree
4970 build_x_compound_expr (tree op1, tree op2, tsubst_flags_t complain)
4971 {
4972   tree result;
4973   tree orig_op1 = op1;
4974   tree orig_op2 = op2;
4975
4976   if (processing_template_decl)
4977     {
4978       if (type_dependent_expression_p (op1)
4979           || type_dependent_expression_p (op2))
4980         return build_min_nt (COMPOUND_EXPR, op1, op2);
4981       op1 = build_non_dependent_expr (op1);
4982       op2 = build_non_dependent_expr (op2);
4983     }
4984
4985   result = build_new_op (COMPOUND_EXPR, LOOKUP_NORMAL, op1, op2, NULL_TREE,
4986                          /*overloaded_p=*/NULL, complain);
4987   if (!result)
4988     result = cp_build_compound_expr (op1, op2, complain);
4989
4990   if (processing_template_decl && result != error_mark_node)
4991     return build_min_non_dep (COMPOUND_EXPR, result, orig_op1, orig_op2);
4992
4993   return result;
4994 }
4995
4996 /* Like cp_build_compound_expr, but for the c-common bits.  */
4997
4998 tree
4999 build_compound_expr (tree lhs, tree rhs)
5000 {
5001   return cp_build_compound_expr (lhs, rhs, tf_warning_or_error);
5002 }
5003
5004 /* Build a compound expression.  */
5005
5006 tree
5007 cp_build_compound_expr (tree lhs, tree rhs, tsubst_flags_t complain)
5008 {
5009   lhs = convert_to_void (lhs, "left-hand operand of comma", complain);
5010
5011   if (lhs == error_mark_node || rhs == error_mark_node)
5012     return error_mark_node;
5013
5014   if (TREE_CODE (rhs) == TARGET_EXPR)
5015     {
5016       /* If the rhs is a TARGET_EXPR, then build the compound
5017          expression inside the target_expr's initializer. This
5018          helps the compiler to eliminate unnecessary temporaries.  */
5019       tree init = TREE_OPERAND (rhs, 1);
5020
5021       init = build2 (COMPOUND_EXPR, TREE_TYPE (init), lhs, init);
5022       TREE_OPERAND (rhs, 1) = init;
5023
5024       return rhs;
5025     }
5026
5027   return build2 (COMPOUND_EXPR, TREE_TYPE (rhs), lhs, rhs);
5028 }
5029
5030 /* Issue a diagnostic message if casting from SRC_TYPE to DEST_TYPE
5031    casts away constness.  CAST gives the type of cast.  */
5032
5033 static void
5034 check_for_casting_away_constness (tree src_type, tree dest_type,
5035                                   enum tree_code cast)
5036 {
5037   /* C-style casts are allowed to cast away constness.  With
5038      WARN_CAST_QUAL, we still want to issue a warning.  */
5039   if (cast == CAST_EXPR && !warn_cast_qual)
5040       return;
5041
5042   if (casts_away_constness (src_type, dest_type))
5043     switch (cast)
5044       {
5045       case CAST_EXPR:
5046         warning (OPT_Wcast_qual,
5047                  "cast from type %qT to type %qT casts away constness",
5048                  src_type, dest_type);
5049         return;
5050
5051       case STATIC_CAST_EXPR:
5052         error ("static_cast from type %qT to type %qT casts away constness",
5053                src_type, dest_type);
5054         return;
5055
5056       case REINTERPRET_CAST_EXPR:
5057         error ("reinterpret_cast from type %qT to type %qT casts away constness",
5058                src_type, dest_type);
5059         return;
5060       default:
5061         gcc_unreachable();
5062       }
5063 }
5064
5065 /* Convert EXPR (an expression with pointer-to-member type) to TYPE
5066    (another pointer-to-member type in the same hierarchy) and return
5067    the converted expression.  If ALLOW_INVERSE_P is permitted, a
5068    pointer-to-derived may be converted to pointer-to-base; otherwise,
5069    only the other direction is permitted.  If C_CAST_P is true, this
5070    conversion is taking place as part of a C-style cast.  */
5071
5072 tree
5073 convert_ptrmem (tree type, tree expr, bool allow_inverse_p,
5074                 bool c_cast_p)
5075 {
5076   if (TYPE_PTRMEM_P (type))
5077     {
5078       tree delta;
5079
5080       if (TREE_CODE (expr) == PTRMEM_CST)
5081         expr = cplus_expand_constant (expr);
5082       delta = get_delta_difference (TYPE_PTRMEM_CLASS_TYPE (TREE_TYPE (expr)),
5083                                     TYPE_PTRMEM_CLASS_TYPE (type),
5084                                     allow_inverse_p,
5085                                     c_cast_p);
5086       if (!integer_zerop (delta))
5087         {
5088           tree cond, op1, op2;
5089
5090           cond = cp_build_binary_op (input_location,
5091                                      EQ_EXPR,
5092                                      expr,
5093                                      build_int_cst (TREE_TYPE (expr), -1),
5094                                      tf_warning_or_error);
5095           op1 = build_nop (ptrdiff_type_node, expr);
5096           op2 = cp_build_binary_op (input_location,
5097                                     PLUS_EXPR, op1, delta,
5098                                     tf_warning_or_error);
5099
5100           expr = fold_build3 (COND_EXPR, ptrdiff_type_node, cond, op1, op2);
5101
5102         }
5103
5104       return build_nop (type, expr);
5105     }
5106   else
5107     return build_ptrmemfunc (TYPE_PTRMEMFUNC_FN_TYPE (type), expr,
5108                              allow_inverse_p, c_cast_p);
5109 }
5110
5111 /* If EXPR is an INTEGER_CST and ORIG is an arithmetic constant, return
5112    a version of EXPR that has TREE_OVERFLOW set if it is set in ORIG.
5113    Otherwise, return EXPR unchanged.  */
5114
5115 static tree
5116 ignore_overflows (tree expr, tree orig)
5117 {
5118   if (TREE_CODE (expr) == INTEGER_CST
5119       && CONSTANT_CLASS_P (orig)
5120       && TREE_CODE (orig) != STRING_CST
5121       && TREE_OVERFLOW (expr) != TREE_OVERFLOW (orig))
5122     {
5123       if (!TREE_OVERFLOW (orig))
5124         /* Ensure constant sharing.  */
5125         expr = build_int_cst_wide (TREE_TYPE (expr),
5126                                    TREE_INT_CST_LOW (expr),
5127                                    TREE_INT_CST_HIGH (expr));
5128       else
5129         {
5130           /* Avoid clobbering a shared constant.  */
5131           expr = copy_node (expr);
5132           TREE_OVERFLOW (expr) = TREE_OVERFLOW (orig);
5133         }
5134     }
5135   return expr;
5136 }
5137
5138 /* Perform a static_cast from EXPR to TYPE.  When C_CAST_P is true,
5139    this static_cast is being attempted as one of the possible casts
5140    allowed by a C-style cast.  (In that case, accessibility of base
5141    classes is not considered, and it is OK to cast away
5142    constness.)  Return the result of the cast.  *VALID_P is set to
5143    indicate whether or not the cast was valid.  */
5144
5145 static tree
5146 build_static_cast_1 (tree type, tree expr, bool c_cast_p,
5147                      bool *valid_p, tsubst_flags_t complain)
5148 {
5149   tree intype;
5150   tree result;
5151   tree orig;
5152
5153   /* Assume the cast is valid.  */
5154   *valid_p = true;
5155
5156   intype = TREE_TYPE (expr);
5157
5158   /* Save casted types in the function's used types hash table.  */
5159   used_types_insert (type);
5160
5161   /* [expr.static.cast]
5162
5163      An lvalue of type "cv1 B", where B is a class type, can be cast
5164      to type "reference to cv2 D", where D is a class derived (clause
5165      _class.derived_) from B, if a valid standard conversion from
5166      "pointer to D" to "pointer to B" exists (_conv.ptr_), cv2 is the
5167      same cv-qualification as, or greater cv-qualification than, cv1,
5168      and B is not a virtual base class of D.  */
5169   /* We check this case before checking the validity of "TYPE t =
5170      EXPR;" below because for this case:
5171
5172        struct B {};
5173        struct D : public B { D(const B&); };
5174        extern B& b;
5175        void f() { static_cast<const D&>(b); }
5176
5177      we want to avoid constructing a new D.  The standard is not
5178      completely clear about this issue, but our interpretation is
5179      consistent with other compilers.  */
5180   if (TREE_CODE (type) == REFERENCE_TYPE
5181       && CLASS_TYPE_P (TREE_TYPE (type))
5182       && CLASS_TYPE_P (intype)
5183       && real_lvalue_p (expr)
5184       && DERIVED_FROM_P (intype, TREE_TYPE (type))
5185       && can_convert (build_pointer_type (TYPE_MAIN_VARIANT (intype)),
5186                       build_pointer_type (TYPE_MAIN_VARIANT
5187                                           (TREE_TYPE (type))))
5188       && (c_cast_p
5189           || at_least_as_qualified_p (TREE_TYPE (type), intype)))
5190     {
5191       tree base;
5192
5193       /* There is a standard conversion from "D*" to "B*" even if "B"
5194          is ambiguous or inaccessible.  If this is really a
5195          static_cast, then we check both for inaccessibility and
5196          ambiguity.  However, if this is a static_cast being performed
5197          because the user wrote a C-style cast, then accessibility is
5198          not considered.  */
5199       base = lookup_base (TREE_TYPE (type), intype,
5200                           c_cast_p ? ba_unique : ba_check,
5201                           NULL);
5202
5203       /* Convert from "B*" to "D*".  This function will check that "B"
5204          is not a virtual base of "D".  */
5205       expr = build_base_path (MINUS_EXPR, build_address (expr),
5206                               base, /*nonnull=*/false);
5207       /* Convert the pointer to a reference -- but then remember that
5208          there are no expressions with reference type in C++.  */
5209       return convert_from_reference (build_nop (type, expr));
5210     }
5211
5212   orig = expr;
5213
5214   /* [expr.static.cast]
5215
5216      An expression e can be explicitly converted to a type T using a
5217      static_cast of the form static_cast<T>(e) if the declaration T
5218      t(e);" is well-formed, for some invented temporary variable
5219      t.  */
5220   result = perform_direct_initialization_if_possible (type, expr,
5221                                                       c_cast_p, complain);
5222   if (result)
5223     {
5224       result = convert_from_reference (result);
5225
5226       /* Ignore any integer overflow caused by the cast.  */
5227       result = ignore_overflows (result, orig);
5228
5229       /* [expr.static.cast]
5230
5231          If T is a reference type, the result is an lvalue; otherwise,
5232          the result is an rvalue.  */
5233       if (TREE_CODE (type) != REFERENCE_TYPE)
5234         result = rvalue (result);
5235       return result;
5236     }
5237
5238   /* [expr.static.cast]
5239
5240      Any expression can be explicitly converted to type cv void.  */
5241   if (TREE_CODE (type) == VOID_TYPE)
5242     return convert_to_void (expr, /*implicit=*/NULL, complain);
5243
5244   /* [expr.static.cast]
5245
5246      The inverse of any standard conversion sequence (clause _conv_),
5247      other than the lvalue-to-rvalue (_conv.lval_), array-to-pointer
5248      (_conv.array_), function-to-pointer (_conv.func_), and boolean
5249      (_conv.bool_) conversions, can be performed explicitly using
5250      static_cast subject to the restriction that the explicit
5251      conversion does not cast away constness (_expr.const.cast_), and
5252      the following additional rules for specific cases:  */
5253   /* For reference, the conversions not excluded are: integral
5254      promotions, floating point promotion, integral conversions,
5255      floating point conversions, floating-integral conversions,
5256      pointer conversions, and pointer to member conversions.  */
5257   /* DR 128
5258
5259      A value of integral _or enumeration_ type can be explicitly
5260      converted to an enumeration type.  */
5261   /* The effect of all that is that any conversion between any two
5262      types which are integral, floating, or enumeration types can be
5263      performed.  */
5264   if ((INTEGRAL_TYPE_P (type) || SCALAR_FLOAT_TYPE_P (type))
5265       && (INTEGRAL_TYPE_P (intype) || SCALAR_FLOAT_TYPE_P (intype)))
5266     {
5267       expr = ocp_convert (type, expr, CONV_C_CAST, LOOKUP_NORMAL);
5268
5269       /* Ignore any integer overflow caused by the cast.  */
5270       expr = ignore_overflows (expr, orig);
5271       return expr;
5272     }
5273
5274   if (TYPE_PTR_P (type) && TYPE_PTR_P (intype)
5275       && CLASS_TYPE_P (TREE_TYPE (type))
5276       && CLASS_TYPE_P (TREE_TYPE (intype))
5277       && can_convert (build_pointer_type (TYPE_MAIN_VARIANT
5278                                           (TREE_TYPE (intype))),
5279                       build_pointer_type (TYPE_MAIN_VARIANT
5280                                           (TREE_TYPE (type)))))
5281     {
5282       tree base;
5283
5284       if (!c_cast_p)
5285         check_for_casting_away_constness (intype, type, STATIC_CAST_EXPR);
5286       base = lookup_base (TREE_TYPE (type), TREE_TYPE (intype),
5287                           c_cast_p ? ba_unique : ba_check,
5288                           NULL);
5289       return build_base_path (MINUS_EXPR, expr, base, /*nonnull=*/false);
5290     }
5291
5292   if ((TYPE_PTRMEM_P (type) && TYPE_PTRMEM_P (intype))
5293       || (TYPE_PTRMEMFUNC_P (type) && TYPE_PTRMEMFUNC_P (intype)))
5294     {
5295       tree c1;
5296       tree c2;
5297       tree t1;
5298       tree t2;
5299
5300       c1 = TYPE_PTRMEM_CLASS_TYPE (intype);
5301       c2 = TYPE_PTRMEM_CLASS_TYPE (type);
5302
5303       if (TYPE_PTRMEM_P (type))
5304         {
5305           t1 = (build_ptrmem_type
5306                 (c1,
5307                  TYPE_MAIN_VARIANT (TYPE_PTRMEM_POINTED_TO_TYPE (intype))));
5308           t2 = (build_ptrmem_type
5309                 (c2,
5310                  TYPE_MAIN_VARIANT (TYPE_PTRMEM_POINTED_TO_TYPE (type))));
5311         }
5312       else
5313         {
5314           t1 = intype;
5315           t2 = type;
5316         }
5317       if (can_convert (t1, t2) || can_convert (t2, t1))
5318         {
5319           if (!c_cast_p)
5320             check_for_casting_away_constness (intype, type, STATIC_CAST_EXPR);
5321           return convert_ptrmem (type, expr, /*allow_inverse_p=*/1,
5322                                  c_cast_p);
5323         }
5324     }
5325
5326   /* [expr.static.cast]
5327
5328      An rvalue of type "pointer to cv void" can be explicitly
5329      converted to a pointer to object type.  A value of type pointer
5330      to object converted to "pointer to cv void" and back to the
5331      original pointer type will have its original value.  */
5332   if (TREE_CODE (intype) == POINTER_TYPE
5333       && VOID_TYPE_P (TREE_TYPE (intype))
5334       && TYPE_PTROB_P (type))
5335     {
5336       if (!c_cast_p)
5337         check_for_casting_away_constness (intype, type, STATIC_CAST_EXPR);
5338       return build_nop (type, expr);
5339     }
5340
5341   *valid_p = false;
5342   return error_mark_node;
5343 }
5344
5345 /* Return an expression representing static_cast<TYPE>(EXPR).  */
5346
5347 tree
5348 build_static_cast (tree type, tree expr, tsubst_flags_t complain)
5349 {
5350   tree result;
5351   bool valid_p;
5352
5353   if (type == error_mark_node || expr == error_mark_node)
5354     return error_mark_node;
5355
5356   if (processing_template_decl)
5357     {
5358       expr = build_min (STATIC_CAST_EXPR, type, expr);
5359       /* We don't know if it will or will not have side effects.  */
5360       TREE_SIDE_EFFECTS (expr) = 1;
5361       return convert_from_reference (expr);
5362     }
5363
5364   /* build_c_cast puts on a NOP_EXPR to make the result not an lvalue.
5365      Strip such NOP_EXPRs if VALUE is being used in non-lvalue context.  */
5366   if (TREE_CODE (type) != REFERENCE_TYPE
5367       && TREE_CODE (expr) == NOP_EXPR
5368       && TREE_TYPE (expr) == TREE_TYPE (TREE_OPERAND (expr, 0)))
5369     expr = TREE_OPERAND (expr, 0);
5370
5371   result = build_static_cast_1 (type, expr, /*c_cast_p=*/false, &valid_p,
5372                                 complain);
5373   if (valid_p)
5374     return result;
5375
5376   if (complain & tf_error)
5377     error ("invalid static_cast from type %qT to type %qT",
5378            TREE_TYPE (expr), type);
5379   return error_mark_node;
5380 }
5381
5382 /* EXPR is an expression with member function or pointer-to-member
5383    function type.  TYPE is a pointer type.  Converting EXPR to TYPE is
5384    not permitted by ISO C++, but we accept it in some modes.  If we
5385    are not in one of those modes, issue a diagnostic.  Return the
5386    converted expression.  */
5387
5388 tree
5389 convert_member_func_to_ptr (tree type, tree expr)
5390 {
5391   tree intype;
5392   tree decl;
5393
5394   intype = TREE_TYPE (expr);
5395   gcc_assert (TYPE_PTRMEMFUNC_P (intype)
5396               || TREE_CODE (intype) == METHOD_TYPE);
5397
5398   if (pedantic || warn_pmf2ptr)
5399     pedwarn (input_location, pedantic ? OPT_pedantic : OPT_Wpmf_conversions,
5400              "converting from %qT to %qT", intype, type);
5401
5402   if (TREE_CODE (intype) == METHOD_TYPE)
5403     expr = build_addr_func (expr);
5404   else if (TREE_CODE (expr) == PTRMEM_CST)
5405     expr = build_address (PTRMEM_CST_MEMBER (expr));
5406   else
5407     {
5408       decl = maybe_dummy_object (TYPE_PTRMEM_CLASS_TYPE (intype), 0);
5409       decl = build_address (decl);
5410       expr = get_member_function_from_ptrfunc (&decl, expr);
5411     }
5412
5413   return build_nop (type, expr);
5414 }
5415
5416 /* Return a representation for a reinterpret_cast from EXPR to TYPE.
5417    If C_CAST_P is true, this reinterpret cast is being done as part of
5418    a C-style cast.  If VALID_P is non-NULL, *VALID_P is set to
5419    indicate whether or not reinterpret_cast was valid.  */
5420
5421 static tree
5422 build_reinterpret_cast_1 (tree type, tree expr, bool c_cast_p,
5423                           bool *valid_p, tsubst_flags_t complain)
5424 {
5425   tree intype;
5426
5427   /* Assume the cast is invalid.  */
5428   if (valid_p)
5429     *valid_p = true;
5430
5431   if (type == error_mark_node || error_operand_p (expr))
5432     return error_mark_node;
5433
5434   intype = TREE_TYPE (expr);
5435
5436   /* Save casted types in the function's used types hash table.  */
5437   used_types_insert (type);
5438
5439   /* [expr.reinterpret.cast]
5440      An lvalue expression of type T1 can be cast to the type
5441      "reference to T2" if an expression of type "pointer to T1" can be
5442      explicitly converted to the type "pointer to T2" using a
5443      reinterpret_cast.  */
5444   if (TREE_CODE (type) == REFERENCE_TYPE)
5445     {
5446       if (! real_lvalue_p (expr))
5447         {
5448           if (complain & tf_error)
5449             error ("invalid cast of an rvalue expression of type "
5450                    "%qT to type %qT",
5451                    intype, type);
5452           return error_mark_node;
5453         }
5454
5455       /* Warn about a reinterpret_cast from "A*" to "B&" if "A" and
5456          "B" are related class types; the reinterpret_cast does not
5457          adjust the pointer.  */
5458       if (TYPE_PTR_P (intype)
5459           && (complain & tf_warning)
5460           && (comptypes (TREE_TYPE (intype), TREE_TYPE (type),
5461                          COMPARE_BASE | COMPARE_DERIVED)))
5462         warning (0, "casting %qT to %qT does not dereference pointer",
5463                  intype, type);
5464
5465       expr = cp_build_unary_op (ADDR_EXPR, expr, 0, complain);
5466       if (expr != error_mark_node)
5467         expr = build_reinterpret_cast_1
5468           (build_pointer_type (TREE_TYPE (type)), expr, c_cast_p,
5469            valid_p, complain);
5470       if (expr != error_mark_node)
5471         expr = cp_build_indirect_ref (expr, 0, complain);
5472       return expr;
5473     }
5474
5475   /* As a G++ extension, we consider conversions from member
5476      functions, and pointers to member functions to
5477      pointer-to-function and pointer-to-void types.  If
5478      -Wno-pmf-conversions has not been specified,
5479      convert_member_func_to_ptr will issue an error message.  */
5480   if ((TYPE_PTRMEMFUNC_P (intype)
5481        || TREE_CODE (intype) == METHOD_TYPE)
5482       && TYPE_PTR_P (type)
5483       && (TREE_CODE (TREE_TYPE (type)) == FUNCTION_TYPE
5484           || VOID_TYPE_P (TREE_TYPE (type))))
5485     return convert_member_func_to_ptr (type, expr);
5486
5487   /* If the cast is not to a reference type, the lvalue-to-rvalue,
5488      array-to-pointer, and function-to-pointer conversions are
5489      performed.  */
5490   expr = decay_conversion (expr);
5491
5492   /* build_c_cast puts on a NOP_EXPR to make the result not an lvalue.
5493      Strip such NOP_EXPRs if VALUE is being used in non-lvalue context.  */
5494   if (TREE_CODE (expr) == NOP_EXPR
5495       && TREE_TYPE (expr) == TREE_TYPE (TREE_OPERAND (expr, 0)))
5496     expr = TREE_OPERAND (expr, 0);
5497
5498   if (error_operand_p (expr))
5499     return error_mark_node;
5500
5501   intype = TREE_TYPE (expr);
5502
5503   /* [expr.reinterpret.cast]
5504      A pointer can be converted to any integral type large enough to
5505      hold it.  */
5506   if (CP_INTEGRAL_TYPE_P (type) && TYPE_PTR_P (intype))
5507     {
5508       if (TYPE_PRECISION (type) < TYPE_PRECISION (intype))
5509         {
5510           if (complain & tf_error)
5511             permerror (input_location, "cast from %qT to %qT loses precision",
5512                        intype, type);
5513           else
5514             return error_mark_node;
5515         }
5516     }
5517   /* [expr.reinterpret.cast]
5518      A value of integral or enumeration type can be explicitly
5519      converted to a pointer.  */
5520   else if (TYPE_PTR_P (type) && INTEGRAL_OR_ENUMERATION_TYPE_P (intype))
5521     /* OK */
5522     ;
5523   else if ((TYPE_PTRFN_P (type) && TYPE_PTRFN_P (intype))
5524            || (TYPE_PTRMEMFUNC_P (type) && TYPE_PTRMEMFUNC_P (intype)))
5525     return fold_if_not_in_template (build_nop (type, expr));
5526   else if ((TYPE_PTRMEM_P (type) && TYPE_PTRMEM_P (intype))
5527            || (TYPE_PTROBV_P (type) && TYPE_PTROBV_P (intype)))
5528     {
5529       tree sexpr = expr;
5530
5531       if (!c_cast_p)
5532         check_for_casting_away_constness (intype, type, REINTERPRET_CAST_EXPR);
5533       /* Warn about possible alignment problems.  */
5534       if (STRICT_ALIGNMENT && warn_cast_align
5535           && (complain & tf_warning)
5536           && !VOID_TYPE_P (type)
5537           && TREE_CODE (TREE_TYPE (intype)) != FUNCTION_TYPE
5538           && COMPLETE_TYPE_P (TREE_TYPE (type))
5539           && COMPLETE_TYPE_P (TREE_TYPE (intype))
5540           && TYPE_ALIGN (TREE_TYPE (type)) > TYPE_ALIGN (TREE_TYPE (intype)))
5541         warning (OPT_Wcast_align, "cast from %qT to %qT "
5542                  "increases required alignment of target type", intype, type);
5543
5544       /* We need to strip nops here, because the front end likes to
5545          create (int *)&a for array-to-pointer decay, instead of &a[0].  */
5546       STRIP_NOPS (sexpr);
5547       if (warn_strict_aliasing <= 2)
5548         strict_aliasing_warning (intype, type, sexpr);
5549
5550       return fold_if_not_in_template (build_nop (type, expr));
5551     }
5552   else if ((TYPE_PTRFN_P (type) && TYPE_PTROBV_P (intype))
5553            || (TYPE_PTRFN_P (intype) && TYPE_PTROBV_P (type)))
5554     {
5555       if (pedantic && (complain & tf_warning))
5556         /* Only issue a warning, as we have always supported this
5557            where possible, and it is necessary in some cases.  DR 195
5558            addresses this issue, but as of 2004/10/26 is still in
5559            drafting.  */
5560         warning (0, "ISO C++ forbids casting between pointer-to-function and pointer-to-object");
5561       return fold_if_not_in_template (build_nop (type, expr));
5562     }
5563   else if (TREE_CODE (type) == VECTOR_TYPE)
5564     return fold_if_not_in_template (convert_to_vector (type, expr));
5565   else if (TREE_CODE (intype) == VECTOR_TYPE && INTEGRAL_TYPE_P (type))
5566     return fold_if_not_in_template (convert_to_integer (type, expr));
5567   else
5568     {
5569       if (valid_p)
5570         *valid_p = false;
5571       if (complain & tf_error)
5572         error ("invalid cast from type %qT to type %qT", intype, type);
5573       return error_mark_node;
5574     }
5575
5576   return cp_convert (type, expr);
5577 }
5578
5579 tree
5580 build_reinterpret_cast (tree type, tree expr, tsubst_flags_t complain)
5581 {
5582   if (type == error_mark_node || expr == error_mark_node)
5583     return error_mark_node;
5584
5585   if (processing_template_decl)
5586     {
5587       tree t = build_min (REINTERPRET_CAST_EXPR, type, expr);
5588
5589       if (!TREE_SIDE_EFFECTS (t)
5590           && type_dependent_expression_p (expr))
5591         /* There might turn out to be side effects inside expr.  */
5592         TREE_SIDE_EFFECTS (t) = 1;
5593       return convert_from_reference (t);
5594     }
5595
5596   return build_reinterpret_cast_1 (type, expr, /*c_cast_p=*/false,
5597                                    /*valid_p=*/NULL, complain);
5598 }
5599
5600 /* Perform a const_cast from EXPR to TYPE.  If the cast is valid,
5601    return an appropriate expression.  Otherwise, return
5602    error_mark_node.  If the cast is not valid, and COMPLAIN is true,
5603    then a diagnostic will be issued.  If VALID_P is non-NULL, we are
5604    performing a C-style cast, its value upon return will indicate
5605    whether or not the conversion succeeded.  */
5606
5607 static tree
5608 build_const_cast_1 (tree dst_type, tree expr, bool complain,
5609                     bool *valid_p)
5610 {
5611   tree src_type;
5612   tree reference_type;
5613
5614   /* Callers are responsible for handling error_mark_node as a
5615      destination type.  */
5616   gcc_assert (dst_type != error_mark_node);
5617   /* In a template, callers should be building syntactic
5618      representations of casts, not using this machinery.  */
5619   gcc_assert (!processing_template_decl);
5620
5621   /* Assume the conversion is invalid.  */
5622   if (valid_p)
5623     *valid_p = false;
5624
5625   if (!POINTER_TYPE_P (dst_type) && !TYPE_PTRMEM_P (dst_type))
5626     {
5627       if (complain)
5628         error ("invalid use of const_cast with type %qT, "
5629                "which is not a pointer, "
5630                "reference, nor a pointer-to-data-member type", dst_type);
5631       return error_mark_node;
5632     }
5633
5634   if (TREE_CODE (TREE_TYPE (dst_type)) == FUNCTION_TYPE)
5635     {
5636       if (complain)
5637         error ("invalid use of const_cast with type %qT, which is a pointer "
5638                "or reference to a function type", dst_type);
5639       return error_mark_node;
5640     }
5641
5642   /* Save casted types in the function's used types hash table.  */
5643   used_types_insert (dst_type);
5644
5645   src_type = TREE_TYPE (expr);
5646   /* Expressions do not really have reference types.  */
5647   if (TREE_CODE (src_type) == REFERENCE_TYPE)
5648     src_type = TREE_TYPE (src_type);
5649
5650   /* [expr.const.cast]
5651
5652      An lvalue of type T1 can be explicitly converted to an lvalue of
5653      type T2 using the cast const_cast<T2&> (where T1 and T2 are object
5654      types) if a pointer to T1 can be explicitly converted to the type
5655      pointer to T2 using a const_cast.  */
5656   if (TREE_CODE (dst_type) == REFERENCE_TYPE)
5657     {
5658       reference_type = dst_type;
5659       if (! real_lvalue_p (expr))
5660         {
5661           if (complain)
5662             error ("invalid const_cast of an rvalue of type %qT to type %qT",
5663                    src_type, dst_type);
5664           return error_mark_node;
5665         }
5666       dst_type = build_pointer_type (TREE_TYPE (dst_type));
5667       src_type = build_pointer_type (src_type);
5668     }
5669   else
5670     {
5671       reference_type = NULL_TREE;
5672       /* If the destination type is not a reference type, the
5673          lvalue-to-rvalue, array-to-pointer, and function-to-pointer
5674          conversions are performed.  */
5675       src_type = type_decays_to (src_type);
5676       if (src_type == error_mark_node)
5677         return error_mark_node;
5678     }
5679
5680   if ((TYPE_PTR_P (src_type) || TYPE_PTRMEM_P (src_type))
5681       && comp_ptr_ttypes_const (dst_type, src_type))
5682     {
5683       if (valid_p)
5684         {
5685           *valid_p = true;
5686           /* This cast is actually a C-style cast.  Issue a warning if
5687              the user is making a potentially unsafe cast.  */
5688           check_for_casting_away_constness (src_type, dst_type, CAST_EXPR);
5689         }
5690       if (reference_type)
5691         {
5692           expr = cp_build_unary_op (ADDR_EXPR, expr, 0,
5693                                     complain? tf_warning_or_error : tf_none);
5694           expr = build_nop (reference_type, expr);
5695           return convert_from_reference (expr);
5696         }
5697       else
5698         {
5699           expr = decay_conversion (expr);
5700           /* build_c_cast puts on a NOP_EXPR to make the result not an
5701              lvalue.  Strip such NOP_EXPRs if VALUE is being used in
5702              non-lvalue context.  */
5703           if (TREE_CODE (expr) == NOP_EXPR
5704               && TREE_TYPE (expr) == TREE_TYPE (TREE_OPERAND (expr, 0)))
5705             expr = TREE_OPERAND (expr, 0);
5706           return build_nop (dst_type, expr);
5707         }
5708     }
5709
5710   if (complain)
5711     error ("invalid const_cast from type %qT to type %qT",
5712            src_type, dst_type);
5713   return error_mark_node;
5714 }
5715
5716 tree
5717 build_const_cast (tree type, tree expr, tsubst_flags_t complain)
5718 {
5719   if (type == error_mark_node || error_operand_p (expr))
5720     return error_mark_node;
5721
5722   if (processing_template_decl)
5723     {
5724       tree t = build_min (CONST_CAST_EXPR, type, expr);
5725
5726       if (!TREE_SIDE_EFFECTS (t)
5727           && type_dependent_expression_p (expr))
5728         /* There might turn out to be side effects inside expr.  */
5729         TREE_SIDE_EFFECTS (t) = 1;
5730       return convert_from_reference (t);
5731     }
5732
5733   return build_const_cast_1 (type, expr, complain & tf_error,
5734                              /*valid_p=*/NULL);
5735 }
5736
5737 /* Like cp_build_c_cast, but for the c-common bits.  */
5738
5739 tree
5740 build_c_cast (tree type, tree expr)
5741 {
5742   return cp_build_c_cast (type, expr, tf_warning_or_error);
5743 }
5744
5745 /* Build an expression representing an explicit C-style cast to type
5746    TYPE of expression EXPR.  */
5747
5748 tree
5749 cp_build_c_cast (tree type, tree expr, tsubst_flags_t complain)
5750 {
5751   tree value = expr;
5752   tree result;
5753   bool valid_p;
5754
5755   if (type == error_mark_node || error_operand_p (expr))
5756     return error_mark_node;
5757
5758   if (processing_template_decl)
5759     {
5760       tree t = build_min (CAST_EXPR, type,
5761                           tree_cons (NULL_TREE, value, NULL_TREE));
5762       /* We don't know if it will or will not have side effects.  */
5763       TREE_SIDE_EFFECTS (t) = 1;
5764       return convert_from_reference (t);
5765     }
5766
5767   /* Casts to a (pointer to a) specific ObjC class (or 'id' or
5768      'Class') should always be retained, because this information aids
5769      in method lookup.  */
5770   if (objc_is_object_ptr (type)
5771       && objc_is_object_ptr (TREE_TYPE (expr)))
5772     return build_nop (type, expr);
5773
5774   /* build_c_cast puts on a NOP_EXPR to make the result not an lvalue.
5775      Strip such NOP_EXPRs if VALUE is being used in non-lvalue context.  */
5776   if (TREE_CODE (type) != REFERENCE_TYPE
5777       && TREE_CODE (value) == NOP_EXPR
5778       && TREE_TYPE (value) == TREE_TYPE (TREE_OPERAND (value, 0)))
5779     value = TREE_OPERAND (value, 0);
5780
5781   if (TREE_CODE (type) == ARRAY_TYPE)
5782     {
5783       /* Allow casting from T1* to T2[] because Cfront allows it.
5784          NIHCL uses it. It is not valid ISO C++ however.  */
5785       if (TREE_CODE (TREE_TYPE (expr)) == POINTER_TYPE)
5786         {
5787           if (complain & tf_error)
5788             permerror (input_location, "ISO C++ forbids casting to an array type %qT", type);
5789           else
5790             return error_mark_node;
5791           type = build_pointer_type (TREE_TYPE (type));
5792         }
5793       else
5794         {
5795           if (complain & tf_error)
5796             error ("ISO C++ forbids casting to an array type %qT", type);
5797           return error_mark_node;
5798         }
5799     }
5800
5801   if (TREE_CODE (type) == FUNCTION_TYPE
5802       || TREE_CODE (type) == METHOD_TYPE)
5803     {
5804       if (complain & tf_error)
5805         error ("invalid cast to function type %qT", type);
5806       return error_mark_node;
5807     }
5808
5809   /* A C-style cast can be a const_cast.  */
5810   result = build_const_cast_1 (type, value, /*complain=*/false,
5811                                &valid_p);
5812   if (valid_p)
5813     return result;
5814
5815   /* Or a static cast.  */
5816   result = build_static_cast_1 (type, value, /*c_cast_p=*/true,
5817                                 &valid_p, complain);
5818   /* Or a reinterpret_cast.  */
5819   if (!valid_p)
5820     result = build_reinterpret_cast_1 (type, value, /*c_cast_p=*/true,
5821                                        &valid_p, complain);
5822   /* The static_cast or reinterpret_cast may be followed by a
5823      const_cast.  */
5824   if (valid_p
5825       /* A valid cast may result in errors if, for example, a
5826          conversion to am ambiguous base class is required.  */
5827       && !error_operand_p (result))
5828     {
5829       tree result_type;
5830
5831       /* Non-class rvalues always have cv-unqualified type.  */
5832       if (!CLASS_TYPE_P (type))
5833         type = TYPE_MAIN_VARIANT (type);
5834       result_type = TREE_TYPE (result);
5835       if (!CLASS_TYPE_P (result_type))
5836         result_type = TYPE_MAIN_VARIANT (result_type);
5837       /* If the type of RESULT does not match TYPE, perform a
5838          const_cast to make it match.  If the static_cast or
5839          reinterpret_cast succeeded, we will differ by at most
5840          cv-qualification, so the follow-on const_cast is guaranteed
5841          to succeed.  */
5842       if (!same_type_p (non_reference (type), non_reference (result_type)))
5843         {
5844           result = build_const_cast_1 (type, result, false, &valid_p);
5845           gcc_assert (valid_p);
5846         }
5847       return result;
5848     }
5849
5850   return error_mark_node;
5851 }
5852 \f
5853 /* For use from the C common bits.  */
5854 tree
5855 build_modify_expr (location_t location ATTRIBUTE_UNUSED,
5856                    tree lhs, enum tree_code modifycode, tree rhs)
5857 {
5858   return cp_build_modify_expr (lhs, modifycode, rhs, tf_warning_or_error);
5859 }
5860
5861 /* Build an assignment expression of lvalue LHS from value RHS.
5862    MODIFYCODE is the code for a binary operator that we use
5863    to combine the old value of LHS with RHS to get the new value.
5864    Or else MODIFYCODE is NOP_EXPR meaning do a simple assignment.
5865
5866    C++: If MODIFYCODE is INIT_EXPR, then leave references unbashed.  */
5867
5868 tree
5869 cp_build_modify_expr (tree lhs, enum tree_code modifycode, tree rhs,
5870                       tsubst_flags_t complain)
5871 {
5872   tree result;
5873   tree newrhs = rhs;
5874   tree lhstype = TREE_TYPE (lhs);
5875   tree olhstype = lhstype;
5876   bool plain_assign = (modifycode == NOP_EXPR);
5877
5878   /* Avoid duplicate error messages from operands that had errors.  */
5879   if (error_operand_p (lhs) || error_operand_p (rhs))
5880     return error_mark_node;
5881
5882   /* Handle control structure constructs used as "lvalues".  */
5883   switch (TREE_CODE (lhs))
5884     {
5885       /* Handle --foo = 5; as these are valid constructs in C++.  */
5886     case PREDECREMENT_EXPR:
5887     case PREINCREMENT_EXPR:
5888       if (TREE_SIDE_EFFECTS (TREE_OPERAND (lhs, 0)))
5889         lhs = build2 (TREE_CODE (lhs), TREE_TYPE (lhs),
5890                       stabilize_reference (TREE_OPERAND (lhs, 0)),
5891                       TREE_OPERAND (lhs, 1));
5892       newrhs = cp_build_modify_expr (TREE_OPERAND (lhs, 0),
5893                                      modifycode, rhs, complain);
5894       if (newrhs == error_mark_node)
5895         return error_mark_node;
5896       return build2 (COMPOUND_EXPR, lhstype, lhs, newrhs);
5897
5898       /* Handle (a, b) used as an "lvalue".  */
5899     case COMPOUND_EXPR:
5900       newrhs = cp_build_modify_expr (TREE_OPERAND (lhs, 1),
5901                                      modifycode, rhs, complain);
5902       if (newrhs == error_mark_node)
5903         return error_mark_node;
5904       return build2 (COMPOUND_EXPR, lhstype,
5905                      TREE_OPERAND (lhs, 0), newrhs);
5906
5907     case MODIFY_EXPR:
5908       if (TREE_SIDE_EFFECTS (TREE_OPERAND (lhs, 0)))
5909         lhs = build2 (TREE_CODE (lhs), TREE_TYPE (lhs),
5910                       stabilize_reference (TREE_OPERAND (lhs, 0)),
5911                       TREE_OPERAND (lhs, 1));
5912       newrhs = cp_build_modify_expr (TREE_OPERAND (lhs, 0), modifycode, rhs,
5913                                      complain);
5914       if (newrhs == error_mark_node)
5915         return error_mark_node;
5916       return build2 (COMPOUND_EXPR, lhstype, lhs, newrhs);
5917
5918     case MIN_EXPR:
5919     case MAX_EXPR:
5920       /* MIN_EXPR and MAX_EXPR are currently only permitted as lvalues,
5921          when neither operand has side-effects.  */
5922       if (!lvalue_or_else (lhs, lv_assign, complain))
5923         return error_mark_node;
5924
5925       gcc_assert (!TREE_SIDE_EFFECTS (TREE_OPERAND (lhs, 0))
5926                   && !TREE_SIDE_EFFECTS (TREE_OPERAND (lhs, 1)));
5927
5928       lhs = build3 (COND_EXPR, TREE_TYPE (lhs),
5929                     build2 (TREE_CODE (lhs) == MIN_EXPR ? LE_EXPR : GE_EXPR,
5930                             boolean_type_node,
5931                             TREE_OPERAND (lhs, 0),
5932                             TREE_OPERAND (lhs, 1)),
5933                     TREE_OPERAND (lhs, 0),
5934                     TREE_OPERAND (lhs, 1));
5935       /* Fall through.  */
5936
5937       /* Handle (a ? b : c) used as an "lvalue".  */
5938     case COND_EXPR:
5939       {
5940         /* Produce (a ? (b = rhs) : (c = rhs))
5941            except that the RHS goes through a save-expr
5942            so the code to compute it is only emitted once.  */
5943         tree cond;
5944         tree preeval = NULL_TREE;
5945
5946         if (VOID_TYPE_P (TREE_TYPE (rhs)))
5947           {
5948             if (complain & tf_error)
5949               error ("void value not ignored as it ought to be");
5950             return error_mark_node;
5951           }
5952
5953         rhs = stabilize_expr (rhs, &preeval);
5954
5955         /* Check this here to avoid odd errors when trying to convert
5956            a throw to the type of the COND_EXPR.  */
5957         if (!lvalue_or_else (lhs, lv_assign, complain))
5958           return error_mark_node;
5959
5960         cond = build_conditional_expr
5961           (TREE_OPERAND (lhs, 0),
5962            cp_build_modify_expr (TREE_OPERAND (lhs, 1),
5963                                  modifycode, rhs, complain),
5964            cp_build_modify_expr (TREE_OPERAND (lhs, 2),
5965                                  modifycode, rhs, complain),
5966            complain);
5967
5968         if (cond == error_mark_node)
5969           return cond;
5970         /* Make sure the code to compute the rhs comes out
5971            before the split.  */
5972         if (preeval)
5973           cond = build2 (COMPOUND_EXPR, TREE_TYPE (lhs), preeval, cond);
5974         return cond;
5975       }
5976
5977     default:
5978       break;
5979     }
5980
5981   if (modifycode == INIT_EXPR)
5982     {
5983       if (BRACE_ENCLOSED_INITIALIZER_P (rhs))
5984         /* Do the default thing.  */;
5985       else if (TREE_CODE (rhs) == CONSTRUCTOR)
5986         {
5987           /* Compound literal.  */
5988           if (! same_type_p (TREE_TYPE (rhs), lhstype))
5989             /* Call convert to generate an error; see PR 11063.  */
5990             rhs = convert (lhstype, rhs);
5991           result = build2 (INIT_EXPR, lhstype, lhs, rhs);
5992           TREE_SIDE_EFFECTS (result) = 1;
5993           return result;
5994         }
5995       else if (! MAYBE_CLASS_TYPE_P (lhstype))
5996         /* Do the default thing.  */;
5997       else
5998         {
5999           result = build_special_member_call (lhs, complete_ctor_identifier,
6000                                               build_tree_list (NULL_TREE, rhs),
6001                                               lhstype, LOOKUP_NORMAL,
6002                                               complain);
6003           if (result == NULL_TREE)
6004             return error_mark_node;
6005           return result;
6006         }
6007     }
6008   else
6009     {
6010       lhs = require_complete_type (lhs);
6011       if (lhs == error_mark_node)
6012         return error_mark_node;
6013
6014       if (modifycode == NOP_EXPR)
6015         {
6016           /* `operator=' is not an inheritable operator.  */
6017           if (! MAYBE_CLASS_TYPE_P (lhstype))
6018             /* Do the default thing.  */;
6019           else
6020             {
6021               result = build_new_op (MODIFY_EXPR, LOOKUP_NORMAL,
6022                                      lhs, rhs, make_node (NOP_EXPR),
6023                                      /*overloaded_p=*/NULL,
6024                                      complain);
6025               if (result == NULL_TREE)
6026                 return error_mark_node;
6027               return result;
6028             }
6029           lhstype = olhstype;
6030         }
6031       else
6032         {
6033           /* A binary op has been requested.  Combine the old LHS
6034              value with the RHS producing the value we should actually
6035              store into the LHS.  */
6036           gcc_assert (!((TREE_CODE (lhstype) == REFERENCE_TYPE
6037                          && MAYBE_CLASS_TYPE_P (TREE_TYPE (lhstype)))
6038                         || MAYBE_CLASS_TYPE_P (lhstype)));
6039
6040           lhs = stabilize_reference (lhs);
6041           newrhs = cp_build_binary_op (input_location,
6042                                        modifycode, lhs, rhs,
6043                                        complain);
6044           if (newrhs == error_mark_node)
6045             {
6046               if (complain & tf_error)
6047                 error ("  in evaluation of %<%Q(%#T, %#T)%>", modifycode,
6048                        TREE_TYPE (lhs), TREE_TYPE (rhs));
6049               return error_mark_node;
6050             }
6051
6052           /* Now it looks like a plain assignment.  */
6053           modifycode = NOP_EXPR;
6054         }
6055       gcc_assert (TREE_CODE (lhstype) != REFERENCE_TYPE);
6056       gcc_assert (TREE_CODE (TREE_TYPE (newrhs)) != REFERENCE_TYPE);
6057     }
6058
6059   /* The left-hand side must be an lvalue.  */
6060   if (!lvalue_or_else (lhs, lv_assign, complain))
6061     return error_mark_node;
6062
6063   /* Warn about modifying something that is `const'.  Don't warn if
6064      this is initialization.  */
6065   if (modifycode != INIT_EXPR
6066       && (TREE_READONLY (lhs) || CP_TYPE_CONST_P (lhstype)
6067           /* Functions are not modifiable, even though they are
6068              lvalues.  */
6069           || TREE_CODE (TREE_TYPE (lhs)) == FUNCTION_TYPE
6070           || TREE_CODE (TREE_TYPE (lhs)) == METHOD_TYPE
6071           /* If it's an aggregate and any field is const, then it is
6072              effectively const.  */
6073           || (CLASS_TYPE_P (lhstype)
6074               && C_TYPE_FIELDS_READONLY (lhstype))))
6075     {
6076       if (complain & tf_error)
6077         readonly_error (lhs, "assignment");
6078       else
6079         return error_mark_node;
6080     }
6081
6082   /* If storing into a structure or union member, it may have been given a
6083      lowered bitfield type.  We need to convert to the declared type first,
6084      so retrieve it now.  */
6085
6086   olhstype = unlowered_expr_type (lhs);
6087
6088   /* Convert new value to destination type.  */
6089
6090   if (TREE_CODE (lhstype) == ARRAY_TYPE)
6091     {
6092       int from_array;
6093
6094       if (BRACE_ENCLOSED_INITIALIZER_P (rhs))
6095         rhs = digest_init (lhstype, rhs);
6096
6097       else if (!same_or_base_type_p (TYPE_MAIN_VARIANT (lhstype),
6098                                      TYPE_MAIN_VARIANT (TREE_TYPE (rhs))))
6099         {
6100           if (complain & tf_error)
6101             error ("incompatible types in assignment of %qT to %qT",
6102                    TREE_TYPE (rhs), lhstype);
6103           return error_mark_node;
6104         }
6105
6106       /* Allow array assignment in compiler-generated code.  */
6107       else if (!current_function_decl
6108                || !DECL_ARTIFICIAL (current_function_decl))
6109         {
6110           /* This routine is used for both initialization and assignment.
6111              Make sure the diagnostic message differentiates the context.  */
6112           if (complain & tf_error)
6113             {
6114               if (modifycode == INIT_EXPR)
6115                 error ("array used as initializer");
6116               else
6117                 error ("invalid array assignment");
6118             }
6119           return error_mark_node;
6120         }
6121
6122       from_array = TREE_CODE (TREE_TYPE (newrhs)) == ARRAY_TYPE
6123                    ? 1 + (modifycode != INIT_EXPR): 0;
6124       return build_vec_init (lhs, NULL_TREE, newrhs,
6125                              /*explicit_value_init_p=*/false,
6126                              from_array, complain);
6127     }
6128
6129   if (modifycode == INIT_EXPR)
6130     newrhs = convert_for_initialization (lhs, olhstype, newrhs, LOOKUP_NORMAL,
6131                                          "initialization", NULL_TREE, 0,
6132                                          complain);
6133   else
6134     newrhs = convert_for_assignment (olhstype, newrhs, "assignment",
6135                                      NULL_TREE, 0, complain);
6136
6137   if (!same_type_p (lhstype, olhstype))
6138     newrhs = cp_convert_and_check (lhstype, newrhs);
6139
6140   if (modifycode != INIT_EXPR)
6141     {
6142       if (TREE_CODE (newrhs) == CALL_EXPR
6143           && TYPE_NEEDS_CONSTRUCTING (lhstype))
6144         newrhs = build_cplus_new (lhstype, newrhs);
6145
6146       /* Can't initialize directly from a TARGET_EXPR, since that would
6147          cause the lhs to be constructed twice, and possibly result in
6148          accidental self-initialization.  So we force the TARGET_EXPR to be
6149          expanded without a target.  */
6150       if (TREE_CODE (newrhs) == TARGET_EXPR)
6151         newrhs = build2 (COMPOUND_EXPR, TREE_TYPE (newrhs), newrhs,
6152                          TREE_OPERAND (newrhs, 0));
6153     }
6154
6155   if (newrhs == error_mark_node)
6156     return error_mark_node;
6157
6158   if (c_dialect_objc () && flag_objc_gc)
6159     {
6160       result = objc_generate_write_barrier (lhs, modifycode, newrhs);
6161
6162       if (result)
6163         return result;
6164     }
6165
6166   result = build2 (modifycode == NOP_EXPR ? MODIFY_EXPR : INIT_EXPR,
6167                    lhstype, lhs, newrhs);
6168
6169   TREE_SIDE_EFFECTS (result) = 1;
6170   if (!plain_assign)
6171     TREE_NO_WARNING (result) = 1;
6172
6173   return result;
6174 }
6175
6176 tree
6177 build_x_modify_expr (tree lhs, enum tree_code modifycode, tree rhs,
6178                      tsubst_flags_t complain)
6179 {
6180   if (processing_template_decl)
6181     return build_min_nt (MODOP_EXPR, lhs,
6182                          build_min_nt (modifycode, NULL_TREE, NULL_TREE), rhs);
6183
6184   if (modifycode != NOP_EXPR)
6185     {
6186       tree rval = build_new_op (MODIFY_EXPR, LOOKUP_NORMAL, lhs, rhs,
6187                                 make_node (modifycode),
6188                                 /*overloaded_p=*/NULL,
6189                                 complain);
6190       if (rval)
6191         {
6192           TREE_NO_WARNING (rval) = 1;
6193           return rval;
6194         }
6195     }
6196   return cp_build_modify_expr (lhs, modifycode, rhs, complain);
6197 }
6198
6199 /* Helper function for get_delta_difference which assumes FROM is a base
6200    class of TO.  Returns a delta for the conversion of pointer-to-member
6201    of FROM to pointer-to-member of TO.  If the conversion is invalid,
6202    returns zero.  If FROM is not a base class of TO, returns NULL_TREE.
6203    If C_CAST_P is true, this conversion is taking place as part of a C-style
6204    cast.  */
6205
6206 static tree
6207 get_delta_difference_1 (tree from, tree to, bool c_cast_p)
6208 {
6209   tree binfo;
6210   base_kind kind;
6211
6212   binfo = lookup_base (to, from, c_cast_p ? ba_unique : ba_check, &kind);
6213   if (kind == bk_inaccessible || kind == bk_ambig)
6214     {
6215       error ("   in pointer to member function conversion");
6216       return size_zero_node;
6217     }
6218   else if (binfo)
6219     {
6220       if (kind != bk_via_virtual)
6221         return BINFO_OFFSET (binfo);
6222       else
6223         /* FROM is a virtual base class of TO.  Issue an error or warning
6224            depending on whether or not this is a reinterpret cast.  */
6225         {
6226           error ("pointer to member conversion via virtual base %qT",
6227                  BINFO_TYPE (binfo_from_vbase (binfo)));
6228
6229           return size_zero_node;
6230         }
6231       }
6232     else
6233       return NULL_TREE;
6234 }
6235
6236 /* Get difference in deltas for different pointer to member function
6237    types.  Returns an integer constant of type PTRDIFF_TYPE_NODE.  If
6238    the conversion is invalid, the constant is zero.  If
6239    ALLOW_INVERSE_P is true, then allow reverse conversions as well.
6240    If C_CAST_P is true this conversion is taking place as part of a
6241    C-style cast.
6242
6243    Note that the naming of FROM and TO is kind of backwards; the return
6244    value is what we add to a TO in order to get a FROM.  They are named
6245    this way because we call this function to find out how to convert from
6246    a pointer to member of FROM to a pointer to member of TO.  */
6247
6248 static tree
6249 get_delta_difference (tree from, tree to,
6250                       bool allow_inverse_p,
6251                       bool c_cast_p)
6252 {
6253   tree result;
6254
6255   if (same_type_ignoring_top_level_qualifiers_p (from, to))
6256     /* Pointer to member of incomplete class is permitted*/
6257     result = size_zero_node;
6258   else
6259     result = get_delta_difference_1 (from, to, c_cast_p);
6260
6261   if (!result)
6262   {
6263     if (!allow_inverse_p)
6264       {
6265         error_not_base_type (from, to);
6266         error ("   in pointer to member conversion");
6267         result = size_zero_node;
6268       }
6269     else
6270       {
6271         result = get_delta_difference_1 (to, from, c_cast_p);
6272
6273         if (result)
6274           result = size_diffop (size_zero_node, result);
6275         else
6276           {
6277             error_not_base_type (from, to);
6278             error ("   in pointer to member conversion");
6279             result = size_zero_node;
6280           }
6281       }
6282   }
6283
6284   return fold_if_not_in_template (convert_to_integer (ptrdiff_type_node,
6285                                                       result));
6286 }
6287
6288 /* Return a constructor for the pointer-to-member-function TYPE using
6289    the other components as specified.  */
6290
6291 tree
6292 build_ptrmemfunc1 (tree type, tree delta, tree pfn)
6293 {
6294   tree u = NULL_TREE;
6295   tree delta_field;
6296   tree pfn_field;
6297   VEC(constructor_elt, gc) *v;
6298
6299   /* Pull the FIELD_DECLs out of the type.  */
6300   pfn_field = TYPE_FIELDS (type);
6301   delta_field = TREE_CHAIN (pfn_field);
6302
6303   /* Make sure DELTA has the type we want.  */
6304   delta = convert_and_check (delta_type_node, delta);
6305
6306   /* Convert to the correct target type if necessary.  */
6307   pfn = fold_convert (TREE_TYPE (pfn_field), pfn);
6308
6309   /* Finish creating the initializer.  */
6310   v = VEC_alloc(constructor_elt, gc, 2);
6311   CONSTRUCTOR_APPEND_ELT(v, pfn_field, pfn);
6312   CONSTRUCTOR_APPEND_ELT(v, delta_field, delta);
6313   u = build_constructor (type, v);
6314   TREE_CONSTANT (u) = TREE_CONSTANT (pfn) & TREE_CONSTANT (delta);
6315   TREE_STATIC (u) = (TREE_CONSTANT (u)
6316                      && (initializer_constant_valid_p (pfn, TREE_TYPE (pfn))
6317                          != NULL_TREE)
6318                      && (initializer_constant_valid_p (delta, TREE_TYPE (delta))
6319                          != NULL_TREE));
6320   return u;
6321 }
6322
6323 /* Build a constructor for a pointer to member function.  It can be
6324    used to initialize global variables, local variable, or used
6325    as a value in expressions.  TYPE is the POINTER to METHOD_TYPE we
6326    want to be.
6327
6328    If FORCE is nonzero, then force this conversion, even if
6329    we would rather not do it.  Usually set when using an explicit
6330    cast.  A C-style cast is being processed iff C_CAST_P is true.
6331
6332    Return error_mark_node, if something goes wrong.  */
6333
6334 tree
6335 build_ptrmemfunc (tree type, tree pfn, int force, bool c_cast_p)
6336 {
6337   tree fn;
6338   tree pfn_type;
6339   tree to_type;
6340
6341   if (error_operand_p (pfn))
6342     return error_mark_node;
6343
6344   pfn_type = TREE_TYPE (pfn);
6345   to_type = build_ptrmemfunc_type (type);
6346
6347   /* Handle multiple conversions of pointer to member functions.  */
6348   if (TYPE_PTRMEMFUNC_P (pfn_type))
6349     {
6350       tree delta = NULL_TREE;
6351       tree npfn = NULL_TREE;
6352       tree n;
6353
6354       if (!force
6355           && !can_convert_arg (to_type, TREE_TYPE (pfn), pfn, LOOKUP_NORMAL))
6356         error ("invalid conversion to type %qT from type %qT",
6357                to_type, pfn_type);
6358
6359       n = get_delta_difference (TYPE_PTRMEMFUNC_OBJECT_TYPE (pfn_type),
6360                                 TYPE_PTRMEMFUNC_OBJECT_TYPE (to_type),
6361                                 force,
6362                                 c_cast_p);
6363
6364       /* We don't have to do any conversion to convert a
6365          pointer-to-member to its own type.  But, we don't want to
6366          just return a PTRMEM_CST if there's an explicit cast; that
6367          cast should make the expression an invalid template argument.  */
6368       if (TREE_CODE (pfn) != PTRMEM_CST)
6369         {
6370           if (same_type_p (to_type, pfn_type))
6371             return pfn;
6372           else if (integer_zerop (n))
6373             return build_reinterpret_cast (to_type, pfn,
6374                                            tf_warning_or_error);
6375         }
6376
6377       if (TREE_SIDE_EFFECTS (pfn))
6378         pfn = save_expr (pfn);
6379
6380       /* Obtain the function pointer and the current DELTA.  */
6381       if (TREE_CODE (pfn) == PTRMEM_CST)
6382         expand_ptrmemfunc_cst (pfn, &delta, &npfn);
6383       else
6384         {
6385           npfn = build_ptrmemfunc_access_expr (pfn, pfn_identifier);
6386           delta = build_ptrmemfunc_access_expr (pfn, delta_identifier);
6387         }
6388
6389       /* Just adjust the DELTA field.  */
6390       gcc_assert  (same_type_ignoring_top_level_qualifiers_p
6391                    (TREE_TYPE (delta), ptrdiff_type_node));
6392       if (TARGET_PTRMEMFUNC_VBIT_LOCATION == ptrmemfunc_vbit_in_delta)
6393         n = cp_build_binary_op (input_location,
6394                                 LSHIFT_EXPR, n, integer_one_node,
6395                                 tf_warning_or_error);
6396       delta = cp_build_binary_op (input_location,
6397                                   PLUS_EXPR, delta, n, tf_warning_or_error);
6398       return build_ptrmemfunc1 (to_type, delta, npfn);
6399     }
6400
6401   /* Handle null pointer to member function conversions.  */
6402   if (integer_zerop (pfn))
6403     {
6404       pfn = build_c_cast (type, integer_zero_node);
6405       return build_ptrmemfunc1 (to_type,
6406                                 integer_zero_node,
6407                                 pfn);
6408     }
6409
6410   if (type_unknown_p (pfn))
6411     return instantiate_type (type, pfn, tf_warning_or_error);
6412
6413   fn = TREE_OPERAND (pfn, 0);
6414   gcc_assert (TREE_CODE (fn) == FUNCTION_DECL
6415               /* In a template, we will have preserved the
6416                  OFFSET_REF.  */
6417               || (processing_template_decl && TREE_CODE (fn) == OFFSET_REF));
6418   return make_ptrmem_cst (to_type, fn);
6419 }
6420
6421 /* Return the DELTA, IDX, PFN, and DELTA2 values for the PTRMEM_CST
6422    given by CST.
6423
6424    ??? There is no consistency as to the types returned for the above
6425    values.  Some code acts as if it were a sizetype and some as if it were
6426    integer_type_node.  */
6427
6428 void
6429 expand_ptrmemfunc_cst (tree cst, tree *delta, tree *pfn)
6430 {
6431   tree type = TREE_TYPE (cst);
6432   tree fn = PTRMEM_CST_MEMBER (cst);
6433   tree ptr_class, fn_class;
6434
6435   gcc_assert (TREE_CODE (fn) == FUNCTION_DECL);
6436
6437   /* The class that the function belongs to.  */
6438   fn_class = DECL_CONTEXT (fn);
6439
6440   /* The class that we're creating a pointer to member of.  */
6441   ptr_class = TYPE_PTRMEMFUNC_OBJECT_TYPE (type);
6442
6443   /* First, calculate the adjustment to the function's class.  */
6444   *delta = get_delta_difference (fn_class, ptr_class, /*force=*/0,
6445                                  /*c_cast_p=*/0);
6446
6447   if (!DECL_VIRTUAL_P (fn))
6448     *pfn = convert (TYPE_PTRMEMFUNC_FN_TYPE (type), build_addr_func (fn));
6449   else
6450     {
6451       /* If we're dealing with a virtual function, we have to adjust 'this'
6452          again, to point to the base which provides the vtable entry for
6453          fn; the call will do the opposite adjustment.  */
6454       tree orig_class = DECL_CONTEXT (fn);
6455       tree binfo = binfo_or_else (orig_class, fn_class);
6456       *delta = build2 (PLUS_EXPR, TREE_TYPE (*delta),
6457                        *delta, BINFO_OFFSET (binfo));
6458       *delta = fold_if_not_in_template (*delta);
6459
6460       /* We set PFN to the vtable offset at which the function can be
6461          found, plus one (unless ptrmemfunc_vbit_in_delta, in which
6462          case delta is shifted left, and then incremented).  */
6463       *pfn = DECL_VINDEX (fn);
6464       *pfn = build2 (MULT_EXPR, integer_type_node, *pfn,
6465                      TYPE_SIZE_UNIT (vtable_entry_type));
6466       *pfn = fold_if_not_in_template (*pfn);
6467
6468       switch (TARGET_PTRMEMFUNC_VBIT_LOCATION)
6469         {
6470         case ptrmemfunc_vbit_in_pfn:
6471           *pfn = build2 (PLUS_EXPR, integer_type_node, *pfn,
6472                          integer_one_node);
6473           *pfn = fold_if_not_in_template (*pfn);
6474           break;
6475
6476         case ptrmemfunc_vbit_in_delta:
6477           *delta = build2 (LSHIFT_EXPR, TREE_TYPE (*delta),
6478                            *delta, integer_one_node);
6479           *delta = fold_if_not_in_template (*delta);
6480           *delta = build2 (PLUS_EXPR, TREE_TYPE (*delta),
6481                            *delta, integer_one_node);
6482           *delta = fold_if_not_in_template (*delta);
6483           break;
6484
6485         default:
6486           gcc_unreachable ();
6487         }
6488
6489       *pfn = build_nop (TYPE_PTRMEMFUNC_FN_TYPE (type), *pfn);
6490       *pfn = fold_if_not_in_template (*pfn);
6491     }
6492 }
6493
6494 /* Return an expression for PFN from the pointer-to-member function
6495    given by T.  */
6496
6497 static tree
6498 pfn_from_ptrmemfunc (tree t)
6499 {
6500   if (TREE_CODE (t) == PTRMEM_CST)
6501     {
6502       tree delta;
6503       tree pfn;
6504
6505       expand_ptrmemfunc_cst (t, &delta, &pfn);
6506       if (pfn)
6507         return pfn;
6508     }
6509
6510   return build_ptrmemfunc_access_expr (t, pfn_identifier);
6511 }
6512
6513 /* Return an expression for DELTA from the pointer-to-member function
6514    given by T.  */
6515
6516 static tree
6517 delta_from_ptrmemfunc (tree t)
6518 {
6519   if (TREE_CODE (t) == PTRMEM_CST)
6520     {
6521       tree delta;
6522       tree pfn;
6523
6524       expand_ptrmemfunc_cst (t, &delta, &pfn);
6525       if (delta)
6526         return delta;
6527     }
6528
6529   return build_ptrmemfunc_access_expr (t, delta_identifier);
6530 }
6531
6532 /* Convert value RHS to type TYPE as preparation for an assignment to
6533    an lvalue of type TYPE.  ERRTYPE is a string to use in error
6534    messages: "assignment", "return", etc.  If FNDECL is non-NULL, we
6535    are doing the conversion in order to pass the PARMNUMth argument of
6536    FNDECL.  */
6537
6538 static tree
6539 convert_for_assignment (tree type, tree rhs,
6540                         const char *errtype, tree fndecl, int parmnum,
6541                         tsubst_flags_t complain)
6542 {
6543   tree rhstype;
6544   enum tree_code coder;
6545
6546   /* Strip NON_LVALUE_EXPRs since we aren't using as an lvalue.  */
6547   if (TREE_CODE (rhs) == NON_LVALUE_EXPR)
6548     rhs = TREE_OPERAND (rhs, 0);
6549
6550   rhstype = TREE_TYPE (rhs);
6551   coder = TREE_CODE (rhstype);
6552
6553   if (TREE_CODE (type) == VECTOR_TYPE && coder == VECTOR_TYPE
6554       && vector_types_convertible_p (type, rhstype, true))
6555     return convert (type, rhs);
6556
6557   if (rhs == error_mark_node || rhstype == error_mark_node)
6558     return error_mark_node;
6559   if (TREE_CODE (rhs) == TREE_LIST && TREE_VALUE (rhs) == error_mark_node)
6560     return error_mark_node;
6561
6562   /* The RHS of an assignment cannot have void type.  */
6563   if (coder == VOID_TYPE)
6564     {
6565       if (complain & tf_error)
6566         error ("void value not ignored as it ought to be");
6567       return error_mark_node;
6568     }
6569
6570   /* Simplify the RHS if possible.  */
6571   if (TREE_CODE (rhs) == CONST_DECL)
6572     rhs = DECL_INITIAL (rhs);
6573
6574   if (c_dialect_objc ())
6575     {
6576       int parmno;
6577       tree rname = fndecl;
6578
6579       if (!strcmp (errtype, "assignment"))
6580         parmno = -1;
6581       else if (!strcmp (errtype, "initialization"))
6582         parmno = -2;
6583       else
6584         {
6585           tree selector = objc_message_selector ();
6586
6587           parmno = parmnum;
6588
6589           if (selector && parmno > 1)
6590             {
6591               rname = selector;
6592               parmno -= 1;
6593             }
6594         }
6595
6596       if (objc_compare_types (type, rhstype, parmno, rname))
6597         return convert (type, rhs);
6598     }
6599
6600   /* [expr.ass]
6601
6602      The expression is implicitly converted (clause _conv_) to the
6603      cv-unqualified type of the left operand.
6604
6605      We allow bad conversions here because by the time we get to this point
6606      we are committed to doing the conversion.  If we end up doing a bad
6607      conversion, convert_like will complain.  */
6608   if (!can_convert_arg_bad (type, rhstype, rhs))
6609     {
6610       /* When -Wno-pmf-conversions is use, we just silently allow
6611          conversions from pointers-to-members to plain pointers.  If
6612          the conversion doesn't work, cp_convert will complain.  */
6613       if (!warn_pmf2ptr
6614           && TYPE_PTR_P (type)
6615           && TYPE_PTRMEMFUNC_P (rhstype))
6616         rhs = cp_convert (strip_top_quals (type), rhs);
6617       else
6618         {
6619           if (complain & tf_error)
6620             {
6621               /* If the right-hand side has unknown type, then it is an
6622                  overloaded function.  Call instantiate_type to get error
6623                  messages.  */
6624               if (rhstype == unknown_type_node)
6625                 instantiate_type (type, rhs, tf_warning_or_error);
6626               else if (fndecl)
6627                 error ("cannot convert %qT to %qT for argument %qP to %qD",
6628                        rhstype, type, parmnum, fndecl);
6629               else
6630                 error ("cannot convert %qT to %qT in %s", rhstype, type,
6631                        errtype);
6632             }
6633           return error_mark_node;
6634         }
6635     }
6636   if (warn_missing_format_attribute)
6637     {
6638       const enum tree_code codel = TREE_CODE (type);
6639       if ((codel == POINTER_TYPE || codel == REFERENCE_TYPE)
6640           && coder == codel
6641           && check_missing_format_attribute (type, rhstype)
6642           && (complain & tf_warning))
6643         warning (OPT_Wmissing_format_attribute,
6644                  "%s might be a candidate for a format attribute",
6645                  errtype);
6646     }
6647
6648   /* If -Wparentheses, warn about a = b = c when a has type bool and b
6649      does not.  */
6650   if (warn_parentheses
6651       && type == boolean_type_node
6652       && TREE_CODE (rhs) == MODIFY_EXPR
6653       && !TREE_NO_WARNING (rhs)
6654       && TREE_TYPE (rhs) != boolean_type_node
6655       && (complain & tf_warning))
6656     {
6657       warning (OPT_Wparentheses,
6658                "suggest parentheses around assignment used as truth value");
6659       TREE_NO_WARNING (rhs) = 1;
6660     }
6661
6662   return perform_implicit_conversion (strip_top_quals (type), rhs, complain);
6663 }
6664
6665 /* Convert RHS to be of type TYPE.
6666    If EXP is nonzero, it is the target of the initialization.
6667    ERRTYPE is a string to use in error messages.
6668
6669    Two major differences between the behavior of
6670    `convert_for_assignment' and `convert_for_initialization'
6671    are that references are bashed in the former, while
6672    copied in the latter, and aggregates are assigned in
6673    the former (operator=) while initialized in the
6674    latter (X(X&)).
6675
6676    If using constructor make sure no conversion operator exists, if one does
6677    exist, an ambiguity exists.
6678
6679    If flags doesn't include LOOKUP_COMPLAIN, don't complain about anything.  */
6680
6681 tree
6682 convert_for_initialization (tree exp, tree type, tree rhs, int flags,
6683                             const char *errtype, tree fndecl, int parmnum,
6684                             tsubst_flags_t complain)
6685 {
6686   enum tree_code codel = TREE_CODE (type);
6687   tree rhstype;
6688   enum tree_code coder;
6689
6690   /* build_c_cast puts on a NOP_EXPR to make the result not an lvalue.
6691      Strip such NOP_EXPRs, since RHS is used in non-lvalue context.  */
6692   if (TREE_CODE (rhs) == NOP_EXPR
6693       && TREE_TYPE (rhs) == TREE_TYPE (TREE_OPERAND (rhs, 0))
6694       && codel != REFERENCE_TYPE)
6695     rhs = TREE_OPERAND (rhs, 0);
6696
6697   if (type == error_mark_node
6698       || rhs == error_mark_node
6699       || (TREE_CODE (rhs) == TREE_LIST && TREE_VALUE (rhs) == error_mark_node))
6700     return error_mark_node;
6701
6702   if ((TREE_CODE (TREE_TYPE (rhs)) == ARRAY_TYPE
6703        && TREE_CODE (type) != ARRAY_TYPE
6704        && (TREE_CODE (type) != REFERENCE_TYPE
6705            || TREE_CODE (TREE_TYPE (type)) != ARRAY_TYPE))
6706       || (TREE_CODE (TREE_TYPE (rhs)) == FUNCTION_TYPE
6707           && (TREE_CODE (type) != REFERENCE_TYPE
6708               || TREE_CODE (TREE_TYPE (type)) != FUNCTION_TYPE))
6709       || TREE_CODE (TREE_TYPE (rhs)) == METHOD_TYPE)
6710     rhs = decay_conversion (rhs);
6711
6712   rhstype = TREE_TYPE (rhs);
6713   coder = TREE_CODE (rhstype);
6714
6715   if (coder == ERROR_MARK)
6716     return error_mark_node;
6717
6718   /* We accept references to incomplete types, so we can
6719      return here before checking if RHS is of complete type.  */
6720
6721   if (codel == REFERENCE_TYPE)
6722     {
6723       /* This should eventually happen in convert_arguments.  */
6724       int savew = 0, savee = 0;
6725
6726       if (fndecl)
6727         savew = warningcount, savee = errorcount;
6728       rhs = initialize_reference (type, rhs, /*decl=*/NULL_TREE,
6729                                   /*cleanup=*/NULL);
6730       if (fndecl)
6731         {
6732           if (warningcount > savew)
6733             warning (0, "in passing argument %P of %q+D", parmnum, fndecl);
6734           else if (errorcount > savee)
6735             error ("in passing argument %P of %q+D", parmnum, fndecl);
6736         }
6737       return rhs;
6738     }
6739
6740   if (exp != 0)
6741     exp = require_complete_type (exp);
6742   if (exp == error_mark_node)
6743     return error_mark_node;
6744
6745   rhstype = non_reference (rhstype);
6746
6747   type = complete_type (type);
6748
6749   if (MAYBE_CLASS_TYPE_P (type))
6750     return ocp_convert (type, rhs, CONV_IMPLICIT|CONV_FORCE_TEMP, flags);
6751
6752   return convert_for_assignment (type, rhs, errtype, fndecl, parmnum,
6753                                  complain);
6754 }
6755 \f
6756 /* If RETVAL is the address of, or a reference to, a local variable or
6757    temporary give an appropriate warning.  */
6758
6759 static void
6760 maybe_warn_about_returning_address_of_local (tree retval)
6761 {
6762   tree valtype = TREE_TYPE (DECL_RESULT (current_function_decl));
6763   tree whats_returned = retval;
6764
6765   for (;;)
6766     {
6767       if (TREE_CODE (whats_returned) == COMPOUND_EXPR)
6768         whats_returned = TREE_OPERAND (whats_returned, 1);
6769       else if (CONVERT_EXPR_P (whats_returned)
6770                || TREE_CODE (whats_returned) == NON_LVALUE_EXPR)
6771         whats_returned = TREE_OPERAND (whats_returned, 0);
6772       else
6773         break;
6774     }
6775
6776   if (TREE_CODE (whats_returned) != ADDR_EXPR)
6777     return;
6778   whats_returned = TREE_OPERAND (whats_returned, 0);
6779
6780   if (TREE_CODE (valtype) == REFERENCE_TYPE)
6781     {
6782       if (TREE_CODE (whats_returned) == AGGR_INIT_EXPR
6783           || TREE_CODE (whats_returned) == TARGET_EXPR)
6784         {
6785           warning (0, "returning reference to temporary");
6786           return;
6787         }
6788       if (TREE_CODE (whats_returned) == VAR_DECL
6789           && DECL_NAME (whats_returned)
6790           && TEMP_NAME_P (DECL_NAME (whats_returned)))
6791         {
6792           warning (0, "reference to non-lvalue returned");
6793           return;
6794         }
6795     }
6796
6797   while (TREE_CODE (whats_returned) == COMPONENT_REF
6798          || TREE_CODE (whats_returned) == ARRAY_REF)
6799     whats_returned = TREE_OPERAND (whats_returned, 0);
6800
6801   if (DECL_P (whats_returned)
6802       && DECL_NAME (whats_returned)
6803       && DECL_FUNCTION_SCOPE_P (whats_returned)
6804       && !(TREE_STATIC (whats_returned)
6805            || TREE_PUBLIC (whats_returned)))
6806     {
6807       if (TREE_CODE (valtype) == REFERENCE_TYPE)
6808         warning (0, "reference to local variable %q+D returned",
6809                  whats_returned);
6810       else
6811         warning (0, "address of local variable %q+D returned",
6812                  whats_returned);
6813       return;
6814     }
6815 }
6816
6817 /* Check that returning RETVAL from the current function is valid.
6818    Return an expression explicitly showing all conversions required to
6819    change RETVAL into the function return type, and to assign it to
6820    the DECL_RESULT for the function.  Set *NO_WARNING to true if
6821    code reaches end of non-void function warning shouldn't be issued
6822    on this RETURN_EXPR.  */
6823
6824 tree
6825 check_return_expr (tree retval, bool *no_warning)
6826 {
6827   tree result;
6828   /* The type actually returned by the function, after any
6829      promotions.  */
6830   tree valtype;
6831   int fn_returns_value_p;
6832   bool named_return_value_okay_p;
6833
6834   *no_warning = false;
6835
6836   /* A `volatile' function is one that isn't supposed to return, ever.
6837      (This is a G++ extension, used to get better code for functions
6838      that call the `volatile' function.)  */
6839   if (TREE_THIS_VOLATILE (current_function_decl))
6840     warning (0, "function declared %<noreturn%> has a %<return%> statement");
6841
6842   /* Check for various simple errors.  */
6843   if (DECL_DESTRUCTOR_P (current_function_decl))
6844     {
6845       if (retval)
6846         error ("returning a value from a destructor");
6847       return NULL_TREE;
6848     }
6849   else if (DECL_CONSTRUCTOR_P (current_function_decl))
6850     {
6851       if (in_function_try_handler)
6852         /* If a return statement appears in a handler of the
6853            function-try-block of a constructor, the program is ill-formed.  */
6854         error ("cannot return from a handler of a function-try-block of a constructor");
6855       else if (retval)
6856         /* You can't return a value from a constructor.  */
6857         error ("returning a value from a constructor");
6858       return NULL_TREE;
6859     }
6860
6861   if (processing_template_decl)
6862     {
6863       current_function_returns_value = 1;
6864       if (check_for_bare_parameter_packs (retval))
6865         retval = error_mark_node;
6866       return retval;
6867     }
6868
6869   /* When no explicit return-value is given in a function with a named
6870      return value, the named return value is used.  */
6871   result = DECL_RESULT (current_function_decl);
6872   valtype = TREE_TYPE (result);
6873   gcc_assert (valtype != NULL_TREE);
6874   fn_returns_value_p = !VOID_TYPE_P (valtype);
6875   if (!retval && DECL_NAME (result) && fn_returns_value_p)
6876     retval = result;
6877
6878   /* Check for a return statement with no return value in a function
6879      that's supposed to return a value.  */
6880   if (!retval && fn_returns_value_p)
6881     {
6882       permerror (input_location, "return-statement with no value, in function returning %qT",
6883                  valtype);
6884       /* Clear this, so finish_function won't say that we reach the
6885          end of a non-void function (which we don't, we gave a
6886          return!).  */
6887       current_function_returns_null = 0;
6888       /* And signal caller that TREE_NO_WARNING should be set on the
6889          RETURN_EXPR to avoid control reaches end of non-void function
6890          warnings in tree-cfg.c.  */
6891       *no_warning = true;
6892     }
6893   /* Check for a return statement with a value in a function that
6894      isn't supposed to return a value.  */
6895   else if (retval && !fn_returns_value_p)
6896     {
6897       if (VOID_TYPE_P (TREE_TYPE (retval)))
6898         /* You can return a `void' value from a function of `void'
6899            type.  In that case, we have to evaluate the expression for
6900            its side-effects.  */
6901           finish_expr_stmt (retval);
6902       else
6903         permerror (input_location, "return-statement with a value, in function "
6904                    "returning 'void'");
6905       current_function_returns_null = 1;
6906
6907       /* There's really no value to return, after all.  */
6908       return NULL_TREE;
6909     }
6910   else if (!retval)
6911     /* Remember that this function can sometimes return without a
6912        value.  */
6913     current_function_returns_null = 1;
6914   else
6915     /* Remember that this function did return a value.  */
6916     current_function_returns_value = 1;
6917
6918   /* Check for erroneous operands -- but after giving ourselves a
6919      chance to provide an error about returning a value from a void
6920      function.  */
6921   if (error_operand_p (retval))
6922     {
6923       current_function_return_value = error_mark_node;
6924       return error_mark_node;
6925     }
6926
6927   /* Only operator new(...) throw(), can return NULL [expr.new/13].  */
6928   if ((DECL_OVERLOADED_OPERATOR_P (current_function_decl) == NEW_EXPR
6929        || DECL_OVERLOADED_OPERATOR_P (current_function_decl) == VEC_NEW_EXPR)
6930       && !TYPE_NOTHROW_P (TREE_TYPE (current_function_decl))
6931       && ! flag_check_new
6932       && retval && null_ptr_cst_p (retval))
6933     warning (0, "%<operator new%> must not return NULL unless it is "
6934              "declared %<throw()%> (or -fcheck-new is in effect)");
6935
6936   /* Effective C++ rule 15.  See also start_function.  */
6937   if (warn_ecpp
6938       && DECL_NAME (current_function_decl) == ansi_assopname(NOP_EXPR))
6939     {
6940       bool warn = true;
6941
6942       /* The function return type must be a reference to the current
6943         class.  */
6944       if (TREE_CODE (valtype) == REFERENCE_TYPE
6945           && same_type_ignoring_top_level_qualifiers_p
6946               (TREE_TYPE (valtype), TREE_TYPE (current_class_ref)))
6947         {
6948           /* Returning '*this' is obviously OK.  */
6949           if (retval == current_class_ref)
6950             warn = false;
6951           /* If we are calling a function whose return type is the same of
6952              the current class reference, it is ok.  */
6953           else if (TREE_CODE (retval) == INDIRECT_REF
6954                    && TREE_CODE (TREE_OPERAND (retval, 0)) == CALL_EXPR)
6955             warn = false;
6956         }
6957
6958       if (warn)
6959         warning (OPT_Weffc__, "%<operator=%> should return a reference to %<*this%>");
6960     }
6961
6962   /* The fabled Named Return Value optimization, as per [class.copy]/15:
6963
6964      [...]      For  a function with a class return type, if the expression
6965      in the return statement is the name of a local  object,  and  the  cv-
6966      unqualified  type  of  the  local  object  is the same as the function
6967      return type, an implementation is permitted to omit creating the  tem-
6968      porary  object  to  hold  the function return value [...]
6969
6970      So, if this is a value-returning function that always returns the same
6971      local variable, remember it.
6972
6973      It might be nice to be more flexible, and choose the first suitable
6974      variable even if the function sometimes returns something else, but
6975      then we run the risk of clobbering the variable we chose if the other
6976      returned expression uses the chosen variable somehow.  And people expect
6977      this restriction, anyway.  (jason 2000-11-19)
6978
6979      See finish_function and finalize_nrv for the rest of this optimization.  */
6980
6981   named_return_value_okay_p =
6982     (retval != NULL_TREE
6983      /* Must be a local, automatic variable.  */
6984      && TREE_CODE (retval) == VAR_DECL
6985      && DECL_CONTEXT (retval) == current_function_decl
6986      && ! TREE_STATIC (retval)
6987      && ! DECL_ANON_UNION_VAR_P (retval)
6988      && (DECL_ALIGN (retval)
6989          >= DECL_ALIGN (DECL_RESULT (current_function_decl)))
6990      /* The cv-unqualified type of the returned value must be the
6991         same as the cv-unqualified return type of the
6992         function.  */
6993      && same_type_p ((TYPE_MAIN_VARIANT (TREE_TYPE (retval))),
6994                      (TYPE_MAIN_VARIANT
6995                       (TREE_TYPE (TREE_TYPE (current_function_decl)))))
6996      /* And the returned value must be non-volatile.  */
6997      && ! TYPE_VOLATILE (TREE_TYPE (retval)));
6998
6999   if (fn_returns_value_p && flag_elide_constructors)
7000     {
7001       if (named_return_value_okay_p
7002           && (current_function_return_value == NULL_TREE
7003               || current_function_return_value == retval))
7004         current_function_return_value = retval;
7005       else
7006         current_function_return_value = error_mark_node;
7007     }
7008
7009   /* We don't need to do any conversions when there's nothing being
7010      returned.  */
7011   if (!retval)
7012     return NULL_TREE;
7013
7014   /* Do any required conversions.  */
7015   if (retval == result || DECL_CONSTRUCTOR_P (current_function_decl))
7016     /* No conversions are required.  */
7017     ;
7018   else
7019     {
7020       /* The type the function is declared to return.  */
7021       tree functype = TREE_TYPE (TREE_TYPE (current_function_decl));
7022       int flags = LOOKUP_NORMAL | LOOKUP_ONLYCONVERTING;
7023
7024       /* The functype's return type will have been set to void, if it
7025          was an incomplete type.  Just treat this as 'return;' */
7026       if (VOID_TYPE_P (functype))
7027         return error_mark_node;
7028
7029       /* Under C++0x [12.8/16 class.copy], a returned lvalue is sometimes
7030          treated as an rvalue for the purposes of overload resolution to
7031          favor move constructors over copy constructors.  */
7032       if ((cxx_dialect != cxx98)
7033           && named_return_value_okay_p
7034           /* The variable must not have the `volatile' qualifier.  */
7035           && !(cp_type_quals (TREE_TYPE (retval)) & TYPE_QUAL_VOLATILE)
7036           /* The return type must be a class type.  */
7037           && CLASS_TYPE_P (TREE_TYPE (TREE_TYPE (current_function_decl))))
7038         flags = flags | LOOKUP_PREFER_RVALUE;
7039
7040       /* First convert the value to the function's return type, then
7041          to the type of return value's location to handle the
7042          case that functype is smaller than the valtype.  */
7043       retval = convert_for_initialization
7044         (NULL_TREE, functype, retval, flags, "return", NULL_TREE, 0,
7045          tf_warning_or_error);
7046       retval = convert (valtype, retval);
7047
7048       /* If the conversion failed, treat this just like `return;'.  */
7049       if (retval == error_mark_node)
7050         return retval;
7051       /* We can't initialize a register from a AGGR_INIT_EXPR.  */
7052       else if (! cfun->returns_struct
7053                && TREE_CODE (retval) == TARGET_EXPR
7054                && TREE_CODE (TREE_OPERAND (retval, 1)) == AGGR_INIT_EXPR)
7055         retval = build2 (COMPOUND_EXPR, TREE_TYPE (retval), retval,
7056                          TREE_OPERAND (retval, 0));
7057       else
7058         maybe_warn_about_returning_address_of_local (retval);
7059     }
7060
7061   /* Actually copy the value returned into the appropriate location.  */
7062   if (retval && retval != result)
7063     retval = build2 (INIT_EXPR, TREE_TYPE (result), result, retval);
7064
7065   return retval;
7066 }
7067
7068 \f
7069 /* Returns nonzero if the pointer-type FROM can be converted to the
7070    pointer-type TO via a qualification conversion.  If CONSTP is -1,
7071    then we return nonzero if the pointers are similar, and the
7072    cv-qualification signature of FROM is a proper subset of that of TO.
7073
7074    If CONSTP is positive, then all outer pointers have been
7075    const-qualified.  */
7076
7077 static int
7078 comp_ptr_ttypes_real (tree to, tree from, int constp)
7079 {
7080   bool to_more_cv_qualified = false;
7081   bool is_opaque_pointer = false;
7082
7083   for (; ; to = TREE_TYPE (to), from = TREE_TYPE (from))
7084     {
7085       if (TREE_CODE (to) != TREE_CODE (from))
7086         return 0;
7087
7088       if (TREE_CODE (from) == OFFSET_TYPE
7089           && !same_type_p (TYPE_OFFSET_BASETYPE (from),
7090                            TYPE_OFFSET_BASETYPE (to)))
7091         return 0;
7092
7093       /* Const and volatile mean something different for function types,
7094          so the usual checks are not appropriate.  */
7095       if (TREE_CODE (to) != FUNCTION_TYPE && TREE_CODE (to) != METHOD_TYPE)
7096         {
7097           /* In Objective-C++, some types may have been 'volatilized' by
7098              the compiler for EH; when comparing them here, the volatile
7099              qualification must be ignored.  */
7100           bool objc_quals_match = objc_type_quals_match (to, from);
7101
7102           if (!at_least_as_qualified_p (to, from) && !objc_quals_match)
7103             return 0;
7104
7105           if (!at_least_as_qualified_p (from, to) && !objc_quals_match)
7106             {
7107               if (constp == 0)
7108                 return 0;
7109               to_more_cv_qualified = true;
7110             }
7111
7112           if (constp > 0)
7113             constp &= TYPE_READONLY (to);
7114         }
7115
7116       if (TREE_CODE (to) == VECTOR_TYPE)
7117         is_opaque_pointer = vector_targets_convertible_p (to, from);
7118
7119       if (TREE_CODE (to) != POINTER_TYPE && !TYPE_PTRMEM_P (to))
7120         return ((constp >= 0 || to_more_cv_qualified)
7121                 && (is_opaque_pointer
7122                     || same_type_ignoring_top_level_qualifiers_p (to, from)));
7123     }
7124 }
7125
7126 /* When comparing, say, char ** to char const **, this function takes
7127    the 'char *' and 'char const *'.  Do not pass non-pointer/reference
7128    types to this function.  */
7129
7130 int
7131 comp_ptr_ttypes (tree to, tree from)
7132 {
7133   return comp_ptr_ttypes_real (to, from, 1);
7134 }
7135
7136 /* Returns 1 if to and from are (possibly multi-level) pointers to the same
7137    type or inheritance-related types, regardless of cv-quals.  */
7138
7139 int
7140 ptr_reasonably_similar (const_tree to, const_tree from)
7141 {
7142   for (; ; to = TREE_TYPE (to), from = TREE_TYPE (from))
7143     {
7144       /* Any target type is similar enough to void.  */
7145       if (TREE_CODE (to) == VOID_TYPE
7146           || TREE_CODE (from) == VOID_TYPE)
7147         return 1;
7148
7149       if (TREE_CODE (to) != TREE_CODE (from))
7150         return 0;
7151
7152       if (TREE_CODE (from) == OFFSET_TYPE
7153           && comptypes (TYPE_OFFSET_BASETYPE (to),
7154                         TYPE_OFFSET_BASETYPE (from),
7155                         COMPARE_BASE | COMPARE_DERIVED))
7156         continue;
7157
7158       if (TREE_CODE (to) == VECTOR_TYPE
7159           && vector_types_convertible_p (to, from, false))
7160         return 1;
7161
7162       if (TREE_CODE (to) == INTEGER_TYPE
7163           && TYPE_PRECISION (to) == TYPE_PRECISION (from))
7164         return 1;
7165
7166       if (TREE_CODE (to) == FUNCTION_TYPE)
7167         return 1;
7168
7169       if (TREE_CODE (to) != POINTER_TYPE)
7170         return comptypes
7171           (TYPE_MAIN_VARIANT (to), TYPE_MAIN_VARIANT (from),
7172            COMPARE_BASE | COMPARE_DERIVED);
7173     }
7174 }
7175
7176 /* Return true if TO and FROM (both of which are POINTER_TYPEs or
7177    pointer-to-member types) are the same, ignoring cv-qualification at
7178    all levels.  */
7179
7180 bool
7181 comp_ptr_ttypes_const (tree to, tree from)
7182 {
7183   bool is_opaque_pointer = false;
7184
7185   for (; ; to = TREE_TYPE (to), from = TREE_TYPE (from))
7186     {
7187       if (TREE_CODE (to) != TREE_CODE (from))
7188         return false;
7189
7190       if (TREE_CODE (from) == OFFSET_TYPE
7191           && same_type_p (TYPE_OFFSET_BASETYPE (from),
7192                           TYPE_OFFSET_BASETYPE (to)))
7193           continue;
7194
7195       if (TREE_CODE (to) == VECTOR_TYPE)
7196         is_opaque_pointer = vector_targets_convertible_p (to, from);
7197
7198       if (TREE_CODE (to) != POINTER_TYPE)
7199         return (is_opaque_pointer
7200                 || same_type_ignoring_top_level_qualifiers_p (to, from));
7201     }
7202 }
7203
7204 /* Returns the type qualifiers for this type, including the qualifiers on the
7205    elements for an array type.  */
7206
7207 int
7208 cp_type_quals (const_tree type)
7209 {
7210   /* This CONST_CAST is okay because strip_array_types returns its
7211      argument unmodified and we assign it to a const_tree.  */
7212   type = strip_array_types (CONST_CAST_TREE(type));
7213   if (type == error_mark_node)
7214     return TYPE_UNQUALIFIED;
7215   return TYPE_QUALS (type);
7216 }
7217
7218 /* Returns nonzero if the TYPE is const from a C++ perspective: look inside
7219    arrays.  */
7220
7221 bool
7222 cp_type_readonly (const_tree type)
7223 {
7224   /* This CONST_CAST is okay because strip_array_types returns its
7225      argument unmodified and we assign it to a const_tree.  */
7226   type = strip_array_types (CONST_CAST_TREE(type));
7227   return TYPE_READONLY (type);
7228 }
7229
7230 /* Returns nonzero if the TYPE contains a mutable member.  */
7231
7232 bool
7233 cp_has_mutable_p (const_tree type)
7234 {
7235   /* This CONST_CAST is okay because strip_array_types returns its
7236      argument unmodified and we assign it to a const_tree.  */
7237   type = strip_array_types (CONST_CAST_TREE(type));
7238
7239   return CLASS_TYPE_P (type) && CLASSTYPE_HAS_MUTABLE (type);
7240 }
7241
7242 /* Set TREE_READONLY and TREE_VOLATILE on DECL as indicated by the
7243    TYPE_QUALS.  For a VAR_DECL, this may be an optimistic
7244    approximation.  In particular, consider:
7245
7246      int f();
7247      struct S { int i; };
7248      const S s = { f(); }
7249
7250    Here, we will make "s" as TREE_READONLY (because it is declared
7251    "const") -- only to reverse ourselves upon seeing that the
7252    initializer is non-constant.  */
7253
7254 void
7255 cp_apply_type_quals_to_decl (int type_quals, tree decl)
7256 {
7257   tree type = TREE_TYPE (decl);
7258
7259   if (type == error_mark_node)
7260     return;
7261
7262   if (TREE_CODE (decl) == TYPE_DECL)
7263     return;
7264
7265   if (TREE_CODE (type) == FUNCTION_TYPE
7266       && type_quals != TYPE_UNQUALIFIED)
7267     {
7268       /* This was an error in C++98 (cv-qualifiers cannot be added to
7269          a function type), but DR 295 makes the code well-formed by
7270          dropping the extra qualifiers. */
7271       if (pedantic)
7272         {
7273           tree bad_type = build_qualified_type (type, type_quals);
7274           pedwarn (input_location, OPT_pedantic,
7275                    "ignoring %qV qualifiers added to function type %qT",
7276                    bad_type, type);
7277         }
7278
7279       TREE_TYPE (decl) = TYPE_MAIN_VARIANT (type);
7280       return;
7281     }
7282
7283   /* Avoid setting TREE_READONLY incorrectly.  */
7284   if (/* If the object has a constructor, the constructor may modify
7285          the object.  */
7286       TYPE_NEEDS_CONSTRUCTING (type)
7287       /* If the type isn't complete, we don't know yet if it will need
7288          constructing.  */
7289       || !COMPLETE_TYPE_P (type)
7290       /* If the type has a mutable component, that component might be
7291          modified.  */
7292       || TYPE_HAS_MUTABLE_P (type))
7293     type_quals &= ~TYPE_QUAL_CONST;
7294
7295   c_apply_type_quals_to_decl (type_quals, decl);
7296 }
7297
7298 /* Subroutine of casts_away_constness.  Make T1 and T2 point at
7299    exemplar types such that casting T1 to T2 is casting away constness
7300    if and only if there is no implicit conversion from T1 to T2.  */
7301
7302 static void
7303 casts_away_constness_r (tree *t1, tree *t2)
7304 {
7305   int quals1;
7306   int quals2;
7307
7308   /* [expr.const.cast]
7309
7310      For multi-level pointer to members and multi-level mixed pointers
7311      and pointers to members (conv.qual), the "member" aspect of a
7312      pointer to member level is ignored when determining if a const
7313      cv-qualifier has been cast away.  */
7314   /* [expr.const.cast]
7315
7316      For  two  pointer types:
7317
7318             X1 is T1cv1,1 * ... cv1,N *   where T1 is not a pointer type
7319             X2 is T2cv2,1 * ... cv2,M *   where T2 is not a pointer type
7320             K is min(N,M)
7321
7322      casting from X1 to X2 casts away constness if, for a non-pointer
7323      type T there does not exist an implicit conversion (clause
7324      _conv_) from:
7325
7326             Tcv1,(N-K+1) * cv1,(N-K+2) * ... cv1,N *
7327
7328      to
7329
7330             Tcv2,(M-K+1) * cv2,(M-K+2) * ... cv2,M *.  */
7331   if ((!TYPE_PTR_P (*t1) && !TYPE_PTRMEM_P (*t1))
7332       || (!TYPE_PTR_P (*t2) && !TYPE_PTRMEM_P (*t2)))
7333     {
7334       *t1 = cp_build_qualified_type (void_type_node,
7335                                      cp_type_quals (*t1));
7336       *t2 = cp_build_qualified_type (void_type_node,
7337                                      cp_type_quals (*t2));
7338       return;
7339     }
7340
7341   quals1 = cp_type_quals (*t1);
7342   quals2 = cp_type_quals (*t2);
7343
7344   if (TYPE_PTRMEM_P (*t1))
7345     *t1 = TYPE_PTRMEM_POINTED_TO_TYPE (*t1);
7346   else
7347     *t1 = TREE_TYPE (*t1);
7348   if (TYPE_PTRMEM_P (*t2))
7349     *t2 = TYPE_PTRMEM_POINTED_TO_TYPE (*t2);
7350   else
7351     *t2 = TREE_TYPE (*t2);
7352
7353   casts_away_constness_r (t1, t2);
7354   *t1 = build_pointer_type (*t1);
7355   *t2 = build_pointer_type (*t2);
7356   *t1 = cp_build_qualified_type (*t1, quals1);
7357   *t2 = cp_build_qualified_type (*t2, quals2);
7358 }
7359
7360 /* Returns nonzero if casting from TYPE1 to TYPE2 casts away
7361    constness.  */
7362
7363 static bool
7364 casts_away_constness (tree t1, tree t2)
7365 {
7366   if (TREE_CODE (t2) == REFERENCE_TYPE)
7367     {
7368       /* [expr.const.cast]
7369
7370          Casting from an lvalue of type T1 to an lvalue of type T2
7371          using a reference cast casts away constness if a cast from an
7372          rvalue of type "pointer to T1" to the type "pointer to T2"
7373          casts away constness.  */
7374       t1 = (TREE_CODE (t1) == REFERENCE_TYPE ? TREE_TYPE (t1) : t1);
7375       return casts_away_constness (build_pointer_type (t1),
7376                                    build_pointer_type (TREE_TYPE (t2)));
7377     }
7378
7379   if (TYPE_PTRMEM_P (t1) && TYPE_PTRMEM_P (t2))
7380     /* [expr.const.cast]
7381
7382        Casting from an rvalue of type "pointer to data member of X
7383        of type T1" to the type "pointer to data member of Y of type
7384        T2" casts away constness if a cast from an rvalue of type
7385        "pointer to T1" to the type "pointer to T2" casts away
7386        constness.  */
7387     return casts_away_constness
7388       (build_pointer_type (TYPE_PTRMEM_POINTED_TO_TYPE (t1)),
7389        build_pointer_type (TYPE_PTRMEM_POINTED_TO_TYPE (t2)));
7390
7391   /* Casting away constness is only something that makes sense for
7392      pointer or reference types.  */
7393   if (TREE_CODE (t1) != POINTER_TYPE
7394       || TREE_CODE (t2) != POINTER_TYPE)
7395     return false;
7396
7397   /* Top-level qualifiers don't matter.  */
7398   t1 = TYPE_MAIN_VARIANT (t1);
7399   t2 = TYPE_MAIN_VARIANT (t2);
7400   casts_away_constness_r (&t1, &t2);
7401   if (!can_convert (t2, t1))
7402     return true;
7403
7404   return false;
7405 }
7406
7407 /* If T is a REFERENCE_TYPE return the type to which T refers.
7408    Otherwise, return T itself.  */
7409
7410 tree
7411 non_reference (tree t)
7412 {
7413   if (TREE_CODE (t) == REFERENCE_TYPE)
7414     t = TREE_TYPE (t);
7415   return t;
7416 }
7417
7418
7419 /* Return nonzero if REF is an lvalue valid for this language;
7420    otherwise, print an error message and return zero.  USE says
7421    how the lvalue is being used and so selects the error message.  */
7422
7423 int
7424 lvalue_or_else (tree ref, enum lvalue_use use, tsubst_flags_t complain)
7425 {
7426   int win = lvalue_p (ref);
7427
7428   if (!win && (complain & tf_error))
7429     lvalue_error (use);
7430
7431   return win;
7432 }