Remove Java support
[external/binutils.git] / gdb / gdbtypes.h
1
2 /* Internal type definitions for GDB.
3
4    Copyright (C) 1992-2016 Free Software Foundation, Inc.
5
6    Contributed by Cygnus Support, using pieces from other GDB modules.
7
8    This file is part of GDB.
9
10    This program is free software; you can redistribute it and/or modify
11    it under the terms of the GNU General Public License as published by
12    the Free Software Foundation; either version 3 of the License, or
13    (at your option) any later version.
14
15    This program is distributed in the hope that it will be useful,
16    but WITHOUT ANY WARRANTY; without even the implied warranty of
17    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
18    GNU General Public License for more details.
19
20    You should have received a copy of the GNU General Public License
21    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
22
23 #if !defined (GDBTYPES_H)
24 #define GDBTYPES_H 1
25
26 /* * \page gdbtypes GDB Types
27
28    GDB represents all the different kinds of types in programming
29    languages using a common representation defined in gdbtypes.h.
30
31    The main data structure is main_type; it consists of a code (such
32    as #TYPE_CODE_ENUM for enumeration types), a number of
33    generally-useful fields such as the printable name, and finally a
34    field main_type::type_specific that is a union of info specific to
35    particular languages or other special cases (such as calling
36    convention).
37
38    The available type codes are defined in enum #type_code.  The enum
39    includes codes both for types that are common across a variety
40    of languages, and for types that are language-specific.
41
42    Most accesses to type fields go through macros such as
43    #TYPE_CODE(thistype) and #TYPE_FN_FIELD_CONST(thisfn, n).  These are
44    written such that they can be used as both rvalues and lvalues.
45  */
46
47 #include "hashtab.h"
48
49 /* Forward declarations for prototypes.  */
50 struct field;
51 struct block;
52 struct value_print_options;
53 struct language_defn;
54
55 /* These declarations are DWARF-specific as some of the gdbtypes.h data types
56    are already DWARF-specific.  */
57
58 /* * Offset relative to the start of its containing CU (compilation
59    unit).  */
60 typedef struct
61 {
62   unsigned int cu_off;
63 } cu_offset;
64
65 /* * Offset relative to the start of its .debug_info or .debug_types
66    section.  */
67
68 typedef struct
69 {
70   unsigned int sect_off;
71 } sect_offset;
72
73 /* Some macros for char-based bitfields.  */
74
75 #define B_SET(a,x)      ((a)[(x)>>3] |= (1 << ((x)&7)))
76 #define B_CLR(a,x)      ((a)[(x)>>3] &= ~(1 << ((x)&7)))
77 #define B_TST(a,x)      ((a)[(x)>>3] & (1 << ((x)&7)))
78 #define B_TYPE          unsigned char
79 #define B_BYTES(x)      ( 1 + ((x)>>3) )
80 #define B_CLRALL(a,x)   memset ((a), 0, B_BYTES(x))
81
82 /* * Different kinds of data types are distinguished by the `code'
83    field.  */
84
85 enum type_code
86   {
87     TYPE_CODE_BITSTRING = -1,   /**< Deprecated  */
88     TYPE_CODE_UNDEF = 0,        /**< Not used; catches errors */
89     TYPE_CODE_PTR,              /**< Pointer type */
90
91     /* * Array type with lower & upper bounds.
92
93        Regardless of the language, GDB represents multidimensional
94        array types the way C does: as arrays of arrays.  So an
95        instance of a GDB array type T can always be seen as a series
96        of instances of TYPE_TARGET_TYPE (T) laid out sequentially in
97        memory.
98
99        Row-major languages like C lay out multi-dimensional arrays so
100        that incrementing the rightmost index in a subscripting
101        expression results in the smallest change in the address of the
102        element referred to.  Column-major languages like Fortran lay
103        them out so that incrementing the leftmost index results in the
104        smallest change.
105
106        This means that, in column-major languages, working our way
107        from type to target type corresponds to working through indices
108        from right to left, not left to right.  */
109     TYPE_CODE_ARRAY,
110
111     TYPE_CODE_STRUCT,           /**< C struct or Pascal record */
112     TYPE_CODE_UNION,            /**< C union or Pascal variant part */
113     TYPE_CODE_ENUM,             /**< Enumeration type */
114     TYPE_CODE_FLAGS,            /**< Bit flags type */
115     TYPE_CODE_FUNC,             /**< Function type */
116     TYPE_CODE_INT,              /**< Integer type */
117
118     /* * Floating type.  This is *NOT* a complex type.  Beware, there
119        are parts of GDB which bogusly assume that TYPE_CODE_FLT can
120        mean complex.  */
121     TYPE_CODE_FLT,
122
123     /* * Void type.  The length field specifies the length (probably
124        always one) which is used in pointer arithmetic involving
125        pointers to this type, but actually dereferencing such a
126        pointer is invalid; a void type has no length and no actual
127        representation in memory or registers.  A pointer to a void
128        type is a generic pointer.  */
129     TYPE_CODE_VOID,
130
131     TYPE_CODE_SET,              /**< Pascal sets */
132     TYPE_CODE_RANGE,            /**< Range (integers within spec'd bounds).  */
133
134     /* * A string type which is like an array of character but prints
135        differently.  It does not contain a length field as Pascal
136        strings (for many Pascals, anyway) do; if we want to deal with
137        such strings, we should use a new type code.  */
138     TYPE_CODE_STRING,
139
140     /* * Unknown type.  The length field is valid if we were able to
141        deduce that much about the type, or 0 if we don't even know
142        that.  */
143     TYPE_CODE_ERROR,
144
145     /* C++ */
146     TYPE_CODE_METHOD,           /**< Method type */
147
148     /* * Pointer-to-member-function type.  This describes how to access a
149        particular member function of a class (possibly a virtual
150        member function).  The representation may vary between different
151        C++ ABIs.  */
152     TYPE_CODE_METHODPTR,
153
154     /* * Pointer-to-member type.  This is the offset within a class to
155        some particular data member.  The only currently supported
156        representation uses an unbiased offset, with -1 representing
157        NULL; this is used by the Itanium C++ ABI (used by GCC on all
158        platforms).  */
159     TYPE_CODE_MEMBERPTR,
160
161     TYPE_CODE_REF,              /**< C++ Reference types */
162
163     TYPE_CODE_CHAR,             /**< *real* character type */
164
165     /* * Boolean type.  0 is false, 1 is true, and other values are
166        non-boolean (e.g. FORTRAN "logical" used as unsigned int).  */
167     TYPE_CODE_BOOL,
168
169     /* Fortran */
170     TYPE_CODE_COMPLEX,          /**< Complex float */
171
172     TYPE_CODE_TYPEDEF,
173
174     TYPE_CODE_NAMESPACE,        /**< C++ namespace.  */
175
176     TYPE_CODE_DECFLOAT,         /**< Decimal floating point.  */
177
178     TYPE_CODE_MODULE,           /**< Fortran module.  */
179
180     /* * Internal function type.  */
181     TYPE_CODE_INTERNAL_FUNCTION,
182
183     /* * Methods implemented in extension languages.  */
184     TYPE_CODE_XMETHOD
185   };
186
187 /* * Some bits for the type's instance_flags word.  See the macros
188    below for documentation on each bit.  */
189
190 enum type_instance_flag_value
191 {
192   TYPE_INSTANCE_FLAG_CONST = (1 << 0),
193   TYPE_INSTANCE_FLAG_VOLATILE = (1 << 1),
194   TYPE_INSTANCE_FLAG_CODE_SPACE = (1 << 2),
195   TYPE_INSTANCE_FLAG_DATA_SPACE = (1 << 3),
196   TYPE_INSTANCE_FLAG_ADDRESS_CLASS_1 = (1 << 4),
197   TYPE_INSTANCE_FLAG_ADDRESS_CLASS_2 = (1 << 5),
198   TYPE_INSTANCE_FLAG_NOTTEXT = (1 << 6),
199   TYPE_INSTANCE_FLAG_RESTRICT = (1 << 7),
200   TYPE_INSTANCE_FLAG_ATOMIC = (1 << 8)
201 };
202
203 /* * Unsigned integer type.  If this is not set for a TYPE_CODE_INT,
204    the type is signed (unless TYPE_NOSIGN (below) is set).  */
205
206 #define TYPE_UNSIGNED(t)        (TYPE_MAIN_TYPE (t)->flag_unsigned)
207
208 /* * No sign for this type.  In C++, "char", "signed char", and
209    "unsigned char" are distinct types; so we need an extra flag to
210    indicate the absence of a sign!  */
211
212 #define TYPE_NOSIGN(t)          (TYPE_MAIN_TYPE (t)->flag_nosign)
213
214 /* * This appears in a type's flags word if it is a stub type (e.g.,
215    if someone referenced a type that wasn't defined in a source file
216    via (struct sir_not_appearing_in_this_film *)).  */
217
218 #define TYPE_STUB(t)            (TYPE_MAIN_TYPE (t)->flag_stub)
219
220 /* * The target type of this type is a stub type, and this type needs
221    to be updated if it gets un-stubbed in check_typedef.  Used for
222    arrays and ranges, in which TYPE_LENGTH of the array/range gets set
223    based on the TYPE_LENGTH of the target type.  Also, set for
224    TYPE_CODE_TYPEDEF.  */
225
226 #define TYPE_TARGET_STUB(t)     (TYPE_MAIN_TYPE (t)->flag_target_stub)
227
228 /* * Static type.  If this is set, the corresponding type had 
229    a static modifier.
230    Note: This may be unnecessary, since static data members
231    are indicated by other means (bitpos == -1).  */
232
233 #define TYPE_STATIC(t)          (TYPE_MAIN_TYPE (t)->flag_static)
234
235 /* * This is a function type which appears to have a prototype.  We
236    need this for function calls in order to tell us if it's necessary
237    to coerce the args, or to just do the standard conversions.  This
238    is used with a short field.  */
239
240 #define TYPE_PROTOTYPED(t)      (TYPE_MAIN_TYPE (t)->flag_prototyped)
241
242 /* * This flag is used to indicate that processing for this type
243    is incomplete.
244
245    (Mostly intended for HP platforms, where class methods, for
246    instance, can be encountered before their classes in the debug
247    info; the incomplete type has to be marked so that the class and
248    the method can be assigned correct types.)  */
249
250 #define TYPE_INCOMPLETE(t)      (TYPE_MAIN_TYPE (t)->flag_incomplete)
251
252 /* * FIXME drow/2002-06-03:  Only used for methods, but applies as well
253    to functions.  */
254
255 #define TYPE_VARARGS(t)         (TYPE_MAIN_TYPE (t)->flag_varargs)
256
257 /* * Identify a vector type.  Gcc is handling this by adding an extra
258    attribute to the array type.  We slurp that in as a new flag of a
259    type.  This is used only in dwarf2read.c.  */
260 #define TYPE_VECTOR(t)          (TYPE_MAIN_TYPE (t)->flag_vector)
261
262 /* * The debugging formats (especially STABS) do not contain enough
263    information to represent all Ada types---especially those whose
264    size depends on dynamic quantities.  Therefore, the GNAT Ada
265    compiler includes extra information in the form of additional type
266    definitions connected by naming conventions.  This flag indicates
267    that the type is an ordinary (unencoded) GDB type that has been
268    created from the necessary run-time information, and does not need
269    further interpretation.  Optionally marks ordinary, fixed-size GDB
270    type.  */
271
272 #define TYPE_FIXED_INSTANCE(t) (TYPE_MAIN_TYPE (t)->flag_fixed_instance)
273
274 /* * This debug target supports TYPE_STUB(t).  In the unsupported case
275    we have to rely on NFIELDS to be zero etc., see TYPE_IS_OPAQUE().
276    TYPE_STUB(t) with !TYPE_STUB_SUPPORTED(t) may exist if we only
277    guessed the TYPE_STUB(t) value (see dwarfread.c).  */
278
279 #define TYPE_STUB_SUPPORTED(t)   (TYPE_MAIN_TYPE (t)->flag_stub_supported)
280
281 /* * Not textual.  By default, GDB treats all single byte integers as
282    characters (or elements of strings) unless this flag is set.  */
283
284 #define TYPE_NOTTEXT(t) (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_NOTTEXT)
285
286 /* * Used only for TYPE_CODE_FUNC where it specifies the real function
287    address is returned by this function call.  TYPE_TARGET_TYPE
288    determines the final returned function type to be presented to
289    user.  */
290
291 #define TYPE_GNU_IFUNC(t)       (TYPE_MAIN_TYPE (t)->flag_gnu_ifunc)
292
293 /* * Type owner.  If TYPE_OBJFILE_OWNED is true, the type is owned by
294    the objfile retrieved as TYPE_OBJFILE.  Otherweise, the type is
295    owned by an architecture; TYPE_OBJFILE is NULL in this case.  */
296
297 #define TYPE_OBJFILE_OWNED(t) (TYPE_MAIN_TYPE (t)->flag_objfile_owned)
298 #define TYPE_OWNER(t) TYPE_MAIN_TYPE(t)->owner
299 #define TYPE_OBJFILE(t) (TYPE_OBJFILE_OWNED(t)? TYPE_OWNER(t).objfile : NULL)
300
301 /* * True if this type was declared using the "class" keyword.  This is
302    only valid for C++ structure and enum types.  If false, a structure
303    was declared as a "struct"; if true it was declared "class".  For
304    enum types, this is true when "enum class" or "enum struct" was
305    used to declare the type..  */
306
307 #define TYPE_DECLARED_CLASS(t) (TYPE_MAIN_TYPE (t)->flag_declared_class)
308
309 /* * True if this type is a "flag" enum.  A flag enum is one where all
310    the values are pairwise disjoint when "and"ed together.  This
311    affects how enum values are printed.  */
312
313 #define TYPE_FLAG_ENUM(t) (TYPE_MAIN_TYPE (t)->flag_flag_enum)
314
315 /* * Constant type.  If this is set, the corresponding type has a
316    const modifier.  */
317
318 #define TYPE_CONST(t) (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_CONST)
319
320 /* * Volatile type.  If this is set, the corresponding type has a
321    volatile modifier.  */
322
323 #define TYPE_VOLATILE(t) \
324   (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_VOLATILE)
325
326 /* * Restrict type.  If this is set, the corresponding type has a
327    restrict modifier.  */
328
329 #define TYPE_RESTRICT(t) \
330   (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_RESTRICT)
331
332 /* * Atomic type.  If this is set, the corresponding type has an
333    _Atomic modifier.  */
334
335 #define TYPE_ATOMIC(t) \
336   (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_ATOMIC)
337
338 /* * Instruction-space delimited type.  This is for Harvard architectures
339    which have separate instruction and data address spaces (and perhaps
340    others).
341
342    GDB usually defines a flat address space that is a superset of the
343    architecture's two (or more) address spaces, but this is an extension
344    of the architecture's model.
345
346    If TYPE_INSTANCE_FLAG_CODE_SPACE is set, an object of the corresponding type
347    resides in instruction memory, even if its address (in the extended
348    flat address space) does not reflect this.
349
350    Similarly, if TYPE_INSTANCE_FLAG_DATA_SPACE is set, then an object of the
351    corresponding type resides in the data memory space, even if
352    this is not indicated by its (flat address space) address.
353
354    If neither flag is set, the default space for functions / methods
355    is instruction space, and for data objects is data memory.  */
356
357 #define TYPE_CODE_SPACE(t) \
358   (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_CODE_SPACE)
359
360 #define TYPE_DATA_SPACE(t) \
361   (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_DATA_SPACE)
362
363 /* * Address class flags.  Some environments provide for pointers
364    whose size is different from that of a normal pointer or address
365    types where the bits are interpreted differently than normal
366    addresses.  The TYPE_INSTANCE_FLAG_ADDRESS_CLASS_n flags may be used in
367    target specific ways to represent these different types of address
368    classes.  */
369
370 #define TYPE_ADDRESS_CLASS_1(t) (TYPE_INSTANCE_FLAGS(t) \
371                                  & TYPE_INSTANCE_FLAG_ADDRESS_CLASS_1)
372 #define TYPE_ADDRESS_CLASS_2(t) (TYPE_INSTANCE_FLAGS(t) \
373                                  & TYPE_INSTANCE_FLAG_ADDRESS_CLASS_2)
374 #define TYPE_INSTANCE_FLAG_ADDRESS_CLASS_ALL \
375   (TYPE_INSTANCE_FLAG_ADDRESS_CLASS_1 | TYPE_INSTANCE_FLAG_ADDRESS_CLASS_2)
376 #define TYPE_ADDRESS_CLASS_ALL(t) (TYPE_INSTANCE_FLAGS(t) \
377                                    & TYPE_INSTANCE_FLAG_ADDRESS_CLASS_ALL)
378
379 enum dynamic_prop_kind
380 {
381   PROP_UNDEFINED, /* Not defined.  */
382   PROP_CONST,     /* Constant.  */
383   PROP_ADDR_OFFSET, /* Address offset.  */
384   PROP_LOCEXPR,   /* Location expression.  */
385   PROP_LOCLIST    /* Location list.  */
386 };
387
388 union dynamic_prop_data
389 {
390   /* Storage for constant property.  */
391
392   LONGEST const_val;
393
394   /* Storage for dynamic property.  */
395
396   void *baton;
397 };
398
399 /* * Used to store a dynamic property.  */
400
401 struct dynamic_prop
402 {
403   /* Determine which field of the union dynamic_prop.data is used.  */
404   enum dynamic_prop_kind kind;
405
406   /* Storage for dynamic or static value.  */
407   union dynamic_prop_data data;
408 };
409
410 /* * Define a type's dynamic property node kind.  */
411 enum dynamic_prop_node_kind
412 {
413   /* A property providing a type's data location.
414      Evaluating this field yields to the location of an object's data.  */
415   DYN_PROP_DATA_LOCATION,
416
417   /* A property representing DW_AT_allocated.  The presence of this attribute
418      indicates that the object of the type can be allocated/deallocated.  */
419   DYN_PROP_ALLOCATED,
420
421   /* A property representing DW_AT_allocated.  The presence of this attribute
422      indicated that the object of the type can be associated.  */
423   DYN_PROP_ASSOCIATED,
424 };
425
426 /* * List for dynamic type attributes.  */
427 struct dynamic_prop_list
428 {
429   /* The kind of dynamic prop in this node.  */
430   enum dynamic_prop_node_kind prop_kind;
431
432   /* The dynamic property itself.  */
433   struct dynamic_prop prop;
434
435   /* A pointer to the next dynamic property.  */
436   struct dynamic_prop_list *next;
437 };
438
439 /* * Determine which field of the union main_type.fields[x].loc is
440    used.  */
441
442 enum field_loc_kind
443   {
444     FIELD_LOC_KIND_BITPOS,      /**< bitpos */
445     FIELD_LOC_KIND_ENUMVAL,     /**< enumval */
446     FIELD_LOC_KIND_PHYSADDR,    /**< physaddr */
447     FIELD_LOC_KIND_PHYSNAME,    /**< physname */
448     FIELD_LOC_KIND_DWARF_BLOCK  /**< dwarf_block */
449   };
450
451 /* * A discriminant to determine which field in the
452    main_type.type_specific union is being used, if any.
453
454    For types such as TYPE_CODE_FLT, the use of this
455    discriminant is really redundant, as we know from the type code
456    which field is going to be used.  As such, it would be possible to
457    reduce the size of this enum in order to save a bit or two for
458    other fields of struct main_type.  But, since we still have extra
459    room , and for the sake of clarity and consistency, we treat all fields
460    of the union the same way.  */
461
462 enum type_specific_kind
463 {
464   TYPE_SPECIFIC_NONE,
465   TYPE_SPECIFIC_CPLUS_STUFF,
466   TYPE_SPECIFIC_GNAT_STUFF,
467   TYPE_SPECIFIC_FLOATFORMAT,
468   /* Note: This is used by TYPE_CODE_FUNC and TYPE_CODE_METHOD.  */
469   TYPE_SPECIFIC_FUNC,
470   TYPE_SPECIFIC_SELF_TYPE
471 };
472
473 union type_owner
474 {
475   struct objfile *objfile;
476   struct gdbarch *gdbarch;
477 };
478
479 union field_location
480 {
481   /* * Position of this field, counting in bits from start of
482      containing structure.  For gdbarch_bits_big_endian=1
483      targets, it is the bit offset to the MSB.  For
484      gdbarch_bits_big_endian=0 targets, it is the bit offset to
485      the LSB.  */
486
487   LONGEST bitpos;
488
489   /* * Enum value.  */
490   LONGEST enumval;
491
492   /* * For a static field, if TYPE_FIELD_STATIC_HAS_ADDR then
493      physaddr is the location (in the target) of the static
494      field.  Otherwise, physname is the mangled label of the
495      static field.  */
496
497   CORE_ADDR physaddr;
498   const char *physname;
499
500   /* * The field location can be computed by evaluating the
501      following DWARF block.  Its DATA is allocated on
502      objfile_obstack - no CU load is needed to access it.  */
503
504   struct dwarf2_locexpr_baton *dwarf_block;
505 };
506
507 struct field
508 {
509   union field_location loc;
510
511   /* * For a function or member type, this is 1 if the argument is
512      marked artificial.  Artificial arguments should not be shown
513      to the user.  For TYPE_CODE_RANGE it is set if the specific
514      bound is not defined.  */
515
516   unsigned int artificial : 1;
517
518   /* * Discriminant for union field_location.  */
519
520   ENUM_BITFIELD(field_loc_kind) loc_kind : 3;
521
522   /* * Size of this field, in bits, or zero if not packed.
523      If non-zero in an array type, indicates the element size in
524      bits (used only in Ada at the moment).
525      For an unpacked field, the field's type's length
526      says how many bytes the field occupies.  */
527
528   unsigned int bitsize : 28;
529
530   /* * In a struct or union type, type of this field.
531      - In a function or member type, type of this argument.
532      - In an array type, the domain-type of the array.  */
533
534   struct type *type;
535
536   /* * Name of field, value or argument.
537      NULL for range bounds, array domains, and member function
538      arguments.  */
539
540   const char *name;
541 };
542
543 struct range_bounds
544 {
545   /* * Low bound of range.  */
546
547   struct dynamic_prop low;
548
549   /* * High bound of range.  */
550
551   struct dynamic_prop high;
552
553   /* True if HIGH range bound contains the number of elements in the
554      subrange. This affects how the final hight bound is computed.  */
555
556   int flag_upper_bound_is_count : 1;
557
558   /* True if LOW or/and HIGH are resolved into a static bound from
559      a dynamic one.  */
560
561   int flag_bound_evaluated : 1;
562 };
563
564 union type_specific
565 {
566   /* * CPLUS_STUFF is for TYPE_CODE_STRUCT.  It is initialized to
567      point to cplus_struct_default, a default static instance of a
568      struct cplus_struct_type.  */
569
570   struct cplus_struct_type *cplus_stuff;
571
572   /* * GNAT_STUFF is for types for which the GNAT Ada compiler
573      provides additional information.  */
574
575   struct gnat_aux_type *gnat_stuff;
576
577   /* * FLOATFORMAT is for TYPE_CODE_FLT.  It is a pointer to two
578      floatformat objects that describe the floating-point value
579      that resides within the type.  The first is for big endian
580      targets and the second is for little endian targets.  */
581
582   const struct floatformat **floatformat;
583
584   /* * For TYPE_CODE_FUNC and TYPE_CODE_METHOD types.  */
585
586   struct func_type *func_stuff;
587
588   /* * For types that are pointer to member types (TYPE_CODE_METHODPTR,
589      TYPE_CODE_MEMBERPTR), SELF_TYPE is the type that this pointer
590      is a member of.  */
591
592   struct type *self_type;
593 };
594
595 /* * Main structure representing a type in GDB.
596
597    This structure is space-critical.  Its layout has been tweaked to
598    reduce the space used.  */
599
600 struct main_type
601 {
602   /* * Code for kind of type.  */
603
604   ENUM_BITFIELD(type_code) code : 8;
605
606   /* * Flags about this type.  These fields appear at this location
607      because they packs nicely here.  See the TYPE_* macros for
608      documentation about these fields.  */
609
610   unsigned int flag_unsigned : 1;
611   unsigned int flag_nosign : 1;
612   unsigned int flag_stub : 1;
613   unsigned int flag_target_stub : 1;
614   unsigned int flag_static : 1;
615   unsigned int flag_prototyped : 1;
616   unsigned int flag_incomplete : 1;
617   unsigned int flag_varargs : 1;
618   unsigned int flag_vector : 1;
619   unsigned int flag_stub_supported : 1;
620   unsigned int flag_gnu_ifunc : 1;
621   unsigned int flag_fixed_instance : 1;
622   unsigned int flag_objfile_owned : 1;
623
624   /* * True if this type was declared with "class" rather than
625      "struct".  */
626
627   unsigned int flag_declared_class : 1;
628
629   /* * True if this is an enum type with disjoint values.  This
630      affects how the enum is printed.  */
631
632   unsigned int flag_flag_enum : 1;
633
634   /* * A discriminant telling us which field of the type_specific
635      union is being used for this type, if any.  */
636
637   ENUM_BITFIELD(type_specific_kind) type_specific_field : 3;
638
639   /* * Number of fields described for this type.  This field appears
640      at this location because it packs nicely here.  */
641
642   short nfields;
643
644   /* * Name of this type, or NULL if none.
645
646      This is used for printing only, except by poorly designed C++
647      code.  For looking up a name, look for a symbol in the
648      VAR_DOMAIN.  This is generally allocated in the objfile's
649      obstack.  However coffread.c uses malloc.  */
650
651   const char *name;
652
653   /* * Tag name for this type, or NULL if none.  This means that the
654      name of the type consists of a keyword followed by the tag name.
655      Which keyword is determined by the type code ("struct" for
656      TYPE_CODE_STRUCT, etc.).  As far as I know C/C++ are the only
657      languages with this feature.
658
659      This is used for printing only, except by poorly designed C++ code.
660      For looking up a name, look for a symbol in the STRUCT_DOMAIN.
661      One more legitimate use is that if TYPE_STUB is set, this is
662      the name to use to look for definitions in other files.  */
663
664   const char *tag_name;
665
666   /* * Every type is now associated with a particular objfile, and the
667      type is allocated on the objfile_obstack for that objfile.  One
668      problem however, is that there are times when gdb allocates new
669      types while it is not in the process of reading symbols from a
670      particular objfile.  Fortunately, these happen when the type
671      being created is a derived type of an existing type, such as in
672      lookup_pointer_type().  So we can just allocate the new type
673      using the same objfile as the existing type, but to do this we
674      need a backpointer to the objfile from the existing type.  Yes
675      this is somewhat ugly, but without major overhaul of the internal
676      type system, it can't be avoided for now.  */
677
678   union type_owner owner;
679
680   /* * For a pointer type, describes the type of object pointed to.
681      - For an array type, describes the type of the elements.
682      - For a function or method type, describes the type of the return value.
683      - For a range type, describes the type of the full range.
684      - For a complex type, describes the type of each coordinate.
685      - For a special record or union type encoding a dynamic-sized type
686      in GNAT, a memoized pointer to a corresponding static version of
687      the type.
688      - Unused otherwise.  */
689
690   struct type *target_type;
691
692   /* * For structure and union types, a description of each field.
693      For set and pascal array types, there is one "field",
694      whose type is the domain type of the set or array.
695      For range types, there are two "fields",
696      the minimum and maximum values (both inclusive).
697      For enum types, each possible value is described by one "field".
698      For a function or method type, a "field" for each parameter.
699      For C++ classes, there is one field for each base class (if it is
700      a derived class) plus one field for each class data member.  Member
701      functions are recorded elsewhere.
702
703      Using a pointer to a separate array of fields
704      allows all types to have the same size, which is useful
705      because we can allocate the space for a type before
706      we know what to put in it.  */
707
708   union 
709   {
710     struct field *fields;
711
712     /* * Union member used for range types.  */
713
714     struct range_bounds *bounds;
715
716   } flds_bnds;
717
718   /* * Slot to point to additional language-specific fields of this
719      type.  */
720
721   union type_specific type_specific;
722
723   /* * Contains all dynamic type properties.  */
724   struct dynamic_prop_list *dyn_prop_list;
725 };
726
727 /* * A ``struct type'' describes a particular instance of a type, with
728    some particular qualification.  */
729
730 struct type
731 {
732   /* * Type that is a pointer to this type.
733      NULL if no such pointer-to type is known yet.
734      The debugger may add the address of such a type
735      if it has to construct one later.  */
736
737   struct type *pointer_type;
738
739   /* * C++: also need a reference type.  */
740
741   struct type *reference_type;
742
743   /* * Variant chain.  This points to a type that differs from this
744      one only in qualifiers and length.  Currently, the possible
745      qualifiers are const, volatile, code-space, data-space, and
746      address class.  The length may differ only when one of the
747      address class flags are set.  The variants are linked in a
748      circular ring and share MAIN_TYPE.  */
749
750   struct type *chain;
751
752   /* * Flags specific to this instance of the type, indicating where
753      on the ring we are.
754
755      For TYPE_CODE_TYPEDEF the flags of the typedef type should be
756      binary or-ed with the target type, with a special case for
757      address class and space class.  For example if this typedef does
758      not specify any new qualifiers, TYPE_INSTANCE_FLAGS is 0 and the
759      instance flags are completely inherited from the target type.  No
760      qualifiers can be cleared by the typedef.  See also
761      check_typedef.  */
762   int instance_flags;
763
764   /* * Length of storage for a value of this type.  The value is the
765      expression in host bytes of what sizeof(type) would return.  This
766      size includes padding.  For example, an i386 extended-precision
767      floating point value really only occupies ten bytes, but most
768      ABI's declare its size to be 12 bytes, to preserve alignment.
769      A `struct type' representing such a floating-point type would
770      have a `length' value of 12, even though the last two bytes are
771      unused.
772
773      Since this field is expressed in host bytes, its value is appropriate
774      to pass to memcpy and such (it is assumed that GDB itself always runs
775      on an 8-bits addressable architecture).  However, when using it for
776      target address arithmetic (e.g. adding it to a target address), the
777      type_length_units function should be used in order to get the length
778      expressed in target addressable memory units.  */
779
780   unsigned int length;
781
782   /* * Core type, shared by a group of qualified types.  */
783
784   struct main_type *main_type;
785 };
786
787 #define NULL_TYPE ((struct type *) 0)
788
789 struct fn_fieldlist
790 {
791
792   /* * The overloaded name.
793      This is generally allocated in the objfile's obstack.
794      However stabsread.c sometimes uses malloc.  */
795
796   const char *name;
797
798   /* * The number of methods with this name.  */
799
800   int length;
801
802   /* * The list of methods.  */
803
804   struct fn_field *fn_fields;
805 };
806
807
808
809 struct fn_field
810 {
811   /* * If is_stub is clear, this is the mangled name which we can look
812      up to find the address of the method (FIXME: it would be cleaner
813      to have a pointer to the struct symbol here instead).
814
815      If is_stub is set, this is the portion of the mangled name which
816      specifies the arguments.  For example, "ii", if there are two int
817      arguments, or "" if there are no arguments.  See gdb_mangle_name
818      for the conversion from this format to the one used if is_stub is
819      clear.  */
820
821   const char *physname;
822
823   /* * The function type for the method.
824                
825      (This comment used to say "The return value of the method", but
826      that's wrong.  The function type is expected here, i.e. something
827      with TYPE_CODE_METHOD, and *not* the return-value type).  */
828
829   struct type *type;
830
831   /* * For virtual functions.  First baseclass that defines this
832      virtual function.  */
833
834   struct type *fcontext;
835
836   /* Attributes.  */
837
838   unsigned int is_const:1;
839   unsigned int is_volatile:1;
840   unsigned int is_private:1;
841   unsigned int is_protected:1;
842   unsigned int is_public:1;
843   unsigned int is_abstract:1;
844   unsigned int is_static:1;
845   unsigned int is_final:1;
846   unsigned int is_synchronized:1;
847   unsigned int is_native:1;
848   unsigned int is_artificial:1;
849
850   /* * A stub method only has some fields valid (but they are enough
851      to reconstruct the rest of the fields).  */
852
853   unsigned int is_stub:1;
854
855   /* * True if this function is a constructor, false otherwise.  */
856
857   unsigned int is_constructor : 1;
858
859   /* * Unused.  */
860
861   unsigned int dummy:3;
862
863   /* * Index into that baseclass's virtual function table, minus 2;
864      else if static: VOFFSET_STATIC; else: 0.  */
865
866   unsigned int voffset:16;
867
868 #define VOFFSET_STATIC 1
869
870 };
871
872 struct typedef_field
873 {
874   /* * Unqualified name to be prefixed by owning class qualified
875      name.  */
876
877   const char *name;
878
879   /* * Type this typedef named NAME represents.  */
880
881   struct type *type;
882 };
883
884 /* * C++ language-specific information for TYPE_CODE_STRUCT and
885    TYPE_CODE_UNION nodes.  */
886
887 struct cplus_struct_type
888   {
889     /* * Number of base classes this type derives from.  The
890        baseclasses are stored in the first N_BASECLASSES fields
891        (i.e. the `fields' field of the struct type).  The only fields
892        of struct field that are used are: type, name, loc.bitpos.  */
893
894     short n_baseclasses;
895
896     /* * Field number of the virtual function table pointer in VPTR_BASETYPE.
897        All access to this field must be through TYPE_VPTR_FIELDNO as one
898        thing it does is check whether the field has been initialized.
899        Initially TYPE_RAW_CPLUS_SPECIFIC has the value of cplus_struct_default,
900        which for portability reasons doesn't initialize this field.
901        TYPE_VPTR_FIELDNO returns -1 for this case.
902
903        If -1, we were unable to find the virtual function table pointer in
904        initial symbol reading, and get_vptr_fieldno should be called to find
905        it if possible.  get_vptr_fieldno will update this field if possible.
906        Otherwise the value is left at -1.
907
908        Unused if this type does not have virtual functions.  */
909
910     short vptr_fieldno;
911
912     /* * Number of methods with unique names.  All overloaded methods
913        with the same name count only once.  */
914
915     short nfn_fields;
916
917     /* * Number of template arguments.  */
918
919     unsigned short n_template_arguments;
920
921     /* * One if this struct is a dynamic class, as defined by the
922        Itanium C++ ABI: if it requires a virtual table pointer,
923        because it or any of its base classes have one or more virtual
924        member functions or virtual base classes.  Minus one if not
925        dynamic.  Zero if not yet computed.  */
926
927     int is_dynamic : 2;
928
929     /* * The base class which defined the virtual function table pointer.  */
930
931     struct type *vptr_basetype;
932
933     /* * For derived classes, the number of base classes is given by
934        n_baseclasses and virtual_field_bits is a bit vector containing
935        one bit per base class.  If the base class is virtual, the
936        corresponding bit will be set.
937        I.E, given:
938
939        class A{};
940        class B{};
941        class C : public B, public virtual A {};
942
943        B is a baseclass of C; A is a virtual baseclass for C.
944        This is a C++ 2.0 language feature.  */
945
946     B_TYPE *virtual_field_bits;
947
948     /* * For classes with private fields, the number of fields is
949        given by nfields and private_field_bits is a bit vector
950        containing one bit per field.
951
952        If the field is private, the corresponding bit will be set.  */
953
954     B_TYPE *private_field_bits;
955
956     /* * For classes with protected fields, the number of fields is
957        given by nfields and protected_field_bits is a bit vector
958        containing one bit per field.
959
960        If the field is private, the corresponding bit will be set.  */
961
962     B_TYPE *protected_field_bits;
963
964     /* * For classes with fields to be ignored, either this is
965        optimized out or this field has length 0.  */
966
967     B_TYPE *ignore_field_bits;
968
969     /* * For classes, structures, and unions, a description of each
970        field, which consists of an overloaded name, followed by the
971        types of arguments that the method expects, and then the name
972        after it has been renamed to make it distinct.
973
974        fn_fieldlists points to an array of nfn_fields of these.  */
975
976     struct fn_fieldlist *fn_fieldlists;
977
978     /* * typedefs defined inside this class.  typedef_field points to
979        an array of typedef_field_count elements.  */
980
981     struct typedef_field *typedef_field;
982
983     unsigned typedef_field_count;
984
985     /* * The template arguments.  This is an array with
986        N_TEMPLATE_ARGUMENTS elements.  This is NULL for non-template
987        classes.  */
988
989     struct symbol **template_arguments;
990   };
991
992 /* * Struct used to store conversion rankings.  */
993
994 struct rank
995   {
996     short rank;
997
998     /* * When two conversions are of the same type and therefore have
999        the same rank, subrank is used to differentiate the two.
1000
1001        Eg: Two derived-class-pointer to base-class-pointer conversions
1002        would both have base pointer conversion rank, but the
1003        conversion with the shorter distance to the ancestor is
1004        preferable.  'subrank' would be used to reflect that.  */
1005
1006     short subrank;
1007   };
1008
1009 /* * Struct used for ranking a function for overload resolution.  */
1010
1011 struct badness_vector
1012   {
1013     int length;
1014     struct rank *rank;
1015   };
1016
1017 /* * GNAT Ada-specific information for various Ada types.  */
1018
1019 struct gnat_aux_type
1020   {
1021     /* * Parallel type used to encode information about dynamic types
1022        used in Ada (such as variant records, variable-size array,
1023        etc).  */
1024     struct type* descriptive_type;
1025   };
1026
1027 /* * For TYPE_CODE_FUNC and TYPE_CODE_METHOD types.  */
1028
1029 struct func_type
1030   {
1031     /* * The calling convention for targets supporting multiple ABIs.
1032        Right now this is only fetched from the Dwarf-2
1033        DW_AT_calling_convention attribute.  The value is one of the
1034        DW_CC enum dwarf_calling_convention constants.  */
1035
1036     unsigned calling_convention : 8;
1037
1038     /* * Whether this function normally returns to its caller.  It is
1039        set from the DW_AT_noreturn attribute if set on the
1040        DW_TAG_subprogram.  */
1041
1042     unsigned int is_noreturn : 1;
1043
1044     /* * Only those DW_TAG_GNU_call_site's in this function that have
1045        DW_AT_GNU_tail_call set are linked in this list.  Function
1046        without its tail call list complete
1047        (DW_AT_GNU_all_tail_call_sites or its superset
1048        DW_AT_GNU_all_call_sites) has TAIL_CALL_LIST NULL, even if some
1049        DW_TAG_GNU_call_site's exist in such function. */
1050
1051     struct call_site *tail_call_list;
1052
1053     /* * For method types (TYPE_CODE_METHOD), the aggregate type that
1054        contains the method.  */
1055
1056     struct type *self_type;
1057   };
1058
1059 /* struct call_site_parameter can be referenced in callees by several ways.  */
1060
1061 enum call_site_parameter_kind
1062 {
1063   /* * Use field call_site_parameter.u.dwarf_reg.  */
1064   CALL_SITE_PARAMETER_DWARF_REG,
1065
1066   /* * Use field call_site_parameter.u.fb_offset.  */
1067   CALL_SITE_PARAMETER_FB_OFFSET,
1068
1069   /* * Use field call_site_parameter.u.param_offset.  */
1070   CALL_SITE_PARAMETER_PARAM_OFFSET
1071 };
1072
1073 struct call_site_target
1074 {
1075   union field_location loc;
1076
1077   /* * Discriminant for union field_location.  */
1078
1079   ENUM_BITFIELD(field_loc_kind) loc_kind : 3;
1080 };
1081
1082 union call_site_parameter_u
1083 {
1084   /* * DW_TAG_formal_parameter's DW_AT_location's DW_OP_regX
1085      as DWARF register number, for register passed
1086      parameters.  */
1087
1088   int dwarf_reg;
1089
1090   /* * Offset from the callee's frame base, for stack passed
1091      parameters.  This equals offset from the caller's stack
1092      pointer.  */
1093
1094   CORE_ADDR fb_offset;
1095
1096   /* * Offset relative to the start of this PER_CU to
1097      DW_TAG_formal_parameter which is referenced by both
1098      caller and the callee.  */
1099
1100   cu_offset param_offset;
1101 };
1102
1103 struct call_site_parameter
1104 {
1105   ENUM_BITFIELD (call_site_parameter_kind) kind : 2;
1106
1107   union call_site_parameter_u u;
1108
1109   /* * DW_TAG_formal_parameter's DW_AT_GNU_call_site_value.  It
1110      is never NULL.  */
1111
1112   const gdb_byte *value;
1113   size_t value_size;
1114
1115   /* * DW_TAG_formal_parameter's DW_AT_GNU_call_site_data_value.
1116      It may be NULL if not provided by DWARF.  */
1117
1118   const gdb_byte *data_value;
1119   size_t data_value_size;
1120 };
1121
1122 /* * A place where a function gets called from, represented by
1123    DW_TAG_GNU_call_site.  It can be looked up from
1124    symtab->call_site_htab.  */
1125
1126 struct call_site
1127   {
1128     /* * Address of the first instruction after this call.  It must be
1129        the first field as we overload core_addr_hash and core_addr_eq
1130        for it.  */
1131
1132     CORE_ADDR pc;
1133
1134     /* * List successor with head in FUNC_TYPE.TAIL_CALL_LIST.  */
1135
1136     struct call_site *tail_call_next;
1137
1138     /* * Describe DW_AT_GNU_call_site_target.  Missing attribute uses
1139        FIELD_LOC_KIND_DWARF_BLOCK with FIELD_DWARF_BLOCK == NULL.  */
1140
1141     struct call_site_target target;
1142
1143     /* * Size of the PARAMETER array.  */
1144
1145     unsigned parameter_count;
1146
1147     /* * CU of the function where the call is located.  It gets used
1148        for DWARF blocks execution in the parameter array below.  */
1149
1150     struct dwarf2_per_cu_data *per_cu;
1151
1152     /* * Describe DW_TAG_GNU_call_site's DW_TAG_formal_parameter.  */
1153
1154     struct call_site_parameter parameter[1];
1155   };
1156
1157 /* * The default value of TYPE_CPLUS_SPECIFIC(T) points to this shared
1158    static structure.  */
1159
1160 extern const struct cplus_struct_type cplus_struct_default;
1161
1162 extern void allocate_cplus_struct_type (struct type *);
1163
1164 #define INIT_CPLUS_SPECIFIC(type) \
1165   (TYPE_SPECIFIC_FIELD (type) = TYPE_SPECIFIC_CPLUS_STUFF, \
1166    TYPE_RAW_CPLUS_SPECIFIC (type) = (struct cplus_struct_type*) \
1167    &cplus_struct_default)
1168
1169 #define ALLOCATE_CPLUS_STRUCT_TYPE(type) allocate_cplus_struct_type (type)
1170
1171 #define HAVE_CPLUS_STRUCT(type) \
1172   (TYPE_SPECIFIC_FIELD (type) == TYPE_SPECIFIC_CPLUS_STUFF \
1173    && TYPE_RAW_CPLUS_SPECIFIC (type) !=  &cplus_struct_default)
1174
1175 extern const struct gnat_aux_type gnat_aux_default;
1176
1177 extern void allocate_gnat_aux_type (struct type *);
1178
1179 #define INIT_GNAT_SPECIFIC(type) \
1180   (TYPE_SPECIFIC_FIELD (type) = TYPE_SPECIFIC_GNAT_STUFF, \
1181    TYPE_GNAT_SPECIFIC (type) = (struct gnat_aux_type *) &gnat_aux_default)
1182 #define ALLOCATE_GNAT_AUX_TYPE(type) allocate_gnat_aux_type (type)
1183 /* * A macro that returns non-zero if the type-specific data should be
1184    read as "gnat-stuff".  */
1185 #define HAVE_GNAT_AUX_INFO(type) \
1186   (TYPE_SPECIFIC_FIELD (type) == TYPE_SPECIFIC_GNAT_STUFF)
1187
1188 #define INIT_FUNC_SPECIFIC(type)                                               \
1189   (TYPE_SPECIFIC_FIELD (type) = TYPE_SPECIFIC_FUNC,                            \
1190    TYPE_MAIN_TYPE (type)->type_specific.func_stuff = (struct func_type *)      \
1191      TYPE_ZALLOC (type,                                                        \
1192                   sizeof (*TYPE_MAIN_TYPE (type)->type_specific.func_stuff)))
1193
1194 #define TYPE_INSTANCE_FLAGS(thistype) (thistype)->instance_flags
1195 #define TYPE_MAIN_TYPE(thistype) (thistype)->main_type
1196 #define TYPE_NAME(thistype) TYPE_MAIN_TYPE(thistype)->name
1197 #define TYPE_TAG_NAME(type) TYPE_MAIN_TYPE(type)->tag_name
1198 #define TYPE_TARGET_TYPE(thistype) TYPE_MAIN_TYPE(thistype)->target_type
1199 #define TYPE_POINTER_TYPE(thistype) (thistype)->pointer_type
1200 #define TYPE_REFERENCE_TYPE(thistype) (thistype)->reference_type
1201 #define TYPE_CHAIN(thistype) (thistype)->chain
1202 /* * Note that if thistype is a TYPEDEF type, you have to call check_typedef.
1203    But check_typedef does set the TYPE_LENGTH of the TYPEDEF type,
1204    so you only have to call check_typedef once.  Since allocate_value
1205    calls check_typedef, TYPE_LENGTH (VALUE_TYPE (X)) is safe.  */
1206 #define TYPE_LENGTH(thistype) (thistype)->length
1207 /* * Note that TYPE_CODE can be TYPE_CODE_TYPEDEF, so if you want the real
1208    type, you need to do TYPE_CODE (check_type (this_type)).  */
1209 #define TYPE_CODE(thistype) TYPE_MAIN_TYPE(thistype)->code
1210 #define TYPE_NFIELDS(thistype) TYPE_MAIN_TYPE(thistype)->nfields
1211 #define TYPE_FIELDS(thistype) TYPE_MAIN_TYPE(thistype)->flds_bnds.fields
1212
1213 #define TYPE_INDEX_TYPE(type) TYPE_FIELD_TYPE (type, 0)
1214 #define TYPE_RANGE_DATA(thistype) TYPE_MAIN_TYPE(thistype)->flds_bnds.bounds
1215 #define TYPE_LOW_BOUND(range_type) \
1216   TYPE_RANGE_DATA(range_type)->low.data.const_val
1217 #define TYPE_HIGH_BOUND(range_type) \
1218   TYPE_RANGE_DATA(range_type)->high.data.const_val
1219 #define TYPE_LOW_BOUND_UNDEFINED(range_type) \
1220   (TYPE_RANGE_DATA(range_type)->low.kind == PROP_UNDEFINED)
1221 #define TYPE_HIGH_BOUND_UNDEFINED(range_type) \
1222   (TYPE_RANGE_DATA(range_type)->high.kind == PROP_UNDEFINED)
1223 #define TYPE_HIGH_BOUND_KIND(range_type) \
1224   TYPE_RANGE_DATA(range_type)->high.kind
1225 #define TYPE_LOW_BOUND_KIND(range_type) \
1226   TYPE_RANGE_DATA(range_type)->low.kind
1227
1228 /* Property accessors for the type data location.  */
1229 #define TYPE_DATA_LOCATION(thistype) \
1230   get_dyn_prop (DYN_PROP_DATA_LOCATION, thistype)
1231 #define TYPE_DATA_LOCATION_BATON(thistype) \
1232   TYPE_DATA_LOCATION (thistype)->data.baton
1233 #define TYPE_DATA_LOCATION_ADDR(thistype) \
1234   TYPE_DATA_LOCATION (thistype)->data.const_val
1235 #define TYPE_DATA_LOCATION_KIND(thistype) \
1236   TYPE_DATA_LOCATION (thistype)->kind
1237
1238 /* Property accessors for the type allocated/associated.  */
1239 #define TYPE_ALLOCATED_PROP(thistype) \
1240   get_dyn_prop (DYN_PROP_ALLOCATED, thistype)
1241 #define TYPE_ASSOCIATED_PROP(thistype) \
1242   get_dyn_prop (DYN_PROP_ASSOCIATED, thistype)
1243
1244 /* Attribute accessors for dynamic properties.  */
1245 #define TYPE_DYN_PROP_LIST(thistype) \
1246   TYPE_MAIN_TYPE(thistype)->dyn_prop_list
1247 #define TYPE_DYN_PROP_BATON(dynprop) \
1248   dynprop->data.baton
1249 #define TYPE_DYN_PROP_ADDR(dynprop) \
1250   dynprop->data.const_val
1251 #define TYPE_DYN_PROP_KIND(dynprop) \
1252   dynprop->kind
1253
1254
1255 /* Moto-specific stuff for FORTRAN arrays.  */
1256
1257 #define TYPE_ARRAY_UPPER_BOUND_IS_UNDEFINED(arraytype) \
1258    TYPE_HIGH_BOUND_UNDEFINED(TYPE_INDEX_TYPE(arraytype))
1259 #define TYPE_ARRAY_LOWER_BOUND_IS_UNDEFINED(arraytype) \
1260    TYPE_LOW_BOUND_UNDEFINED(TYPE_INDEX_TYPE(arraytype))
1261
1262 #define TYPE_ARRAY_UPPER_BOUND_VALUE(arraytype) \
1263    (TYPE_HIGH_BOUND(TYPE_INDEX_TYPE((arraytype))))
1264
1265 #define TYPE_ARRAY_LOWER_BOUND_VALUE(arraytype) \
1266    (TYPE_LOW_BOUND(TYPE_INDEX_TYPE((arraytype))))
1267
1268 /* C++ */
1269
1270 #define TYPE_SELF_TYPE(thistype) internal_type_self_type (thistype)
1271 /* Do not call this, use TYPE_SELF_TYPE.  */
1272 extern struct type *internal_type_self_type (struct type *);
1273 extern void set_type_self_type (struct type *, struct type *);
1274
1275 extern int internal_type_vptr_fieldno (struct type *);
1276 extern void set_type_vptr_fieldno (struct type *, int);
1277 extern struct type *internal_type_vptr_basetype (struct type *);
1278 extern void set_type_vptr_basetype (struct type *, struct type *);
1279 #define TYPE_VPTR_FIELDNO(thistype) internal_type_vptr_fieldno (thistype)
1280 #define TYPE_VPTR_BASETYPE(thistype) internal_type_vptr_basetype (thistype)
1281
1282 #define TYPE_NFN_FIELDS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->nfn_fields
1283 #define TYPE_SPECIFIC_FIELD(thistype) \
1284   TYPE_MAIN_TYPE(thistype)->type_specific_field
1285 /* We need this tap-dance with the TYPE_RAW_SPECIFIC because of the case
1286    where we're trying to print an Ada array using the C language.
1287    In that case, there is no "cplus_stuff", but the C language assumes
1288    that there is.  What we do, in that case, is pretend that there is
1289    an implicit one which is the default cplus stuff.  */
1290 #define TYPE_CPLUS_SPECIFIC(thistype) \
1291    (!HAVE_CPLUS_STRUCT(thistype) \
1292     ? (struct cplus_struct_type*)&cplus_struct_default \
1293     : TYPE_RAW_CPLUS_SPECIFIC(thistype))
1294 #define TYPE_RAW_CPLUS_SPECIFIC(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.cplus_stuff
1295 #define TYPE_FLOATFORMAT(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.floatformat
1296 #define TYPE_GNAT_SPECIFIC(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.gnat_stuff
1297 #define TYPE_DESCRIPTIVE_TYPE(thistype) TYPE_GNAT_SPECIFIC(thistype)->descriptive_type
1298 #define TYPE_CALLING_CONVENTION(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.func_stuff->calling_convention
1299 #define TYPE_NO_RETURN(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.func_stuff->is_noreturn
1300 #define TYPE_TAIL_CALL_LIST(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.func_stuff->tail_call_list
1301 #define TYPE_BASECLASS(thistype,index) TYPE_FIELD_TYPE(thistype, index)
1302 #define TYPE_N_BASECLASSES(thistype) TYPE_CPLUS_SPECIFIC(thistype)->n_baseclasses
1303 #define TYPE_BASECLASS_NAME(thistype,index) TYPE_FIELD_NAME(thistype, index)
1304 #define TYPE_BASECLASS_BITPOS(thistype,index) TYPE_FIELD_BITPOS(thistype,index)
1305 #define BASETYPE_VIA_PUBLIC(thistype, index) \
1306   ((!TYPE_FIELD_PRIVATE(thistype, index)) && (!TYPE_FIELD_PROTECTED(thistype, index)))
1307 #define TYPE_CPLUS_DYNAMIC(thistype) TYPE_CPLUS_SPECIFIC (thistype)->is_dynamic
1308
1309 #define BASETYPE_VIA_VIRTUAL(thistype, index) \
1310   (TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits == NULL ? 0 \
1311     : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits, (index)))
1312
1313 #define FIELD_TYPE(thisfld) ((thisfld).type)
1314 #define FIELD_NAME(thisfld) ((thisfld).name)
1315 #define FIELD_LOC_KIND(thisfld) ((thisfld).loc_kind)
1316 #define FIELD_BITPOS_LVAL(thisfld) ((thisfld).loc.bitpos)
1317 #define FIELD_BITPOS(thisfld) (FIELD_BITPOS_LVAL (thisfld) + 0)
1318 #define FIELD_ENUMVAL_LVAL(thisfld) ((thisfld).loc.enumval)
1319 #define FIELD_ENUMVAL(thisfld) (FIELD_ENUMVAL_LVAL (thisfld) + 0)
1320 #define FIELD_STATIC_PHYSNAME(thisfld) ((thisfld).loc.physname)
1321 #define FIELD_STATIC_PHYSADDR(thisfld) ((thisfld).loc.physaddr)
1322 #define FIELD_DWARF_BLOCK(thisfld) ((thisfld).loc.dwarf_block)
1323 #define SET_FIELD_BITPOS(thisfld, bitpos)                       \
1324   (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_BITPOS,            \
1325    FIELD_BITPOS_LVAL (thisfld) = (bitpos))
1326 #define SET_FIELD_ENUMVAL(thisfld, enumval)                     \
1327   (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_ENUMVAL,           \
1328    FIELD_ENUMVAL_LVAL (thisfld) = (enumval))
1329 #define SET_FIELD_PHYSNAME(thisfld, name)                       \
1330   (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_PHYSNAME,          \
1331    FIELD_STATIC_PHYSNAME (thisfld) = (name))
1332 #define SET_FIELD_PHYSADDR(thisfld, addr)                       \
1333   (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_PHYSADDR,          \
1334    FIELD_STATIC_PHYSADDR (thisfld) = (addr))
1335 #define SET_FIELD_DWARF_BLOCK(thisfld, addr)                    \
1336   (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_DWARF_BLOCK,       \
1337    FIELD_DWARF_BLOCK (thisfld) = (addr))
1338 #define FIELD_ARTIFICIAL(thisfld) ((thisfld).artificial)
1339 #define FIELD_BITSIZE(thisfld) ((thisfld).bitsize)
1340
1341 #define TYPE_FIELD(thistype, n) TYPE_MAIN_TYPE(thistype)->flds_bnds.fields[n]
1342 #define TYPE_FIELD_TYPE(thistype, n) FIELD_TYPE(TYPE_FIELD(thistype, n))
1343 #define TYPE_FIELD_NAME(thistype, n) FIELD_NAME(TYPE_FIELD(thistype, n))
1344 #define TYPE_FIELD_LOC_KIND(thistype, n) FIELD_LOC_KIND (TYPE_FIELD (thistype, n))
1345 #define TYPE_FIELD_BITPOS(thistype, n) FIELD_BITPOS (TYPE_FIELD (thistype, n))
1346 #define TYPE_FIELD_ENUMVAL(thistype, n) FIELD_ENUMVAL (TYPE_FIELD (thistype, n))
1347 #define TYPE_FIELD_STATIC_PHYSNAME(thistype, n) FIELD_STATIC_PHYSNAME (TYPE_FIELD (thistype, n))
1348 #define TYPE_FIELD_STATIC_PHYSADDR(thistype, n) FIELD_STATIC_PHYSADDR (TYPE_FIELD (thistype, n))
1349 #define TYPE_FIELD_DWARF_BLOCK(thistype, n) FIELD_DWARF_BLOCK (TYPE_FIELD (thistype, n))
1350 #define TYPE_FIELD_ARTIFICIAL(thistype, n) FIELD_ARTIFICIAL(TYPE_FIELD(thistype,n))
1351 #define TYPE_FIELD_BITSIZE(thistype, n) FIELD_BITSIZE(TYPE_FIELD(thistype,n))
1352 #define TYPE_FIELD_PACKED(thistype, n) (FIELD_BITSIZE(TYPE_FIELD(thistype,n))!=0)
1353
1354 #define TYPE_FIELD_PRIVATE_BITS(thistype) \
1355   TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits
1356 #define TYPE_FIELD_PROTECTED_BITS(thistype) \
1357   TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits
1358 #define TYPE_FIELD_IGNORE_BITS(thistype) \
1359   TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits
1360 #define TYPE_FIELD_VIRTUAL_BITS(thistype) \
1361   TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits
1362 #define SET_TYPE_FIELD_PRIVATE(thistype, n) \
1363   B_SET (TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits, (n))
1364 #define SET_TYPE_FIELD_PROTECTED(thistype, n) \
1365   B_SET (TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits, (n))
1366 #define SET_TYPE_FIELD_IGNORE(thistype, n) \
1367   B_SET (TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits, (n))
1368 #define SET_TYPE_FIELD_VIRTUAL(thistype, n) \
1369   B_SET (TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits, (n))
1370 #define TYPE_FIELD_PRIVATE(thistype, n) \
1371   (TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits == NULL ? 0 \
1372     : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits, (n)))
1373 #define TYPE_FIELD_PROTECTED(thistype, n) \
1374   (TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits == NULL ? 0 \
1375     : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits, (n)))
1376 #define TYPE_FIELD_IGNORE(thistype, n) \
1377   (TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits == NULL ? 0 \
1378     : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits, (n)))
1379 #define TYPE_FIELD_VIRTUAL(thistype, n) \
1380   (TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits == NULL ? 0 \
1381     : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits, (n)))
1382
1383 #define TYPE_FN_FIELDLISTS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists
1384 #define TYPE_FN_FIELDLIST(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n]
1385 #define TYPE_FN_FIELDLIST1(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n].fn_fields
1386 #define TYPE_FN_FIELDLIST_NAME(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n].name
1387 #define TYPE_FN_FIELDLIST_LENGTH(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n].length
1388
1389 #define TYPE_N_TEMPLATE_ARGUMENTS(thistype) \
1390   TYPE_CPLUS_SPECIFIC (thistype)->n_template_arguments
1391 #define TYPE_TEMPLATE_ARGUMENTS(thistype) \
1392   TYPE_CPLUS_SPECIFIC (thistype)->template_arguments
1393 #define TYPE_TEMPLATE_ARGUMENT(thistype, n) \
1394   TYPE_CPLUS_SPECIFIC (thistype)->template_arguments[n]
1395
1396 #define TYPE_FN_FIELD(thisfn, n) (thisfn)[n]
1397 #define TYPE_FN_FIELD_PHYSNAME(thisfn, n) (thisfn)[n].physname
1398 #define TYPE_FN_FIELD_TYPE(thisfn, n) (thisfn)[n].type
1399 #define TYPE_FN_FIELD_ARGS(thisfn, n) TYPE_FIELDS ((thisfn)[n].type)
1400 #define TYPE_FN_FIELD_CONST(thisfn, n) ((thisfn)[n].is_const)
1401 #define TYPE_FN_FIELD_VOLATILE(thisfn, n) ((thisfn)[n].is_volatile)
1402 #define TYPE_FN_FIELD_PRIVATE(thisfn, n) ((thisfn)[n].is_private)
1403 #define TYPE_FN_FIELD_PROTECTED(thisfn, n) ((thisfn)[n].is_protected)
1404 #define TYPE_FN_FIELD_PUBLIC(thisfn, n) ((thisfn)[n].is_public)
1405 #define TYPE_FN_FIELD_STATIC(thisfn, n) ((thisfn)[n].is_static)
1406 #define TYPE_FN_FIELD_FINAL(thisfn, n) ((thisfn)[n].is_final)
1407 #define TYPE_FN_FIELD_SYNCHRONIZED(thisfn, n) ((thisfn)[n].is_synchronized)
1408 #define TYPE_FN_FIELD_NATIVE(thisfn, n) ((thisfn)[n].is_native)
1409 #define TYPE_FN_FIELD_ARTIFICIAL(thisfn, n) ((thisfn)[n].is_artificial)
1410 #define TYPE_FN_FIELD_ABSTRACT(thisfn, n) ((thisfn)[n].is_abstract)
1411 #define TYPE_FN_FIELD_STUB(thisfn, n) ((thisfn)[n].is_stub)
1412 #define TYPE_FN_FIELD_CONSTRUCTOR(thisfn, n) ((thisfn)[n].is_constructor)
1413 #define TYPE_FN_FIELD_FCONTEXT(thisfn, n) ((thisfn)[n].fcontext)
1414 #define TYPE_FN_FIELD_VOFFSET(thisfn, n) ((thisfn)[n].voffset-2)
1415 #define TYPE_FN_FIELD_VIRTUAL_P(thisfn, n) ((thisfn)[n].voffset > 1)
1416 #define TYPE_FN_FIELD_STATIC_P(thisfn, n) ((thisfn)[n].voffset == VOFFSET_STATIC)
1417
1418 #define TYPE_TYPEDEF_FIELD_ARRAY(thistype) \
1419   TYPE_CPLUS_SPECIFIC (thistype)->typedef_field
1420 #define TYPE_TYPEDEF_FIELD(thistype, n) \
1421   TYPE_CPLUS_SPECIFIC (thistype)->typedef_field[n]
1422 #define TYPE_TYPEDEF_FIELD_NAME(thistype, n) \
1423   TYPE_TYPEDEF_FIELD (thistype, n).name
1424 #define TYPE_TYPEDEF_FIELD_TYPE(thistype, n) \
1425   TYPE_TYPEDEF_FIELD (thistype, n).type
1426 #define TYPE_TYPEDEF_FIELD_COUNT(thistype) \
1427   TYPE_CPLUS_SPECIFIC (thistype)->typedef_field_count
1428
1429 #define TYPE_IS_OPAQUE(thistype) \
1430   (((TYPE_CODE (thistype) == TYPE_CODE_STRUCT) \
1431     || (TYPE_CODE (thistype) == TYPE_CODE_UNION)) \
1432    && (TYPE_NFIELDS (thistype) == 0) \
1433    && (!HAVE_CPLUS_STRUCT (thistype) \
1434        || TYPE_NFN_FIELDS (thistype) == 0) \
1435    && (TYPE_STUB (thistype) || !TYPE_STUB_SUPPORTED (thistype)))
1436
1437 /* * A helper macro that returns the name of a type or "unnamed type"
1438    if the type has no name.  */
1439
1440 #define TYPE_SAFE_NAME(type) \
1441   (TYPE_NAME (type) ? TYPE_NAME (type) : _("<unnamed type>"))
1442
1443 /* * A helper macro that returns the name of an error type.  If the
1444    type has a name, it is used; otherwise, a default is used.  */
1445
1446 #define TYPE_ERROR_NAME(type) \
1447   (TYPE_NAME (type) ? TYPE_NAME (type) : _("<error type>"))
1448
1449 struct builtin_type
1450 {
1451   /* Integral types.  */
1452
1453   /* Implicit size/sign (based on the architecture's ABI).  */
1454   struct type *builtin_void;
1455   struct type *builtin_char;
1456   struct type *builtin_short;
1457   struct type *builtin_int;
1458   struct type *builtin_long;
1459   struct type *builtin_signed_char;
1460   struct type *builtin_unsigned_char;
1461   struct type *builtin_unsigned_short;
1462   struct type *builtin_unsigned_int;
1463   struct type *builtin_unsigned_long;
1464   struct type *builtin_float;
1465   struct type *builtin_double;
1466   struct type *builtin_long_double;
1467   struct type *builtin_complex;
1468   struct type *builtin_double_complex;
1469   struct type *builtin_string;
1470   struct type *builtin_bool;
1471   struct type *builtin_long_long;
1472   struct type *builtin_unsigned_long_long;
1473   struct type *builtin_decfloat;
1474   struct type *builtin_decdouble;
1475   struct type *builtin_declong;
1476
1477   /* "True" character types.
1478       We use these for the '/c' print format, because c_char is just a
1479       one-byte integral type, which languages less laid back than C
1480       will print as ... well, a one-byte integral type.  */
1481   struct type *builtin_true_char;
1482   struct type *builtin_true_unsigned_char;
1483
1484   /* Explicit sizes - see C9X <intypes.h> for naming scheme.  The "int0"
1485      is for when an architecture needs to describe a register that has
1486      no size.  */
1487   struct type *builtin_int0;
1488   struct type *builtin_int8;
1489   struct type *builtin_uint8;
1490   struct type *builtin_int16;
1491   struct type *builtin_uint16;
1492   struct type *builtin_int32;
1493   struct type *builtin_uint32;
1494   struct type *builtin_int64;
1495   struct type *builtin_uint64;
1496   struct type *builtin_int128;
1497   struct type *builtin_uint128;
1498
1499   /* Wide character types.  */
1500   struct type *builtin_char16;
1501   struct type *builtin_char32;
1502
1503   /* Pointer types.  */
1504
1505   /* * `pointer to data' type.  Some target platforms use an implicitly
1506      {sign,zero} -extended 32-bit ABI pointer on a 64-bit ISA.  */
1507   struct type *builtin_data_ptr;
1508
1509   /* * `pointer to function (returning void)' type.  Harvard
1510      architectures mean that ABI function and code pointers are not
1511      interconvertible.  Similarly, since ANSI, C standards have
1512      explicitly said that pointers to functions and pointers to data
1513      are not interconvertible --- that is, you can't cast a function
1514      pointer to void * and back, and expect to get the same value.
1515      However, all function pointer types are interconvertible, so void
1516      (*) () can server as a generic function pointer.  */
1517
1518   struct type *builtin_func_ptr;
1519
1520   /* * `function returning pointer to function (returning void)' type.
1521      The final void return type is not significant for it.  */
1522
1523   struct type *builtin_func_func;
1524
1525   /* Special-purpose types.  */
1526
1527   /* * This type is used to represent a GDB internal function.  */
1528
1529   struct type *internal_fn;
1530
1531   /* * This type is used to represent an xmethod.  */
1532   struct type *xmethod;
1533 };
1534
1535 /* * Return the type table for the specified architecture.  */
1536
1537 extern const struct builtin_type *builtin_type (struct gdbarch *gdbarch);
1538
1539 /* * Per-objfile types used by symbol readers.  */
1540
1541 struct objfile_type
1542 {
1543   /* Basic types based on the objfile architecture.  */
1544   struct type *builtin_void;
1545   struct type *builtin_char;
1546   struct type *builtin_short;
1547   struct type *builtin_int;
1548   struct type *builtin_long;
1549   struct type *builtin_long_long;
1550   struct type *builtin_signed_char;
1551   struct type *builtin_unsigned_char;
1552   struct type *builtin_unsigned_short;
1553   struct type *builtin_unsigned_int;
1554   struct type *builtin_unsigned_long;
1555   struct type *builtin_unsigned_long_long;
1556   struct type *builtin_float;
1557   struct type *builtin_double;
1558   struct type *builtin_long_double;
1559
1560   /* * This type is used to represent symbol addresses.  */
1561   struct type *builtin_core_addr;
1562
1563   /* * This type represents a type that was unrecognized in symbol
1564      read-in.  */
1565   struct type *builtin_error;
1566
1567   /* * Types used for symbols with no debug information.  */
1568   struct type *nodebug_text_symbol;
1569   struct type *nodebug_text_gnu_ifunc_symbol;
1570   struct type *nodebug_got_plt_symbol;
1571   struct type *nodebug_data_symbol;
1572   struct type *nodebug_unknown_symbol;
1573   struct type *nodebug_tls_symbol;
1574 };
1575
1576 /* * Return the type table for the specified objfile.  */
1577
1578 extern const struct objfile_type *objfile_type (struct objfile *objfile);
1579  
1580 /* Explicit floating-point formats.  See "floatformat.h".  */
1581 extern const struct floatformat *floatformats_ieee_half[BFD_ENDIAN_UNKNOWN];
1582 extern const struct floatformat *floatformats_ieee_single[BFD_ENDIAN_UNKNOWN];
1583 extern const struct floatformat *floatformats_ieee_double[BFD_ENDIAN_UNKNOWN];
1584 extern const struct floatformat *floatformats_ieee_double_littlebyte_bigword[BFD_ENDIAN_UNKNOWN];
1585 extern const struct floatformat *floatformats_i387_ext[BFD_ENDIAN_UNKNOWN];
1586 extern const struct floatformat *floatformats_m68881_ext[BFD_ENDIAN_UNKNOWN];
1587 extern const struct floatformat *floatformats_arm_ext[BFD_ENDIAN_UNKNOWN];
1588 extern const struct floatformat *floatformats_ia64_spill[BFD_ENDIAN_UNKNOWN];
1589 extern const struct floatformat *floatformats_ia64_quad[BFD_ENDIAN_UNKNOWN];
1590 extern const struct floatformat *floatformats_vax_f[BFD_ENDIAN_UNKNOWN];
1591 extern const struct floatformat *floatformats_vax_d[BFD_ENDIAN_UNKNOWN];
1592 extern const struct floatformat *floatformats_ibm_long_double[BFD_ENDIAN_UNKNOWN];
1593
1594
1595 /* * Allocate space for storing data associated with a particular
1596    type.  We ensure that the space is allocated using the same
1597    mechanism that was used to allocate the space for the type
1598    structure itself.  I.e.  if the type is on an objfile's
1599    objfile_obstack, then the space for data associated with that type
1600    will also be allocated on the objfile_obstack.  If the type is not
1601    associated with any particular objfile (such as builtin types),
1602    then the data space will be allocated with xmalloc, the same as for
1603    the type structure.  */
1604
1605 #define TYPE_ALLOC(t,size)  \
1606    (TYPE_OBJFILE_OWNED (t) \
1607     ? obstack_alloc (&TYPE_OBJFILE (t) -> objfile_obstack, size) \
1608     : xmalloc (size))
1609
1610 #define TYPE_ZALLOC(t,size)  \
1611    (TYPE_OBJFILE_OWNED (t) \
1612     ? memset (obstack_alloc (&TYPE_OBJFILE (t)->objfile_obstack, size),  \
1613               0, size)  \
1614     : xzalloc (size))
1615
1616 /* Use alloc_type to allocate a type owned by an objfile.  Use
1617    alloc_type_arch to allocate a type owned by an architecture.  Use
1618    alloc_type_copy to allocate a type with the same owner as a
1619    pre-existing template type, no matter whether objfile or
1620    gdbarch.  */
1621 extern struct type *alloc_type (struct objfile *);
1622 extern struct type *alloc_type_arch (struct gdbarch *);
1623 extern struct type *alloc_type_copy (const struct type *);
1624
1625 /* * Return the type's architecture.  For types owned by an
1626    architecture, that architecture is returned.  For types owned by an
1627    objfile, that objfile's architecture is returned.  */
1628
1629 extern struct gdbarch *get_type_arch (const struct type *);
1630
1631 /* * This returns the target type (or NULL) of TYPE, also skipping
1632    past typedefs.  */
1633
1634 extern struct type *get_target_type (struct type *type);
1635
1636 /* Return the equivalent of TYPE_LENGTH, but in number of target
1637    addressable memory units of the associated gdbarch instead of bytes.  */
1638
1639 extern unsigned int type_length_units (struct type *type);
1640
1641 /* * Helper function to construct objfile-owned types.  */
1642
1643 extern struct type *init_type (struct objfile *, enum type_code, int,
1644                                const char *);
1645 extern struct type *init_integer_type (struct objfile *, int, int,
1646                                        const char *);
1647 extern struct type *init_character_type (struct objfile *, int, int,
1648                                          const char *);
1649 extern struct type *init_boolean_type (struct objfile *, int, int,
1650                                        const char *);
1651 extern struct type *init_float_type (struct objfile *, int, const char *,
1652                                      const struct floatformat **);
1653 extern struct type *init_decfloat_type (struct objfile *, int, const char *);
1654 extern struct type *init_complex_type (struct objfile *, const char *,
1655                                        struct type *);
1656 extern struct type *init_pointer_type (struct objfile *, int, const char *,
1657                                        struct type *);
1658
1659 /* Helper functions to construct architecture-owned types.  */
1660 extern struct type *arch_type (struct gdbarch *, enum type_code, int,
1661                                const char *);
1662 extern struct type *arch_integer_type (struct gdbarch *, int, int,
1663                                        const char *);
1664 extern struct type *arch_character_type (struct gdbarch *, int, int,
1665                                          const char *);
1666 extern struct type *arch_boolean_type (struct gdbarch *, int, int,
1667                                        const char *);
1668 extern struct type *arch_float_type (struct gdbarch *, int, const char *,
1669                                      const struct floatformat **);
1670 extern struct type *arch_decfloat_type (struct gdbarch *, int, const char *);
1671 extern struct type *arch_complex_type (struct gdbarch *, const char *,
1672                                        struct type *);
1673 extern struct type *arch_pointer_type (struct gdbarch *, int, const char *,
1674                                        struct type *);
1675
1676 /* Helper functions to construct a struct or record type.  An
1677    initially empty type is created using arch_composite_type().
1678    Fields are then added using append_composite_type_field*().  A union
1679    type has its size set to the largest field.  A struct type has each
1680    field packed against the previous.  */
1681
1682 extern struct type *arch_composite_type (struct gdbarch *gdbarch,
1683                                          const char *name, enum type_code code);
1684 extern void append_composite_type_field (struct type *t, const char *name,
1685                                          struct type *field);
1686 extern void append_composite_type_field_aligned (struct type *t,
1687                                                  const char *name,
1688                                                  struct type *field,
1689                                                  int alignment);
1690 struct field *append_composite_type_field_raw (struct type *t, const char *name,
1691                                                struct type *field);
1692
1693 /* Helper functions to construct a bit flags type.  An initially empty
1694    type is created using arch_flag_type().  Flags are then added using
1695    append_flag_type_field() and append_flag_type_flag().  */
1696 extern struct type *arch_flags_type (struct gdbarch *gdbarch,
1697                                      const char *name, int length);
1698 extern void append_flags_type_field (struct type *type,
1699                                      int start_bitpos, int nr_bits,
1700                                      struct type *field_type, const char *name);
1701 extern void append_flags_type_flag (struct type *type, int bitpos,
1702                                     const char *name);
1703
1704 extern void make_vector_type (struct type *array_type);
1705 extern struct type *init_vector_type (struct type *elt_type, int n);
1706
1707 extern struct type *lookup_reference_type (struct type *);
1708
1709 extern struct type *make_reference_type (struct type *, struct type **);
1710
1711 extern struct type *make_cv_type (int, int, struct type *, struct type **);
1712
1713 extern struct type *make_restrict_type (struct type *);
1714
1715 extern struct type *make_unqualified_type (struct type *);
1716
1717 extern struct type *make_atomic_type (struct type *);
1718
1719 extern void replace_type (struct type *, struct type *);
1720
1721 extern int address_space_name_to_int (struct gdbarch *, char *);
1722
1723 extern const char *address_space_int_to_name (struct gdbarch *, int);
1724
1725 extern struct type *make_type_with_address_space (struct type *type, 
1726                                                   int space_identifier);
1727
1728 extern struct type *lookup_memberptr_type (struct type *, struct type *);
1729
1730 extern struct type *lookup_methodptr_type (struct type *);
1731
1732 extern void smash_to_method_type (struct type *type, struct type *self_type,
1733                                   struct type *to_type, struct field *args,
1734                                   int nargs, int varargs);
1735
1736 extern void smash_to_memberptr_type (struct type *, struct type *,
1737                                      struct type *);
1738
1739 extern void smash_to_methodptr_type (struct type *, struct type *);
1740
1741 extern struct type *allocate_stub_method (struct type *);
1742
1743 extern const char *type_name_no_tag (const struct type *);
1744
1745 extern const char *type_name_no_tag_or_error (struct type *type);
1746
1747 extern struct type *lookup_struct_elt_type (struct type *, const char *, int);
1748
1749 extern struct type *make_pointer_type (struct type *, struct type **);
1750
1751 extern struct type *lookup_pointer_type (struct type *);
1752
1753 extern struct type *make_function_type (struct type *, struct type **);
1754
1755 extern struct type *lookup_function_type (struct type *);
1756
1757 extern struct type *lookup_function_type_with_arguments (struct type *,
1758                                                          int,
1759                                                          struct type **);
1760
1761 extern struct type *create_static_range_type (struct type *, struct type *,
1762                                               LONGEST, LONGEST);
1763
1764
1765 extern struct type *create_array_type_with_stride
1766   (struct type *, struct type *, struct type *, unsigned int);
1767
1768 extern struct type *create_range_type (struct type *, struct type *,
1769                                        const struct dynamic_prop *,
1770                                        const struct dynamic_prop *);
1771
1772 extern struct type *create_array_type (struct type *, struct type *,
1773                                        struct type *);
1774
1775 extern struct type *lookup_array_range_type (struct type *, LONGEST, LONGEST);
1776
1777 extern struct type *create_string_type (struct type *, struct type *,
1778                                         struct type *);
1779 extern struct type *lookup_string_range_type (struct type *, LONGEST, LONGEST);
1780
1781 extern struct type *create_set_type (struct type *, struct type *);
1782
1783 extern struct type *lookup_unsigned_typename (const struct language_defn *,
1784                                               struct gdbarch *, const char *);
1785
1786 extern struct type *lookup_signed_typename (const struct language_defn *,
1787                                             struct gdbarch *, const char *);
1788
1789 extern void get_unsigned_type_max (struct type *, ULONGEST *);
1790
1791 extern void get_signed_type_minmax (struct type *, LONGEST *, LONGEST *);
1792
1793 /* * Resolve all dynamic values of a type e.g. array bounds to static values.
1794    ADDR specifies the location of the variable the type is bound to.
1795    If TYPE has no dynamic properties return TYPE; otherwise a new type with
1796    static properties is returned.  */
1797 extern struct type *resolve_dynamic_type (struct type *type,
1798                                           const gdb_byte *valaddr,
1799                                           CORE_ADDR addr);
1800
1801 /* * Predicate if the type has dynamic values, which are not resolved yet.  */
1802 extern int is_dynamic_type (struct type *type);
1803
1804 /* * Return the dynamic property of the requested KIND from TYPE's
1805    list of dynamic properties.  */
1806 extern struct dynamic_prop *get_dyn_prop
1807   (enum dynamic_prop_node_kind kind, const struct type *type);
1808
1809 /* * Given a dynamic property PROP of a given KIND, add this dynamic
1810    property to the given TYPE.
1811
1812    This function assumes that TYPE is objfile-owned, and that OBJFILE
1813    is the TYPE's objfile.  */
1814 extern void add_dyn_prop
1815   (enum dynamic_prop_node_kind kind, struct dynamic_prop prop,
1816    struct type *type, struct objfile *objfile);
1817
1818 extern void remove_dyn_prop (enum dynamic_prop_node_kind prop_kind,
1819                              struct type *type);
1820
1821 extern struct type *check_typedef (struct type *);
1822
1823 extern void check_stub_method_group (struct type *, int);
1824
1825 extern char *gdb_mangle_name (struct type *, int, int);
1826
1827 extern struct type *lookup_typename (const struct language_defn *,
1828                                      struct gdbarch *, const char *,
1829                                      const struct block *, int);
1830
1831 extern struct type *lookup_template_type (char *, struct type *,
1832                                           const struct block *);
1833
1834 extern int get_vptr_fieldno (struct type *, struct type **);
1835
1836 extern int get_discrete_bounds (struct type *, LONGEST *, LONGEST *);
1837
1838 extern int get_array_bounds (struct type *type, LONGEST *low_bound,
1839                              LONGEST *high_bound);
1840
1841 extern int discrete_position (struct type *type, LONGEST val, LONGEST *pos);
1842
1843 extern int class_types_same_p (const struct type *, const struct type *);
1844
1845 extern int is_ancestor (struct type *, struct type *);
1846
1847 extern int is_public_ancestor (struct type *, struct type *);
1848
1849 extern int is_unique_ancestor (struct type *, struct value *);
1850
1851 /* Overload resolution */
1852
1853 #define LENGTH_MATCH(bv) ((bv)->rank[0])
1854
1855 /* * Badness if parameter list length doesn't match arg list length.  */
1856 extern const struct rank LENGTH_MISMATCH_BADNESS;
1857
1858 /* * Dummy badness value for nonexistent parameter positions.  */
1859 extern const struct rank TOO_FEW_PARAMS_BADNESS;
1860 /* * Badness if no conversion among types.  */
1861 extern const struct rank INCOMPATIBLE_TYPE_BADNESS;
1862
1863 /* * Badness of an exact match.  */
1864 extern const struct rank EXACT_MATCH_BADNESS;
1865
1866 /* * Badness of integral promotion.  */
1867 extern const struct rank INTEGER_PROMOTION_BADNESS;
1868 /* * Badness of floating promotion.  */
1869 extern const struct rank FLOAT_PROMOTION_BADNESS;
1870 /* * Badness of converting a derived class pointer
1871    to a base class pointer.  */
1872 extern const struct rank BASE_PTR_CONVERSION_BADNESS;
1873 /* * Badness of integral conversion.  */
1874 extern const struct rank INTEGER_CONVERSION_BADNESS;
1875 /* * Badness of floating conversion.  */
1876 extern const struct rank FLOAT_CONVERSION_BADNESS;
1877 /* * Badness of integer<->floating conversions.  */
1878 extern const struct rank INT_FLOAT_CONVERSION_BADNESS;
1879 /* * Badness of conversion of pointer to void pointer.  */
1880 extern const struct rank VOID_PTR_CONVERSION_BADNESS;
1881 /* * Badness of conversion to boolean.  */
1882 extern const struct rank BOOL_CONVERSION_BADNESS;
1883 /* * Badness of converting derived to base class.  */
1884 extern const struct rank BASE_CONVERSION_BADNESS;
1885 /* * Badness of converting from non-reference to reference.  */
1886 extern const struct rank REFERENCE_CONVERSION_BADNESS;
1887 /* * Badness of converting integer 0 to NULL pointer.  */
1888 extern const struct rank NULL_POINTER_CONVERSION;
1889
1890 /* Non-standard conversions allowed by the debugger */
1891
1892 /* * Converting a pointer to an int is usually OK.  */
1893 extern const struct rank NS_POINTER_CONVERSION_BADNESS;
1894
1895 /* * Badness of converting a (non-zero) integer constant
1896    to a pointer.  */
1897 extern const struct rank NS_INTEGER_POINTER_CONVERSION_BADNESS;
1898
1899 extern struct rank sum_ranks (struct rank a, struct rank b);
1900 extern int compare_ranks (struct rank a, struct rank b);
1901
1902 extern int compare_badness (struct badness_vector *, struct badness_vector *);
1903
1904 extern struct badness_vector *rank_function (struct type **, int,
1905                                              struct value **, int);
1906
1907 extern struct rank rank_one_type (struct type *, struct type *,
1908                                   struct value *);
1909
1910 extern void recursive_dump_type (struct type *, int);
1911
1912 extern int field_is_static (struct field *);
1913
1914 /* printcmd.c */
1915
1916 extern void print_scalar_formatted (const gdb_byte *, struct type *,
1917                                     const struct value_print_options *,
1918                                     int, struct ui_file *);
1919
1920 extern int can_dereference (struct type *);
1921
1922 extern int is_integral_type (struct type *);
1923
1924 extern int is_scalar_type (struct type *type);
1925
1926 extern int is_scalar_type_recursive (struct type *);
1927
1928 extern int class_or_union_p (const struct type *);
1929
1930 extern void maintenance_print_type (char *, int);
1931
1932 extern htab_t create_copied_types_hash (struct objfile *objfile);
1933
1934 extern struct type *copy_type_recursive (struct objfile *objfile,
1935                                          struct type *type,
1936                                          htab_t copied_types);
1937
1938 extern struct type *copy_type (const struct type *type);
1939
1940 extern int types_equal (struct type *, struct type *);
1941
1942 extern int types_deeply_equal (struct type *, struct type *);
1943
1944 extern int type_not_allocated (const struct type *type);
1945
1946 extern int type_not_associated (const struct type *type);
1947
1948 #endif /* GDBTYPES_H */