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