gdbserver/linux-low: turn '{collect, supply}_ptrace_register' into methods
[deliverable/binutils-gdb.git] / gdb / gdbtypes.h
CommitLineData
80180f79 1
c906108c 2/* Internal type definitions for GDB.
1bac305b 3
b811d2c2 4 Copyright (C) 1992-2020 Free Software Foundation, Inc.
1bac305b 5
c906108c
SS
6 Contributed by Cygnus Support, using pieces from other GDB modules.
7
c5aa993b 8 This file is part of GDB.
c906108c 9
c5aa993b
JM
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
a9762ec7 12 the Free Software Foundation; either version 3 of the License, or
c5aa993b 13 (at your option) any later version.
c906108c 14
c5aa993b
JM
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.
c906108c 19
c5aa993b 20 You should have received a copy of the GNU General Public License
a9762ec7 21 along with this program. If not, see <http://www.gnu.org/licenses/>. */
c906108c
SS
22
23#if !defined (GDBTYPES_H)
24#define GDBTYPES_H 1
25
5e3a2c38
SS
26/* * \page gdbtypes GDB Types
27
28 GDB represents all the different kinds of types in programming
29 languages using a common representation defined in gdbtypes.h.
30
31 The main data structure is main_type; it consists of a code (such
71e50e83 32 as #TYPE_CODE_ENUM for enumeration types), a number of
5e3a2c38 33 generally-useful fields such as the printable name, and finally a
71e50e83
YQ
34 field main_type::type_specific that is a union of info specific to
35 particular languages or other special cases (such as calling
36 convention).
5e3a2c38 37
71e50e83 38 The available type codes are defined in enum #type_code. The enum
5e3a2c38
SS
39 includes codes both for types that are common across a variety
40 of languages, and for types that are language-specific.
41
71e50e83
YQ
42 Most accesses to type fields go through macros such as
43 #TYPE_CODE(thistype) and #TYPE_FN_FIELD_CONST(thisfn, n). These are
44 written such that they can be used as both rvalues and lvalues.
5e3a2c38
SS
45 */
46
ae5a43e0 47#include "hashtab.h"
268a13a5
TT
48#include "gdbsupport/array-view.h"
49#include "gdbsupport/offset-type.h"
50#include "gdbsupport/enum-flags.h"
51#include "gdbsupport/underlying.h"
52#include "gdbsupport/print-utils.h"
e35000a7 53#include "dwarf2.h"
ae5a43e0 54
7fc73f38 55/* Forward declarations for prototypes. */
da3331ec 56struct field;
7fc73f38 57struct block;
79a45b7d 58struct value_print_options;
e6c014f2 59struct language_defn;
7fc73f38 60
836bf454
JK
61/* These declarations are DWARF-specific as some of the gdbtypes.h data types
62 are already DWARF-specific. */
63
5e3a2c38
SS
64/* * Offset relative to the start of its containing CU (compilation
65 unit). */
9c541725 66DEFINE_OFFSET_TYPE (cu_offset, unsigned int);
836bf454 67
5e3a2c38
SS
68/* * Offset relative to the start of its .debug_info or .debug_types
69 section. */
9d8780f0
SM
70DEFINE_OFFSET_TYPE (sect_offset, uint64_t);
71
72static inline char *
73sect_offset_str (sect_offset offset)
74{
75 return hex_string (to_underlying (offset));
76}
836bf454 77
c906108c
SS
78/* Some macros for char-based bitfields. */
79
80#define B_SET(a,x) ((a)[(x)>>3] |= (1 << ((x)&7)))
81#define B_CLR(a,x) ((a)[(x)>>3] &= ~(1 << ((x)&7)))
82#define B_TST(a,x) ((a)[(x)>>3] & (1 << ((x)&7)))
83#define B_TYPE unsigned char
84#define B_BYTES(x) ( 1 + ((x)>>3) )
85#define B_CLRALL(a,x) memset ((a), 0, B_BYTES(x))
86
5e3a2c38
SS
87/* * Different kinds of data types are distinguished by the `code'
88 field. */
c906108c
SS
89
90enum type_code
c5aa993b 91 {
5e3a2c38
SS
92 TYPE_CODE_BITSTRING = -1, /**< Deprecated */
93 TYPE_CODE_UNDEF = 0, /**< Not used; catches errors */
94 TYPE_CODE_PTR, /**< Pointer type */
e6742ace 95
5e3a2c38 96 /* * Array type with lower & upper bounds.
e6742ace
JB
97
98 Regardless of the language, GDB represents multidimensional
99 array types the way C does: as arrays of arrays. So an
100 instance of a GDB array type T can always be seen as a series
101 of instances of TYPE_TARGET_TYPE (T) laid out sequentially in
102 memory.
103
104 Row-major languages like C lay out multi-dimensional arrays so
105 that incrementing the rightmost index in a subscripting
106 expression results in the smallest change in the address of the
107 element referred to. Column-major languages like Fortran lay
108 them out so that incrementing the leftmost index results in the
109 smallest change.
110
111 This means that, in column-major languages, working our way
112 from type to target type corresponds to working through indices
113 from right to left, not left to right. */
114 TYPE_CODE_ARRAY,
115
5e3a2c38
SS
116 TYPE_CODE_STRUCT, /**< C struct or Pascal record */
117 TYPE_CODE_UNION, /**< C union or Pascal variant part */
118 TYPE_CODE_ENUM, /**< Enumeration type */
119 TYPE_CODE_FLAGS, /**< Bit flags type */
120 TYPE_CODE_FUNC, /**< Function type */
121 TYPE_CODE_INT, /**< Integer type */
c5aa993b 122
e8932576 123 /* * Floating type. This is *NOT* a complex type. */
c5aa993b
JM
124 TYPE_CODE_FLT,
125
5e3a2c38
SS
126 /* * Void type. The length field specifies the length (probably
127 always one) which is used in pointer arithmetic involving
128 pointers to this type, but actually dereferencing such a
129 pointer is invalid; a void type has no length and no actual
130 representation in memory or registers. A pointer to a void
131 type is a generic pointer. */
c5aa993b
JM
132 TYPE_CODE_VOID,
133
5e3a2c38
SS
134 TYPE_CODE_SET, /**< Pascal sets */
135 TYPE_CODE_RANGE, /**< Range (integers within spec'd bounds). */
c5aa993b 136
5e3a2c38 137 /* * A string type which is like an array of character but prints
91101fe5
YQ
138 differently. It does not contain a length field as Pascal
139 strings (for many Pascals, anyway) do; if we want to deal with
140 such strings, we should use a new type code. */
c5aa993b
JM
141 TYPE_CODE_STRING,
142
5e3a2c38
SS
143 /* * Unknown type. The length field is valid if we were able to
144 deduce that much about the type, or 0 if we don't even know
145 that. */
c5aa993b
JM
146 TYPE_CODE_ERROR,
147
148 /* C++ */
5e3a2c38 149 TYPE_CODE_METHOD, /**< Method type */
0d5de010 150
5e3a2c38 151 /* * Pointer-to-member-function type. This describes how to access a
0d5de010
DJ
152 particular member function of a class (possibly a virtual
153 member function). The representation may vary between different
154 C++ ABIs. */
155 TYPE_CODE_METHODPTR,
156
5e3a2c38
SS
157 /* * Pointer-to-member type. This is the offset within a class to
158 some particular data member. The only currently supported
159 representation uses an unbiased offset, with -1 representing
160 NULL; this is used by the Itanium C++ ABI (used by GCC on all
161 platforms). */
0d5de010
DJ
162 TYPE_CODE_MEMBERPTR,
163
5e3a2c38 164 TYPE_CODE_REF, /**< C++ Reference types */
c5aa993b 165
f9aeb8d4
AV
166 TYPE_CODE_RVALUE_REF, /**< C++ rvalue reference types */
167
5e3a2c38 168 TYPE_CODE_CHAR, /**< *real* character type */
c5aa993b 169
5e3a2c38
SS
170 /* * Boolean type. 0 is false, 1 is true, and other values are
171 non-boolean (e.g. FORTRAN "logical" used as unsigned int). */
c5aa993b
JM
172 TYPE_CODE_BOOL,
173
174 /* Fortran */
5e3a2c38 175 TYPE_CODE_COMPLEX, /**< Complex float */
c5aa993b
JM
176
177 TYPE_CODE_TYPEDEF,
c5aa993b 178
5e3a2c38 179 TYPE_CODE_NAMESPACE, /**< C++ namespace. */
7678ef8f 180
5e3a2c38 181 TYPE_CODE_DECFLOAT, /**< Decimal floating point. */
bc3b79fd 182
5e3a2c38 183 TYPE_CODE_MODULE, /**< Fortran module. */
f55ee35c 184
5e3a2c38 185 /* * Internal function type. */
e81e7f5e
SC
186 TYPE_CODE_INTERNAL_FUNCTION,
187
188 /* * Methods implemented in extension languages. */
189 TYPE_CODE_XMETHOD
c5aa993b 190 };
c906108c 191
5e3a2c38 192/* * Some bits for the type's instance_flags word. See the macros
a9ff5f12 193 below for documentation on each bit. */
5e3a2c38 194
ad69edbb 195enum type_instance_flag_value : unsigned
876cecd0
TT
196{
197 TYPE_INSTANCE_FLAG_CONST = (1 << 0),
198 TYPE_INSTANCE_FLAG_VOLATILE = (1 << 1),
199 TYPE_INSTANCE_FLAG_CODE_SPACE = (1 << 2),
200 TYPE_INSTANCE_FLAG_DATA_SPACE = (1 << 3),
201 TYPE_INSTANCE_FLAG_ADDRESS_CLASS_1 = (1 << 4),
2844d6b5
KW
202 TYPE_INSTANCE_FLAG_ADDRESS_CLASS_2 = (1 << 5),
203 TYPE_INSTANCE_FLAG_NOTTEXT = (1 << 6),
a2c2acaf
MW
204 TYPE_INSTANCE_FLAG_RESTRICT = (1 << 7),
205 TYPE_INSTANCE_FLAG_ATOMIC = (1 << 8)
876cecd0 206};
c906108c 207
3693fdb3
PA
208DEF_ENUM_FLAGS_TYPE (enum type_instance_flag_value, type_instance_flags);
209
5e3a2c38 210/* * Unsigned integer type. If this is not set for a TYPE_CODE_INT,
a9ff5f12 211 the type is signed (unless TYPE_NOSIGN (below) is set). */
c906108c 212
876cecd0 213#define TYPE_UNSIGNED(t) (TYPE_MAIN_TYPE (t)->flag_unsigned)
c906108c 214
5e3a2c38
SS
215/* * No sign for this type. In C++, "char", "signed char", and
216 "unsigned char" are distinct types; so we need an extra flag to
217 indicate the absence of a sign! */
c906108c 218
876cecd0 219#define TYPE_NOSIGN(t) (TYPE_MAIN_TYPE (t)->flag_nosign)
c906108c 220
34877895
PJ
221/* * A compiler may supply dwarf instrumentation
222 that indicates the desired endian interpretation of the variable
223 differs from the native endian representation. */
224
225#define TYPE_ENDIANITY_NOT_DEFAULT(t) (TYPE_MAIN_TYPE (t)->flag_endianity_not_default)
226
5e3a2c38
SS
227/* * This appears in a type's flags word if it is a stub type (e.g.,
228 if someone referenced a type that wasn't defined in a source file
c906108c
SS
229 via (struct sir_not_appearing_in_this_film *)). */
230
876cecd0 231#define TYPE_STUB(t) (TYPE_MAIN_TYPE (t)->flag_stub)
c906108c 232
5e3a2c38
SS
233/* * The target type of this type is a stub type, and this type needs
234 to be updated if it gets un-stubbed in check_typedef. Used for
235 arrays and ranges, in which TYPE_LENGTH of the array/range gets set
236 based on the TYPE_LENGTH of the target type. Also, set for
237 TYPE_CODE_TYPEDEF. */
c906108c 238
876cecd0 239#define TYPE_TARGET_STUB(t) (TYPE_MAIN_TYPE (t)->flag_target_stub)
c906108c 240
5e3a2c38
SS
241/* * This is a function type which appears to have a prototype. We
242 need this for function calls in order to tell us if it's necessary
243 to coerce the args, or to just do the standard conversions. This
244 is used with a short field. */
c906108c 245
876cecd0 246#define TYPE_PROTOTYPED(t) (TYPE_MAIN_TYPE (t)->flag_prototyped)
c906108c 247
5e3a2c38 248/* * This flag is used to indicate that processing for this type
c906108c 249 is incomplete.
c5aa993b 250
c906108c
SS
251 (Mostly intended for HP platforms, where class methods, for
252 instance, can be encountered before their classes in the debug
253 info; the incomplete type has to be marked so that the class and
0963b4bd 254 the method can be assigned correct types.) */
c906108c 255
876cecd0
TT
256#define TYPE_INCOMPLETE(t) (TYPE_MAIN_TYPE (t)->flag_incomplete)
257
5e3a2c38 258/* * FIXME drow/2002-06-03: Only used for methods, but applies as well
876cecd0
TT
259 to functions. */
260
261#define TYPE_VARARGS(t) (TYPE_MAIN_TYPE (t)->flag_varargs)
262
5e3a2c38 263/* * Identify a vector type. Gcc is handling this by adding an extra
876cecd0
TT
264 attribute to the array type. We slurp that in as a new flag of a
265 type. This is used only in dwarf2read.c. */
266#define TYPE_VECTOR(t) (TYPE_MAIN_TYPE (t)->flag_vector)
267
5e3a2c38
SS
268/* * The debugging formats (especially STABS) do not contain enough
269 information to represent all Ada types---especially those whose
270 size depends on dynamic quantities. Therefore, the GNAT Ada
271 compiler includes extra information in the form of additional type
272 definitions connected by naming conventions. This flag indicates
273 that the type is an ordinary (unencoded) GDB type that has been
274 created from the necessary run-time information, and does not need
275 further interpretation. Optionally marks ordinary, fixed-size GDB
276 type. */
876cecd0
TT
277
278#define TYPE_FIXED_INSTANCE(t) (TYPE_MAIN_TYPE (t)->flag_fixed_instance)
279
5e3a2c38
SS
280/* * This debug target supports TYPE_STUB(t). In the unsupported case
281 we have to rely on NFIELDS to be zero etc., see TYPE_IS_OPAQUE().
282 TYPE_STUB(t) with !TYPE_STUB_SUPPORTED(t) may exist if we only
283 guessed the TYPE_STUB(t) value (see dwarfread.c). */
876cecd0
TT
284
285#define TYPE_STUB_SUPPORTED(t) (TYPE_MAIN_TYPE (t)->flag_stub_supported)
286
5e3a2c38 287/* * Not textual. By default, GDB treats all single byte integers as
876cecd0
TT
288 characters (or elements of strings) unless this flag is set. */
289
2844d6b5 290#define TYPE_NOTTEXT(t) (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_NOTTEXT)
876cecd0 291
5e3a2c38
SS
292/* * Used only for TYPE_CODE_FUNC where it specifies the real function
293 address is returned by this function call. TYPE_TARGET_TYPE
294 determines the final returned function type to be presented to
295 user. */
0875794a
JK
296
297#define TYPE_GNU_IFUNC(t) (TYPE_MAIN_TYPE (t)->flag_gnu_ifunc)
298
5e3a2c38 299/* * Type owner. If TYPE_OBJFILE_OWNED is true, the type is owned by
30baf67b 300 the objfile retrieved as TYPE_OBJFILE. Otherwise, the type is
e9bb382b
UW
301 owned by an architecture; TYPE_OBJFILE is NULL in this case. */
302
303#define TYPE_OBJFILE_OWNED(t) (TYPE_MAIN_TYPE (t)->flag_objfile_owned)
304#define TYPE_OWNER(t) TYPE_MAIN_TYPE(t)->owner
305#define TYPE_OBJFILE(t) (TYPE_OBJFILE_OWNED(t)? TYPE_OWNER(t).objfile : NULL)
306
5e3a2c38 307/* * True if this type was declared using the "class" keyword. This is
3d567982
TT
308 only valid for C++ structure and enum types. If false, a structure
309 was declared as a "struct"; if true it was declared "class". For
310 enum types, this is true when "enum class" or "enum struct" was
311 used to declare the type.. */
0cc2414c
TT
312
313#define TYPE_DECLARED_CLASS(t) (TYPE_MAIN_TYPE (t)->flag_declared_class)
314
5e3a2c38 315/* * True if this type is a "flag" enum. A flag enum is one where all
cafec441
TT
316 the values are pairwise disjoint when "and"ed together. This
317 affects how enum values are printed. */
318
319#define TYPE_FLAG_ENUM(t) (TYPE_MAIN_TYPE (t)->flag_flag_enum)
320
7c22600a
TT
321/* * True if this type is a discriminated union type. Only valid for
322 TYPE_CODE_UNION. A discriminated union stores a reference to the
323 discriminant field along with the discriminator values in a dynamic
324 property. */
325
326#define TYPE_FLAG_DISCRIMINATED_UNION(t) \
327 (TYPE_MAIN_TYPE (t)->flag_discriminated_union)
328
5e3a2c38 329/* * Constant type. If this is set, the corresponding type has a
0963b4bd 330 const modifier. */
876cecd0 331
3693fdb3 332#define TYPE_CONST(t) ((TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_CONST) != 0)
876cecd0 333
5e3a2c38 334/* * Volatile type. If this is set, the corresponding type has a
0963b4bd 335 volatile modifier. */
876cecd0 336
3e43a32a 337#define TYPE_VOLATILE(t) \
3693fdb3 338 ((TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_VOLATILE) != 0)
c906108c 339
5e3a2c38 340/* * Restrict type. If this is set, the corresponding type has a
06d66ee9
TT
341 restrict modifier. */
342
343#define TYPE_RESTRICT(t) \
3693fdb3 344 ((TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_RESTRICT) != 0)
06d66ee9 345
a2c2acaf
MW
346/* * Atomic type. If this is set, the corresponding type has an
347 _Atomic modifier. */
348
349#define TYPE_ATOMIC(t) \
3693fdb3 350 ((TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_ATOMIC) != 0)
a2c2acaf 351
f9aeb8d4
AV
352/* * True if this type represents either an lvalue or lvalue reference type. */
353
354#define TYPE_IS_REFERENCE(t) \
355 (TYPE_CODE (t) == TYPE_CODE_REF || TYPE_CODE (t) == TYPE_CODE_RVALUE_REF)
356
bc68014d
AB
357/* * True if this type is allocatable. */
358#define TYPE_IS_ALLOCATABLE(t) \
359 (get_dyn_prop (DYN_PROP_ALLOCATED, t) != NULL)
360
5e3a2c38 361/* * Instruction-space delimited type. This is for Harvard architectures
47663de5
MS
362 which have separate instruction and data address spaces (and perhaps
363 others).
364
365 GDB usually defines a flat address space that is a superset of the
366 architecture's two (or more) address spaces, but this is an extension
367 of the architecture's model.
368
a9ff5f12 369 If TYPE_INSTANCE_FLAG_CODE_SPACE is set, an object of the corresponding type
47663de5
MS
370 resides in instruction memory, even if its address (in the extended
371 flat address space) does not reflect this.
372
a9ff5f12 373 Similarly, if TYPE_INSTANCE_FLAG_DATA_SPACE is set, then an object of the
47663de5
MS
374 corresponding type resides in the data memory space, even if
375 this is not indicated by its (flat address space) address.
376
377 If neither flag is set, the default space for functions / methods
378 is instruction space, and for data objects is data memory. */
379
876cecd0 380#define TYPE_CODE_SPACE(t) \
3693fdb3 381 ((TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_CODE_SPACE) != 0)
47663de5 382
876cecd0 383#define TYPE_DATA_SPACE(t) \
3693fdb3 384 ((TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_DATA_SPACE) != 0)
f5f8a009 385
5e3a2c38
SS
386/* * Address class flags. Some environments provide for pointers
387 whose size is different from that of a normal pointer or address
388 types where the bits are interpreted differently than normal
a9ff5f12 389 addresses. The TYPE_INSTANCE_FLAG_ADDRESS_CLASS_n flags may be used in
5e3a2c38
SS
390 target specific ways to represent these different types of address
391 classes. */
392
8b2dbe47 393#define TYPE_ADDRESS_CLASS_1(t) (TYPE_INSTANCE_FLAGS(t) \
876cecd0 394 & TYPE_INSTANCE_FLAG_ADDRESS_CLASS_1)
8b2dbe47 395#define TYPE_ADDRESS_CLASS_2(t) (TYPE_INSTANCE_FLAGS(t) \
876cecd0
TT
396 & TYPE_INSTANCE_FLAG_ADDRESS_CLASS_2)
397#define TYPE_INSTANCE_FLAG_ADDRESS_CLASS_ALL \
398 (TYPE_INSTANCE_FLAG_ADDRESS_CLASS_1 | TYPE_INSTANCE_FLAG_ADDRESS_CLASS_2)
8b2dbe47 399#define TYPE_ADDRESS_CLASS_ALL(t) (TYPE_INSTANCE_FLAGS(t) \
876cecd0 400 & TYPE_INSTANCE_FLAG_ADDRESS_CLASS_ALL)
d77b6808 401
7c22600a
TT
402/* * Information needed for a discriminated union. A discriminated
403 union is handled somewhat differently from an ordinary union.
404
405 One field is designated as the discriminant. Only one other field
406 is active at a time; which one depends on the value of the
407 discriminant and the data in this structure.
408
409 Additionally, it is possible to have a univariant discriminated
410 union. In this case, the union has just a single field, which is
411 assumed to be the only active variant -- in this case no
412 discriminant is provided. */
413
414struct discriminant_info
415{
416 /* * The index of the discriminant field. If -1, then this union
417 must have just a single field. */
418
419 int discriminant_index;
420
421 /* * The index of the default branch of the union. If -1, then
422 there is no default branch. */
423
424 int default_index;
425
426 /* * The discriminant values corresponding to each branch. This has
427 a number of entries equal to the number of fields in this union.
428 If discriminant_index is not -1, then that entry in this array is
429 not used. If default_index is not -1, then that entry in this
430 array is not used. */
431
432 ULONGEST discriminants[1];
433};
434
52059ffd
TT
435enum dynamic_prop_kind
436{
437 PROP_UNDEFINED, /* Not defined. */
438 PROP_CONST, /* Constant. */
439 PROP_ADDR_OFFSET, /* Address offset. */
440 PROP_LOCEXPR, /* Location expression. */
441 PROP_LOCLIST /* Location list. */
442};
443
444union dynamic_prop_data
445{
446 /* Storage for constant property. */
447
448 LONGEST const_val;
449
450 /* Storage for dynamic property. */
451
452 void *baton;
453};
454
729efb13
SA
455/* * Used to store a dynamic property. */
456
457struct dynamic_prop
458{
459 /* Determine which field of the union dynamic_prop.data is used. */
52059ffd 460 enum dynamic_prop_kind kind;
729efb13
SA
461
462 /* Storage for dynamic or static value. */
52059ffd 463 union dynamic_prop_data data;
729efb13
SA
464};
465
0f59d5fc
PA
466/* Compare two dynamic_prop objects for equality. dynamic_prop
467 instances are equal iff they have the same type and storage. */
468extern bool operator== (const dynamic_prop &l, const dynamic_prop &r);
469
470/* Compare two dynamic_prop objects for inequality. */
471static inline bool operator!= (const dynamic_prop &l, const dynamic_prop &r)
472{
473 return !(l == r);
474}
475
d9823cbb
KB
476/* * Define a type's dynamic property node kind. */
477enum dynamic_prop_node_kind
478{
479 /* A property providing a type's data location.
480 Evaluating this field yields to the location of an object's data. */
93a8e227 481 DYN_PROP_DATA_LOCATION,
3f2f83dd
KB
482
483 /* A property representing DW_AT_allocated. The presence of this attribute
484 indicates that the object of the type can be allocated/deallocated. */
485 DYN_PROP_ALLOCATED,
486
487 /* A property representing DW_AT_allocated. The presence of this attribute
488 indicated that the object of the type can be associated. */
489 DYN_PROP_ASSOCIATED,
a405673c
JB
490
491 /* A property providing an array's byte stride. */
492 DYN_PROP_BYTE_STRIDE,
7c22600a
TT
493
494 /* A property holding information about a discriminated union. */
495 DYN_PROP_DISCRIMINATED,
d9823cbb
KB
496};
497
498/* * List for dynamic type attributes. */
499struct dynamic_prop_list
500{
501 /* The kind of dynamic prop in this node. */
502 enum dynamic_prop_node_kind prop_kind;
503
504 /* The dynamic property itself. */
283a9958 505 struct dynamic_prop prop;
d9823cbb
KB
506
507 /* A pointer to the next dynamic property. */
508 struct dynamic_prop_list *next;
509};
729efb13 510
5e3a2c38
SS
511/* * Determine which field of the union main_type.fields[x].loc is
512 used. */
d6a843b5
JK
513
514enum field_loc_kind
515 {
5e3a2c38
SS
516 FIELD_LOC_KIND_BITPOS, /**< bitpos */
517 FIELD_LOC_KIND_ENUMVAL, /**< enumval */
518 FIELD_LOC_KIND_PHYSADDR, /**< physaddr */
519 FIELD_LOC_KIND_PHYSNAME, /**< physname */
520 FIELD_LOC_KIND_DWARF_BLOCK /**< dwarf_block */
d6a843b5
JK
521 };
522
5e3a2c38
SS
523/* * A discriminant to determine which field in the
524 main_type.type_specific union is being used, if any.
b4ba55a1 525
09e2d7c7 526 For types such as TYPE_CODE_FLT, the use of this
b4ba55a1
JB
527 discriminant is really redundant, as we know from the type code
528 which field is going to be used. As such, it would be possible to
529 reduce the size of this enum in order to save a bit or two for
530 other fields of struct main_type. But, since we still have extra
531 room , and for the sake of clarity and consistency, we treat all fields
532 of the union the same way. */
533
534enum type_specific_kind
535{
536 TYPE_SPECIFIC_NONE,
537 TYPE_SPECIFIC_CPLUS_STUFF,
538 TYPE_SPECIFIC_GNAT_STUFF,
539 TYPE_SPECIFIC_FLOATFORMAT,
09e2d7c7
DE
540 /* Note: This is used by TYPE_CODE_FUNC and TYPE_CODE_METHOD. */
541 TYPE_SPECIFIC_FUNC,
542 TYPE_SPECIFIC_SELF_TYPE
b4ba55a1
JB
543};
544
52059ffd
TT
545union type_owner
546{
547 struct objfile *objfile;
548 struct gdbarch *gdbarch;
549};
550
551union field_location
552{
553 /* * Position of this field, counting in bits from start of
d5a22e77
TT
554 containing structure. For big-endian targets, it is the bit
555 offset to the MSB. For little-endian targets, it is the bit
556 offset to the LSB. */
52059ffd 557
6b850546 558 LONGEST bitpos;
52059ffd
TT
559
560 /* * Enum value. */
561 LONGEST enumval;
562
563 /* * For a static field, if TYPE_FIELD_STATIC_HAS_ADDR then
564 physaddr is the location (in the target) of the static
565 field. Otherwise, physname is the mangled label of the
566 static field. */
567
568 CORE_ADDR physaddr;
569 const char *physname;
570
571 /* * The field location can be computed by evaluating the
572 following DWARF block. Its DATA is allocated on
573 objfile_obstack - no CU load is needed to access it. */
574
575 struct dwarf2_locexpr_baton *dwarf_block;
576};
577
578struct field
579{
580 union field_location loc;
581
582 /* * For a function or member type, this is 1 if the argument is
583 marked artificial. Artificial arguments should not be shown
584 to the user. For TYPE_CODE_RANGE it is set if the specific
585 bound is not defined. */
586
587 unsigned int artificial : 1;
588
589 /* * Discriminant for union field_location. */
590
591 ENUM_BITFIELD(field_loc_kind) loc_kind : 3;
592
593 /* * Size of this field, in bits, or zero if not packed.
594 If non-zero in an array type, indicates the element size in
595 bits (used only in Ada at the moment).
596 For an unpacked field, the field's type's length
597 says how many bytes the field occupies. */
598
599 unsigned int bitsize : 28;
600
601 /* * In a struct or union type, type of this field.
602 - In a function or member type, type of this argument.
603 - In an array type, the domain-type of the array. */
604
605 struct type *type;
606
607 /* * Name of field, value or argument.
608 NULL for range bounds, array domains, and member function
609 arguments. */
610
611 const char *name;
612};
613
614struct range_bounds
615{
616 /* * Low bound of range. */
617
618 struct dynamic_prop low;
619
620 /* * High bound of range. */
621
622 struct dynamic_prop high;
623
5bbd8269
AB
624 /* The stride value for this range. This can be stored in bits or bytes
625 based on the value of BYTE_STRIDE_P. It is optional to have a stride
626 value, if this range has no stride value defined then this will be set
627 to the constant zero. */
628
629 struct dynamic_prop stride;
630
4e962e74
TT
631 /* * The bias. Sometimes a range value is biased before storage.
632 The bias is added to the stored bits to form the true value. */
633
634 LONGEST bias;
635
52059ffd 636 /* True if HIGH range bound contains the number of elements in the
bfcdb852 637 subrange. This affects how the final high bound is computed. */
52059ffd 638
bab05c83 639 unsigned int flag_upper_bound_is_count : 1;
52059ffd
TT
640
641 /* True if LOW or/and HIGH are resolved into a static bound from
642 a dynamic one. */
643
bab05c83 644 unsigned int flag_bound_evaluated : 1;
5bbd8269
AB
645
646 /* If this is true this STRIDE is in bytes, otherwise STRIDE is in bits. */
647
648 unsigned int flag_is_byte_stride : 1;
52059ffd
TT
649};
650
0f59d5fc
PA
651/* Compare two range_bounds objects for equality. Simply does
652 memberwise comparison. */
653extern bool operator== (const range_bounds &l, const range_bounds &r);
654
655/* Compare two range_bounds objects for inequality. */
656static inline bool operator!= (const range_bounds &l, const range_bounds &r)
657{
658 return !(l == r);
659}
660
52059ffd
TT
661union type_specific
662{
663 /* * CPLUS_STUFF is for TYPE_CODE_STRUCT. It is initialized to
664 point to cplus_struct_default, a default static instance of a
665 struct cplus_struct_type. */
666
667 struct cplus_struct_type *cplus_stuff;
668
669 /* * GNAT_STUFF is for types for which the GNAT Ada compiler
670 provides additional information. */
671
672 struct gnat_aux_type *gnat_stuff;
673
0db7851f
UW
674 /* * FLOATFORMAT is for TYPE_CODE_FLT. It is a pointer to a
675 floatformat object that describes the floating-point value
676 that resides within the type. */
52059ffd 677
0db7851f 678 const struct floatformat *floatformat;
52059ffd
TT
679
680 /* * For TYPE_CODE_FUNC and TYPE_CODE_METHOD types. */
681
682 struct func_type *func_stuff;
683
684 /* * For types that are pointer to member types (TYPE_CODE_METHODPTR,
685 TYPE_CODE_MEMBERPTR), SELF_TYPE is the type that this pointer
686 is a member of. */
687
688 struct type *self_type;
689};
690
5e3a2c38
SS
691/* * Main structure representing a type in GDB.
692
693 This structure is space-critical. Its layout has been tweaked to
694 reduce the space used. */
0955bbf0 695
2fdde8f8
DJ
696struct main_type
697{
5e3a2c38 698 /* * Code for kind of type. */
2fdde8f8 699
0955bbf0
MC
700 ENUM_BITFIELD(type_code) code : 8;
701
5e3a2c38 702 /* * Flags about this type. These fields appear at this location
876cecd0
TT
703 because they packs nicely here. See the TYPE_* macros for
704 documentation about these fields. */
705
706 unsigned int flag_unsigned : 1;
707 unsigned int flag_nosign : 1;
708 unsigned int flag_stub : 1;
709 unsigned int flag_target_stub : 1;
710 unsigned int flag_static : 1;
711 unsigned int flag_prototyped : 1;
712 unsigned int flag_incomplete : 1;
713 unsigned int flag_varargs : 1;
714 unsigned int flag_vector : 1;
715 unsigned int flag_stub_supported : 1;
0875794a 716 unsigned int flag_gnu_ifunc : 1;
876cecd0 717 unsigned int flag_fixed_instance : 1;
e9bb382b 718 unsigned int flag_objfile_owned : 1;
34877895 719 unsigned int flag_endianity_not_default : 1;
5e3a2c38
SS
720
721 /* * True if this type was declared with "class" rather than
0cc2414c 722 "struct". */
5e3a2c38 723
0cc2414c 724 unsigned int flag_declared_class : 1;
876cecd0 725
5e3a2c38
SS
726 /* * True if this is an enum type with disjoint values. This
727 affects how the enum is printed. */
cafec441
TT
728
729 unsigned int flag_flag_enum : 1;
730
7c22600a
TT
731 /* * True if this type is a discriminated union type. Only valid
732 for TYPE_CODE_UNION. A discriminated union stores a reference to
733 the discriminant field along with the discriminator values in a
734 dynamic property. */
735
736 unsigned int flag_discriminated_union : 1;
737
5e3a2c38
SS
738 /* * A discriminant telling us which field of the type_specific
739 union is being used for this type, if any. */
740
b4ba55a1
JB
741 ENUM_BITFIELD(type_specific_kind) type_specific_field : 3;
742
5e3a2c38
SS
743 /* * Number of fields described for this type. This field appears
744 at this location because it packs nicely here. */
876cecd0
TT
745
746 short nfields;
747
5e3a2c38 748 /* * Name of this type, or NULL if none.
2fdde8f8 749
e86ca25f
TT
750 This is used for printing only. For looking up a name, look for
751 a symbol in the VAR_DOMAIN. This is generally allocated in the
752 objfile's obstack. However coffread.c uses malloc. */
2fdde8f8 753
0d5cff50 754 const char *name;
2fdde8f8 755
5e3a2c38
SS
756 /* * Every type is now associated with a particular objfile, and the
757 type is allocated on the objfile_obstack for that objfile. One
758 problem however, is that there are times when gdb allocates new
759 types while it is not in the process of reading symbols from a
760 particular objfile. Fortunately, these happen when the type
761 being created is a derived type of an existing type, such as in
762 lookup_pointer_type(). So we can just allocate the new type
763 using the same objfile as the existing type, but to do this we
764 need a backpointer to the objfile from the existing type. Yes
765 this is somewhat ugly, but without major overhaul of the internal
766 type system, it can't be avoided for now. */
2fdde8f8 767
52059ffd 768 union type_owner owner;
2fdde8f8 769
5e3a2c38
SS
770 /* * For a pointer type, describes the type of object pointed to.
771 - For an array type, describes the type of the elements.
772 - For a function or method type, describes the type of the return value.
773 - For a range type, describes the type of the full range.
774 - For a complex type, describes the type of each coordinate.
775 - For a special record or union type encoding a dynamic-sized type
d09ce91e
JB
776 in GNAT, a memoized pointer to a corresponding static version of
777 the type.
5e3a2c38 778 - Unused otherwise. */
2fdde8f8
DJ
779
780 struct type *target_type;
781
5e3a2c38 782 /* * For structure and union types, a description of each field.
2fdde8f8
DJ
783 For set and pascal array types, there is one "field",
784 whose type is the domain type of the set or array.
785 For range types, there are two "fields",
786 the minimum and maximum values (both inclusive).
787 For enum types, each possible value is described by one "field".
ad2f7632 788 For a function or method type, a "field" for each parameter.
2fdde8f8
DJ
789 For C++ classes, there is one field for each base class (if it is
790 a derived class) plus one field for each class data member. Member
791 functions are recorded elsewhere.
792
793 Using a pointer to a separate array of fields
794 allows all types to have the same size, which is useful
795 because we can allocate the space for a type before
796 we know what to put in it. */
797
43bbcdc2 798 union
c5aa993b 799 {
52059ffd 800 struct field *fields;
01ad7f36 801
5e3a2c38 802 /* * Union member used for range types. */
43bbcdc2 803
52059ffd 804 struct range_bounds *bounds;
c906108c 805
5b930b45
TT
806 /* If this is a scalar type, then this is its corresponding
807 complex type. */
808 struct type *complex_type;
809
43bbcdc2 810 } flds_bnds;
c906108c 811
5e3a2c38
SS
812 /* * Slot to point to additional language-specific fields of this
813 type. */
c906108c 814
52059ffd 815 union type_specific type_specific;
3cdcd0ce 816
d9823cbb
KB
817 /* * Contains all dynamic type properties. */
818 struct dynamic_prop_list *dyn_prop_list;
2fdde8f8 819};
c906108c 820
2b4424c3
TT
821/* * Number of bits allocated for alignment. */
822
823#define TYPE_ALIGN_BITS 8
824
5e3a2c38 825/* * A ``struct type'' describes a particular instance of a type, with
2fdde8f8 826 some particular qualification. */
5e3a2c38 827
2fdde8f8
DJ
828struct type
829{
5e3a2c38 830 /* * Type that is a pointer to this type.
2fdde8f8
DJ
831 NULL if no such pointer-to type is known yet.
832 The debugger may add the address of such a type
833 if it has to construct one later. */
c906108c 834
2fdde8f8 835 struct type *pointer_type;
c906108c 836
5e3a2c38 837 /* * C++: also need a reference type. */
c906108c 838
2fdde8f8 839 struct type *reference_type;
c906108c 840
f9aeb8d4
AV
841 /* * A C++ rvalue reference type added in C++11. */
842
843 struct type *rvalue_reference_type;
844
5e3a2c38
SS
845 /* * Variant chain. This points to a type that differs from this
846 one only in qualifiers and length. Currently, the possible
847 qualifiers are const, volatile, code-space, data-space, and
848 address class. The length may differ only when one of the
849 address class flags are set. The variants are linked in a
850 circular ring and share MAIN_TYPE. */
851
2fdde8f8 852 struct type *chain;
c906108c 853
2b4424c3
TT
854 /* * The alignment for this type. Zero means that the alignment was
855 not specified in the debug info. Note that this is stored in a
856 funny way: as the log base 2 (plus 1) of the alignment; so a
857 value of 1 means the alignment is 1, and a value of 9 means the
858 alignment is 256. */
859
860 unsigned align_log2 : TYPE_ALIGN_BITS;
861
5e3a2c38 862 /* * Flags specific to this instance of the type, indicating where
92163a10
JK
863 on the ring we are.
864
5e3a2c38
SS
865 For TYPE_CODE_TYPEDEF the flags of the typedef type should be
866 binary or-ed with the target type, with a special case for
867 address class and space class. For example if this typedef does
868 not specify any new qualifiers, TYPE_INSTANCE_FLAGS is 0 and the
869 instance flags are completely inherited from the target type. No
870 qualifiers can be cleared by the typedef. See also
871 check_typedef. */
2b4424c3 872 unsigned instance_flags : 9;
701c159d 873
2e056931
SM
874 /* * Length of storage for a value of this type. The value is the
875 expression in host bytes of what sizeof(type) would return. This
876 size includes padding. For example, an i386 extended-precision
877 floating point value really only occupies ten bytes, but most
878 ABI's declare its size to be 12 bytes, to preserve alignment.
879 A `struct type' representing such a floating-point type would
880 have a `length' value of 12, even though the last two bytes are
881 unused.
882
883 Since this field is expressed in host bytes, its value is appropriate
884 to pass to memcpy and such (it is assumed that GDB itself always runs
885 on an 8-bits addressable architecture). However, when using it for
886 target address arithmetic (e.g. adding it to a target address), the
887 type_length_units function should be used in order to get the length
888 expressed in target addressable memory units. */
889
cc1defb1 890 ULONGEST length;
ab5d3da6 891
5e3a2c38
SS
892 /* * Core type, shared by a group of qualified types. */
893
2fdde8f8
DJ
894 struct main_type *main_type;
895};
c906108c
SS
896
897#define NULL_TYPE ((struct type *) 0)
898
52059ffd
TT
899struct fn_fieldlist
900{
901
902 /* * The overloaded name.
903 This is generally allocated in the objfile's obstack.
904 However stabsread.c sometimes uses malloc. */
905
906 const char *name;
907
908 /* * The number of methods with this name. */
909
910 int length;
911
912 /* * The list of methods. */
913
914 struct fn_field *fn_fields;
915};
916
917
918
919struct fn_field
920{
921 /* * If is_stub is clear, this is the mangled name which we can look
922 up to find the address of the method (FIXME: it would be cleaner
923 to have a pointer to the struct symbol here instead).
924
925 If is_stub is set, this is the portion of the mangled name which
926 specifies the arguments. For example, "ii", if there are two int
927 arguments, or "" if there are no arguments. See gdb_mangle_name
928 for the conversion from this format to the one used if is_stub is
929 clear. */
930
931 const char *physname;
932
933 /* * The function type for the method.
934
935 (This comment used to say "The return value of the method", but
936 that's wrong. The function type is expected here, i.e. something
937 with TYPE_CODE_METHOD, and *not* the return-value type). */
938
939 struct type *type;
940
941 /* * For virtual functions. First baseclass that defines this
942 virtual function. */
943
944 struct type *fcontext;
945
946 /* Attributes. */
947
948 unsigned int is_const:1;
949 unsigned int is_volatile:1;
950 unsigned int is_private:1;
951 unsigned int is_protected:1;
52059ffd
TT
952 unsigned int is_artificial:1;
953
954 /* * A stub method only has some fields valid (but they are enough
955 to reconstruct the rest of the fields). */
956
957 unsigned int is_stub:1;
958
959 /* * True if this function is a constructor, false otherwise. */
960
961 unsigned int is_constructor : 1;
962
e35000a7
TBA
963 /* * True if this function is deleted, false otherwise. */
964
965 unsigned int is_deleted : 1;
966
967 /* * DW_AT_defaulted attribute for this function. The value is one
968 of the DW_DEFAULTED constants. */
969
970 ENUM_BITFIELD (dwarf_defaulted_attribute) defaulted : 2;
971
52059ffd
TT
972 /* * Unused. */
973
e35000a7 974 unsigned int dummy:6;
52059ffd
TT
975
976 /* * Index into that baseclass's virtual function table, minus 2;
977 else if static: VOFFSET_STATIC; else: 0. */
978
979 unsigned int voffset:16;
980
981#define VOFFSET_STATIC 1
982
983};
984
883fd55a 985struct decl_field
52059ffd
TT
986{
987 /* * Unqualified name to be prefixed by owning class qualified
988 name. */
989
990 const char *name;
991
992 /* * Type this typedef named NAME represents. */
993
994 struct type *type;
c191a687
KS
995
996 /* * True if this field was declared protected, false otherwise. */
997 unsigned int is_protected : 1;
998
999 /* * True if this field was declared private, false otherwise. */
1000 unsigned int is_private : 1;
52059ffd
TT
1001};
1002
5e3a2c38
SS
1003/* * C++ language-specific information for TYPE_CODE_STRUCT and
1004 TYPE_CODE_UNION nodes. */
c906108c
SS
1005
1006struct cplus_struct_type
c5aa993b 1007 {
5e3a2c38
SS
1008 /* * Number of base classes this type derives from. The
1009 baseclasses are stored in the first N_BASECLASSES fields
5e7cf078
DE
1010 (i.e. the `fields' field of the struct type). The only fields
1011 of struct field that are used are: type, name, loc.bitpos. */
c906108c 1012
c5aa993b 1013 short n_baseclasses;
c906108c 1014
ae6ae975
DE
1015 /* * Field number of the virtual function table pointer in VPTR_BASETYPE.
1016 All access to this field must be through TYPE_VPTR_FIELDNO as one
1017 thing it does is check whether the field has been initialized.
1018 Initially TYPE_RAW_CPLUS_SPECIFIC has the value of cplus_struct_default,
1019 which for portability reasons doesn't initialize this field.
1020 TYPE_VPTR_FIELDNO returns -1 for this case.
1021
1022 If -1, we were unable to find the virtual function table pointer in
1023 initial symbol reading, and get_vptr_fieldno should be called to find
1024 it if possible. get_vptr_fieldno will update this field if possible.
1025 Otherwise the value is left at -1.
1026
1027 Unused if this type does not have virtual functions. */
1028
1029 short vptr_fieldno;
1030
5e3a2c38
SS
1031 /* * Number of methods with unique names. All overloaded methods
1032 with the same name count only once. */
c906108c 1033
c5aa993b 1034 short nfn_fields;
c906108c 1035
5e3a2c38
SS
1036 /* * Number of template arguments. */
1037
34eaf542
TT
1038 unsigned short n_template_arguments;
1039
5e3a2c38 1040 /* * One if this struct is a dynamic class, as defined by the
48ea67a7
TT
1041 Itanium C++ ABI: if it requires a virtual table pointer,
1042 because it or any of its base classes have one or more virtual
1043 member functions or virtual base classes. Minus one if not
1044 dynamic. Zero if not yet computed. */
5e3a2c38 1045
48ea67a7 1046 int is_dynamic : 2;
c5aa993b 1047
e35000a7
TBA
1048 /* * The calling convention for this type, fetched from the
1049 DW_AT_calling_convention attribute. The value is one of the
1050 DW_CC constants. */
1051
1052 ENUM_BITFIELD (dwarf_calling_convention) calling_convention : 8;
1053
ae6ae975
DE
1054 /* * The base class which defined the virtual function table pointer. */
1055
1056 struct type *vptr_basetype;
1057
5e3a2c38 1058 /* * For derived classes, the number of base classes is given by
3e43a32a
MS
1059 n_baseclasses and virtual_field_bits is a bit vector containing
1060 one bit per base class. If the base class is virtual, the
1061 corresponding bit will be set.
c5aa993b 1062 I.E, given:
c906108c 1063
c5aa993b
JM
1064 class A{};
1065 class B{};
1066 class C : public B, public virtual A {};
c906108c 1067
c5aa993b 1068 B is a baseclass of C; A is a virtual baseclass for C.
0963b4bd 1069 This is a C++ 2.0 language feature. */
c906108c 1070
c5aa993b 1071 B_TYPE *virtual_field_bits;
c906108c 1072
5e3a2c38
SS
1073 /* * For classes with private fields, the number of fields is
1074 given by nfields and private_field_bits is a bit vector
1075 containing one bit per field.
1076
0963b4bd 1077 If the field is private, the corresponding bit will be set. */
c906108c 1078
c5aa993b 1079 B_TYPE *private_field_bits;
c906108c 1080
5e3a2c38
SS
1081 /* * For classes with protected fields, the number of fields is
1082 given by nfields and protected_field_bits is a bit vector
1083 containing one bit per field.
1084
0963b4bd 1085 If the field is private, the corresponding bit will be set. */
c906108c 1086
c5aa993b 1087 B_TYPE *protected_field_bits;
c906108c 1088
5e3a2c38
SS
1089 /* * For classes with fields to be ignored, either this is
1090 optimized out or this field has length 0. */
c906108c 1091
c5aa993b 1092 B_TYPE *ignore_field_bits;
c906108c 1093
5e3a2c38
SS
1094 /* * For classes, structures, and unions, a description of each
1095 field, which consists of an overloaded name, followed by the
1096 types of arguments that the method expects, and then the name
1097 after it has been renamed to make it distinct.
c906108c 1098
0963b4bd 1099 fn_fieldlists points to an array of nfn_fields of these. */
c906108c 1100
52059ffd 1101 struct fn_fieldlist *fn_fieldlists;
c906108c 1102
5e3a2c38
SS
1103 /* * typedefs defined inside this class. typedef_field points to
1104 an array of typedef_field_count elements. */
1105
883fd55a 1106 struct decl_field *typedef_field;
5e3a2c38 1107
98751a41 1108 unsigned typedef_field_count;
34eaf542 1109
883fd55a
KS
1110 /* * The nested types defined by this type. nested_types points to
1111 an array of nested_types_count elements. */
1112
1113 struct decl_field *nested_types;
1114
1115 unsigned nested_types_count;
1116
5e3a2c38 1117 /* * The template arguments. This is an array with
34eaf542
TT
1118 N_TEMPLATE_ARGUMENTS elements. This is NULL for non-template
1119 classes. */
5e3a2c38 1120
34eaf542 1121 struct symbol **template_arguments;
c5aa993b 1122 };
c906108c 1123
5e3a2c38
SS
1124/* * Struct used to store conversion rankings. */
1125
6403aeea
SW
1126struct rank
1127 {
a9d5ef47
SW
1128 short rank;
1129
5e3a2c38
SS
1130 /* * When two conversions are of the same type and therefore have
1131 the same rank, subrank is used to differentiate the two.
1132
1133 Eg: Two derived-class-pointer to base-class-pointer conversions
1134 would both have base pointer conversion rank, but the
1135 conversion with the shorter distance to the ancestor is
1136 preferable. 'subrank' would be used to reflect that. */
1137
a9d5ef47 1138 short subrank;
6403aeea
SW
1139 };
1140
82ceee50 1141/* * Used for ranking a function for overload resolution. */
5e3a2c38 1142
82ceee50 1143typedef std::vector<rank> badness_vector;
c906108c 1144
5e3a2c38
SS
1145/* * GNAT Ada-specific information for various Ada types. */
1146
b4ba55a1
JB
1147struct gnat_aux_type
1148 {
5e3a2c38 1149 /* * Parallel type used to encode information about dynamic types
b4ba55a1
JB
1150 used in Ada (such as variant records, variable-size array,
1151 etc). */
1152 struct type* descriptive_type;
1153 };
1154
09e2d7c7 1155/* * For TYPE_CODE_FUNC and TYPE_CODE_METHOD types. */
5e3a2c38 1156
b6cdc2c1
JK
1157struct func_type
1158 {
5e3a2c38
SS
1159 /* * The calling convention for targets supporting multiple ABIs.
1160 Right now this is only fetched from the Dwarf-2
743649fd 1161 DW_AT_calling_convention attribute. The value is one of the
d0922fcf 1162 DW_CC constants. */
5e3a2c38 1163
d0922fcf 1164 ENUM_BITFIELD (dwarf_calling_convention) calling_convention : 8;
743649fd
MW
1165
1166 /* * Whether this function normally returns to its caller. It is
1167 set from the DW_AT_noreturn attribute if set on the
1168 DW_TAG_subprogram. */
1169
1170 unsigned int is_noreturn : 1;
bb984ff1 1171
216f72a1
JK
1172 /* * Only those DW_TAG_call_site's in this function that have
1173 DW_AT_call_tail_call set are linked in this list. Function
5e3a2c38 1174 without its tail call list complete
216f72a1
JK
1175 (DW_AT_call_all_tail_calls or its superset
1176 DW_AT_call_all_calls) has TAIL_CALL_LIST NULL, even if some
1177 DW_TAG_call_site's exist in such function. */
5e3a2c38 1178
bb984ff1 1179 struct call_site *tail_call_list;
09e2d7c7
DE
1180
1181 /* * For method types (TYPE_CODE_METHOD), the aggregate type that
1182 contains the method. */
1183
1184 struct type *self_type;
b6cdc2c1
JK
1185 };
1186
24c5c679
JK
1187/* struct call_site_parameter can be referenced in callees by several ways. */
1188
1189enum call_site_parameter_kind
1190{
5e3a2c38 1191 /* * Use field call_site_parameter.u.dwarf_reg. */
24c5c679
JK
1192 CALL_SITE_PARAMETER_DWARF_REG,
1193
5e3a2c38 1194 /* * Use field call_site_parameter.u.fb_offset. */
1788b2d3
JK
1195 CALL_SITE_PARAMETER_FB_OFFSET,
1196
5e3a2c38 1197 /* * Use field call_site_parameter.u.param_offset. */
1788b2d3 1198 CALL_SITE_PARAMETER_PARAM_OFFSET
24c5c679
JK
1199};
1200
52059ffd
TT
1201struct call_site_target
1202{
1203 union field_location loc;
1204
1205 /* * Discriminant for union field_location. */
1206
1207 ENUM_BITFIELD(field_loc_kind) loc_kind : 3;
1208};
1209
1210union call_site_parameter_u
1211{
1212 /* * DW_TAG_formal_parameter's DW_AT_location's DW_OP_regX
1213 as DWARF register number, for register passed
1214 parameters. */
1215
1216 int dwarf_reg;
1217
1218 /* * Offset from the callee's frame base, for stack passed
1219 parameters. This equals offset from the caller's stack
1220 pointer. */
1221
1222 CORE_ADDR fb_offset;
1223
1224 /* * Offset relative to the start of this PER_CU to
1225 DW_TAG_formal_parameter which is referenced by both
1226 caller and the callee. */
1227
9c541725 1228 cu_offset param_cu_off;
52059ffd
TT
1229};
1230
1231struct call_site_parameter
1232{
1233 ENUM_BITFIELD (call_site_parameter_kind) kind : 2;
1234
1235 union call_site_parameter_u u;
1236
216f72a1 1237 /* * DW_TAG_formal_parameter's DW_AT_call_value. It is never NULL. */
52059ffd
TT
1238
1239 const gdb_byte *value;
1240 size_t value_size;
1241
216f72a1 1242 /* * DW_TAG_formal_parameter's DW_AT_call_data_value.
52059ffd
TT
1243 It may be NULL if not provided by DWARF. */
1244
1245 const gdb_byte *data_value;
1246 size_t data_value_size;
1247};
1248
5e3a2c38 1249/* * A place where a function gets called from, represented by
216f72a1 1250 DW_TAG_call_site. It can be looked up from symtab->call_site_htab. */
8e3b41a9
JK
1251
1252struct call_site
1253 {
5e3a2c38
SS
1254 /* * Address of the first instruction after this call. It must be
1255 the first field as we overload core_addr_hash and core_addr_eq
1256 for it. */
1257
8e3b41a9
JK
1258 CORE_ADDR pc;
1259
5e3a2c38
SS
1260 /* * List successor with head in FUNC_TYPE.TAIL_CALL_LIST. */
1261
bb984ff1
JK
1262 struct call_site *tail_call_next;
1263
216f72a1 1264 /* * Describe DW_AT_call_target. Missing attribute uses
8e3b41a9 1265 FIELD_LOC_KIND_DWARF_BLOCK with FIELD_DWARF_BLOCK == NULL. */
5e3a2c38 1266
52059ffd 1267 struct call_site_target target;
8e3b41a9 1268
5e3a2c38
SS
1269 /* * Size of the PARAMETER array. */
1270
8e3b41a9
JK
1271 unsigned parameter_count;
1272
5e3a2c38
SS
1273 /* * CU of the function where the call is located. It gets used
1274 for DWARF blocks execution in the parameter array below. */
1275
8e3b41a9
JK
1276 struct dwarf2_per_cu_data *per_cu;
1277
216f72a1 1278 /* * Describe DW_TAG_call_site's DW_TAG_formal_parameter. */
5e3a2c38 1279
52059ffd 1280 struct call_site_parameter parameter[1];
8e3b41a9
JK
1281 };
1282
5e3a2c38
SS
1283/* * The default value of TYPE_CPLUS_SPECIFIC(T) points to this shared
1284 static structure. */
c906108c
SS
1285
1286extern const struct cplus_struct_type cplus_struct_default;
1287
a14ed312 1288extern void allocate_cplus_struct_type (struct type *);
c906108c
SS
1289
1290#define INIT_CPLUS_SPECIFIC(type) \
b4ba55a1 1291 (TYPE_SPECIFIC_FIELD (type) = TYPE_SPECIFIC_CPLUS_STUFF, \
3e43a32a
MS
1292 TYPE_RAW_CPLUS_SPECIFIC (type) = (struct cplus_struct_type*) \
1293 &cplus_struct_default)
b4ba55a1 1294
c906108c 1295#define ALLOCATE_CPLUS_STRUCT_TYPE(type) allocate_cplus_struct_type (type)
b4ba55a1 1296
c906108c 1297#define HAVE_CPLUS_STRUCT(type) \
b4ba55a1
JB
1298 (TYPE_SPECIFIC_FIELD (type) == TYPE_SPECIFIC_CPLUS_STUFF \
1299 && TYPE_RAW_CPLUS_SPECIFIC (type) != &cplus_struct_default)
1300
8ecb59f8
TT
1301#define INIT_NONE_SPECIFIC(type) \
1302 (TYPE_SPECIFIC_FIELD (type) = TYPE_SPECIFIC_NONE, \
1303 TYPE_MAIN_TYPE (type)->type_specific = {})
1304
b4ba55a1
JB
1305extern const struct gnat_aux_type gnat_aux_default;
1306
1307extern void allocate_gnat_aux_type (struct type *);
1308
1309#define INIT_GNAT_SPECIFIC(type) \
1310 (TYPE_SPECIFIC_FIELD (type) = TYPE_SPECIFIC_GNAT_STUFF, \
1311 TYPE_GNAT_SPECIFIC (type) = (struct gnat_aux_type *) &gnat_aux_default)
1312#define ALLOCATE_GNAT_AUX_TYPE(type) allocate_gnat_aux_type (type)
5e3a2c38 1313/* * A macro that returns non-zero if the type-specific data should be
b4ba55a1
JB
1314 read as "gnat-stuff". */
1315#define HAVE_GNAT_AUX_INFO(type) \
1316 (TYPE_SPECIFIC_FIELD (type) == TYPE_SPECIFIC_GNAT_STUFF)
c906108c 1317
8ecb59f8
TT
1318/* * True if TYPE is known to be an Ada type of some kind. */
1319#define ADA_TYPE_P(type) \
1320 (TYPE_SPECIFIC_FIELD (type) == TYPE_SPECIFIC_GNAT_STUFF \
1321 || (TYPE_SPECIFIC_FIELD (type) == TYPE_SPECIFIC_NONE \
1322 && TYPE_FIXED_INSTANCE (type)))
1323
b6cdc2c1
JK
1324#define INIT_FUNC_SPECIFIC(type) \
1325 (TYPE_SPECIFIC_FIELD (type) = TYPE_SPECIFIC_FUNC, \
224c3ddb
SM
1326 TYPE_MAIN_TYPE (type)->type_specific.func_stuff = (struct func_type *) \
1327 TYPE_ZALLOC (type, \
1328 sizeof (*TYPE_MAIN_TYPE (type)->type_specific.func_stuff)))
b6cdc2c1 1329
2fdde8f8
DJ
1330#define TYPE_INSTANCE_FLAGS(thistype) (thistype)->instance_flags
1331#define TYPE_MAIN_TYPE(thistype) (thistype)->main_type
1332#define TYPE_NAME(thistype) TYPE_MAIN_TYPE(thistype)->name
2fdde8f8 1333#define TYPE_TARGET_TYPE(thistype) TYPE_MAIN_TYPE(thistype)->target_type
c906108c
SS
1334#define TYPE_POINTER_TYPE(thistype) (thistype)->pointer_type
1335#define TYPE_REFERENCE_TYPE(thistype) (thistype)->reference_type
f9aeb8d4 1336#define TYPE_RVALUE_REFERENCE_TYPE(thistype) (thistype)->rvalue_reference_type
2fdde8f8 1337#define TYPE_CHAIN(thistype) (thistype)->chain
5e3a2c38 1338/* * Note that if thistype is a TYPEDEF type, you have to call check_typedef.
c906108c
SS
1339 But check_typedef does set the TYPE_LENGTH of the TYPEDEF type,
1340 so you only have to call check_typedef once. Since allocate_value
1341 calls check_typedef, TYPE_LENGTH (VALUE_TYPE (X)) is safe. */
ab5d3da6 1342#define TYPE_LENGTH(thistype) (thistype)->length
2b4424c3
TT
1343
1344/* * Return the alignment of the type in target addressable memory
1345 units, or 0 if no alignment was specified. */
1346#define TYPE_RAW_ALIGN(thistype) type_raw_align (thistype)
1347
1348/* * Return the alignment of the type in target addressable memory
1349 units, or 0 if no alignment was specified. */
1350extern unsigned type_raw_align (struct type *);
1351
1352/* * Return the alignment of the type in target addressable memory
1353 units. Return 0 if the alignment cannot be determined; but note
1354 that this makes an effort to compute the alignment even it it was
1355 not specified in the debug info. */
1356extern unsigned type_align (struct type *);
1357
1358/* * Set the alignment of the type. The alignment must be a power of
1359 2. Returns false if the given value does not fit in the available
1360 space in struct type. */
1361extern bool set_type_align (struct type *, ULONGEST);
1362
5e3a2c38 1363/* * Note that TYPE_CODE can be TYPE_CODE_TYPEDEF, so if you want the real
0963b4bd 1364 type, you need to do TYPE_CODE (check_type (this_type)). */
2fdde8f8
DJ
1365#define TYPE_CODE(thistype) TYPE_MAIN_TYPE(thistype)->code
1366#define TYPE_NFIELDS(thistype) TYPE_MAIN_TYPE(thistype)->nfields
43bbcdc2 1367#define TYPE_FIELDS(thistype) TYPE_MAIN_TYPE(thistype)->flds_bnds.fields
c906108c
SS
1368
1369#define TYPE_INDEX_TYPE(type) TYPE_FIELD_TYPE (type, 0)
43bbcdc2 1370#define TYPE_RANGE_DATA(thistype) TYPE_MAIN_TYPE(thistype)->flds_bnds.bounds
729efb13
SA
1371#define TYPE_LOW_BOUND(range_type) \
1372 TYPE_RANGE_DATA(range_type)->low.data.const_val
1373#define TYPE_HIGH_BOUND(range_type) \
1374 TYPE_RANGE_DATA(range_type)->high.data.const_val
43bbcdc2 1375#define TYPE_LOW_BOUND_UNDEFINED(range_type) \
729efb13 1376 (TYPE_RANGE_DATA(range_type)->low.kind == PROP_UNDEFINED)
43bbcdc2 1377#define TYPE_HIGH_BOUND_UNDEFINED(range_type) \
729efb13
SA
1378 (TYPE_RANGE_DATA(range_type)->high.kind == PROP_UNDEFINED)
1379#define TYPE_HIGH_BOUND_KIND(range_type) \
1380 TYPE_RANGE_DATA(range_type)->high.kind
1381#define TYPE_LOW_BOUND_KIND(range_type) \
1382 TYPE_RANGE_DATA(range_type)->low.kind
5bbd8269
AB
1383#define TYPE_BIT_STRIDE(range_type) \
1384 (TYPE_RANGE_DATA(range_type)->stride.data.const_val \
1385 * (TYPE_RANGE_DATA(range_type)->flag_is_byte_stride ? 8 : 1))
c906108c 1386
d9823cbb 1387/* Property accessors for the type data location. */
3cdcd0ce 1388#define TYPE_DATA_LOCATION(thistype) \
93a8e227 1389 get_dyn_prop (DYN_PROP_DATA_LOCATION, thistype)
3cdcd0ce
JB
1390#define TYPE_DATA_LOCATION_BATON(thistype) \
1391 TYPE_DATA_LOCATION (thistype)->data.baton
1392#define TYPE_DATA_LOCATION_ADDR(thistype) \
1393 TYPE_DATA_LOCATION (thistype)->data.const_val
1394#define TYPE_DATA_LOCATION_KIND(thistype) \
1395 TYPE_DATA_LOCATION (thistype)->kind
1396
3f2f83dd
KB
1397/* Property accessors for the type allocated/associated. */
1398#define TYPE_ALLOCATED_PROP(thistype) \
1399 get_dyn_prop (DYN_PROP_ALLOCATED, thistype)
1400#define TYPE_ASSOCIATED_PROP(thistype) \
1401 get_dyn_prop (DYN_PROP_ASSOCIATED, thistype)
1402
d9823cbb
KB
1403/* Attribute accessors for dynamic properties. */
1404#define TYPE_DYN_PROP_LIST(thistype) \
1405 TYPE_MAIN_TYPE(thistype)->dyn_prop_list
1406#define TYPE_DYN_PROP_BATON(dynprop) \
1407 dynprop->data.baton
1408#define TYPE_DYN_PROP_ADDR(dynprop) \
1409 dynprop->data.const_val
1410#define TYPE_DYN_PROP_KIND(dynprop) \
1411 dynprop->kind
1412
1413
bfcdb852
TT
1414/* Accessors for struct range_bounds data attached to an array type's
1415 index type. */
c906108c 1416
d78df370 1417#define TYPE_ARRAY_UPPER_BOUND_IS_UNDEFINED(arraytype) \
43bbcdc2 1418 TYPE_HIGH_BOUND_UNDEFINED(TYPE_INDEX_TYPE(arraytype))
d78df370 1419#define TYPE_ARRAY_LOWER_BOUND_IS_UNDEFINED(arraytype) \
43bbcdc2 1420 TYPE_LOW_BOUND_UNDEFINED(TYPE_INDEX_TYPE(arraytype))
c906108c
SS
1421
1422#define TYPE_ARRAY_UPPER_BOUND_VALUE(arraytype) \
262452ec 1423 (TYPE_HIGH_BOUND(TYPE_INDEX_TYPE((arraytype))))
c906108c
SS
1424
1425#define TYPE_ARRAY_LOWER_BOUND_VALUE(arraytype) \
262452ec 1426 (TYPE_LOW_BOUND(TYPE_INDEX_TYPE((arraytype))))
c906108c 1427
5bbd8269
AB
1428#define TYPE_ARRAY_BIT_STRIDE(arraytype) \
1429 (TYPE_BIT_STRIDE(TYPE_INDEX_TYPE((arraytype))))
1430
c906108c
SS
1431/* C++ */
1432
09e2d7c7
DE
1433#define TYPE_SELF_TYPE(thistype) internal_type_self_type (thistype)
1434/* Do not call this, use TYPE_SELF_TYPE. */
1435extern struct type *internal_type_self_type (struct type *);
1436extern void set_type_self_type (struct type *, struct type *);
1437
ae6ae975
DE
1438extern int internal_type_vptr_fieldno (struct type *);
1439extern void set_type_vptr_fieldno (struct type *, int);
1440extern struct type *internal_type_vptr_basetype (struct type *);
1441extern void set_type_vptr_basetype (struct type *, struct type *);
1442#define TYPE_VPTR_FIELDNO(thistype) internal_type_vptr_fieldno (thistype)
1443#define TYPE_VPTR_BASETYPE(thistype) internal_type_vptr_basetype (thistype)
1444
c906108c 1445#define TYPE_NFN_FIELDS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->nfn_fields
b4ba55a1
JB
1446#define TYPE_SPECIFIC_FIELD(thistype) \
1447 TYPE_MAIN_TYPE(thistype)->type_specific_field
b4ba55a1
JB
1448/* We need this tap-dance with the TYPE_RAW_SPECIFIC because of the case
1449 where we're trying to print an Ada array using the C language.
1450 In that case, there is no "cplus_stuff", but the C language assumes
1451 that there is. What we do, in that case, is pretend that there is
1452 an implicit one which is the default cplus stuff. */
1453#define TYPE_CPLUS_SPECIFIC(thistype) \
1454 (!HAVE_CPLUS_STRUCT(thistype) \
1455 ? (struct cplus_struct_type*)&cplus_struct_default \
1456 : TYPE_RAW_CPLUS_SPECIFIC(thistype))
1457#define TYPE_RAW_CPLUS_SPECIFIC(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.cplus_stuff
e35000a7
TBA
1458#define TYPE_CPLUS_CALLING_CONVENTION(thistype) \
1459 TYPE_MAIN_TYPE(thistype)->type_specific.cplus_stuff->calling_convention
2fdde8f8 1460#define TYPE_FLOATFORMAT(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.floatformat
b4ba55a1
JB
1461#define TYPE_GNAT_SPECIFIC(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.gnat_stuff
1462#define TYPE_DESCRIPTIVE_TYPE(thistype) TYPE_GNAT_SPECIFIC(thistype)->descriptive_type
b6cdc2c1 1463#define TYPE_CALLING_CONVENTION(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.func_stuff->calling_convention
743649fd 1464#define TYPE_NO_RETURN(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.func_stuff->is_noreturn
bb984ff1 1465#define TYPE_TAIL_CALL_LIST(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.func_stuff->tail_call_list
43bbcdc2 1466#define TYPE_BASECLASS(thistype,index) TYPE_FIELD_TYPE(thistype, index)
c906108c 1467#define TYPE_N_BASECLASSES(thistype) TYPE_CPLUS_SPECIFIC(thistype)->n_baseclasses
43bbcdc2 1468#define TYPE_BASECLASS_NAME(thistype,index) TYPE_FIELD_NAME(thistype, index)
c906108c
SS
1469#define TYPE_BASECLASS_BITPOS(thistype,index) TYPE_FIELD_BITPOS(thistype,index)
1470#define BASETYPE_VIA_PUBLIC(thistype, index) \
1471 ((!TYPE_FIELD_PRIVATE(thistype, index)) && (!TYPE_FIELD_PROTECTED(thistype, index)))
d48cc9dd 1472#define TYPE_CPLUS_DYNAMIC(thistype) TYPE_CPLUS_SPECIFIC (thistype)->is_dynamic
c906108c
SS
1473
1474#define BASETYPE_VIA_VIRTUAL(thistype, index) \
1475 (TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits == NULL ? 0 \
1476 : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits, (index)))
1477
1478#define FIELD_TYPE(thisfld) ((thisfld).type)
1479#define FIELD_NAME(thisfld) ((thisfld).name)
d6a843b5 1480#define FIELD_LOC_KIND(thisfld) ((thisfld).loc_kind)
f41f5e61
PA
1481#define FIELD_BITPOS_LVAL(thisfld) ((thisfld).loc.bitpos)
1482#define FIELD_BITPOS(thisfld) (FIELD_BITPOS_LVAL (thisfld) + 0)
14e75d8e
JK
1483#define FIELD_ENUMVAL_LVAL(thisfld) ((thisfld).loc.enumval)
1484#define FIELD_ENUMVAL(thisfld) (FIELD_ENUMVAL_LVAL (thisfld) + 0)
d6a843b5
JK
1485#define FIELD_STATIC_PHYSNAME(thisfld) ((thisfld).loc.physname)
1486#define FIELD_STATIC_PHYSADDR(thisfld) ((thisfld).loc.physaddr)
8e3b41a9 1487#define FIELD_DWARF_BLOCK(thisfld) ((thisfld).loc.dwarf_block)
d6a843b5
JK
1488#define SET_FIELD_BITPOS(thisfld, bitpos) \
1489 (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_BITPOS, \
f41f5e61 1490 FIELD_BITPOS_LVAL (thisfld) = (bitpos))
14e75d8e
JK
1491#define SET_FIELD_ENUMVAL(thisfld, enumval) \
1492 (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_ENUMVAL, \
1493 FIELD_ENUMVAL_LVAL (thisfld) = (enumval))
d6a843b5
JK
1494#define SET_FIELD_PHYSNAME(thisfld, name) \
1495 (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_PHYSNAME, \
1496 FIELD_STATIC_PHYSNAME (thisfld) = (name))
1497#define SET_FIELD_PHYSADDR(thisfld, addr) \
1498 (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_PHYSADDR, \
1499 FIELD_STATIC_PHYSADDR (thisfld) = (addr))
8e3b41a9
JK
1500#define SET_FIELD_DWARF_BLOCK(thisfld, addr) \
1501 (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_DWARF_BLOCK, \
1502 FIELD_DWARF_BLOCK (thisfld) = (addr))
01ad7f36 1503#define FIELD_ARTIFICIAL(thisfld) ((thisfld).artificial)
c906108c 1504#define FIELD_BITSIZE(thisfld) ((thisfld).bitsize)
d6a843b5 1505
43bbcdc2 1506#define TYPE_FIELD(thistype, n) TYPE_MAIN_TYPE(thistype)->flds_bnds.fields[n]
c906108c
SS
1507#define TYPE_FIELD_TYPE(thistype, n) FIELD_TYPE(TYPE_FIELD(thistype, n))
1508#define TYPE_FIELD_NAME(thistype, n) FIELD_NAME(TYPE_FIELD(thistype, n))
d6a843b5
JK
1509#define TYPE_FIELD_LOC_KIND(thistype, n) FIELD_LOC_KIND (TYPE_FIELD (thistype, n))
1510#define TYPE_FIELD_BITPOS(thistype, n) FIELD_BITPOS (TYPE_FIELD (thistype, n))
14e75d8e 1511#define TYPE_FIELD_ENUMVAL(thistype, n) FIELD_ENUMVAL (TYPE_FIELD (thistype, n))
d6a843b5
JK
1512#define TYPE_FIELD_STATIC_PHYSNAME(thistype, n) FIELD_STATIC_PHYSNAME (TYPE_FIELD (thistype, n))
1513#define TYPE_FIELD_STATIC_PHYSADDR(thistype, n) FIELD_STATIC_PHYSADDR (TYPE_FIELD (thistype, n))
8e3b41a9 1514#define TYPE_FIELD_DWARF_BLOCK(thistype, n) FIELD_DWARF_BLOCK (TYPE_FIELD (thistype, n))
8176bb6d 1515#define TYPE_FIELD_ARTIFICIAL(thistype, n) FIELD_ARTIFICIAL(TYPE_FIELD(thistype,n))
c906108c
SS
1516#define TYPE_FIELD_BITSIZE(thistype, n) FIELD_BITSIZE(TYPE_FIELD(thistype,n))
1517#define TYPE_FIELD_PACKED(thistype, n) (FIELD_BITSIZE(TYPE_FIELD(thistype,n))!=0)
c906108c
SS
1518
1519#define TYPE_FIELD_PRIVATE_BITS(thistype) \
1520 TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits
1521#define TYPE_FIELD_PROTECTED_BITS(thistype) \
1522 TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits
1523#define TYPE_FIELD_IGNORE_BITS(thistype) \
1524 TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits
1525#define TYPE_FIELD_VIRTUAL_BITS(thistype) \
1526 TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits
1527#define SET_TYPE_FIELD_PRIVATE(thistype, n) \
1528 B_SET (TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits, (n))
1529#define SET_TYPE_FIELD_PROTECTED(thistype, n) \
1530 B_SET (TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits, (n))
1531#define SET_TYPE_FIELD_IGNORE(thistype, n) \
1532 B_SET (TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits, (n))
1533#define SET_TYPE_FIELD_VIRTUAL(thistype, n) \
1534 B_SET (TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits, (n))
1535#define TYPE_FIELD_PRIVATE(thistype, n) \
1536 (TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits == NULL ? 0 \
1537 : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits, (n)))
1538#define TYPE_FIELD_PROTECTED(thistype, n) \
1539 (TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits == NULL ? 0 \
1540 : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits, (n)))
1541#define TYPE_FIELD_IGNORE(thistype, n) \
1542 (TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits == NULL ? 0 \
1543 : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits, (n)))
1544#define TYPE_FIELD_VIRTUAL(thistype, n) \
1545 (TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits == NULL ? 0 \
1546 : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits, (n)))
1547
c906108c
SS
1548#define TYPE_FN_FIELDLISTS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists
1549#define TYPE_FN_FIELDLIST(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n]
1550#define TYPE_FN_FIELDLIST1(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n].fn_fields
1551#define TYPE_FN_FIELDLIST_NAME(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n].name
1552#define TYPE_FN_FIELDLIST_LENGTH(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n].length
1553
34eaf542
TT
1554#define TYPE_N_TEMPLATE_ARGUMENTS(thistype) \
1555 TYPE_CPLUS_SPECIFIC (thistype)->n_template_arguments
1556#define TYPE_TEMPLATE_ARGUMENTS(thistype) \
1557 TYPE_CPLUS_SPECIFIC (thistype)->template_arguments
1558#define TYPE_TEMPLATE_ARGUMENT(thistype, n) \
1559 TYPE_CPLUS_SPECIFIC (thistype)->template_arguments[n]
1560
c906108c
SS
1561#define TYPE_FN_FIELD(thisfn, n) (thisfn)[n]
1562#define TYPE_FN_FIELD_PHYSNAME(thisfn, n) (thisfn)[n].physname
1563#define TYPE_FN_FIELD_TYPE(thisfn, n) (thisfn)[n].type
ad2f7632 1564#define TYPE_FN_FIELD_ARGS(thisfn, n) TYPE_FIELDS ((thisfn)[n].type)
c906108c
SS
1565#define TYPE_FN_FIELD_CONST(thisfn, n) ((thisfn)[n].is_const)
1566#define TYPE_FN_FIELD_VOLATILE(thisfn, n) ((thisfn)[n].is_volatile)
1567#define TYPE_FN_FIELD_PRIVATE(thisfn, n) ((thisfn)[n].is_private)
1568#define TYPE_FN_FIELD_PROTECTED(thisfn, n) ((thisfn)[n].is_protected)
b02dede2 1569#define TYPE_FN_FIELD_ARTIFICIAL(thisfn, n) ((thisfn)[n].is_artificial)
c906108c 1570#define TYPE_FN_FIELD_STUB(thisfn, n) ((thisfn)[n].is_stub)
7d27a96d 1571#define TYPE_FN_FIELD_CONSTRUCTOR(thisfn, n) ((thisfn)[n].is_constructor)
c906108c
SS
1572#define TYPE_FN_FIELD_FCONTEXT(thisfn, n) ((thisfn)[n].fcontext)
1573#define TYPE_FN_FIELD_VOFFSET(thisfn, n) ((thisfn)[n].voffset-2)
1574#define TYPE_FN_FIELD_VIRTUAL_P(thisfn, n) ((thisfn)[n].voffset > 1)
1575#define TYPE_FN_FIELD_STATIC_P(thisfn, n) ((thisfn)[n].voffset == VOFFSET_STATIC)
e35000a7
TBA
1576#define TYPE_FN_FIELD_DEFAULTED(thisfn, n) ((thisfn)[n].defaulted)
1577#define TYPE_FN_FIELD_DELETED(thisfn, n) ((thisfn)[n].is_deleted)
c906108c 1578
c191a687 1579/* Accessors for typedefs defined by a class. */
98751a41
JK
1580#define TYPE_TYPEDEF_FIELD_ARRAY(thistype) \
1581 TYPE_CPLUS_SPECIFIC (thistype)->typedef_field
1582#define TYPE_TYPEDEF_FIELD(thistype, n) \
1583 TYPE_CPLUS_SPECIFIC (thistype)->typedef_field[n]
1584#define TYPE_TYPEDEF_FIELD_NAME(thistype, n) \
1585 TYPE_TYPEDEF_FIELD (thistype, n).name
1586#define TYPE_TYPEDEF_FIELD_TYPE(thistype, n) \
1587 TYPE_TYPEDEF_FIELD (thistype, n).type
1588#define TYPE_TYPEDEF_FIELD_COUNT(thistype) \
1589 TYPE_CPLUS_SPECIFIC (thistype)->typedef_field_count
c191a687
KS
1590#define TYPE_TYPEDEF_FIELD_PROTECTED(thistype, n) \
1591 TYPE_TYPEDEF_FIELD (thistype, n).is_protected
1592#define TYPE_TYPEDEF_FIELD_PRIVATE(thistype, n) \
1593 TYPE_TYPEDEF_FIELD (thistype, n).is_private
98751a41 1594
883fd55a
KS
1595#define TYPE_NESTED_TYPES_ARRAY(thistype) \
1596 TYPE_CPLUS_SPECIFIC (thistype)->nested_types
1597#define TYPE_NESTED_TYPES_FIELD(thistype, n) \
1598 TYPE_CPLUS_SPECIFIC (thistype)->nested_types[n]
1599#define TYPE_NESTED_TYPES_FIELD_NAME(thistype, n) \
1600 TYPE_NESTED_TYPES_FIELD (thistype, n).name
1601#define TYPE_NESTED_TYPES_FIELD_TYPE(thistype, n) \
1602 TYPE_NESTED_TYPES_FIELD (thistype, n).type
1603#define TYPE_NESTED_TYPES_COUNT(thistype) \
1604 TYPE_CPLUS_SPECIFIC (thistype)->nested_types_count
1605#define TYPE_NESTED_TYPES_FIELD_PROTECTED(thistype, n) \
1606 TYPE_NESTED_TYPES_FIELD (thistype, n).is_protected
1607#define TYPE_NESTED_TYPES_FIELD_PRIVATE(thistype, n) \
1608 TYPE_NESTED_TYPES_FIELD (thistype, n).is_private
1609
4e4666e6
DE
1610#define TYPE_IS_OPAQUE(thistype) \
1611 (((TYPE_CODE (thistype) == TYPE_CODE_STRUCT) \
1612 || (TYPE_CODE (thistype) == TYPE_CODE_UNION)) \
1613 && (TYPE_NFIELDS (thistype) == 0) \
1614 && (!HAVE_CPLUS_STRUCT (thistype) \
1615 || TYPE_NFN_FIELDS (thistype) == 0) \
1616 && (TYPE_STUB (thistype) || !TYPE_STUB_SUPPORTED (thistype)))
c5aa993b 1617
5e3a2c38
SS
1618/* * A helper macro that returns the name of a type or "unnamed type"
1619 if the type has no name. */
1620
0a07729b
TT
1621#define TYPE_SAFE_NAME(type) \
1622 (TYPE_NAME (type) ? TYPE_NAME (type) : _("<unnamed type>"))
1623
5e3a2c38
SS
1624/* * A helper macro that returns the name of an error type. If the
1625 type has a name, it is used; otherwise, a default is used. */
1626
b00fdb78
TT
1627#define TYPE_ERROR_NAME(type) \
1628 (TYPE_NAME (type) ? TYPE_NAME (type) : _("<error type>"))
1629
0db7851f
UW
1630/* Given TYPE, return its floatformat. */
1631const struct floatformat *floatformat_from_type (const struct type *type);
1632
000177f0
AC
1633struct builtin_type
1634{
46bf5051
UW
1635 /* Integral types. */
1636
b021a221 1637 /* Implicit size/sign (based on the architecture's ABI). */
46bf5051
UW
1638 struct type *builtin_void;
1639 struct type *builtin_char;
1640 struct type *builtin_short;
1641 struct type *builtin_int;
1642 struct type *builtin_long;
1643 struct type *builtin_signed_char;
1644 struct type *builtin_unsigned_char;
1645 struct type *builtin_unsigned_short;
1646 struct type *builtin_unsigned_int;
1647 struct type *builtin_unsigned_long;
a6d0f249 1648 struct type *builtin_half;
46bf5051
UW
1649 struct type *builtin_float;
1650 struct type *builtin_double;
1651 struct type *builtin_long_double;
1652 struct type *builtin_complex;
1653 struct type *builtin_double_complex;
1654 struct type *builtin_string;
1655 struct type *builtin_bool;
1656 struct type *builtin_long_long;
1657 struct type *builtin_unsigned_long_long;
1658 struct type *builtin_decfloat;
1659 struct type *builtin_decdouble;
1660 struct type *builtin_declong;
1661
69feb676
UW
1662 /* "True" character types.
1663 We use these for the '/c' print format, because c_char is just a
1664 one-byte integral type, which languages less laid back than C
1665 will print as ... well, a one-byte integral type. */
1666 struct type *builtin_true_char;
1667 struct type *builtin_true_unsigned_char;
1668
df4df182
UW
1669 /* Explicit sizes - see C9X <intypes.h> for naming scheme. The "int0"
1670 is for when an architecture needs to describe a register that has
1671 no size. */
1672 struct type *builtin_int0;
1673 struct type *builtin_int8;
1674 struct type *builtin_uint8;
1675 struct type *builtin_int16;
1676 struct type *builtin_uint16;
d1908f2d
JD
1677 struct type *builtin_int24;
1678 struct type *builtin_uint24;
df4df182
UW
1679 struct type *builtin_int32;
1680 struct type *builtin_uint32;
1681 struct type *builtin_int64;
1682 struct type *builtin_uint64;
1683 struct type *builtin_int128;
1684 struct type *builtin_uint128;
1685
9a22f0d0
PM
1686 /* Wide character types. */
1687 struct type *builtin_char16;
1688 struct type *builtin_char32;
53375380 1689 struct type *builtin_wchar;
46bf5051
UW
1690
1691 /* Pointer types. */
000177f0 1692
5e3a2c38 1693 /* * `pointer to data' type. Some target platforms use an implicitly
000177f0
AC
1694 {sign,zero} -extended 32-bit ABI pointer on a 64-bit ISA. */
1695 struct type *builtin_data_ptr;
1696
5e3a2c38 1697 /* * `pointer to function (returning void)' type. Harvard
000177f0
AC
1698 architectures mean that ABI function and code pointers are not
1699 interconvertible. Similarly, since ANSI, C standards have
1700 explicitly said that pointers to functions and pointers to data
1701 are not interconvertible --- that is, you can't cast a function
1702 pointer to void * and back, and expect to get the same value.
1703 However, all function pointer types are interconvertible, so void
1704 (*) () can server as a generic function pointer. */
5e3a2c38 1705
000177f0 1706 struct type *builtin_func_ptr;
78267919 1707
5e3a2c38 1708 /* * `function returning pointer to function (returning void)' type.
0875794a 1709 The final void return type is not significant for it. */
0875794a 1710
5e3a2c38 1711 struct type *builtin_func_func;
78267919
UW
1712
1713 /* Special-purpose types. */
1714
5e3a2c38
SS
1715 /* * This type is used to represent a GDB internal function. */
1716
78267919 1717 struct type *internal_fn;
e81e7f5e
SC
1718
1719 /* * This type is used to represent an xmethod. */
1720 struct type *xmethod;
46bf5051 1721};
000177f0 1722
5e3a2c38 1723/* * Return the type table for the specified architecture. */
64c50499 1724
5e3a2c38 1725extern const struct builtin_type *builtin_type (struct gdbarch *gdbarch);
64c50499 1726
5e3a2c38 1727/* * Per-objfile types used by symbol readers. */
000177f0 1728
46bf5051
UW
1729struct objfile_type
1730{
1731 /* Basic types based on the objfile architecture. */
000177f0
AC
1732 struct type *builtin_void;
1733 struct type *builtin_char;
1734 struct type *builtin_short;
1735 struct type *builtin_int;
1736 struct type *builtin_long;
46bf5051 1737 struct type *builtin_long_long;
000177f0
AC
1738 struct type *builtin_signed_char;
1739 struct type *builtin_unsigned_char;
1740 struct type *builtin_unsigned_short;
1741 struct type *builtin_unsigned_int;
1742 struct type *builtin_unsigned_long;
46bf5051 1743 struct type *builtin_unsigned_long_long;
a6d0f249 1744 struct type *builtin_half;
000177f0
AC
1745 struct type *builtin_float;
1746 struct type *builtin_double;
1747 struct type *builtin_long_double;
46bf5051 1748
5e3a2c38 1749 /* * This type is used to represent symbol addresses. */
46bf5051
UW
1750 struct type *builtin_core_addr;
1751
5e3a2c38
SS
1752 /* * This type represents a type that was unrecognized in symbol
1753 read-in. */
46bf5051
UW
1754 struct type *builtin_error;
1755
5e3a2c38 1756 /* * Types used for symbols with no debug information. */
46bf5051 1757 struct type *nodebug_text_symbol;
0875794a
JK
1758 struct type *nodebug_text_gnu_ifunc_symbol;
1759 struct type *nodebug_got_plt_symbol;
46bf5051
UW
1760 struct type *nodebug_data_symbol;
1761 struct type *nodebug_unknown_symbol;
1762 struct type *nodebug_tls_symbol;
000177f0 1763};
c5aa993b 1764
5e3a2c38 1765/* * Return the type table for the specified objfile. */
c5aa993b 1766
5e3a2c38 1767extern const struct objfile_type *objfile_type (struct objfile *objfile);
5674de60 1768
598f52df 1769/* Explicit floating-point formats. See "floatformat.h". */
f9e9243a 1770extern const struct floatformat *floatformats_ieee_half[BFD_ENDIAN_UNKNOWN];
8da61cc4
DJ
1771extern const struct floatformat *floatformats_ieee_single[BFD_ENDIAN_UNKNOWN];
1772extern const struct floatformat *floatformats_ieee_double[BFD_ENDIAN_UNKNOWN];
1773extern const struct floatformat *floatformats_ieee_double_littlebyte_bigword[BFD_ENDIAN_UNKNOWN];
1774extern const struct floatformat *floatformats_i387_ext[BFD_ENDIAN_UNKNOWN];
1775extern const struct floatformat *floatformats_m68881_ext[BFD_ENDIAN_UNKNOWN];
1776extern const struct floatformat *floatformats_arm_ext[BFD_ENDIAN_UNKNOWN];
1777extern const struct floatformat *floatformats_ia64_spill[BFD_ENDIAN_UNKNOWN];
1778extern const struct floatformat *floatformats_ia64_quad[BFD_ENDIAN_UNKNOWN];
1779extern const struct floatformat *floatformats_vax_f[BFD_ENDIAN_UNKNOWN];
1780extern const struct floatformat *floatformats_vax_d[BFD_ENDIAN_UNKNOWN];
b14d30e1 1781extern const struct floatformat *floatformats_ibm_long_double[BFD_ENDIAN_UNKNOWN];
8da61cc4 1782
fde6c819 1783
2fabdf33 1784/* Allocate space for storing data associated with a particular
5e3a2c38
SS
1785 type. We ensure that the space is allocated using the same
1786 mechanism that was used to allocate the space for the type
1787 structure itself. I.e. if the type is on an objfile's
1788 objfile_obstack, then the space for data associated with that type
2fabdf33
AB
1789 will also be allocated on the objfile_obstack. If the type is
1790 associated with a gdbarch, then the space for data associated with that
1791 type will also be allocated on the gdbarch_obstack.
1792
1793 If a type is not associated with neither an objfile or a gdbarch then
1794 you should not use this macro to allocate space for data, instead you
1795 should call xmalloc directly, and ensure the memory is correctly freed
1796 when it is no longer needed. */
1797
1798#define TYPE_ALLOC(t,size) \
1799 (obstack_alloc ((TYPE_OBJFILE_OWNED (t) \
1800 ? &TYPE_OBJFILE (t)->objfile_obstack \
1801 : gdbarch_obstack (TYPE_OWNER (t).gdbarch)), \
1802 size))
1803
1804
1805/* See comment on TYPE_ALLOC. */
1806
1807#define TYPE_ZALLOC(t,size) (memset (TYPE_ALLOC (t, size), 0, size))
ae5a43e0 1808
5e3a2c38
SS
1809/* Use alloc_type to allocate a type owned by an objfile. Use
1810 alloc_type_arch to allocate a type owned by an architecture. Use
1811 alloc_type_copy to allocate a type with the same owner as a
1812 pre-existing template type, no matter whether objfile or
1813 gdbarch. */
a14ed312 1814extern struct type *alloc_type (struct objfile *);
e9bb382b
UW
1815extern struct type *alloc_type_arch (struct gdbarch *);
1816extern struct type *alloc_type_copy (const struct type *);
c906108c 1817
5e3a2c38
SS
1818/* * Return the type's architecture. For types owned by an
1819 architecture, that architecture is returned. For types owned by an
1820 objfile, that objfile's architecture is returned. */
1821
e9bb382b
UW
1822extern struct gdbarch *get_type_arch (const struct type *);
1823
5e3a2c38 1824/* * This returns the target type (or NULL) of TYPE, also skipping
99ad9427 1825 past typedefs. */
5e3a2c38 1826
99ad9427
YQ
1827extern struct type *get_target_type (struct type *type);
1828
2e056931
SM
1829/* Return the equivalent of TYPE_LENGTH, but in number of target
1830 addressable memory units of the associated gdbarch instead of bytes. */
1831
1832extern unsigned int type_length_units (struct type *type);
1833
5e3a2c38
SS
1834/* * Helper function to construct objfile-owned types. */
1835
19f392bc
UW
1836extern struct type *init_type (struct objfile *, enum type_code, int,
1837 const char *);
1838extern struct type *init_integer_type (struct objfile *, int, int,
1839 const char *);
1840extern struct type *init_character_type (struct objfile *, int, int,
1841 const char *);
1842extern struct type *init_boolean_type (struct objfile *, int, int,
1843 const char *);
1844extern struct type *init_float_type (struct objfile *, int, const char *,
103a685e
TT
1845 const struct floatformat **,
1846 enum bfd_endian = BFD_ENDIAN_UNKNOWN);
19f392bc 1847extern struct type *init_decfloat_type (struct objfile *, int, const char *);
5b930b45 1848extern struct type *init_complex_type (const char *, struct type *);
19f392bc
UW
1849extern struct type *init_pointer_type (struct objfile *, int, const char *,
1850 struct type *);
c906108c 1851
e9bb382b 1852/* Helper functions to construct architecture-owned types. */
695bfa52
TT
1853extern struct type *arch_type (struct gdbarch *, enum type_code, int,
1854 const char *);
1855extern struct type *arch_integer_type (struct gdbarch *, int, int,
1856 const char *);
1857extern struct type *arch_character_type (struct gdbarch *, int, int,
1858 const char *);
1859extern struct type *arch_boolean_type (struct gdbarch *, int, int,
1860 const char *);
1861extern struct type *arch_float_type (struct gdbarch *, int, const char *,
e9bb382b 1862 const struct floatformat **);
88dfca6c 1863extern struct type *arch_decfloat_type (struct gdbarch *, int, const char *);
88dfca6c
UW
1864extern struct type *arch_pointer_type (struct gdbarch *, int, const char *,
1865 struct type *);
e9bb382b 1866
0e101458 1867/* Helper functions to construct a struct or record type. An
e9bb382b 1868 initially empty type is created using arch_composite_type().
eb90ce83 1869 Fields are then added using append_composite_type_field*(). A union
0e101458
AC
1870 type has its size set to the largest field. A struct type has each
1871 field packed against the previous. */
1872
e9bb382b 1873extern struct type *arch_composite_type (struct gdbarch *gdbarch,
695bfa52
TT
1874 const char *name, enum type_code code);
1875extern void append_composite_type_field (struct type *t, const char *name,
0e101458 1876 struct type *field);
4aa995e1 1877extern void append_composite_type_field_aligned (struct type *t,
695bfa52 1878 const char *name,
4aa995e1
PA
1879 struct type *field,
1880 int alignment);
695bfa52 1881struct field *append_composite_type_field_raw (struct type *t, const char *name,
f5dff777 1882 struct type *field);
0e101458 1883
4f2aea11 1884/* Helper functions to construct a bit flags type. An initially empty
e9bb382b 1885 type is created using arch_flag_type(). Flags are then added using
81516450 1886 append_flag_type_field() and append_flag_type_flag(). */
e9bb382b 1887extern struct type *arch_flags_type (struct gdbarch *gdbarch,
77b7c781 1888 const char *name, int bit);
81516450
DE
1889extern void append_flags_type_field (struct type *type,
1890 int start_bitpos, int nr_bits,
695bfa52
TT
1891 struct type *field_type, const char *name);
1892extern void append_flags_type_flag (struct type *type, int bitpos,
1893 const char *name);
4f2aea11 1894
ea37ba09 1895extern void make_vector_type (struct type *array_type);
794ac428
UW
1896extern struct type *init_vector_type (struct type *elt_type, int n);
1897
3b224330
AV
1898extern struct type *lookup_reference_type (struct type *, enum type_code);
1899extern struct type *lookup_lvalue_reference_type (struct type *);
1900extern struct type *lookup_rvalue_reference_type (struct type *);
c906108c 1901
3b224330
AV
1902
1903extern struct type *make_reference_type (struct type *, struct type **,
1904 enum type_code);
c906108c 1905
a14ed312 1906extern struct type *make_cv_type (int, int, struct type *, struct type **);
c906108c 1907
06d66ee9
TT
1908extern struct type *make_restrict_type (struct type *);
1909
f1660027
TT
1910extern struct type *make_unqualified_type (struct type *);
1911
a2c2acaf
MW
1912extern struct type *make_atomic_type (struct type *);
1913
dd6bda65
DJ
1914extern void replace_type (struct type *, struct type *);
1915
61f4b350 1916extern int address_space_name_to_int (struct gdbarch *, const char *);
47663de5 1917
50810684 1918extern const char *address_space_int_to_name (struct gdbarch *, int);
47663de5
MS
1919
1920extern struct type *make_type_with_address_space (struct type *type,
1921 int space_identifier);
1922
0d5de010
DJ
1923extern struct type *lookup_memberptr_type (struct type *, struct type *);
1924
1925extern struct type *lookup_methodptr_type (struct type *);
c906108c 1926
09e2d7c7 1927extern void smash_to_method_type (struct type *type, struct type *self_type,
0d5de010
DJ
1928 struct type *to_type, struct field *args,
1929 int nargs, int varargs);
c906108c 1930
0d5de010
DJ
1931extern void smash_to_memberptr_type (struct type *, struct type *,
1932 struct type *);
c906108c 1933
0b92b5bb
TT
1934extern void smash_to_methodptr_type (struct type *, struct type *);
1935
a14ed312 1936extern struct type *allocate_stub_method (struct type *);
c906108c 1937
a737d952 1938extern const char *type_name_or_error (struct type *type);
d8228535 1939
ef0bd204
JB
1940struct struct_elt
1941{
1942 /* The field of the element, or NULL if no element was found. */
1943 struct field *field;
1944
1945 /* The bit offset of the element in the parent structure. */
1946 LONGEST offset;
1947};
1948
1949/* Given a type TYPE, lookup the field and offset of the component named
1950 NAME.
1951
1952 TYPE can be either a struct or union, or a pointer or reference to
1953 a struct or union. If it is a pointer or reference, its target
1954 type is automatically used. Thus '.' and '->' are interchangable,
1955 as specified for the definitions of the expression element types
1956 STRUCTOP_STRUCT and STRUCTOP_PTR.
1957
1958 If NOERR is nonzero, the returned structure will have field set to
1959 NULL if there is no component named NAME.
1960
1961 If the component NAME is a field in an anonymous substructure of
1962 TYPE, the returned offset is a "global" offset relative to TYPE
1963 rather than an offset within the substructure. */
1964
1965extern struct_elt lookup_struct_elt (struct type *, const char *, int);
1966
1967/* Given a type TYPE, lookup the type of the component named NAME.
1968
1969 TYPE can be either a struct or union, or a pointer or reference to
1970 a struct or union. If it is a pointer or reference, its target
1971 type is automatically used. Thus '.' and '->' are interchangable,
1972 as specified for the definitions of the expression element types
1973 STRUCTOP_STRUCT and STRUCTOP_PTR.
1974
1975 If NOERR is nonzero, return NULL if there is no component named
1976 NAME. */
1977
d7561cbb 1978extern struct type *lookup_struct_elt_type (struct type *, const char *, int);
c906108c 1979
a14ed312 1980extern struct type *make_pointer_type (struct type *, struct type **);
c906108c 1981
a14ed312 1982extern struct type *lookup_pointer_type (struct type *);
c906108c 1983
0c8b41f1 1984extern struct type *make_function_type (struct type *, struct type **);
c906108c 1985
a14ed312 1986extern struct type *lookup_function_type (struct type *);
c906108c 1987
71918a86
TT
1988extern struct type *lookup_function_type_with_arguments (struct type *,
1989 int,
1990 struct type **);
1991
0c9c3474
SA
1992extern struct type *create_static_range_type (struct type *, struct type *,
1993 LONGEST, LONGEST);
c906108c 1994
729efb13 1995
dc53a7ad 1996extern struct type *create_array_type_with_stride
a405673c
JB
1997 (struct type *, struct type *, struct type *,
1998 struct dynamic_prop *, unsigned int);
dc53a7ad 1999
729efb13
SA
2000extern struct type *create_range_type (struct type *, struct type *,
2001 const struct dynamic_prop *,
4e962e74
TT
2002 const struct dynamic_prop *,
2003 LONGEST);
729efb13 2004
5bbd8269
AB
2005/* Like CREATE_RANGE_TYPE but also sets up a stride. When BYTE_STRIDE_P
2006 is true the value in STRIDE is a byte stride, otherwise STRIDE is a bit
2007 stride. */
2008
2009extern struct type * create_range_type_with_stride
2010 (struct type *result_type, struct type *index_type,
2011 const struct dynamic_prop *low_bound,
2012 const struct dynamic_prop *high_bound, LONGEST bias,
2013 const struct dynamic_prop *stride, bool byte_stride_p);
2014
a14ed312
KB
2015extern struct type *create_array_type (struct type *, struct type *,
2016 struct type *);
dc53a7ad 2017
63375b74 2018extern struct type *lookup_array_range_type (struct type *, LONGEST, LONGEST);
c906108c 2019
3b7538c0
UW
2020extern struct type *create_string_type (struct type *, struct type *,
2021 struct type *);
63375b74 2022extern struct type *lookup_string_range_type (struct type *, LONGEST, LONGEST);
c906108c 2023
a14ed312 2024extern struct type *create_set_type (struct type *, struct type *);
c906108c 2025
e6c014f2 2026extern struct type *lookup_unsigned_typename (const struct language_defn *,
b858499d 2027 const char *);
c906108c 2028
e6c014f2 2029extern struct type *lookup_signed_typename (const struct language_defn *,
b858499d 2030 const char *);
c906108c 2031
ed3ef339
DE
2032extern void get_unsigned_type_max (struct type *, ULONGEST *);
2033
2034extern void get_signed_type_minmax (struct type *, LONGEST *, LONGEST *);
2035
80180f79
SA
2036/* * Resolve all dynamic values of a type e.g. array bounds to static values.
2037 ADDR specifies the location of the variable the type is bound to.
2038 If TYPE has no dynamic properties return TYPE; otherwise a new type with
2039 static properties is returned. */
c3345124
JB
2040extern struct type *resolve_dynamic_type (struct type *type,
2041 const gdb_byte *valaddr,
2042 CORE_ADDR addr);
80180f79
SA
2043
2044/* * Predicate if the type has dynamic values, which are not resolved yet. */
2045extern int is_dynamic_type (struct type *type);
2046
d9823cbb
KB
2047/* * Return the dynamic property of the requested KIND from TYPE's
2048 list of dynamic properties. */
2049extern struct dynamic_prop *get_dyn_prop
2050 (enum dynamic_prop_node_kind kind, const struct type *type);
2051
2052/* * Given a dynamic property PROP of a given KIND, add this dynamic
2053 property to the given TYPE.
2054
50a82047 2055 This function assumes that TYPE is objfile-owned. */
d9823cbb
KB
2056extern void add_dyn_prop
2057 (enum dynamic_prop_node_kind kind, struct dynamic_prop prop,
50a82047 2058 struct type *type);
d9823cbb 2059
9920b434
BH
2060extern void remove_dyn_prop (enum dynamic_prop_node_kind prop_kind,
2061 struct type *type);
2062
a14ed312 2063extern struct type *check_typedef (struct type *);
c906108c 2064
de17c821 2065extern void check_stub_method_group (struct type *, int);
c906108c 2066
a14ed312 2067extern char *gdb_mangle_name (struct type *, int, int);
c906108c 2068
e6c014f2 2069extern struct type *lookup_typename (const struct language_defn *,
b858499d 2070 const char *, const struct block *, int);
c906108c 2071
61f4b350 2072extern struct type *lookup_template_type (const char *, struct type *,
270140bd 2073 const struct block *);
c906108c 2074
81fe8080 2075extern int get_vptr_fieldno (struct type *, struct type **);
c906108c 2076
a14ed312 2077extern int get_discrete_bounds (struct type *, LONGEST *, LONGEST *);
c906108c 2078
dbc98a8b
KW
2079extern int get_array_bounds (struct type *type, LONGEST *low_bound,
2080 LONGEST *high_bound);
2081
aa715135
JG
2082extern int discrete_position (struct type *type, LONGEST val, LONGEST *pos);
2083
4e8f195d
TT
2084extern int class_types_same_p (const struct type *, const struct type *);
2085
a14ed312 2086extern int is_ancestor (struct type *, struct type *);
c906108c 2087
4e8f195d
TT
2088extern int is_public_ancestor (struct type *, struct type *);
2089
2090extern int is_unique_ancestor (struct type *, struct value *);
2091
c906108c
SS
2092/* Overload resolution */
2093
5e3a2c38 2094/* * Badness if parameter list length doesn't match arg list length. */
6403aeea
SW
2095extern const struct rank LENGTH_MISMATCH_BADNESS;
2096
5e3a2c38 2097/* * Dummy badness value for nonexistent parameter positions. */
6403aeea 2098extern const struct rank TOO_FEW_PARAMS_BADNESS;
5e3a2c38 2099/* * Badness if no conversion among types. */
6403aeea
SW
2100extern const struct rank INCOMPATIBLE_TYPE_BADNESS;
2101
5e3a2c38 2102/* * Badness of an exact match. */
6403aeea 2103extern const struct rank EXACT_MATCH_BADNESS;
c906108c 2104
5e3a2c38 2105/* * Badness of integral promotion. */
6403aeea 2106extern const struct rank INTEGER_PROMOTION_BADNESS;
5e3a2c38 2107/* * Badness of floating promotion. */
6403aeea 2108extern const struct rank FLOAT_PROMOTION_BADNESS;
5e3a2c38 2109/* * Badness of converting a derived class pointer
7062b0a0 2110 to a base class pointer. */
6403aeea 2111extern const struct rank BASE_PTR_CONVERSION_BADNESS;
5e3a2c38 2112/* * Badness of integral conversion. */
6403aeea 2113extern const struct rank INTEGER_CONVERSION_BADNESS;
5e3a2c38 2114/* * Badness of floating conversion. */
6403aeea 2115extern const struct rank FLOAT_CONVERSION_BADNESS;
5e3a2c38 2116/* * Badness of integer<->floating conversions. */
6403aeea 2117extern const struct rank INT_FLOAT_CONVERSION_BADNESS;
5e3a2c38 2118/* * Badness of conversion of pointer to void pointer. */
6403aeea 2119extern const struct rank VOID_PTR_CONVERSION_BADNESS;
5e3a2c38 2120/* * Badness of conversion to boolean. */
5b4f6e25 2121extern const struct rank BOOL_CONVERSION_BADNESS;
5e3a2c38 2122/* * Badness of converting derived to base class. */
6403aeea 2123extern const struct rank BASE_CONVERSION_BADNESS;
e15c3eb4
KS
2124/* * Badness of converting from non-reference to reference. Subrank
2125 is the type of reference conversion being done. */
6403aeea 2126extern const struct rank REFERENCE_CONVERSION_BADNESS;
06acc08f 2127extern const struct rank REFERENCE_SEE_THROUGH_BADNESS;
e15c3eb4
KS
2128/* * Conversion to rvalue reference. */
2129#define REFERENCE_CONVERSION_RVALUE 1
2130/* * Conversion to const lvalue reference. */
2131#define REFERENCE_CONVERSION_CONST_LVALUE 2
2132
5e3a2c38 2133/* * Badness of converting integer 0 to NULL pointer. */
da096638 2134extern const struct rank NULL_POINTER_CONVERSION;
e15c3eb4
KS
2135/* * Badness of cv-conversion. Subrank is a flag describing the conversions
2136 being done. */
2137extern const struct rank CV_CONVERSION_BADNESS;
2138#define CV_CONVERSION_CONST 1
2139#define CV_CONVERSION_VOLATILE 2
7b83ea04 2140
c906108c 2141/* Non-standard conversions allowed by the debugger */
5e3a2c38
SS
2142
2143/* * Converting a pointer to an int is usually OK. */
6403aeea
SW
2144extern const struct rank NS_POINTER_CONVERSION_BADNESS;
2145
5e3a2c38 2146/* * Badness of converting a (non-zero) integer constant
a451cb65
KS
2147 to a pointer. */
2148extern const struct rank NS_INTEGER_POINTER_CONVERSION_BADNESS;
c906108c 2149
6403aeea
SW
2150extern struct rank sum_ranks (struct rank a, struct rank b);
2151extern int compare_ranks (struct rank a, struct rank b);
c906108c 2152
82ceee50
PA
2153extern int compare_badness (const badness_vector &,
2154 const badness_vector &);
c906108c 2155
82ceee50
PA
2156extern badness_vector rank_function (gdb::array_view<type *> parms,
2157 gdb::array_view<value *> args);
c906108c 2158
da096638
KS
2159extern struct rank rank_one_type (struct type *, struct type *,
2160 struct value *);
c906108c 2161
a14ed312 2162extern void recursive_dump_type (struct type *, int);
c906108c 2163
d6a843b5
JK
2164extern int field_is_static (struct field *);
2165
c906108c
SS
2166/* printcmd.c */
2167
7c543f7b 2168extern void print_scalar_formatted (const gdb_byte *, struct type *,
79a45b7d
TT
2169 const struct value_print_options *,
2170 int, struct ui_file *);
c906108c 2171
a14ed312 2172extern int can_dereference (struct type *);
c906108c 2173
a14ed312 2174extern int is_integral_type (struct type *);
adf40b2e 2175
70100014
UW
2176extern int is_floating_type (struct type *);
2177
220475ed
JB
2178extern int is_scalar_type (struct type *type);
2179
e09342b5
TJB
2180extern int is_scalar_type_recursive (struct type *);
2181
6c659fc2
SC
2182extern int class_or_union_p (const struct type *);
2183
58971144 2184extern void maintenance_print_type (const char *, int);
c906108c 2185
ae5a43e0
DJ
2186extern htab_t create_copied_types_hash (struct objfile *objfile);
2187
2188extern struct type *copy_type_recursive (struct objfile *objfile,
2189 struct type *type,
2190 htab_t copied_types);
2191
4af88198
JB
2192extern struct type *copy_type (const struct type *type);
2193
894882e3 2194extern bool types_equal (struct type *, struct type *);
bd69fc68 2195
894882e3 2196extern bool types_deeply_equal (struct type *, struct type *);
ca092b61 2197
3f2f83dd
KB
2198extern int type_not_allocated (const struct type *type);
2199
2200extern int type_not_associated (const struct type *type);
2201
34877895
PJ
2202/* * When the type includes explicit byte ordering, return that.
2203 Otherwise, the byte ordering from gdbarch_byte_order for
2204 get_type_arch is returned. */
2205
2206extern enum bfd_endian type_byte_order (const struct type *type);
2207
79bb1944
CB
2208/* A flag to enable printing of debugging information of C++
2209 overloading. */
2210
2211extern unsigned int overload_debug;
2212
c5aa993b 2213#endif /* GDBTYPES_H */
This page took 2.018081 seconds and 4 git commands to generate.