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