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