Commit | Line | Data |
---|---|---|
c906108c | 1 | /* Internal type definitions for GDB. |
1bac305b | 2 | |
6aba47ca | 3 | Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, |
4c38e0a4 JB |
4 | 2002, 2003, 2004, 2006, 2007, 2008, 2009, 2010 |
5 | Free Software Foundation, Inc. | |
1bac305b | 6 | |
c906108c SS |
7 | Contributed by Cygnus Support, using pieces from other GDB modules. |
8 | ||
c5aa993b | 9 | This file is part of GDB. |
c906108c | 10 | |
c5aa993b JM |
11 | This program is free software; you can redistribute it and/or modify |
12 | it under the terms of the GNU General Public License as published by | |
a9762ec7 | 13 | the Free Software Foundation; either version 3 of the License, or |
c5aa993b | 14 | (at your option) any later version. |
c906108c | 15 | |
c5aa993b JM |
16 | This program is distributed in the hope that it will be useful, |
17 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
18 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
19 | GNU General Public License for more details. | |
c906108c | 20 | |
c5aa993b | 21 | You should have received a copy of the GNU General Public License |
a9762ec7 | 22 | along with this program. If not, see <http://www.gnu.org/licenses/>. */ |
c906108c SS |
23 | |
24 | #if !defined (GDBTYPES_H) | |
25 | #define GDBTYPES_H 1 | |
26 | ||
ae5a43e0 DJ |
27 | #include "hashtab.h" |
28 | ||
7fc73f38 | 29 | /* Forward declarations for prototypes. */ |
da3331ec | 30 | struct field; |
7fc73f38 | 31 | struct block; |
79a45b7d | 32 | struct value_print_options; |
e6c014f2 | 33 | struct language_defn; |
7fc73f38 | 34 | |
c906108c SS |
35 | /* Some macros for char-based bitfields. */ |
36 | ||
37 | #define B_SET(a,x) ((a)[(x)>>3] |= (1 << ((x)&7))) | |
38 | #define B_CLR(a,x) ((a)[(x)>>3] &= ~(1 << ((x)&7))) | |
39 | #define B_TST(a,x) ((a)[(x)>>3] & (1 << ((x)&7))) | |
40 | #define B_TYPE unsigned char | |
41 | #define B_BYTES(x) ( 1 + ((x)>>3) ) | |
42 | #define B_CLRALL(a,x) memset ((a), 0, B_BYTES(x)) | |
43 | ||
44 | /* Different kinds of data types are distinguished by the `code' field. */ | |
45 | ||
46 | enum type_code | |
c5aa993b JM |
47 | { |
48 | TYPE_CODE_UNDEF, /* Not used; catches errors */ | |
49 | TYPE_CODE_PTR, /* Pointer type */ | |
e6742ace JB |
50 | |
51 | /* Array type with lower & upper bounds. | |
52 | ||
53 | Regardless of the language, GDB represents multidimensional | |
54 | array types the way C does: as arrays of arrays. So an | |
55 | instance of a GDB array type T can always be seen as a series | |
56 | of instances of TYPE_TARGET_TYPE (T) laid out sequentially in | |
57 | memory. | |
58 | ||
59 | Row-major languages like C lay out multi-dimensional arrays so | |
60 | that incrementing the rightmost index in a subscripting | |
61 | expression results in the smallest change in the address of the | |
62 | element referred to. Column-major languages like Fortran lay | |
63 | them out so that incrementing the leftmost index results in the | |
64 | smallest change. | |
65 | ||
66 | This means that, in column-major languages, working our way | |
67 | from type to target type corresponds to working through indices | |
68 | from right to left, not left to right. */ | |
69 | TYPE_CODE_ARRAY, | |
70 | ||
c5aa993b JM |
71 | TYPE_CODE_STRUCT, /* C struct or Pascal record */ |
72 | TYPE_CODE_UNION, /* C union or Pascal variant part */ | |
73 | TYPE_CODE_ENUM, /* Enumeration type */ | |
4f2aea11 | 74 | TYPE_CODE_FLAGS, /* Bit flags type */ |
c5aa993b JM |
75 | TYPE_CODE_FUNC, /* Function type */ |
76 | TYPE_CODE_INT, /* Integer type */ | |
77 | ||
78 | /* Floating type. This is *NOT* a complex type. Beware, there are parts | |
79 | of GDB which bogusly assume that TYPE_CODE_FLT can mean complex. */ | |
80 | TYPE_CODE_FLT, | |
81 | ||
82 | /* Void type. The length field specifies the length (probably always | |
83 | one) which is used in pointer arithmetic involving pointers to | |
84 | this type, but actually dereferencing such a pointer is invalid; | |
85 | a void type has no length and no actual representation in memory | |
86 | or registers. A pointer to a void type is a generic pointer. */ | |
87 | TYPE_CODE_VOID, | |
88 | ||
89 | TYPE_CODE_SET, /* Pascal sets */ | |
90 | TYPE_CODE_RANGE, /* Range (integers within spec'd bounds) */ | |
91 | ||
92 | /* A string type which is like an array of character but prints | |
1b831c93 AC |
93 | differently (at least for (the deleted) CHILL). It does not |
94 | contain a length field as Pascal strings (for many Pascals, | |
95 | anyway) do; if we want to deal with such strings, we should use | |
96 | a new type code. */ | |
c5aa993b JM |
97 | TYPE_CODE_STRING, |
98 | ||
db034ac5 | 99 | /* String of bits; like TYPE_CODE_SET but prints differently (at |
1b831c93 | 100 | least for (the deleted) CHILL). */ |
c5aa993b JM |
101 | TYPE_CODE_BITSTRING, |
102 | ||
103 | /* Unknown type. The length field is valid if we were able to | |
104 | deduce that much about the type, or 0 if we don't even know that. */ | |
105 | TYPE_CODE_ERROR, | |
106 | ||
107 | /* C++ */ | |
c5aa993b | 108 | TYPE_CODE_METHOD, /* Method type */ |
0d5de010 DJ |
109 | |
110 | /* Pointer-to-member-function type. This describes how to access a | |
111 | particular member function of a class (possibly a virtual | |
112 | member function). The representation may vary between different | |
113 | C++ ABIs. */ | |
114 | TYPE_CODE_METHODPTR, | |
115 | ||
116 | /* Pointer-to-member type. This is the offset within a class to some | |
117 | particular data member. The only currently supported representation | |
118 | uses an unbiased offset, with -1 representing NULL; this is used | |
119 | by the Itanium C++ ABI (used by GCC on all platforms). */ | |
120 | TYPE_CODE_MEMBERPTR, | |
121 | ||
c5aa993b JM |
122 | TYPE_CODE_REF, /* C++ Reference types */ |
123 | ||
124 | TYPE_CODE_CHAR, /* *real* character type */ | |
125 | ||
126 | /* Boolean type. 0 is false, 1 is true, and other values are non-boolean | |
127 | (e.g. FORTRAN "logical" used as unsigned int). */ | |
128 | TYPE_CODE_BOOL, | |
129 | ||
130 | /* Fortran */ | |
131 | TYPE_CODE_COMPLEX, /* Complex float */ | |
132 | ||
133 | TYPE_CODE_TYPEDEF, | |
c5aa993b | 134 | |
7678ef8f TJB |
135 | TYPE_CODE_NAMESPACE, /* C++ namespace. */ |
136 | ||
bc3b79fd TJB |
137 | TYPE_CODE_DECFLOAT, /* Decimal floating point. */ |
138 | ||
139 | /* Internal function type. */ | |
140 | TYPE_CODE_INTERNAL_FUNCTION | |
c5aa993b | 141 | }; |
c906108c SS |
142 | |
143 | /* For now allow source to use TYPE_CODE_CLASS for C++ classes, as an | |
144 | alias for TYPE_CODE_STRUCT. This is for DWARF, which has a distinct | |
145 | "class" attribute. Perhaps we should actually have a separate TYPE_CODE | |
146 | so that we can print "class" or "struct" depending on what the debug | |
147 | info said. It's not clear we should bother. */ | |
148 | ||
149 | #define TYPE_CODE_CLASS TYPE_CODE_STRUCT | |
150 | ||
876cecd0 TT |
151 | /* Some constants representing each bit field in the main_type. See |
152 | the bit-field-specific macros, below, for documentation of each | |
153 | constant in this enum. These enum values are only used with | |
154 | init_type. Note that the values are chosen not to conflict with | |
155 | type_instance_flag_value; this lets init_type error-check its | |
156 | input. */ | |
157 | ||
158 | enum type_flag_value | |
159 | { | |
160 | TYPE_FLAG_UNSIGNED = (1 << 6), | |
161 | TYPE_FLAG_NOSIGN = (1 << 7), | |
162 | TYPE_FLAG_STUB = (1 << 8), | |
163 | TYPE_FLAG_TARGET_STUB = (1 << 9), | |
164 | TYPE_FLAG_STATIC = (1 << 10), | |
165 | TYPE_FLAG_PROTOTYPED = (1 << 11), | |
166 | TYPE_FLAG_INCOMPLETE = (1 << 12), | |
167 | TYPE_FLAG_VARARGS = (1 << 13), | |
168 | TYPE_FLAG_VECTOR = (1 << 14), | |
169 | TYPE_FLAG_FIXED_INSTANCE = (1 << 15), | |
170 | TYPE_FLAG_STUB_SUPPORTED = (1 << 16), | |
171 | TYPE_FLAG_NOTTEXT = (1 << 17), | |
172 | ||
173 | /* Used for error-checking. */ | |
174 | TYPE_FLAG_MIN = TYPE_FLAG_UNSIGNED | |
175 | }; | |
176 | ||
177 | /* Some bits for the type's instance_flags word. See the macros below | |
178 | for documentation on each bit. Note that if you add a value here, | |
179 | you must update the enum type_flag_value as well. */ | |
180 | enum type_instance_flag_value | |
181 | { | |
182 | TYPE_INSTANCE_FLAG_CONST = (1 << 0), | |
183 | TYPE_INSTANCE_FLAG_VOLATILE = (1 << 1), | |
184 | TYPE_INSTANCE_FLAG_CODE_SPACE = (1 << 2), | |
185 | TYPE_INSTANCE_FLAG_DATA_SPACE = (1 << 3), | |
186 | TYPE_INSTANCE_FLAG_ADDRESS_CLASS_1 = (1 << 4), | |
187 | TYPE_INSTANCE_FLAG_ADDRESS_CLASS_2 = (1 << 5) | |
188 | }; | |
c906108c SS |
189 | |
190 | /* Unsigned integer type. If this is not set for a TYPE_CODE_INT, the | |
191 | type is signed (unless TYPE_FLAG_NOSIGN (below) is set). */ | |
192 | ||
876cecd0 | 193 | #define TYPE_UNSIGNED(t) (TYPE_MAIN_TYPE (t)->flag_unsigned) |
c906108c SS |
194 | |
195 | /* No sign for this type. In C++, "char", "signed char", and "unsigned | |
196 | char" are distinct types; so we need an extra flag to indicate the | |
ba91526b | 197 | absence of a sign! */ |
c906108c | 198 | |
876cecd0 | 199 | #define TYPE_NOSIGN(t) (TYPE_MAIN_TYPE (t)->flag_nosign) |
c906108c SS |
200 | |
201 | /* This appears in a type's flags word if it is a stub type (e.g., if | |
202 | someone referenced a type that wasn't defined in a source file | |
203 | via (struct sir_not_appearing_in_this_film *)). */ | |
204 | ||
876cecd0 | 205 | #define TYPE_STUB(t) (TYPE_MAIN_TYPE (t)->flag_stub) |
c906108c SS |
206 | |
207 | /* The target type of this type is a stub type, and this type needs to | |
208 | be updated if it gets un-stubbed in check_typedef. | |
209 | Used for arrays and ranges, in which TYPE_LENGTH of the array/range | |
210 | gets set based on the TYPE_LENGTH of the target type. | |
211 | Also, set for TYPE_CODE_TYPEDEF. */ | |
212 | ||
876cecd0 | 213 | #define TYPE_TARGET_STUB(t) (TYPE_MAIN_TYPE (t)->flag_target_stub) |
c906108c | 214 | |
7b83ea04 | 215 | /* Static type. If this is set, the corresponding type had |
c906108c SS |
216 | * a static modifier. |
217 | * Note: This may be unnecessary, since static data members | |
218 | * are indicated by other means (bitpos == -1) | |
219 | */ | |
220 | ||
876cecd0 | 221 | #define TYPE_STATIC(t) (TYPE_MAIN_TYPE (t)->flag_static) |
c906108c SS |
222 | |
223 | /* This is a function type which appears to have a prototype. We need this | |
224 | for function calls in order to tell us if it's necessary to coerce the args, | |
225 | or to just do the standard conversions. This is used with a short field. */ | |
226 | ||
876cecd0 | 227 | #define TYPE_PROTOTYPED(t) (TYPE_MAIN_TYPE (t)->flag_prototyped) |
c906108c SS |
228 | |
229 | /* This flag is used to indicate that processing for this type | |
230 | is incomplete. | |
c5aa993b | 231 | |
c906108c SS |
232 | (Mostly intended for HP platforms, where class methods, for |
233 | instance, can be encountered before their classes in the debug | |
234 | info; the incomplete type has to be marked so that the class and | |
235 | the method can be assigned correct types.) */ | |
236 | ||
876cecd0 TT |
237 | #define TYPE_INCOMPLETE(t) (TYPE_MAIN_TYPE (t)->flag_incomplete) |
238 | ||
239 | /* FIXME drow/2002-06-03: Only used for methods, but applies as well | |
240 | to functions. */ | |
241 | ||
242 | #define TYPE_VARARGS(t) (TYPE_MAIN_TYPE (t)->flag_varargs) | |
243 | ||
244 | /* Identify a vector type. Gcc is handling this by adding an extra | |
245 | attribute to the array type. We slurp that in as a new flag of a | |
246 | type. This is used only in dwarf2read.c. */ | |
247 | #define TYPE_VECTOR(t) (TYPE_MAIN_TYPE (t)->flag_vector) | |
248 | ||
249 | /* The debugging formats (especially STABS) do not contain enough information | |
250 | to represent all Ada types---especially those whose size depends on | |
251 | dynamic quantities. Therefore, the GNAT Ada compiler includes | |
252 | extra information in the form of additional type definitions | |
253 | connected by naming conventions. This flag indicates that the | |
254 | type is an ordinary (unencoded) GDB type that has been created from | |
255 | the necessary run-time information, and does not need further | |
256 | interpretation. Optionally marks ordinary, fixed-size GDB type. */ | |
257 | ||
258 | #define TYPE_FIXED_INSTANCE(t) (TYPE_MAIN_TYPE (t)->flag_fixed_instance) | |
259 | ||
260 | /* This debug target supports TYPE_STUB(t). In the unsupported case we have to | |
261 | rely on NFIELDS to be zero etc., see TYPE_IS_OPAQUE (). | |
262 | TYPE_STUB(t) with !TYPE_STUB_SUPPORTED(t) may exist if we only guessed | |
263 | the TYPE_STUB(t) value (see dwarfread.c). */ | |
264 | ||
265 | #define TYPE_STUB_SUPPORTED(t) (TYPE_MAIN_TYPE (t)->flag_stub_supported) | |
266 | ||
267 | /* Not textual. By default, GDB treats all single byte integers as | |
268 | characters (or elements of strings) unless this flag is set. */ | |
269 | ||
270 | #define TYPE_NOTTEXT(t) (TYPE_MAIN_TYPE (t)->flag_nottext) | |
271 | ||
e9bb382b UW |
272 | /* Type owner. If TYPE_OBJFILE_OWNED is true, the type is owned by |
273 | the objfile retrieved as TYPE_OBJFILE. Otherweise, the type is | |
274 | owned by an architecture; TYPE_OBJFILE is NULL in this case. */ | |
275 | ||
276 | #define TYPE_OBJFILE_OWNED(t) (TYPE_MAIN_TYPE (t)->flag_objfile_owned) | |
277 | #define TYPE_OWNER(t) TYPE_MAIN_TYPE(t)->owner | |
278 | #define TYPE_OBJFILE(t) (TYPE_OBJFILE_OWNED(t)? TYPE_OWNER(t).objfile : NULL) | |
279 | ||
0cc2414c TT |
280 | /* True if this type was declared using the "class" keyword. This is |
281 | only valid for C++ structure types, and only used for displaying | |
282 | the type. If false, the structure was declared as a "struct". */ | |
283 | ||
284 | #define TYPE_DECLARED_CLASS(t) (TYPE_MAIN_TYPE (t)->flag_declared_class) | |
285 | ||
876cecd0 TT |
286 | /* Constant type. If this is set, the corresponding type has a |
287 | * const modifier. | |
288 | */ | |
289 | ||
290 | #define TYPE_CONST(t) (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_CONST) | |
291 | ||
292 | /* Volatile type. If this is set, the corresponding type has a | |
293 | * volatile modifier. | |
294 | */ | |
295 | ||
296 | #define TYPE_VOLATILE(t) (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_VOLATILE) | |
c906108c | 297 | |
47663de5 MS |
298 | /* Instruction-space delimited type. This is for Harvard architectures |
299 | which have separate instruction and data address spaces (and perhaps | |
300 | others). | |
301 | ||
302 | GDB usually defines a flat address space that is a superset of the | |
303 | architecture's two (or more) address spaces, but this is an extension | |
304 | of the architecture's model. | |
305 | ||
306 | If TYPE_FLAG_INST is set, an object of the corresponding type | |
307 | resides in instruction memory, even if its address (in the extended | |
308 | flat address space) does not reflect this. | |
309 | ||
310 | Similarly, if TYPE_FLAG_DATA is set, then an object of the | |
311 | corresponding type resides in the data memory space, even if | |
312 | this is not indicated by its (flat address space) address. | |
313 | ||
314 | If neither flag is set, the default space for functions / methods | |
315 | is instruction space, and for data objects is data memory. */ | |
316 | ||
876cecd0 TT |
317 | #define TYPE_CODE_SPACE(t) \ |
318 | (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_CODE_SPACE) | |
47663de5 | 319 | |
876cecd0 TT |
320 | #define TYPE_DATA_SPACE(t) \ |
321 | (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_DATA_SPACE) | |
f5f8a009 | 322 | |
8b2dbe47 KB |
323 | /* Address class flags. Some environments provide for pointers whose |
324 | size is different from that of a normal pointer or address types | |
325 | where the bits are interpreted differently than normal addresses. The | |
326 | TYPE_FLAG_ADDRESS_CLASS_n flags may be used in target specific | |
327 | ways to represent these different types of address classes. */ | |
8b2dbe47 | 328 | #define TYPE_ADDRESS_CLASS_1(t) (TYPE_INSTANCE_FLAGS(t) \ |
876cecd0 | 329 | & TYPE_INSTANCE_FLAG_ADDRESS_CLASS_1) |
8b2dbe47 | 330 | #define TYPE_ADDRESS_CLASS_2(t) (TYPE_INSTANCE_FLAGS(t) \ |
876cecd0 TT |
331 | & TYPE_INSTANCE_FLAG_ADDRESS_CLASS_2) |
332 | #define TYPE_INSTANCE_FLAG_ADDRESS_CLASS_ALL \ | |
333 | (TYPE_INSTANCE_FLAG_ADDRESS_CLASS_1 | TYPE_INSTANCE_FLAG_ADDRESS_CLASS_2) | |
8b2dbe47 | 334 | #define TYPE_ADDRESS_CLASS_ALL(t) (TYPE_INSTANCE_FLAGS(t) \ |
876cecd0 | 335 | & TYPE_INSTANCE_FLAG_ADDRESS_CLASS_ALL) |
d77b6808 | 336 | |
d6a843b5 JK |
337 | /* Determine which field of the union main_type.fields[x].loc is used. */ |
338 | ||
339 | enum field_loc_kind | |
340 | { | |
341 | FIELD_LOC_KIND_BITPOS, /* bitpos */ | |
342 | FIELD_LOC_KIND_PHYSADDR, /* physaddr */ | |
343 | FIELD_LOC_KIND_PHYSNAME, /* physname */ | |
344 | FIELD_LOC_KIND_DWARF_BLOCK /* dwarf_block */ | |
345 | }; | |
346 | ||
b4ba55a1 JB |
347 | /* A discriminant to determine which field in the main_type.type_specific |
348 | union is being used, if any. | |
349 | ||
350 | For types such as TYPE_CODE_FLT or TYPE_CODE_FUNC, the use of this | |
351 | discriminant is really redundant, as we know from the type code | |
352 | which field is going to be used. As such, it would be possible to | |
353 | reduce the size of this enum in order to save a bit or two for | |
354 | other fields of struct main_type. But, since we still have extra | |
355 | room , and for the sake of clarity and consistency, we treat all fields | |
356 | of the union the same way. */ | |
357 | ||
358 | enum type_specific_kind | |
359 | { | |
360 | TYPE_SPECIFIC_NONE, | |
361 | TYPE_SPECIFIC_CPLUS_STUFF, | |
362 | TYPE_SPECIFIC_GNAT_STUFF, | |
363 | TYPE_SPECIFIC_FLOATFORMAT, | |
364 | TYPE_SPECIFIC_CALLING_CONVENTION | |
365 | }; | |
366 | ||
0955bbf0 MC |
367 | /* This structure is space-critical. |
368 | Its layout has been tweaked to reduce the space used. */ | |
369 | ||
2fdde8f8 DJ |
370 | struct main_type |
371 | { | |
372 | /* Code for kind of type */ | |
373 | ||
0955bbf0 MC |
374 | ENUM_BITFIELD(type_code) code : 8; |
375 | ||
876cecd0 TT |
376 | /* Flags about this type. These fields appear at this location |
377 | because they packs nicely here. See the TYPE_* macros for | |
378 | documentation about these fields. */ | |
379 | ||
380 | unsigned int flag_unsigned : 1; | |
381 | unsigned int flag_nosign : 1; | |
382 | unsigned int flag_stub : 1; | |
383 | unsigned int flag_target_stub : 1; | |
384 | unsigned int flag_static : 1; | |
385 | unsigned int flag_prototyped : 1; | |
386 | unsigned int flag_incomplete : 1; | |
387 | unsigned int flag_varargs : 1; | |
388 | unsigned int flag_vector : 1; | |
389 | unsigned int flag_stub_supported : 1; | |
390 | unsigned int flag_nottext : 1; | |
391 | unsigned int flag_fixed_instance : 1; | |
e9bb382b | 392 | unsigned int flag_objfile_owned : 1; |
0cc2414c TT |
393 | /* True if this type was declared with "class" rather than |
394 | "struct". */ | |
395 | unsigned int flag_declared_class : 1; | |
876cecd0 | 396 | |
b4ba55a1 JB |
397 | /* A discriminant telling us which field of the type_specific union |
398 | is being used for this type, if any. */ | |
399 | ENUM_BITFIELD(type_specific_kind) type_specific_field : 3; | |
400 | ||
876cecd0 TT |
401 | /* Number of fields described for this type. This field appears at |
402 | this location because it packs nicely here. */ | |
403 | ||
404 | short nfields; | |
405 | ||
406 | /* Field number of the virtual function table pointer in | |
407 | VPTR_BASETYPE. If -1, we were unable to find the virtual | |
408 | function table pointer in initial symbol reading, and | |
409 | get_vptr_fieldno should be called to find it if possible. | |
410 | get_vptr_fieldno will update this field if possible. | |
411 | Otherwise the value is left at -1. | |
412 | ||
413 | Unused if this type does not have virtual functions. | |
414 | ||
415 | This field appears at this location because it packs nicely here. */ | |
416 | ||
417 | short vptr_fieldno; | |
418 | ||
2fdde8f8 DJ |
419 | /* Name of this type, or NULL if none. |
420 | ||
421 | This is used for printing only, except by poorly designed C++ code. | |
176620f1 | 422 | For looking up a name, look for a symbol in the VAR_DOMAIN. */ |
2fdde8f8 DJ |
423 | |
424 | char *name; | |
425 | ||
426 | /* Tag name for this type, or NULL if none. This means that the | |
427 | name of the type consists of a keyword followed by the tag name. | |
428 | Which keyword is determined by the type code ("struct" for | |
429 | TYPE_CODE_STRUCT, etc.). As far as I know C/C++ are the only languages | |
430 | with this feature. | |
431 | ||
432 | This is used for printing only, except by poorly designed C++ code. | |
176620f1 | 433 | For looking up a name, look for a symbol in the STRUCT_DOMAIN. |
2fdde8f8 DJ |
434 | One more legitimate use is that if TYPE_FLAG_STUB is set, this is |
435 | the name to use to look for definitions in other files. */ | |
436 | ||
437 | char *tag_name; | |
438 | ||
2fdde8f8 | 439 | /* Every type is now associated with a particular objfile, and the |
b99607ea | 440 | type is allocated on the objfile_obstack for that objfile. One problem |
2fdde8f8 DJ |
441 | however, is that there are times when gdb allocates new types while |
442 | it is not in the process of reading symbols from a particular objfile. | |
443 | Fortunately, these happen when the type being created is a derived | |
444 | type of an existing type, such as in lookup_pointer_type(). So | |
445 | we can just allocate the new type using the same objfile as the | |
446 | existing type, but to do this we need a backpointer to the objfile | |
447 | from the existing type. Yes this is somewhat ugly, but without | |
448 | major overhaul of the internal type system, it can't be avoided | |
449 | for now. */ | |
450 | ||
e9bb382b UW |
451 | union type_owner |
452 | { | |
453 | struct objfile *objfile; | |
454 | struct gdbarch *gdbarch; | |
455 | } owner; | |
2fdde8f8 DJ |
456 | |
457 | /* For a pointer type, describes the type of object pointed to. | |
458 | For an array type, describes the type of the elements. | |
459 | For a function or method type, describes the type of the return value. | |
460 | For a range type, describes the type of the full range. | |
461 | For a complex type, describes the type of each coordinate. | |
d09ce91e JB |
462 | For a special record or union type encoding a dynamic-sized type |
463 | in GNAT, a memoized pointer to a corresponding static version of | |
464 | the type. | |
2fdde8f8 DJ |
465 | Unused otherwise. */ |
466 | ||
467 | struct type *target_type; | |
468 | ||
2fdde8f8 DJ |
469 | /* For structure and union types, a description of each field. |
470 | For set and pascal array types, there is one "field", | |
471 | whose type is the domain type of the set or array. | |
472 | For range types, there are two "fields", | |
473 | the minimum and maximum values (both inclusive). | |
474 | For enum types, each possible value is described by one "field". | |
ad2f7632 | 475 | For a function or method type, a "field" for each parameter. |
2fdde8f8 DJ |
476 | For C++ classes, there is one field for each base class (if it is |
477 | a derived class) plus one field for each class data member. Member | |
478 | functions are recorded elsewhere. | |
479 | ||
480 | Using a pointer to a separate array of fields | |
481 | allows all types to have the same size, which is useful | |
482 | because we can allocate the space for a type before | |
483 | we know what to put in it. */ | |
484 | ||
43bbcdc2 | 485 | union |
c5aa993b | 486 | { |
43bbcdc2 | 487 | struct field |
2fdde8f8 | 488 | { |
43bbcdc2 PH |
489 | union field_location |
490 | { | |
491 | /* Position of this field, counting in bits from start of | |
492 | containing structure. | |
493 | For gdbarch_bits_big_endian=1 targets, it is the bit offset to the MSB. | |
494 | For gdbarch_bits_big_endian=0 targets, it is the bit offset to the LSB. | |
495 | For a range bound or enum value, this is the value itself. */ | |
496 | ||
497 | int bitpos; | |
498 | ||
499 | /* For a static field, if TYPE_FIELD_STATIC_HAS_ADDR then physaddr | |
500 | is the location (in the target) of the static field. | |
501 | Otherwise, physname is the mangled label of the static field. */ | |
502 | ||
503 | CORE_ADDR physaddr; | |
504 | char *physname; | |
505 | ||
506 | /* The field location can be computed by evaluating the following DWARF | |
507 | block. This can be used in Fortran variable-length arrays, for | |
508 | instance. */ | |
c906108c | 509 | |
43bbcdc2 PH |
510 | struct dwarf2_locexpr_baton *dwarf_block; |
511 | } | |
512 | loc; | |
513 | ||
514 | /* For a function or member type, this is 1 if the argument is marked | |
515 | artificial. Artificial arguments should not be shown to the | |
516 | user. For TYPE_CODE_RANGE it is set if the specific bound is not | |
517 | defined. */ | |
518 | unsigned int artificial : 1; | |
519 | ||
520 | /* Discriminant for union field_location. */ | |
521 | ENUM_BITFIELD(field_loc_kind) loc_kind : 2; | |
c906108c | 522 | |
43bbcdc2 PH |
523 | /* Size of this field, in bits, or zero if not packed. |
524 | If non-zero in an array type, indicates the element size in | |
525 | bits (used only in Ada at the moment). | |
526 | For an unpacked field, the field's type's length | |
527 | says how many bytes the field occupies. */ | |
c906108c | 528 | |
43bbcdc2 | 529 | unsigned int bitsize : 29; |
d6a843b5 | 530 | |
43bbcdc2 PH |
531 | /* In a struct or union type, type of this field. |
532 | In a function or member type, type of this argument. | |
533 | In an array type, the domain-type of the array. */ | |
d6a843b5 | 534 | |
43bbcdc2 | 535 | struct type *type; |
c906108c | 536 | |
43bbcdc2 PH |
537 | /* Name of field, value or argument. |
538 | NULL for range bounds, array domains, and member function | |
539 | arguments. */ | |
01ad7f36 | 540 | |
43bbcdc2 PH |
541 | char *name; |
542 | } *fields; | |
01ad7f36 | 543 | |
43bbcdc2 PH |
544 | /* Union member used for range types. */ |
545 | ||
546 | struct range_bounds | |
547 | { | |
548 | /* Low bound of range. */ | |
c906108c | 549 | |
43bbcdc2 | 550 | LONGEST low; |
c906108c | 551 | |
43bbcdc2 | 552 | /* High bound of range. */ |
c906108c | 553 | |
43bbcdc2 | 554 | LONGEST high; |
c906108c | 555 | |
43bbcdc2 PH |
556 | /* Flags indicating whether the values of low and high are |
557 | valid. When true, the respective range value is | |
558 | undefined. Currently used only for FORTRAN arrays. */ | |
559 | ||
560 | char low_undefined; | |
561 | char high_undefined; | |
8176bb6d | 562 | |
43bbcdc2 | 563 | } *bounds; |
c906108c | 564 | |
43bbcdc2 | 565 | } flds_bnds; |
c906108c | 566 | |
2fdde8f8 DJ |
567 | /* For types with virtual functions (TYPE_CODE_STRUCT), VPTR_BASETYPE |
568 | is the base class which defined the virtual function table pointer. | |
c906108c | 569 | |
0d5de010 DJ |
570 | For types that are pointer to member types (TYPE_CODE_METHODPTR, |
571 | TYPE_CODE_MEMBERPTR), VPTR_BASETYPE is the type that this pointer | |
572 | is a member of. | |
c906108c | 573 | |
2fdde8f8 DJ |
574 | For method types (TYPE_CODE_METHOD), VPTR_BASETYPE is the aggregate |
575 | type that contains the method. | |
c906108c | 576 | |
2fdde8f8 | 577 | Unused otherwise. */ |
c906108c | 578 | |
2fdde8f8 | 579 | struct type *vptr_basetype; |
c906108c | 580 | |
2fdde8f8 | 581 | /* Slot to point to additional language-specific fields of this type. */ |
c906108c | 582 | |
2fdde8f8 DJ |
583 | union type_specific |
584 | { | |
2fdde8f8 DJ |
585 | /* CPLUS_STUFF is for TYPE_CODE_STRUCT. It is initialized to point to |
586 | cplus_struct_default, a default static instance of a struct | |
587 | cplus_struct_type. */ | |
c906108c | 588 | |
2fdde8f8 | 589 | struct cplus_struct_type *cplus_stuff; |
c906108c | 590 | |
b4ba55a1 JB |
591 | /* GNAT_STUFF is for types for which the GNAT Ada compiler |
592 | provides additional information. */ | |
593 | struct gnat_aux_type *gnat_stuff; | |
594 | ||
8da61cc4 DJ |
595 | /* FLOATFORMAT is for TYPE_CODE_FLT. It is a pointer to two |
596 | floatformat objects that describe the floating-point value | |
597 | that resides within the type. The first is for big endian | |
598 | targets and the second is for little endian targets. */ | |
c906108c | 599 | |
8da61cc4 | 600 | const struct floatformat **floatformat; |
c055b101 CV |
601 | |
602 | /* For TYPE_CODE_FUNC types, the calling convention for targets | |
603 | supporting multiple ABIs. Right now this is only fetched from | |
604 | the Dwarf-2 DW_AT_calling_convention attribute. */ | |
605 | unsigned calling_convention; | |
2fdde8f8 DJ |
606 | } type_specific; |
607 | }; | |
c906108c | 608 | |
2fdde8f8 DJ |
609 | /* A ``struct type'' describes a particular instance of a type, with |
610 | some particular qualification. */ | |
611 | struct type | |
612 | { | |
613 | /* Type that is a pointer to this type. | |
614 | NULL if no such pointer-to type is known yet. | |
615 | The debugger may add the address of such a type | |
616 | if it has to construct one later. */ | |
c906108c | 617 | |
2fdde8f8 | 618 | struct type *pointer_type; |
c906108c | 619 | |
2fdde8f8 | 620 | /* C++: also need a reference type. */ |
c906108c | 621 | |
2fdde8f8 | 622 | struct type *reference_type; |
c906108c | 623 | |
2fdde8f8 | 624 | /* Variant chain. This points to a type that differs from this one only |
ab5d3da6 KB |
625 | in qualifiers and length. Currently, the possible qualifiers are |
626 | const, volatile, code-space, data-space, and address class. The | |
627 | length may differ only when one of the address class flags are set. | |
628 | The variants are linked in a circular ring and share MAIN_TYPE. */ | |
2fdde8f8 | 629 | struct type *chain; |
c906108c | 630 | |
2fdde8f8 DJ |
631 | /* Flags specific to this instance of the type, indicating where |
632 | on the ring we are. */ | |
633 | int instance_flags; | |
701c159d | 634 | |
ab5d3da6 KB |
635 | /* Length of storage for a value of this type. This is what |
636 | sizeof(type) would return; use it for address arithmetic, | |
637 | memory reads and writes, etc. This size includes padding. For | |
638 | example, an i386 extended-precision floating point value really | |
639 | only occupies ten bytes, but most ABI's declare its size to be | |
640 | 12 bytes, to preserve alignment. A `struct type' representing | |
641 | such a floating-point type would have a `length' value of 12, | |
642 | even though the last two bytes are unused. | |
643 | ||
644 | There's a bit of a host/target mess here, if you're concerned | |
645 | about machines whose bytes aren't eight bits long, or who don't | |
646 | have byte-addressed memory. Various places pass this to memcpy | |
647 | and such, meaning it must be in units of host bytes. Various | |
648 | other places expect they can calculate addresses by adding it | |
649 | and such, meaning it must be in units of target bytes. For | |
650 | some DSP targets, in which HOST_CHAR_BIT will (presumably) be 8 | |
651 | and TARGET_CHAR_BIT will be (say) 32, this is a problem. | |
652 | ||
653 | One fix would be to make this field in bits (requiring that it | |
654 | always be a multiple of HOST_CHAR_BIT and TARGET_CHAR_BIT) --- | |
655 | the other choice would be to make it consistently in units of | |
656 | HOST_CHAR_BIT. However, this would still fail to address | |
657 | machines based on a ternary or decimal representation. */ | |
658 | ||
659 | unsigned length; | |
660 | ||
2fdde8f8 DJ |
661 | /* Core type, shared by a group of qualified types. */ |
662 | struct main_type *main_type; | |
663 | }; | |
c906108c SS |
664 | |
665 | #define NULL_TYPE ((struct type *) 0) | |
666 | ||
667 | /* C++ language-specific information for TYPE_CODE_STRUCT and TYPE_CODE_UNION | |
668 | nodes. */ | |
669 | ||
670 | struct cplus_struct_type | |
c5aa993b JM |
671 | { |
672 | /* Number of base classes this type derives from. The baseclasses are | |
673 | stored in the first N_BASECLASSES fields (i.e. the `fields' field of | |
674 | the struct type). I think only the `type' field of such a field has | |
675 | any meaning. */ | |
c906108c | 676 | |
c5aa993b | 677 | short n_baseclasses; |
c906108c | 678 | |
c5aa993b JM |
679 | /* Number of methods with unique names. All overloaded methods with |
680 | the same name count only once. */ | |
c906108c | 681 | |
c5aa993b | 682 | short nfn_fields; |
c906108c | 683 | |
c5aa993b JM |
684 | /* Number of methods described for this type, not including the |
685 | methods that it derives from. */ | |
c906108c | 686 | |
c5aa993b | 687 | short nfn_fields_total; |
c906108c | 688 | |
48ea67a7 TT |
689 | /* One if this struct is a dynamic class, as defined by the |
690 | Itanium C++ ABI: if it requires a virtual table pointer, | |
691 | because it or any of its base classes have one or more virtual | |
692 | member functions or virtual base classes. Minus one if not | |
693 | dynamic. Zero if not yet computed. */ | |
694 | int is_dynamic : 2; | |
c5aa993b JM |
695 | |
696 | /* For derived classes, the number of base classes is given by n_baseclasses | |
697 | and virtual_field_bits is a bit vector containing one bit per base class. | |
698 | If the base class is virtual, the corresponding bit will be set. | |
699 | I.E, given: | |
c906108c | 700 | |
c5aa993b JM |
701 | class A{}; |
702 | class B{}; | |
703 | class C : public B, public virtual A {}; | |
c906108c | 704 | |
c5aa993b JM |
705 | B is a baseclass of C; A is a virtual baseclass for C. |
706 | This is a C++ 2.0 language feature. */ | |
c906108c | 707 | |
c5aa993b | 708 | B_TYPE *virtual_field_bits; |
c906108c | 709 | |
c5aa993b JM |
710 | /* For classes with private fields, the number of fields is given by |
711 | nfields and private_field_bits is a bit vector containing one bit | |
712 | per field. | |
713 | If the field is private, the corresponding bit will be set. */ | |
c906108c | 714 | |
c5aa993b | 715 | B_TYPE *private_field_bits; |
c906108c | 716 | |
c5aa993b JM |
717 | /* For classes with protected fields, the number of fields is given by |
718 | nfields and protected_field_bits is a bit vector containing one bit | |
719 | per field. | |
720 | If the field is private, the corresponding bit will be set. */ | |
c906108c | 721 | |
c5aa993b | 722 | B_TYPE *protected_field_bits; |
c906108c | 723 | |
c5aa993b JM |
724 | /* for classes with fields to be ignored, either this is optimized out |
725 | or this field has length 0 */ | |
c906108c | 726 | |
c5aa993b | 727 | B_TYPE *ignore_field_bits; |
c906108c | 728 | |
c5aa993b JM |
729 | /* For classes, structures, and unions, a description of each field, |
730 | which consists of an overloaded name, followed by the types of | |
731 | arguments that the method expects, and then the name after it | |
732 | has been renamed to make it distinct. | |
c906108c | 733 | |
c5aa993b | 734 | fn_fieldlists points to an array of nfn_fields of these. */ |
c906108c | 735 | |
c5aa993b JM |
736 | struct fn_fieldlist |
737 | { | |
c906108c | 738 | |
c5aa993b | 739 | /* The overloaded name. */ |
c906108c | 740 | |
c5aa993b | 741 | char *name; |
c906108c | 742 | |
c5aa993b | 743 | /* The number of methods with this name. */ |
c906108c | 744 | |
c5aa993b | 745 | int length; |
c906108c | 746 | |
c5aa993b | 747 | /* The list of methods. */ |
c906108c | 748 | |
c5aa993b JM |
749 | struct fn_field |
750 | { | |
c906108c | 751 | |
c5aa993b JM |
752 | /* If is_stub is clear, this is the mangled name which we can |
753 | look up to find the address of the method (FIXME: it would | |
754 | be cleaner to have a pointer to the struct symbol here | |
755 | instead). */ | |
c906108c | 756 | |
c5aa993b JM |
757 | /* If is_stub is set, this is the portion of the mangled |
758 | name which specifies the arguments. For example, "ii", | |
759 | if there are two int arguments, or "" if there are no | |
760 | arguments. See gdb_mangle_name for the conversion from this | |
761 | format to the one used if is_stub is clear. */ | |
c906108c | 762 | |
c5aa993b | 763 | char *physname; |
c906108c | 764 | |
c5aa993b JM |
765 | /* The function type for the method. |
766 | (This comment used to say "The return value of the method", | |
7b83ea04 | 767 | but that's wrong. The function type |
c5aa993b JM |
768 | is expected here, i.e. something with TYPE_CODE_FUNC, |
769 | and *not* the return-value type). */ | |
c906108c | 770 | |
c5aa993b | 771 | struct type *type; |
c906108c | 772 | |
c5aa993b JM |
773 | /* For virtual functions. |
774 | First baseclass that defines this virtual function. */ | |
c906108c | 775 | |
c5aa993b | 776 | struct type *fcontext; |
c906108c | 777 | |
c5aa993b | 778 | /* Attributes. */ |
c906108c | 779 | |
c5aa993b JM |
780 | unsigned int is_const:1; |
781 | unsigned int is_volatile:1; | |
782 | unsigned int is_private:1; | |
783 | unsigned int is_protected:1; | |
784 | unsigned int is_public:1; | |
785 | unsigned int is_abstract:1; | |
786 | unsigned int is_static:1; | |
787 | unsigned int is_final:1; | |
788 | unsigned int is_synchronized:1; | |
789 | unsigned int is_native:1; | |
b02dede2 | 790 | unsigned int is_artificial:1; |
c906108c | 791 | |
c5aa993b JM |
792 | /* A stub method only has some fields valid (but they are enough |
793 | to reconstruct the rest of the fields). */ | |
794 | unsigned int is_stub:1; | |
c906108c | 795 | |
c5aa993b | 796 | /* Unused. */ |
d6350901 | 797 | unsigned int dummy:4; |
c906108c | 798 | |
c5aa993b JM |
799 | /* Index into that baseclass's virtual function table, |
800 | minus 2; else if static: VOFFSET_STATIC; else: 0. */ | |
c906108c | 801 | |
c5aa993b | 802 | unsigned int voffset:16; |
c906108c | 803 | |
c5aa993b | 804 | #define VOFFSET_STATIC 1 |
c906108c | 805 | |
c5aa993b JM |
806 | } |
807 | *fn_fields; | |
c906108c | 808 | |
c5aa993b JM |
809 | } |
810 | *fn_fieldlists; | |
c906108c | 811 | |
c906108c SS |
812 | /* Pointer to information about enclosing scope, if this is a |
813 | * local type. If it is not a local type, this is NULL | |
814 | */ | |
c5aa993b JM |
815 | struct local_type_info |
816 | { | |
817 | char *file; | |
818 | int line; | |
819 | } | |
820 | *localtype_ptr; | |
821 | }; | |
c906108c SS |
822 | |
823 | /* Struct used in computing virtual base list */ | |
824 | struct vbase | |
c5aa993b JM |
825 | { |
826 | struct type *vbasetype; /* pointer to virtual base */ | |
827 | struct vbase *next; /* next in chain */ | |
828 | }; | |
c906108c SS |
829 | |
830 | /* Struct used for ranking a function for overload resolution */ | |
c5aa993b JM |
831 | struct badness_vector |
832 | { | |
833 | int length; | |
834 | int *rank; | |
835 | }; | |
c906108c | 836 | |
b4ba55a1 JB |
837 | /* GNAT Ada-specific information for various Ada types. */ |
838 | struct gnat_aux_type | |
839 | { | |
840 | /* Parallel type used to encode information about dynamic types | |
841 | used in Ada (such as variant records, variable-size array, | |
842 | etc). */ | |
843 | struct type* descriptive_type; | |
844 | }; | |
845 | ||
c906108c SS |
846 | /* The default value of TYPE_CPLUS_SPECIFIC(T) points to the |
847 | this shared static structure. */ | |
848 | ||
849 | extern const struct cplus_struct_type cplus_struct_default; | |
850 | ||
a14ed312 | 851 | extern void allocate_cplus_struct_type (struct type *); |
c906108c SS |
852 | |
853 | #define INIT_CPLUS_SPECIFIC(type) \ | |
b4ba55a1 JB |
854 | (TYPE_SPECIFIC_FIELD (type) = TYPE_SPECIFIC_CPLUS_STUFF, \ |
855 | TYPE_RAW_CPLUS_SPECIFIC (type) = (struct cplus_struct_type*) &cplus_struct_default) | |
856 | ||
c906108c | 857 | #define ALLOCATE_CPLUS_STRUCT_TYPE(type) allocate_cplus_struct_type (type) |
b4ba55a1 | 858 | |
c906108c | 859 | #define HAVE_CPLUS_STRUCT(type) \ |
b4ba55a1 JB |
860 | (TYPE_SPECIFIC_FIELD (type) == TYPE_SPECIFIC_CPLUS_STUFF \ |
861 | && TYPE_RAW_CPLUS_SPECIFIC (type) != &cplus_struct_default) | |
862 | ||
863 | extern const struct gnat_aux_type gnat_aux_default; | |
864 | ||
865 | extern void allocate_gnat_aux_type (struct type *); | |
866 | ||
867 | #define INIT_GNAT_SPECIFIC(type) \ | |
868 | (TYPE_SPECIFIC_FIELD (type) = TYPE_SPECIFIC_GNAT_STUFF, \ | |
869 | TYPE_GNAT_SPECIFIC (type) = (struct gnat_aux_type *) &gnat_aux_default) | |
870 | #define ALLOCATE_GNAT_AUX_TYPE(type) allocate_gnat_aux_type (type) | |
871 | /* A macro that returns non-zero if the type-specific data should be | |
872 | read as "gnat-stuff". */ | |
873 | #define HAVE_GNAT_AUX_INFO(type) \ | |
874 | (TYPE_SPECIFIC_FIELD (type) == TYPE_SPECIFIC_GNAT_STUFF) | |
c906108c | 875 | |
2fdde8f8 DJ |
876 | #define TYPE_INSTANCE_FLAGS(thistype) (thistype)->instance_flags |
877 | #define TYPE_MAIN_TYPE(thistype) (thistype)->main_type | |
878 | #define TYPE_NAME(thistype) TYPE_MAIN_TYPE(thistype)->name | |
879 | #define TYPE_TAG_NAME(type) TYPE_MAIN_TYPE(type)->tag_name | |
880 | #define TYPE_TARGET_TYPE(thistype) TYPE_MAIN_TYPE(thistype)->target_type | |
c906108c SS |
881 | #define TYPE_POINTER_TYPE(thistype) (thistype)->pointer_type |
882 | #define TYPE_REFERENCE_TYPE(thistype) (thistype)->reference_type | |
2fdde8f8 | 883 | #define TYPE_CHAIN(thistype) (thistype)->chain |
c906108c SS |
884 | /* Note that if thistype is a TYPEDEF type, you have to call check_typedef. |
885 | But check_typedef does set the TYPE_LENGTH of the TYPEDEF type, | |
886 | so you only have to call check_typedef once. Since allocate_value | |
887 | calls check_typedef, TYPE_LENGTH (VALUE_TYPE (X)) is safe. */ | |
ab5d3da6 | 888 | #define TYPE_LENGTH(thistype) (thistype)->length |
aa468c60 | 889 | /* Note that TYPE_CODE can be TYPE_CODE_TYPEDEF, so if you want the real |
c906108c | 890 | type, you need to do TYPE_CODE (check_type (this_type)). */ |
2fdde8f8 DJ |
891 | #define TYPE_CODE(thistype) TYPE_MAIN_TYPE(thistype)->code |
892 | #define TYPE_NFIELDS(thistype) TYPE_MAIN_TYPE(thistype)->nfields | |
43bbcdc2 | 893 | #define TYPE_FIELDS(thistype) TYPE_MAIN_TYPE(thistype)->flds_bnds.fields |
c906108c SS |
894 | |
895 | #define TYPE_INDEX_TYPE(type) TYPE_FIELD_TYPE (type, 0) | |
43bbcdc2 PH |
896 | #define TYPE_RANGE_DATA(thistype) TYPE_MAIN_TYPE(thistype)->flds_bnds.bounds |
897 | #define TYPE_LOW_BOUND(range_type) TYPE_RANGE_DATA(range_type)->low | |
898 | #define TYPE_HIGH_BOUND(range_type) TYPE_RANGE_DATA(range_type)->high | |
899 | #define TYPE_LOW_BOUND_UNDEFINED(range_type) \ | |
900 | TYPE_RANGE_DATA(range_type)->low_undefined | |
901 | #define TYPE_HIGH_BOUND_UNDEFINED(range_type) \ | |
902 | TYPE_RANGE_DATA(range_type)->high_undefined | |
c906108c SS |
903 | |
904 | /* Moto-specific stuff for FORTRAN arrays */ | |
905 | ||
d78df370 | 906 | #define TYPE_ARRAY_UPPER_BOUND_IS_UNDEFINED(arraytype) \ |
43bbcdc2 | 907 | TYPE_HIGH_BOUND_UNDEFINED(TYPE_INDEX_TYPE(arraytype)) |
d78df370 | 908 | #define TYPE_ARRAY_LOWER_BOUND_IS_UNDEFINED(arraytype) \ |
43bbcdc2 | 909 | TYPE_LOW_BOUND_UNDEFINED(TYPE_INDEX_TYPE(arraytype)) |
c906108c SS |
910 | |
911 | #define TYPE_ARRAY_UPPER_BOUND_VALUE(arraytype) \ | |
262452ec | 912 | (TYPE_HIGH_BOUND(TYPE_INDEX_TYPE((arraytype)))) |
c906108c SS |
913 | |
914 | #define TYPE_ARRAY_LOWER_BOUND_VALUE(arraytype) \ | |
262452ec | 915 | (TYPE_LOW_BOUND(TYPE_INDEX_TYPE((arraytype)))) |
c906108c SS |
916 | |
917 | /* C++ */ | |
918 | ||
2fdde8f8 DJ |
919 | #define TYPE_VPTR_BASETYPE(thistype) TYPE_MAIN_TYPE(thistype)->vptr_basetype |
920 | #define TYPE_DOMAIN_TYPE(thistype) TYPE_MAIN_TYPE(thistype)->vptr_basetype | |
921 | #define TYPE_VPTR_FIELDNO(thistype) TYPE_MAIN_TYPE(thistype)->vptr_fieldno | |
c906108c SS |
922 | #define TYPE_FN_FIELDS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->fn_fields |
923 | #define TYPE_NFN_FIELDS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->nfn_fields | |
924 | #define TYPE_NFN_FIELDS_TOTAL(thistype) TYPE_CPLUS_SPECIFIC(thistype)->nfn_fields_total | |
b4ba55a1 JB |
925 | #define TYPE_SPECIFIC_FIELD(thistype) \ |
926 | TYPE_MAIN_TYPE(thistype)->type_specific_field | |
2fdde8f8 | 927 | #define TYPE_TYPE_SPECIFIC(thistype) TYPE_MAIN_TYPE(thistype)->type_specific |
b4ba55a1 JB |
928 | /* We need this tap-dance with the TYPE_RAW_SPECIFIC because of the case |
929 | where we're trying to print an Ada array using the C language. | |
930 | In that case, there is no "cplus_stuff", but the C language assumes | |
931 | that there is. What we do, in that case, is pretend that there is | |
932 | an implicit one which is the default cplus stuff. */ | |
933 | #define TYPE_CPLUS_SPECIFIC(thistype) \ | |
934 | (!HAVE_CPLUS_STRUCT(thistype) \ | |
935 | ? (struct cplus_struct_type*)&cplus_struct_default \ | |
936 | : TYPE_RAW_CPLUS_SPECIFIC(thistype)) | |
937 | #define TYPE_RAW_CPLUS_SPECIFIC(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.cplus_stuff | |
2fdde8f8 | 938 | #define TYPE_FLOATFORMAT(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.floatformat |
b4ba55a1 JB |
939 | #define TYPE_GNAT_SPECIFIC(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.gnat_stuff |
940 | #define TYPE_DESCRIPTIVE_TYPE(thistype) TYPE_GNAT_SPECIFIC(thistype)->descriptive_type | |
c055b101 | 941 | #define TYPE_CALLING_CONVENTION(thistype) TYPE_MAIN_TYPE(thistype)->type_specific.calling_convention |
43bbcdc2 | 942 | #define TYPE_BASECLASS(thistype,index) TYPE_FIELD_TYPE(thistype, index) |
c906108c | 943 | #define TYPE_N_BASECLASSES(thistype) TYPE_CPLUS_SPECIFIC(thistype)->n_baseclasses |
43bbcdc2 | 944 | #define TYPE_BASECLASS_NAME(thistype,index) TYPE_FIELD_NAME(thistype, index) |
c906108c SS |
945 | #define TYPE_BASECLASS_BITPOS(thistype,index) TYPE_FIELD_BITPOS(thistype,index) |
946 | #define BASETYPE_VIA_PUBLIC(thistype, index) \ | |
947 | ((!TYPE_FIELD_PRIVATE(thistype, index)) && (!TYPE_FIELD_PROTECTED(thistype, index))) | |
d48cc9dd | 948 | #define TYPE_CPLUS_DYNAMIC(thistype) TYPE_CPLUS_SPECIFIC (thistype)->is_dynamic |
c906108c SS |
949 | |
950 | #define BASETYPE_VIA_VIRTUAL(thistype, index) \ | |
951 | (TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits == NULL ? 0 \ | |
952 | : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits, (index))) | |
953 | ||
954 | #define FIELD_TYPE(thisfld) ((thisfld).type) | |
955 | #define FIELD_NAME(thisfld) ((thisfld).name) | |
d6a843b5 | 956 | #define FIELD_LOC_KIND(thisfld) ((thisfld).loc_kind) |
c906108c | 957 | #define FIELD_BITPOS(thisfld) ((thisfld).loc.bitpos) |
d6a843b5 JK |
958 | #define FIELD_STATIC_PHYSNAME(thisfld) ((thisfld).loc.physname) |
959 | #define FIELD_STATIC_PHYSADDR(thisfld) ((thisfld).loc.physaddr) | |
960 | #define FIELD_DWARF_BLOCK(thisfld) ((thisfld).loc.dwarf_block) | |
961 | #define SET_FIELD_BITPOS(thisfld, bitpos) \ | |
962 | (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_BITPOS, \ | |
963 | FIELD_BITPOS (thisfld) = (bitpos)) | |
964 | #define SET_FIELD_PHYSNAME(thisfld, name) \ | |
965 | (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_PHYSNAME, \ | |
966 | FIELD_STATIC_PHYSNAME (thisfld) = (name)) | |
967 | #define SET_FIELD_PHYSADDR(thisfld, addr) \ | |
968 | (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_PHYSADDR, \ | |
969 | FIELD_STATIC_PHYSADDR (thisfld) = (addr)) | |
970 | #define SET_FIELD_DWARF_BLOCK(thisfld, addr) \ | |
971 | (FIELD_LOC_KIND (thisfld) = FIELD_LOC_KIND_DWARF_BLOCK, \ | |
972 | FIELD_DWARF_BLOCK (thisfld) = (addr)) | |
01ad7f36 | 973 | #define FIELD_ARTIFICIAL(thisfld) ((thisfld).artificial) |
c906108c | 974 | #define FIELD_BITSIZE(thisfld) ((thisfld).bitsize) |
d6a843b5 | 975 | |
43bbcdc2 | 976 | #define TYPE_FIELD(thistype, n) TYPE_MAIN_TYPE(thistype)->flds_bnds.fields[n] |
c906108c SS |
977 | #define TYPE_FIELD_TYPE(thistype, n) FIELD_TYPE(TYPE_FIELD(thistype, n)) |
978 | #define TYPE_FIELD_NAME(thistype, n) FIELD_NAME(TYPE_FIELD(thistype, n)) | |
d6a843b5 JK |
979 | #define TYPE_FIELD_LOC_KIND(thistype, n) FIELD_LOC_KIND (TYPE_FIELD (thistype, n)) |
980 | #define TYPE_FIELD_BITPOS(thistype, n) FIELD_BITPOS (TYPE_FIELD (thistype, n)) | |
981 | #define TYPE_FIELD_STATIC_PHYSNAME(thistype, n) FIELD_STATIC_PHYSNAME (TYPE_FIELD (thistype, n)) | |
982 | #define TYPE_FIELD_STATIC_PHYSADDR(thistype, n) FIELD_STATIC_PHYSADDR (TYPE_FIELD (thistype, n)) | |
983 | #define TYPE_FIELD_DWARF_BLOCK(thistype, n) FIELD_DWARF_BLOCK (TYPE_FIELD (thistype, n)) | |
8176bb6d | 984 | #define TYPE_FIELD_ARTIFICIAL(thistype, n) FIELD_ARTIFICIAL(TYPE_FIELD(thistype,n)) |
c906108c SS |
985 | #define TYPE_FIELD_BITSIZE(thistype, n) FIELD_BITSIZE(TYPE_FIELD(thistype,n)) |
986 | #define TYPE_FIELD_PACKED(thistype, n) (FIELD_BITSIZE(TYPE_FIELD(thistype,n))!=0) | |
c906108c SS |
987 | |
988 | #define TYPE_FIELD_PRIVATE_BITS(thistype) \ | |
989 | TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits | |
990 | #define TYPE_FIELD_PROTECTED_BITS(thistype) \ | |
991 | TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits | |
992 | #define TYPE_FIELD_IGNORE_BITS(thistype) \ | |
993 | TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits | |
994 | #define TYPE_FIELD_VIRTUAL_BITS(thistype) \ | |
995 | TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits | |
996 | #define SET_TYPE_FIELD_PRIVATE(thistype, n) \ | |
997 | B_SET (TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits, (n)) | |
998 | #define SET_TYPE_FIELD_PROTECTED(thistype, n) \ | |
999 | B_SET (TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits, (n)) | |
1000 | #define SET_TYPE_FIELD_IGNORE(thistype, n) \ | |
1001 | B_SET (TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits, (n)) | |
1002 | #define SET_TYPE_FIELD_VIRTUAL(thistype, n) \ | |
1003 | B_SET (TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits, (n)) | |
1004 | #define TYPE_FIELD_PRIVATE(thistype, n) \ | |
1005 | (TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits == NULL ? 0 \ | |
1006 | : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->private_field_bits, (n))) | |
1007 | #define TYPE_FIELD_PROTECTED(thistype, n) \ | |
1008 | (TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits == NULL ? 0 \ | |
1009 | : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->protected_field_bits, (n))) | |
1010 | #define TYPE_FIELD_IGNORE(thistype, n) \ | |
1011 | (TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits == NULL ? 0 \ | |
1012 | : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->ignore_field_bits, (n))) | |
1013 | #define TYPE_FIELD_VIRTUAL(thistype, n) \ | |
1014 | (TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits == NULL ? 0 \ | |
1015 | : B_TST(TYPE_CPLUS_SPECIFIC(thistype)->virtual_field_bits, (n))) | |
1016 | ||
c906108c SS |
1017 | #define TYPE_FN_FIELDLISTS(thistype) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists |
1018 | #define TYPE_FN_FIELDLIST(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n] | |
1019 | #define TYPE_FN_FIELDLIST1(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n].fn_fields | |
1020 | #define TYPE_FN_FIELDLIST_NAME(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n].name | |
1021 | #define TYPE_FN_FIELDLIST_LENGTH(thistype, n) TYPE_CPLUS_SPECIFIC(thistype)->fn_fieldlists[n].length | |
1022 | ||
1023 | #define TYPE_FN_FIELD(thisfn, n) (thisfn)[n] | |
1024 | #define TYPE_FN_FIELD_PHYSNAME(thisfn, n) (thisfn)[n].physname | |
1025 | #define TYPE_FN_FIELD_TYPE(thisfn, n) (thisfn)[n].type | |
ad2f7632 | 1026 | #define TYPE_FN_FIELD_ARGS(thisfn, n) TYPE_FIELDS ((thisfn)[n].type) |
c906108c SS |
1027 | #define TYPE_FN_FIELD_CONST(thisfn, n) ((thisfn)[n].is_const) |
1028 | #define TYPE_FN_FIELD_VOLATILE(thisfn, n) ((thisfn)[n].is_volatile) | |
1029 | #define TYPE_FN_FIELD_PRIVATE(thisfn, n) ((thisfn)[n].is_private) | |
1030 | #define TYPE_FN_FIELD_PROTECTED(thisfn, n) ((thisfn)[n].is_protected) | |
1031 | #define TYPE_FN_FIELD_PUBLIC(thisfn, n) ((thisfn)[n].is_public) | |
1032 | #define TYPE_FN_FIELD_STATIC(thisfn, n) ((thisfn)[n].is_static) | |
1033 | #define TYPE_FN_FIELD_FINAL(thisfn, n) ((thisfn)[n].is_final) | |
1034 | #define TYPE_FN_FIELD_SYNCHRONIZED(thisfn, n) ((thisfn)[n].is_synchronized) | |
1035 | #define TYPE_FN_FIELD_NATIVE(thisfn, n) ((thisfn)[n].is_native) | |
b02dede2 | 1036 | #define TYPE_FN_FIELD_ARTIFICIAL(thisfn, n) ((thisfn)[n].is_artificial) |
c906108c SS |
1037 | #define TYPE_FN_FIELD_ABSTRACT(thisfn, n) ((thisfn)[n].is_abstract) |
1038 | #define TYPE_FN_FIELD_STUB(thisfn, n) ((thisfn)[n].is_stub) | |
c906108c SS |
1039 | #define TYPE_FN_FIELD_FCONTEXT(thisfn, n) ((thisfn)[n].fcontext) |
1040 | #define TYPE_FN_FIELD_VOFFSET(thisfn, n) ((thisfn)[n].voffset-2) | |
1041 | #define TYPE_FN_FIELD_VIRTUAL_P(thisfn, n) ((thisfn)[n].voffset > 1) | |
1042 | #define TYPE_FN_FIELD_STATIC_P(thisfn, n) ((thisfn)[n].voffset == VOFFSET_STATIC) | |
1043 | ||
c906108c SS |
1044 | #define TYPE_LOCALTYPE_PTR(thistype) (TYPE_CPLUS_SPECIFIC(thistype)->localtype_ptr) |
1045 | #define TYPE_LOCALTYPE_FILE(thistype) (TYPE_CPLUS_SPECIFIC(thistype)->localtype_ptr->file) | |
1046 | #define TYPE_LOCALTYPE_LINE(thistype) (TYPE_CPLUS_SPECIFIC(thistype)->localtype_ptr->line) | |
c5aa993b | 1047 | |
c906108c | 1048 | #define TYPE_IS_OPAQUE(thistype) (((TYPE_CODE (thistype) == TYPE_CODE_STRUCT) || \ |
7b83ea04 AC |
1049 | (TYPE_CODE (thistype) == TYPE_CODE_UNION)) && \ |
1050 | (TYPE_NFIELDS (thistype) == 0) && \ | |
3c13bc11 DJ |
1051 | (!HAVE_CPLUS_STRUCT (thistype) \ |
1052 | || TYPE_NFN_FIELDS (thistype) == 0) && \ | |
d77b6808 | 1053 | (TYPE_STUB (thistype) || !TYPE_STUB_SUPPORTED (thistype))) |
c5aa993b | 1054 | |
000177f0 AC |
1055 | struct builtin_type |
1056 | { | |
46bf5051 UW |
1057 | /* Integral types. */ |
1058 | ||
1059 | /* Implicit size/sign (based on the the architecture's ABI). */ | |
1060 | struct type *builtin_void; | |
1061 | struct type *builtin_char; | |
1062 | struct type *builtin_short; | |
1063 | struct type *builtin_int; | |
1064 | struct type *builtin_long; | |
1065 | struct type *builtin_signed_char; | |
1066 | struct type *builtin_unsigned_char; | |
1067 | struct type *builtin_unsigned_short; | |
1068 | struct type *builtin_unsigned_int; | |
1069 | struct type *builtin_unsigned_long; | |
1070 | struct type *builtin_float; | |
1071 | struct type *builtin_double; | |
1072 | struct type *builtin_long_double; | |
1073 | struct type *builtin_complex; | |
1074 | struct type *builtin_double_complex; | |
1075 | struct type *builtin_string; | |
1076 | struct type *builtin_bool; | |
1077 | struct type *builtin_long_long; | |
1078 | struct type *builtin_unsigned_long_long; | |
1079 | struct type *builtin_decfloat; | |
1080 | struct type *builtin_decdouble; | |
1081 | struct type *builtin_declong; | |
1082 | ||
69feb676 UW |
1083 | /* "True" character types. |
1084 | We use these for the '/c' print format, because c_char is just a | |
1085 | one-byte integral type, which languages less laid back than C | |
1086 | will print as ... well, a one-byte integral type. */ | |
1087 | struct type *builtin_true_char; | |
1088 | struct type *builtin_true_unsigned_char; | |
1089 | ||
df4df182 UW |
1090 | /* Explicit sizes - see C9X <intypes.h> for naming scheme. The "int0" |
1091 | is for when an architecture needs to describe a register that has | |
1092 | no size. */ | |
1093 | struct type *builtin_int0; | |
1094 | struct type *builtin_int8; | |
1095 | struct type *builtin_uint8; | |
1096 | struct type *builtin_int16; | |
1097 | struct type *builtin_uint16; | |
1098 | struct type *builtin_int32; | |
1099 | struct type *builtin_uint32; | |
1100 | struct type *builtin_int64; | |
1101 | struct type *builtin_uint64; | |
1102 | struct type *builtin_int128; | |
1103 | struct type *builtin_uint128; | |
1104 | ||
9a22f0d0 PM |
1105 | /* Wide character types. */ |
1106 | struct type *builtin_char16; | |
1107 | struct type *builtin_char32; | |
46bf5051 UW |
1108 | |
1109 | /* Pointer types. */ | |
000177f0 AC |
1110 | |
1111 | /* `pointer to data' type. Some target platforms use an implicitly | |
1112 | {sign,zero} -extended 32-bit ABI pointer on a 64-bit ISA. */ | |
1113 | struct type *builtin_data_ptr; | |
1114 | ||
1115 | /* `pointer to function (returning void)' type. Harvard | |
1116 | architectures mean that ABI function and code pointers are not | |
1117 | interconvertible. Similarly, since ANSI, C standards have | |
1118 | explicitly said that pointers to functions and pointers to data | |
1119 | are not interconvertible --- that is, you can't cast a function | |
1120 | pointer to void * and back, and expect to get the same value. | |
1121 | However, all function pointer types are interconvertible, so void | |
1122 | (*) () can server as a generic function pointer. */ | |
1123 | struct type *builtin_func_ptr; | |
78267919 UW |
1124 | |
1125 | ||
1126 | /* Special-purpose types. */ | |
1127 | ||
1128 | /* This type is used to represent a GDB internal function. */ | |
1129 | struct type *internal_fn; | |
46bf5051 | 1130 | }; |
000177f0 | 1131 | |
46bf5051 UW |
1132 | /* Return the type table for the specified architecture. */ |
1133 | extern const struct builtin_type *builtin_type (struct gdbarch *gdbarch); | |
64c50499 UW |
1134 | |
1135 | ||
46bf5051 | 1136 | /* Per-objfile types used by symbol readers. */ |
000177f0 | 1137 | |
46bf5051 UW |
1138 | struct objfile_type |
1139 | { | |
1140 | /* Basic types based on the objfile architecture. */ | |
000177f0 AC |
1141 | struct type *builtin_void; |
1142 | struct type *builtin_char; | |
1143 | struct type *builtin_short; | |
1144 | struct type *builtin_int; | |
1145 | struct type *builtin_long; | |
46bf5051 | 1146 | struct type *builtin_long_long; |
000177f0 AC |
1147 | struct type *builtin_signed_char; |
1148 | struct type *builtin_unsigned_char; | |
1149 | struct type *builtin_unsigned_short; | |
1150 | struct type *builtin_unsigned_int; | |
1151 | struct type *builtin_unsigned_long; | |
46bf5051 | 1152 | struct type *builtin_unsigned_long_long; |
000177f0 AC |
1153 | struct type *builtin_float; |
1154 | struct type *builtin_double; | |
1155 | struct type *builtin_long_double; | |
46bf5051 UW |
1156 | |
1157 | /* This type is used to represent symbol addresses. */ | |
1158 | struct type *builtin_core_addr; | |
1159 | ||
1160 | /* This type represents a type that was unrecognized in symbol read-in. */ | |
1161 | struct type *builtin_error; | |
1162 | ||
1163 | /* Types used for symbols with no debug information. */ | |
1164 | struct type *nodebug_text_symbol; | |
1165 | struct type *nodebug_data_symbol; | |
1166 | struct type *nodebug_unknown_symbol; | |
1167 | struct type *nodebug_tls_symbol; | |
000177f0 | 1168 | }; |
c5aa993b | 1169 | |
46bf5051 UW |
1170 | /* Return the type table for the specified objfile. */ |
1171 | extern const struct objfile_type *objfile_type (struct objfile *objfile); | |
c5aa993b | 1172 | |
5674de60 | 1173 | |
598f52df | 1174 | /* Explicit floating-point formats. See "floatformat.h". */ |
8da61cc4 DJ |
1175 | extern const struct floatformat *floatformats_ieee_single[BFD_ENDIAN_UNKNOWN]; |
1176 | extern const struct floatformat *floatformats_ieee_double[BFD_ENDIAN_UNKNOWN]; | |
1177 | extern const struct floatformat *floatformats_ieee_double_littlebyte_bigword[BFD_ENDIAN_UNKNOWN]; | |
1178 | extern const struct floatformat *floatformats_i387_ext[BFD_ENDIAN_UNKNOWN]; | |
1179 | extern const struct floatformat *floatformats_m68881_ext[BFD_ENDIAN_UNKNOWN]; | |
1180 | extern const struct floatformat *floatformats_arm_ext[BFD_ENDIAN_UNKNOWN]; | |
1181 | extern const struct floatformat *floatformats_ia64_spill[BFD_ENDIAN_UNKNOWN]; | |
1182 | extern const struct floatformat *floatformats_ia64_quad[BFD_ENDIAN_UNKNOWN]; | |
1183 | extern const struct floatformat *floatformats_vax_f[BFD_ENDIAN_UNKNOWN]; | |
1184 | extern const struct floatformat *floatformats_vax_d[BFD_ENDIAN_UNKNOWN]; | |
b14d30e1 | 1185 | extern const struct floatformat *floatformats_ibm_long_double[BFD_ENDIAN_UNKNOWN]; |
8da61cc4 | 1186 | |
fde6c819 | 1187 | |
c906108c SS |
1188 | /* Allocate space for storing data associated with a particular type. |
1189 | We ensure that the space is allocated using the same mechanism that | |
1190 | was used to allocate the space for the type structure itself. I.E. | |
b99607ea EZ |
1191 | if the type is on an objfile's objfile_obstack, then the space for data |
1192 | associated with that type will also be allocated on the objfile_obstack. | |
c906108c SS |
1193 | If the type is not associated with any particular objfile (such as |
1194 | builtin types), then the data space will be allocated with xmalloc, | |
1195 | the same as for the type structure. */ | |
1196 | ||
1197 | #define TYPE_ALLOC(t,size) \ | |
e9bb382b | 1198 | (TYPE_OBJFILE_OWNED (t) \ |
b99607ea | 1199 | ? obstack_alloc (&TYPE_OBJFILE (t) -> objfile_obstack, size) \ |
c906108c SS |
1200 | : xmalloc (size)) |
1201 | ||
ae5a43e0 | 1202 | #define TYPE_ZALLOC(t,size) \ |
e9bb382b | 1203 | (TYPE_OBJFILE_OWNED (t) \ |
ae5a43e0 DJ |
1204 | ? memset (obstack_alloc (&TYPE_OBJFILE (t)->objfile_obstack, size), \ |
1205 | 0, size) \ | |
1206 | : xzalloc (size)) | |
1207 | ||
e9bb382b UW |
1208 | /* Use alloc_type to allocate a type owned by an objfile. |
1209 | Use alloc_type_arch to allocate a type owned by an architecture. | |
1210 | Use alloc_type_copy to allocate a type with the same owner as a | |
1211 | pre-existing template type, no matter whether objfile or gdbarch. */ | |
a14ed312 | 1212 | extern struct type *alloc_type (struct objfile *); |
e9bb382b UW |
1213 | extern struct type *alloc_type_arch (struct gdbarch *); |
1214 | extern struct type *alloc_type_copy (const struct type *); | |
c906108c | 1215 | |
e9bb382b UW |
1216 | /* Return the type's architecture. For types owned by an architecture, |
1217 | that architecture is returned. For types owned by an objfile, that | |
1218 | objfile's architecture is returned. */ | |
1219 | extern struct gdbarch *get_type_arch (const struct type *); | |
1220 | ||
1221 | /* Helper function to construct objfile-owned types. */ | |
a14ed312 KB |
1222 | extern struct type *init_type (enum type_code, int, int, char *, |
1223 | struct objfile *); | |
c906108c | 1224 | |
e9bb382b UW |
1225 | /* Helper functions to construct architecture-owned types. */ |
1226 | extern struct type *arch_type (struct gdbarch *, enum type_code, int, char *); | |
1227 | extern struct type *arch_integer_type (struct gdbarch *, int, int, char *); | |
1228 | extern struct type *arch_character_type (struct gdbarch *, int, int, char *); | |
1229 | extern struct type *arch_boolean_type (struct gdbarch *, int, int, char *); | |
1230 | extern struct type *arch_float_type (struct gdbarch *, int, char *, | |
1231 | const struct floatformat **); | |
1232 | extern struct type *arch_complex_type (struct gdbarch *, char *, | |
1233 | struct type *); | |
1234 | ||
0e101458 | 1235 | /* Helper functions to construct a struct or record type. An |
e9bb382b | 1236 | initially empty type is created using arch_composite_type(). |
eb90ce83 | 1237 | Fields are then added using append_composite_type_field*(). A union |
0e101458 AC |
1238 | type has its size set to the largest field. A struct type has each |
1239 | field packed against the previous. */ | |
1240 | ||
e9bb382b UW |
1241 | extern struct type *arch_composite_type (struct gdbarch *gdbarch, |
1242 | char *name, enum type_code code); | |
0e101458 AC |
1243 | extern void append_composite_type_field (struct type *t, char *name, |
1244 | struct type *field); | |
4aa995e1 PA |
1245 | extern void append_composite_type_field_aligned (struct type *t, |
1246 | char *name, | |
1247 | struct type *field, | |
1248 | int alignment); | |
f5dff777 DJ |
1249 | struct field *append_composite_type_field_raw (struct type *t, char *name, |
1250 | struct type *field); | |
0e101458 | 1251 | |
4f2aea11 | 1252 | /* Helper functions to construct a bit flags type. An initially empty |
e9bb382b | 1253 | type is created using arch_flag_type(). Flags are then added using |
4f2aea11 | 1254 | append_flag_type_flag(). */ |
e9bb382b UW |
1255 | extern struct type *arch_flags_type (struct gdbarch *gdbarch, |
1256 | char *name, int length); | |
4f2aea11 MK |
1257 | extern void append_flags_type_flag (struct type *type, int bitpos, char *name); |
1258 | ||
ea37ba09 | 1259 | extern void make_vector_type (struct type *array_type); |
794ac428 UW |
1260 | extern struct type *init_vector_type (struct type *elt_type, int n); |
1261 | ||
a14ed312 | 1262 | extern struct type *lookup_reference_type (struct type *); |
c906108c | 1263 | |
a14ed312 | 1264 | extern struct type *make_reference_type (struct type *, struct type **); |
c906108c | 1265 | |
a14ed312 | 1266 | extern struct type *make_cv_type (int, int, struct type *, struct type **); |
c906108c | 1267 | |
dd6bda65 DJ |
1268 | extern void replace_type (struct type *, struct type *); |
1269 | ||
50810684 | 1270 | extern int address_space_name_to_int (struct gdbarch *, char *); |
47663de5 | 1271 | |
50810684 | 1272 | extern const char *address_space_int_to_name (struct gdbarch *, int); |
47663de5 MS |
1273 | |
1274 | extern struct type *make_type_with_address_space (struct type *type, | |
1275 | int space_identifier); | |
1276 | ||
0d5de010 DJ |
1277 | extern struct type *lookup_memberptr_type (struct type *, struct type *); |
1278 | ||
1279 | extern struct type *lookup_methodptr_type (struct type *); | |
c906108c | 1280 | |
0d5de010 DJ |
1281 | extern void smash_to_method_type (struct type *type, struct type *domain, |
1282 | struct type *to_type, struct field *args, | |
1283 | int nargs, int varargs); | |
c906108c | 1284 | |
0d5de010 DJ |
1285 | extern void smash_to_memberptr_type (struct type *, struct type *, |
1286 | struct type *); | |
c906108c | 1287 | |
0b92b5bb TT |
1288 | extern void smash_to_methodptr_type (struct type *, struct type *); |
1289 | ||
a14ed312 | 1290 | extern struct type *allocate_stub_method (struct type *); |
c906108c | 1291 | |
a14ed312 | 1292 | extern char *type_name_no_tag (const struct type *); |
c906108c | 1293 | |
a14ed312 | 1294 | extern struct type *lookup_struct_elt_type (struct type *, char *, int); |
c906108c | 1295 | |
a14ed312 | 1296 | extern struct type *make_pointer_type (struct type *, struct type **); |
c906108c | 1297 | |
a14ed312 | 1298 | extern struct type *lookup_pointer_type (struct type *); |
c906108c | 1299 | |
0c8b41f1 | 1300 | extern struct type *make_function_type (struct type *, struct type **); |
c906108c | 1301 | |
a14ed312 | 1302 | extern struct type *lookup_function_type (struct type *); |
c906108c | 1303 | |
43bbcdc2 PH |
1304 | extern struct type *create_range_type (struct type *, struct type *, LONGEST, |
1305 | LONGEST); | |
c906108c | 1306 | |
a14ed312 KB |
1307 | extern struct type *create_array_type (struct type *, struct type *, |
1308 | struct type *); | |
e3506a9f | 1309 | extern struct type *lookup_array_range_type (struct type *, int, int); |
c906108c | 1310 | |
3b7538c0 UW |
1311 | extern struct type *create_string_type (struct type *, struct type *, |
1312 | struct type *); | |
e3506a9f | 1313 | extern struct type *lookup_string_range_type (struct type *, int, int); |
c906108c | 1314 | |
a14ed312 | 1315 | extern struct type *create_set_type (struct type *, struct type *); |
c906108c | 1316 | |
e6c014f2 UW |
1317 | extern struct type *lookup_unsigned_typename (const struct language_defn *, |
1318 | struct gdbarch *,char *); | |
c906108c | 1319 | |
e6c014f2 UW |
1320 | extern struct type *lookup_signed_typename (const struct language_defn *, |
1321 | struct gdbarch *,char *); | |
c906108c | 1322 | |
a14ed312 | 1323 | extern struct type *check_typedef (struct type *); |
c906108c | 1324 | |
78485d59 TT |
1325 | #define CHECK_TYPEDEF(TYPE) \ |
1326 | do { \ | |
1327 | (TYPE) = check_typedef (TYPE); \ | |
1328 | } while (0) | |
c906108c | 1329 | |
de17c821 | 1330 | extern void check_stub_method_group (struct type *, int); |
c906108c | 1331 | |
a14ed312 | 1332 | extern char *gdb_mangle_name (struct type *, int, int); |
c906108c | 1333 | |
e6c014f2 UW |
1334 | extern struct type *lookup_typename (const struct language_defn *, |
1335 | struct gdbarch *, char *, | |
1336 | struct block *, int); | |
c906108c | 1337 | |
a14ed312 KB |
1338 | extern struct type *lookup_template_type (char *, struct type *, |
1339 | struct block *); | |
c906108c | 1340 | |
81fe8080 | 1341 | extern int get_vptr_fieldno (struct type *, struct type **); |
c906108c | 1342 | |
a14ed312 | 1343 | extern int get_discrete_bounds (struct type *, LONGEST *, LONGEST *); |
c906108c | 1344 | |
4e8f195d TT |
1345 | extern int class_types_same_p (const struct type *, const struct type *); |
1346 | ||
a14ed312 | 1347 | extern int is_ancestor (struct type *, struct type *); |
c906108c | 1348 | |
4e8f195d TT |
1349 | extern int is_public_ancestor (struct type *, struct type *); |
1350 | ||
1351 | extern int is_unique_ancestor (struct type *, struct value *); | |
1352 | ||
c906108c SS |
1353 | /* Overload resolution */ |
1354 | ||
1355 | #define LENGTH_MATCH(bv) ((bv)->rank[0]) | |
1356 | ||
c5aa993b | 1357 | /* Badness if parameter list length doesn't match arg list length */ |
c906108c | 1358 | #define LENGTH_MISMATCH_BADNESS 100 |
c5aa993b | 1359 | /* Dummy badness value for nonexistent parameter positions */ |
c906108c SS |
1360 | #define TOO_FEW_PARAMS_BADNESS 100 |
1361 | /* Badness if no conversion among types */ | |
1362 | #define INCOMPATIBLE_TYPE_BADNESS 100 | |
c906108c SS |
1363 | |
1364 | /* Badness of integral promotion */ | |
1365 | #define INTEGER_PROMOTION_BADNESS 1 | |
1366 | /* Badness of floating promotion */ | |
1367 | #define FLOAT_PROMOTION_BADNESS 1 | |
1368 | /* Badness of integral conversion */ | |
1369 | #define INTEGER_CONVERSION_BADNESS 2 | |
1370 | /* Badness of floating conversion */ | |
1371 | #define FLOAT_CONVERSION_BADNESS 2 | |
1372 | /* Badness of integer<->floating conversions */ | |
1373 | #define INT_FLOAT_CONVERSION_BADNESS 2 | |
1374 | /* Badness of converting to a boolean */ | |
1375 | #define BOOLEAN_CONVERSION_BADNESS 2 | |
1376 | /* Badness of pointer conversion */ | |
1377 | #define POINTER_CONVERSION_BADNESS 2 | |
1378 | /* Badness of conversion of pointer to void pointer */ | |
1379 | #define VOID_PTR_CONVERSION_BADNESS 2 | |
db577aea | 1380 | /* Badness of converting derived to base class */ |
c906108c | 1381 | #define BASE_CONVERSION_BADNESS 2 |
db577aea AC |
1382 | /* Badness of converting from non-reference to reference */ |
1383 | #define REFERENCE_CONVERSION_BADNESS 2 | |
7b83ea04 | 1384 | |
c906108c SS |
1385 | /* Non-standard conversions allowed by the debugger */ |
1386 | /* Converting a pointer to an int is usually OK */ | |
1387 | #define NS_POINTER_CONVERSION_BADNESS 10 | |
1388 | ||
1389 | ||
a14ed312 | 1390 | extern int compare_badness (struct badness_vector *, struct badness_vector *); |
c906108c | 1391 | |
a14ed312 KB |
1392 | extern struct badness_vector *rank_function (struct type **, int, |
1393 | struct type **, int); | |
c906108c | 1394 | |
a14ed312 | 1395 | extern int rank_one_type (struct type *, struct type *); |
c906108c | 1396 | |
a14ed312 | 1397 | extern void recursive_dump_type (struct type *, int); |
c906108c | 1398 | |
d6a843b5 JK |
1399 | extern int field_is_static (struct field *); |
1400 | ||
c906108c SS |
1401 | /* printcmd.c */ |
1402 | ||
79a45b7d TT |
1403 | extern void print_scalar_formatted (const void *, struct type *, |
1404 | const struct value_print_options *, | |
1405 | int, struct ui_file *); | |
c906108c | 1406 | |
a14ed312 | 1407 | extern int can_dereference (struct type *); |
c906108c | 1408 | |
a14ed312 | 1409 | extern int is_integral_type (struct type *); |
adf40b2e | 1410 | |
a14ed312 | 1411 | extern void maintenance_print_type (char *, int); |
c906108c | 1412 | |
ae5a43e0 DJ |
1413 | extern htab_t create_copied_types_hash (struct objfile *objfile); |
1414 | ||
1415 | extern struct type *copy_type_recursive (struct objfile *objfile, | |
1416 | struct type *type, | |
1417 | htab_t copied_types); | |
1418 | ||
4af88198 JB |
1419 | extern struct type *copy_type (const struct type *type); |
1420 | ||
c5aa993b | 1421 | #endif /* GDBTYPES_H */ |