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 /* Constant type.  If this is set, the corresponding type has a
 274  * const modifier.
 275  */
 276
 277 #define TYPE_CONST(t) (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_CONST)
 278
 279 /* Volatile type.  If this is set, the corresponding type has a
 280  * volatile modifier.
 281  */
 282
 283 #define TYPE_VOLATILE(t) (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_VOLATILE)
 284
 285 /* Instruction-space delimited type.  This is for Harvard architectures
 286    which have separate instruction and data address spaces (and perhaps
 287    others).
 288
 289    GDB usually defines a flat address space that is a superset of the
 290    architecture's two (or more) address spaces, but this is an extension
 291    of the architecture's model.
 292
 293    If TYPE_FLAG_INST is set, an object of the corresponding type
 294    resides in instruction memory, even if its address (in the extended
 295    flat address space) does not reflect this.
 296
 297    Similarly, if TYPE_FLAG_DATA is set, then an object of the
 298    corresponding type resides in the data memory space, even if
 299    this is not indicated by its (flat address space) address.
 300
 301    If neither flag is set, the default space for functions / methods
 302    is instruction space, and for data objects is data memory.  */
 303
 304 #define TYPE_CODE_SPACE(t) \
 305   (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_CODE_SPACE)
 306
 307 #define TYPE_DATA_SPACE(t) \
 308   (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_DATA_SPACE)
 309
 310 /* Address class flags.  Some environments provide for pointers whose
 311    size is different from that of a normal pointer or address types
 312    where the bits are interpreted differently than normal addresses.  The
 313    TYPE_FLAG_ADDRESS_CLASS_n flags may be used in target specific
 314    ways to represent these different types of address classes.  */
 315 #define TYPE_ADDRESS_CLASS_1(t) (TYPE_INSTANCE_FLAGS(t) \
 316                                  & TYPE_INSTANCE_FLAG_ADDRESS_CLASS_1)
 317 #define TYPE_ADDRESS_CLASS_2(t) (TYPE_INSTANCE_FLAGS(t) \
 318                                  & TYPE_INSTANCE_FLAG_ADDRESS_CLASS_2)
 319 #define TYPE_INSTANCE_FLAG_ADDRESS_CLASS_ALL \
 320   (TYPE_INSTANCE_FLAG_ADDRESS_CLASS_1 | TYPE_INSTANCE_FLAG_ADDRESS_CLASS_2)
 321 #define TYPE_ADDRESS_CLASS_ALL(t) (TYPE_INSTANCE_FLAGS(t) \
 322                                    & TYPE_INSTANCE_FLAG_ADDRESS_CLASS_ALL)
 323
 324 /* Determine which field of the union main_type.fields[x].loc is used.  */
 325
 326 enum field_loc_kind
 327   {
 328     FIELD_LOC_KIND_BITPOS,      /* bitpos */
 329     FIELD_LOC_KIND_PHYSADDR,    /* physaddr */
 330     FIELD_LOC_KIND_PHYSNAME,    /* physname */
 331     FIELD_LOC_KIND_DWARF_BLOCK  /* dwarf_block */
 332   };
 333
 334 /* This structure is space-critical.
 335    Its layout has been tweaked to reduce the space used.  */
 336
 337 struct main_type
 338 {
 339   /* Code for kind of type */
 340
 341   ENUM_BITFIELD(type_code) code : 8;
 342
 343   /* Flags about this type.  These fields appear at this location
 344      because they packs nicely here.  See the TYPE_* macros for
 345      documentation about these fields.  */
 346
 347   unsigned int flag_unsigned : 1;
 348   unsigned int flag_nosign : 1;
 349   unsigned int flag_stub : 1;
 350   unsigned int flag_target_stub : 1;
 351   unsigned int flag_static : 1;
 352   unsigned int flag_prototyped : 1;
 353   unsigned int flag_incomplete : 1;
 354   unsigned int flag_varargs : 1;
 355   unsigned int flag_vector : 1;
 356   unsigned int flag_stub_supported : 1;
 357   unsigned int flag_nottext : 1;
 358   unsigned int flag_fixed_instance : 1;
 359
 360   /* Number of fields described for this type.  This field appears at
 361      this location because it packs nicely here.  */
 362
 363   short nfields;
 364
 365   /* Field number of the virtual function table pointer in
 366      VPTR_BASETYPE.  If -1, we were unable to find the virtual
 367      function table pointer in initial symbol reading, and
 368      get_vptr_fieldno should be called to find it if possible.
 369      get_vptr_fieldno will update this field if possible.
 370      Otherwise the value is left at -1.
 371
 372      Unused if this type does not have virtual functions.
 373
 374      This field appears at this location because it packs nicely here.  */
 375
 376   short vptr_fieldno;
 377
 378   /* Name of this type, or NULL if none.
 379
 380      This is used for printing only, except by poorly designed C++ code.
 381      For looking up a name, look for a symbol in the VAR_DOMAIN.  */
 382
 383   char *name;
 384
 385   /* Tag name for this type, or NULL if none.  This means that the
 386      name of the type consists of a keyword followed by the tag name.
 387      Which keyword is determined by the type code ("struct" for
 388      TYPE_CODE_STRUCT, etc.).  As far as I know C/C++ are the only languages
 389      with this feature.
 390
 391      This is used for printing only, except by poorly designed C++ code.
 392      For looking up a name, look for a symbol in the STRUCT_DOMAIN.
 393      One more legitimate use is that if TYPE_FLAG_STUB is set, this is
 394      the name to use to look for definitions in other files.  */
 395
 396   char *tag_name;
 397
 398   /* Every type is now associated with a particular objfile, and the
 399      type is allocated on the objfile_obstack for that objfile.  One problem
 400      however, is that there are times when gdb allocates new types while
 401      it is not in the process of reading symbols from a particular objfile.
 402      Fortunately, these happen when the type being created is a derived
 403      type of an existing type, such as in lookup_pointer_type().  So
 404      we can just allocate the new type using the same objfile as the
 405      existing type, but to do this we need a backpointer to the objfile
 406      from the existing type.  Yes this is somewhat ugly, but without
 407      major overhaul of the internal type system, it can't be avoided
 408      for now. */
 409
 410   struct objfile *objfile;
 411
 412   /* For a pointer type, describes the type of object pointed to.
 413      For an array type, describes the type of the elements.
 414      For a function or method type, describes the type of the return value.
 415      For a range type, describes the type of the full range.
 416      For a complex type, describes the type of each coordinate.
 417      Unused otherwise.  */
 418
 419   struct type *target_type;
 420
 421   /* For structure and union types, a description of each field.
 422      For set and pascal array types, there is one "field",
 423      whose type is the domain type of the set or array.
 424      For range types, there are two "fields",
 425      the minimum and maximum values (both inclusive).
 426      For enum types, each possible value is described by one "field".
 427      For a function or method type, a "field" for each parameter.
 428      For C++ classes, there is one field for each base class (if it is
 429      a derived class) plus one field for each class data member.  Member
 430      functions are recorded elsewhere.
 431
 432      Using a pointer to a separate array of fields
 433      allows all types to have the same size, which is useful
 434      because we can allocate the space for a type before
 435      we know what to put in it.  */
 436
 437   struct field
 438   {
 439     union field_location
 440     {
 441       /* Position of this field, counting in bits from start of
 442          containing structure.
 443          For gdbarch_bits_big_endian=1 targets, it is the bit offset to the MSB.
 444          For gdbarch_bits_big_endian=0 targets, it is the bit offset to the LSB.
 445          For a range bound or enum value, this is the value itself. */
 446
 447       int bitpos;
 448
 449       /* For a static field, if TYPE_FIELD_STATIC_HAS_ADDR then physaddr
 450          is the location (in the target) of the static field.
 451          Otherwise, physname is the mangled label of the static field. */
 452
 453       CORE_ADDR physaddr;
 454       char *physname;
 455
 456       /* The field location can be computed by evaluating the following DWARF
 457          block.  This can be used in Fortran variable-length arrays, for
 458          instance.  */
 459
 460       struct dwarf2_locexpr_baton *dwarf_block;
 461     }
 462     loc;
 463
 464     /* For a function or member type, this is 1 if the argument is marked
 465        artificial.  Artificial arguments should not be shown to the
 466        user.  For TYPE_CODE_RANGE it is set if the specific bound is not
 467        defined.  */
 468     unsigned int artificial : 1;
 469
 470     /* Discriminant for union field_location.  */
 471     ENUM_BITFIELD(field_loc_kind) loc_kind : 2;
 472
 473     /* Size of this field, in bits, or zero if not packed.
 474        For an unpacked field, the field's type's length
 475        says how many bytes the field occupies.  */
 476
 477     unsigned int bitsize : 29;
 478
 479     /* In a struct or union type, type of this field.
 480        In a function or member type, type of this argument.
 481        In an array type, the domain-type of the array.  */
 482
 483     struct type *type;
 484
 485     /* Name of field, value or argument.
 486        NULL for range bounds, array domains, and member function
 487        arguments.  */
 488
 489     char *name;
 490
 491   } *fields;
 492
 493   /* For types with virtual functions (TYPE_CODE_STRUCT), VPTR_BASETYPE
 494      is the base class which defined the virtual function table pointer.
 495
 496      For types that are pointer to member types (TYPE_CODE_METHODPTR,
 497      TYPE_CODE_MEMBERPTR), VPTR_BASETYPE is the type that this pointer
 498      is a member of.
 499
 500      For method types (TYPE_CODE_METHOD), VPTR_BASETYPE is the aggregate
 501      type that contains the method.
 502
 503      Unused otherwise.  */
 504
 505   struct type *vptr_basetype;
 506
 507   /* Slot to point to additional language-specific fields of this type.  */
 508
 509   union type_specific
 510   {
 511     /* CPLUS_STUFF is for TYPE_CODE_STRUCT.  It is initialized to point to
 512        cplus_struct_default, a default static instance of a struct
 513        cplus_struct_type. */
 514
 515     struct cplus_struct_type *cplus_stuff;
 516
 517     /* FLOATFORMAT is for TYPE_CODE_FLT.  It is a pointer to two
 518        floatformat objects that describe the floating-point value
 519        that resides within the type.  The first is for big endian
 520        targets and the second is for little endian targets.  */
 521
 522     const struct floatformat **floatformat;
 523
 524     /* For TYPE_CODE_FUNC types, the calling convention for targets
 525        supporting multiple ABIs.  Right now this is only fetched from
 526        the Dwarf-2 DW_AT_calling_convention attribute.  */
 527     unsigned calling_convention;
 528   } type_specific;
 529 };
 530
 531 /* A ``struct type'' describes a particular instance of a type, with
 532    some particular qualification.  */
 533 struct type
 534 {
 535   /* Type that is a pointer to this type.
 536      NULL if no such pointer-to type is known yet.
 537      The debugger may add the address of such a type
 538      if it has to construct one later.  */
 539
 540   struct type *pointer_type;
 541
 542   /* C++: also need a reference type.  */
 543
 544   struct type *reference_type;
 545
 546   /* Variant chain.  This points to a type that differs from this one only
 547      in qualifiers and length.  Currently, the possible qualifiers are
 548      const, volatile, code-space, data-space, and address class.  The
 549      length may differ only when one of the address class flags are set.
 550      The variants are linked in a circular ring and share MAIN_TYPE.  */
 551   struct type *chain;
 552
 553   /* Flags specific to this instance of the type, indicating where
 554      on the ring we are.  */
 555   int instance_flags;
 556
 557   /* Length of storage for a value of this type.  This is what
 558      sizeof(type) would return; use it for address arithmetic,
 559      memory reads and writes, etc.  This size includes padding.  For
 560      example, an i386 extended-precision floating point value really
 561      only occupies ten bytes, but most ABI's declare its size to be
 562      12 bytes, to preserve alignment.  A `struct type' representing
 563      such a floating-point type would have a `length' value of 12,
 564      even though the last two bytes are unused.
 565
 566      There's a bit of a host/target mess here, if you're concerned
 567      about machines whose bytes aren't eight bits long, or who don't
 568      have byte-addressed memory.  Various places pass this to memcpy
 569      and such, meaning it must be in units of host bytes.  Various
 570      other places expect they can calculate addresses by adding it
 571      and such, meaning it must be in units of target bytes.  For
 572      some DSP targets, in which HOST_CHAR_BIT will (presumably) be 8
 573      and TARGET_CHAR_BIT will be (say) 32, this is a problem.
 574
 575      One fix would be to make this field in bits (requiring that it
 576      always be a multiple of HOST_CHAR_BIT and TARGET_CHAR_BIT) ---
 577      the other choice would be to make it consistently in units of
 578      HOST_CHAR_BIT.  However, this would still fail to address
 579      machines based on a ternary or decimal representation.  */
 580
 581   unsigned length;
 582
 583   /* Core type, shared by a group of qualified types.  */
 584   struct main_type *main_type;
 585 };
 586
 587 #define NULL_TYPE ((struct type *) 0)
 588
 589 /* C++ language-specific information for TYPE_CODE_STRUCT and TYPE_CODE_UNION
 590    nodes.  */
 591
 592 struct cplus_struct_type
 593   {
 594     /* Number of base classes this type derives from.  The baseclasses are
 595        stored in the first N_BASECLASSES fields (i.e. the `fields' field of
 596        the struct type).  I think only the `type' field of such a field has
 597        any meaning.  */
 598
 599     short n_baseclasses;
 600
 601     /* Number of methods with unique names.  All overloaded methods with
 602        the same name count only once. */
 603
 604     short nfn_fields;
 605
 606     /* Number of methods described for this type, not including the
 607        methods that it derives from.  */
 608
 609     short nfn_fields_total;
 610
 611     /* The "declared_type" field contains a code saying how the
 612        user really declared this type, e.g., "class s", "union s",
 613        "struct s".
 614        The 3 above things come out from the C++ compiler looking like classes,
 615        but we keep track of the real declaration so we can give
 616        the correct information on "ptype". (Note: TEMPLATE may not
 617        belong in this list...)  */
 618
 619 #define DECLARED_TYPE_CLASS 0
 620 #define DECLARED_TYPE_UNION 1
 621 #define DECLARED_TYPE_STRUCT 2
 622 #define DECLARED_TYPE_TEMPLATE 3
 623     short declared_type;        /* One of the above codes */
 624
 625     /* For derived classes, the number of base classes is given by n_baseclasses
 626        and virtual_field_bits is a bit vector containing one bit per base class.
 627        If the base class is virtual, the corresponding bit will be set.
 628        I.E, given:
 629
 630        class A{};
 631        class B{};
 632        class C : public B, public virtual A {};
 633
 634        B is a baseclass of C; A is a virtual baseclass for C.
 635        This is a C++ 2.0 language feature. */
 636
 637     B_TYPE *virtual_field_bits;
 638
 639     /* For classes with private fields, the number of fields is given by
 640        nfields and private_field_bits is a bit vector containing one bit
 641        per field.
 642        If the field is private, the corresponding bit will be set. */
 643
 644     B_TYPE *private_field_bits;
 645
 646     /* For classes with protected fields, the number of fields is given by
 647        nfields and protected_field_bits is a bit vector containing one bit
 648        per field.
 649        If the field is private, the corresponding bit will be set. */
 650
 651     B_TYPE *protected_field_bits;
 652
 653     /* for classes with fields to be ignored, either this is optimized out
 654        or this field has length 0 */
 655
 656     B_TYPE *ignore_field_bits;
 657
 658     /* For classes, structures, and unions, a description of each field,
 659        which consists of an overloaded name, followed by the types of
 660        arguments that the method expects, and then the name after it
 661        has been renamed to make it distinct.
 662
 663        fn_fieldlists points to an array of nfn_fields of these. */
 664
 665     struct fn_fieldlist
 666       {
 667
 668         /* The overloaded name.  */
 669
 670         char *name;
 671
 672         /* The number of methods with this name.  */
 673
 674         int length;
 675
 676         /* The list of methods.  */
 677
 678         struct fn_field
 679           {
 680
 681             /* If is_stub is clear, this is the mangled name which we can
 682                look up to find the address of the method (FIXME: it would
 683                be cleaner to have a pointer to the struct symbol here
 684                instead).  */
 685
 686             /* If is_stub is set, this is the portion of the mangled
 687                name which specifies the arguments.  For example, "ii",
 688                if there are two int arguments, or "" if there are no
 689                arguments.  See gdb_mangle_name for the conversion from this
 690                format to the one used if is_stub is clear.  */
 691
 692             char *physname;
 693
 694             /* The function type for the method.
 695                (This comment used to say "The return value of the method",
 696                but that's wrong. The function type
 697                is expected here, i.e. something with TYPE_CODE_FUNC,
 698                and *not* the return-value type). */
 699
 700             struct type *type;
 701
 702             /* For virtual functions.
 703                First baseclass that defines this virtual function.   */
 704
 705             struct type *fcontext;
 706
 707             /* Attributes. */
 708
 709             unsigned int is_const:1;
 710             unsigned int is_volatile:1;
 711             unsigned int is_private:1;
 712             unsigned int is_protected:1;
 713             unsigned int is_public:1;
 714             unsigned int is_abstract:1;
 715             unsigned int is_static:1;
 716             unsigned int is_final:1;
 717             unsigned int is_synchronized:1;
 718             unsigned int is_native:1;
 719             unsigned int is_artificial:1;
 720
 721             /* A stub method only has some fields valid (but they are enough
 722                to reconstruct the rest of the fields).  */
 723             unsigned int is_stub:1;
 724
 725             /* Unused.  */
 726             unsigned int dummy:4;
 727
 728             /* Index into that baseclass's virtual function table,
 729                minus 2; else if static: VOFFSET_STATIC; else: 0.  */
 730
 731             unsigned int voffset:16;
 732
 733 #define VOFFSET_STATIC 1
 734
 735           }
 736          *fn_fields;
 737
 738       }
 739      *fn_fieldlists;
 740
 741     /* If this "struct type" describes a template, then it
 742      * has arguments. "template_args" points to an array of
 743      * template arg descriptors, of length "ntemplate_args".
 744      * The only real information in each of these template arg descriptors
 745      * is a name. "type" will typically just point to a "struct type" with
 746      * the placeholder TYPE_CODE_TEMPLATE_ARG type.
 747      */
 748     short ntemplate_args;
 749     struct template_arg
 750       {
 751         char *name;
 752         struct type *type;
 753       }
 754      *template_args;
 755
 756     /* Pointer to information about enclosing scope, if this is a
 757      * local type.  If it is not a local type, this is NULL
 758      */
 759     struct local_type_info
 760       {
 761         char *file;
 762         int line;
 763       }
 764      *localtype_ptr;
 765   };
 766
 767 /* Struct used in computing virtual base list */
 768 struct vbase
 769   {
 770     struct type *vbasetype;     /* pointer to virtual base */
 771     struct vbase *next;         /* next in chain */
 772   };
 773
 774 /* Struct used for ranking a function for overload resolution */
 775 struct badness_vector
 776   {
 777     int length;
 778     int *rank;
 779   };
 780
 781 /* The default value of TYPE_CPLUS_SPECIFIC(T) points to the
 782    this shared static structure. */
 783
 784 extern const struct cplus_struct_type cplus_struct_default;
 785
 786 extern void allocate_cplus_struct_type (struct type *);
 787
 788 #define INIT_CPLUS_SPECIFIC(type) \
 789   (TYPE_CPLUS_SPECIFIC(type)=(struct cplus_struct_type*)&cplus_struct_default)
 790 #define ALLOCATE_CPLUS_STRUCT_TYPE(type) allocate_cplus_struct_type (type)
 791 #define HAVE_CPLUS_STRUCT(type) \
 792   (TYPE_CPLUS_SPECIFIC(type) != &cplus_struct_default)
 793
 794 #define TYPE_INSTANCE_FLAGS(thistype) (thistype)->instance_flags
 795 #define TYPE_MAIN_TYPE(thistype) (thistype)->main_type
 796 #define TYPE_NAME(thistype) TYPE_MAIN_TYPE(thistype)->name
 797 #define TYPE_TAG_NAME(type) TYPE_MAIN_TYPE(type)->tag_name
 798 #define TYPE_TARGET_TYPE(thistype) TYPE_MAIN_TYPE(thistype)->target_type
 799 #define TYPE_POINTER_TYPE(thistype) (thistype)->pointer_type
 800 #define TYPE_REFERENCE_TYPE(thistype) (thistype)->reference_type
 801 #define TYPE_CHAIN(thistype) (thistype)->chain
 802 /* Note that if thistype is a TYPEDEF type, you have to call check_typedef.
 803    But check_typedef does set the TYPE_LENGTH of the TYPEDEF type,
 804    so you only have to call check_typedef once.  Since allocate_value
 805    calls check_typedef, TYPE_LENGTH (VALUE_TYPE (X)) is safe.  */
 806 #define TYPE_LENGTH(thistype) (thistype)->length
 807 #define TYPE_OBJFILE(thistype) TYPE_MAIN_TYPE(thistype)->objfile
 808 /* Note that TYPE_CODE can be TYPE_CODE_TYPEDEF, so if you want the real
 809    type, you need to do TYPE_CODE (check_type (this_type)). */
 810 #define TYPE_CODE(thistype) TYPE_MAIN_TYPE(thistype)->code
 811 #define TYPE_NFIELDS(thistype) TYPE_MAIN_TYPE(thistype)->nfields
 812 #define TYPE_FIELDS(thistype) TYPE_MAIN_TYPE(thistype)->fields
 813 #define TYPE_TEMPLATE_ARGS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->template_args
 814
 815 #define TYPE_INDEX_TYPE(type) TYPE_FIELD_TYPE (type, 0)
 816 #define TYPE_LOW_BOUND(range_type) TYPE_FIELD_BITPOS (range_type, 0)
 817 #define TYPE_HIGH_BOUND(range_type) TYPE_FIELD_BITPOS (range_type, 1)
 818
 819 /* Moto-specific stuff for FORTRAN arrays */
 820
 821 #define TYPE_ARRAY_UPPER_BOUND_IS_UNDEFINED(arraytype) \
 822    (TYPE_FIELD_ARTIFICIAL(TYPE_INDEX_TYPE((arraytype)),1))
 823 #define TYPE_ARRAY_LOWER_BOUND_IS_UNDEFINED(arraytype) \
 824    (TYPE_FIELD_ARTIFICIAL(TYPE_INDEX_TYPE((arraytype)),0))
 825
 826 #define TYPE_ARRAY_UPPER_BOUND_VALUE(arraytype) \
 827    (TYPE_HIGH_BOUND(TYPE_INDEX_TYPE((arraytype))))
 828
 829 #define TYPE_ARRAY_LOWER_BOUND_VALUE(arraytype) \
 830    (TYPE_LOW_BOUND(TYPE_INDEX_TYPE((arraytype))))
 831
 832 /* C++ */
 833
 834 #define TYPE_VPTR_BASETYPE(thistype) TYPE_MAIN_TYPE(thistype)->vptr_basetype
 835 #define TYPE_DOMAIN_TYPE(thistype) TYPE_MAIN_TYPE(thistype)->vptr_basetype
 836 #define TYPE_VPTR_FIELDNO(thistype) TYPE_MAIN_TYPE(thistype)->vptr_fieldno
 837 #define TYPE_FN_FIELDS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->fn_fields
 838 #define TYPE_NFN_FIELDS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->nfn_fields
 839 #define TYPE_NFN_FIELDS_TOTAL(thistype) TYPE_CPLUS_SPECIFIC(thistype)->nfn_fields_total
 840 #define TYPE_NTEMPLATE_ARGS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->ntemplate_args
 841 #define TYPE_DECLARED_TYPE(thistype) TYPE_CPLUS_SPECIFIC(thistype)->declared_type
 842 #define TYPE_TYPE_SPECIFIC(thistype) TYPE_MAIN_TYPE(thistype)->type_specific
 843 #define TYPE_CPLUS_SPECIFIC(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.cplus_stuff
 844 #define TYPE_FLOATFORMAT(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.floatformat
 845 #define TYPE_CALLING_CONVENTION(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.calling_convention
 846 #define TYPE_BASECLASS(thistype,index) TYPE_MAIN_TYPE(thistype)->fields[index].type
 847 #define TYPE_N_BASECLASSES(thistype) TYPE_CPLUS_SPECIFIC(thistype)->n_baseclasses
 848 #define TYPE_BASECLASS_NAME(thistype,index) TYPE_MAIN_TYPE(thistype)->fields[index].name
 849 #define TYPE_BASECLASS_BITPOS(thistype,index) TYPE_FIELD_BITPOS(thistype,index)
 850 #define BASETYPE_VIA_PUBLIC(thistype, index) \
 851   ((!TYPE_FIELD_PRIVATE(thistype, index)) && (!TYPE_FIELD_PROTECTED(thistype, index)))
 852
 853 #define BASETYPE_VIA_VIRTUAL(thistype, index) \
 854   (TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits == NULL ? 0 \
 855     : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits, (index)))
 856
 857 #define FIELD_TYPE(thisfld) ((thisfld).type)
 858 #define FIELD_NAME(thisfld) ((thisfld).name)
 859 #define FIELD_LOC_KIND(thisfld) ((thisfld).loc_kind)
 860 #define FIELD_BITPOS(thisfld) ((thisfld).loc.bitpos)
 861 #define FIELD_STATIC_PHYSNAME(thisfld) ((thisfld).loc.physname)
 862 #define FIELD_STATIC_PHYSADDR(thisfld) ((thisfld).loc.physaddr)
 863 #define FIELD_DWARF_BLOCK(thisfld) ((thisfld).loc.dwarf_block)
 864 #define SET_FIELD_BITPOS(thisfld, bitpos)                       \
 865   (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_BITPOS,            \
 866    FIELD_BITPOS (thisfld) = (bitpos))
 867 #define SET_FIELD_PHYSNAME(thisfld, name)                       \
 868   (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_PHYSNAME,          \
 869    FIELD_STATIC_PHYSNAME (thisfld) = (name))
 870 #define SET_FIELD_PHYSADDR(thisfld, addr)                       \
 871   (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_PHYSADDR,          \
 872    FIELD_STATIC_PHYSADDR (thisfld) = (addr))
 873 #define SET_FIELD_DWARF_BLOCK(thisfld, addr)                    \
 874   (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_DWARF_BLOCK,       \
 875    FIELD_DWARF_BLOCK (thisfld) = (addr))
 876 #define FIELD_ARTIFICIAL(thisfld) ((thisfld).artificial)
 877 #define FIELD_BITSIZE(thisfld) ((thisfld).bitsize)
 878
 879 #define TYPE_FIELD(thistype, n) TYPE_MAIN_TYPE(thistype)->fields[n]
 880 #define TYPE_FIELD_TYPE(thistype, n) FIELD_TYPE(TYPE_FIELD(thistype, n))
 881 #define TYPE_FIELD_NAME(thistype, n) FIELD_NAME(TYPE_FIELD(thistype, n))
 882 #define TYPE_FIELD_LOC_KIND(thistype, n) FIELD_LOC_KIND (TYPE_FIELD (thistype, n))
 883 #define TYPE_FIELD_BITPOS(thistype, n) FIELD_BITPOS (TYPE_FIELD (thistype, n))
 884 #define TYPE_FIELD_STATIC_PHYSNAME(thistype, n) FIELD_STATIC_PHYSNAME (TYPE_FIELD (thistype, n))
 885 #define TYPE_FIELD_STATIC_PHYSADDR(thistype, n) FIELD_STATIC_PHYSADDR (TYPE_FIELD (thistype, n))
 886 #define TYPE_FIELD_DWARF_BLOCK(thistype, n) FIELD_DWARF_BLOCK (TYPE_FIELD (thistype, n))
 887 #define TYPE_FIELD_ARTIFICIAL(thistype, n) FIELD_ARTIFICIAL(TYPE_FIELD(thistype,n))
 888 #define TYPE_FIELD_BITSIZE(thistype, n) FIELD_BITSIZE(TYPE_FIELD(thistype,n))
 889 #define TYPE_FIELD_PACKED(thistype, n) (FIELD_BITSIZE(TYPE_FIELD(thistype,n))!=0)
 890 #define TYPE_TEMPLATE_ARG(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->template_args[n]
 891
 892 #define TYPE_FIELD_PRIVATE_BITS(thistype) \
 893   TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits
 894 #define TYPE_FIELD_PROTECTED_BITS(thistype) \
 895   TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits
 896 #define TYPE_FIELD_IGNORE_BITS(thistype) \
 897   TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits
 898 #define TYPE_FIELD_VIRTUAL_BITS(thistype) \
 899   TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits
 900 #define SET_TYPE_FIELD_PRIVATE(thistype, n) \
 901   B_SET (TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits, (n))
 902 #define SET_TYPE_FIELD_PROTECTED(thistype, n) \
 903   B_SET (TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits, (n))
 904 #define SET_TYPE_FIELD_IGNORE(thistype, n) \
 905   B_SET (TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits, (n))
 906 #define SET_TYPE_FIELD_VIRTUAL(thistype, n) \
 907   B_SET (TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits, (n))
 908 #define TYPE_FIELD_PRIVATE(thistype, n) \
 909   (TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits == NULL ? 0 \
 910     : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits, (n)))
 911 #define TYPE_FIELD_PROTECTED(thistype, n) \
 912   (TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits == NULL ? 0 \
 913     : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits, (n)))
 914 #define TYPE_FIELD_IGNORE(thistype, n) \
 915   (TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits == NULL ? 0 \
 916     : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits, (n)))
 917 #define TYPE_FIELD_VIRTUAL(thistype, n) \
 918   (TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits == NULL ? 0 \
 919     : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits, (n)))
 920
 921 #define TYPE_FN_FIELDLISTS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists
 922 #define TYPE_FN_FIELDLIST(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n]
 923 #define TYPE_FN_FIELDLIST1(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n].fn_fields
 924 #define TYPE_FN_FIELDLIST_NAME(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n].name
 925 #define TYPE_FN_FIELDLIST_LENGTH(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n].length
 926
 927 #define TYPE_FN_FIELD(thisfn, n) (thisfn)[n]
 928 #define TYPE_FN_FIELD_PHYSNAME(thisfn, n) (thisfn)[n].physname
 929 #define TYPE_FN_FIELD_TYPE(thisfn, n) (thisfn)[n].type
 930 #define TYPE_FN_FIELD_ARGS(thisfn, n) TYPE_FIELDS ((thisfn)[n].type)
 931 #define TYPE_FN_FIELD_CONST(thisfn, n) ((thisfn)[n].is_const)
 932 #define TYPE_FN_FIELD_VOLATILE(thisfn, n) ((thisfn)[n].is_volatile)
 933 #define TYPE_FN_FIELD_PRIVATE(thisfn, n) ((thisfn)[n].is_private)
 934 #define TYPE_FN_FIELD_PROTECTED(thisfn, n) ((thisfn)[n].is_protected)
 935 #define TYPE_FN_FIELD_PUBLIC(thisfn, n) ((thisfn)[n].is_public)
 936 #define TYPE_FN_FIELD_STATIC(thisfn, n) ((thisfn)[n].is_static)
 937 #define TYPE_FN_FIELD_FINAL(thisfn, n) ((thisfn)[n].is_final)
 938 #define TYPE_FN_FIELD_SYNCHRONIZED(thisfn, n) ((thisfn)[n].is_synchronized)
 939 #define TYPE_FN_FIELD_NATIVE(thisfn, n) ((thisfn)[n].is_native)
 940 #define TYPE_FN_FIELD_ARTIFICIAL(thisfn, n) ((thisfn)[n].is_artificial)
 941 #define TYPE_FN_FIELD_ABSTRACT(thisfn, n) ((thisfn)[n].is_abstract)
 942 #define TYPE_FN_FIELD_STUB(thisfn, n) ((thisfn)[n].is_stub)
 943 #define TYPE_FN_FIELD_FCONTEXT(thisfn, n) ((thisfn)[n].fcontext)
 944 #define TYPE_FN_FIELD_VOFFSET(thisfn, n) ((thisfn)[n].voffset-2)
 945 #define TYPE_FN_FIELD_VIRTUAL_P(thisfn, n) ((thisfn)[n].voffset > 1)
 946 #define TYPE_FN_FIELD_STATIC_P(thisfn, n) ((thisfn)[n].voffset == VOFFSET_STATIC)
 947
 948 #define TYPE_LOCALTYPE_PTR(thistype) (TYPE_CPLUS_SPECIFIC(thistype)->localtype_ptr)
 949 #define TYPE_LOCALTYPE_FILE(thistype) (TYPE_CPLUS_SPECIFIC(thistype)->localtype_ptr->file)
 950 #define TYPE_LOCALTYPE_LINE(thistype) (TYPE_CPLUS_SPECIFIC(thistype)->localtype_ptr->line)
 951
 952 #define TYPE_IS_OPAQUE(thistype) (((TYPE_CODE (thistype) == TYPE_CODE_STRUCT) ||        \
 953                                    (TYPE_CODE (thistype) == TYPE_CODE_UNION))        && \
 954                                   (TYPE_NFIELDS (thistype) == 0)                     && \
 955                                   (TYPE_CPLUS_SPECIFIC (thistype) && (TYPE_NFN_FIELDS (thistype) == 0)) && \
 956                                   (TYPE_STUB (thistype) || !TYPE_STUB_SUPPORTED (thistype)))
 957
 958 struct builtin_type
 959 {
 960   /* Integral types.  */
 961
 962   /* Implicit size/sign (based on the the architecture's ABI).  */
 963   struct type *builtin_void;
 964   struct type *builtin_char;
 965   struct type *builtin_short;
 966   struct type *builtin_int;
 967   struct type *builtin_long;
 968   struct type *builtin_signed_char;
 969   struct type *builtin_unsigned_char;
 970   struct type *builtin_unsigned_short;
 971   struct type *builtin_unsigned_int;
 972   struct type *builtin_unsigned_long;
 973   struct type *builtin_float;
 974   struct type *builtin_double;
 975   struct type *builtin_long_double;
 976   struct type *builtin_complex;
 977   struct type *builtin_double_complex;
 978   struct type *builtin_string;
 979   struct type *builtin_bool;
 980   struct type *builtin_long_long;
 981   struct type *builtin_unsigned_long_long;
 982   struct type *builtin_decfloat;
 983   struct type *builtin_decdouble;
 984   struct type *builtin_declong;
 985
 986
 987   /* Pointer types.  */
 988
 989   /* `pointer to data' type.  Some target platforms use an implicitly
 990      {sign,zero} -extended 32-bit ABI pointer on a 64-bit ISA.  */
 991   struct type *builtin_data_ptr;
 992
 993   /* `pointer to function (returning void)' type.  Harvard
 994      architectures mean that ABI function and code pointers are not
 995      interconvertible.  Similarly, since ANSI, C standards have
 996      explicitly said that pointers to functions and pointers to data
 997      are not interconvertible --- that is, you can't cast a function
 998      pointer to void * and back, and expect to get the same value.
 999      However, all function pointer types are interconvertible, so void
1000      (*) () can server as a generic function pointer.  */
1001   struct type *builtin_func_ptr;
1002
1003
1004   /* Special-purpose types.  */
1005
1006   /* This type is used to represent a GDB internal function.  */
1007   struct type *internal_fn;
1008 };
1009
1010 /* Return the type table for the specified architecture.  */
1011 extern const struct builtin_type *builtin_type (struct gdbarch *gdbarch);
1012
1013
1014 /* Per-objfile types used by symbol readers.  */
1015
1016 struct objfile_type
1017 {
1018   /* Basic types based on the objfile architecture.  */
1019   struct type *builtin_void;
1020   struct type *builtin_char;
1021   struct type *builtin_short;
1022   struct type *builtin_int;
1023   struct type *builtin_long;
1024   struct type *builtin_long_long;
1025   struct type *builtin_signed_char;
1026   struct type *builtin_unsigned_char;
1027   struct type *builtin_unsigned_short;
1028   struct type *builtin_unsigned_int;
1029   struct type *builtin_unsigned_long;
1030   struct type *builtin_unsigned_long_long;
1031   struct type *builtin_float;
1032   struct type *builtin_double;
1033   struct type *builtin_long_double;
1034
1035   /* This type is used to represent symbol addresses.  */
1036   struct type *builtin_core_addr;
1037
1038   /* This type represents a type that was unrecognized in symbol read-in.  */
1039   struct type *builtin_error;
1040
1041   /* Types used for symbols with no debug information.  */
1042   struct type *nodebug_text_symbol;
1043   struct type *nodebug_data_symbol;
1044   struct type *nodebug_unknown_symbol;
1045   struct type *nodebug_tls_symbol;
1046 };
1047
1048 /* Return the type table for the specified objfile.  */
1049 extern const struct objfile_type *objfile_type (struct objfile *objfile);
1050
1051
1052 /* Explicit sizes - see C9X <intypes.h> for naming scheme.  The "int0"
1053    is for when an architecture needs to describe a register that has
1054    no size.  */
1055 extern struct type *builtin_type_int0;
1056 extern struct type *builtin_type_int8;
1057 extern struct type *builtin_type_uint8;
1058 extern struct type *builtin_type_int16;
1059 extern struct type *builtin_type_uint16;
1060 extern struct type *builtin_type_int32;
1061 extern struct type *builtin_type_uint32;
1062 extern struct type *builtin_type_int64;
1063 extern struct type *builtin_type_uint64;
1064 extern struct type *builtin_type_int128;
1065 extern struct type *builtin_type_uint128;
1066
1067 /* Explicit floating-point formats.  See "floatformat.h".  */
1068 extern const struct floatformat *floatformats_ieee_single[BFD_ENDIAN_UNKNOWN];
1069 extern const struct floatformat *floatformats_ieee_double[BFD_ENDIAN_UNKNOWN];
1070 extern const struct floatformat *floatformats_ieee_double_littlebyte_bigword[BFD_ENDIAN_UNKNOWN];
1071 extern const struct floatformat *floatformats_i387_ext[BFD_ENDIAN_UNKNOWN];
1072 extern const struct floatformat *floatformats_m68881_ext[BFD_ENDIAN_UNKNOWN];
1073 extern const struct floatformat *floatformats_arm_ext[BFD_ENDIAN_UNKNOWN];
1074 extern const struct floatformat *floatformats_ia64_spill[BFD_ENDIAN_UNKNOWN];
1075 extern const struct floatformat *floatformats_ia64_quad[BFD_ENDIAN_UNKNOWN];
1076 extern const struct floatformat *floatformats_vax_f[BFD_ENDIAN_UNKNOWN];
1077 extern const struct floatformat *floatformats_vax_d[BFD_ENDIAN_UNKNOWN];
1078 extern const struct floatformat *floatformats_ibm_long_double[BFD_ENDIAN_UNKNOWN];
1079
1080 extern struct type *builtin_type_ieee_single;
1081 extern struct type *builtin_type_ieee_double;
1082 extern struct type *builtin_type_i387_ext;
1083 extern struct type *builtin_type_m68881_ext;
1084 extern struct type *builtin_type_arm_ext;
1085 extern struct type *builtin_type_ia64_spill;
1086 extern struct type *builtin_type_ia64_quad;
1087
1088 /* Platform-neutral void type.  Never attempt to construct a pointer
1089    or reference type to this, because those cannot be platform-neutral.
1090    You must use builtin_type (...)->builtin_void in those cases.  */
1091 extern struct type *builtin_type_void;
1092
1093 /* Platform-neutral character types.
1094    We use these for the '/c' print format, because c_char is just a
1095    one-byte integral type, which languages less laid back than C
1096    will print as ... well, a one-byte integral type.  */
1097 extern struct type *builtin_type_true_char;
1098 extern struct type *builtin_type_true_unsigned_char;
1099
1100
1101 /* Maximum and minimum values of built-in types */
1102
1103 #define MAX_OF_TYPE(t)  \
1104    (TYPE_UNSIGNED(t) ? UMAX_OF_SIZE(TYPE_LENGTH(t)) \
1105     : MAX_OF_SIZE(TYPE_LENGTH(t)))
1106
1107 #define MIN_OF_TYPE(t)  \
1108    (TYPE_UNSIGNED(t) ? UMIN_OF_SIZE(TYPE_LENGTH(t)) \
1109     : MIN_OF_SIZE(TYPE_LENGTH(t)))
1110
1111 /* Allocate space for storing data associated with a particular type.
1112    We ensure that the space is allocated using the same mechanism that
1113    was used to allocate the space for the type structure itself.  I.E.
1114    if the type is on an objfile's objfile_obstack, then the space for data
1115    associated with that type will also be allocated on the objfile_obstack.
1116    If the type is not associated with any particular objfile (such as
1117    builtin types), then the data space will be allocated with xmalloc,
1118    the same as for the type structure. */
1119
1120 #define TYPE_ALLOC(t,size)  \
1121    (TYPE_OBJFILE (t) != NULL  \
1122     ? obstack_alloc (&TYPE_OBJFILE (t) -> objfile_obstack, size) \
1123     : xmalloc (size))
1124
1125 #define TYPE_ZALLOC(t,size)  \
1126    (TYPE_OBJFILE (t) != NULL  \
1127     ? memset (obstack_alloc (&TYPE_OBJFILE (t)->objfile_obstack, size),  \
1128               0, size)  \
1129     : xzalloc (size))
1130
1131 extern struct type *alloc_type (struct objfile *);
1132
1133 extern struct type *init_type (enum type_code, int, int, char *,
1134                                struct objfile *);
1135
1136 /* Helper functions to construct a struct or record type.  An
1137    initially empty type is created using init_composite_type().
1138    Fields are then added using append_struct_type_field().  A union
1139    type has its size set to the largest field.  A struct type has each
1140    field packed against the previous.  */
1141
1142 extern struct type *init_composite_type (char *name, enum type_code code);
1143 extern void append_composite_type_field (struct type *t, char *name,
1144                                          struct type *field);
1145 extern void append_composite_type_field_aligned (struct type *t,
1146                                                  char *name,
1147                                                  struct type *field,
1148                                                  int alignment);
1149
1150 /* Helper functions to construct a bit flags type.  An initially empty
1151    type is created using init_flag_type().  Flags are then added using
1152    append_flag_type_flag().  */
1153 extern struct type *init_flags_type (char *name, int length);
1154 extern void append_flags_type_flag (struct type *type, int bitpos, char *name);
1155
1156 extern void make_vector_type (struct type *array_type);
1157 extern struct type *init_vector_type (struct type *elt_type, int n);
1158
1159 extern struct type *lookup_reference_type (struct type *);
1160
1161 extern struct type *make_reference_type (struct type *, struct type **);
1162
1163 extern struct type *make_cv_type (int, int, struct type *, struct type **);
1164
1165 extern void replace_type (struct type *, struct type *);
1166
1167 extern int address_space_name_to_int (char *);
1168
1169 extern const char *address_space_int_to_name (int);
1170
1171 extern struct type *make_type_with_address_space (struct type *type,
1172                                                   int space_identifier);
1173
1174 extern struct type *lookup_memberptr_type (struct type *, struct type *);
1175
1176 extern struct type *lookup_methodptr_type (struct type *);
1177
1178 extern void smash_to_method_type (struct type *type, struct type *domain,
1179                                   struct type *to_type, struct field *args,
1180                                   int nargs, int varargs);
1181
1182 extern void smash_to_memberptr_type (struct type *, struct type *,
1183                                      struct type *);
1184
1185 extern struct type *allocate_stub_method (struct type *);
1186
1187 extern char *type_name_no_tag (const struct type *);
1188
1189 extern struct type *lookup_struct_elt_type (struct type *, char *, int);
1190
1191 extern struct type *make_pointer_type (struct type *, struct type **);
1192
1193 extern struct type *lookup_pointer_type (struct type *);
1194
1195 extern struct type *make_function_type (struct type *, struct type **);
1196
1197 extern struct type *lookup_function_type (struct type *);
1198
1199 extern struct type *create_range_type (struct type *, struct type *, int,
1200                                        int);
1201
1202 extern struct type *create_array_type (struct type *, struct type *,
1203                                        struct type *);
1204
1205 extern struct type *create_string_type (struct type *, struct type *,
1206                                         struct type *);
1207
1208 extern struct type *create_set_type (struct type *, struct type *);
1209
1210 extern struct type *lookup_unsigned_typename (const struct language_defn *,
1211                                               struct gdbarch *,char *);
1212
1213 extern struct type *lookup_signed_typename (const struct language_defn *,
1214                                             struct gdbarch *,char *);
1215
1216 extern struct type *check_typedef (struct type *);
1217
1218 #define CHECK_TYPEDEF(TYPE)                     \
1219   do {                                          \
1220     (TYPE) = check_typedef (TYPE);              \
1221   } while (0)
1222
1223 extern void check_stub_method_group (struct type *, int);
1224
1225 extern char *gdb_mangle_name (struct type *, int, int);
1226
1227 extern struct type *lookup_typename (const struct language_defn *,
1228                                      struct gdbarch *, char *,
1229                                      struct block *, int);
1230
1231 extern struct type *lookup_template_type (char *, struct type *,
1232                                           struct block *);
1233
1234 extern int get_vptr_fieldno (struct type *, struct type **);
1235
1236 extern int get_discrete_bounds (struct type *, LONGEST *, LONGEST *);
1237
1238 extern int is_ancestor (struct type *, struct type *);
1239
1240 /* Overload resolution */
1241
1242 #define LENGTH_MATCH(bv) ((bv)->rank[0])
1243
1244 /* Badness if parameter list length doesn't match arg list length */
1245 #define LENGTH_MISMATCH_BADNESS      100
1246 /* Dummy badness value for nonexistent parameter positions */
1247 #define TOO_FEW_PARAMS_BADNESS       100
1248 /* Badness if no conversion among types */
1249 #define INCOMPATIBLE_TYPE_BADNESS    100
1250
1251 /* Badness of integral promotion */
1252 #define INTEGER_PROMOTION_BADNESS      1
1253 /* Badness of floating promotion */
1254 #define FLOAT_PROMOTION_BADNESS        1
1255 /* Badness of integral conversion */
1256 #define INTEGER_CONVERSION_BADNESS     2
1257 /* Badness of floating conversion */
1258 #define FLOAT_CONVERSION_BADNESS       2
1259 /* Badness of integer<->floating conversions */
1260 #define INT_FLOAT_CONVERSION_BADNESS   2
1261 /* Badness of converting to a boolean */
1262 #define BOOLEAN_CONVERSION_BADNESS     2
1263 /* Badness of pointer conversion */
1264 #define POINTER_CONVERSION_BADNESS     2
1265 /* Badness of conversion of pointer to void pointer */
1266 #define VOID_PTR_CONVERSION_BADNESS    2
1267 /* Badness of converting derived to base class */
1268 #define BASE_CONVERSION_BADNESS        2
1269 /* Badness of converting from non-reference to reference */
1270 #define REFERENCE_CONVERSION_BADNESS   2
1271
1272 /* Non-standard conversions allowed by the debugger */
1273 /* Converting a pointer to an int is usually OK */
1274 #define NS_POINTER_CONVERSION_BADNESS 10
1275
1276
1277 extern int compare_badness (struct badness_vector *, struct badness_vector *);
1278
1279 extern struct badness_vector *rank_function (struct type **, int,
1280                                              struct type **, int);
1281
1282 extern int rank_one_type (struct type *, struct type *);
1283
1284 extern void recursive_dump_type (struct type *, int);
1285
1286 extern int field_is_static (struct field *);
1287
1288 /* printcmd.c */
1289
1290 extern void print_scalar_formatted (const void *, struct type *,
1291                                     const struct value_print_options *,
1292                                     int, struct ui_file *);
1293
1294 extern int can_dereference (struct type *);
1295
1296 extern int is_integral_type (struct type *);
1297
1298 extern void maintenance_print_type (char *, int);
1299
1300 extern htab_t create_copied_types_hash (struct objfile *objfile);
1301
1302 extern struct type *copy_type_recursive (struct objfile *objfile,
1303                                          struct type *type,
1304                                          htab_t copied_types);
1305
1306 extern struct type *copy_type (const struct type *type);
1307
1308 #endif /* GDBTYPES_H */