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