diff options
Diffstat (limited to 'gdb/gdbtypes.h')
| -rw-r--r-- | gdb/gdbtypes.h | 1135 |
1 files changed, 1135 insertions, 0 deletions
diff --git a/gdb/gdbtypes.h b/gdb/gdbtypes.h new file mode 100644 index 00000000000..107eb46eb30 --- /dev/null +++ b/gdb/gdbtypes.h @@ -0,0 +1,1135 @@ +/* Internal type definitions for GDB. + Copyright (C) 1992, 1993, 1994, 1996, 1998, 1999 + Free Software Foundation, Inc. + Contributed by Cygnus Support, using pieces from other GDB modules. + +This file is part of GDB. + +This program is free software; you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation; either version 2 of the License, or +(at your option) any later version. + +This program is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with this program; if not, write to the Free Software +Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ + +#if !defined (GDBTYPES_H) +#define GDBTYPES_H 1 + +/* Codes for `fundamental types'. This is a monstrosity based on the + bogus notion that there are certain compiler-independent + `fundamental types'. None of these is well-defined (how big is + FT_SHORT? Does it depend on the language? How does the + language-specific code know which type to correlate to FT_SHORT?) */ + +#define FT_VOID 0 +#define FT_BOOLEAN 1 +#define FT_CHAR 2 /* we use this for not-unsigned C/C++ chars */ +#define FT_SIGNED_CHAR 3 /* we use this for C++ signed chars */ +#define FT_UNSIGNED_CHAR 4 /* we use this for C/C++ unsigned chars */ +#define FT_SHORT 5 +#define FT_SIGNED_SHORT 6 +#define FT_UNSIGNED_SHORT 7 +#define FT_INTEGER 8 +#define FT_SIGNED_INTEGER 9 +#define FT_UNSIGNED_INTEGER 10 +#define FT_LONG 11 +#define FT_SIGNED_LONG 12 +#define FT_UNSIGNED_LONG 13 +#define FT_LONG_LONG 14 +#define FT_SIGNED_LONG_LONG 15 +#define FT_UNSIGNED_LONG_LONG 16 +#define FT_FLOAT 17 +#define FT_DBL_PREC_FLOAT 18 +#define FT_EXT_PREC_FLOAT 19 +#define FT_COMPLEX 20 +#define FT_DBL_PREC_COMPLEX 21 +#define FT_EXT_PREC_COMPLEX 22 +#define FT_STRING 23 +#define FT_FIXED_DECIMAL 24 +#define FT_FLOAT_DECIMAL 25 +#define FT_BYTE 26 +#define FT_UNSIGNED_BYTE 27 +#define FT_TEMPLATE_ARG 28 + +#define FT_NUM_MEMBERS 29 /* Highest FT_* above, plus one. */ + +/* Some macros for char-based bitfields. */ + +#define B_SET(a,x) ((a)[(x)>>3] |= (1 << ((x)&7))) +#define B_CLR(a,x) ((a)[(x)>>3] &= ~(1 << ((x)&7))) +#define B_TST(a,x) ((a)[(x)>>3] & (1 << ((x)&7))) +#define B_TYPE unsigned char +#define B_BYTES(x) ( 1 + ((x)>>3) ) +#define B_CLRALL(a,x) memset ((a), 0, B_BYTES(x)) + +/* Different kinds of data types are distinguished by the `code' field. */ + +enum type_code +{ + TYPE_CODE_UNDEF, /* Not used; catches errors */ + TYPE_CODE_PTR, /* Pointer type */ + TYPE_CODE_ARRAY, /* Array type with lower & upper bounds. */ + TYPE_CODE_STRUCT, /* C struct or Pascal record */ + TYPE_CODE_UNION, /* C union or Pascal variant part */ + TYPE_CODE_ENUM, /* Enumeration type */ + TYPE_CODE_FUNC, /* Function type */ + TYPE_CODE_INT, /* Integer type */ + + /* Floating type. This is *NOT* a complex type. Beware, there are parts + of GDB which bogusly assume that TYPE_CODE_FLT can mean complex. */ + TYPE_CODE_FLT, + + /* Void type. The length field specifies the length (probably always + one) which is used in pointer arithmetic involving pointers to + this type, but actually dereferencing such a pointer is invalid; + a void type has no length and no actual representation in memory + or registers. A pointer to a void type is a generic pointer. */ + TYPE_CODE_VOID, + + TYPE_CODE_SET, /* Pascal sets */ + TYPE_CODE_RANGE, /* Range (integers within spec'd bounds) */ + + /* A string type which is like an array of character but prints + differently (at least for CHILL). It does not contain a length + field as Pascal strings (for many Pascals, anyway) do; if we want + to deal with such strings, we should use a new type code. */ + TYPE_CODE_STRING, + + /* String of bits; like TYPE_CODE_SET but prints differently (at least + for CHILL). */ + TYPE_CODE_BITSTRING, + + /* Unknown type. The length field is valid if we were able to + deduce that much about the type, or 0 if we don't even know that. */ + TYPE_CODE_ERROR, + + /* C++ */ + TYPE_CODE_MEMBER, /* Member type */ + TYPE_CODE_METHOD, /* Method type */ + TYPE_CODE_REF, /* C++ Reference types */ + + TYPE_CODE_CHAR, /* *real* character type */ + + /* Boolean type. 0 is false, 1 is true, and other values are non-boolean + (e.g. FORTRAN "logical" used as unsigned int). */ + TYPE_CODE_BOOL, + + /* Fortran */ + TYPE_CODE_COMPLEX, /* Complex float */ + + TYPE_CODE_TYPEDEF, + TYPE_CODE_TEMPLATE, /* C++ template */ + TYPE_CODE_TEMPLATE_ARG /* C++ template arg */ + +}; + +/* For now allow source to use TYPE_CODE_CLASS for C++ classes, as an + alias for TYPE_CODE_STRUCT. This is for DWARF, which has a distinct + "class" attribute. Perhaps we should actually have a separate TYPE_CODE + so that we can print "class" or "struct" depending on what the debug + info said. It's not clear we should bother. */ + +#define TYPE_CODE_CLASS TYPE_CODE_STRUCT + +/* Some bits for the type's flags word. */ + +/* Unsigned integer type. If this is not set for a TYPE_CODE_INT, the + type is signed (unless TYPE_FLAG_NOSIGN (below) is set). */ + +#define TYPE_FLAG_UNSIGNED (1 << 0) + +/* No sign for this type. In C++, "char", "signed char", and "unsigned + char" are distinct types; so we need an extra flag to indicate the + absence ofa sign! */ + +#define TYPE_FLAG_NOSIGN (1 << 1) + +/* This appears in a type's flags word if it is a stub type (e.g., if + someone referenced a type that wasn't defined in a source file + via (struct sir_not_appearing_in_this_film *)). */ + +#define TYPE_FLAG_STUB (1 << 2) + +/* The target type of this type is a stub type, and this type needs to + be updated if it gets un-stubbed in check_typedef. + Used for arrays and ranges, in which TYPE_LENGTH of the array/range + gets set based on the TYPE_LENGTH of the target type. + Also, set for TYPE_CODE_TYPEDEF. */ + +#define TYPE_FLAG_TARGET_STUB (1 << 3) + +/* Static type. If this is set, the corresponding type had + * a static modifier. + * Note: This may be unnecessary, since static data members + * are indicated by other means (bitpos == -1) + */ + +#define TYPE_FLAG_STATIC (1 << 4) + +/* Constant type. If this is set, the corresponding type has a + * const modifier. + */ + +#define TYPE_FLAG_CONST (1 << 5) + +/* Volatile type. If this is set, the corresponding type has a + * volatile modifier. + */ + +#define TYPE_FLAG_VOLATILE (1 << 6) + + +/* This is a function type which appears to have a prototype. We need this + for function calls in order to tell us if it's necessary to coerce the args, + or to just do the standard conversions. This is used with a short field. */ + +#define TYPE_FLAG_PROTOTYPED (1 << 7) + +/* This flag is used to indicate that processing for this type + is incomplete. + + (Mostly intended for HP platforms, where class methods, for + instance, can be encountered before their classes in the debug + info; the incomplete type has to be marked so that the class and + the method can be assigned correct types.) */ + +#define TYPE_FLAG_INCOMPLETE (1 << 8) + + +struct type +{ + + /* Code for kind of type */ + + enum type_code code; + + /* Name of this type, or NULL if none. + + This is used for printing only, except by poorly designed C++ code. + For looking up a name, look for a symbol in the VAR_NAMESPACE. */ + + char *name; + + /* Tag name for this type, or NULL if none. This means that the + name of the type consists of a keyword followed by the tag name. + Which keyword is determined by the type code ("struct" for + TYPE_CODE_STRUCT, etc.). As far as I know C/C++ are the only languages + with this feature. + + This is used for printing only, except by poorly designed C++ code. + For looking up a name, look for a symbol in the STRUCT_NAMESPACE. + One more legitimate use is that if TYPE_FLAG_STUB is set, this is + the name to use to look for definitions in other files. */ + + char *tag_name; + + /* Length of storage for a value of this type. Various places pass + this to memcpy and such, meaning it must be in units of + HOST_CHAR_BIT. Various other places expect they can calculate + addresses by adding it and such, meaning it must be in units of + TARGET_CHAR_BIT. For some DSP targets, in which HOST_CHAR_BIT + will (presumably) be 8 and TARGET_CHAR_BIT will be (say) 32, this + is a problem. One fix would be to make this field in bits + (requiring that it always be a multiple of HOST_CHAR_BIT and + TARGET_CHAR_BIT)--the other choice would be to make it + consistently in units of HOST_CHAR_BIT. */ + + unsigned length; + + /* FIXME, these should probably be restricted to a Fortran-specific + field in some fashion. */ +#define BOUND_CANNOT_BE_DETERMINED 5 +#define BOUND_BY_REF_ON_STACK 4 +#define BOUND_BY_VALUE_ON_STACK 3 +#define BOUND_BY_REF_IN_REG 2 +#define BOUND_BY_VALUE_IN_REG 1 +#define BOUND_SIMPLE 0 + int upper_bound_type; + int lower_bound_type; + + /* Every type is now associated with a particular objfile, and the + type is allocated on the type_obstack for that objfile. One problem + however, is that there are times when gdb allocates new types while + it is not in the process of reading symbols from a particular objfile. + Fortunately, these happen when the type being created is a derived + type of an existing type, such as in lookup_pointer_type(). So + we can just allocate the new type using the same objfile as the + existing type, but to do this we need a backpointer to the objfile + from the existing type. Yes this is somewhat ugly, but without + major overhaul of the internal type system, it can't be avoided + for now. */ + + struct objfile *objfile; + + /* For a pointer type, describes the type of object pointed to. + For an array type, describes the type of the elements. + For a function or method type, describes the type of the return value. + For a range type, describes the type of the full range. + For a complex type, describes the type of each coordinate. + Unused otherwise. */ + + struct type *target_type; + + /* Type that is a pointer to this type. + NULL if no such pointer-to type is known yet. + The debugger may add the address of such a type + if it has to construct one later. */ + + struct type *pointer_type; + + /* C++: also need a reference type. */ + + struct type *reference_type; + + /* C-v variant chain. This points to a type that + differs from this one only in a const or volatile + attribute (or both). The various c-v variants + are chained together in a ring. */ + struct type *cv_type; + + /* Flags about this type. */ + + int flags; + + /* Number of fields described for this type */ + + short nfields; + + /* For structure and union types, a description of each field. + For set and pascal array types, there is one "field", + whose type is the domain type of the set or array. + For range types, there are two "fields", + the minimum and maximum values (both inclusive). + For enum types, each possible value is described by one "field". + For a function type, a "field" for each parameter type. + For C++ classes, there is one field for each base class (if it is + a derived class) plus one field for each class data member. Member + functions are recorded elsewhere. + + Using a pointer to a separate array of fields + allows all types to have the same size, which is useful + because we can allocate the space for a type before + we know what to put in it. */ + + struct field + { + + + + union field_location + { + /* Position of this field, counting in bits from start of + containing structure. + For BITS_BIG_ENDIAN=1 targets, it is the bit offset to the MSB. + For BITS_BIG_ENDIAN=0 targets, it is the bit offset to the LSB. + For a function type, this is the position in the argument list + of this argument. + For a range bound or enum value, this is the value itself. */ + + int bitpos; + + /* For a static field, if TYPE_FIELD_STATIC_HAS_ADDR then physaddr + is the location (in the target) of the static field. + Otherwise, physname is the mangled label of the static field. */ + + CORE_ADDR physaddr; + char* physname; + } loc; + + /* Size of this field, in bits, or zero if not packed. + For an unpacked field, the field's type's length + says how many bytes the field occupies. + A value of -1 or -2 indicates a static field; -1 means the location + is specified by the label loc.physname; -2 means that loc.physaddr + specifies the actual address. */ + + int bitsize; + + /* In a struct or union type, type of this field. + In a function type, type of this argument. + In an array type, the domain-type of the array. */ + + struct type *type; + + /* Name of field, value or argument. + NULL for range bounds and array domains. */ + + char *name; + + } *fields; + + /* For types with virtual functions (TYPE_CODE_STRUCT), VPTR_BASETYPE + is the base class which defined the virtual function table pointer. + + For types that are pointer to member types (TYPE_CODE_MEMBER), + VPTR_BASETYPE is the type that this pointer is a member of. + + For method types (TYPE_CODE_METHOD), VPTR_BASETYPE is the aggregate + type that contains the method. + + Unused otherwise. */ + + struct type *vptr_basetype; + + /* Field number of the virtual function table pointer in + VPTR_BASETYPE. If -1, we were unable to find the virtual + function table pointer in initial symbol reading, and + fill_in_vptr_fieldno should be called to find it if possible. + + Unused if this type does not have virtual functions. */ + + int vptr_fieldno; + + /* Slot to point to additional language-specific fields of this type. */ + + union type_specific + { + + /* ARG_TYPES is for TYPE_CODE_METHOD. + Contains the type of each argument, ending with a void type + after the last argument for normal member functions or a NULL + pointer after the last argument for functions with variable + arguments. */ + + struct type **arg_types; + + /* CPLUS_STUFF is for TYPE_CODE_STRUCT. It is initialized to point to + cplus_struct_default, a default static instance of a struct + cplus_struct_type. */ + + struct cplus_struct_type *cplus_stuff; + + } type_specific; +}; + +#define NULL_TYPE ((struct type *) 0) + +/* C++ language-specific information for TYPE_CODE_STRUCT and TYPE_CODE_UNION + nodes. */ + +struct cplus_struct_type +{ + /* Number of base classes this type derives from. The baseclasses are + stored in the first N_BASECLASSES fields (i.e. the `fields' field of + the struct type). I think only the `type' field of such a field has + any meaning. */ + + short n_baseclasses; + + /* Number of methods with unique names. All overloaded methods with + the same name count only once. */ + + short nfn_fields; + + /* Number of methods described for this type, not including the + methods that it derives from. */ + + short nfn_fields_total; + + /* The "declared_type" field contains a code saying how the + user really declared this type, e.g., "class s", "union s", + "struct s". + The 3 above things come out from the C++ compiler looking like classes, + but we keep track of the real declaration so we can give + the correct information on "ptype". (Note: TEMPLATE may not + belong in this list...) */ + +#define DECLARED_TYPE_CLASS 0 +#define DECLARED_TYPE_UNION 1 +#define DECLARED_TYPE_STRUCT 2 +#define DECLARED_TYPE_TEMPLATE 3 + short declared_type; /* One of the above codes */ + + /* For derived classes, the number of base classes is given by n_baseclasses + and virtual_field_bits is a bit vector containing one bit per base class. + If the base class is virtual, the corresponding bit will be set. + I.E, given: + + class A{}; + class B{}; + class C : public B, public virtual A {}; + + B is a baseclass of C; A is a virtual baseclass for C. + This is a C++ 2.0 language feature. */ + + B_TYPE *virtual_field_bits; + + /* For classes with private fields, the number of fields is given by + nfields and private_field_bits is a bit vector containing one bit + per field. + If the field is private, the corresponding bit will be set. */ + + B_TYPE *private_field_bits; + + /* For classes with protected fields, the number of fields is given by + nfields and protected_field_bits is a bit vector containing one bit + per field. + If the field is private, the corresponding bit will be set. */ + + B_TYPE *protected_field_bits; + + /* for classes with fields to be ignored, either this is optimized out + or this field has length 0 */ + + B_TYPE *ignore_field_bits; + + /* For classes, structures, and unions, a description of each field, + which consists of an overloaded name, followed by the types of + arguments that the method expects, and then the name after it + has been renamed to make it distinct. + + fn_fieldlists points to an array of nfn_fields of these. */ + + struct fn_fieldlist + { + + /* The overloaded name. */ + + char *name; + + /* The number of methods with this name. */ + + int length; + + /* The list of methods. */ + + struct fn_field + { + + /* If is_stub is clear, this is the mangled name which we can + look up to find the address of the method (FIXME: it would + be cleaner to have a pointer to the struct symbol here + instead). */ + + /* If is_stub is set, this is the portion of the mangled + name which specifies the arguments. For example, "ii", + if there are two int arguments, or "" if there are no + arguments. See gdb_mangle_name for the conversion from this + format to the one used if is_stub is clear. */ + + char *physname; + + /* The function type for the method. + (This comment used to say "The return value of the method", + but that's wrong. The function type + is expected here, i.e. something with TYPE_CODE_FUNC, + and *not* the return-value type). */ + + struct type *type; + + /* The argument list. Only valid if is_stub is clear. Contains + the type of each argument, including `this', and ending with + a NULL pointer after the last argument. Should not contain + a `this' pointer for static member functions. */ + + struct type **args; + + /* For virtual functions. + First baseclass that defines this virtual function. */ + + struct type *fcontext; + + /* Attributes. */ + + unsigned int is_const : 1; + unsigned int is_volatile : 1; + unsigned int is_private : 1; + unsigned int is_protected : 1; + unsigned int is_public : 1; + unsigned int is_abstract : 1; + unsigned int is_static : 1; + unsigned int is_final : 1; + unsigned int is_synchronized : 1; + unsigned int is_native : 1; + + /* A stub method only has some fields valid (but they are enough + to reconstruct the rest of the fields). */ + unsigned int is_stub : 1; + + /* C++ method that is inlined */ + unsigned int is_inlined : 1; + + /* Unused. */ + unsigned int dummy : 4; + + /* Index into that baseclass's virtual function table, + minus 2; else if static: VOFFSET_STATIC; else: 0. */ + + unsigned int voffset : 16; + +# define VOFFSET_STATIC 1 + + } *fn_fields; + + } *fn_fieldlists; + + /* If this "struct type" describes a template, then it + * has arguments. "template_args" points to an array of + * template arg descriptors, of length "ntemplate_args". + * The only real information in each of these template arg descriptors + * is a name. "type" will typically just point to a "struct type" with + * the placeholder TYPE_CODE_TEMPLATE_ARG type. + */ + short ntemplate_args; + struct template_arg + { + char *name; + struct type *type; + } *template_args; + + /* If this "struct type" describes a template, it has a list + * of instantiations. "instantiations" is a pointer to an array + * of type's, one representing each instantiation. There + * are "ninstantiations" elements in this array. + */ + short ninstantiations; + struct type **instantiations; + + /* The following points to information relevant to the runtime model + * of the compiler. + * Currently being used only for HP's ANSI C++ compiler. + * (This type may have to be changed/enhanced for other compilers.) + * + * RUNTIME_PTR is NULL if there is no runtime information (currently + * this means the type was not compiled by HP aCC). + * + * Fields in structure pointed to: + * ->HAS_VTABLE : 0 => no virtual table, 1 => vtable present + * + * ->PRIMARY_BASE points to the first non-virtual base class that has + * a virtual table. + * + * ->VIRTUAL_BASE_LIST points to a list of struct type * pointers that + * point to the type information for all virtual bases among this type's + * ancestors. + */ + struct runtime_info { + short has_vtable; + struct type * primary_base; + struct type ** virtual_base_list; + } * runtime_ptr; + + /* Pointer to information about enclosing scope, if this is a + * local type. If it is not a local type, this is NULL + */ + struct local_type_info { + char * file; + int line; + } * localtype_ptr; +}; + +/* Struct used in computing virtual base list */ +struct vbase +{ + struct type * vbasetype; /* pointer to virtual base */ + struct vbase * next; /* next in chain */ +}; + +/* Struct used for ranking a function for overload resolution */ +struct badness_vector { + int length; + int * rank; +}; + +/* The default value of TYPE_CPLUS_SPECIFIC(T) points to the + this shared static structure. */ + +extern const struct cplus_struct_type cplus_struct_default; + +extern void +allocate_cplus_struct_type PARAMS ((struct type *)); + +#define INIT_CPLUS_SPECIFIC(type) \ + (TYPE_CPLUS_SPECIFIC(type)=(struct cplus_struct_type*)&cplus_struct_default) +#define ALLOCATE_CPLUS_STRUCT_TYPE(type) allocate_cplus_struct_type (type) +#define HAVE_CPLUS_STRUCT(type) \ + (TYPE_CPLUS_SPECIFIC(type) != &cplus_struct_default) + +#define TYPE_NAME(thistype) (thistype)->name +#define TYPE_TAG_NAME(type) ((type)->tag_name) +#define TYPE_TARGET_TYPE(thistype) (thistype)->target_type +#define TYPE_POINTER_TYPE(thistype) (thistype)->pointer_type +#define TYPE_REFERENCE_TYPE(thistype) (thistype)->reference_type +#define TYPE_CV_TYPE(thistype) (thistype)->cv_type +/* Note that if thistype is a TYPEDEF type, you have to call check_typedef. + But check_typedef does set the TYPE_LENGTH of the TYPEDEF type, + so you only have to call check_typedef once. Since allocate_value + calls check_typedef, TYPE_LENGTH (VALUE_TYPE (X)) is safe. */ +#define TYPE_LENGTH(thistype) (thistype)->length +#define TYPE_OBJFILE(thistype) (thistype)->objfile +#define TYPE_FLAGS(thistype) (thistype)->flags +#define TYPE_UNSIGNED(thistype) ((thistype)->flags & TYPE_FLAG_UNSIGNED) +#define TYPE_NOSIGN(thistype) ((thistype)->flags & TYPE_FLAG_NOSIGN) +#define TYPE_CONST(thistype) ((thistype)->flags & TYPE_FLAG_CONST) +#define TYPE_VOLATILE(thistype) ((thistype)->flags & TYPE_FLAG_VOLATILE) +#define TYPE_INCOMPLETE(thistype) ((thistype)->flags & TYPE_FLAG_INCOMPLETE) +/* Note that TYPE_CODE can be TYPE_CODE_TYPEDEF, so if you wan the real + type, you need to do TYPE_CODE (check_type (this_type)). */ +#define TYPE_CODE(thistype) (thistype)->code +#define TYPE_NFIELDS(thistype) (thistype)->nfields +#define TYPE_FIELDS(thistype) (thistype)->fields +#define TYPE_TEMPLATE_ARGS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->template_args +#define TYPE_INSTANTIATIONS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->instantiations + +#define TYPE_INDEX_TYPE(type) TYPE_FIELD_TYPE (type, 0) +#define TYPE_LOW_BOUND(range_type) TYPE_FIELD_BITPOS (range_type, 0) +#define TYPE_HIGH_BOUND(range_type) TYPE_FIELD_BITPOS (range_type, 1) + +/* Moto-specific stuff for FORTRAN arrays */ + +#define TYPE_ARRAY_UPPER_BOUND_TYPE(thistype) (thistype)->upper_bound_type +#define TYPE_ARRAY_LOWER_BOUND_TYPE(thistype) (thistype)->lower_bound_type + +#define TYPE_ARRAY_UPPER_BOUND_VALUE(arraytype) \ + (TYPE_FIELD_BITPOS((TYPE_FIELD_TYPE((arraytype),0)),1)) + +#define TYPE_ARRAY_LOWER_BOUND_VALUE(arraytype) \ + (TYPE_FIELD_BITPOS((TYPE_FIELD_TYPE((arraytype),0)),0)) + +/* C++ */ + +#define TYPE_VPTR_BASETYPE(thistype) (thistype)->vptr_basetype +#define TYPE_DOMAIN_TYPE(thistype) (thistype)->vptr_basetype +#define TYPE_VPTR_FIELDNO(thistype) (thistype)->vptr_fieldno +#define TYPE_FN_FIELDS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->fn_fields +#define TYPE_NFN_FIELDS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->nfn_fields +#define TYPE_NFN_FIELDS_TOTAL(thistype) TYPE_CPLUS_SPECIFIC(thistype)->nfn_fields_total +#define TYPE_NTEMPLATE_ARGS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->ntemplate_args +#define TYPE_NINSTANTIATIONS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->ninstantiations +#define TYPE_DECLARED_TYPE(thistype) TYPE_CPLUS_SPECIFIC(thistype)->declared_type +#define TYPE_TYPE_SPECIFIC(thistype) (thistype)->type_specific +#define TYPE_ARG_TYPES(thistype) (thistype)->type_specific.arg_types +#define TYPE_CPLUS_SPECIFIC(thistype) (thistype)->type_specific.cplus_stuff +#define TYPE_BASECLASS(thistype,index) (thistype)->fields[index].type +#define TYPE_N_BASECLASSES(thistype) TYPE_CPLUS_SPECIFIC(thistype)->n_baseclasses +#define TYPE_BASECLASS_NAME(thistype,index) (thistype)->fields[index].name +#define TYPE_BASECLASS_BITPOS(thistype,index) TYPE_FIELD_BITPOS(thistype,index) +#define BASETYPE_VIA_PUBLIC(thistype, index) \ + ((!TYPE_FIELD_PRIVATE(thistype, index)) && (!TYPE_FIELD_PROTECTED(thistype, index))) + +#define BASETYPE_VIA_VIRTUAL(thistype, index) \ + (TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits == NULL ? 0 \ + : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits, (index))) + +#define FIELD_TYPE(thisfld) ((thisfld).type) +#define FIELD_NAME(thisfld) ((thisfld).name) +#define FIELD_BITPOS(thisfld) ((thisfld).loc.bitpos) +#define FIELD_BITSIZE(thisfld) ((thisfld).bitsize) +#define FIELD_PHYSNAME(thisfld) ((thisfld).loc.physname) +#define FIELD_PHYSADDR(thisfld) ((thisfld).loc.physaddr) +#define SET_FIELD_PHYSNAME(thisfld, name) \ + ((thisfld).bitsize = -1, FIELD_PHYSNAME(thisfld) = (name)) +#define SET_FIELD_PHYSADDR(thisfld, name) \ + ((thisfld).bitsize = -2, FIELD_PHYSADDR(thisfld) = (name)) +#define TYPE_FIELD(thistype, n) (thistype)->fields[n] +#define TYPE_FIELD_TYPE(thistype, n) FIELD_TYPE(TYPE_FIELD(thistype, n)) +#define TYPE_FIELD_NAME(thistype, n) FIELD_NAME(TYPE_FIELD(thistype, n)) +#define TYPE_FIELD_BITPOS(thistype, n) FIELD_BITPOS(TYPE_FIELD(thistype,n)) +#define TYPE_FIELD_BITSIZE(thistype, n) FIELD_BITSIZE(TYPE_FIELD(thistype,n)) +#define TYPE_FIELD_PACKED(thistype, n) (FIELD_BITSIZE(TYPE_FIELD(thistype,n))!=0) +#define TYPE_TEMPLATE_ARG(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->template_args[n] +#define TYPE_INSTANTIATION(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->instantiations[n] + +#define TYPE_FIELD_PRIVATE_BITS(thistype) \ + TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits +#define TYPE_FIELD_PROTECTED_BITS(thistype) \ + TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits +#define TYPE_FIELD_IGNORE_BITS(thistype) \ + TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits +#define TYPE_FIELD_VIRTUAL_BITS(thistype) \ + TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits +#define SET_TYPE_FIELD_PRIVATE(thistype, n) \ + B_SET (TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits, (n)) +#define SET_TYPE_FIELD_PROTECTED(thistype, n) \ + B_SET (TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits, (n)) +#define SET_TYPE_FIELD_IGNORE(thistype, n) \ + B_SET (TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits, (n)) +#define SET_TYPE_FIELD_VIRTUAL(thistype, n) \ + B_SET (TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits, (n)) +#define TYPE_FIELD_PRIVATE(thistype, n) \ + (TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits == NULL ? 0 \ + : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits, (n))) +#define TYPE_FIELD_PROTECTED(thistype, n) \ + (TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits == NULL ? 0 \ + : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits, (n))) +#define TYPE_FIELD_IGNORE(thistype, n) \ + (TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits == NULL ? 0 \ + : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits, (n))) +#define TYPE_FIELD_VIRTUAL(thistype, n) \ + (TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits == NULL ? 0 \ + : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits, (n))) + +#define TYPE_FIELD_STATIC(thistype, n) ((thistype)->fields[n].bitsize < 0) +#define TYPE_FIELD_STATIC_HAS_ADDR(thistype, n) ((thistype)->fields[n].bitsize == -2) +#define TYPE_FIELD_STATIC_PHYSNAME(thistype, n) FIELD_PHYSNAME(TYPE_FIELD(thistype, n)) +#define TYPE_FIELD_STATIC_PHYSADDR(thistype, n) FIELD_PHYSADDR(TYPE_FIELD(thistype, n)) + +#define TYPE_FN_FIELDLISTS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists +#define TYPE_FN_FIELDLIST(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n] +#define TYPE_FN_FIELDLIST1(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n].fn_fields +#define TYPE_FN_FIELDLIST_NAME(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n].name +#define TYPE_FN_FIELDLIST_LENGTH(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n].length + +#define TYPE_FN_FIELD(thisfn, n) (thisfn)[n] +#define TYPE_FN_FIELD_PHYSNAME(thisfn, n) (thisfn)[n].physname +#define TYPE_FN_FIELD_TYPE(thisfn, n) (thisfn)[n].type +#define TYPE_FN_FIELD_ARGS(thisfn, n) TYPE_ARG_TYPES ((thisfn)[n].type) +#define TYPE_FN_FIELD_CONST(thisfn, n) ((thisfn)[n].is_const) +#define TYPE_FN_FIELD_VOLATILE(thisfn, n) ((thisfn)[n].is_volatile) +#define TYPE_FN_FIELD_PRIVATE(thisfn, n) ((thisfn)[n].is_private) +#define TYPE_FN_FIELD_PROTECTED(thisfn, n) ((thisfn)[n].is_protected) +#define TYPE_FN_FIELD_PUBLIC(thisfn, n) ((thisfn)[n].is_public) +#define TYPE_FN_FIELD_STATIC(thisfn, n) ((thisfn)[n].is_static) +#define TYPE_FN_FIELD_FINAL(thisfn, n) ((thisfn)[n].is_final) +#define TYPE_FN_FIELD_SYNCHRONIZED(thisfn, n) ((thisfn)[n].is_synchronized) +#define TYPE_FN_FIELD_NATIVE(thisfn, n) ((thisfn)[n].is_native) +#define TYPE_FN_FIELD_ABSTRACT(thisfn, n) ((thisfn)[n].is_abstract) +#define TYPE_FN_FIELD_STUB(thisfn, n) ((thisfn)[n].is_stub) +#define TYPE_FN_FIELD_INLINED(thisfn, n) ((thisfn)[n].is_inlined) +#define TYPE_FN_FIELD_FCONTEXT(thisfn, n) ((thisfn)[n].fcontext) +#define TYPE_FN_FIELD_VOFFSET(thisfn, n) ((thisfn)[n].voffset-2) +#define TYPE_FN_FIELD_VIRTUAL_P(thisfn, n) ((thisfn)[n].voffset > 1) +#define TYPE_FN_FIELD_STATIC_P(thisfn, n) ((thisfn)[n].voffset == VOFFSET_STATIC) + +#define TYPE_RUNTIME_PTR(thistype) (TYPE_CPLUS_SPECIFIC(thistype)->runtime_ptr) +#define TYPE_VTABLE(thistype) (TYPE_RUNTIME_PTR(thistype)->has_vtable) +#define TYPE_HAS_VTABLE(thistype) (TYPE_RUNTIME_PTR(thistype) && TYPE_VTABLE(thistype)) +#define TYPE_PRIMARY_BASE(thistype) (TYPE_RUNTIME_PTR(thistype)->primary_base) +#define TYPE_VIRTUAL_BASE_LIST(thistype) (TYPE_RUNTIME_PTR(thistype)->virtual_base_list) + +#define TYPE_LOCALTYPE_PTR(thistype) (TYPE_CPLUS_SPECIFIC(thistype)->localtype_ptr) +#define TYPE_LOCALTYPE_FILE(thistype) (TYPE_CPLUS_SPECIFIC(thistype)->localtype_ptr->file) +#define TYPE_LOCALTYPE_LINE(thistype) (TYPE_CPLUS_SPECIFIC(thistype)->localtype_ptr->line) + +#define TYPE_IS_OPAQUE(thistype) (((TYPE_CODE (thistype) == TYPE_CODE_STRUCT) || \ + (TYPE_CODE (thistype) == TYPE_CODE_UNION)) && \ + (TYPE_NFIELDS (thistype) == 0) && \ + (TYPE_CPLUS_SPECIFIC (thistype) && (TYPE_NFN_FIELDS (thistype) == 0))) + + + +/* Implicit sizes */ +extern struct type *builtin_type_void; +extern struct type *builtin_type_char; +extern struct type *builtin_type_short; +extern struct type *builtin_type_int; +extern struct type *builtin_type_long; +extern struct type *builtin_type_signed_char; +extern struct type *builtin_type_unsigned_char; +extern struct type *builtin_type_unsigned_short; +extern struct type *builtin_type_unsigned_int; +extern struct type *builtin_type_unsigned_long; +extern struct type *builtin_type_float; +extern struct type *builtin_type_double; +extern struct type *builtin_type_long_double; +extern struct type *builtin_type_complex; +extern struct type *builtin_type_double_complex; +extern struct type *builtin_type_string; +extern struct type *builtin_type_bool; + +/* Explicit sizes - see <intypes.h> for naming schema */ +extern struct type *builtin_type_int8; +extern struct type *builtin_type_uint8; +extern struct type *builtin_type_int16; +extern struct type *builtin_type_uint16; +extern struct type *builtin_type_int32; +extern struct type *builtin_type_uint32; +extern struct type *builtin_type_int64; +extern struct type *builtin_type_uint64; + +/* This type represents a type that was unrecognized in symbol + read-in. */ + +extern struct type *builtin_type_error; + +extern struct type *builtin_type_long_long; +extern struct type *builtin_type_unsigned_long_long; + +/* Modula-2 types */ + +extern struct type *builtin_type_m2_char; +extern struct type *builtin_type_m2_int; +extern struct type *builtin_type_m2_card; +extern struct type *builtin_type_m2_real; +extern struct type *builtin_type_m2_bool; + +/* Chill types */ + +extern struct type *builtin_type_chill_bool; +extern struct type *builtin_type_chill_char; +extern struct type *builtin_type_chill_long; +extern struct type *builtin_type_chill_ulong; +extern struct type *builtin_type_chill_real; + +/* Fortran (F77) types */ + +extern struct type *builtin_type_f_character; +extern struct type *builtin_type_f_integer; +extern struct type *builtin_type_f_logical; +extern struct type *builtin_type_f_logical_s1; +extern struct type *builtin_type_f_logical_s2; +extern struct type *builtin_type_f_integer; +extern struct type *builtin_type_f_integer_s2; +extern struct type *builtin_type_f_real; +extern struct type *builtin_type_f_real_s8; +extern struct type *builtin_type_f_real_s16; +extern struct type *builtin_type_f_complex_s8; +extern struct type *builtin_type_f_complex_s16; +extern struct type *builtin_type_f_complex_s32; +extern struct type *builtin_type_f_void; + +/* RTTI for C++ */ +/* extern struct type *builtin_type_cxx_typeinfo; */ + +/* Maximum and minimum values of built-in types */ + +#define MAX_OF_TYPE(t) \ + TYPE_UNSIGNED(t) ? UMAX_OF_SIZE(TYPE_LENGTH(t)) \ + : MAX_OF_SIZE(TYPE_LENGTH(t)) + +#define MIN_OF_TYPE(t) \ + TYPE_UNSIGNED(t) ? UMIN_OF_SIZE(TYPE_LENGTH(t)) \ + : MIN_OF_SIZE(TYPE_LENGTH(t)) + +/* Allocate space for storing data associated with a particular type. + We ensure that the space is allocated using the same mechanism that + was used to allocate the space for the type structure itself. I.E. + if the type is on an objfile's type_obstack, then the space for data + associated with that type will also be allocated on the type_obstack. + If the type is not associated with any particular objfile (such as + builtin types), then the data space will be allocated with xmalloc, + the same as for the type structure. */ + +#define TYPE_ALLOC(t,size) \ + (TYPE_OBJFILE (t) != NULL \ + ? obstack_alloc (&TYPE_OBJFILE (t) -> type_obstack, size) \ + : xmalloc (size)) + +extern struct type * +alloc_type PARAMS ((struct objfile *)); + +extern struct type * +init_type PARAMS ((enum type_code, int, int, char *, struct objfile *)); + +extern struct type * +lookup_reference_type PARAMS ((struct type *)); + +extern struct type * +make_reference_type PARAMS ((struct type *, struct type **)); + +extern struct type * +make_cv_type PARAMS ((int, int, struct type *, struct type **)); + +extern struct type * +lookup_member_type PARAMS ((struct type *, struct type *)); + +extern void +smash_to_method_type PARAMS ((struct type *, struct type *, struct type *, + struct type **)); + +extern void +smash_to_member_type PARAMS ((struct type *, struct type *, struct type *)); + +extern struct type * +allocate_stub_method PARAMS ((struct type *)); + +extern char * +type_name_no_tag PARAMS ((const struct type *)); + +extern struct type * +lookup_struct_elt_type PARAMS ((struct type *, char *, int)); + +extern struct type * +make_pointer_type PARAMS ((struct type *, struct type **)); + +extern struct type * +lookup_pointer_type PARAMS ((struct type *)); + +extern struct type * +make_function_type PARAMS ((struct type *, struct type **)); + +extern struct type * +lookup_function_type PARAMS ((struct type *)); + +extern struct type * +create_range_type PARAMS ((struct type *, struct type *, int, int)); + +extern struct type * +create_array_type PARAMS ((struct type *, struct type *, struct type *)); + +extern struct type * +create_string_type PARAMS ((struct type *, struct type *)); + +extern struct type *create_set_type PARAMS ((struct type *, struct type *)); + +extern int chill_varying_type PARAMS ((struct type*)); + +extern struct type * +lookup_unsigned_typename PARAMS ((char *)); + +extern struct type * +lookup_signed_typename PARAMS ((char *)); + +extern struct type * +check_typedef PARAMS ((struct type *)); + +#define CHECK_TYPEDEF(TYPE) (TYPE) = check_typedef (TYPE) + +extern void +check_stub_method PARAMS ((struct type *, int, int)); + +extern struct type * +lookup_primitive_typename PARAMS ((char *)); + +extern char * +gdb_mangle_name PARAMS ((struct type *, int, int)); + +extern struct type * +builtin_type PARAMS ((char **)); + +extern struct type * +lookup_typename PARAMS ((char *, struct block *, int)); + +extern struct type * +lookup_template_type PARAMS ((char *, struct type *, struct block *)); + +extern struct type * +lookup_fundamental_type PARAMS ((struct objfile *, int)); + +extern void +fill_in_vptr_fieldno PARAMS ((struct type *)); + +extern int get_destructor_fn_field PARAMS ((struct type *, int *, int *)); + +extern int get_discrete_bounds PARAMS ((struct type*, LONGEST*, LONGEST*)); + +extern int +is_ancestor PARAMS ((struct type *, struct type *)); + +extern int +has_vtable PARAMS ((struct type *)); + +extern struct type * +primary_base_class PARAMS ((struct type *)); + +extern struct type ** +virtual_base_list PARAMS ((struct type *)); + +extern int +virtual_base_list_length PARAMS ((struct type *)); +extern int +virtual_base_list_length_skip_primaries PARAMS ((struct type *)); + +extern int +virtual_base_index PARAMS ((struct type *, struct type *)); +extern int +virtual_base_index_skip_primaries PARAMS ((struct type *, struct type *)); + + +extern int +class_index_in_primary_list PARAMS ((struct type *)); + +extern int +count_virtual_fns PARAMS ((struct type*)); + +/* Constants for HP/Taligent ANSI C++ runtime model */ + +/* Where virtual function entries begin in the + * virtual table, in the non-RRBC vtable format. + * First 4 are the metavtable pointer, top offset, + * typeinfo pointer, and dup base info pointer */ +#define HP_ACC_VFUNC_START 4 + +/* (Negative) Offset where virtual base offset entries begin + * in the virtual table. Skips over metavtable pointer and + * the self-offset entry. + * NOTE: NEGATE THIS BEFORE USING! The virtual base offsets + * appear before the address point of the vtable (the slot + * pointed to by the object's vtable pointer), i.e. at lower + * addresses than the vtable pointer. */ +#define HP_ACC_VBASE_START 2 + +/* (Positive) Offset where the pointer to the typeinfo + * object is present in the virtual table */ +#define HP_ACC_TYPEINFO_OFFSET 2 + +/* (Positive) Offset where the ``top offset'' entry of + * the virtual table is */ +#define HP_ACC_TOP_OFFSET_OFFSET 1 + +/* Overload resolution */ + +#define LENGTH_MATCH(bv) ((bv)->rank[0]) + +/* Badness if parameter list length doesn't match arg list length */ +#define LENGTH_MISMATCH_BADNESS 100 +/* Dummy badness value for nonexistent parameter positions */ +#define TOO_FEW_PARAMS_BADNESS 100 +/* Badness if no conversion among types */ +#define INCOMPATIBLE_TYPE_BADNESS 100 +/* Badness of coercing large integer to smaller size */ +#define INTEGER_COERCION_BADNESS 100 +/* Badness of coercing large floating type to smaller size */ +#define FLOAT_COERCION_BADNESS 100 + +/* Badness of integral promotion */ +#define INTEGER_PROMOTION_BADNESS 1 +/* Badness of floating promotion */ +#define FLOAT_PROMOTION_BADNESS 1 +/* Badness of integral conversion */ +#define INTEGER_CONVERSION_BADNESS 2 +/* Badness of floating conversion */ +#define FLOAT_CONVERSION_BADNESS 2 +/* Badness of integer<->floating conversions */ +#define INT_FLOAT_CONVERSION_BADNESS 2 +/* Badness of converting to a boolean */ +#define BOOLEAN_CONVERSION_BADNESS 2 +/* Badness of pointer conversion */ +#define POINTER_CONVERSION_BADNESS 2 +/* Badness of conversion of pointer to void pointer */ +#define VOID_PTR_CONVERSION_BADNESS 2 +/* Badness of convering derived to base class */ +#define BASE_CONVERSION_BADNESS 2 + +/* Non-standard conversions allowed by the debugger */ +/* Converting a pointer to an int is usually OK */ +#define NS_POINTER_CONVERSION_BADNESS 10 + + +extern int +compare_badness PARAMS ((struct badness_vector *, struct badness_vector *)); + +extern struct badness_vector * +rank_function PARAMS ((struct type **, int, struct type **, int)); + +extern int +rank_one_type PARAMS ((struct type *, struct type *)); + + +#if MAINTENANCE_CMDS +extern void recursive_dump_type PARAMS ((struct type *, int)); +#endif + +/* printcmd.c */ + +extern void +print_scalar_formatted PARAMS ((char *, struct type *, int, int, GDB_FILE *)); + +extern int can_dereference PARAMS ((struct type *)); + +#if MAINTENANCE_CMDS +extern void maintenance_print_type PARAMS ((char *, int)); +#endif + +/* typeprint.c */ + +extern void print_type_scalar PARAMS ((struct type *, LONGEST, GDB_FILE *)); + +#endif /* GDBTYPES_H */ |