* eval.c (evaluate_subexp): Clean up handling of
[binutils-gdb.git] / gdb / gdbtypes.c
1 /* Support routines for manipulating internal types for GDB.
2 Copyright (C) 1992 Free Software Foundation, Inc.
3 Contributed by Cygnus Support, using pieces from other GDB modules.
4
5 This file is part of GDB.
6
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2 of the License, or
10 (at your option) any later version.
11
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
20
21 #include "defs.h"
22 #include <string.h>
23 #include "bfd.h"
24 #include "symtab.h"
25 #include "symfile.h"
26 #include "objfiles.h"
27 #include "gdbtypes.h"
28 #include "expression.h"
29 #include "language.h"
30 #include "target.h"
31 #include "value.h"
32 #include "demangle.h"
33 #include "complaints.h"
34
35 /* These variables point to the objects
36 representing the predefined C data types. */
37
38 struct type *builtin_type_void;
39 struct type *builtin_type_char;
40 struct type *builtin_type_short;
41 struct type *builtin_type_int;
42 struct type *builtin_type_long;
43 struct type *builtin_type_long_long;
44 struct type *builtin_type_signed_char;
45 struct type *builtin_type_unsigned_char;
46 struct type *builtin_type_unsigned_short;
47 struct type *builtin_type_unsigned_int;
48 struct type *builtin_type_unsigned_long;
49 struct type *builtin_type_unsigned_long_long;
50 struct type *builtin_type_float;
51 struct type *builtin_type_double;
52 struct type *builtin_type_long_double;
53 struct type *builtin_type_complex;
54 struct type *builtin_type_double_complex;
55 struct type *builtin_type_string;
56
57 /* Alloc a new type structure and fill it with some defaults. If
58 OBJFILE is non-NULL, then allocate the space for the type structure
59 in that objfile's type_obstack. */
60
61 struct type *
62 alloc_type (objfile)
63 struct objfile *objfile;
64 {
65 register struct type *type;
66
67 /* Alloc the structure and start off with all fields zeroed. */
68
69 if (objfile == NULL)
70 {
71 type = (struct type *) xmalloc (sizeof (struct type));
72 }
73 else
74 {
75 type = (struct type *) obstack_alloc (&objfile -> type_obstack,
76 sizeof (struct type));
77 }
78 memset ((char *) type, 0, sizeof (struct type));
79
80 /* Initialize the fields that might not be zero. */
81
82 TYPE_CODE (type) = TYPE_CODE_UNDEF;
83 TYPE_OBJFILE (type) = objfile;
84 TYPE_VPTR_FIELDNO (type) = -1;
85
86 return (type);
87 }
88
89 /* Lookup a pointer to a type TYPE. TYPEPTR, if nonzero, points
90 to a pointer to memory where the pointer type should be stored.
91 If *TYPEPTR is zero, update it to point to the pointer type we return.
92 We allocate new memory if needed. */
93
94 struct type *
95 make_pointer_type (type, typeptr)
96 struct type *type;
97 struct type **typeptr;
98 {
99 register struct type *ntype; /* New type */
100 struct objfile *objfile;
101
102 ntype = TYPE_POINTER_TYPE (type);
103
104 if (ntype)
105 if (typeptr == 0)
106 return ntype; /* Don't care about alloc, and have new type. */
107 else if (*typeptr == 0)
108 {
109 *typeptr = ntype; /* Tracking alloc, and we have new type. */
110 return ntype;
111 }
112
113 if (typeptr == 0 || *typeptr == 0) /* We'll need to allocate one. */
114 {
115 ntype = alloc_type (TYPE_OBJFILE (type));
116 if (typeptr)
117 *typeptr = ntype;
118 }
119 else /* We have storage, but need to reset it. */
120 {
121 ntype = *typeptr;
122 objfile = TYPE_OBJFILE (ntype);
123 memset ((char *) ntype, 0, sizeof (struct type));
124 TYPE_OBJFILE (ntype) = objfile;
125 }
126
127 TYPE_TARGET_TYPE (ntype) = type;
128 TYPE_POINTER_TYPE (type) = ntype;
129
130 /* FIXME! Assume the machine has only one representation for pointers! */
131
132 TYPE_LENGTH (ntype) = TARGET_PTR_BIT / TARGET_CHAR_BIT;
133 TYPE_CODE (ntype) = TYPE_CODE_PTR;
134
135 /* pointers are unsigned */
136 TYPE_FLAGS (ntype) |= TYPE_FLAG_UNSIGNED;
137
138 if (!TYPE_POINTER_TYPE (type)) /* Remember it, if don't have one. */
139 TYPE_POINTER_TYPE (type) = ntype;
140
141 return ntype;
142 }
143
144 /* Given a type TYPE, return a type of pointers to that type.
145 May need to construct such a type if this is the first use. */
146
147 struct type *
148 lookup_pointer_type (type)
149 struct type *type;
150 {
151 return make_pointer_type (type, (struct type **)0);
152 }
153
154 /* Lookup a C++ `reference' to a type TYPE. TYPEPTR, if nonzero, points
155 to a pointer to memory where the reference type should be stored.
156 If *TYPEPTR is zero, update it to point to the reference type we return.
157 We allocate new memory if needed. */
158
159 struct type *
160 make_reference_type (type, typeptr)
161 struct type *type;
162 struct type **typeptr;
163 {
164 register struct type *ntype; /* New type */
165 struct objfile *objfile;
166
167 ntype = TYPE_REFERENCE_TYPE (type);
168
169 if (ntype)
170 if (typeptr == 0)
171 return ntype; /* Don't care about alloc, and have new type. */
172 else if (*typeptr == 0)
173 {
174 *typeptr = ntype; /* Tracking alloc, and we have new type. */
175 return ntype;
176 }
177
178 if (typeptr == 0 || *typeptr == 0) /* We'll need to allocate one. */
179 {
180 ntype = alloc_type (TYPE_OBJFILE (type));
181 if (typeptr)
182 *typeptr = ntype;
183 }
184 else /* We have storage, but need to reset it. */
185 {
186 ntype = *typeptr;
187 objfile = TYPE_OBJFILE (ntype);
188 memset ((char *) ntype, 0, sizeof (struct type));
189 TYPE_OBJFILE (ntype) = objfile;
190 }
191
192 TYPE_TARGET_TYPE (ntype) = type;
193 TYPE_REFERENCE_TYPE (type) = ntype;
194
195 /* FIXME! Assume the machine has only one representation for references,
196 and that it matches the (only) representation for pointers! */
197
198 TYPE_LENGTH (ntype) = TARGET_PTR_BIT / TARGET_CHAR_BIT;
199 TYPE_CODE (ntype) = TYPE_CODE_REF;
200
201 if (!TYPE_REFERENCE_TYPE (type)) /* Remember it, if don't have one. */
202 TYPE_REFERENCE_TYPE (type) = ntype;
203
204 return ntype;
205 }
206
207 /* Same as above, but caller doesn't care about memory allocation details. */
208
209 struct type *
210 lookup_reference_type (type)
211 struct type *type;
212 {
213 return make_reference_type (type, (struct type **)0);
214 }
215
216 /* Lookup a function type that returns type TYPE. TYPEPTR, if nonzero, points
217 to a pointer to memory where the function type should be stored.
218 If *TYPEPTR is zero, update it to point to the function type we return.
219 We allocate new memory if needed. */
220
221 struct type *
222 make_function_type (type, typeptr)
223 struct type *type;
224 struct type **typeptr;
225 {
226 register struct type *ntype; /* New type */
227 struct objfile *objfile;
228
229 ntype = TYPE_FUNCTION_TYPE (type);
230
231 if (ntype)
232 if (typeptr == 0)
233 return ntype; /* Don't care about alloc, and have new type. */
234 else if (*typeptr == 0)
235 {
236 *typeptr = ntype; /* Tracking alloc, and we have new type. */
237 return ntype;
238 }
239
240 if (typeptr == 0 || *typeptr == 0) /* We'll need to allocate one. */
241 {
242 ntype = alloc_type (TYPE_OBJFILE (type));
243 if (typeptr)
244 *typeptr = ntype;
245 }
246 else /* We have storage, but need to reset it. */
247 {
248 ntype = *typeptr;
249 objfile = TYPE_OBJFILE (ntype);
250 memset ((char *) ntype, 0, sizeof (struct type));
251 TYPE_OBJFILE (ntype) = objfile;
252 }
253
254 TYPE_TARGET_TYPE (ntype) = type;
255 TYPE_FUNCTION_TYPE (type) = ntype;
256
257 TYPE_LENGTH (ntype) = 1;
258 TYPE_CODE (ntype) = TYPE_CODE_FUNC;
259
260 if (!TYPE_FUNCTION_TYPE (type)) /* Remember it, if don't have one. */
261 TYPE_FUNCTION_TYPE (type) = ntype;
262
263 return ntype;
264 }
265
266
267 /* Given a type TYPE, return a type of functions that return that type.
268 May need to construct such a type if this is the first use. */
269
270 struct type *
271 lookup_function_type (type)
272 struct type *type;
273 {
274 return make_function_type (type, (struct type **)0);
275 }
276
277 /* Implement direct support for MEMBER_TYPE in GNU C++.
278 May need to construct such a type if this is the first use.
279 The TYPE is the type of the member. The DOMAIN is the type
280 of the aggregate that the member belongs to. */
281
282 struct type *
283 lookup_member_type (type, domain)
284 struct type *type;
285 struct type *domain;
286 {
287 register struct type *mtype;
288
289 mtype = alloc_type (TYPE_OBJFILE (type));
290 smash_to_member_type (mtype, domain, type);
291 return (mtype);
292 }
293
294 /* Allocate a stub method whose return type is TYPE.
295 This apparently happens for speed of symbol reading, since parsing
296 out the arguments to the method is cpu-intensive, the way we are doing
297 it. So, we will fill in arguments later.
298 This always returns a fresh type. */
299
300 struct type *
301 allocate_stub_method (type)
302 struct type *type;
303 {
304 struct type *mtype;
305
306 mtype = alloc_type (TYPE_OBJFILE (type));
307 TYPE_TARGET_TYPE (mtype) = type;
308 /* _DOMAIN_TYPE (mtype) = unknown yet */
309 /* _ARG_TYPES (mtype) = unknown yet */
310 TYPE_FLAGS (mtype) = TYPE_FLAG_STUB;
311 TYPE_CODE (mtype) = TYPE_CODE_METHOD;
312 TYPE_LENGTH (mtype) = 1;
313 return (mtype);
314 }
315
316 /* Create a range type using either a blank type supplied in RESULT_TYPE,
317 or creating a new type, inheriting the objfile from INDEX_TYPE.
318
319 Indices will be of type INDEX_TYPE, and will range from LOW_BOUND to
320 HIGH_BOUND, inclusive.
321
322 FIXME: Maybe we should check the TYPE_CODE of RESULT_TYPE to make
323 sure it is TYPE_CODE_UNDEF before we bash it into a range type? */
324
325 struct type *
326 create_range_type (result_type, index_type, low_bound, high_bound)
327 struct type *result_type;
328 struct type *index_type;
329 int low_bound;
330 int high_bound;
331 {
332 if (result_type == NULL)
333 {
334 result_type = alloc_type (TYPE_OBJFILE (index_type));
335 }
336 TYPE_CODE (result_type) = TYPE_CODE_RANGE;
337 TYPE_TARGET_TYPE (result_type) = index_type;
338 TYPE_LENGTH (result_type) = TYPE_LENGTH (index_type);
339 TYPE_NFIELDS (result_type) = 2;
340 TYPE_FIELDS (result_type) = (struct field *)
341 TYPE_ALLOC (result_type, 2 * sizeof (struct field));
342 memset (TYPE_FIELDS (result_type), 0, 2 * sizeof (struct field));
343 TYPE_FIELD_BITPOS (result_type, 0) = low_bound;
344 TYPE_FIELD_BITPOS (result_type, 1) = high_bound;
345 TYPE_FIELD_TYPE (result_type, 0) = builtin_type_int; /* FIXME */
346 TYPE_FIELD_TYPE (result_type, 1) = builtin_type_int; /* FIXME */
347
348 return (result_type);
349 }
350
351 /* A lot of code assumes that the "index type" of an array/string/
352 set/bitstring is specifically a range type, though in some languages
353 it can be any discrete type. */
354
355 struct type *
356 force_to_range_type (type)
357 struct type *type;
358 {
359 switch (TYPE_CODE (type))
360 {
361 case TYPE_CODE_RANGE:
362 return type;
363
364 case TYPE_CODE_ENUM:
365 {
366 int low_bound = TYPE_FIELD_BITPOS (type, 0);
367 int high_bound = TYPE_FIELD_BITPOS (type, TYPE_NFIELDS (type) - 1);
368 struct type *range_type =
369 create_range_type (NULL, type, low_bound, high_bound);
370 TYPE_NAME (range_type) = TYPE_NAME (range_type);
371 TYPE_DUMMY_RANGE (range_type) = 1;
372 return range_type;
373 }
374 case TYPE_CODE_BOOL:
375 {
376 struct type *range_type = create_range_type (NULL, type, 0, 1);
377 TYPE_NAME (range_type) = TYPE_NAME (range_type);
378 TYPE_DUMMY_RANGE (range_type) = 1;
379 return range_type;
380 }
381 case TYPE_CODE_CHAR:
382 {
383 struct type *range_type = create_range_type (NULL, type, 0, 255);
384 TYPE_NAME (range_type) = TYPE_NAME (range_type);
385 TYPE_DUMMY_RANGE (range_type) = 1;
386 return range_type;
387 }
388 default:
389 {
390 static struct complaint msg =
391 { "array index type must be a discrete type", 0, 0};
392 complain (&msg);
393
394 return create_range_type (NULL, builtin_type_int, 0, 0);
395 }
396 }
397 }
398
399 /* Create an array type using either a blank type supplied in RESULT_TYPE,
400 or creating a new type, inheriting the objfile from RANGE_TYPE.
401
402 Elements will be of type ELEMENT_TYPE, the indices will be of type
403 RANGE_TYPE.
404
405 FIXME: Maybe we should check the TYPE_CODE of RESULT_TYPE to make
406 sure it is TYPE_CODE_UNDEF before we bash it into an array type? */
407
408 struct type *
409 create_array_type (result_type, element_type, range_type)
410 struct type *result_type;
411 struct type *element_type;
412 struct type *range_type;
413 {
414 int low_bound;
415 int high_bound;
416
417 range_type = force_to_range_type (range_type);
418 if (result_type == NULL)
419 {
420 result_type = alloc_type (TYPE_OBJFILE (range_type));
421 }
422 TYPE_CODE (result_type) = TYPE_CODE_ARRAY;
423 TYPE_TARGET_TYPE (result_type) = element_type;
424 low_bound = TYPE_LOW_BOUND (range_type);
425 high_bound = TYPE_HIGH_BOUND (range_type);
426 TYPE_LENGTH (result_type) =
427 TYPE_LENGTH (element_type) * (high_bound - low_bound + 1);
428 TYPE_NFIELDS (result_type) = 1;
429 TYPE_FIELDS (result_type) =
430 (struct field *) TYPE_ALLOC (result_type, sizeof (struct field));
431 memset (TYPE_FIELDS (result_type), 0, sizeof (struct field));
432 TYPE_FIELD_TYPE (result_type, 0) = range_type;
433 TYPE_VPTR_FIELDNO (result_type) = -1;
434
435 return (result_type);
436 }
437
438 /* Create a string type using either a blank type supplied in RESULT_TYPE,
439 or creating a new type. String types are similar enough to array of
440 char types that we can use create_array_type to build the basic type
441 and then bash it into a string type.
442
443 For fixed length strings, the range type contains 0 as the lower
444 bound and the length of the string minus one as the upper bound.
445
446 FIXME: Maybe we should check the TYPE_CODE of RESULT_TYPE to make
447 sure it is TYPE_CODE_UNDEF before we bash it into a string type? */
448
449 struct type *
450 create_string_type (result_type, range_type)
451 struct type *result_type;
452 struct type *range_type;
453 {
454 result_type = create_array_type (result_type,
455 *current_language->string_char_type,
456 range_type);
457 TYPE_CODE (result_type) = TYPE_CODE_STRING;
458 return (result_type);
459 }
460
461 struct type *
462 create_set_type (result_type, domain_type)
463 struct type *result_type;
464 struct type *domain_type;
465 {
466 int low_bound, high_bound, bit_length;
467 if (result_type == NULL)
468 {
469 result_type = alloc_type (TYPE_OBJFILE (domain_type));
470 }
471 TYPE_CODE (result_type) = TYPE_CODE_SET;
472 TYPE_NFIELDS (result_type) = 1;
473 TYPE_FIELDS (result_type) = (struct field *)
474 TYPE_ALLOC (result_type, 1 * sizeof (struct field));
475 memset (TYPE_FIELDS (result_type), 0, sizeof (struct field));
476
477 if (! (TYPE_FLAGS (domain_type) & TYPE_FLAG_STUB))
478 {
479 domain_type = force_to_range_type (domain_type);
480 low_bound = TYPE_LOW_BOUND (domain_type);
481 high_bound = TYPE_HIGH_BOUND (domain_type);
482 bit_length = high_bound - low_bound + 1;
483 TYPE_LENGTH (result_type)
484 = ((bit_length + TARGET_CHAR_BIT - 1) / TARGET_CHAR_BIT)
485 * TARGET_CHAR_BIT;
486 }
487 TYPE_FIELD_TYPE (result_type, 0) = domain_type;
488 return (result_type);
489 }
490
491 /* Smash TYPE to be a type of members of DOMAIN with type TO_TYPE.
492 A MEMBER is a wierd thing -- it amounts to a typed offset into
493 a struct, e.g. "an int at offset 8". A MEMBER TYPE doesn't
494 include the offset (that's the value of the MEMBER itself), but does
495 include the structure type into which it points (for some reason).
496
497 When "smashing" the type, we preserve the objfile that the
498 old type pointed to, since we aren't changing where the type is actually
499 allocated. */
500
501 void
502 smash_to_member_type (type, domain, to_type)
503 struct type *type;
504 struct type *domain;
505 struct type *to_type;
506 {
507 struct objfile *objfile;
508
509 objfile = TYPE_OBJFILE (type);
510
511 memset ((char *) type, 0, sizeof (struct type));
512 TYPE_OBJFILE (type) = objfile;
513 TYPE_TARGET_TYPE (type) = to_type;
514 TYPE_DOMAIN_TYPE (type) = domain;
515 TYPE_LENGTH (type) = 1; /* In practice, this is never needed. */
516 TYPE_CODE (type) = TYPE_CODE_MEMBER;
517 }
518
519 /* Smash TYPE to be a type of method of DOMAIN with type TO_TYPE.
520 METHOD just means `function that gets an extra "this" argument'.
521
522 When "smashing" the type, we preserve the objfile that the
523 old type pointed to, since we aren't changing where the type is actually
524 allocated. */
525
526 void
527 smash_to_method_type (type, domain, to_type, args)
528 struct type *type;
529 struct type *domain;
530 struct type *to_type;
531 struct type **args;
532 {
533 struct objfile *objfile;
534
535 objfile = TYPE_OBJFILE (type);
536
537 memset ((char *) type, 0, sizeof (struct type));
538 TYPE_OBJFILE (type) = objfile;
539 TYPE_TARGET_TYPE (type) = to_type;
540 TYPE_DOMAIN_TYPE (type) = domain;
541 TYPE_ARG_TYPES (type) = args;
542 TYPE_LENGTH (type) = 1; /* In practice, this is never needed. */
543 TYPE_CODE (type) = TYPE_CODE_METHOD;
544 }
545
546 /* Return a typename for a struct/union/enum type without "struct ",
547 "union ", or "enum ". If the type has a NULL name, return NULL. */
548
549 char *
550 type_name_no_tag (type)
551 register const struct type *type;
552 {
553 if (TYPE_TAG_NAME (type) != NULL)
554 return TYPE_TAG_NAME (type);
555
556 /* Is there code which expects this to return the name if there is no
557 tag name? My guess is that this is mainly used for C++ in cases where
558 the two will always be the same. */
559 return TYPE_NAME (type);
560 }
561
562 /* Lookup a primitive type named NAME.
563 Return zero if NAME is not a primitive type.*/
564
565 struct type *
566 lookup_primitive_typename (name)
567 char *name;
568 {
569 struct type ** const *p;
570
571 for (p = current_language -> la_builtin_type_vector; *p != NULL; p++)
572 {
573 if (STREQ ((**p) -> name, name))
574 {
575 return (**p);
576 }
577 }
578 return (NULL);
579 }
580
581 /* Lookup a typedef or primitive type named NAME,
582 visible in lexical block BLOCK.
583 If NOERR is nonzero, return zero if NAME is not suitably defined. */
584
585 struct type *
586 lookup_typename (name, block, noerr)
587 char *name;
588 struct block *block;
589 int noerr;
590 {
591 register struct symbol *sym;
592 register struct type *tmp;
593
594 sym = lookup_symbol (name, block, VAR_NAMESPACE, 0, (struct symtab **) NULL);
595 if (sym == NULL || SYMBOL_CLASS (sym) != LOC_TYPEDEF)
596 {
597 tmp = lookup_primitive_typename (name);
598 if (tmp)
599 {
600 return (tmp);
601 }
602 else if (!tmp && noerr)
603 {
604 return (NULL);
605 }
606 else
607 {
608 error ("No type named %s.", name);
609 }
610 }
611 return (SYMBOL_TYPE (sym));
612 }
613
614 struct type *
615 lookup_unsigned_typename (name)
616 char *name;
617 {
618 char *uns = alloca (strlen (name) + 10);
619
620 strcpy (uns, "unsigned ");
621 strcpy (uns + 9, name);
622 return (lookup_typename (uns, (struct block *) NULL, 0));
623 }
624
625 struct type *
626 lookup_signed_typename (name)
627 char *name;
628 {
629 struct type *t;
630 char *uns = alloca (strlen (name) + 8);
631
632 strcpy (uns, "signed ");
633 strcpy (uns + 7, name);
634 t = lookup_typename (uns, (struct block *) NULL, 1);
635 /* If we don't find "signed FOO" just try again with plain "FOO". */
636 if (t != NULL)
637 return t;
638 return lookup_typename (name, (struct block *) NULL, 0);
639 }
640
641 /* Lookup a structure type named "struct NAME",
642 visible in lexical block BLOCK. */
643
644 struct type *
645 lookup_struct (name, block)
646 char *name;
647 struct block *block;
648 {
649 register struct symbol *sym;
650
651 sym = lookup_symbol (name, block, STRUCT_NAMESPACE, 0,
652 (struct symtab **) NULL);
653
654 if (sym == NULL)
655 {
656 error ("No struct type named %s.", name);
657 }
658 if (TYPE_CODE (SYMBOL_TYPE (sym)) != TYPE_CODE_STRUCT)
659 {
660 error ("This context has class, union or enum %s, not a struct.", name);
661 }
662 return (SYMBOL_TYPE (sym));
663 }
664
665 /* Lookup a union type named "union NAME",
666 visible in lexical block BLOCK. */
667
668 struct type *
669 lookup_union (name, block)
670 char *name;
671 struct block *block;
672 {
673 register struct symbol *sym;
674
675 sym = lookup_symbol (name, block, STRUCT_NAMESPACE, 0,
676 (struct symtab **) NULL);
677
678 if (sym == NULL)
679 {
680 error ("No union type named %s.", name);
681 }
682 if (TYPE_CODE (SYMBOL_TYPE (sym)) != TYPE_CODE_UNION)
683 {
684 error ("This context has class, struct or enum %s, not a union.", name);
685 }
686 return (SYMBOL_TYPE (sym));
687 }
688
689 /* Lookup an enum type named "enum NAME",
690 visible in lexical block BLOCK. */
691
692 struct type *
693 lookup_enum (name, block)
694 char *name;
695 struct block *block;
696 {
697 register struct symbol *sym;
698
699 sym = lookup_symbol (name, block, STRUCT_NAMESPACE, 0,
700 (struct symtab **) NULL);
701 if (sym == NULL)
702 {
703 error ("No enum type named %s.", name);
704 }
705 if (TYPE_CODE (SYMBOL_TYPE (sym)) != TYPE_CODE_ENUM)
706 {
707 error ("This context has class, struct or union %s, not an enum.", name);
708 }
709 return (SYMBOL_TYPE (sym));
710 }
711
712 /* Lookup a template type named "template NAME<TYPE>",
713 visible in lexical block BLOCK. */
714
715 struct type *
716 lookup_template_type (name, type, block)
717 char *name;
718 struct type *type;
719 struct block *block;
720 {
721 struct symbol *sym;
722 char *nam = (char*) alloca(strlen(name) + strlen(type->name) + 4);
723 strcpy (nam, name);
724 strcat (nam, "<");
725 strcat (nam, type->name);
726 strcat (nam, " >"); /* FIXME, extra space still introduced in gcc? */
727
728 sym = lookup_symbol (nam, block, VAR_NAMESPACE, 0, (struct symtab **)NULL);
729
730 if (sym == NULL)
731 {
732 error ("No template type named %s.", name);
733 }
734 if (TYPE_CODE (SYMBOL_TYPE (sym)) != TYPE_CODE_STRUCT)
735 {
736 error ("This context has class, union or enum %s, not a struct.", name);
737 }
738 return (SYMBOL_TYPE (sym));
739 }
740
741 /* Given a type TYPE, lookup the type of the component of type named NAME.
742
743 TYPE can be either a struct or union, or a pointer or reference to a struct or
744 union. If it is a pointer or reference, its target type is automatically used.
745 Thus '.' and '->' are interchangable, as specified for the definitions of the
746 expression element types STRUCTOP_STRUCT and STRUCTOP_PTR.
747
748 If NOERR is nonzero, return zero if NAME is not suitably defined.
749 If NAME is the name of a baseclass type, return that type. */
750
751 struct type *
752 lookup_struct_elt_type (type, name, noerr)
753 struct type *type;
754 char *name;
755 int noerr;
756 {
757 int i;
758
759 while (TYPE_CODE (type) == TYPE_CODE_PTR ||
760 TYPE_CODE (type) == TYPE_CODE_REF)
761 type = TYPE_TARGET_TYPE (type);
762
763 if (TYPE_CODE (type) != TYPE_CODE_STRUCT &&
764 TYPE_CODE (type) != TYPE_CODE_UNION)
765 {
766 target_terminal_ours ();
767 gdb_flush (gdb_stdout);
768 fprintf_unfiltered (gdb_stderr, "Type ");
769 type_print (type, "", gdb_stderr, -1);
770 error (" is not a structure or union type.");
771 }
772
773 check_stub_type (type);
774
775 #if 0
776 /* FIXME: This change put in by Michael seems incorrect for the case where
777 the structure tag name is the same as the member name. I.E. when doing
778 "ptype bell->bar" for "struct foo { int bar; int foo; } bell;"
779 Disabled by fnf. */
780 {
781 char *typename;
782
783 typename = type_name_no_tag (type);
784 if (typename != NULL && STREQ (typename, name))
785 return type;
786 }
787 #endif
788
789 for (i = TYPE_NFIELDS (type) - 1; i >= TYPE_N_BASECLASSES (type); i--)
790 {
791 char *t_field_name = TYPE_FIELD_NAME (type, i);
792
793 if (t_field_name && STREQ (t_field_name, name))
794 {
795 return TYPE_FIELD_TYPE (type, i);
796 }
797 }
798
799 /* OK, it's not in this class. Recursively check the baseclasses. */
800 for (i = TYPE_N_BASECLASSES (type) - 1; i >= 0; i--)
801 {
802 struct type *t;
803
804 t = lookup_struct_elt_type (TYPE_BASECLASS (type, i), name, noerr);
805 if (t != NULL)
806 {
807 return t;
808 }
809 }
810
811 if (noerr)
812 {
813 return NULL;
814 }
815
816 target_terminal_ours ();
817 gdb_flush (gdb_stdout);
818 fprintf_unfiltered (gdb_stderr, "Type ");
819 type_print (type, "", gdb_stderr, -1);
820 fprintf_unfiltered (gdb_stderr, " has no component named ");
821 fputs_filtered (name, gdb_stderr);
822 error (".");
823 return (struct type *)-1; /* For lint */
824 }
825
826 /* If possible, make the vptr_fieldno and vptr_basetype fields of TYPE
827 valid. Callers should be aware that in some cases (for example,
828 the type or one of its baseclasses is a stub type and we are
829 debugging a .o file), this function will not be able to find the virtual
830 function table pointer, and vptr_fieldno will remain -1 and vptr_basetype
831 will remain NULL. */
832
833 void
834 fill_in_vptr_fieldno (type)
835 struct type *type;
836 {
837 check_stub_type (type);
838
839 if (TYPE_VPTR_FIELDNO (type) < 0)
840 {
841 int i;
842
843 /* We must start at zero in case the first (and only) baseclass is
844 virtual (and hence we cannot share the table pointer). */
845 for (i = 0; i < TYPE_N_BASECLASSES (type); i++)
846 {
847 fill_in_vptr_fieldno (TYPE_BASECLASS (type, i));
848 if (TYPE_VPTR_FIELDNO (TYPE_BASECLASS (type, i)) >= 0)
849 {
850 TYPE_VPTR_FIELDNO (type)
851 = TYPE_VPTR_FIELDNO (TYPE_BASECLASS (type, i));
852 TYPE_VPTR_BASETYPE (type)
853 = TYPE_VPTR_BASETYPE (TYPE_BASECLASS (type, i));
854 break;
855 }
856 }
857 }
858 }
859
860 /* Added by Bryan Boreham, Kewill, Sun Sep 17 18:07:17 1989.
861
862 If this is a stubbed struct (i.e. declared as struct foo *), see if
863 we can find a full definition in some other file. If so, copy this
864 definition, so we can use it in future. There used to be a comment (but
865 not any code) that if we don't find a full definition, we'd set a flag
866 so we don't spend time in the future checking the same type. That would
867 be a mistake, though--we might load in more symbols which contain a
868 full definition for the type.
869
870 This used to be coded as a macro, but I don't think it is called
871 often enough to merit such treatment. */
872
873 struct complaint stub_noname_complaint =
874 {"stub type has NULL name", 0, 0};
875
876 void
877 check_stub_type (type)
878 struct type *type;
879 {
880 if (TYPE_FLAGS(type) & TYPE_FLAG_STUB)
881 {
882 char* name = type_name_no_tag (type);
883 /* FIXME: shouldn't we separately check the TYPE_NAME and the
884 TYPE_TAG_NAME, and look in STRUCT_NAMESPACE and/or VAR_NAMESPACE
885 as appropriate? (this code was written before TYPE_NAME and
886 TYPE_TAG_NAME were separate). */
887 struct symbol *sym;
888 if (name == NULL)
889 {
890 complain (&stub_noname_complaint);
891 return;
892 }
893 sym = lookup_symbol (name, 0, STRUCT_NAMESPACE, 0,
894 (struct symtab **) NULL);
895 if (sym)
896 {
897 memcpy ((char *)type,
898 (char *)SYMBOL_TYPE(sym),
899 sizeof (struct type));
900 }
901 }
902
903 if (TYPE_FLAGS (type) & TYPE_FLAG_TARGET_STUB)
904 {
905 struct type *range_type;
906
907 check_stub_type (TYPE_TARGET_TYPE (type));
908 if (!(TYPE_FLAGS (TYPE_TARGET_TYPE (type)) & TYPE_FLAG_STUB)
909 && TYPE_CODE (type) == TYPE_CODE_ARRAY
910 && TYPE_NFIELDS (type) == 1
911 && (TYPE_CODE (range_type = TYPE_FIELD_TYPE (type, 0))
912 == TYPE_CODE_RANGE))
913 {
914 /* Now recompute the length of the array type, based on its
915 number of elements and the target type's length. */
916 TYPE_LENGTH (type) =
917 ((TYPE_FIELD_BITPOS (range_type, 1)
918 - TYPE_FIELD_BITPOS (range_type, 0)
919 + 1)
920 * TYPE_LENGTH (TYPE_TARGET_TYPE (type)));
921 TYPE_FLAGS (type) &= ~TYPE_FLAG_TARGET_STUB;
922 }
923 }
924 }
925
926 /* Ugly hack to convert method stubs into method types.
927
928 He ain't kiddin'. This demangles the name of the method into a string
929 including argument types, parses out each argument type, generates
930 a string casting a zero to that type, evaluates the string, and stuffs
931 the resulting type into an argtype vector!!! Then it knows the type
932 of the whole function (including argument types for overloading),
933 which info used to be in the stab's but was removed to hack back
934 the space required for them. */
935
936 void
937 check_stub_method (type, i, j)
938 struct type *type;
939 int i;
940 int j;
941 {
942 struct fn_field *f;
943 char *mangled_name = gdb_mangle_name (type, i, j);
944 char *demangled_name = cplus_demangle (mangled_name,
945 DMGL_PARAMS | DMGL_ANSI);
946 char *argtypetext, *p;
947 int depth = 0, argcount = 1;
948 struct type **argtypes;
949 struct type *mtype;
950
951 if (demangled_name == NULL)
952 {
953 error ("Internal: Cannot demangle mangled name `%s'.", mangled_name);
954 }
955
956 /* Now, read in the parameters that define this type. */
957 argtypetext = strchr (demangled_name, '(') + 1;
958 p = argtypetext;
959 while (*p)
960 {
961 if (*p == '(')
962 {
963 depth += 1;
964 }
965 else if (*p == ')')
966 {
967 depth -= 1;
968 }
969 else if (*p == ',' && depth == 0)
970 {
971 argcount += 1;
972 }
973
974 p += 1;
975 }
976
977 /* We need two more slots: one for the THIS pointer, and one for the
978 NULL [...] or void [end of arglist]. */
979
980 argtypes = (struct type **)
981 TYPE_ALLOC (type, (argcount + 2) * sizeof (struct type *));
982 p = argtypetext;
983 /* FIXME: This is wrong for static member functions. */
984 argtypes[0] = lookup_pointer_type (type);
985 argcount = 1;
986
987 if (*p != ')') /* () means no args, skip while */
988 {
989 depth = 0;
990 while (*p)
991 {
992 if (depth <= 0 && (*p == ',' || *p == ')'))
993 {
994 /* Avoid parsing of ellipsis, they will be handled below. */
995 if (strncmp (argtypetext, "...", p - argtypetext) != 0)
996 {
997 argtypes[argcount] =
998 parse_and_eval_type (argtypetext, p - argtypetext);
999 argcount += 1;
1000 }
1001 argtypetext = p + 1;
1002 }
1003
1004 if (*p == '(')
1005 {
1006 depth += 1;
1007 }
1008 else if (*p == ')')
1009 {
1010 depth -= 1;
1011 }
1012
1013 p += 1;
1014 }
1015 }
1016
1017 if (p[-2] != '.') /* Not '...' */
1018 {
1019 argtypes[argcount] = builtin_type_void; /* List terminator */
1020 }
1021 else
1022 {
1023 argtypes[argcount] = NULL; /* Ellist terminator */
1024 }
1025
1026 free (demangled_name);
1027
1028 f = TYPE_FN_FIELDLIST1 (type, i);
1029 TYPE_FN_FIELD_PHYSNAME (f, j) = mangled_name;
1030
1031 /* Now update the old "stub" type into a real type. */
1032 mtype = TYPE_FN_FIELD_TYPE (f, j);
1033 TYPE_DOMAIN_TYPE (mtype) = type;
1034 TYPE_ARG_TYPES (mtype) = argtypes;
1035 TYPE_FLAGS (mtype) &= ~TYPE_FLAG_STUB;
1036 TYPE_FN_FIELD_STUB (f, j) = 0;
1037 }
1038
1039 const struct cplus_struct_type cplus_struct_default;
1040
1041 void
1042 allocate_cplus_struct_type (type)
1043 struct type *type;
1044 {
1045 if (!HAVE_CPLUS_STRUCT (type))
1046 {
1047 TYPE_CPLUS_SPECIFIC (type) = (struct cplus_struct_type *)
1048 TYPE_ALLOC (type, sizeof (struct cplus_struct_type));
1049 *(TYPE_CPLUS_SPECIFIC(type)) = cplus_struct_default;
1050 }
1051 }
1052
1053 /* Helper function to initialize the standard scalar types.
1054
1055 If NAME is non-NULL and OBJFILE is non-NULL, then we make a copy
1056 of the string pointed to by name in the type_obstack for that objfile,
1057 and initialize the type name to that copy. There are places (mipsread.c
1058 in particular, where init_type is called with a NULL value for NAME). */
1059
1060 struct type *
1061 init_type (code, length, flags, name, objfile)
1062 enum type_code code;
1063 int length;
1064 int flags;
1065 char *name;
1066 struct objfile *objfile;
1067 {
1068 register struct type *type;
1069
1070 type = alloc_type (objfile);
1071 TYPE_CODE (type) = code;
1072 TYPE_LENGTH (type) = length;
1073 TYPE_FLAGS (type) |= flags;
1074 if ((name != NULL) && (objfile != NULL))
1075 {
1076 TYPE_NAME (type) =
1077 obsavestring (name, strlen (name), &objfile -> type_obstack);
1078 }
1079 else
1080 {
1081 TYPE_NAME (type) = name;
1082 }
1083
1084 /* C++ fancies. */
1085
1086 if (code == TYPE_CODE_STRUCT || code == TYPE_CODE_UNION)
1087 {
1088 INIT_CPLUS_SPECIFIC (type);
1089 }
1090 return (type);
1091 }
1092
1093 /* Look up a fundamental type for the specified objfile.
1094 May need to construct such a type if this is the first use.
1095
1096 Some object file formats (ELF, COFF, etc) do not define fundamental
1097 types such as "int" or "double". Others (stabs for example), do
1098 define fundamental types.
1099
1100 For the formats which don't provide fundamental types, gdb can create
1101 such types, using defaults reasonable for the current language and
1102 the current target machine.
1103
1104 NOTE: This routine is obsolescent. Each debugging format reader
1105 should manage it's own fundamental types, either creating them from
1106 suitable defaults or reading them from the debugging information,
1107 whichever is appropriate. The DWARF reader has already been
1108 fixed to do this. Once the other readers are fixed, this routine
1109 will go away. Also note that fundamental types should be managed
1110 on a compilation unit basis in a multi-language environment, not
1111 on a linkage unit basis as is done here. */
1112
1113
1114 struct type *
1115 lookup_fundamental_type (objfile, typeid)
1116 struct objfile *objfile;
1117 int typeid;
1118 {
1119 register struct type **typep;
1120 register int nbytes;
1121
1122 if (typeid < 0 || typeid >= FT_NUM_MEMBERS)
1123 {
1124 error ("internal error - invalid fundamental type id %d", typeid);
1125 }
1126
1127 /* If this is the first time we need a fundamental type for this objfile
1128 then we need to initialize the vector of type pointers. */
1129
1130 if (objfile -> fundamental_types == NULL)
1131 {
1132 nbytes = FT_NUM_MEMBERS * sizeof (struct type *);
1133 objfile -> fundamental_types = (struct type **)
1134 obstack_alloc (&objfile -> type_obstack, nbytes);
1135 memset ((char *) objfile -> fundamental_types, 0, nbytes);
1136 }
1137
1138 /* Look for this particular type in the fundamental type vector. If one is
1139 not found, create and install one appropriate for the current language. */
1140
1141 typep = objfile -> fundamental_types + typeid;
1142 if (*typep == NULL)
1143 {
1144 *typep = create_fundamental_type (objfile, typeid);
1145 }
1146
1147 return (*typep);
1148 }
1149
1150 int
1151 can_dereference (t)
1152 struct type *t;
1153 {
1154 /* FIXME: Should we return true for references as well as pointers? */
1155 return
1156 (t != NULL
1157 && TYPE_CODE (t) == TYPE_CODE_PTR
1158 && TYPE_CODE (TYPE_TARGET_TYPE (t)) != TYPE_CODE_VOID);
1159 }
1160
1161 /* Chill varying string and arrays are represented as follows:
1162
1163 struct { int __var_length; ELEMENT_TYPE[MAX_SIZE] __var_data};
1164
1165 Return true if TYPE is such a Chill varying type. */
1166
1167 int
1168 chill_varying_type (type)
1169 struct type *type;
1170 {
1171 if (TYPE_CODE (type) != TYPE_CODE_STRUCT
1172 || TYPE_NFIELDS (type) != 2
1173 || strcmp (TYPE_FIELD_NAME (type, 0), "__var_length") != 0)
1174 return 0;
1175 return 1;
1176 }
1177
1178 #if MAINTENANCE_CMDS
1179
1180 static void
1181 print_bit_vector (bits, nbits)
1182 B_TYPE *bits;
1183 int nbits;
1184 {
1185 int bitno;
1186
1187 for (bitno = 0; bitno < nbits; bitno++)
1188 {
1189 if ((bitno % 8) == 0)
1190 {
1191 puts_filtered (" ");
1192 }
1193 if (B_TST (bits, bitno))
1194 {
1195 printf_filtered ("1");
1196 }
1197 else
1198 {
1199 printf_filtered ("0");
1200 }
1201 }
1202 }
1203
1204 /* The args list is a strange beast. It is either terminated by a NULL
1205 pointer for varargs functions, or by a pointer to a TYPE_CODE_VOID
1206 type for normal fixed argcount functions. (FIXME someday)
1207 Also note the first arg should be the "this" pointer, we may not want to
1208 include it since we may get into a infinitely recursive situation. */
1209
1210 static void
1211 print_arg_types (args, spaces)
1212 struct type **args;
1213 int spaces;
1214 {
1215 if (args != NULL)
1216 {
1217 while (*args != NULL)
1218 {
1219 recursive_dump_type (*args, spaces + 2);
1220 if ((*args++) -> code == TYPE_CODE_VOID)
1221 {
1222 break;
1223 }
1224 }
1225 }
1226 }
1227
1228 static void
1229 dump_fn_fieldlists (type, spaces)
1230 struct type *type;
1231 int spaces;
1232 {
1233 int method_idx;
1234 int overload_idx;
1235 struct fn_field *f;
1236
1237 printfi_filtered (spaces, "fn_fieldlists ");
1238 gdb_print_address (TYPE_FN_FIELDLISTS (type), gdb_stdout);
1239 printf_filtered ("\n");
1240 for (method_idx = 0; method_idx < TYPE_NFN_FIELDS (type); method_idx++)
1241 {
1242 f = TYPE_FN_FIELDLIST1 (type, method_idx);
1243 printfi_filtered (spaces + 2, "[%d] name '%s' (",
1244 method_idx,
1245 TYPE_FN_FIELDLIST_NAME (type, method_idx));
1246 gdb_print_address (TYPE_FN_FIELDLIST_NAME (type, method_idx),
1247 gdb_stdout);
1248 printf_filtered (") length %d\n",
1249 TYPE_FN_FIELDLIST_LENGTH (type, method_idx));
1250 for (overload_idx = 0;
1251 overload_idx < TYPE_FN_FIELDLIST_LENGTH (type, method_idx);
1252 overload_idx++)
1253 {
1254 printfi_filtered (spaces + 4, "[%d] physname '%s' (",
1255 overload_idx,
1256 TYPE_FN_FIELD_PHYSNAME (f, overload_idx));
1257 gdb_print_address (TYPE_FN_FIELD_PHYSNAME (f, overload_idx),
1258 gdb_stdout);
1259 printf_filtered (")\n");
1260 printfi_filtered (spaces + 8, "type ");
1261 gdb_print_address (TYPE_FN_FIELD_TYPE (f, overload_idx), gdb_stdout);
1262 printf_filtered ("\n");
1263
1264 recursive_dump_type (TYPE_FN_FIELD_TYPE (f, overload_idx),
1265 spaces + 8 + 2);
1266
1267 printfi_filtered (spaces + 8, "args ");
1268 gdb_print_address (TYPE_FN_FIELD_ARGS (f, overload_idx), gdb_stdout);
1269 printf_filtered ("\n");
1270
1271 print_arg_types (TYPE_FN_FIELD_ARGS (f, overload_idx), spaces);
1272 printfi_filtered (spaces + 8, "fcontext ");
1273 gdb_print_address (TYPE_FN_FIELD_FCONTEXT (f, overload_idx),
1274 gdb_stdout);
1275 printf_filtered ("\n");
1276
1277 printfi_filtered (spaces + 8, "is_const %d\n",
1278 TYPE_FN_FIELD_CONST (f, overload_idx));
1279 printfi_filtered (spaces + 8, "is_volatile %d\n",
1280 TYPE_FN_FIELD_VOLATILE (f, overload_idx));
1281 printfi_filtered (spaces + 8, "is_private %d\n",
1282 TYPE_FN_FIELD_PRIVATE (f, overload_idx));
1283 printfi_filtered (spaces + 8, "is_protected %d\n",
1284 TYPE_FN_FIELD_PROTECTED (f, overload_idx));
1285 printfi_filtered (spaces + 8, "is_stub %d\n",
1286 TYPE_FN_FIELD_STUB (f, overload_idx));
1287 printfi_filtered (spaces + 8, "voffset %u\n",
1288 TYPE_FN_FIELD_VOFFSET (f, overload_idx));
1289 }
1290 }
1291 }
1292
1293 static void
1294 print_cplus_stuff (type, spaces)
1295 struct type *type;
1296 int spaces;
1297 {
1298 printfi_filtered (spaces, "n_baseclasses %d\n",
1299 TYPE_N_BASECLASSES (type));
1300 printfi_filtered (spaces, "nfn_fields %d\n",
1301 TYPE_NFN_FIELDS (type));
1302 printfi_filtered (spaces, "nfn_fields_total %d\n",
1303 TYPE_NFN_FIELDS_TOTAL (type));
1304 if (TYPE_N_BASECLASSES (type) > 0)
1305 {
1306 printfi_filtered (spaces, "virtual_field_bits (%d bits at *",
1307 TYPE_N_BASECLASSES (type));
1308 gdb_print_address (TYPE_FIELD_VIRTUAL_BITS (type), gdb_stdout);
1309 printf_filtered (")");
1310
1311 print_bit_vector (TYPE_FIELD_VIRTUAL_BITS (type),
1312 TYPE_N_BASECLASSES (type));
1313 puts_filtered ("\n");
1314 }
1315 if (TYPE_NFIELDS (type) > 0)
1316 {
1317 if (TYPE_FIELD_PRIVATE_BITS (type) != NULL)
1318 {
1319 printfi_filtered (spaces, "private_field_bits (%d bits at *",
1320 TYPE_NFIELDS (type));
1321 gdb_print_address (TYPE_FIELD_PRIVATE_BITS (type), gdb_stdout);
1322 printf_filtered (")");
1323 print_bit_vector (TYPE_FIELD_PRIVATE_BITS (type),
1324 TYPE_NFIELDS (type));
1325 puts_filtered ("\n");
1326 }
1327 if (TYPE_FIELD_PROTECTED_BITS (type) != NULL)
1328 {
1329 printfi_filtered (spaces, "protected_field_bits (%d bits at *",
1330 TYPE_NFIELDS (type));
1331 gdb_print_address (TYPE_FIELD_PROTECTED_BITS (type), gdb_stdout);
1332 printf_filtered (")");
1333 print_bit_vector (TYPE_FIELD_PROTECTED_BITS (type),
1334 TYPE_NFIELDS (type));
1335 puts_filtered ("\n");
1336 }
1337 }
1338 if (TYPE_NFN_FIELDS (type) > 0)
1339 {
1340 dump_fn_fieldlists (type, spaces);
1341 }
1342 }
1343
1344 void
1345 recursive_dump_type (type, spaces)
1346 struct type *type;
1347 int spaces;
1348 {
1349 int idx;
1350
1351 printfi_filtered (spaces, "type node ");
1352 gdb_print_address (type, gdb_stdout);
1353 printf_filtered ("\n");
1354 printfi_filtered (spaces, "name '%s' (",
1355 TYPE_NAME (type) ? TYPE_NAME (type) : "<NULL>");
1356 gdb_print_address (TYPE_NAME (type), gdb_stdout);
1357 printf_filtered (")\n");
1358 if (TYPE_TAG_NAME (type) != NULL)
1359 {
1360 printfi_filtered (spaces, "tagname '%s' (",
1361 TYPE_TAG_NAME (type));
1362 gdb_print_address (TYPE_TAG_NAME (type), gdb_stdout);
1363 printf_filtered (")\n");
1364 }
1365 printfi_filtered (spaces, "code 0x%x ", TYPE_CODE (type));
1366 switch (TYPE_CODE (type))
1367 {
1368 case TYPE_CODE_UNDEF:
1369 printf_filtered ("(TYPE_CODE_UNDEF)");
1370 break;
1371 case TYPE_CODE_PTR:
1372 printf_filtered ("(TYPE_CODE_PTR)");
1373 break;
1374 case TYPE_CODE_ARRAY:
1375 printf_filtered ("(TYPE_CODE_ARRAY)");
1376 break;
1377 case TYPE_CODE_STRUCT:
1378 printf_filtered ("(TYPE_CODE_STRUCT)");
1379 break;
1380 case TYPE_CODE_UNION:
1381 printf_filtered ("(TYPE_CODE_UNION)");
1382 break;
1383 case TYPE_CODE_ENUM:
1384 printf_filtered ("(TYPE_CODE_ENUM)");
1385 break;
1386 case TYPE_CODE_FUNC:
1387 printf_filtered ("(TYPE_CODE_FUNC)");
1388 break;
1389 case TYPE_CODE_INT:
1390 printf_filtered ("(TYPE_CODE_INT)");
1391 break;
1392 case TYPE_CODE_FLT:
1393 printf_filtered ("(TYPE_CODE_FLT)");
1394 break;
1395 case TYPE_CODE_VOID:
1396 printf_filtered ("(TYPE_CODE_VOID)");
1397 break;
1398 case TYPE_CODE_SET:
1399 printf_filtered ("(TYPE_CODE_SET)");
1400 break;
1401 case TYPE_CODE_RANGE:
1402 printf_filtered ("(TYPE_CODE_RANGE)");
1403 break;
1404 case TYPE_CODE_STRING:
1405 printf_filtered ("(TYPE_CODE_STRING)");
1406 break;
1407 case TYPE_CODE_ERROR:
1408 printf_filtered ("(TYPE_CODE_ERROR)");
1409 break;
1410 case TYPE_CODE_MEMBER:
1411 printf_filtered ("(TYPE_CODE_MEMBER)");
1412 break;
1413 case TYPE_CODE_METHOD:
1414 printf_filtered ("(TYPE_CODE_METHOD)");
1415 break;
1416 case TYPE_CODE_REF:
1417 printf_filtered ("(TYPE_CODE_REF)");
1418 break;
1419 case TYPE_CODE_CHAR:
1420 printf_filtered ("(TYPE_CODE_CHAR)");
1421 break;
1422 case TYPE_CODE_BOOL:
1423 printf_filtered ("(TYPE_CODE_BOOL)");
1424 break;
1425 default:
1426 printf_filtered ("(UNKNOWN TYPE CODE)");
1427 break;
1428 }
1429 puts_filtered ("\n");
1430 printfi_filtered (spaces, "length %d\n", TYPE_LENGTH (type));
1431 printfi_filtered (spaces, "objfile ");
1432 gdb_print_address (TYPE_OBJFILE (type), gdb_stdout);
1433 printf_filtered ("\n");
1434 printfi_filtered (spaces, "target_type ");
1435 gdb_print_address (TYPE_TARGET_TYPE (type), gdb_stdout);
1436 printf_filtered ("\n");
1437 if (TYPE_TARGET_TYPE (type) != NULL)
1438 {
1439 recursive_dump_type (TYPE_TARGET_TYPE (type), spaces + 2);
1440 }
1441 printfi_filtered (spaces, "pointer_type ");
1442 gdb_print_address (TYPE_POINTER_TYPE (type), gdb_stdout);
1443 printf_filtered ("\n");
1444 printfi_filtered (spaces, "reference_type ");
1445 gdb_print_address (TYPE_REFERENCE_TYPE (type), gdb_stdout);
1446 printf_filtered ("\n");
1447 printfi_filtered (spaces, "function_type ");
1448 gdb_print_address (TYPE_FUNCTION_TYPE (type), gdb_stdout);
1449 printf_filtered ("\n");
1450 printfi_filtered (spaces, "flags 0x%x", TYPE_FLAGS (type));
1451 if (TYPE_FLAGS (type) & TYPE_FLAG_UNSIGNED)
1452 {
1453 puts_filtered (" TYPE_FLAG_UNSIGNED");
1454 }
1455 if (TYPE_FLAGS (type) & TYPE_FLAG_STUB)
1456 {
1457 puts_filtered (" TYPE_FLAG_STUB");
1458 }
1459 puts_filtered ("\n");
1460 printfi_filtered (spaces, "nfields %d ", TYPE_NFIELDS (type));
1461 gdb_print_address (TYPE_FIELDS (type), gdb_stdout);
1462 puts_filtered ("\n");
1463 for (idx = 0; idx < TYPE_NFIELDS (type); idx++)
1464 {
1465 printfi_filtered (spaces + 2,
1466 "[%d] bitpos %d bitsize %d type ",
1467 idx, TYPE_FIELD_BITPOS (type, idx),
1468 TYPE_FIELD_BITSIZE (type, idx));
1469 gdb_print_address (TYPE_FIELD_TYPE (type, idx), gdb_stdout);
1470 printf_filtered (" name '%s' (",
1471 TYPE_FIELD_NAME (type, idx) != NULL
1472 ? TYPE_FIELD_NAME (type, idx)
1473 : "<NULL>");
1474 gdb_print_address (TYPE_FIELD_NAME (type, idx), gdb_stdout);
1475 printf_filtered (")\n");
1476 if (TYPE_FIELD_TYPE (type, idx) != NULL)
1477 {
1478 recursive_dump_type (TYPE_FIELD_TYPE (type, idx), spaces + 4);
1479 }
1480 }
1481 printfi_filtered (spaces, "vptr_basetype ");
1482 gdb_print_address (TYPE_VPTR_BASETYPE (type), gdb_stdout);
1483 puts_filtered ("\n");
1484 if (TYPE_VPTR_BASETYPE (type) != NULL)
1485 {
1486 recursive_dump_type (TYPE_VPTR_BASETYPE (type), spaces + 2);
1487 }
1488 printfi_filtered (spaces, "vptr_fieldno %d\n", TYPE_VPTR_FIELDNO (type));
1489 switch (TYPE_CODE (type))
1490 {
1491 case TYPE_CODE_METHOD:
1492 case TYPE_CODE_FUNC:
1493 printfi_filtered (spaces, "arg_types ");
1494 gdb_print_address (TYPE_ARG_TYPES (type), gdb_stdout);
1495 puts_filtered ("\n");
1496 print_arg_types (TYPE_ARG_TYPES (type), spaces);
1497 break;
1498
1499 case TYPE_CODE_STRUCT:
1500 printfi_filtered (spaces, "cplus_stuff ");
1501 gdb_print_address (TYPE_CPLUS_SPECIFIC (type), gdb_stdout);
1502 puts_filtered ("\n");
1503 print_cplus_stuff (type, spaces);
1504 break;
1505
1506 default:
1507 /* We have to pick one of the union types to be able print and test
1508 the value. Pick cplus_struct_type, even though we know it isn't
1509 any particular one. */
1510 printfi_filtered (spaces, "type_specific ");
1511 gdb_print_address (TYPE_CPLUS_SPECIFIC (type), gdb_stdout);
1512 if (TYPE_CPLUS_SPECIFIC (type) != NULL)
1513 {
1514 printf_filtered (" (unknown data form)");
1515 }
1516 printf_filtered ("\n");
1517 break;
1518
1519 }
1520 }
1521
1522 #endif /* MAINTENANCE_CMDS */
1523
1524 void
1525 _initialize_gdbtypes ()
1526 {
1527 builtin_type_void =
1528 init_type (TYPE_CODE_VOID, 1,
1529 0,
1530 "void", (struct objfile *) NULL);
1531 builtin_type_char =
1532 init_type (TYPE_CODE_INT, TARGET_CHAR_BIT / TARGET_CHAR_BIT,
1533 0,
1534 "char", (struct objfile *) NULL);
1535 builtin_type_signed_char =
1536 init_type (TYPE_CODE_INT, TARGET_CHAR_BIT / TARGET_CHAR_BIT,
1537 0,
1538 "signed char", (struct objfile *) NULL);
1539 builtin_type_unsigned_char =
1540 init_type (TYPE_CODE_INT, TARGET_CHAR_BIT / TARGET_CHAR_BIT,
1541 TYPE_FLAG_UNSIGNED,
1542 "unsigned char", (struct objfile *) NULL);
1543 builtin_type_short =
1544 init_type (TYPE_CODE_INT, TARGET_SHORT_BIT / TARGET_CHAR_BIT,
1545 0,
1546 "short", (struct objfile *) NULL);
1547 builtin_type_unsigned_short =
1548 init_type (TYPE_CODE_INT, TARGET_SHORT_BIT / TARGET_CHAR_BIT,
1549 TYPE_FLAG_UNSIGNED,
1550 "unsigned short", (struct objfile *) NULL);
1551 builtin_type_int =
1552 init_type (TYPE_CODE_INT, TARGET_INT_BIT / TARGET_CHAR_BIT,
1553 0,
1554 "int", (struct objfile *) NULL);
1555 builtin_type_unsigned_int =
1556 init_type (TYPE_CODE_INT, TARGET_INT_BIT / TARGET_CHAR_BIT,
1557 TYPE_FLAG_UNSIGNED,
1558 "unsigned int", (struct objfile *) NULL);
1559 builtin_type_long =
1560 init_type (TYPE_CODE_INT, TARGET_LONG_BIT / TARGET_CHAR_BIT,
1561 0,
1562 "long", (struct objfile *) NULL);
1563 builtin_type_unsigned_long =
1564 init_type (TYPE_CODE_INT, TARGET_LONG_BIT / TARGET_CHAR_BIT,
1565 TYPE_FLAG_UNSIGNED,
1566 "unsigned long", (struct objfile *) NULL);
1567 builtin_type_long_long =
1568 init_type (TYPE_CODE_INT, TARGET_LONG_LONG_BIT / TARGET_CHAR_BIT,
1569 0,
1570 "long long", (struct objfile *) NULL);
1571 builtin_type_unsigned_long_long =
1572 init_type (TYPE_CODE_INT, TARGET_LONG_LONG_BIT / TARGET_CHAR_BIT,
1573 TYPE_FLAG_UNSIGNED,
1574 "unsigned long long", (struct objfile *) NULL);
1575 builtin_type_float =
1576 init_type (TYPE_CODE_FLT, TARGET_FLOAT_BIT / TARGET_CHAR_BIT,
1577 0,
1578 "float", (struct objfile *) NULL);
1579 builtin_type_double =
1580 init_type (TYPE_CODE_FLT, TARGET_DOUBLE_BIT / TARGET_CHAR_BIT,
1581 0,
1582 "double", (struct objfile *) NULL);
1583 builtin_type_long_double =
1584 init_type (TYPE_CODE_FLT, TARGET_LONG_DOUBLE_BIT / TARGET_CHAR_BIT,
1585 0,
1586 "long double", (struct objfile *) NULL);
1587 builtin_type_complex =
1588 init_type (TYPE_CODE_COMPLEX, 2 * TARGET_FLOAT_BIT / TARGET_CHAR_BIT,
1589 0,
1590 "complex", (struct objfile *) NULL);
1591 TYPE_TARGET_TYPE (builtin_type_complex) = builtin_type_float;
1592 builtin_type_double_complex =
1593 init_type (TYPE_CODE_COMPLEX, 2 * TARGET_DOUBLE_BIT / TARGET_CHAR_BIT,
1594 0,
1595 "double complex", (struct objfile *) NULL);
1596 TYPE_TARGET_TYPE (builtin_type_double_complex) = builtin_type_double;
1597 builtin_type_string =
1598 init_type (TYPE_CODE_STRING, TARGET_CHAR_BIT / TARGET_CHAR_BIT,
1599 0,
1600 "string", (struct objfile *) NULL);
1601 }