* dwarf2read.c (struct attribute): Increase sizes of unsnd and snd
[external/binutils.git] / gdb / gdbtypes.h
1 /* Internal type definitions for GDB.
2
3    Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001,
4    2002, 2003, 2004, 2006, 2007, 2008, 2009 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 #include "hashtab.h"
27
28 /* Forward declarations for prototypes.  */
29 struct field;
30 struct block;
31 struct value_print_options;
32 struct language_defn;
33
34 /* Some macros for char-based bitfields.  */
35
36 #define B_SET(a,x)      ((a)[(x)>>3] |= (1 << ((x)&7)))
37 #define B_CLR(a,x)      ((a)[(x)>>3] &= ~(1 << ((x)&7)))
38 #define B_TST(a,x)      ((a)[(x)>>3] & (1 << ((x)&7)))
39 #define B_TYPE          unsigned char
40 #define B_BYTES(x)      ( 1 + ((x)>>3) )
41 #define B_CLRALL(a,x)   memset ((a), 0, B_BYTES(x))
42
43 /* Different kinds of data types are distinguished by the `code' field.  */
44
45 enum type_code
46   {
47     TYPE_CODE_UNDEF,            /* Not used; catches errors */
48     TYPE_CODE_PTR,              /* Pointer type */
49
50     /* Array type with lower & upper bounds.
51
52        Regardless of the language, GDB represents multidimensional
53        array types the way C does: as arrays of arrays.  So an
54        instance of a GDB array type T can always be seen as a series
55        of instances of TYPE_TARGET_TYPE (T) laid out sequentially in
56        memory.
57
58        Row-major languages like C lay out multi-dimensional arrays so
59        that incrementing the rightmost index in a subscripting
60        expression results in the smallest change in the address of the
61        element referred to.  Column-major languages like Fortran lay
62        them out so that incrementing the leftmost index results in the
63        smallest change.
64
65        This means that, in column-major languages, working our way
66        from type to target type corresponds to working through indices
67        from right to left, not left to right.  */
68     TYPE_CODE_ARRAY,
69
70     TYPE_CODE_STRUCT,           /* C struct or Pascal record */
71     TYPE_CODE_UNION,            /* C union or Pascal variant part */
72     TYPE_CODE_ENUM,             /* Enumeration type */
73     TYPE_CODE_FLAGS,            /* Bit flags type */
74     TYPE_CODE_FUNC,             /* Function type */
75     TYPE_CODE_INT,              /* Integer type */
76
77     /* Floating type.  This is *NOT* a complex type.  Beware, there are parts
78        of GDB which bogusly assume that TYPE_CODE_FLT can mean complex.  */
79     TYPE_CODE_FLT,
80
81     /* Void type.  The length field specifies the length (probably always
82        one) which is used in pointer arithmetic involving pointers to
83        this type, but actually dereferencing such a pointer is invalid;
84        a void type has no length and no actual representation in memory
85        or registers.  A pointer to a void type is a generic pointer.  */
86     TYPE_CODE_VOID,
87
88     TYPE_CODE_SET,              /* Pascal sets */
89     TYPE_CODE_RANGE,            /* Range (integers within spec'd bounds) */
90
91     /* A string type which is like an array of character but prints
92        differently (at least for (the deleted) CHILL).  It does not
93        contain a length field as Pascal strings (for many Pascals,
94        anyway) do; if we want to deal with such strings, we should use
95        a new type code.  */
96     TYPE_CODE_STRING,
97
98     /* String of bits; like TYPE_CODE_SET but prints differently (at
99        least for (the deleted) CHILL).  */
100     TYPE_CODE_BITSTRING,
101
102     /* Unknown type.  The length field is valid if we were able to
103        deduce that much about the type, or 0 if we don't even know that.  */
104     TYPE_CODE_ERROR,
105
106     /* C++ */
107     TYPE_CODE_METHOD,           /* Method type */
108
109     /* Pointer-to-member-function type.  This describes how to access a
110        particular member function of a class (possibly a virtual
111        member function).  The representation may vary between different
112        C++ ABIs.  */
113     TYPE_CODE_METHODPTR,
114
115     /* Pointer-to-member type.  This is the offset within a class to some
116        particular data member.  The only currently supported representation
117        uses an unbiased offset, with -1 representing NULL; this is used
118        by the Itanium C++ ABI (used by GCC on all platforms).  */
119     TYPE_CODE_MEMBERPTR,
120
121     TYPE_CODE_REF,              /* C++ Reference types */
122
123     TYPE_CODE_CHAR,             /* *real* character type */
124
125     /* Boolean type.  0 is false, 1 is true, and other values are non-boolean
126        (e.g. FORTRAN "logical" used as unsigned int).  */
127     TYPE_CODE_BOOL,
128
129     /* Fortran */
130     TYPE_CODE_COMPLEX,          /* Complex float */
131
132     TYPE_CODE_TYPEDEF,
133     TYPE_CODE_TEMPLATE,         /* C++ template */
134     TYPE_CODE_TEMPLATE_ARG,     /* C++ template arg */
135
136     TYPE_CODE_NAMESPACE,        /* C++ namespace.  */
137
138     TYPE_CODE_DECFLOAT,         /* Decimal floating point.  */
139
140     /* Internal function type.  */
141     TYPE_CODE_INTERNAL_FUNCTION
142   };
143
144 /* For now allow source to use TYPE_CODE_CLASS for C++ classes, as an
145    alias for TYPE_CODE_STRUCT.  This is for DWARF, which has a distinct
146    "class" attribute.  Perhaps we should actually have a separate TYPE_CODE
147    so that we can print "class" or "struct" depending on what the debug
148    info said.  It's not clear we should bother.  */
149
150 #define TYPE_CODE_CLASS TYPE_CODE_STRUCT
151
152 /* Some constants representing each bit field in the main_type.  See
153    the bit-field-specific macros, below, for documentation of each
154    constant in this enum.  These enum values are only used with
155    init_type.  Note that the values are chosen not to conflict with
156    type_instance_flag_value; this lets init_type error-check its
157    input.  */
158
159 enum type_flag_value
160 {
161   TYPE_FLAG_UNSIGNED = (1 << 6),
162   TYPE_FLAG_NOSIGN = (1 << 7),
163   TYPE_FLAG_STUB = (1 << 8),
164   TYPE_FLAG_TARGET_STUB = (1 << 9),
165   TYPE_FLAG_STATIC = (1 << 10),
166   TYPE_FLAG_PROTOTYPED = (1 << 11),
167   TYPE_FLAG_INCOMPLETE = (1 << 12),
168   TYPE_FLAG_VARARGS = (1 << 13),
169   TYPE_FLAG_VECTOR = (1 << 14),
170   TYPE_FLAG_FIXED_INSTANCE = (1 << 15),
171   TYPE_FLAG_STUB_SUPPORTED = (1 << 16),
172   TYPE_FLAG_NOTTEXT = (1 << 17),
173
174   /* Used for error-checking.  */
175   TYPE_FLAG_MIN = TYPE_FLAG_UNSIGNED
176 };
177
178 /* Some bits for the type's instance_flags word.  See the macros below
179    for documentation on each bit.  Note that if you add a value here,
180    you must update the enum type_flag_value as well.  */
181 enum type_instance_flag_value
182 {
183   TYPE_INSTANCE_FLAG_CONST = (1 << 0),
184   TYPE_INSTANCE_FLAG_VOLATILE = (1 << 1),
185   TYPE_INSTANCE_FLAG_CODE_SPACE = (1 << 2),
186   TYPE_INSTANCE_FLAG_DATA_SPACE = (1 << 3),
187   TYPE_INSTANCE_FLAG_ADDRESS_CLASS_1 = (1 << 4),
188   TYPE_INSTANCE_FLAG_ADDRESS_CLASS_2 = (1 << 5)
189 };
190
191 /* Unsigned integer type.  If this is not set for a TYPE_CODE_INT, the
192    type is signed (unless TYPE_FLAG_NOSIGN (below) is set). */
193
194 #define TYPE_UNSIGNED(t)        (TYPE_MAIN_TYPE (t)->flag_unsigned)
195
196 /* No sign for this type.  In C++, "char", "signed char", and "unsigned
197    char" are distinct types; so we need an extra flag to indicate the
198    absence of a sign! */
199
200 #define TYPE_NOSIGN(t)          (TYPE_MAIN_TYPE (t)->flag_nosign)
201
202 /* This appears in a type's flags word if it is a stub type (e.g., if
203    someone referenced a type that wasn't defined in a source file
204    via (struct sir_not_appearing_in_this_film *)).  */
205
206 #define TYPE_STUB(t)            (TYPE_MAIN_TYPE (t)->flag_stub)
207
208 /* The target type of this type is a stub type, and this type needs to
209    be updated if it gets un-stubbed in check_typedef.
210    Used for arrays and ranges, in which TYPE_LENGTH of the array/range
211    gets set based on the TYPE_LENGTH of the target type.
212    Also, set for TYPE_CODE_TYPEDEF. */
213
214 #define TYPE_TARGET_STUB(t)     (TYPE_MAIN_TYPE (t)->flag_target_stub)
215
216 /* Static type.  If this is set, the corresponding type had 
217  * a static modifier.
218  * Note: This may be unnecessary, since static data members
219  * are indicated by other means (bitpos == -1)
220  */
221
222 #define TYPE_STATIC(t)          (TYPE_MAIN_TYPE (t)->flag_static)
223
224 /* This is a function type which appears to have a prototype.  We need this
225    for function calls in order to tell us if it's necessary to coerce the args,
226    or to just do the standard conversions.  This is used with a short field. */
227
228 #define TYPE_PROTOTYPED(t)      (TYPE_MAIN_TYPE (t)->flag_prototyped)
229
230 /* This flag is used to indicate that processing for this type
231    is incomplete.
232
233    (Mostly intended for HP platforms, where class methods, for
234    instance, can be encountered before their classes in the debug
235    info; the incomplete type has to be marked so that the class and
236    the method can be assigned correct types.) */
237
238 #define TYPE_INCOMPLETE(t)      (TYPE_MAIN_TYPE (t)->flag_incomplete)
239
240 /* FIXME drow/2002-06-03:  Only used for methods, but applies as well
241    to functions.  */
242
243 #define TYPE_VARARGS(t)         (TYPE_MAIN_TYPE (t)->flag_varargs)
244
245 /* Identify a vector type.  Gcc is handling this by adding an extra
246    attribute to the array type.  We slurp that in as a new flag of a
247    type.  This is used only in dwarf2read.c.  */
248 #define TYPE_VECTOR(t)          (TYPE_MAIN_TYPE (t)->flag_vector)
249
250 /* The debugging formats (especially STABS) do not contain enough information
251    to represent all Ada types---especially those whose size depends on
252    dynamic quantities.  Therefore, the GNAT Ada compiler includes
253    extra information in the form of additional type definitions
254    connected by naming conventions.  This flag indicates that the 
255    type is an ordinary (unencoded) GDB type that has been created from 
256    the necessary run-time information, and does not need further 
257    interpretation. Optionally marks ordinary, fixed-size GDB type. */
258
259 #define TYPE_FIXED_INSTANCE(t) (TYPE_MAIN_TYPE (t)->flag_fixed_instance)
260
261 /* This debug target supports TYPE_STUB(t).  In the unsupported case we have to
262    rely on NFIELDS to be zero etc., see TYPE_IS_OPAQUE ().
263    TYPE_STUB(t) with !TYPE_STUB_SUPPORTED(t) may exist if we only guessed
264    the TYPE_STUB(t) value (see dwarfread.c).  */
265
266 #define TYPE_STUB_SUPPORTED(t)   (TYPE_MAIN_TYPE (t)->flag_stub_supported)
267
268 /* Not textual.  By default, GDB treats all single byte integers as
269    characters (or elements of strings) unless this flag is set.  */
270
271 #define TYPE_NOTTEXT(t)         (TYPE_MAIN_TYPE (t)->flag_nottext)
272
273 /* Type owner.  If TYPE_OBJFILE_OWNED is true, the type is owned by
274    the objfile retrieved as TYPE_OBJFILE.  Otherweise, the type is
275    owned by an architecture; TYPE_OBJFILE is NULL in this case.  */
276
277 #define TYPE_OBJFILE_OWNED(t) (TYPE_MAIN_TYPE (t)->flag_objfile_owned)
278 #define TYPE_OWNER(t) TYPE_MAIN_TYPE(t)->owner
279 #define TYPE_OBJFILE(t) (TYPE_OBJFILE_OWNED(t)? TYPE_OWNER(t).objfile : NULL)
280
281 /* Constant type.  If this is set, the corresponding type has a
282  * const modifier.
283  */
284
285 #define TYPE_CONST(t) (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_CONST)
286
287 /* Volatile type.  If this is set, the corresponding type has a
288  * volatile modifier.
289  */
290
291 #define TYPE_VOLATILE(t) (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_VOLATILE)
292
293 /* Instruction-space delimited type.  This is for Harvard architectures
294    which have separate instruction and data address spaces (and perhaps
295    others).
296
297    GDB usually defines a flat address space that is a superset of the
298    architecture's two (or more) address spaces, but this is an extension
299    of the architecture's model.
300
301    If TYPE_FLAG_INST is set, an object of the corresponding type
302    resides in instruction memory, even if its address (in the extended
303    flat address space) does not reflect this.
304
305    Similarly, if TYPE_FLAG_DATA is set, then an object of the 
306    corresponding type resides in the data memory space, even if
307    this is not indicated by its (flat address space) address.
308
309    If neither flag is set, the default space for functions / methods
310    is instruction space, and for data objects is data memory.  */
311
312 #define TYPE_CODE_SPACE(t) \
313   (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_CODE_SPACE)
314
315 #define TYPE_DATA_SPACE(t) \
316   (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_DATA_SPACE)
317
318 /* Address class flags.  Some environments provide for pointers whose
319    size is different from that of a normal pointer or address types
320    where the bits are interpreted differently than normal addresses.  The
321    TYPE_FLAG_ADDRESS_CLASS_n flags may be used in target specific
322    ways to represent these different types of address classes.  */
323 #define TYPE_ADDRESS_CLASS_1(t) (TYPE_INSTANCE_FLAGS(t) \
324                                  & TYPE_INSTANCE_FLAG_ADDRESS_CLASS_1)
325 #define TYPE_ADDRESS_CLASS_2(t) (TYPE_INSTANCE_FLAGS(t) \
326                                  & TYPE_INSTANCE_FLAG_ADDRESS_CLASS_2)
327 #define TYPE_INSTANCE_FLAG_ADDRESS_CLASS_ALL \
328   (TYPE_INSTANCE_FLAG_ADDRESS_CLASS_1 | TYPE_INSTANCE_FLAG_ADDRESS_CLASS_2)
329 #define TYPE_ADDRESS_CLASS_ALL(t) (TYPE_INSTANCE_FLAGS(t) \
330                                    & TYPE_INSTANCE_FLAG_ADDRESS_CLASS_ALL)
331
332 /* Determine which field of the union main_type.fields[x].loc is used.  */
333
334 enum field_loc_kind
335   {
336     FIELD_LOC_KIND_BITPOS,      /* bitpos */
337     FIELD_LOC_KIND_PHYSADDR,    /* physaddr */
338     FIELD_LOC_KIND_PHYSNAME,    /* physname */
339     FIELD_LOC_KIND_DWARF_BLOCK  /* dwarf_block */
340   };
341
342 /* This structure is space-critical.
343    Its layout has been tweaked to reduce the space used.  */
344
345 struct main_type
346 {
347   /* Code for kind of type */
348
349   ENUM_BITFIELD(type_code) code : 8;
350
351   /* Flags about this type.  These fields appear at this location
352      because they packs nicely here.  See the TYPE_* macros for
353      documentation about these fields.  */
354
355   unsigned int flag_unsigned : 1;
356   unsigned int flag_nosign : 1;
357   unsigned int flag_stub : 1;
358   unsigned int flag_target_stub : 1;
359   unsigned int flag_static : 1;
360   unsigned int flag_prototyped : 1;
361   unsigned int flag_incomplete : 1;
362   unsigned int flag_varargs : 1;
363   unsigned int flag_vector : 1;
364   unsigned int flag_stub_supported : 1;
365   unsigned int flag_nottext : 1;
366   unsigned int flag_fixed_instance : 1;
367   unsigned int flag_objfile_owned : 1;
368
369   /* Number of fields described for this type.  This field appears at
370      this location because it packs nicely here.  */
371
372   short nfields;
373
374   /* Field number of the virtual function table pointer in
375      VPTR_BASETYPE.  If -1, we were unable to find the virtual
376      function table pointer in initial symbol reading, and
377      get_vptr_fieldno should be called to find it if possible.
378      get_vptr_fieldno will update this field if possible.
379      Otherwise the value is left at -1.
380
381      Unused if this type does not have virtual functions.
382
383      This field appears at this location because it packs nicely here.  */
384
385   short vptr_fieldno;
386
387   /* Name of this type, or NULL if none.
388
389      This is used for printing only, except by poorly designed C++ code.
390      For looking up a name, look for a symbol in the VAR_DOMAIN.  */
391
392   char *name;
393
394   /* Tag name for this type, or NULL if none.  This means that the
395      name of the type consists of a keyword followed by the tag name.
396      Which keyword is determined by the type code ("struct" for
397      TYPE_CODE_STRUCT, etc.).  As far as I know C/C++ are the only languages
398      with this feature.
399
400      This is used for printing only, except by poorly designed C++ code.
401      For looking up a name, look for a symbol in the STRUCT_DOMAIN.
402      One more legitimate use is that if TYPE_FLAG_STUB is set, this is
403      the name to use to look for definitions in other files.  */
404
405   char *tag_name;
406
407   /* Every type is now associated with a particular objfile, and the
408      type is allocated on the objfile_obstack for that objfile.  One problem
409      however, is that there are times when gdb allocates new types while
410      it is not in the process of reading symbols from a particular objfile.
411      Fortunately, these happen when the type being created is a derived
412      type of an existing type, such as in lookup_pointer_type().  So
413      we can just allocate the new type using the same objfile as the
414      existing type, but to do this we need a backpointer to the objfile
415      from the existing type.  Yes this is somewhat ugly, but without
416      major overhaul of the internal type system, it can't be avoided
417      for now. */
418
419   union type_owner
420     {
421       struct objfile *objfile;
422       struct gdbarch *gdbarch;
423     } owner;
424
425   /* For a pointer type, describes the type of object pointed to.
426      For an array type, describes the type of the elements.
427      For a function or method type, describes the type of the return value.
428      For a range type, describes the type of the full range.
429      For a complex type, describes the type of each coordinate.
430      Unused otherwise.  */
431
432   struct type *target_type;
433
434   /* For structure and union types, a description of each field.
435      For set and pascal array types, there is one "field",
436      whose type is the domain type of the set or array.
437      For range types, there are two "fields",
438      the minimum and maximum values (both inclusive).
439      For enum types, each possible value is described by one "field".
440      For a function or method type, a "field" for each parameter.
441      For C++ classes, there is one field for each base class (if it is
442      a derived class) plus one field for each class data member.  Member
443      functions are recorded elsewhere.
444
445      Using a pointer to a separate array of fields
446      allows all types to have the same size, which is useful
447      because we can allocate the space for a type before
448      we know what to put in it.  */
449
450   union 
451   {
452     struct field
453     {
454       union field_location
455       {
456         /* Position of this field, counting in bits from start of
457            containing structure.
458            For gdbarch_bits_big_endian=1 targets, it is the bit offset to the MSB.
459            For gdbarch_bits_big_endian=0 targets, it is the bit offset to the LSB.
460            For a range bound or enum value, this is the value itself. */
461
462         int bitpos;
463
464         /* For a static field, if TYPE_FIELD_STATIC_HAS_ADDR then physaddr
465            is the location (in the target) of the static field.
466            Otherwise, physname is the mangled label of the static field. */
467
468         CORE_ADDR physaddr;
469         char *physname;
470
471         /* The field location can be computed by evaluating the following DWARF
472            block.  This can be used in Fortran variable-length arrays, for
473            instance.  */
474
475         struct dwarf2_locexpr_baton *dwarf_block;
476       }
477       loc;
478
479       /* For a function or member type, this is 1 if the argument is marked
480          artificial.  Artificial arguments should not be shown to the
481          user.  For TYPE_CODE_RANGE it is set if the specific bound is not
482          defined.  */
483       unsigned int artificial : 1;
484
485       /* Discriminant for union field_location.  */
486       ENUM_BITFIELD(field_loc_kind) loc_kind : 2;
487
488       /* Size of this field, in bits, or zero if not packed.
489          If non-zero in an array type, indicates the element size in
490          bits (used only in Ada at the moment).
491          For an unpacked field, the field's type's length
492          says how many bytes the field occupies.  */
493
494       unsigned int bitsize : 29;
495
496       /* In a struct or union type, type of this field.
497          In a function or member type, type of this argument.
498          In an array type, the domain-type of the array.  */
499
500       struct type *type;
501
502       /* Name of field, value or argument.
503          NULL for range bounds, array domains, and member function
504          arguments.  */
505
506       char *name;
507     } *fields;
508
509     /* Union member used for range types. */
510
511     struct range_bounds
512     {
513       /* Low bound of range. */
514
515       LONGEST low;
516
517       /* High bound of range. */
518
519       LONGEST high;
520
521       /* Flags indicating whether the values of low and high are
522          valid.  When true, the respective range value is
523          undefined.  Currently used only for FORTRAN arrays.  */
524            
525       char low_undefined;
526       char high_undefined;
527
528     } *bounds;
529
530   } flds_bnds;
531
532   /* For types with virtual functions (TYPE_CODE_STRUCT), VPTR_BASETYPE
533      is the base class which defined the virtual function table pointer.  
534
535      For types that are pointer to member types (TYPE_CODE_METHODPTR,
536      TYPE_CODE_MEMBERPTR), VPTR_BASETYPE is the type that this pointer
537      is a member of.
538
539      For method types (TYPE_CODE_METHOD), VPTR_BASETYPE is the aggregate
540      type that contains the method.
541
542      Unused otherwise.  */
543
544   struct type *vptr_basetype;
545
546   /* Slot to point to additional language-specific fields of this type.  */
547
548   union type_specific
549   {
550     /* CPLUS_STUFF is for TYPE_CODE_STRUCT.  It is initialized to point to
551        cplus_struct_default, a default static instance of a struct
552        cplus_struct_type. */
553
554     struct cplus_struct_type *cplus_stuff;
555
556     /* FLOATFORMAT is for TYPE_CODE_FLT.  It is a pointer to two
557        floatformat objects that describe the floating-point value
558        that resides within the type.  The first is for big endian
559        targets and the second is for little endian targets.  */
560
561     const struct floatformat **floatformat;
562
563     /* For TYPE_CODE_FUNC types, the calling convention for targets
564        supporting multiple ABIs.  Right now this is only fetched from
565        the Dwarf-2 DW_AT_calling_convention attribute.  */
566     unsigned calling_convention;
567   } type_specific;
568 };
569
570 /* A ``struct type'' describes a particular instance of a type, with
571    some particular qualification.  */
572 struct type
573 {
574   /* Type that is a pointer to this type.
575      NULL if no such pointer-to type is known yet.
576      The debugger may add the address of such a type
577      if it has to construct one later.  */
578
579   struct type *pointer_type;
580
581   /* C++: also need a reference type.  */
582
583   struct type *reference_type;
584
585   /* Variant chain.  This points to a type that differs from this one only
586      in qualifiers and length.  Currently, the possible qualifiers are
587      const, volatile, code-space, data-space, and address class.  The
588      length may differ only when one of the address class flags are set.
589      The variants are linked in a circular ring and share MAIN_TYPE.  */
590   struct type *chain;
591
592   /* Flags specific to this instance of the type, indicating where
593      on the ring we are.  */
594   int instance_flags;
595
596   /* Length of storage for a value of this type.  This is what
597      sizeof(type) would return; use it for address arithmetic,
598      memory reads and writes, etc.  This size includes padding.  For
599      example, an i386 extended-precision floating point value really
600      only occupies ten bytes, but most ABI's declare its size to be
601      12 bytes, to preserve alignment.  A `struct type' representing
602      such a floating-point type would have a `length' value of 12,
603      even though the last two bytes are unused.
604
605      There's a bit of a host/target mess here, if you're concerned
606      about machines whose bytes aren't eight bits long, or who don't
607      have byte-addressed memory.  Various places pass this to memcpy
608      and such, meaning it must be in units of host bytes.  Various
609      other places expect they can calculate addresses by adding it
610      and such, meaning it must be in units of target bytes.  For
611      some DSP targets, in which HOST_CHAR_BIT will (presumably) be 8
612      and TARGET_CHAR_BIT will be (say) 32, this is a problem.
613
614      One fix would be to make this field in bits (requiring that it
615      always be a multiple of HOST_CHAR_BIT and TARGET_CHAR_BIT) ---
616      the other choice would be to make it consistently in units of
617      HOST_CHAR_BIT.  However, this would still fail to address
618      machines based on a ternary or decimal representation.  */
619   
620   unsigned length;
621
622   /* Core type, shared by a group of qualified types.  */
623   struct main_type *main_type;
624 };
625
626 #define NULL_TYPE ((struct type *) 0)
627
628 /* C++ language-specific information for TYPE_CODE_STRUCT and TYPE_CODE_UNION
629    nodes.  */
630
631 struct cplus_struct_type
632   {
633     /* Number of base classes this type derives from.  The baseclasses are
634        stored in the first N_BASECLASSES fields (i.e. the `fields' field of
635        the struct type).  I think only the `type' field of such a field has
636        any meaning.  */
637
638     short n_baseclasses;
639
640     /* Number of methods with unique names.  All overloaded methods with
641        the same name count only once. */
642
643     short nfn_fields;
644
645     /* Number of methods described for this type, not including the
646        methods that it derives from.  */
647
648     short nfn_fields_total;
649
650     /* The "declared_type" field contains a code saying how the
651        user really declared this type, e.g., "class s", "union s",
652        "struct s".
653        The 3 above things come out from the C++ compiler looking like classes, 
654        but we keep track of the real declaration so we can give
655        the correct information on "ptype". (Note: TEMPLATE may not
656        belong in this list...)  */
657
658 #define DECLARED_TYPE_CLASS 0
659 #define DECLARED_TYPE_UNION 1
660 #define DECLARED_TYPE_STRUCT 2
661 #define DECLARED_TYPE_TEMPLATE 3
662     short declared_type;        /* One of the above codes */
663
664     /* For derived classes, the number of base classes is given by n_baseclasses
665        and virtual_field_bits is a bit vector containing one bit per base class.
666        If the base class is virtual, the corresponding bit will be set.
667        I.E, given:
668
669        class A{};
670        class B{};
671        class C : public B, public virtual A {};
672
673        B is a baseclass of C; A is a virtual baseclass for C.
674        This is a C++ 2.0 language feature. */
675
676     B_TYPE *virtual_field_bits;
677
678     /* For classes with private fields, the number of fields is given by
679        nfields and private_field_bits is a bit vector containing one bit
680        per field.
681        If the field is private, the corresponding bit will be set. */
682
683     B_TYPE *private_field_bits;
684
685     /* For classes with protected fields, the number of fields is given by
686        nfields and protected_field_bits is a bit vector containing one bit
687        per field.
688        If the field is private, the corresponding bit will be set. */
689
690     B_TYPE *protected_field_bits;
691
692     /* for classes with fields to be ignored, either this is optimized out
693        or this field has length 0 */
694
695     B_TYPE *ignore_field_bits;
696
697     /* For classes, structures, and unions, a description of each field,
698        which consists of an overloaded name, followed by the types of
699        arguments that the method expects, and then the name after it
700        has been renamed to make it distinct.
701
702        fn_fieldlists points to an array of nfn_fields of these. */
703
704     struct fn_fieldlist
705       {
706
707         /* The overloaded name.  */
708
709         char *name;
710
711         /* The number of methods with this name.  */
712
713         int length;
714
715         /* The list of methods.  */
716
717         struct fn_field
718           {
719
720             /* If is_stub is clear, this is the mangled name which we can
721                look up to find the address of the method (FIXME: it would
722                be cleaner to have a pointer to the struct symbol here
723                instead).  */
724
725             /* If is_stub is set, this is the portion of the mangled
726                name which specifies the arguments.  For example, "ii",
727                if there are two int arguments, or "" if there are no
728                arguments.  See gdb_mangle_name for the conversion from this
729                format to the one used if is_stub is clear.  */
730
731             char *physname;
732
733             /* The function type for the method.
734                (This comment used to say "The return value of the method",
735                but that's wrong. The function type 
736                is expected here, i.e. something with TYPE_CODE_FUNC,
737                and *not* the return-value type). */
738
739             struct type *type;
740
741             /* For virtual functions.
742                First baseclass that defines this virtual function.   */
743
744             struct type *fcontext;
745
746             /* Attributes. */
747
748             unsigned int is_const:1;
749             unsigned int is_volatile:1;
750             unsigned int is_private:1;
751             unsigned int is_protected:1;
752             unsigned int is_public:1;
753             unsigned int is_abstract:1;
754             unsigned int is_static:1;
755             unsigned int is_final:1;
756             unsigned int is_synchronized:1;
757             unsigned int is_native:1;
758             unsigned int is_artificial:1;
759
760             /* A stub method only has some fields valid (but they are enough
761                to reconstruct the rest of the fields).  */
762             unsigned int is_stub:1;
763
764             /* Unused.  */
765             unsigned int dummy:4;
766
767             /* Index into that baseclass's virtual function table,
768                minus 2; else if static: VOFFSET_STATIC; else: 0.  */
769
770             unsigned int voffset:16;
771
772 #define VOFFSET_STATIC 1
773
774           }
775          *fn_fields;
776
777       }
778      *fn_fieldlists;
779
780     /* If this "struct type" describes a template, then it 
781      * has arguments. "template_args" points to an array of
782      * template arg descriptors, of length "ntemplate_args".
783      * The only real information in each of these template arg descriptors
784      * is a name. "type" will typically just point to a "struct type" with
785      * the placeholder TYPE_CODE_TEMPLATE_ARG type.
786      */
787     short ntemplate_args;
788     struct template_arg
789       {
790         char *name;
791         struct type *type;
792       }
793      *template_args;
794
795     /* Pointer to information about enclosing scope, if this is a
796      * local type.  If it is not a local type, this is NULL
797      */
798     struct local_type_info
799       {
800         char *file;
801         int line;
802       }
803      *localtype_ptr;
804
805     /* One if this struct is a dynamic class, as defined by the
806        Itanium C++ ABI: if it requires a virtual table pointer,
807        because it or any of its base classes have one or more virtual
808        member functions or virtual base classes.  Minus one if not
809        dynamic.  Zero if not yet computed.  */
810     int is_dynamic : 2;
811   };
812
813 /* Struct used in computing virtual base list */
814 struct vbase
815   {
816     struct type *vbasetype;     /* pointer to virtual base */
817     struct vbase *next;         /* next in chain */
818   };
819
820 /* Struct used for ranking a function for overload resolution */
821 struct badness_vector
822   {
823     int length;
824     int *rank;
825   };
826
827 /* The default value of TYPE_CPLUS_SPECIFIC(T) points to the
828    this shared static structure. */
829
830 extern const struct cplus_struct_type cplus_struct_default;
831
832 extern void allocate_cplus_struct_type (struct type *);
833
834 #define INIT_CPLUS_SPECIFIC(type) \
835   (TYPE_CPLUS_SPECIFIC(type)=(struct cplus_struct_type*)&cplus_struct_default)
836 #define ALLOCATE_CPLUS_STRUCT_TYPE(type) allocate_cplus_struct_type (type)
837 #define HAVE_CPLUS_STRUCT(type) \
838   (TYPE_CPLUS_SPECIFIC(type) != &cplus_struct_default)
839
840 #define TYPE_INSTANCE_FLAGS(thistype) (thistype)->instance_flags
841 #define TYPE_MAIN_TYPE(thistype) (thistype)->main_type
842 #define TYPE_NAME(thistype) TYPE_MAIN_TYPE(thistype)->name
843 #define TYPE_TAG_NAME(type) TYPE_MAIN_TYPE(type)->tag_name
844 #define TYPE_TARGET_TYPE(thistype) TYPE_MAIN_TYPE(thistype)->target_type
845 #define TYPE_POINTER_TYPE(thistype) (thistype)->pointer_type
846 #define TYPE_REFERENCE_TYPE(thistype) (thistype)->reference_type
847 #define TYPE_CHAIN(thistype) (thistype)->chain
848 /* Note that if thistype is a TYPEDEF type, you have to call check_typedef.
849    But check_typedef does set the TYPE_LENGTH of the TYPEDEF type,
850    so you only have to call check_typedef once.  Since allocate_value
851    calls check_typedef, TYPE_LENGTH (VALUE_TYPE (X)) is safe.  */
852 #define TYPE_LENGTH(thistype) (thistype)->length
853 /* Note that TYPE_CODE can be TYPE_CODE_TYPEDEF, so if you want the real
854    type, you need to do TYPE_CODE (check_type (this_type)). */
855 #define TYPE_CODE(thistype) TYPE_MAIN_TYPE(thistype)->code
856 #define TYPE_NFIELDS(thistype) TYPE_MAIN_TYPE(thistype)->nfields
857 #define TYPE_FIELDS(thistype) TYPE_MAIN_TYPE(thistype)->flds_bnds.fields
858 #define TYPE_TEMPLATE_ARGS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->template_args
859
860 #define TYPE_INDEX_TYPE(type) TYPE_FIELD_TYPE (type, 0)
861 #define TYPE_RANGE_DATA(thistype) TYPE_MAIN_TYPE(thistype)->flds_bnds.bounds
862 #define TYPE_LOW_BOUND(range_type) TYPE_RANGE_DATA(range_type)->low
863 #define TYPE_HIGH_BOUND(range_type) TYPE_RANGE_DATA(range_type)->high
864 #define TYPE_LOW_BOUND_UNDEFINED(range_type) \
865    TYPE_RANGE_DATA(range_type)->low_undefined
866 #define TYPE_HIGH_BOUND_UNDEFINED(range_type) \
867    TYPE_RANGE_DATA(range_type)->high_undefined
868
869 /* Moto-specific stuff for FORTRAN arrays */
870
871 #define TYPE_ARRAY_UPPER_BOUND_IS_UNDEFINED(arraytype) \
872    TYPE_HIGH_BOUND_UNDEFINED(TYPE_INDEX_TYPE(arraytype))
873 #define TYPE_ARRAY_LOWER_BOUND_IS_UNDEFINED(arraytype) \
874    TYPE_LOW_BOUND_UNDEFINED(TYPE_INDEX_TYPE(arraytype))
875
876 #define TYPE_ARRAY_UPPER_BOUND_VALUE(arraytype) \
877    (TYPE_HIGH_BOUND(TYPE_INDEX_TYPE((arraytype))))
878
879 #define TYPE_ARRAY_LOWER_BOUND_VALUE(arraytype) \
880    (TYPE_LOW_BOUND(TYPE_INDEX_TYPE((arraytype))))
881
882 /* C++ */
883
884 #define TYPE_VPTR_BASETYPE(thistype) TYPE_MAIN_TYPE(thistype)->vptr_basetype
885 #define TYPE_DOMAIN_TYPE(thistype) TYPE_MAIN_TYPE(thistype)->vptr_basetype
886 #define TYPE_VPTR_FIELDNO(thistype) TYPE_MAIN_TYPE(thistype)->vptr_fieldno
887 #define TYPE_FN_FIELDS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->fn_fields
888 #define TYPE_NFN_FIELDS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->nfn_fields
889 #define TYPE_NFN_FIELDS_TOTAL(thistype) TYPE_CPLUS_SPECIFIC(thistype)->nfn_fields_total
890 #define TYPE_NTEMPLATE_ARGS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->ntemplate_args
891 #define TYPE_DECLARED_TYPE(thistype) TYPE_CPLUS_SPECIFIC(thistype)->declared_type
892 #define TYPE_TYPE_SPECIFIC(thistype) TYPE_MAIN_TYPE(thistype)->type_specific
893 #define TYPE_CPLUS_SPECIFIC(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.cplus_stuff
894 #define TYPE_FLOATFORMAT(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.floatformat
895 #define TYPE_CALLING_CONVENTION(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.calling_convention
896 #define TYPE_BASECLASS(thistype,index) TYPE_FIELD_TYPE(thistype, index)
897 #define TYPE_N_BASECLASSES(thistype) TYPE_CPLUS_SPECIFIC(thistype)->n_baseclasses
898 #define TYPE_BASECLASS_NAME(thistype,index) TYPE_FIELD_NAME(thistype, index)
899 #define TYPE_BASECLASS_BITPOS(thistype,index) TYPE_FIELD_BITPOS(thistype,index)
900 #define BASETYPE_VIA_PUBLIC(thistype, index) \
901   ((!TYPE_FIELD_PRIVATE(thistype, index)) && (!TYPE_FIELD_PROTECTED(thistype, index)))
902 #define TYPE_CPLUS_DYNAMIC(thistype) TYPE_CPLUS_SPECIFIC (thistype)->is_dynamic
903
904 #define BASETYPE_VIA_VIRTUAL(thistype, index) \
905   (TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits == NULL ? 0 \
906     : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits, (index)))
907
908 #define FIELD_TYPE(thisfld) ((thisfld).type)
909 #define FIELD_NAME(thisfld) ((thisfld).name)
910 #define FIELD_LOC_KIND(thisfld) ((thisfld).loc_kind)
911 #define FIELD_BITPOS(thisfld) ((thisfld).loc.bitpos)
912 #define FIELD_STATIC_PHYSNAME(thisfld) ((thisfld).loc.physname)
913 #define FIELD_STATIC_PHYSADDR(thisfld) ((thisfld).loc.physaddr)
914 #define FIELD_DWARF_BLOCK(thisfld) ((thisfld).loc.dwarf_block)
915 #define SET_FIELD_BITPOS(thisfld, bitpos)                       \
916   (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_BITPOS,            \
917    FIELD_BITPOS (thisfld) = (bitpos))
918 #define SET_FIELD_PHYSNAME(thisfld, name)                       \
919   (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_PHYSNAME,          \
920    FIELD_STATIC_PHYSNAME (thisfld) = (name))
921 #define SET_FIELD_PHYSADDR(thisfld, addr)                       \
922   (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_PHYSADDR,          \
923    FIELD_STATIC_PHYSADDR (thisfld) = (addr))
924 #define SET_FIELD_DWARF_BLOCK(thisfld, addr)                    \
925   (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_DWARF_BLOCK,       \
926    FIELD_DWARF_BLOCK (thisfld) = (addr))
927 #define FIELD_ARTIFICIAL(thisfld) ((thisfld).artificial)
928 #define FIELD_BITSIZE(thisfld) ((thisfld).bitsize)
929
930 #define TYPE_FIELD(thistype, n) TYPE_MAIN_TYPE(thistype)->flds_bnds.fields[n]
931 #define TYPE_FIELD_TYPE(thistype, n) FIELD_TYPE(TYPE_FIELD(thistype, n))
932 #define TYPE_FIELD_NAME(thistype, n) FIELD_NAME(TYPE_FIELD(thistype, n))
933 #define TYPE_FIELD_LOC_KIND(thistype, n) FIELD_LOC_KIND (TYPE_FIELD (thistype, n))
934 #define TYPE_FIELD_BITPOS(thistype, n) FIELD_BITPOS (TYPE_FIELD (thistype, n))
935 #define TYPE_FIELD_STATIC_PHYSNAME(thistype, n) FIELD_STATIC_PHYSNAME (TYPE_FIELD (thistype, n))
936 #define TYPE_FIELD_STATIC_PHYSADDR(thistype, n) FIELD_STATIC_PHYSADDR (TYPE_FIELD (thistype, n))
937 #define TYPE_FIELD_DWARF_BLOCK(thistype, n) FIELD_DWARF_BLOCK (TYPE_FIELD (thistype, n))
938 #define TYPE_FIELD_ARTIFICIAL(thistype, n) FIELD_ARTIFICIAL(TYPE_FIELD(thistype,n))
939 #define TYPE_FIELD_BITSIZE(thistype, n) FIELD_BITSIZE(TYPE_FIELD(thistype,n))
940 #define TYPE_FIELD_PACKED(thistype, n) (FIELD_BITSIZE(TYPE_FIELD(thistype,n))!=0)
941 #define TYPE_TEMPLATE_ARG(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->template_args[n]
942
943 #define TYPE_FIELD_PRIVATE_BITS(thistype) \
944   TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits
945 #define TYPE_FIELD_PROTECTED_BITS(thistype) \
946   TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits
947 #define TYPE_FIELD_IGNORE_BITS(thistype) \
948   TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits
949 #define TYPE_FIELD_VIRTUAL_BITS(thistype) \
950   TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits
951 #define SET_TYPE_FIELD_PRIVATE(thistype, n) \
952   B_SET (TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits, (n))
953 #define SET_TYPE_FIELD_PROTECTED(thistype, n) \
954   B_SET (TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits, (n))
955 #define SET_TYPE_FIELD_IGNORE(thistype, n) \
956   B_SET (TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits, (n))
957 #define SET_TYPE_FIELD_VIRTUAL(thistype, n) \
958   B_SET (TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits, (n))
959 #define TYPE_FIELD_PRIVATE(thistype, n) \
960   (TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits == NULL ? 0 \
961     : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits, (n)))
962 #define TYPE_FIELD_PROTECTED(thistype, n) \
963   (TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits == NULL ? 0 \
964     : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits, (n)))
965 #define TYPE_FIELD_IGNORE(thistype, n) \
966   (TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits == NULL ? 0 \
967     : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits, (n)))
968 #define TYPE_FIELD_VIRTUAL(thistype, n) \
969   (TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits == NULL ? 0 \
970     : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits, (n)))
971
972 #define TYPE_FN_FIELDLISTS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists
973 #define TYPE_FN_FIELDLIST(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n]
974 #define TYPE_FN_FIELDLIST1(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n].fn_fields
975 #define TYPE_FN_FIELDLIST_NAME(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n].name
976 #define TYPE_FN_FIELDLIST_LENGTH(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n].length
977
978 #define TYPE_FN_FIELD(thisfn, n) (thisfn)[n]
979 #define TYPE_FN_FIELD_PHYSNAME(thisfn, n) (thisfn)[n].physname
980 #define TYPE_FN_FIELD_TYPE(thisfn, n) (thisfn)[n].type
981 #define TYPE_FN_FIELD_ARGS(thisfn, n) TYPE_FIELDS ((thisfn)[n].type)
982 #define TYPE_FN_FIELD_CONST(thisfn, n) ((thisfn)[n].is_const)
983 #define TYPE_FN_FIELD_VOLATILE(thisfn, n) ((thisfn)[n].is_volatile)
984 #define TYPE_FN_FIELD_PRIVATE(thisfn, n) ((thisfn)[n].is_private)
985 #define TYPE_FN_FIELD_PROTECTED(thisfn, n) ((thisfn)[n].is_protected)
986 #define TYPE_FN_FIELD_PUBLIC(thisfn, n) ((thisfn)[n].is_public)
987 #define TYPE_FN_FIELD_STATIC(thisfn, n) ((thisfn)[n].is_static)
988 #define TYPE_FN_FIELD_FINAL(thisfn, n) ((thisfn)[n].is_final)
989 #define TYPE_FN_FIELD_SYNCHRONIZED(thisfn, n) ((thisfn)[n].is_synchronized)
990 #define TYPE_FN_FIELD_NATIVE(thisfn, n) ((thisfn)[n].is_native)
991 #define TYPE_FN_FIELD_ARTIFICIAL(thisfn, n) ((thisfn)[n].is_artificial)
992 #define TYPE_FN_FIELD_ABSTRACT(thisfn, n) ((thisfn)[n].is_abstract)
993 #define TYPE_FN_FIELD_STUB(thisfn, n) ((thisfn)[n].is_stub)
994 #define TYPE_FN_FIELD_FCONTEXT(thisfn, n) ((thisfn)[n].fcontext)
995 #define TYPE_FN_FIELD_VOFFSET(thisfn, n) ((thisfn)[n].voffset-2)
996 #define TYPE_FN_FIELD_VIRTUAL_P(thisfn, n) ((thisfn)[n].voffset > 1)
997 #define TYPE_FN_FIELD_STATIC_P(thisfn, n) ((thisfn)[n].voffset == VOFFSET_STATIC)
998
999 #define TYPE_LOCALTYPE_PTR(thistype) (TYPE_CPLUS_SPECIFIC(thistype)->localtype_ptr)
1000 #define TYPE_LOCALTYPE_FILE(thistype) (TYPE_CPLUS_SPECIFIC(thistype)->localtype_ptr->file)
1001 #define TYPE_LOCALTYPE_LINE(thistype) (TYPE_CPLUS_SPECIFIC(thistype)->localtype_ptr->line)
1002
1003 #define TYPE_IS_OPAQUE(thistype) (((TYPE_CODE (thistype) == TYPE_CODE_STRUCT) ||        \
1004                                    (TYPE_CODE (thistype) == TYPE_CODE_UNION))        && \
1005                                   (TYPE_NFIELDS (thistype) == 0)                     && \
1006                                   (TYPE_CPLUS_SPECIFIC (thistype) && (TYPE_NFN_FIELDS (thistype) == 0)) && \
1007                                   (TYPE_STUB (thistype) || !TYPE_STUB_SUPPORTED (thistype)))
1008
1009 struct builtin_type
1010 {
1011   /* Integral types.  */
1012
1013   /* Implicit size/sign (based on the the architecture's ABI).  */
1014   struct type *builtin_void;
1015   struct type *builtin_char;
1016   struct type *builtin_short;
1017   struct type *builtin_int;
1018   struct type *builtin_long;
1019   struct type *builtin_signed_char;
1020   struct type *builtin_unsigned_char;
1021   struct type *builtin_unsigned_short;
1022   struct type *builtin_unsigned_int;
1023   struct type *builtin_unsigned_long;
1024   struct type *builtin_float;
1025   struct type *builtin_double;
1026   struct type *builtin_long_double;
1027   struct type *builtin_complex;
1028   struct type *builtin_double_complex;
1029   struct type *builtin_string;
1030   struct type *builtin_bool;
1031   struct type *builtin_long_long;
1032   struct type *builtin_unsigned_long_long;
1033   struct type *builtin_decfloat;
1034   struct type *builtin_decdouble;
1035   struct type *builtin_declong;
1036
1037   /* "True" character types.
1038       We use these for the '/c' print format, because c_char is just a
1039       one-byte integral type, which languages less laid back than C
1040       will print as ... well, a one-byte integral type.  */
1041   struct type *builtin_true_char;
1042   struct type *builtin_true_unsigned_char;
1043
1044   /* Explicit sizes - see C9X <intypes.h> for naming scheme.  The "int0"
1045      is for when an architecture needs to describe a register that has
1046      no size.  */
1047   struct type *builtin_int0;
1048   struct type *builtin_int8;
1049   struct type *builtin_uint8;
1050   struct type *builtin_int16;
1051   struct type *builtin_uint16;
1052   struct type *builtin_int32;
1053   struct type *builtin_uint32;
1054   struct type *builtin_int64;
1055   struct type *builtin_uint64;
1056   struct type *builtin_int128;
1057   struct type *builtin_uint128;
1058
1059
1060   /* Pointer types.  */
1061
1062   /* `pointer to data' type.  Some target platforms use an implicitly
1063      {sign,zero} -extended 32-bit ABI pointer on a 64-bit ISA.  */
1064   struct type *builtin_data_ptr;
1065
1066   /* `pointer to function (returning void)' type.  Harvard
1067      architectures mean that ABI function and code pointers are not
1068      interconvertible.  Similarly, since ANSI, C standards have
1069      explicitly said that pointers to functions and pointers to data
1070      are not interconvertible --- that is, you can't cast a function
1071      pointer to void * and back, and expect to get the same value.
1072      However, all function pointer types are interconvertible, so void
1073      (*) () can server as a generic function pointer.  */
1074   struct type *builtin_func_ptr;
1075
1076
1077   /* Special-purpose types.  */
1078
1079   /* This type is used to represent a GDB internal function.  */
1080   struct type *internal_fn;
1081 };
1082
1083 /* Return the type table for the specified architecture.  */
1084 extern const struct builtin_type *builtin_type (struct gdbarch *gdbarch);
1085
1086
1087 /* Per-objfile types used by symbol readers.  */
1088
1089 struct objfile_type
1090 {
1091   /* Basic types based on the objfile architecture.  */
1092   struct type *builtin_void;
1093   struct type *builtin_char;
1094   struct type *builtin_short;
1095   struct type *builtin_int;
1096   struct type *builtin_long;
1097   struct type *builtin_long_long;
1098   struct type *builtin_signed_char;
1099   struct type *builtin_unsigned_char;
1100   struct type *builtin_unsigned_short;
1101   struct type *builtin_unsigned_int;
1102   struct type *builtin_unsigned_long;
1103   struct type *builtin_unsigned_long_long;
1104   struct type *builtin_float;
1105   struct type *builtin_double;
1106   struct type *builtin_long_double;
1107
1108   /* This type is used to represent symbol addresses.  */
1109   struct type *builtin_core_addr;
1110
1111   /* This type represents a type that was unrecognized in symbol read-in.  */
1112   struct type *builtin_error;
1113
1114   /* Types used for symbols with no debug information.  */
1115   struct type *nodebug_text_symbol;
1116   struct type *nodebug_data_symbol;
1117   struct type *nodebug_unknown_symbol;
1118   struct type *nodebug_tls_symbol;
1119 };
1120
1121 /* Return the type table for the specified objfile.  */
1122 extern const struct objfile_type *objfile_type (struct objfile *objfile);
1123
1124  
1125 /* Explicit floating-point formats.  See "floatformat.h".  */
1126 extern const struct floatformat *floatformats_ieee_single[BFD_ENDIAN_UNKNOWN];
1127 extern const struct floatformat *floatformats_ieee_double[BFD_ENDIAN_UNKNOWN];
1128 extern const struct floatformat *floatformats_ieee_double_littlebyte_bigword[BFD_ENDIAN_UNKNOWN];
1129 extern const struct floatformat *floatformats_i387_ext[BFD_ENDIAN_UNKNOWN];
1130 extern const struct floatformat *floatformats_m68881_ext[BFD_ENDIAN_UNKNOWN];
1131 extern const struct floatformat *floatformats_arm_ext[BFD_ENDIAN_UNKNOWN];
1132 extern const struct floatformat *floatformats_ia64_spill[BFD_ENDIAN_UNKNOWN];
1133 extern const struct floatformat *floatformats_ia64_quad[BFD_ENDIAN_UNKNOWN];
1134 extern const struct floatformat *floatformats_vax_f[BFD_ENDIAN_UNKNOWN];
1135 extern const struct floatformat *floatformats_vax_d[BFD_ENDIAN_UNKNOWN];
1136 extern const struct floatformat *floatformats_ibm_long_double[BFD_ENDIAN_UNKNOWN];
1137
1138
1139 /* Maximum and minimum values of built-in types */
1140
1141 #define MAX_OF_TYPE(t)  \
1142    (TYPE_UNSIGNED(t) ? UMAX_OF_SIZE(TYPE_LENGTH(t)) \
1143     : MAX_OF_SIZE(TYPE_LENGTH(t)))
1144
1145 #define MIN_OF_TYPE(t)  \
1146    (TYPE_UNSIGNED(t) ? UMIN_OF_SIZE(TYPE_LENGTH(t)) \
1147     : MIN_OF_SIZE(TYPE_LENGTH(t)))
1148
1149 /* Allocate space for storing data associated with a particular type.
1150    We ensure that the space is allocated using the same mechanism that
1151    was used to allocate the space for the type structure itself.  I.E.
1152    if the type is on an objfile's objfile_obstack, then the space for data
1153    associated with that type will also be allocated on the objfile_obstack.
1154    If the type is not associated with any particular objfile (such as
1155    builtin types), then the data space will be allocated with xmalloc,
1156    the same as for the type structure. */
1157
1158 #define TYPE_ALLOC(t,size)  \
1159    (TYPE_OBJFILE_OWNED (t) \
1160     ? obstack_alloc (&TYPE_OBJFILE (t) -> objfile_obstack, size) \
1161     : xmalloc (size))
1162
1163 #define TYPE_ZALLOC(t,size)  \
1164    (TYPE_OBJFILE_OWNED (t) \
1165     ? memset (obstack_alloc (&TYPE_OBJFILE (t)->objfile_obstack, size),  \
1166               0, size)  \
1167     : xzalloc (size))
1168
1169 /* Use alloc_type to allocate a type owned by an objfile.
1170    Use alloc_type_arch to allocate a type owned by an architecture.
1171    Use alloc_type_copy to allocate a type with the same owner as a
1172    pre-existing template type, no matter whether objfile or gdbarch.  */
1173 extern struct type *alloc_type (struct objfile *);
1174 extern struct type *alloc_type_arch (struct gdbarch *);
1175 extern struct type *alloc_type_copy (const struct type *);
1176
1177 /* Return the type's architecture.  For types owned by an architecture,
1178    that architecture is returned.  For types owned by an objfile, that
1179    objfile's architecture is returned.  */
1180 extern struct gdbarch *get_type_arch (const struct type *);
1181
1182 /* Helper function to construct objfile-owned types.  */
1183 extern struct type *init_type (enum type_code, int, int, char *,
1184                                struct objfile *);
1185
1186 /* Helper functions to construct architecture-owned types.  */
1187 extern struct type *arch_type (struct gdbarch *, enum type_code, int, char *);
1188 extern struct type *arch_integer_type (struct gdbarch *, int, int, char *);
1189 extern struct type *arch_character_type (struct gdbarch *, int, int, char *);
1190 extern struct type *arch_boolean_type (struct gdbarch *, int, int, char *);
1191 extern struct type *arch_float_type (struct gdbarch *, int, char *,
1192                                      const struct floatformat **);
1193 extern struct type *arch_complex_type (struct gdbarch *, char *,
1194                                        struct type *);
1195
1196 /* Helper functions to construct a struct or record type.  An
1197    initially empty type is created using arch_composite_type().
1198    Fields are then added using append_struct_type_field().  A union
1199    type has its size set to the largest field.  A struct type has each
1200    field packed against the previous.  */
1201
1202 extern struct type *arch_composite_type (struct gdbarch *gdbarch,
1203                                          char *name, enum type_code code);
1204 extern void append_composite_type_field (struct type *t, char *name,
1205                                          struct type *field);
1206 extern void append_composite_type_field_aligned (struct type *t,
1207                                                  char *name,
1208                                                  struct type *field,
1209                                                  int alignment);
1210
1211 /* Helper functions to construct a bit flags type.  An initially empty
1212    type is created using arch_flag_type().  Flags are then added using
1213    append_flag_type_flag().  */
1214 extern struct type *arch_flags_type (struct gdbarch *gdbarch,
1215                                      char *name, int length);
1216 extern void append_flags_type_flag (struct type *type, int bitpos, char *name);
1217
1218 extern void make_vector_type (struct type *array_type);
1219 extern struct type *init_vector_type (struct type *elt_type, int n);
1220
1221 extern struct type *lookup_reference_type (struct type *);
1222
1223 extern struct type *make_reference_type (struct type *, struct type **);
1224
1225 extern struct type *make_cv_type (int, int, struct type *, struct type **);
1226
1227 extern void replace_type (struct type *, struct type *);
1228
1229 extern int address_space_name_to_int (struct gdbarch *, char *);
1230
1231 extern const char *address_space_int_to_name (struct gdbarch *, int);
1232
1233 extern struct type *make_type_with_address_space (struct type *type, 
1234                                                   int space_identifier);
1235
1236 extern struct type *lookup_memberptr_type (struct type *, struct type *);
1237
1238 extern struct type *lookup_methodptr_type (struct type *);
1239
1240 extern void smash_to_method_type (struct type *type, struct type *domain,
1241                                   struct type *to_type, struct field *args,
1242                                   int nargs, int varargs);
1243
1244 extern void smash_to_memberptr_type (struct type *, struct type *,
1245                                      struct type *);
1246
1247 extern struct type *allocate_stub_method (struct type *);
1248
1249 extern char *type_name_no_tag (const struct type *);
1250
1251 extern struct type *lookup_struct_elt_type (struct type *, char *, int);
1252
1253 extern struct type *make_pointer_type (struct type *, struct type **);
1254
1255 extern struct type *lookup_pointer_type (struct type *);
1256
1257 extern struct type *make_function_type (struct type *, struct type **);
1258
1259 extern struct type *lookup_function_type (struct type *);
1260
1261 extern struct type *create_range_type (struct type *, struct type *, LONGEST,
1262                                        LONGEST);
1263
1264 extern struct type *create_array_type (struct type *, struct type *,
1265                                        struct type *);
1266 extern struct type *lookup_array_range_type (struct type *, int, int);
1267
1268 extern struct type *create_string_type (struct type *, struct type *,
1269                                         struct type *);
1270 extern struct type *lookup_string_range_type (struct type *, int, int);
1271
1272 extern struct type *create_set_type (struct type *, struct type *);
1273
1274 extern struct type *lookup_unsigned_typename (const struct language_defn *,
1275                                               struct gdbarch *,char *);
1276
1277 extern struct type *lookup_signed_typename (const struct language_defn *,
1278                                             struct gdbarch *,char *);
1279
1280 extern struct type *check_typedef (struct type *);
1281
1282 #define CHECK_TYPEDEF(TYPE)                     \
1283   do {                                          \
1284     (TYPE) = check_typedef (TYPE);              \
1285   } while (0)
1286
1287 extern void check_stub_method_group (struct type *, int);
1288
1289 extern char *gdb_mangle_name (struct type *, int, int);
1290
1291 extern struct type *lookup_typename (const struct language_defn *,
1292                                      struct gdbarch *, char *,
1293                                      struct block *, int);
1294
1295 extern struct type *lookup_template_type (char *, struct type *,
1296                                           struct block *);
1297
1298 extern int get_vptr_fieldno (struct type *, struct type **);
1299
1300 extern int get_discrete_bounds (struct type *, LONGEST *, LONGEST *);
1301
1302 extern int is_ancestor (struct type *, struct type *);
1303
1304 /* Overload resolution */
1305
1306 #define LENGTH_MATCH(bv) ((bv)->rank[0])
1307
1308 /* Badness if parameter list length doesn't match arg list length */
1309 #define LENGTH_MISMATCH_BADNESS      100
1310 /* Dummy badness value for nonexistent parameter positions */
1311 #define TOO_FEW_PARAMS_BADNESS       100
1312 /* Badness if no conversion among types */
1313 #define INCOMPATIBLE_TYPE_BADNESS    100
1314
1315 /* Badness of integral promotion */
1316 #define INTEGER_PROMOTION_BADNESS      1
1317 /* Badness of floating promotion */
1318 #define FLOAT_PROMOTION_BADNESS        1
1319 /* Badness of integral conversion */
1320 #define INTEGER_CONVERSION_BADNESS     2
1321 /* Badness of floating conversion */
1322 #define FLOAT_CONVERSION_BADNESS       2
1323 /* Badness of integer<->floating conversions */
1324 #define INT_FLOAT_CONVERSION_BADNESS   2
1325 /* Badness of converting to a boolean */
1326 #define BOOLEAN_CONVERSION_BADNESS     2
1327 /* Badness of pointer conversion */
1328 #define POINTER_CONVERSION_BADNESS     2
1329 /* Badness of conversion of pointer to void pointer */
1330 #define VOID_PTR_CONVERSION_BADNESS    2
1331 /* Badness of converting derived to base class */
1332 #define BASE_CONVERSION_BADNESS        2
1333 /* Badness of converting from non-reference to reference */
1334 #define REFERENCE_CONVERSION_BADNESS   2
1335
1336 /* Non-standard conversions allowed by the debugger */
1337 /* Converting a pointer to an int is usually OK */
1338 #define NS_POINTER_CONVERSION_BADNESS 10
1339
1340
1341 extern int compare_badness (struct badness_vector *, struct badness_vector *);
1342
1343 extern struct badness_vector *rank_function (struct type **, int,
1344                                              struct type **, int);
1345
1346 extern int rank_one_type (struct type *, struct type *);
1347
1348 extern void recursive_dump_type (struct type *, int);
1349
1350 extern int field_is_static (struct field *);
1351
1352 /* printcmd.c */
1353
1354 extern void print_scalar_formatted (const void *, struct type *,
1355                                     const struct value_print_options *,
1356                                     int, struct ui_file *);
1357
1358 extern int can_dereference (struct type *);
1359
1360 extern int is_integral_type (struct type *);
1361
1362 extern void maintenance_print_type (char *, int);
1363
1364 extern htab_t create_copied_types_hash (struct objfile *objfile);
1365
1366 extern struct type *copy_type_recursive (struct objfile *objfile,
1367                                          struct type *type,
1368                                          htab_t copied_types);
1369
1370 extern struct type *copy_type (const struct type *type);
1371
1372 #endif /* GDBTYPES_H */