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