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