Fix typo; some progress in ppcbug support
[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 struct type *
868 check_typedef (type)
869 register struct type *type;
870 {
871 struct type *orig_type = type;
872 while (TYPE_CODE (type) == TYPE_CODE_TYPEDEF)
873 {
874 if (!TYPE_TARGET_TYPE (type))
875 {
876 char* name = type_name_no_tag (type);
877 /* FIXME: shouldn't we separately check the TYPE_NAME and the
878 TYPE_TAG_NAME, and look in STRUCT_NAMESPACE and/or VAR_NAMESPACE
879 as appropriate? (this code was written before TYPE_NAME and
880 TYPE_TAG_NAME were separate). */
881 struct symbol *sym;
882 if (name == NULL)
883 {
884 complain (&stub_noname_complaint);
885 return type;
886 }
887 sym = lookup_symbol (name, 0, STRUCT_NAMESPACE, 0,
888 (struct symtab **) NULL);
889 if (sym)
890 TYPE_TARGET_TYPE (type) = SYMBOL_TYPE (sym);
891 else
892 TYPE_TARGET_TYPE (type) = alloc_type (NULL); /* TYPE_CODE_UNDEF */
893 }
894 type = TYPE_TARGET_TYPE (type);
895 }
896
897 if (TYPE_FLAGS(type) & TYPE_FLAG_STUB)
898 {
899 char* name = type_name_no_tag (type);
900 /* FIXME: shouldn't we separately check the TYPE_NAME and the
901 TYPE_TAG_NAME, and look in STRUCT_NAMESPACE and/or VAR_NAMESPACE
902 as appropriate? (this code was written before TYPE_NAME and
903 TYPE_TAG_NAME were separate). */
904 struct symbol *sym;
905 if (name == NULL)
906 {
907 complain (&stub_noname_complaint);
908 return type;
909 }
910 sym = lookup_symbol (name, 0, STRUCT_NAMESPACE, 0,
911 (struct symtab **) NULL);
912 if (sym)
913 {
914 memcpy ((char *)type,
915 (char *)SYMBOL_TYPE(sym),
916 sizeof (struct type));
917 }
918 }
919
920 if (TYPE_FLAGS (type) & TYPE_FLAG_TARGET_STUB)
921 {
922 struct type *range_type;
923 struct type *target_type = check_typedef (TYPE_TARGET_TYPE (type));
924
925 if (TYPE_FLAGS (target_type) & TYPE_FLAG_STUB)
926 { }
927 else if (TYPE_CODE (type) == TYPE_CODE_ARRAY
928 && TYPE_NFIELDS (type) == 1
929 && (TYPE_CODE (range_type = TYPE_FIELD_TYPE (type, 0))
930 == TYPE_CODE_RANGE))
931 {
932 /* Now recompute the length of the array type, based on its
933 number of elements and the target type's length. */
934 TYPE_LENGTH (type) =
935 ((TYPE_FIELD_BITPOS (range_type, 1)
936 - TYPE_FIELD_BITPOS (range_type, 0)
937 + 1)
938 * TYPE_LENGTH (target_type));
939 TYPE_FLAGS (type) &= ~TYPE_FLAG_TARGET_STUB;
940 }
941 else if (TYPE_CODE (type) == TYPE_CODE_RANGE)
942 {
943 TYPE_LENGTH (type) = TYPE_LENGTH (target_type);
944 TYPE_FLAGS (type) &= ~TYPE_FLAG_TARGET_STUB;
945 }
946 }
947 /* Cache TYPE_LENGTH for future use. */
948 TYPE_LENGTH (orig_type) = TYPE_LENGTH (type);
949 return type;
950 }
951
952 /* Ugly hack to convert method stubs into method types.
953
954 He ain't kiddin'. This demangles the name of the method into a string
955 including argument types, parses out each argument type, generates
956 a string casting a zero to that type, evaluates the string, and stuffs
957 the resulting type into an argtype vector!!! Then it knows the type
958 of the whole function (including argument types for overloading),
959 which info used to be in the stab's but was removed to hack back
960 the space required for them. */
961
962 void
963 check_stub_method (type, i, j)
964 struct type *type;
965 int i;
966 int j;
967 {
968 struct fn_field *f;
969 char *mangled_name = gdb_mangle_name (type, i, j);
970 char *demangled_name = cplus_demangle (mangled_name,
971 DMGL_PARAMS | DMGL_ANSI);
972 char *argtypetext, *p;
973 int depth = 0, argcount = 1;
974 struct type **argtypes;
975 struct type *mtype;
976
977 if (demangled_name == NULL)
978 {
979 error ("Internal: Cannot demangle mangled name `%s'.", mangled_name);
980 }
981
982 /* Now, read in the parameters that define this type. */
983 argtypetext = strchr (demangled_name, '(') + 1;
984 p = argtypetext;
985 while (*p)
986 {
987 if (*p == '(')
988 {
989 depth += 1;
990 }
991 else if (*p == ')')
992 {
993 depth -= 1;
994 }
995 else if (*p == ',' && depth == 0)
996 {
997 argcount += 1;
998 }
999
1000 p += 1;
1001 }
1002
1003 /* We need two more slots: one for the THIS pointer, and one for the
1004 NULL [...] or void [end of arglist]. */
1005
1006 argtypes = (struct type **)
1007 TYPE_ALLOC (type, (argcount + 2) * sizeof (struct type *));
1008 p = argtypetext;
1009 /* FIXME: This is wrong for static member functions. */
1010 argtypes[0] = lookup_pointer_type (type);
1011 argcount = 1;
1012
1013 if (*p != ')') /* () means no args, skip while */
1014 {
1015 depth = 0;
1016 while (*p)
1017 {
1018 if (depth <= 0 && (*p == ',' || *p == ')'))
1019 {
1020 /* Avoid parsing of ellipsis, they will be handled below. */
1021 if (strncmp (argtypetext, "...", p - argtypetext) != 0)
1022 {
1023 argtypes[argcount] =
1024 parse_and_eval_type (argtypetext, p - argtypetext);
1025 argcount += 1;
1026 }
1027 argtypetext = p + 1;
1028 }
1029
1030 if (*p == '(')
1031 {
1032 depth += 1;
1033 }
1034 else if (*p == ')')
1035 {
1036 depth -= 1;
1037 }
1038
1039 p += 1;
1040 }
1041 }
1042
1043 if (p[-2] != '.') /* Not '...' */
1044 {
1045 argtypes[argcount] = builtin_type_void; /* List terminator */
1046 }
1047 else
1048 {
1049 argtypes[argcount] = NULL; /* Ellist terminator */
1050 }
1051
1052 free (demangled_name);
1053
1054 f = TYPE_FN_FIELDLIST1 (type, i);
1055 TYPE_FN_FIELD_PHYSNAME (f, j) = mangled_name;
1056
1057 /* Now update the old "stub" type into a real type. */
1058 mtype = TYPE_FN_FIELD_TYPE (f, j);
1059 TYPE_DOMAIN_TYPE (mtype) = type;
1060 TYPE_ARG_TYPES (mtype) = argtypes;
1061 TYPE_FLAGS (mtype) &= ~TYPE_FLAG_STUB;
1062 TYPE_FN_FIELD_STUB (f, j) = 0;
1063 }
1064
1065 const struct cplus_struct_type cplus_struct_default;
1066
1067 void
1068 allocate_cplus_struct_type (type)
1069 struct type *type;
1070 {
1071 if (!HAVE_CPLUS_STRUCT (type))
1072 {
1073 TYPE_CPLUS_SPECIFIC (type) = (struct cplus_struct_type *)
1074 TYPE_ALLOC (type, sizeof (struct cplus_struct_type));
1075 *(TYPE_CPLUS_SPECIFIC(type)) = cplus_struct_default;
1076 }
1077 }
1078
1079 /* Helper function to initialize the standard scalar types.
1080
1081 If NAME is non-NULL and OBJFILE is non-NULL, then we make a copy
1082 of the string pointed to by name in the type_obstack for that objfile,
1083 and initialize the type name to that copy. There are places (mipsread.c
1084 in particular, where init_type is called with a NULL value for NAME). */
1085
1086 struct type *
1087 init_type (code, length, flags, name, objfile)
1088 enum type_code code;
1089 int length;
1090 int flags;
1091 char *name;
1092 struct objfile *objfile;
1093 {
1094 register struct type *type;
1095
1096 type = alloc_type (objfile);
1097 TYPE_CODE (type) = code;
1098 TYPE_LENGTH (type) = length;
1099 TYPE_FLAGS (type) |= flags;
1100 if ((name != NULL) && (objfile != NULL))
1101 {
1102 TYPE_NAME (type) =
1103 obsavestring (name, strlen (name), &objfile -> type_obstack);
1104 }
1105 else
1106 {
1107 TYPE_NAME (type) = name;
1108 }
1109
1110 /* C++ fancies. */
1111
1112 if (code == TYPE_CODE_STRUCT || code == TYPE_CODE_UNION)
1113 {
1114 INIT_CPLUS_SPECIFIC (type);
1115 }
1116 return (type);
1117 }
1118
1119 /* Look up a fundamental type for the specified objfile.
1120 May need to construct such a type if this is the first use.
1121
1122 Some object file formats (ELF, COFF, etc) do not define fundamental
1123 types such as "int" or "double". Others (stabs for example), do
1124 define fundamental types.
1125
1126 For the formats which don't provide fundamental types, gdb can create
1127 such types, using defaults reasonable for the current language and
1128 the current target machine.
1129
1130 NOTE: This routine is obsolescent. Each debugging format reader
1131 should manage it's own fundamental types, either creating them from
1132 suitable defaults or reading them from the debugging information,
1133 whichever is appropriate. The DWARF reader has already been
1134 fixed to do this. Once the other readers are fixed, this routine
1135 will go away. Also note that fundamental types should be managed
1136 on a compilation unit basis in a multi-language environment, not
1137 on a linkage unit basis as is done here. */
1138
1139
1140 struct type *
1141 lookup_fundamental_type (objfile, typeid)
1142 struct objfile *objfile;
1143 int typeid;
1144 {
1145 register struct type **typep;
1146 register int nbytes;
1147
1148 if (typeid < 0 || typeid >= FT_NUM_MEMBERS)
1149 {
1150 error ("internal error - invalid fundamental type id %d", typeid);
1151 }
1152
1153 /* If this is the first time we need a fundamental type for this objfile
1154 then we need to initialize the vector of type pointers. */
1155
1156 if (objfile -> fundamental_types == NULL)
1157 {
1158 nbytes = FT_NUM_MEMBERS * sizeof (struct type *);
1159 objfile -> fundamental_types = (struct type **)
1160 obstack_alloc (&objfile -> type_obstack, nbytes);
1161 memset ((char *) objfile -> fundamental_types, 0, nbytes);
1162 }
1163
1164 /* Look for this particular type in the fundamental type vector. If one is
1165 not found, create and install one appropriate for the current language. */
1166
1167 typep = objfile -> fundamental_types + typeid;
1168 if (*typep == NULL)
1169 {
1170 *typep = create_fundamental_type (objfile, typeid);
1171 }
1172
1173 return (*typep);
1174 }
1175
1176 int
1177 can_dereference (t)
1178 struct type *t;
1179 {
1180 /* FIXME: Should we return true for references as well as pointers? */
1181 CHECK_TYPEDEF (t);
1182 return
1183 (t != NULL
1184 && TYPE_CODE (t) == TYPE_CODE_PTR
1185 && TYPE_CODE (TYPE_TARGET_TYPE (t)) != TYPE_CODE_VOID);
1186 }
1187
1188 /* Chill varying string and arrays are represented as follows:
1189
1190 struct { int __var_length; ELEMENT_TYPE[MAX_SIZE] __var_data};
1191
1192 Return true if TYPE is such a Chill varying type. */
1193
1194 int
1195 chill_varying_type (type)
1196 struct type *type;
1197 {
1198 if (TYPE_CODE (type) != TYPE_CODE_STRUCT
1199 || TYPE_NFIELDS (type) != 2
1200 || strcmp (TYPE_FIELD_NAME (type, 0), "__var_length") != 0)
1201 return 0;
1202 return 1;
1203 }
1204
1205 #if MAINTENANCE_CMDS
1206
1207 static void
1208 print_bit_vector (bits, nbits)
1209 B_TYPE *bits;
1210 int nbits;
1211 {
1212 int bitno;
1213
1214 for (bitno = 0; bitno < nbits; bitno++)
1215 {
1216 if ((bitno % 8) == 0)
1217 {
1218 puts_filtered (" ");
1219 }
1220 if (B_TST (bits, bitno))
1221 {
1222 printf_filtered ("1");
1223 }
1224 else
1225 {
1226 printf_filtered ("0");
1227 }
1228 }
1229 }
1230
1231 /* The args list is a strange beast. It is either terminated by a NULL
1232 pointer for varargs functions, or by a pointer to a TYPE_CODE_VOID
1233 type for normal fixed argcount functions. (FIXME someday)
1234 Also note the first arg should be the "this" pointer, we may not want to
1235 include it since we may get into a infinitely recursive situation. */
1236
1237 static void
1238 print_arg_types (args, spaces)
1239 struct type **args;
1240 int spaces;
1241 {
1242 if (args != NULL)
1243 {
1244 while (*args != NULL)
1245 {
1246 recursive_dump_type (*args, spaces + 2);
1247 if ((*args++) -> code == TYPE_CODE_VOID)
1248 {
1249 break;
1250 }
1251 }
1252 }
1253 }
1254
1255 static void
1256 dump_fn_fieldlists (type, spaces)
1257 struct type *type;
1258 int spaces;
1259 {
1260 int method_idx;
1261 int overload_idx;
1262 struct fn_field *f;
1263
1264 printfi_filtered (spaces, "fn_fieldlists ");
1265 gdb_print_address (TYPE_FN_FIELDLISTS (type), gdb_stdout);
1266 printf_filtered ("\n");
1267 for (method_idx = 0; method_idx < TYPE_NFN_FIELDS (type); method_idx++)
1268 {
1269 f = TYPE_FN_FIELDLIST1 (type, method_idx);
1270 printfi_filtered (spaces + 2, "[%d] name '%s' (",
1271 method_idx,
1272 TYPE_FN_FIELDLIST_NAME (type, method_idx));
1273 gdb_print_address (TYPE_FN_FIELDLIST_NAME (type, method_idx),
1274 gdb_stdout);
1275 printf_filtered (") length %d\n",
1276 TYPE_FN_FIELDLIST_LENGTH (type, method_idx));
1277 for (overload_idx = 0;
1278 overload_idx < TYPE_FN_FIELDLIST_LENGTH (type, method_idx);
1279 overload_idx++)
1280 {
1281 printfi_filtered (spaces + 4, "[%d] physname '%s' (",
1282 overload_idx,
1283 TYPE_FN_FIELD_PHYSNAME (f, overload_idx));
1284 gdb_print_address (TYPE_FN_FIELD_PHYSNAME (f, overload_idx),
1285 gdb_stdout);
1286 printf_filtered (")\n");
1287 printfi_filtered (spaces + 8, "type ");
1288 gdb_print_address (TYPE_FN_FIELD_TYPE (f, overload_idx), gdb_stdout);
1289 printf_filtered ("\n");
1290
1291 recursive_dump_type (TYPE_FN_FIELD_TYPE (f, overload_idx),
1292 spaces + 8 + 2);
1293
1294 printfi_filtered (spaces + 8, "args ");
1295 gdb_print_address (TYPE_FN_FIELD_ARGS (f, overload_idx), gdb_stdout);
1296 printf_filtered ("\n");
1297
1298 print_arg_types (TYPE_FN_FIELD_ARGS (f, overload_idx), spaces);
1299 printfi_filtered (spaces + 8, "fcontext ");
1300 gdb_print_address (TYPE_FN_FIELD_FCONTEXT (f, overload_idx),
1301 gdb_stdout);
1302 printf_filtered ("\n");
1303
1304 printfi_filtered (spaces + 8, "is_const %d\n",
1305 TYPE_FN_FIELD_CONST (f, overload_idx));
1306 printfi_filtered (spaces + 8, "is_volatile %d\n",
1307 TYPE_FN_FIELD_VOLATILE (f, overload_idx));
1308 printfi_filtered (spaces + 8, "is_private %d\n",
1309 TYPE_FN_FIELD_PRIVATE (f, overload_idx));
1310 printfi_filtered (spaces + 8, "is_protected %d\n",
1311 TYPE_FN_FIELD_PROTECTED (f, overload_idx));
1312 printfi_filtered (spaces + 8, "is_stub %d\n",
1313 TYPE_FN_FIELD_STUB (f, overload_idx));
1314 printfi_filtered (spaces + 8, "voffset %u\n",
1315 TYPE_FN_FIELD_VOFFSET (f, overload_idx));
1316 }
1317 }
1318 }
1319
1320 static void
1321 print_cplus_stuff (type, spaces)
1322 struct type *type;
1323 int spaces;
1324 {
1325 printfi_filtered (spaces, "n_baseclasses %d\n",
1326 TYPE_N_BASECLASSES (type));
1327 printfi_filtered (spaces, "nfn_fields %d\n",
1328 TYPE_NFN_FIELDS (type));
1329 printfi_filtered (spaces, "nfn_fields_total %d\n",
1330 TYPE_NFN_FIELDS_TOTAL (type));
1331 if (TYPE_N_BASECLASSES (type) > 0)
1332 {
1333 printfi_filtered (spaces, "virtual_field_bits (%d bits at *",
1334 TYPE_N_BASECLASSES (type));
1335 gdb_print_address (TYPE_FIELD_VIRTUAL_BITS (type), gdb_stdout);
1336 printf_filtered (")");
1337
1338 print_bit_vector (TYPE_FIELD_VIRTUAL_BITS (type),
1339 TYPE_N_BASECLASSES (type));
1340 puts_filtered ("\n");
1341 }
1342 if (TYPE_NFIELDS (type) > 0)
1343 {
1344 if (TYPE_FIELD_PRIVATE_BITS (type) != NULL)
1345 {
1346 printfi_filtered (spaces, "private_field_bits (%d bits at *",
1347 TYPE_NFIELDS (type));
1348 gdb_print_address (TYPE_FIELD_PRIVATE_BITS (type), gdb_stdout);
1349 printf_filtered (")");
1350 print_bit_vector (TYPE_FIELD_PRIVATE_BITS (type),
1351 TYPE_NFIELDS (type));
1352 puts_filtered ("\n");
1353 }
1354 if (TYPE_FIELD_PROTECTED_BITS (type) != NULL)
1355 {
1356 printfi_filtered (spaces, "protected_field_bits (%d bits at *",
1357 TYPE_NFIELDS (type));
1358 gdb_print_address (TYPE_FIELD_PROTECTED_BITS (type), gdb_stdout);
1359 printf_filtered (")");
1360 print_bit_vector (TYPE_FIELD_PROTECTED_BITS (type),
1361 TYPE_NFIELDS (type));
1362 puts_filtered ("\n");
1363 }
1364 }
1365 if (TYPE_NFN_FIELDS (type) > 0)
1366 {
1367 dump_fn_fieldlists (type, spaces);
1368 }
1369 }
1370
1371 static struct obstack dont_print_type_obstack;
1372
1373 void
1374 recursive_dump_type (type, spaces)
1375 struct type *type;
1376 int spaces;
1377 {
1378 int idx;
1379
1380 if (spaces == 0)
1381 obstack_begin (&dont_print_type_obstack, 0);
1382
1383 if (TYPE_NFIELDS (type) > 0
1384 || (TYPE_CPLUS_SPECIFIC (type) && TYPE_NFN_FIELDS (type) > 0))
1385 {
1386 struct type **first_dont_print
1387 = (struct type **)obstack_base (&dont_print_type_obstack);
1388
1389 int i = (struct type **)obstack_next_free (&dont_print_type_obstack)
1390 - first_dont_print;
1391
1392 while (--i >= 0)
1393 {
1394 if (type == first_dont_print[i])
1395 {
1396 printfi_filtered (spaces, "type node ");
1397 gdb_print_address (type, gdb_stdout);
1398 printf_filtered (" <same as already seen type>\n");
1399 return;
1400 }
1401 }
1402
1403 obstack_ptr_grow (&dont_print_type_obstack, type);
1404 }
1405
1406 printfi_filtered (spaces, "type node ");
1407 gdb_print_address (type, gdb_stdout);
1408 printf_filtered ("\n");
1409 printfi_filtered (spaces, "name '%s' (",
1410 TYPE_NAME (type) ? TYPE_NAME (type) : "<NULL>");
1411 gdb_print_address (TYPE_NAME (type), gdb_stdout);
1412 printf_filtered (")\n");
1413 if (TYPE_TAG_NAME (type) != NULL)
1414 {
1415 printfi_filtered (spaces, "tagname '%s' (",
1416 TYPE_TAG_NAME (type));
1417 gdb_print_address (TYPE_TAG_NAME (type), gdb_stdout);
1418 printf_filtered (")\n");
1419 }
1420 printfi_filtered (spaces, "code 0x%x ", TYPE_CODE (type));
1421 switch (TYPE_CODE (type))
1422 {
1423 case TYPE_CODE_UNDEF:
1424 printf_filtered ("(TYPE_CODE_UNDEF)");
1425 break;
1426 case TYPE_CODE_PTR:
1427 printf_filtered ("(TYPE_CODE_PTR)");
1428 break;
1429 case TYPE_CODE_ARRAY:
1430 printf_filtered ("(TYPE_CODE_ARRAY)");
1431 break;
1432 case TYPE_CODE_STRUCT:
1433 printf_filtered ("(TYPE_CODE_STRUCT)");
1434 break;
1435 case TYPE_CODE_UNION:
1436 printf_filtered ("(TYPE_CODE_UNION)");
1437 break;
1438 case TYPE_CODE_ENUM:
1439 printf_filtered ("(TYPE_CODE_ENUM)");
1440 break;
1441 case TYPE_CODE_FUNC:
1442 printf_filtered ("(TYPE_CODE_FUNC)");
1443 break;
1444 case TYPE_CODE_INT:
1445 printf_filtered ("(TYPE_CODE_INT)");
1446 break;
1447 case TYPE_CODE_FLT:
1448 printf_filtered ("(TYPE_CODE_FLT)");
1449 break;
1450 case TYPE_CODE_VOID:
1451 printf_filtered ("(TYPE_CODE_VOID)");
1452 break;
1453 case TYPE_CODE_SET:
1454 printf_filtered ("(TYPE_CODE_SET)");
1455 break;
1456 case TYPE_CODE_RANGE:
1457 printf_filtered ("(TYPE_CODE_RANGE)");
1458 break;
1459 case TYPE_CODE_STRING:
1460 printf_filtered ("(TYPE_CODE_STRING)");
1461 break;
1462 case TYPE_CODE_ERROR:
1463 printf_filtered ("(TYPE_CODE_ERROR)");
1464 break;
1465 case TYPE_CODE_MEMBER:
1466 printf_filtered ("(TYPE_CODE_MEMBER)");
1467 break;
1468 case TYPE_CODE_METHOD:
1469 printf_filtered ("(TYPE_CODE_METHOD)");
1470 break;
1471 case TYPE_CODE_REF:
1472 printf_filtered ("(TYPE_CODE_REF)");
1473 break;
1474 case TYPE_CODE_CHAR:
1475 printf_filtered ("(TYPE_CODE_CHAR)");
1476 break;
1477 case TYPE_CODE_BOOL:
1478 printf_filtered ("(TYPE_CODE_BOOL)");
1479 break;
1480 case TYPE_CODE_TYPEDEF:
1481 printf_filtered ("(TYPE_CODE_TYPEDEF)");
1482 break;
1483 default:
1484 printf_filtered ("(UNKNOWN TYPE CODE)");
1485 break;
1486 }
1487 puts_filtered ("\n");
1488 printfi_filtered (spaces, "length %d\n", TYPE_LENGTH (type));
1489 printfi_filtered (spaces, "objfile ");
1490 gdb_print_address (TYPE_OBJFILE (type), gdb_stdout);
1491 printf_filtered ("\n");
1492 printfi_filtered (spaces, "target_type ");
1493 gdb_print_address (TYPE_TARGET_TYPE (type), gdb_stdout);
1494 printf_filtered ("\n");
1495 if (TYPE_TARGET_TYPE (type) != NULL)
1496 {
1497 recursive_dump_type (TYPE_TARGET_TYPE (type), spaces + 2);
1498 }
1499 printfi_filtered (spaces, "pointer_type ");
1500 gdb_print_address (TYPE_POINTER_TYPE (type), gdb_stdout);
1501 printf_filtered ("\n");
1502 printfi_filtered (spaces, "reference_type ");
1503 gdb_print_address (TYPE_REFERENCE_TYPE (type), gdb_stdout);
1504 printf_filtered ("\n");
1505 printfi_filtered (spaces, "flags 0x%x", TYPE_FLAGS (type));
1506 if (TYPE_FLAGS (type) & TYPE_FLAG_UNSIGNED)
1507 {
1508 puts_filtered (" TYPE_FLAG_UNSIGNED");
1509 }
1510 if (TYPE_FLAGS (type) & TYPE_FLAG_STUB)
1511 {
1512 puts_filtered (" TYPE_FLAG_STUB");
1513 }
1514 puts_filtered ("\n");
1515 printfi_filtered (spaces, "nfields %d ", TYPE_NFIELDS (type));
1516 gdb_print_address (TYPE_FIELDS (type), gdb_stdout);
1517 puts_filtered ("\n");
1518 for (idx = 0; idx < TYPE_NFIELDS (type); idx++)
1519 {
1520 printfi_filtered (spaces + 2,
1521 "[%d] bitpos %d bitsize %d type ",
1522 idx, TYPE_FIELD_BITPOS (type, idx),
1523 TYPE_FIELD_BITSIZE (type, idx));
1524 gdb_print_address (TYPE_FIELD_TYPE (type, idx), gdb_stdout);
1525 printf_filtered (" name '%s' (",
1526 TYPE_FIELD_NAME (type, idx) != NULL
1527 ? TYPE_FIELD_NAME (type, idx)
1528 : "<NULL>");
1529 gdb_print_address (TYPE_FIELD_NAME (type, idx), gdb_stdout);
1530 printf_filtered (")\n");
1531 if (TYPE_FIELD_TYPE (type, idx) != NULL)
1532 {
1533 recursive_dump_type (TYPE_FIELD_TYPE (type, idx), spaces + 4);
1534 }
1535 }
1536 printfi_filtered (spaces, "vptr_basetype ");
1537 gdb_print_address (TYPE_VPTR_BASETYPE (type), gdb_stdout);
1538 puts_filtered ("\n");
1539 if (TYPE_VPTR_BASETYPE (type) != NULL)
1540 {
1541 recursive_dump_type (TYPE_VPTR_BASETYPE (type), spaces + 2);
1542 }
1543 printfi_filtered (spaces, "vptr_fieldno %d\n", TYPE_VPTR_FIELDNO (type));
1544 switch (TYPE_CODE (type))
1545 {
1546 case TYPE_CODE_METHOD:
1547 case TYPE_CODE_FUNC:
1548 printfi_filtered (spaces, "arg_types ");
1549 gdb_print_address (TYPE_ARG_TYPES (type), gdb_stdout);
1550 puts_filtered ("\n");
1551 print_arg_types (TYPE_ARG_TYPES (type), spaces);
1552 break;
1553
1554 case TYPE_CODE_STRUCT:
1555 printfi_filtered (spaces, "cplus_stuff ");
1556 gdb_print_address (TYPE_CPLUS_SPECIFIC (type), gdb_stdout);
1557 puts_filtered ("\n");
1558 print_cplus_stuff (type, spaces);
1559 break;
1560
1561 default:
1562 /* We have to pick one of the union types to be able print and test
1563 the value. Pick cplus_struct_type, even though we know it isn't
1564 any particular one. */
1565 printfi_filtered (spaces, "type_specific ");
1566 gdb_print_address (TYPE_CPLUS_SPECIFIC (type), gdb_stdout);
1567 if (TYPE_CPLUS_SPECIFIC (type) != NULL)
1568 {
1569 printf_filtered (" (unknown data form)");
1570 }
1571 printf_filtered ("\n");
1572 break;
1573
1574 }
1575 if (spaces == 0)
1576 obstack_free (&dont_print_type_obstack, NULL);
1577 }
1578
1579 #endif /* MAINTENANCE_CMDS */
1580
1581 void
1582 _initialize_gdbtypes ()
1583 {
1584 builtin_type_void =
1585 init_type (TYPE_CODE_VOID, 1,
1586 0,
1587 "void", (struct objfile *) NULL);
1588 builtin_type_char =
1589 init_type (TYPE_CODE_INT, TARGET_CHAR_BIT / TARGET_CHAR_BIT,
1590 0,
1591 "char", (struct objfile *) NULL);
1592 builtin_type_signed_char =
1593 init_type (TYPE_CODE_INT, TARGET_CHAR_BIT / TARGET_CHAR_BIT,
1594 0,
1595 "signed char", (struct objfile *) NULL);
1596 builtin_type_unsigned_char =
1597 init_type (TYPE_CODE_INT, TARGET_CHAR_BIT / TARGET_CHAR_BIT,
1598 TYPE_FLAG_UNSIGNED,
1599 "unsigned char", (struct objfile *) NULL);
1600 builtin_type_short =
1601 init_type (TYPE_CODE_INT, TARGET_SHORT_BIT / TARGET_CHAR_BIT,
1602 0,
1603 "short", (struct objfile *) NULL);
1604 builtin_type_unsigned_short =
1605 init_type (TYPE_CODE_INT, TARGET_SHORT_BIT / TARGET_CHAR_BIT,
1606 TYPE_FLAG_UNSIGNED,
1607 "unsigned short", (struct objfile *) NULL);
1608 builtin_type_int =
1609 init_type (TYPE_CODE_INT, TARGET_INT_BIT / TARGET_CHAR_BIT,
1610 0,
1611 "int", (struct objfile *) NULL);
1612 builtin_type_unsigned_int =
1613 init_type (TYPE_CODE_INT, TARGET_INT_BIT / TARGET_CHAR_BIT,
1614 TYPE_FLAG_UNSIGNED,
1615 "unsigned int", (struct objfile *) NULL);
1616 builtin_type_long =
1617 init_type (TYPE_CODE_INT, TARGET_LONG_BIT / TARGET_CHAR_BIT,
1618 0,
1619 "long", (struct objfile *) NULL);
1620 builtin_type_unsigned_long =
1621 init_type (TYPE_CODE_INT, TARGET_LONG_BIT / TARGET_CHAR_BIT,
1622 TYPE_FLAG_UNSIGNED,
1623 "unsigned long", (struct objfile *) NULL);
1624 builtin_type_long_long =
1625 init_type (TYPE_CODE_INT, TARGET_LONG_LONG_BIT / TARGET_CHAR_BIT,
1626 0,
1627 "long long", (struct objfile *) NULL);
1628 builtin_type_unsigned_long_long =
1629 init_type (TYPE_CODE_INT, TARGET_LONG_LONG_BIT / TARGET_CHAR_BIT,
1630 TYPE_FLAG_UNSIGNED,
1631 "unsigned long long", (struct objfile *) NULL);
1632 builtin_type_float =
1633 init_type (TYPE_CODE_FLT, TARGET_FLOAT_BIT / TARGET_CHAR_BIT,
1634 0,
1635 "float", (struct objfile *) NULL);
1636 builtin_type_double =
1637 init_type (TYPE_CODE_FLT, TARGET_DOUBLE_BIT / TARGET_CHAR_BIT,
1638 0,
1639 "double", (struct objfile *) NULL);
1640 builtin_type_long_double =
1641 init_type (TYPE_CODE_FLT, TARGET_LONG_DOUBLE_BIT / TARGET_CHAR_BIT,
1642 0,
1643 "long double", (struct objfile *) NULL);
1644 builtin_type_complex =
1645 init_type (TYPE_CODE_COMPLEX, 2 * TARGET_FLOAT_BIT / TARGET_CHAR_BIT,
1646 0,
1647 "complex", (struct objfile *) NULL);
1648 TYPE_TARGET_TYPE (builtin_type_complex) = builtin_type_float;
1649 builtin_type_double_complex =
1650 init_type (TYPE_CODE_COMPLEX, 2 * TARGET_DOUBLE_BIT / TARGET_CHAR_BIT,
1651 0,
1652 "double complex", (struct objfile *) NULL);
1653 TYPE_TARGET_TYPE (builtin_type_double_complex) = builtin_type_double;
1654 builtin_type_string =
1655 init_type (TYPE_CODE_STRING, TARGET_CHAR_BIT / TARGET_CHAR_BIT,
1656 0,
1657 "string", (struct objfile *) NULL);
1658 }