gdb/gdbtypes.h

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