gcc/cp/rtti.c

20 along with GCC; see the file COPYING.  If not, write to
37 /* C++ returns type information to the user in struct type_info
38    objects. We also use type information to implement dynamic_cast and
44    of them directly in the compiler, but we need to layout objects of
45    their type.  Somewhere we have to lie.
49    with explicit mention of their vtable). When we have to provide a
50    type_info to the user we reinterpret_cast the internal compiler
51    type to type_info.  A well formed program can only explicitly refer
52    to the type_infos of complete types (& cv void).  However, we chain
53    pointer type_infos to the pointed-to-type, and that can be
63    corresponding to type_info.  That will only happen at the end of
131 /* Declare language defined type_info type and a pointer to const
156    object pointed to by EXP with type cv void*, if the class has any
176   /* The offset-to-top field is at index -2 from the vptr.  */
188 /* Get a bad_cast node for the program to throw...
225    is a reference to a polymorphic class, return the dynamic type;
249   /* If exp is a reference to polymorphic type, get the real type_info.  */
252       /* build reference to type_info from vtable.  */
387 	 define it later if we need to do so.  */
395       /* Add decl to the global array of tinfo decls.  */
402 /* Return a pointer to a type_info object describing TYPE, suitably
403    cast to the language defined type.  */
427      typeid expression refers to a type_info object representing the
445    RESULT, it must have previously had a save_expr applied to it.  */
472   /* T shall be a pointer or reference to a complete class type, or
473      `pointer to cv void''.  */
483 	  errstr = "target is not pointer or reference to class";
488 	  errstr = "target is not pointer or reference to complete type";
500       /* If T is a pointer type, v shall be an rvalue of a pointer to
510 	  errstr = "source is not a pointer to class";
515 	  errstr = "source is a pointer to incomplete type";
524 	 type, and the result is an lvalue of the type referred to by T.  */
572       /* if TYPE is `void *', return pointer to complete object.  */
603 		  warning (0, "dynamic_cast of %q#D to %q#T can never succeed",
605 		  /* Bash it to the expected type.  */
617 		  warning (0, "dynamic_cast of %q#D to %q#T can never succeed",
696 	  /* Now back to the type we want from a void*.  */
705   error ("cannot dynamic_cast %qE (of type %q#T) to type %q#T (%s)",
746    contains a pointer to member of an incomplete class.  */
800    as comdat, because of pointers to incomplete.) */
849 	  /* We never saw a definition of this type, so we need to
859       /* We need to point into the middle of the vtable.  */
884    additional fields to the type_info base.  */
900    which adds target type and qualifier flags members to the type_info base.  */
906   tree to = TREE_TYPE (target);
907   int flags = qualifier_flags (to);
908   bool incomplete = target_incomplete_p (to);
914 		    get_tinfo_ptr (TYPE_MAIN_VARIANT (to)),
924 /* Return the CONSTRUCTOR expr for a type_info of pointer to member data TYPE.
926    which adds class, target type and qualifier flags members to the type_info
933   tree to = TYPE_PTRMEM_POINTED_TO_TYPE (target);
935   int flags = qualifier_flags (to);
936   bool incomplete = target_incomplete_p (to);
944 		    get_tinfo_ptr (TYPE_MAIN_VARIANT (to)),
959    which adds hint flags and TRAIL initializers to the type_info base.  */
1105    to avoid collisions.  Return a TREE_LIST who's TINFO_PSEUDO_TYPE
1107    vtable.  We have to delay generating the VAR_DECL of the vtable
1163 /* Return the index of a pseudo type info type node used to describe
1325   /* Single public non-virtual base class. Add pointer to base class.
1331   /* Base class internal helper. Pointer to base type, offset to base,
1354      and pointer to the pointed to type.  This is really a descendant of
1361   /* Pointer to member data type_info.  Add qualifications flags,
1362      pointer to the member's type info and pointer to the class.
1374 /* Emit the type_info descriptors which are guaranteed to be in the runtime
1376    structures.  We use the following heuristic to determine when the runtime
1432 	     to have external linkage so that copies do not have to be
1436 	     It might also not be necessary to follow this detail of the
1447 /* Finish a type info decl. DECL_PTR is a pointer to an unemitted
1477 	 way to know whether or not types are incomplete until the end