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