LCOV - code coverage report
Current view: top level - gcc/cp - rtti.c (source / functions) Hit Total Coverage
Test: gcc.info Lines: 709 741 95.7 %
Date: 2020-03-28 11:57:23 Functions: 31 32 96.9 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 0 0 -

           Branch data     Line data    Source code
       1                 :            : /* RunTime Type Identification
       2                 :            :    Copyright (C) 1995-2020 Free Software Foundation, Inc.
       3                 :            :    Mostly written by Jason Merrill (jason@cygnus.com).
       4                 :            : 
       5                 :            : This file is part of GCC.
       6                 :            : 
       7                 :            : GCC is free software; you can redistribute it and/or modify
       8                 :            : it under the terms of the GNU General Public License as published by
       9                 :            : the Free Software Foundation; either version 3, or (at your option)
      10                 :            : any later version.
      11                 :            : 
      12                 :            : GCC is distributed in the hope that it will be useful,
      13                 :            : but WITHOUT ANY WARRANTY; without even the implied warranty of
      14                 :            : MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
      15                 :            : GNU General Public License for more details.
      16                 :            : 
      17                 :            : You should have received a copy of the GNU General Public License
      18                 :            : along with GCC; see the file COPYING3.  If not see
      19                 :            : <http://www.gnu.org/licenses/>.  */
      20                 :            : 
      21                 :            : #include "config.h"
      22                 :            : #include "system.h"
      23                 :            : #include "coretypes.h"
      24                 :            : #include "target.h"
      25                 :            : #include "cp-tree.h"
      26                 :            : #include "memmodel.h"
      27                 :            : #include "tm_p.h"
      28                 :            : #include "stringpool.h"
      29                 :            : #include "intl.h"
      30                 :            : #include "stor-layout.h"
      31                 :            : #include "c-family/c-pragma.h"
      32                 :            : #include "gcc-rich-location.h"
      33                 :            : 
      34                 :            : /* C++ returns type information to the user in struct type_info
      35                 :            :    objects. We also use type information to implement dynamic_cast and
      36                 :            :    exception handlers. Type information for a particular type is
      37                 :            :    indicated with an ABI defined structure derived from type_info.
      38                 :            :    This would all be very straight forward, but for the fact that the
      39                 :            :    runtime library provides the definitions of the type_info structure
      40                 :            :    and the ABI defined derived classes. We cannot build declarations
      41                 :            :    of them directly in the compiler, but we need to layout objects of
      42                 :            :    their type.  Somewhere we have to lie.
      43                 :            : 
      44                 :            :    We define layout compatible POD-structs with compiler-defined names
      45                 :            :    and generate the appropriate initializations for them (complete
      46                 :            :    with explicit mention of their vtable). When we have to provide a
      47                 :            :    type_info to the user we reinterpret_cast the internal compiler
      48                 :            :    type to type_info.  A well formed program can only explicitly refer
      49                 :            :    to the type_infos of complete types (& cv void).  However, we chain
      50                 :            :    pointer type_infos to the pointed-to-type, and that can be
      51                 :            :    incomplete.  We only need the addresses of such incomplete
      52                 :            :    type_info objects for static initialization.
      53                 :            : 
      54                 :            :    The type information VAR_DECL of a type is held on the
      55                 :            :    get_global_binding of the type's mangled name. That VAR_DECL
      56                 :            :    will be the internal type.  It will usually have the correct
      57                 :            :    internal type reflecting the kind of type it represents (pointer,
      58                 :            :    array, function, class, inherited class, etc).  When the type it
      59                 :            :    represents is incomplete, it will have the internal type
      60                 :            :    corresponding to type_info.  That will only happen at the end of
      61                 :            :    translation, when we are emitting the type info objects.  */
      62                 :            : 
      63                 :            : /* Auxiliary data we hold for each type_info derived object we need.  */
      64                 :            : struct GTY (()) tinfo_s {
      65                 :            :   tree type;  /* The RECORD_TYPE for this type_info object */
      66                 :            : 
      67                 :            :   tree vtable; /* The VAR_DECL of the vtable.  Only filled at end of
      68                 :            :                   translation.  */
      69                 :            : 
      70                 :            :   tree name;  /* IDENTIFIER_NODE for the ABI specified name of
      71                 :            :                  the type_info derived type.  */
      72                 :            : };
      73                 :            : 
      74                 :            : 
      75                 :            : enum tinfo_kind
      76                 :            : {
      77                 :            :   TK_TYPE_INFO_TYPE,    /* abi::__type_info_pseudo */
      78                 :            :   TK_BASE_TYPE,         /* abi::__base_class_type_info */
      79                 :            :   TK_DERIVED_TYPES,     /* Start of types derived from abi::__type_info  */
      80                 :            :   TK_BUILTIN_TYPE = TK_DERIVED_TYPES,   /* abi::__fundamental_type_info */
      81                 :            :   TK_ARRAY_TYPE,        /* abi::__array_type_info */
      82                 :            :   TK_FUNCTION_TYPE,     /* abi::__function_type_info */
      83                 :            :   TK_ENUMERAL_TYPE,     /* abi::__enum_type_info */
      84                 :            :   TK_POINTER_TYPE,      /* abi::__pointer_type_info */
      85                 :            :   TK_POINTER_MEMBER_TYPE, /* abi::__pointer_to_member_type_info */
      86                 :            :   TK_CLASS_TYPE,        /* abi::__class_type_info */
      87                 :            :   TK_SI_CLASS_TYPE,     /* abi::__si_class_type_info */
      88                 :            :   TK_VMI_CLASS_TYPES,   /* abi::__vmi_class_type_info<int> */
      89                 :            :   TK_MAX
      90                 :            : };
      91                 :            : 
      92                 :            : /* Names of the tinfo types.  Must be same order as TK enumeration
      93                 :            :    above.  */
      94                 :            : 
      95                 :            : static const char *const tinfo_names[TK_MAX] =
      96                 :            : {
      97                 :            :   "__type_info",
      98                 :            :   "__base_class_type_info",
      99                 :            :   "__fundamental_type_info",
     100                 :            :   "__array_type_info",
     101                 :            :   "__function_type_info",
     102                 :            :   "__enum_type_info",
     103                 :            :   "__pointer_type_info",
     104                 :            :   "__pointer_to_member_type_info",
     105                 :            :   "__class_type_info",
     106                 :            :   "__si_class_type_info",
     107                 :            :   "__vmi_class_type_info"
     108                 :            : };
     109                 :            : 
     110                 :            : /* Helper macro to get maximum scalar-width of pointer or of the 'long'-type.
     111                 :            :    This of interest for llp64 targets.  */
     112                 :            : #define LONGPTR_T \
     113                 :            :   integer_types[(POINTER_SIZE <= TYPE_PRECISION (integer_types[itk_long]) \
     114                 :            :                  ? itk_long : itk_long_long)]
     115                 :            : 
     116                 :            : /* A vector of all tinfo decls that haven't yet been emitted.  */
     117                 :            : vec<tree, va_gc> *unemitted_tinfo_decls;
     118                 :            : 
     119                 :            : /* A vector of all type_info derived types we need.  The first few are
     120                 :            :    fixed and created early. The remainder are for multiple inheritance
     121                 :            :    and are generated as needed. */
     122                 :            : static GTY (()) vec<tinfo_s, va_gc> *tinfo_descs;
     123                 :            : 
     124                 :            : static tree ifnonnull (tree, tree, tsubst_flags_t);
     125                 :            : static tree tinfo_name (tree, bool);
     126                 :            : static tree build_dynamic_cast_1 (location_t, tree, tree, tsubst_flags_t);
     127                 :            : static tree throw_bad_cast (void);
     128                 :            : static tree throw_bad_typeid (void);
     129                 :            : static tree get_tinfo_ptr (tree);
     130                 :            : static bool typeid_ok_p (void);
     131                 :            : static int qualifier_flags (tree);
     132                 :            : static bool target_incomplete_p (tree);
     133                 :            : static tree tinfo_base_init (tinfo_s *, tree);
     134                 :            : static tree generic_initializer (tinfo_s *, tree);
     135                 :            : static tree ptr_initializer (tinfo_s *, tree);
     136                 :            : static tree ptm_initializer (tinfo_s *, tree);
     137                 :            : static tree class_initializer (tinfo_s *, tree, unsigned, ...);
     138                 :            : static tree get_pseudo_ti_init (tree, unsigned);
     139                 :            : static unsigned get_pseudo_ti_index (tree);
     140                 :            : static tinfo_s *get_tinfo_desc (unsigned);
     141                 :            : static void create_tinfo_types (void);
     142                 :            : static bool typeinfo_in_lib_p (tree);
     143                 :            : 
     144                 :            : static int doing_runtime = 0;
     145                 :            : 
     146                 :            : static void
     147                 :      72793 : push_abi_namespace (void)
     148                 :            : {
     149                 :      72793 :   push_nested_namespace (abi_node);
     150                 :      72793 :   push_visibility ("default", 2);
     151                 :      72793 : }
     152                 :            : 
     153                 :            : static void
     154                 :      72793 : pop_abi_namespace (void)
     155                 :            : {
     156                 :          0 :   pop_visibility (2);
     157                 :      31970 :   pop_nested_namespace (abi_node);
     158                 :          0 : }
     159                 :            : 
     160                 :            : /* Declare language defined type_info type and a pointer to const
     161                 :            :    type_info.  This is incomplete here, and will be completed when
     162                 :            :    the user #includes <typeinfo>.  There are language defined
     163                 :            :    restrictions on what can be done until that is included.  Create
     164                 :            :    the internal versions of the ABI types.  */
     165                 :            : 
     166                 :            : void
     167                 :      78233 : init_rtti_processing (void)
     168                 :            : {
     169                 :      78233 :   tree type_info_type;
     170                 :            : 
     171                 :      78233 :   push_nested_namespace (std_node);
     172                 :      78233 :   type_info_type = xref_tag (class_type, get_identifier ("type_info"),
     173                 :            :                              /*tag_scope=*/ts_current, false);
     174                 :      78233 :   pop_nested_namespace (std_node);
     175                 :      78233 :   const_type_info_type_node
     176                 :      78233 :     = cp_build_qualified_type (type_info_type, TYPE_QUAL_CONST);
     177                 :      78233 :   type_info_ptr_type = build_pointer_type (const_type_info_type_node);
     178                 :            : 
     179                 :      78233 :   vec_alloc (unemitted_tinfo_decls, 124);
     180                 :            : 
     181                 :      78233 :   create_tinfo_types ();
     182                 :      78233 : }
     183                 :            : 
     184                 :            : /* Given the expression EXP of type `class *', return the head of the
     185                 :            :    object pointed to by EXP with type cv void*, if the class has any
     186                 :            :    virtual functions (TYPE_POLYMORPHIC_P), else just return the
     187                 :            :    expression.  */
     188                 :            : 
     189                 :            : tree
     190                 :        682 : build_headof (tree exp)
     191                 :            : {
     192                 :        682 :   tree type = TREE_TYPE (exp);
     193                 :        682 :   tree offset;
     194                 :        682 :   tree index;
     195                 :            : 
     196                 :        682 :   gcc_assert (TYPE_PTR_P (type));
     197                 :        682 :   type = TREE_TYPE (type);
     198                 :            : 
     199                 :       1364 :   if (!TYPE_POLYMORPHIC_P (type))
     200                 :            :     return exp;
     201                 :            : 
     202                 :            :   /* We use this a couple of times below, protect it.  */
     203                 :        661 :   exp = save_expr (exp);
     204                 :            : 
     205                 :            :   /* The offset-to-top field is at index -2 from the vptr.  */
     206                 :       1322 :   index = build_int_cst (NULL_TREE,
     207                 :        661 :                          -2 * TARGET_VTABLE_DATA_ENTRY_DISTANCE);
     208                 :            : 
     209                 :        661 :   offset = build_vtbl_ref (cp_build_fold_indirect_ref (exp),
     210                 :            :                            index);
     211                 :            : 
     212                 :        661 :   cp_build_qualified_type (ptr_type_node,
     213                 :            :                            cp_type_quals (TREE_TYPE (exp)));
     214                 :        661 :   return fold_build_pointer_plus (exp, offset);
     215                 :            : }
     216                 :            : 
     217                 :            : /* Get a bad_cast node for the program to throw...
     218                 :            : 
     219                 :            :    See libstdc++/exception.cc for __throw_bad_cast */
     220                 :            : 
     221                 :            : static tree
     222                 :        588 : throw_bad_cast (void)
     223                 :            : {
     224                 :        588 :   static tree fn;
     225                 :        588 :   if (!fn)
     226                 :            :     {
     227                 :        331 :       tree name = get_identifier ("__cxa_bad_cast");
     228                 :        331 :       fn = get_global_binding (name);
     229                 :        331 :       if (!fn)
     230                 :        331 :         fn = push_throw_library_fn
     231                 :        331 :           (name, build_function_type_list (ptr_type_node, NULL_TREE));
     232                 :            :     }
     233                 :            : 
     234                 :        588 :   return build_cxx_call (fn, 0, NULL, tf_warning_or_error);
     235                 :            : }
     236                 :            : 
     237                 :            : /* Return an expression for "__cxa_bad_typeid()".  The expression
     238                 :            :    returned is an lvalue of type "const std::type_info".  */
     239                 :            : 
     240                 :            : static tree
     241                 :        155 : throw_bad_typeid (void)
     242                 :            : {
     243                 :        155 :   static tree fn;
     244                 :        155 :   if (!fn)
     245                 :            :     {
     246                 :         52 :       tree name = get_identifier ("__cxa_bad_typeid");
     247                 :         52 :       fn = get_global_binding (name);
     248                 :         52 :       if (!fn)
     249                 :            :         {
     250                 :         52 :           tree t = build_reference_type (const_type_info_type_node);
     251                 :         52 :           t = build_function_type_list (t, NULL_TREE);
     252                 :         52 :           fn = push_throw_library_fn (name, t);
     253                 :            :         }
     254                 :            :     }
     255                 :            : 
     256                 :        155 :   return build_cxx_call (fn, 0, NULL, tf_warning_or_error);
     257                 :            : }
     258                 :            : 
     259                 :            : /* Return an lvalue expression whose type is "const std::type_info"
     260                 :            :    and whose value indicates the type of the expression EXP.  If EXP
     261                 :            :    is a reference to a polymorphic class, return the dynamic type;
     262                 :            :    otherwise return the static type of the expression.  */
     263                 :            : 
     264                 :            : static tree
     265                 :       7055 : get_tinfo_decl_dynamic (tree exp, tsubst_flags_t complain)
     266                 :            : {
     267                 :       7055 :   tree type;
     268                 :       7055 :   tree t;
     269                 :            : 
     270                 :      14110 :   if (error_operand_p (exp))
     271                 :            :     return error_mark_node;
     272                 :            : 
     273                 :       7051 :   exp = resolve_nondeduced_context (exp, complain);
     274                 :            : 
     275                 :            :   /* Peel back references, so they match.  */
     276                 :       7051 :   type = non_reference (unlowered_expr_type (exp));
     277                 :            : 
     278                 :            :   /* Peel off cv qualifiers.  */
     279                 :       7051 :   type = cv_unqualified (type);
     280                 :            : 
     281                 :            :   /* For UNKNOWN_TYPEs call complete_type_or_else to get diagnostics.  */
     282                 :       7051 :   if (CLASS_TYPE_P (type) || type == unknown_type_node
     283                 :       7490 :       || type == init_list_type_node)
     284                 :       6612 :     type = complete_type_or_maybe_complain (type, exp, complain);
     285                 :            : 
     286                 :       7051 :   if (!type)
     287                 :         19 :     return error_mark_node;
     288                 :            : 
     289                 :            :   /* If exp is a reference to polymorphic type, get the real type_info.  */
     290                 :      14064 :   if (TYPE_POLYMORPHIC_P (type) && ! resolves_to_fixed_type_p (exp, 0))
     291                 :            :     {
     292                 :            :       /* build reference to type_info from vtable.  */
     293                 :        179 :       tree index;
     294                 :            : 
     295                 :            :       /* The RTTI information is at index -1.  */
     296                 :        358 :       index = build_int_cst (NULL_TREE,
     297                 :        179 :                              -1 * TARGET_VTABLE_DATA_ENTRY_DISTANCE);
     298                 :        179 :       t = build_vtbl_ref (exp, index);
     299                 :        179 :       t = convert (type_info_ptr_type, t);
     300                 :            :     }
     301                 :            :   else
     302                 :            :     /* Otherwise return the type_info for the static type of the expr.  */
     303                 :       6853 :     t = get_tinfo_ptr (type);
     304                 :            : 
     305                 :       7032 :   return cp_build_fold_indirect_ref (t);
     306                 :            : }
     307                 :            : 
     308                 :            : static bool
     309                 :      66298 : typeid_ok_p (void)
     310                 :            : {
     311                 :      66298 :   if (! flag_rtti)
     312                 :            :     {
     313                 :          4 :       error ("cannot use %<typeid%> with %<-fno-rtti%>");
     314                 :          4 :       return false;
     315                 :            :     }
     316                 :            : 
     317                 :      66294 :   if (!COMPLETE_TYPE_P (const_type_info_type_node))
     318                 :            :     {
     319                 :          8 :       gcc_rich_location richloc (input_location);
     320                 :          4 :       maybe_add_include_fixit (&richloc, "<typeinfo>", false);
     321                 :          4 :       error_at (&richloc,
     322                 :            :                 "must %<#include <typeinfo>%> before using"
     323                 :            :                 " %<typeid%>");
     324                 :            : 
     325                 :          4 :       return false;
     326                 :            :     }
     327                 :            : 
     328                 :      66290 :   tree pseudo = TYPE_MAIN_VARIANT (get_tinfo_desc (TK_TYPE_INFO_TYPE)->type);
     329                 :      66290 :   tree real = TYPE_MAIN_VARIANT (const_type_info_type_node);
     330                 :            : 
     331                 :            :   /* Make sure abi::__type_info_pseudo has the same alias set
     332                 :            :      as std::type_info.  */
     333                 :      66290 :   if (! TYPE_ALIAS_SET_KNOWN_P (pseudo))
     334                 :       3305 :     TYPE_ALIAS_SET (pseudo) = get_alias_set (real);
     335                 :            :   else
     336                 :      62985 :     gcc_assert (TYPE_ALIAS_SET (pseudo) == get_alias_set (real));
     337                 :            : 
     338                 :            :   return true;
     339                 :            : }
     340                 :            : 
     341                 :            : /* Return an expression for "typeid(EXP)".  The expression returned is
     342                 :            :    an lvalue of type "const std::type_info".  */
     343                 :            : 
     344                 :            : tree
     345                 :      10833 : build_typeid (tree exp, tsubst_flags_t complain)
     346                 :            : {
     347                 :      10833 :   tree cond = NULL_TREE, initial_expr = exp;
     348                 :      10833 :   int nonnull = 0;
     349                 :            : 
     350                 :      10833 :   if (exp == error_mark_node || !typeid_ok_p ())
     351                 :         20 :     return error_mark_node;
     352                 :            : 
     353                 :      10813 :   if (processing_template_decl)
     354                 :       3758 :     return build_min (TYPEID_EXPR, const_type_info_type_node, exp);
     355                 :            : 
     356                 :       7055 :   if (TYPE_POLYMORPHIC_P (TREE_TYPE (exp))
     357                 :       6419 :       && ! resolves_to_fixed_type_p (exp, &nonnull)
     358                 :       7234 :       && ! nonnull)
     359                 :            :     {
     360                 :            :       /* So we need to look into the vtable of the type of exp.
     361                 :            :          Make sure it isn't a null lvalue.  */
     362                 :        155 :       exp = cp_build_addr_expr (exp, complain);
     363                 :        155 :       exp = save_expr (exp);
     364                 :        155 :       cond = cp_convert (boolean_type_node, exp, complain);
     365                 :        155 :       exp = cp_build_fold_indirect_ref (exp);
     366                 :            :     }
     367                 :            : 
     368                 :       7055 :   exp = get_tinfo_decl_dynamic (exp, complain);
     369                 :            : 
     370                 :       7055 :   if (exp == error_mark_node)
     371                 :            :     return error_mark_node;
     372                 :            : 
     373                 :       7024 :   if (cond)
     374                 :            :     {
     375                 :        155 :       tree bad = throw_bad_typeid ();
     376                 :            : 
     377                 :        155 :       exp = build3 (COND_EXPR, TREE_TYPE (exp), cond, exp, bad);
     378                 :            :     }
     379                 :            :   else
     380                 :       6869 :     mark_type_use (initial_expr);
     381                 :            : 
     382                 :            :   return exp;
     383                 :            : }
     384                 :            : 
     385                 :            : /* Generate the NTBS name of a type.  If MARK_PRIVATE, put a '*' in front so that
     386                 :            :    comparisons will be done by pointer rather than string comparison.  */
     387                 :            : static tree
     388                 :     159000 : tinfo_name (tree type, bool mark_private)
     389                 :            : {
     390                 :     159000 :   const char *name;
     391                 :     159000 :   int length;
     392                 :     159000 :   tree name_string;
     393                 :            : 
     394                 :     159000 :   name = mangle_type_string (type);
     395                 :     159000 :   length = strlen (name);
     396                 :            : 
     397                 :     159000 :   if (mark_private)
     398                 :            :     {
     399                 :            :       /* Inject '*' at beginning of name to force pointer comparison.  */
     400                 :        598 :       char* buf = (char*) XALLOCAVEC (char, length + 2);
     401                 :        598 :       buf[0] = '*';
     402                 :        598 :       memcpy (buf + 1, name, length + 1);
     403                 :        598 :       name_string = build_string (length + 2, buf);
     404                 :            :     }
     405                 :            :   else
     406                 :     158402 :     name_string = build_string (length + 1, name);
     407                 :            : 
     408                 :     159000 :   return fix_string_type (name_string);
     409                 :            : }
     410                 :            : 
     411                 :            : /* Return a VAR_DECL for the internal ABI defined type_info object for
     412                 :            :    TYPE. You must arrange that the decl is mark_used, if actually use
     413                 :            :    it --- decls in vtables are only used if the vtable is output.  */
     414                 :            : 
     415                 :            : tree
     416                 :     516543 : get_tinfo_decl (tree type)
     417                 :            : {
     418                 :     516543 :   tree name;
     419                 :     516543 :   tree d;
     420                 :            : 
     421                 :     516543 :   if (variably_modified_type_p (type, /*fn=*/NULL_TREE))
     422                 :            :     {
     423                 :         12 :       error ("cannot create type information for type %qT because "
     424                 :            :              "it involves types of variable size",
     425                 :            :              type);
     426                 :         12 :       return error_mark_node;
     427                 :            :     }
     428                 :            : 
     429                 :     516531 :   if (TREE_CODE (type) == METHOD_TYPE)
     430                 :        104 :     type = build_function_type (TREE_TYPE (type),
     431                 :         52 :                                 TREE_CHAIN (TYPE_ARG_TYPES (type)));
     432                 :            : 
     433                 :     516531 :   type = complete_type (type);
     434                 :            : 
     435                 :            :   /* For a class type, the variable is cached in the type node
     436                 :            :      itself.  */
     437                 :    1024530 :   if (CLASS_TYPE_P (type))
     438                 :            :     {
     439                 :     507816 :       d = CLASSTYPE_TYPEINFO_VAR (TYPE_MAIN_VARIANT (type));
     440                 :     507816 :       if (d)
     441                 :            :         return d;
     442                 :            :     }
     443                 :            : 
     444                 :     213038 :   name = mangle_typeinfo_for_type (type);
     445                 :            : 
     446                 :     213038 :   d = get_global_binding (name);
     447                 :     213038 :   if (!d)
     448                 :            :     {
     449                 :     208076 :       int ix = get_pseudo_ti_index (type);
     450                 :     208076 :       const tinfo_s *ti = get_tinfo_desc (ix);
     451                 :            :       
     452                 :     208076 :       d = build_lang_decl (VAR_DECL, name, ti->type);
     453                 :     208076 :       SET_DECL_ASSEMBLER_NAME (d, name);
     454                 :            :       /* Remember the type it is for.  */
     455                 :     208076 :       TREE_TYPE (name) = type;
     456                 :     208076 :       DECL_TINFO_P (d) = 1;
     457                 :     208076 :       DECL_ARTIFICIAL (d) = 1;
     458                 :     208076 :       DECL_IGNORED_P (d) = 1;
     459                 :     208076 :       TREE_READONLY (d) = 1;
     460                 :     208076 :       TREE_STATIC (d) = 1;
     461                 :            :       /* Mark the variable as undefined -- but remember that we can
     462                 :            :          define it later if we need to do so.  */
     463                 :     208076 :       DECL_EXTERNAL (d) = 1;
     464                 :     208076 :       DECL_NOT_REALLY_EXTERN (d) = 1;
     465                 :     208076 :       set_linkage_according_to_type (type, d);
     466                 :            : 
     467                 :     208076 :       d = pushdecl_top_level_and_finish (d, NULL_TREE);
     468                 :     412455 :       if (CLASS_TYPE_P (type))
     469                 :     204323 :         CLASSTYPE_TYPEINFO_VAR (TYPE_MAIN_VARIANT (type)) = d;
     470                 :            : 
     471                 :            :       /* Add decl to the global array of tinfo decls.  */
     472                 :     208076 :       vec_safe_push (unemitted_tinfo_decls, d);
     473                 :            :     }
     474                 :            : 
     475                 :     213038 :   return d;
     476                 :            : }
     477                 :            : 
     478                 :            : /* Return a pointer to a type_info object describing TYPE, suitably
     479                 :            :    cast to the language defined type.  */
     480                 :            : 
     481                 :            : static tree
     482                 :     175610 : get_tinfo_ptr (tree type)
     483                 :            : {
     484                 :     175610 :   tree decl = get_tinfo_decl (type);
     485                 :            : 
     486                 :     175610 :   mark_used (decl);
     487                 :     175610 :   return build_nop (type_info_ptr_type,
     488                 :     175610 :                     build_address (decl));
     489                 :            : }
     490                 :            : 
     491                 :            : /* Return the type_info object for TYPE.  */
     492                 :            : 
     493                 :            : tree
     494                 :      55497 : get_typeid (tree type, tsubst_flags_t complain)
     495                 :            : {
     496                 :      55497 :   if (type == error_mark_node || !typeid_ok_p ())
     497                 :         20 :     return error_mark_node;
     498                 :            : 
     499                 :      55477 :   if (processing_template_decl)
     500                 :       8289 :     return build_min (TYPEID_EXPR, const_type_info_type_node, type);
     501                 :            : 
     502                 :            :   /* If the type of the type-id is a reference type, the result of the
     503                 :            :      typeid expression refers to a type_info object representing the
     504                 :            :      referenced type.  */
     505                 :      47188 :   type = non_reference (type);
     506                 :            : 
     507                 :            :   /* This is not one of the uses of a qualified function type in 8.3.5.  */
     508                 :      47188 :   if (TREE_CODE (type) == FUNCTION_TYPE
     509                 :      47188 :       && (type_memfn_quals (type) != TYPE_UNQUALIFIED
     510                 :         10 :           || type_memfn_rqual (type) != REF_QUAL_NONE))
     511                 :            :     {
     512                 :          4 :       if (complain & tf_error)
     513                 :          4 :         error ("%<typeid%> of qualified function type %qT", type);
     514                 :          4 :       return error_mark_node;
     515                 :            :     }
     516                 :            : 
     517                 :            :   /* The top-level cv-qualifiers of the lvalue expression or the type-id
     518                 :            :      that is the operand of typeid are always ignored.  */
     519                 :      47184 :   type = cv_unqualified (type);
     520                 :            : 
     521                 :            :   /* For UNKNOWN_TYPEs call complete_type_or_else to get diagnostics.  */
     522                 :      47184 :   if (CLASS_TYPE_P (type) || type == unknown_type_node
     523                 :      48934 :       || type == init_list_type_node)
     524                 :      45434 :     type = complete_type_or_maybe_complain (type, NULL_TREE, complain);
     525                 :            : 
     526                 :      47184 :   if (!type)
     527                 :          0 :     return error_mark_node;
     528                 :            : 
     529                 :      47184 :   return cp_build_fold_indirect_ref (get_tinfo_ptr (type));
     530                 :            : }
     531                 :            : 
     532                 :            : /* Check whether TEST is null before returning RESULT.  If TEST is used in
     533                 :            :    RESULT, it must have previously had a save_expr applied to it.  */
     534                 :            : 
     535                 :            : static tree
     536                 :       1509 : ifnonnull (tree test, tree result, tsubst_flags_t complain)
     537                 :            : {
     538                 :       3018 :   tree cond = build2 (NE_EXPR, boolean_type_node, test,
     539                 :       1509 :                       cp_convert (TREE_TYPE (test), nullptr_node, complain));
     540                 :            :   /* This is a compiler generated comparison, don't emit
     541                 :            :      e.g. -Wnonnull-compare warning for it.  */
     542                 :       1509 :   TREE_NO_WARNING (cond) = 1;
     543                 :       3018 :   return build3 (COND_EXPR, TREE_TYPE (result), cond, result,
     544                 :       1509 :                  cp_convert (TREE_TYPE (result), nullptr_node, complain));
     545                 :            : }
     546                 :            : 
     547                 :            : /* Execute a dynamic cast, as described in section 5.2.6 of the 9/93 working
     548                 :            :    paper.  */
     549                 :            : 
     550                 :            : static tree
     551                 :       2602 : build_dynamic_cast_1 (location_t loc, tree type, tree expr,
     552                 :            :                       tsubst_flags_t complain)
     553                 :            : {
     554                 :       2602 :   enum tree_code tc = TREE_CODE (type);
     555                 :       2602 :   tree exprtype;
     556                 :       2602 :   tree dcast_fn;
     557                 :       2602 :   tree old_expr = expr;
     558                 :       2602 :   const char *errstr = NULL;
     559                 :            : 
     560                 :            :   /* Save casted types in the function's used types hash table.  */
     561                 :       2602 :   used_types_insert (type);
     562                 :            : 
     563                 :            :   /* T shall be a pointer or reference to a complete class type, or
     564                 :            :      `pointer to cv void''.  */
     565                 :       2602 :   switch (tc)
     566                 :            :     {
     567                 :       1870 :     case POINTER_TYPE:
     568                 :       1870 :       if (VOID_TYPE_P (TREE_TYPE (type)))
     569                 :            :         break;
     570                 :            :       /* Fall through.  */
     571                 :       1929 :     case REFERENCE_TYPE:
     572                 :       1929 :       if (! MAYBE_CLASS_TYPE_P (TREE_TYPE (type)))
     573                 :            :         {
     574                 :          0 :           errstr = _("target is not pointer or reference to class");
     575                 :          0 :           goto fail;
     576                 :            :         }
     577                 :       1929 :       if (!COMPLETE_TYPE_P (complete_type (TREE_TYPE (type))))
     578                 :            :         {
     579                 :          0 :           errstr = _("target is not pointer or reference to complete type");
     580                 :          0 :           goto fail;
     581                 :            :         }
     582                 :            :       break;
     583                 :            : 
     584                 :         16 :     default:
     585                 :         16 :       errstr = _("target is not pointer or reference");
     586                 :         16 :       goto fail;
     587                 :            :     }
     588                 :            : 
     589                 :       2586 :   if (tc == POINTER_TYPE)
     590                 :            :     {
     591                 :       1870 :       expr = decay_conversion (expr, complain);
     592                 :       1870 :       exprtype = TREE_TYPE (expr);
     593                 :            : 
     594                 :            :       /* If T is a pointer type, v shall be an rvalue of a pointer to
     595                 :            :          complete class type, and the result is an rvalue of type T.  */
     596                 :            : 
     597                 :       1870 :       expr = mark_rvalue_use (expr);
     598                 :            : 
     599                 :       1870 :       if (!TYPE_PTR_P (exprtype))
     600                 :            :         {
     601                 :          0 :           errstr = _("source is not a pointer");
     602                 :          0 :           goto fail;
     603                 :            :         }
     604                 :       1870 :       if (! MAYBE_CLASS_TYPE_P (TREE_TYPE (exprtype)))
     605                 :            :         {
     606                 :          4 :           errstr = _("source is not a pointer to class");
     607                 :          4 :           goto fail;
     608                 :            :         }
     609                 :       1866 :       if (!COMPLETE_TYPE_P (complete_type (TREE_TYPE (exprtype))))
     610                 :            :         {
     611                 :          0 :           errstr = _("source is a pointer to incomplete type");
     612                 :          0 :           goto fail;
     613                 :            :         }
     614                 :            :     }
     615                 :            :   else
     616                 :            :     {
     617                 :        716 :       expr = mark_lvalue_use (expr);
     618                 :        716 :       exprtype = TREE_TYPE (expr);
     619                 :            : 
     620                 :            :       /* T is a reference type, v shall be an lvalue of a complete class
     621                 :            :          type, and the result is an lvalue of the type referred to by T.  */
     622                 :       1428 :       if (! MAYBE_CLASS_TYPE_P (exprtype))
     623                 :            :         {
     624                 :          4 :           errstr = _("source is not of class type");
     625                 :          4 :           goto fail;
     626                 :            :         }
     627                 :        712 :       if (!COMPLETE_TYPE_P (complete_type (exprtype)))
     628                 :            :         {
     629                 :          0 :           errstr = _("source is of incomplete class type");
     630                 :          0 :           goto fail;
     631                 :            :         }
     632                 :            : 
     633                 :        712 :       exprtype = cp_build_reference_type (exprtype, !lvalue_p (expr));
     634                 :            :     }
     635                 :            : 
     636                 :            :   /* The dynamic_cast operator shall not cast away constness.  */
     637                 :       5156 :   if (!at_least_as_qualified_p (TREE_TYPE (type),
     638                 :       2578 :                                 TREE_TYPE (exprtype)))
     639                 :            :     {
     640                 :         16 :       errstr = _("conversion casts away constness");
     641                 :         16 :       goto fail;
     642                 :            :     }
     643                 :            : 
     644                 :            :   /* If *type is an unambiguous accessible base class of *exprtype,
     645                 :            :      convert statically.  */
     646                 :       2562 :   {
     647                 :       2562 :     tree binfo = lookup_base (TREE_TYPE (exprtype), TREE_TYPE (type),
     648                 :            :                               ba_check, NULL, complain);
     649                 :       2562 :     if (binfo)
     650                 :        453 :       return build_static_cast (loc, type, expr, complain);
     651                 :            :   }
     652                 :            : 
     653                 :            :   /* Apply trivial conversion T -> T& for dereferenced ptrs.  */
     654                 :       2109 :   if (tc == REFERENCE_TYPE)
     655                 :        588 :     expr = convert_to_reference (exprtype, expr, CONV_IMPLICIT,
     656                 :            :                                  LOOKUP_NORMAL, NULL_TREE, complain);
     657                 :            : 
     658                 :            :   /* Otherwise *exprtype must be a polymorphic class (have a vtbl).  */
     659                 :       4218 :   if (TYPE_POLYMORPHIC_P (TREE_TYPE (exprtype)))
     660                 :            :     {
     661                 :       2105 :       tree expr1;
     662                 :            :       /* if TYPE is `void *', return pointer to complete object.  */
     663                 :       3622 :       if (tc == POINTER_TYPE && VOID_TYPE_P (TREE_TYPE (type)))
     664                 :            :         {
     665                 :            :           /* if b is an object, dynamic_cast<void *>(&b) == (void *)&b.  */
     666                 :        645 :           if (TREE_CODE (expr) == ADDR_EXPR
     667                 :          0 :               && VAR_P (TREE_OPERAND (expr, 0))
     668                 :        645 :               && TREE_CODE (TREE_TYPE (TREE_OPERAND (expr, 0))) == RECORD_TYPE)
     669                 :          0 :             return build1 (NOP_EXPR, type, expr);
     670                 :            : 
     671                 :            :           /* Since expr is used twice below, save it.  */
     672                 :        645 :           expr = save_expr (expr);
     673                 :            : 
     674                 :        645 :           expr1 = build_headof (expr);
     675                 :        645 :           if (TREE_TYPE (expr1) != type)
     676                 :        645 :             expr1 = build1 (NOP_EXPR, type, expr1);
     677                 :        645 :           return ifnonnull (expr, expr1, complain);
     678                 :            :         }
     679                 :            :       else
     680                 :            :         {
     681                 :       1460 :           tree retval;
     682                 :       1460 :           tree result, td2, td3;
     683                 :       1460 :           tree elems[4];
     684                 :       1460 :           tree static_type, target_type, boff;
     685                 :            : 
     686                 :            :           /* If we got here, we can't convert statically.  Therefore,
     687                 :            :              dynamic_cast<D&>(b) (b an object) cannot succeed.  */
     688                 :       1460 :           if (tc == REFERENCE_TYPE)
     689                 :            :             {
     690                 :        588 :               if (VAR_P (old_expr)
     691                 :        588 :                   && TREE_CODE (TREE_TYPE (old_expr)) == RECORD_TYPE)
     692                 :            :                 {
     693                 :          0 :                   tree expr = throw_bad_cast ();
     694                 :          0 :                   if (complain & tf_warning)
     695                 :          0 :                     warning_at (loc, 0,
     696                 :            :                                 "%<dynamic_cast<%#T>(%#D)%> can never succeed",
     697                 :            :                                 type, old_expr);
     698                 :            :                   /* Bash it to the expected type.  */
     699                 :          0 :                   TREE_TYPE (expr) = type;
     700                 :          0 :                   return expr;
     701                 :            :                 }
     702                 :            :             }
     703                 :            :           /* Ditto for dynamic_cast<D*>(&b).  */
     704                 :        872 :           else if (TREE_CODE (expr) == ADDR_EXPR)
     705                 :            :             {
     706                 :          4 :               tree op = TREE_OPERAND (expr, 0);
     707                 :          4 :               if (VAR_P (op)
     708                 :          8 :                   && TREE_CODE (TREE_TYPE (op)) == RECORD_TYPE)
     709                 :            :                 {
     710                 :          4 :                   if (complain & tf_warning)
     711                 :          4 :                     warning_at (loc, 0,
     712                 :            :                                 "%<dynamic_cast<%#T>(%#D)%> can never succeed",
     713                 :            :                                 type, op);
     714                 :          4 :                   retval = build_int_cst (type, 0);
     715                 :          4 :                   return retval;
     716                 :            :                 }
     717                 :            :             }
     718                 :            : 
     719                 :            :           /* Use of dynamic_cast when -fno-rtti is prohibited.  */
     720                 :       1456 :           if (!flag_rtti)
     721                 :            :             {
     722                 :          4 :               if (complain & tf_error)
     723                 :          4 :                 error_at (loc,
     724                 :            :                           "%<dynamic_cast%> not permitted with %<-fno-rtti%>");
     725                 :          4 :               return error_mark_node;
     726                 :            :             }
     727                 :            : 
     728                 :       1452 :           target_type = TYPE_MAIN_VARIANT (TREE_TYPE (type));
     729                 :       1452 :           static_type = TYPE_MAIN_VARIANT (TREE_TYPE (exprtype));
     730                 :       1452 :           td2 = get_tinfo_decl (target_type);
     731                 :       1452 :           if (!mark_used (td2, complain) && !(complain & tf_error))
     732                 :          0 :             return error_mark_node;
     733                 :       1452 :           td2 = cp_build_addr_expr (td2, complain);
     734                 :       1452 :           td3 = get_tinfo_decl (static_type);
     735                 :       1452 :           if (!mark_used (td3, complain) && !(complain & tf_error))
     736                 :          0 :             return error_mark_node;
     737                 :       1452 :           td3 = cp_build_addr_expr (td3, complain);
     738                 :            : 
     739                 :            :           /* Determine how T and V are related.  */
     740                 :       1452 :           boff = dcast_base_hint (static_type, target_type);
     741                 :            : 
     742                 :            :           /* Since expr is used twice below, save it.  */
     743                 :       1452 :           expr = save_expr (expr);
     744                 :            : 
     745                 :       1452 :           expr1 = expr;
     746                 :       1452 :           if (tc == REFERENCE_TYPE)
     747                 :        588 :             expr1 = cp_build_addr_expr (expr1, complain);
     748                 :            : 
     749                 :       1452 :           elems[0] = expr1;
     750                 :       1452 :           elems[1] = td3;
     751                 :       1452 :           elems[2] = td2;
     752                 :       1452 :           elems[3] = boff;
     753                 :            : 
     754                 :       1452 :           dcast_fn = dynamic_cast_node;
     755                 :       1452 :           if (!dcast_fn)
     756                 :            :             {
     757                 :        583 :               tree tmp;
     758                 :        583 :               tree tinfo_ptr;
     759                 :        583 :               const char *name;
     760                 :            : 
     761                 :        583 :               push_abi_namespace ();
     762                 :        583 :               tinfo_ptr = xref_tag (class_type,
     763                 :            :                                     get_identifier ("__class_type_info"),
     764                 :            :                                     /*tag_scope=*/ts_current, false);
     765                 :            : 
     766                 :        583 :               tinfo_ptr = build_pointer_type
     767                 :        583 :                 (cp_build_qualified_type
     768                 :            :                  (tinfo_ptr, TYPE_QUAL_CONST));
     769                 :        583 :               name = "__dynamic_cast";
     770                 :        583 :               tmp = build_function_type_list (ptr_type_node,
     771                 :            :                                               const_ptr_type_node,
     772                 :            :                                               tinfo_ptr, tinfo_ptr,
     773                 :            :                                               ptrdiff_type_node, NULL_TREE);
     774                 :        583 :               dcast_fn = build_library_fn_ptr (name, tmp,
     775                 :            :                                                ECF_LEAF | ECF_PURE | ECF_NOTHROW);
     776                 :        583 :               pop_abi_namespace ();
     777                 :        583 :               dynamic_cast_node = dcast_fn;
     778                 :            :             }
     779                 :       1452 :           result = build_cxx_call (dcast_fn, 4, elems, complain);
     780                 :       1452 :           SET_EXPR_LOCATION (result, loc);
     781                 :            : 
     782                 :       1452 :           if (tc == REFERENCE_TYPE)
     783                 :            :             {
     784                 :        588 :               tree bad = throw_bad_cast ();
     785                 :        588 :               tree neq;
     786                 :            : 
     787                 :        588 :               result = save_expr (result);
     788                 :        588 :               neq = cp_truthvalue_conversion (result, complain);
     789                 :       1176 :               return cp_convert (type,
     790                 :        588 :                                  build3 (COND_EXPR, TREE_TYPE (result),
     791                 :        588 :                                          neq, result, bad), complain);
     792                 :            :             }
     793                 :            : 
     794                 :            :           /* Now back to the type we want from a void*.  */
     795                 :        864 :           result = cp_convert (type, result, complain);
     796                 :        864 :           return ifnonnull (expr, result, complain);
     797                 :            :         }
     798                 :            :     }
     799                 :            :   else
     800                 :          4 :     errstr = _("source type is not polymorphic");
     801                 :            : 
     802                 :         44 :  fail:
     803                 :         44 :   if (complain & tf_error)
     804                 :         24 :     error_at (loc, "cannot %<dynamic_cast%> %qE (of type %q#T) "
     805                 :            :               "to type %q#T (%s)",
     806                 :         24 :               old_expr, TREE_TYPE (old_expr), type, errstr);
     807                 :         44 :   return error_mark_node;
     808                 :            : }
     809                 :            : 
     810                 :            : tree
     811                 :      10831 : build_dynamic_cast (location_t loc, tree type, tree expr,
     812                 :            :                     tsubst_flags_t complain)
     813                 :            : {
     814                 :      10831 :   tree r;
     815                 :            : 
     816                 :      10831 :   if (type == error_mark_node || expr == error_mark_node)
     817                 :            :     return error_mark_node;
     818                 :            : 
     819                 :      10823 :   if (processing_template_decl)
     820                 :            :     {
     821                 :       8221 :       expr = build_min (DYNAMIC_CAST_EXPR, type, expr);
     822                 :       8221 :       TREE_SIDE_EFFECTS (expr) = 1;
     823                 :       8221 :       r = convert_from_reference (expr);
     824                 :       8221 :       protected_set_expr_location (r, loc);
     825                 :       8221 :       return r;
     826                 :            :     }
     827                 :            : 
     828                 :       2602 :   r = convert_from_reference (build_dynamic_cast_1 (loc, type, expr,
     829                 :            :                                                     complain));
     830                 :       2602 :   if (r != error_mark_node)
     831                 :       2548 :     maybe_warn_about_useless_cast (loc, type, expr, complain);
     832                 :       2602 :   protected_set_expr_location (r, loc);
     833                 :       2602 :   return r;
     834                 :            : }
     835                 :            : 
     836                 :            : /* Return the runtime bit mask encoding the qualifiers of TYPE.  */
     837                 :            : 
     838                 :            : static int
     839                 :        947 : qualifier_flags (tree type)
     840                 :            : {
     841                 :        947 :   int flags = 0;
     842                 :        947 :   int quals = cp_type_quals (type);
     843                 :            : 
     844                 :        947 :   if (quals & TYPE_QUAL_CONST)
     845                 :            :     flags |= 1;
     846                 :        947 :   if (quals & TYPE_QUAL_VOLATILE)
     847                 :          8 :     flags |= 2;
     848                 :        947 :   if (quals & TYPE_QUAL_RESTRICT)
     849                 :          8 :     flags |= 4;
     850                 :        947 :   return flags;
     851                 :            : }
     852                 :            : 
     853                 :            : /* Return true, if the pointer chain TYPE ends at an incomplete type, or
     854                 :            :    contains a pointer to member of an incomplete class.  */
     855                 :            : 
     856                 :            : static bool
     857                 :       1790 : target_incomplete_p (tree type)
     858                 :            : {
     859                 :       2014 :   while (true)
     860                 :       2014 :     if (TYPE_PTRDATAMEM_P (type))
     861                 :            :       {
     862                 :         20 :         if (!COMPLETE_TYPE_P (TYPE_PTRMEM_CLASS_TYPE (type)))
     863                 :            :           return true;
     864                 :         12 :         type = TYPE_PTRMEM_POINTED_TO_TYPE (type);
     865                 :            :       }
     866                 :       1994 :     else if (TYPE_PTR_P (type))
     867                 :        212 :       type = TREE_TYPE (type);
     868                 :            :     else
     869                 :       1782 :       return !COMPLETE_OR_VOID_TYPE_P (type);
     870                 :            : }
     871                 :            : 
     872                 :            : /* Returns true if TYPE involves an incomplete class type; in that
     873                 :            :    case, typeinfo variables for TYPE should be emitted with internal
     874                 :            :    linkage.  */
     875                 :            : 
     876                 :            : static bool
     877                 :    2742080 : involves_incomplete_p (tree type)
     878                 :            : {
     879                 :    2742080 :   switch (TREE_CODE (type))
     880                 :            :     {
     881                 :        739 :     case POINTER_TYPE:
     882                 :        739 :       return target_incomplete_p (TREE_TYPE (type));
     883                 :            : 
     884                 :        104 :     case OFFSET_TYPE:
     885                 :        104 :     ptrmem:
     886                 :        104 :       return
     887                 :        156 :         (target_incomplete_p (TYPE_PTRMEM_POINTED_TO_TYPE (type))
     888                 :        252 :          || !COMPLETE_TYPE_P (TYPE_PTRMEM_CLASS_TYPE (type)));
     889                 :            : 
     890                 :    2741120 :     case RECORD_TYPE:
     891                 :    2741120 :       if (TYPE_PTRMEMFUNC_P (type))
     892                 :         52 :         goto ptrmem;
     893                 :            :       /* Fall through.  */
     894                 :    2741060 :     case UNION_TYPE:
     895                 :    2741060 :       if (!COMPLETE_TYPE_P (type))
     896                 :         18 :         return true;
     897                 :            :       /* Fall through.  */
     898                 :            :     default:
     899                 :            :       /* All other types do not involve incomplete class types.  */
     900                 :            :       return false;
     901                 :            :     }
     902                 :            : }
     903                 :            : 
     904                 :            : /* Return a CONSTRUCTOR for the common part of the type_info objects. This
     905                 :            :    is the vtable pointer and NTBS name.  The NTBS name is emitted as a
     906                 :            :    comdat const char array, so it becomes a unique key for the type. Generate
     907                 :            :    and emit that VAR_DECL here.  (We can't always emit the type_info itself
     908                 :            :    as comdat, because of pointers to incomplete.) */
     909                 :            : 
     910                 :            : static tree
     911                 :     159000 : tinfo_base_init (tinfo_s *ti, tree target)
     912                 :            : {
     913                 :     159000 :   tree init;
     914                 :     159000 :   tree name_decl;
     915                 :     159000 :   tree vtable_ptr;
     916                 :     159000 :   vec<constructor_elt, va_gc> *v;
     917                 :            : 
     918                 :     159000 :   {
     919                 :     159000 :     tree name_name, name_string;
     920                 :            : 
     921                 :            :     /* Generate the NTBS array variable.  */
     922                 :     159000 :     tree name_type = build_cplus_array_type
     923                 :     159000 :                      (cp_build_qualified_type (char_type_node, TYPE_QUAL_CONST),
     924                 :            :                      NULL_TREE);
     925                 :            : 
     926                 :            :     /* Determine the name of the variable -- and remember with which
     927                 :            :        type it is associated.  */
     928                 :     159000 :     name_name = mangle_typeinfo_string_for_type (target);
     929                 :     159000 :     TREE_TYPE (name_name) = target;
     930                 :            : 
     931                 :     159000 :     name_decl = build_lang_decl (VAR_DECL, name_name, name_type);
     932                 :     159000 :     SET_DECL_ASSEMBLER_NAME (name_decl, name_name);
     933                 :     159000 :     DECL_ARTIFICIAL (name_decl) = 1;
     934                 :     159000 :     DECL_IGNORED_P (name_decl) = 1;
     935                 :     159000 :     TREE_READONLY (name_decl) = 1;
     936                 :     159000 :     TREE_STATIC (name_decl) = 1;
     937                 :     159000 :     DECL_EXTERNAL (name_decl) = 0;
     938                 :     159000 :     DECL_TINFO_P (name_decl) = 1;
     939                 :     159000 :     set_linkage_according_to_type (target, name_decl);
     940                 :     159000 :     import_export_decl (name_decl);
     941                 :     159000 :     name_string = tinfo_name (target, !TREE_PUBLIC (name_decl));
     942                 :     159000 :     DECL_INITIAL (name_decl) = name_string;
     943                 :     159000 :     mark_used (name_decl);
     944                 :     159000 :     pushdecl_top_level_and_finish (name_decl, name_string);
     945                 :            :   }
     946                 :            : 
     947                 :     159000 :   vtable_ptr = ti->vtable;
     948                 :     159000 :   if (!vtable_ptr)
     949                 :            :     {
     950                 :      31387 :       tree real_type;
     951                 :      31387 :       push_abi_namespace ();
     952                 :      31387 :       real_type = xref_tag (class_type, ti->name,
     953                 :            :                             /*tag_scope=*/ts_current, false);
     954                 :      31387 :       pop_abi_namespace ();
     955                 :            : 
     956                 :      31387 :       if (!COMPLETE_TYPE_P (real_type))
     957                 :            :         {
     958                 :            :           /* We never saw a definition of this type, so we need to
     959                 :            :              tell the compiler that this is an exported class, as
     960                 :            :              indeed all of the __*_type_info classes are.  */
     961                 :      31178 :           SET_CLASSTYPE_INTERFACE_KNOWN (real_type);
     962                 :      31178 :           CLASSTYPE_INTERFACE_ONLY (real_type) = 1;
     963                 :            :         }
     964                 :            : 
     965                 :      31387 :       vtable_ptr = get_vtable_decl (real_type, /*complete=*/1);
     966                 :      31387 :       vtable_ptr = cp_build_addr_expr (vtable_ptr, tf_warning_or_error);
     967                 :            : 
     968                 :            :       /* We need to point into the middle of the vtable.  */
     969                 :      31387 :       vtable_ptr = fold_build_pointer_plus
     970                 :            :         (vtable_ptr,
     971                 :            :          size_binop (MULT_EXPR,
     972                 :            :                      size_int (2 * TARGET_VTABLE_DATA_ENTRY_DISTANCE),
     973                 :            :                      TYPE_SIZE_UNIT (vtable_entry_type)));
     974                 :            : 
     975                 :      31387 :       ti->vtable = vtable_ptr;
     976                 :            :     }
     977                 :            : 
     978                 :     159000 :   vec_alloc (v, 2);
     979                 :     159000 :   CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, vtable_ptr);
     980                 :     159000 :   CONSTRUCTOR_APPEND_ELT (v, NULL_TREE,
     981                 :            :                           decay_conversion (name_decl, tf_warning_or_error));
     982                 :            : 
     983                 :     159000 :   init = build_constructor (init_list_type_node, v);
     984                 :     159000 :   TREE_CONSTANT (init) = 1;
     985                 :     159000 :   TREE_STATIC (init) = 1;
     986                 :            : 
     987                 :     159000 :   return init;
     988                 :            : }
     989                 :            : 
     990                 :            : /* Return the CONSTRUCTOR expr for a type_info of TYPE. TI provides the
     991                 :            :    information about the particular type_info derivation, which adds no
     992                 :            :    additional fields to the type_info base.  */
     993                 :            : 
     994                 :            : static tree
     995                 :        227 : generic_initializer (tinfo_s *ti, tree target)
     996                 :            : {
     997                 :        227 :   tree init = tinfo_base_init (ti, target);
     998                 :            : 
     999                 :        227 :   init = build_constructor_single (init_list_type_node, NULL_TREE, init);
    1000                 :        227 :   TREE_CONSTANT (init) = 1;
    1001                 :        227 :   TREE_STATIC (init) = 1;
    1002                 :        227 :   return init;
    1003                 :            : }
    1004                 :            : 
    1005                 :            : /* Return the CONSTRUCTOR expr for a type_info of pointer TYPE.
    1006                 :            :    TI provides information about the particular type_info derivation,
    1007                 :            :    which adds target type and qualifier flags members to the type_info base.  */
    1008                 :            : 
    1009                 :            : static tree
    1010                 :        843 : ptr_initializer (tinfo_s *ti, tree target)
    1011                 :            : {
    1012                 :        843 :   tree init = tinfo_base_init (ti, target);
    1013                 :        843 :   tree to = TREE_TYPE (target);
    1014                 :        843 :   int flags = qualifier_flags (to);
    1015                 :        843 :   bool incomplete = target_incomplete_p (to);
    1016                 :        843 :   vec<constructor_elt, va_gc> *v;
    1017                 :        843 :   vec_alloc (v, 3);
    1018                 :            : 
    1019                 :        843 :   if (incomplete)
    1020                 :         75 :     flags |= 8;
    1021                 :        843 :   if (tx_safe_fn_type_p (to))
    1022                 :            :     {
    1023                 :          2 :       flags |= 0x20;
    1024                 :          2 :       to = tx_unsafe_fn_variant (to);
    1025                 :            :     }
    1026                 :        843 :   if (flag_noexcept_type
    1027                 :        343 :       && FUNC_OR_METHOD_TYPE_P (to)
    1028                 :        880 :       && TYPE_NOTHROW_P (to))
    1029                 :            :     {
    1030                 :          6 :       flags |= 0x40;
    1031                 :          6 :       to = build_exception_variant (to, NULL_TREE);
    1032                 :            :     }
    1033                 :        843 :   CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, init);
    1034                 :        843 :   CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, build_int_cst (NULL_TREE, flags));
    1035                 :        843 :   CONSTRUCTOR_APPEND_ELT (v, NULL_TREE,
    1036                 :            :                           get_tinfo_ptr (TYPE_MAIN_VARIANT (to)));
    1037                 :            : 
    1038                 :        843 :   init = build_constructor (init_list_type_node, v);
    1039                 :        843 :   TREE_CONSTANT (init) = 1;
    1040                 :        843 :   TREE_STATIC (init) = 1;
    1041                 :        843 :   return init;
    1042                 :            : }
    1043                 :            : 
    1044                 :            : /* Return the CONSTRUCTOR expr for a type_info of pointer to member data TYPE.
    1045                 :            :    TI provides information about the particular type_info derivation,
    1046                 :            :    which adds class, target type and qualifier flags members to the type_info
    1047                 :            :    base.  */
    1048                 :            : 
    1049                 :            : static tree
    1050                 :        104 : ptm_initializer (tinfo_s *ti, tree target)
    1051                 :            : {
    1052                 :        104 :   tree init = tinfo_base_init (ti, target);
    1053                 :        156 :   tree to = TYPE_PTRMEM_POINTED_TO_TYPE (target);
    1054                 :        156 :   tree klass = TYPE_PTRMEM_CLASS_TYPE (target);
    1055                 :        104 :   int flags = qualifier_flags (to);
    1056                 :        104 :   bool incomplete = target_incomplete_p (to);
    1057                 :        104 :   vec<constructor_elt, va_gc> *v;
    1058                 :        104 :   vec_alloc (v, 4);
    1059                 :            : 
    1060                 :        104 :   if (incomplete)
    1061                 :          8 :     flags |= 0x8;
    1062                 :        104 :   if (!COMPLETE_TYPE_P (klass))
    1063                 :          8 :     flags |= 0x10;
    1064                 :        104 :   CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, init);
    1065                 :        104 :   CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, build_int_cst (NULL_TREE, flags));
    1066                 :        104 :   CONSTRUCTOR_APPEND_ELT (v, NULL_TREE,
    1067                 :            :                           get_tinfo_ptr (TYPE_MAIN_VARIANT (to)));
    1068                 :        104 :   CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, get_tinfo_ptr (klass));
    1069                 :            : 
    1070                 :        104 :   init = build_constructor (init_list_type_node, v);
    1071                 :        104 :   TREE_CONSTANT (init) = 1;
    1072                 :        104 :   TREE_STATIC (init) = 1;
    1073                 :        104 :   return init;
    1074                 :            : }
    1075                 :            : 
    1076                 :            : /* Return the CONSTRUCTOR expr for a type_info of class TYPE.
    1077                 :            :    TI provides information about the particular __class_type_info derivation,
    1078                 :            :    which adds hint flags and N extra initializers to the type_info base.  */
    1079                 :            : 
    1080                 :            : static tree
    1081                 :     157826 : class_initializer (tinfo_s *ti, tree target, unsigned n, ...)
    1082                 :            : {
    1083                 :     157826 :   tree init = tinfo_base_init (ti, target);
    1084                 :     157826 :   va_list extra_inits;
    1085                 :     157826 :   unsigned i;
    1086                 :     157826 :   vec<constructor_elt, va_gc> *v;
    1087                 :     157826 :   vec_alloc (v, n+1);
    1088                 :            : 
    1089                 :     157826 :   CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, init);
    1090                 :     157826 :   va_start (extra_inits, n);
    1091                 :     299692 :   for (i = 0; i < n; i++)
    1092                 :     141866 :     CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, va_arg (extra_inits, tree));
    1093                 :     157826 :   va_end (extra_inits);
    1094                 :            : 
    1095                 :     157826 :   init = build_constructor (init_list_type_node, v);
    1096                 :     157826 :   TREE_CONSTANT (init) = 1;
    1097                 :     157826 :   TREE_STATIC (init) = 1;
    1098                 :     157826 :   return init;
    1099                 :            : }
    1100                 :            : 
    1101                 :            : /* Returns true if the typeinfo for type should be placed in
    1102                 :            :    the runtime library.  */
    1103                 :            : 
    1104                 :            : static bool
    1105                 :    2765750 : typeinfo_in_lib_p (tree type)
    1106                 :            : {
    1107                 :            :   /* The typeinfo objects for `T*' and `const T*' are in the runtime
    1108                 :            :      library for simple types T.  */
    1109                 :    2765750 :   if (TYPE_PTR_P (type)
    1110                 :    2767280 :       && (cp_type_quals (TREE_TYPE (type)) == TYPE_QUAL_CONST
    1111                 :       1080 :           || cp_type_quals (TREE_TYPE (type)) == TYPE_UNQUALIFIED))
    1112                 :       1514 :     type = TREE_TYPE (type);
    1113                 :            : 
    1114                 :    2765750 :   switch (TREE_CODE (type))
    1115                 :            :     {
    1116                 :            :     case INTEGER_TYPE:
    1117                 :            :     case BOOLEAN_TYPE:
    1118                 :            :     case REAL_TYPE:
    1119                 :            :     case VOID_TYPE:
    1120                 :            :     case NULLPTR_TYPE:
    1121                 :            :       return true;
    1122                 :            : 
    1123                 :    2742080 :     case LANG_TYPE:
    1124                 :            :       /* fall through.  */
    1125                 :            : 
    1126                 :    2742080 :     default:
    1127                 :    2742080 :       return false;
    1128                 :            :     }
    1129                 :            : }
    1130                 :            : 
    1131                 :            : /* Generate the initializer for the type info describing TYPE.  TK_INDEX is
    1132                 :            :    the index of the descriptor in the tinfo_desc vector. */
    1133                 :            : 
    1134                 :            : static tree
    1135                 :     159000 : get_pseudo_ti_init (tree type, unsigned tk_index)
    1136                 :            : {
    1137                 :     159000 :   tinfo_s *ti = get_tinfo_desc (tk_index);
    1138                 :            : 
    1139                 :     159000 :   gcc_assert (at_eof);
    1140                 :     159000 :   switch (tk_index)
    1141                 :            :     {
    1142                 :        104 :     case TK_POINTER_MEMBER_TYPE:
    1143                 :        104 :       return ptm_initializer (ti, type);
    1144                 :            : 
    1145                 :        843 :     case TK_POINTER_TYPE:
    1146                 :        843 :       return ptr_initializer (ti, type);
    1147                 :            : 
    1148                 :        227 :     case TK_BUILTIN_TYPE:
    1149                 :        227 :     case TK_ENUMERAL_TYPE:
    1150                 :        227 :     case TK_FUNCTION_TYPE:
    1151                 :        227 :     case TK_ARRAY_TYPE:
    1152                 :        227 :       return generic_initializer (ti, type);
    1153                 :            : 
    1154                 :      55172 :     case TK_CLASS_TYPE:
    1155                 :      55172 :       return class_initializer (ti, type, 0);
    1156                 :            : 
    1157                 :      83048 :     case TK_SI_CLASS_TYPE:
    1158                 :      83048 :       {
    1159                 :      83048 :         tree base_binfo = BINFO_BASE_BINFO (TYPE_BINFO (type), 0);
    1160                 :      83048 :         tree tinfo = get_tinfo_ptr (BINFO_TYPE (base_binfo));
    1161                 :            : 
    1162                 :            :         /* get_tinfo_ptr might have reallocated the tinfo_descs vector.  */
    1163                 :      83048 :         ti = &(*tinfo_descs)[tk_index];
    1164                 :      83048 :         return class_initializer (ti, type, 1, tinfo);
    1165                 :            :       }
    1166                 :            : 
    1167                 :      19606 :     default:
    1168                 :      19606 :       {
    1169                 :      19606 :         int hint = ((CLASSTYPE_REPEATED_BASE_P (type) << 0)
    1170                 :      19606 :                     | (CLASSTYPE_DIAMOND_SHAPED_P (type) << 1));
    1171                 :      19606 :         tree binfo = TYPE_BINFO (type);
    1172                 :      19606 :         unsigned nbases = BINFO_N_BASE_BINFOS (binfo);
    1173                 :      19606 :         vec<tree, va_gc> *base_accesses = BINFO_BASE_ACCESSES (binfo);
    1174                 :      19694 :         tree offset_type = LONGPTR_T;
    1175                 :      19606 :         vec<constructor_elt, va_gc> *init_vec = NULL;
    1176                 :            : 
    1177                 :      19606 :         gcc_assert (tk_index - TK_VMI_CLASS_TYPES + 1 == nbases);
    1178                 :            : 
    1179                 :      19606 :         vec_safe_grow (init_vec, nbases);
    1180                 :            :         /* Generate the base information initializer.  */
    1181                 :      57080 :         for (unsigned ix = nbases; ix--;)
    1182                 :            :           {
    1183                 :      37474 :             tree base_binfo = BINFO_BASE_BINFO (binfo, ix);
    1184                 :      37474 :             int flags = 0;
    1185                 :      37474 :             tree tinfo;
    1186                 :      37474 :             tree offset;
    1187                 :      37474 :             vec<constructor_elt, va_gc> *v;
    1188                 :            : 
    1189                 :      37474 :             if ((*base_accesses)[ix] == access_public_node)
    1190                 :      36617 :               flags |= 2;
    1191                 :      37474 :             tinfo = get_tinfo_ptr (BINFO_TYPE (base_binfo));
    1192                 :      37474 :             if (BINFO_VIRTUAL_P (base_binfo))
    1193                 :            :               {
    1194                 :            :                 /* We store the vtable offset at which the virtual
    1195                 :            :                    base offset can be found.  */
    1196                 :       4155 :                 offset = BINFO_VPTR_FIELD (base_binfo);
    1197                 :       4155 :                 flags |= 1;
    1198                 :            :               }
    1199                 :            :             else
    1200                 :      33319 :               offset = BINFO_OFFSET (base_binfo);
    1201                 :            : 
    1202                 :            :             /* Combine offset and flags into one field.  */
    1203                 :      37474 :             offset = fold_convert (offset_type, offset);
    1204                 :      37474 :             offset = fold_build2_loc (input_location,
    1205                 :            :                                   LSHIFT_EXPR, offset_type, offset,
    1206                 :      37474 :                                   build_int_cst (offset_type, 8));
    1207                 :      37474 :             offset = fold_build2_loc (input_location,
    1208                 :            :                                   BIT_IOR_EXPR, offset_type, offset,
    1209                 :            :                                   build_int_cst (offset_type, flags));
    1210                 :      37474 :             vec_alloc (v, 2);
    1211                 :      37474 :             CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, tinfo);
    1212                 :      37474 :             CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, offset);
    1213                 :      37474 :             tree base_init = build_constructor (init_list_type_node, v);
    1214                 :      37474 :             constructor_elt *e = &(*init_vec)[ix];
    1215                 :      37474 :             e->index = NULL_TREE;
    1216                 :      37474 :             e->value = base_init;
    1217                 :            :           }
    1218                 :      19606 :         tree base_inits = build_constructor (init_list_type_node, init_vec);
    1219                 :            : 
    1220                 :            :         /* get_tinfo_ptr might have reallocated the tinfo_descs vector.  */
    1221                 :      19606 :         ti = &(*tinfo_descs)[tk_index];
    1222                 :      19606 :         return class_initializer (ti, type, 3,
    1223                 :            :                                   build_int_cst (NULL_TREE, hint),
    1224                 :            :                                   build_int_cst (NULL_TREE, nbases),
    1225                 :            :                                   base_inits);
    1226                 :            :       }
    1227                 :            :     }
    1228                 :            : }
    1229                 :            : 
    1230                 :            : /* Return the index of a pseudo type info type node used to describe
    1231                 :            :    TYPE.  TYPE must be a complete type (or cv void), except at the end
    1232                 :            :    of the translation unit.  */
    1233                 :            : 
    1234                 :            : static unsigned
    1235                 :     367076 : get_pseudo_ti_index (tree type)
    1236                 :            : {
    1237                 :     367076 :   unsigned ix;
    1238                 :            : 
    1239                 :     367076 :   switch (TREE_CODE (type))
    1240                 :            :     {
    1241                 :            :     case OFFSET_TYPE:
    1242                 :            :       ix = TK_POINTER_MEMBER_TYPE;
    1243                 :            :       break;
    1244                 :            : 
    1245                 :       1982 :     case POINTER_TYPE:
    1246                 :       1982 :       ix = TK_POINTER_TYPE;
    1247                 :       1982 :       break;
    1248                 :            : 
    1249                 :         24 :     case ENUMERAL_TYPE:
    1250                 :         24 :       ix = TK_ENUMERAL_TYPE;
    1251                 :         24 :       break;
    1252                 :            : 
    1253                 :        240 :     case FUNCTION_TYPE:
    1254                 :        240 :       ix = TK_FUNCTION_TYPE;
    1255                 :        240 :       break;
    1256                 :            : 
    1257                 :         72 :     case ARRAY_TYPE:
    1258                 :         72 :       ix = TK_ARRAY_TYPE;
    1259                 :         72 :       break;
    1260                 :            : 
    1261                 :     362257 :     case UNION_TYPE:
    1262                 :     362257 :     case RECORD_TYPE:
    1263                 :     362257 :       if (TYPE_PTRMEMFUNC_P (type))
    1264                 :            :         ix = TK_POINTER_MEMBER_TYPE;
    1265                 :     362153 :       else if (!COMPLETE_TYPE_P (type))
    1266                 :            :         {
    1267                 :         36 :           if (!at_eof)
    1268                 :          2 :             cxx_incomplete_type_error (NULL_TREE, type);
    1269                 :            :           ix = TK_CLASS_TYPE;
    1270                 :            :         }
    1271                 :     362117 :       else if (!TYPE_BINFO (type)
    1272                 :     724226 :                || !BINFO_N_BASE_BINFOS (TYPE_BINFO (type)))
    1273                 :            :         ix = TK_CLASS_TYPE;
    1274                 :            :       else
    1275                 :            :         {
    1276                 :     238007 :           tree binfo = TYPE_BINFO (type);
    1277                 :     238007 :           vec<tree, va_gc> *base_accesses = BINFO_BASE_ACCESSES (binfo);
    1278                 :     238007 :           tree base_binfo = BINFO_BASE_BINFO (binfo, 0);
    1279                 :     238007 :           int num_bases = BINFO_N_BASE_BINFOS (binfo);
    1280                 :            : 
    1281                 :     238007 :           if (num_bases == 1
    1282                 :     206731 :               && (*base_accesses)[0] == access_public_node
    1283                 :     205188 :               && !BINFO_VIRTUAL_P (base_binfo)
    1284                 :     434729 :               && integer_zerop (BINFO_OFFSET (base_binfo)))
    1285                 :            :             /* single non-virtual public.  */
    1286                 :            :             ix = TK_SI_CLASS_TYPE;
    1287                 :            :           else
    1288                 :      42156 :             ix = TK_VMI_CLASS_TYPES + num_bases - 1;
    1289                 :            :         }
    1290                 :            :       break;
    1291                 :            : 
    1292                 :       2397 :     default:
    1293                 :       2397 :       ix = TK_BUILTIN_TYPE;
    1294                 :       2397 :       break;
    1295                 :            :     }
    1296                 :     367076 :   return ix;
    1297                 :            : }
    1298                 :            : 
    1299                 :            : /* Return pointer to tinfo descriptor.  Possibly creating the tinfo
    1300                 :            :    descriptor in the first place.  */
    1301                 :            : 
    1302                 :            : static tinfo_s *
    1303                 :     465018 : get_tinfo_desc (unsigned ix)
    1304                 :            : {
    1305                 :     465018 :   unsigned len = tinfo_descs->length ();
    1306                 :            : 
    1307                 :     465018 :   if (len <= ix)
    1308                 :            :     {
    1309                 :            :       /* too short, extend.  */
    1310                 :      21259 :       len = ix + 1 - len;
    1311                 :      21259 :       vec_safe_reserve (tinfo_descs, len);
    1312                 :      21259 :       tinfo_s elt;
    1313                 :      21259 :       elt.type = elt.vtable = elt.name = NULL_TREE;
    1314                 :     132205 :       while (len--)
    1315                 :     110946 :         tinfo_descs->quick_push (elt);
    1316                 :            :     }
    1317                 :            : 
    1318                 :     465018 :   tinfo_s *res = &(*tinfo_descs)[ix];
    1319                 :            : 
    1320                 :     465018 :   if (res->type)
    1321                 :            :     return res;
    1322                 :            : 
    1323                 :            :   /* Ok, we have to create it.  This layout must be consistent with
    1324                 :            :      that defined in the runtime support.  We explicitly manage the
    1325                 :            :      vtable member, and name it for real type as used in the runtime.
    1326                 :            :      The RECORD type has a different name, to avoid collisions.  We
    1327                 :            :      have to delay generating the VAR_DECL of the vtable until the end
    1328                 :            :      of the translation, when we'll have seen the library definition,
    1329                 :            :      if there was one.  */
    1330                 :            : 
    1331                 :            :   /* Fields to add, chained in reverse order.  */
    1332                 :      40823 :   tree fields = NULL_TREE;
    1333                 :            : 
    1334                 :      40823 :   if (ix >= TK_DERIVED_TYPES)
    1335                 :            :     {
    1336                 :            :       /* First field is the pseudo type_info base class.  */
    1337                 :      25242 :       tree fld_base = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
    1338                 :      25242 :                                   get_tinfo_desc (TK_TYPE_INFO_TYPE)->type);
    1339                 :            : 
    1340                 :      25242 :       DECL_CHAIN (fld_base) = fields;
    1341                 :      25242 :       fields = fld_base;
    1342                 :            :     }
    1343                 :            : 
    1344                 :      40823 :   switch (ix)
    1345                 :            :     {
    1346                 :      11124 :     case TK_TYPE_INFO_TYPE:
    1347                 :      11124 :       {
    1348                 :      11124 :         tree fld_ptr = build_decl (BUILTINS_LOCATION, FIELD_DECL,
    1349                 :            :                                    NULL_TREE, const_ptr_type_node);
    1350                 :      11124 :         fields = fld_ptr;
    1351                 :            : 
    1352                 :      11124 :         tree fld_str = build_decl (BUILTINS_LOCATION, FIELD_DECL,
    1353                 :            :                                    NULL_TREE, const_string_type_node);
    1354                 :      11124 :         DECL_CHAIN (fld_str) = fields;
    1355                 :      11124 :         fields = fld_str;
    1356                 :      11124 :         break;
    1357                 :            :       }
    1358                 :            : 
    1359                 :       4457 :     case TK_BASE_TYPE:
    1360                 :       4457 :       {
    1361                 :            :         /* Base class internal helper. Pointer to base type, offset to
    1362                 :            :            base, flags.  */
    1363                 :       4457 :         tree fld_ptr = build_decl (BUILTINS_LOCATION, FIELD_DECL,
    1364                 :            :                                    NULL_TREE, type_info_ptr_type);
    1365                 :       4457 :         DECL_CHAIN (fld_ptr) = fields;
    1366                 :       4457 :         fields = fld_ptr;
    1367                 :            : 
    1368                 :       4457 :         tree fld_flag = build_decl (BUILTINS_LOCATION, FIELD_DECL,
    1369                 :       4542 :                                     NULL_TREE, LONGPTR_T);
    1370                 :       4457 :         DECL_CHAIN (fld_flag) = fields;
    1371                 :       4457 :         fields = fld_flag;
    1372                 :       4457 :         break;
    1373                 :            :       }
    1374                 :            : 
    1375                 :            :     case TK_BUILTIN_TYPE:
    1376                 :            :       /* Fundamental type_info */
    1377                 :            :       break;
    1378                 :            : 
    1379                 :            :     case TK_ARRAY_TYPE:
    1380                 :            :       break;
    1381                 :            : 
    1382                 :            :     case TK_FUNCTION_TYPE:
    1383                 :            :       break;
    1384                 :            : 
    1385                 :            :     case TK_ENUMERAL_TYPE:
    1386                 :            :       break;
    1387                 :            : 
    1388                 :        481 :     case TK_POINTER_TYPE:
    1389                 :        481 :     case TK_POINTER_MEMBER_TYPE:
    1390                 :        481 :       {
    1391                 :            :         /* Pointer type_info. Adds two fields, qualification mask and
    1392                 :            :            pointer to the pointed to type.  This is really a
    1393                 :            :            descendant of __pbase_type_info.  */
    1394                 :        481 :         tree fld_mask = build_decl (BUILTINS_LOCATION, FIELD_DECL,
    1395                 :            :                                     NULL_TREE, integer_type_node);
    1396                 :        481 :         DECL_CHAIN (fld_mask) = fields;
    1397                 :        481 :         fields = fld_mask;
    1398                 :            : 
    1399                 :        481 :         tree fld_ptr = build_decl (BUILTINS_LOCATION, FIELD_DECL,
    1400                 :            :                                    NULL_TREE, type_info_ptr_type);
    1401                 :        481 :         DECL_CHAIN (fld_ptr) = fields;
    1402                 :        481 :         fields = fld_ptr;
    1403                 :            : 
    1404                 :        481 :         if (ix == TK_POINTER_MEMBER_TYPE)
    1405                 :            :           {
    1406                 :            :             /* Add a pointer to the class too.  */
    1407                 :         47 :             tree fld_cls = build_decl (BUILTINS_LOCATION, FIELD_DECL,
    1408                 :            :                                    NULL_TREE, type_info_ptr_type);
    1409                 :         47 :             DECL_CHAIN (fld_cls) = fields;
    1410                 :         47 :             fields = fld_cls;
    1411                 :            :           }
    1412                 :            :         break;
    1413                 :            :       }
    1414                 :            : 
    1415                 :            :     case TK_CLASS_TYPE:
    1416                 :            :       /* Class type_info.  No additional fields.  */
    1417                 :            :       break;
    1418                 :            : 
    1419                 :       6451 :     case TK_SI_CLASS_TYPE:
    1420                 :       6451 :       {
    1421                 :            :         /* Single public non-virtual base class. Add pointer to base
    1422                 :            :            class.  This is really a descendant of
    1423                 :            :            __class_type_info.  */
    1424                 :       6451 :         tree fld_ptr = build_decl (BUILTINS_LOCATION, FIELD_DECL,
    1425                 :            :                                    NULL_TREE, type_info_ptr_type);
    1426                 :       6451 :         DECL_CHAIN (fld_ptr) = fields;
    1427                 :       6451 :         fields = fld_ptr;
    1428                 :       6451 :         break;
    1429                 :            :       }
    1430                 :            : 
    1431                 :       6410 :     default: /* Multiple inheritance.  */
    1432                 :       6410 :       {
    1433                 :       6410 :         unsigned num_bases = ix - TK_VMI_CLASS_TYPES + 1;
    1434                 :            : 
    1435                 :       6410 :         tree fld_flg = build_decl (BUILTINS_LOCATION, FIELD_DECL,
    1436                 :            :                                    NULL_TREE, integer_type_node);
    1437                 :       6410 :         DECL_CHAIN (fld_flg) = fields;
    1438                 :       6410 :         fields = fld_flg;
    1439                 :            :         
    1440                 :       6410 :         tree fld_cnt = build_decl (BUILTINS_LOCATION, FIELD_DECL,
    1441                 :            :                                    NULL_TREE, integer_type_node);
    1442                 :       6410 :         DECL_CHAIN (fld_cnt) = fields;
    1443                 :       6410 :         fields = fld_cnt;
    1444                 :            : 
    1445                 :            :         /* Create the array of __base_class_type_info entries.  */
    1446                 :       6410 :         tree domain = build_index_type (size_int (num_bases - 1));
    1447                 :       6410 :         tree array = build_array_type (get_tinfo_desc (TK_BASE_TYPE)->type,
    1448                 :            :                                        domain);
    1449                 :       6410 :         tree fld_ary = build_decl (BUILTINS_LOCATION, FIELD_DECL,
    1450                 :            :                                    NULL_TREE, array);
    1451                 :       6410 :         DECL_CHAIN (fld_ary) = fields;
    1452                 :       6410 :         fields = fld_ary;
    1453                 :       6410 :         break;
    1454                 :            :       }
    1455                 :            :     }
    1456                 :            : 
    1457                 :      40823 :   push_abi_namespace ();
    1458                 :            : 
    1459                 :            :   /* Generate the pseudo type name.  */
    1460                 :      40823 :   const char *real_name = tinfo_names[ix < TK_VMI_CLASS_TYPES
    1461                 :      40823 :                                       ? ix : unsigned (TK_VMI_CLASS_TYPES)];
    1462                 :      40823 :   size_t name_len = strlen (real_name);
    1463                 :      40823 :   char *pseudo_name = (char *) alloca (name_len + 30);
    1464                 :      40823 :   memcpy (pseudo_name, real_name, name_len);
    1465                 :            :   /* Those >= TK_VMI_CLASS_TYPES need a discriminator, may as well
    1466                 :            :      apply it to all.  See get_peudo_tinfo_index where we make use of
    1467                 :            :      this.  */
    1468                 :      40823 :   sprintf (pseudo_name + name_len, "_pseudo_%d", ix);
    1469                 :            : 
    1470                 :            :   /* Create the pseudo type.  */
    1471                 :      40823 :   tree pseudo_type = make_class_type (RECORD_TYPE);
    1472                 :            :   /* Pass the fields chained in reverse.  */
    1473                 :      40823 :   finish_builtin_struct (pseudo_type, pseudo_name, fields, NULL_TREE);
    1474                 :      40823 :   CLASSTYPE_AS_BASE (pseudo_type) = pseudo_type;
    1475                 :      40823 :   xref_basetypes (pseudo_type, /*bases=*/NULL_TREE);
    1476                 :            : 
    1477                 :      40823 :   res->type = cp_build_qualified_type (pseudo_type, TYPE_QUAL_CONST);
    1478                 :      40823 :   res->name = get_identifier (real_name);
    1479                 :            : 
    1480                 :            :   /* Pretend this is public so determine_visibility doesn't give vtables
    1481                 :            :      internal linkage.  */
    1482                 :      40823 :   TREE_PUBLIC (TYPE_MAIN_DECL (res->type)) = 1;
    1483                 :            : 
    1484                 :      40823 :   pop_abi_namespace ();
    1485                 :      40823 :   return res;
    1486                 :            : }
    1487                 :            : 
    1488                 :            : /* We lazily create the type info types.  */
    1489                 :            : 
    1490                 :            : static void
    1491                 :      78233 : create_tinfo_types (void)
    1492                 :            : {
    1493                 :      78233 :   gcc_assert (!tinfo_descs);
    1494                 :            : 
    1495                 :      78233 :   vec_alloc (tinfo_descs, TK_MAX + 20);
    1496                 :      78233 : }
    1497                 :            : 
    1498                 :            : /* Helper for emit_support_tinfos. Emits the type_info descriptor of
    1499                 :            :    a single type.  */
    1500                 :            : 
    1501                 :            : void
    1502                 :         54 : emit_support_tinfo_1 (tree bltn)
    1503                 :            : {
    1504                 :         54 :   tree types[3];
    1505                 :            : 
    1506                 :         54 :   if (bltn == NULL_TREE)
    1507                 :          0 :     return;
    1508                 :         54 :   types[0] = bltn;
    1509                 :         54 :   types[1] = build_pointer_type (bltn);
    1510                 :         54 :   types[2] = build_pointer_type (cp_build_qualified_type (bltn,
    1511                 :            :                                                           TYPE_QUAL_CONST));
    1512                 :            : 
    1513                 :        216 :   for (int i = 0; i < 3; ++i)
    1514                 :            :     {
    1515                 :        162 :       tree tinfo = get_tinfo_decl (types[i]);
    1516                 :        162 :       TREE_USED (tinfo) = 1;
    1517                 :        162 :       mark_needed (tinfo);
    1518                 :            :       /* The C++ ABI requires that these objects be COMDAT.  But,
    1519                 :            :          On systems without weak symbols, initialized COMDAT
    1520                 :            :          objects are emitted with internal linkage.  (See
    1521                 :            :          comdat_linkage for details.)  Since we want these objects
    1522                 :            :          to have external linkage so that copies do not have to be
    1523                 :            :          emitted in code outside the runtime library, we make them
    1524                 :            :          non-COMDAT here.  
    1525                 :            : 
    1526                 :            :          It might also not be necessary to follow this detail of the
    1527                 :            :          ABI.  */
    1528                 :        162 :       if (!flag_weak || ! targetm.cxx.library_rtti_comdat ())
    1529                 :            :         {
    1530                 :          0 :           gcc_assert (TREE_PUBLIC (tinfo) && !DECL_COMDAT (tinfo));
    1531                 :          0 :           DECL_INTERFACE_KNOWN (tinfo) = 1;
    1532                 :            :         }
    1533                 :            :     }
    1534                 :            : }
    1535                 :            : 
    1536                 :            : /* Emit the type_info descriptors which are guaranteed to be in the runtime
    1537                 :            :    support.  Generating them here guarantees consistency with the other
    1538                 :            :    structures.  We use the following heuristic to determine when the runtime
    1539                 :            :    is being generated.  If std::__fundamental_type_info is defined, and its
    1540                 :            :    destructor is defined, then the runtime is being built.  */
    1541                 :            : 
    1542                 :            : void
    1543                 :      77699 : emit_support_tinfos (void)
    1544                 :            : {
    1545                 :            :   /* Dummy static variable so we can put nullptr in the array; it will be
    1546                 :            :      set before we actually start to walk the array.  */
    1547                 :      77699 :   static tree *const fundamentals[] =
    1548                 :            :   {
    1549                 :            :     &void_type_node,
    1550                 :            :     &boolean_type_node,
    1551                 :            :     &wchar_type_node, &char8_type_node, &char16_type_node, &char32_type_node,
    1552                 :            :     &char_type_node, &signed_char_type_node, &unsigned_char_type_node,
    1553                 :            :     &short_integer_type_node, &short_unsigned_type_node,
    1554                 :            :     &integer_type_node, &unsigned_type_node,
    1555                 :            :     &long_integer_type_node, &long_unsigned_type_node,
    1556                 :            :     &long_long_integer_type_node, &long_long_unsigned_type_node,
    1557                 :            :     &float_type_node, &double_type_node, &long_double_type_node,
    1558                 :            :     &dfloat32_type_node, &dfloat64_type_node, &dfloat128_type_node,
    1559                 :            :     &nullptr_type_node,
    1560                 :            :     0
    1561                 :            :   };
    1562                 :      77699 :   int ix;
    1563                 :            : 
    1564                 :            :   /* Look for a defined class.  */
    1565                 :      77699 :   tree bltn_type = lookup_qualified_name
    1566                 :      77699 :     (abi_node, "__fundamental_type_info", true, false);
    1567                 :      77699 :   if (TREE_CODE (bltn_type) != TYPE_DECL)
    1568                 :            :     return;
    1569                 :            : 
    1570                 :        141 :   bltn_type = TREE_TYPE (bltn_type);
    1571                 :        141 :   if (!COMPLETE_TYPE_P (bltn_type))
    1572                 :            :     return;
    1573                 :        141 :   tree dtor = CLASSTYPE_DESTRUCTOR (bltn_type);
    1574                 :        282 :   if (!dtor || DECL_EXTERNAL (dtor))
    1575                 :            :     return;
    1576                 :            : 
    1577                 :            :   /* All these are really builtins.  So set the location.  */
    1578                 :          2 :   location_t saved_loc = input_location;
    1579                 :          2 :   input_location = BUILTINS_LOCATION;
    1580                 :          2 :   doing_runtime = 1;
    1581                 :         50 :   for (ix = 0; fundamentals[ix]; ix++)
    1582                 :         48 :     emit_support_tinfo_1 (*fundamentals[ix]);
    1583                 :          4 :   for (ix = 0; ix < NUM_INT_N_ENTS; ix ++)
    1584                 :          2 :     if (int_n_enabled_p[ix])
    1585                 :            :       {
    1586                 :          1 :         emit_support_tinfo_1 (int_n_trees[ix].signed_type);
    1587                 :          1 :         emit_support_tinfo_1 (int_n_trees[ix].unsigned_type);
    1588                 :            :       }
    1589                 :          6 :   for (tree t = registered_builtin_types; t; t = TREE_CHAIN (t))
    1590                 :          4 :     emit_support_tinfo_1 (TREE_VALUE (t));
    1591                 :            :   /* For compatibility, emit DFP typeinfos even when DFP isn't enabled,
    1592                 :            :      because we've emitted that in the past.  */
    1593                 :          2 :   if (!targetm.decimal_float_supported_p ())
    1594                 :            :     {
    1595                 :          0 :       gcc_assert (dfloat32_type_node == NULL_TREE
    1596                 :            :                   && dfloat64_type_node == NULL_TREE
    1597                 :            :                   && dfloat128_type_node == NULL_TREE);
    1598                 :          0 :       fallback_dfloat32_type = make_node (REAL_TYPE);
    1599                 :          0 :       fallback_dfloat64_type = make_node (REAL_TYPE);
    1600                 :          0 :       fallback_dfloat128_type = make_node (REAL_TYPE);
    1601                 :          0 :       emit_support_tinfo_1 (fallback_dfloat32_type);
    1602                 :          0 :       emit_support_tinfo_1 (fallback_dfloat64_type);
    1603                 :          0 :       emit_support_tinfo_1 (fallback_dfloat128_type);
    1604                 :            :     }
    1605                 :          2 :   input_location = saved_loc;
    1606                 :            : }
    1607                 :            : 
    1608                 :            : /* Finish a type info decl. DECL_PTR is a pointer to an unemitted
    1609                 :            :    tinfo decl.  Determine whether it needs emitting, and if so
    1610                 :            :    generate the initializer.  */
    1611                 :            : 
    1612                 :            : bool
    1613                 :    2765750 : emit_tinfo_decl (tree decl)
    1614                 :            : {
    1615                 :    2765750 :   tree type = TREE_TYPE (DECL_NAME (decl));
    1616                 :    2765750 :   int in_library = typeinfo_in_lib_p (type);
    1617                 :            : 
    1618                 :    2765750 :   gcc_assert (DECL_TINFO_P (decl));
    1619                 :            : 
    1620                 :    2765750 :   if (in_library)
    1621                 :            :     {
    1622                 :      23668 :       if (doing_runtime)
    1623                 :        156 :         DECL_EXTERNAL (decl) = 0;
    1624                 :            :       else
    1625                 :            :         {
    1626                 :            :           /* If we're not in the runtime, then DECL (which is already
    1627                 :            :              DECL_EXTERNAL) will not be defined here.  */
    1628                 :      23512 :           DECL_INTERFACE_KNOWN (decl) = 1;
    1629                 :      23512 :           return false;
    1630                 :            :         }
    1631                 :            :     }
    1632                 :    2742080 :   else if (involves_incomplete_p (type))
    1633                 :            :     {
    1634                 :        105 :       if (!decl_needed_p (decl))
    1635                 :            :         return false;
    1636                 :            :       /* If TYPE involves an incomplete class type, then the typeinfo
    1637                 :            :          object will be emitted with internal linkage.  There is no
    1638                 :            :          way to know whether or not types are incomplete until the end
    1639                 :            :          of the compilation, so this determination must be deferred
    1640                 :            :          until this point.  */
    1641                 :        105 :       TREE_PUBLIC (decl) = 0;
    1642                 :        105 :       DECL_EXTERNAL (decl) = 0;
    1643                 :        105 :       DECL_INTERFACE_KNOWN (decl) = 1;
    1644                 :            :     }
    1645                 :            : 
    1646                 :    2742240 :   import_export_decl (decl);
    1647                 :    2742240 :   if (DECL_NOT_REALLY_EXTERN (decl) && decl_needed_p (decl))
    1648                 :            :     {
    1649                 :     159000 :       tree init;
    1650                 :            : 
    1651                 :     159000 :       DECL_EXTERNAL (decl) = 0;
    1652                 :     159000 :       init = get_pseudo_ti_init (type, get_pseudo_ti_index (type));
    1653                 :     159000 :       DECL_INITIAL (decl) = init;
    1654                 :     159000 :       mark_used (decl);
    1655                 :     159000 :       cp_finish_decl (decl, init, false, NULL_TREE, 0);
    1656                 :            :       /* Avoid targets optionally bumping up the alignment to improve
    1657                 :            :          vector instruction accesses, tinfo are never accessed this way.  */
    1658                 :            : #ifdef DATA_ABI_ALIGNMENT
    1659                 :     159000 :       SET_DECL_ALIGN (decl, DATA_ABI_ALIGNMENT (decl, TYPE_ALIGN (TREE_TYPE (decl))));
    1660                 :     159000 :       DECL_USER_ALIGN (decl) = true;
    1661                 :            : #endif
    1662                 :     159000 :       return true;
    1663                 :            :     }
    1664                 :            :   else
    1665                 :    2583240 :     return false;
    1666                 :            : }
    1667                 :            : 
    1668                 :            : #include "gt-cp-rtti.h"

Generated by: LCOV version 1.0

LCOV profile is generated on x86_64 machine using following configure options: configure --disable-bootstrap --enable-coverage=opt --enable-languages=c,c++,fortran,go,jit,lto --enable-host-shared. GCC test suite is run with the built compiler.