1 /* Support routines for decoding "stabs" debugging information format.
2 Copyright 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993
3 Free Software Foundation, Inc.
5 This file is part of GDB.
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.
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.
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
21 /* Support routines for reading and decoding debugging information in
22 the "stabs" format. This format is used with many systems that use
23 the a.out object file format, as well as some systems that use
24 COFF or ELF where the stabs data is placed in a special section.
25 Avoid placing any object file format specific code in this file. */
34 #include "aout/stab_gnu.h" /* We always use GNU stabs, not native */
36 #include "complaints.h"
39 /* Ask stabsread.h to define the vars it normally declares `extern'. */
41 #include "stabsread.h" /* Our own declarations */
44 /* The routines that read and process a complete stabs for a C struct or
45 C++ class pass lists of data member fields and lists of member function
46 fields in an instance of a field_info structure, as defined below.
47 This is part of some reorganization of low level C++ support and is
48 expected to eventually go away... (FIXME) */
54 struct nextfield
*next
;
58 struct next_fnfieldlist
60 struct next_fnfieldlist
*next
;
61 struct fn_fieldlist fn_fieldlist
;
66 dbx_alloc_type
PARAMS ((int [2], struct objfile
*));
69 read_huge_number
PARAMS ((char **, int, long *, int *));
72 patch_block_stabs
PARAMS ((struct pending
*, struct pending_stabs
*,
76 fix_common_block
PARAMS ((struct symbol
*, int));
79 read_range_type
PARAMS ((char **, int [2], struct objfile
*));
82 read_sun_builtin_type
PARAMS ((char **, int [2], struct objfile
*));
85 read_sun_floating_type
PARAMS ((char **, int [2], struct objfile
*));
88 read_enum_type
PARAMS ((char **, struct type
*, struct objfile
*));
91 rs6000_builtin_type
PARAMS ((int));
94 read_member_functions
PARAMS ((struct field_info
*, char **, struct type
*,
98 read_struct_fields
PARAMS ((struct field_info
*, char **, struct type
*,
102 read_baseclasses
PARAMS ((struct field_info
*, char **, struct type
*,
106 read_tilde_fields
PARAMS ((struct field_info
*, char **, struct type
*,
110 attach_fn_fields_to_type
PARAMS ((struct field_info
*, struct type
*));
113 attach_fields_to_type
PARAMS ((struct field_info
*, struct type
*,
117 read_struct_type
PARAMS ((char **, struct type
*, struct objfile
*));
120 read_array_type
PARAMS ((char **, struct type
*, struct objfile
*));
122 static struct type
**
123 read_args
PARAMS ((char **, int, struct objfile
*));
126 read_cpp_abbrev
PARAMS ((struct field_info
*, char **, struct type
*,
129 static const char vptr_name
[] = { '_','v','p','t','r',CPLUS_MARKER
,'\0' };
130 static const char vb_name
[] = { '_','v','b',CPLUS_MARKER
,'\0' };
132 /* Define this as 1 if a pcc declaration of a char or short argument
133 gives the correct address. Otherwise assume pcc gives the
134 address of the corresponding int, which is not the same on a
135 big-endian machine. */
137 #ifndef BELIEVE_PCC_PROMOTION
138 #define BELIEVE_PCC_PROMOTION 0
141 /* During some calls to read_type (and thus to read_range_type), this
142 contains the name of the type being defined. Range types are only
143 used in C as basic types. We use the name to distinguish the otherwise
144 identical basic types "int" and "long" and their unsigned versions.
145 FIXME, this should disappear with better type management. */
147 static char *long_kludge_name
;
150 struct complaint dbx_class_complaint
=
152 "encountered DBX-style class variable debugging information.\n\
153 You seem to have compiled your program with \
154 \"g++ -g0\" instead of \"g++ -g\".\n\
155 Therefore GDB will not know about your class variables", 0, 0
159 struct complaint invalid_cpp_abbrev_complaint
=
160 {"invalid C++ abbreviation `%s'", 0, 0};
162 struct complaint invalid_cpp_type_complaint
=
163 {"C++ abbreviated type name unknown at symtab pos %d", 0, 0};
165 struct complaint member_fn_complaint
=
166 {"member function type missing, got '%c'", 0, 0};
168 struct complaint const_vol_complaint
=
169 {"const/volatile indicator missing, got '%c'", 0, 0};
171 struct complaint error_type_complaint
=
172 {"debug info mismatch between compiler and debugger", 0, 0};
174 struct complaint invalid_member_complaint
=
175 {"invalid (minimal) member type data format at symtab pos %d.", 0, 0};
177 struct complaint range_type_base_complaint
=
178 {"base type %d of range type is not defined", 0, 0};
180 struct complaint reg_value_complaint
=
181 {"register number too large in symbol %s", 0, 0};
183 struct complaint vtbl_notfound_complaint
=
184 {"virtual function table pointer not found when defining class `%s'", 0, 0};
186 struct complaint unrecognized_cplus_name_complaint
=
187 {"Unknown C++ symbol name `%s'", 0, 0};
189 struct complaint rs6000_builtin_complaint
=
190 {"Unknown builtin type %d", 0, 0};
192 struct complaint stabs_general_complaint
=
195 /* Make a list of forward references which haven't been defined. */
197 static struct type
**undef_types
;
198 static int undef_types_allocated
;
199 static int undef_types_length
;
201 /* Check for and handle cretinous stabs symbol name continuation! */
202 #define STABS_CONTINUE(pp) \
204 if (**(pp) == '\\') *(pp) = next_symbol_text (); \
212 register char *p
= name
;
213 register int total
= p
[0];
228 /* Ensure result is positive. */
231 total
+= (1000 << 6);
233 return (total
% HASHSIZE
);
237 /* Look up a dbx type-number pair. Return the address of the slot
238 where the type for that number-pair is stored.
239 The number-pair is in TYPENUMS.
241 This can be used for finding the type associated with that pair
242 or for associating a new type with the pair. */
245 dbx_lookup_type (typenums
)
248 register int filenum
= typenums
[0];
249 register int index
= typenums
[1];
251 register int real_filenum
;
252 register struct header_file
*f
;
255 if (filenum
== -1) /* -1,-1 is for temporary types. */
258 if (filenum
< 0 || filenum
>= n_this_object_header_files
)
259 error ("Invalid symbol data: type number (%d,%d) out of range at symtab pos %d.",
260 filenum
, index
, symnum
);
266 /* Caller wants address of address of type. We think
267 that negative (rs6k builtin) types will never appear as
268 "lvalues", (nor should they), so we stuff the real type
269 pointer into a temp, and return its address. If referenced,
270 this will do the right thing. */
271 static struct type
*temp_type
;
273 temp_type
= rs6000_builtin_type(index
);
277 /* Type is defined outside of header files.
278 Find it in this object file's type vector. */
279 if (index
>= type_vector_length
)
281 old_len
= type_vector_length
;
284 type_vector_length
= INITIAL_TYPE_VECTOR_LENGTH
;
285 type_vector
= (struct type
**)
286 malloc (type_vector_length
* sizeof (struct type
*));
288 while (index
>= type_vector_length
)
290 type_vector_length
*= 2;
292 type_vector
= (struct type
**)
293 xrealloc ((char *) type_vector
,
294 (type_vector_length
* sizeof (struct type
*)));
295 memset (&type_vector
[old_len
], 0,
296 (type_vector_length
- old_len
) * sizeof (struct type
*));
298 return (&type_vector
[index
]);
302 real_filenum
= this_object_header_files
[filenum
];
304 if (real_filenum
>= n_header_files
)
309 f
= &header_files
[real_filenum
];
311 f_orig_length
= f
->length
;
312 if (index
>= f_orig_length
)
314 while (index
>= f
->length
)
318 f
->vector
= (struct type
**)
319 xrealloc ((char *) f
->vector
, f
->length
* sizeof (struct type
*));
320 memset (&f
->vector
[f_orig_length
], 0,
321 (f
->length
- f_orig_length
) * sizeof (struct type
*));
323 return (&f
->vector
[index
]);
327 /* Make sure there is a type allocated for type numbers TYPENUMS
328 and return the type object.
329 This can create an empty (zeroed) type object.
330 TYPENUMS may be (-1, -1) to return a new type object that is not
331 put into the type vector, and so may not be referred to by number. */
334 dbx_alloc_type (typenums
, objfile
)
336 struct objfile
*objfile
;
338 register struct type
**type_addr
;
340 if (typenums
[0] == -1)
342 return (alloc_type (objfile
));
345 type_addr
= dbx_lookup_type (typenums
);
347 /* If we are referring to a type not known at all yet,
348 allocate an empty type for it.
349 We will fill it in later if we find out how. */
352 *type_addr
= alloc_type (objfile
);
358 /* for all the stabs in a given stab vector, build appropriate types
359 and fix their symbols in given symbol vector. */
362 patch_block_stabs (symbols
, stabs
, objfile
)
363 struct pending
*symbols
;
364 struct pending_stabs
*stabs
;
365 struct objfile
*objfile
;
375 /* for all the stab entries, find their corresponding symbols and
376 patch their types! */
378 for (ii
= 0; ii
< stabs
->count
; ++ii
)
380 name
= stabs
->stab
[ii
];
381 pp
= (char*) strchr (name
, ':');
382 sym
= find_symbol_in_list (symbols
, name
, pp
-name
);
385 /* On xcoff, if a global is defined and never referenced,
386 ld will remove it from the executable. There is then
387 a N_GSYM stab for it, but no regular (C_EXT) symbol. */
388 sym
= (struct symbol
*)
389 obstack_alloc (&objfile
->symbol_obstack
,
390 sizeof (struct symbol
));
392 memset (sym
, 0, sizeof (struct symbol
));
393 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
394 SYMBOL_CLASS (sym
) = LOC_OPTIMIZED_OUT
;
396 obstack_copy0 (&objfile
->symbol_obstack
, name
, pp
- name
);
398 if (*(pp
-1) == 'F' || *(pp
-1) == 'f')
400 /* I don't think the linker does this with functions,
401 so as far as I know this is never executed.
402 But it doesn't hurt to check. */
404 lookup_function_type (read_type (&pp
, objfile
));
408 SYMBOL_TYPE (sym
) = read_type (&pp
, objfile
);
410 add_symbol_to_list (sym
, &global_symbols
);
415 if (*(pp
-1) == 'F' || *(pp
-1) == 'f')
418 lookup_function_type (read_type (&pp
, objfile
));
422 SYMBOL_TYPE (sym
) = read_type (&pp
, objfile
);
430 /* Read a number by which a type is referred to in dbx data,
431 or perhaps read a pair (FILENUM, TYPENUM) in parentheses.
432 Just a single number N is equivalent to (0,N).
433 Return the two numbers by storing them in the vector TYPENUMS.
434 TYPENUMS will then be used as an argument to dbx_lookup_type. */
437 read_type_number (pp
, typenums
)
439 register int *typenums
;
444 typenums
[0] = read_number (pp
, ',');
445 typenums
[1] = read_number (pp
, ')');
450 typenums
[1] = read_number (pp
, 0);
455 /* To handle GNU C++ typename abbreviation, we need to be able to
456 fill in a type's name as soon as space for that type is allocated.
457 `type_synonym_name' is the name of the type being allocated.
458 It is cleared as soon as it is used (lest all allocated types
461 static char *type_synonym_name
;
465 define_symbol (valu
, string
, desc
, type
, objfile
)
470 struct objfile
*objfile
;
472 register struct symbol
*sym
;
473 char *p
= (char *) strchr (string
, ':');
477 struct type
*temptype
;
479 /* We would like to eliminate nameless symbols, but keep their types.
480 E.g. stab entry ":t10=*2" should produce a type 10, which is a pointer
481 to type 2, but, should not create a symbol to address that type. Since
482 the symbol will be nameless, there is no way any user can refer to it. */
486 /* Ignore syms with empty names. */
490 /* Ignore old-style symbols from cc -go */
494 /* If a nameless stab entry, all we need is the type, not the symbol.
495 e.g. ":t10=*2" or a nameless enum like " :T16=ered:0,green:1,blue:2,;" */
496 nameless
= (p
== string
|| ((string
[0] == ' ') && (string
[1] == ':')));
498 sym
= (struct symbol
*)
499 obstack_alloc (&objfile
-> symbol_obstack
, sizeof (struct symbol
));
500 memset (sym
, 0, sizeof (struct symbol
));
502 if (processing_gcc_compilation
)
504 /* GCC 2.x puts the line number in desc. SunOS apparently puts in the
505 number of bytes occupied by a type or object, which we ignore. */
506 SYMBOL_LINE(sym
) = desc
;
510 SYMBOL_LINE(sym
) = 0; /* unknown */
513 if (string
[0] == CPLUS_MARKER
)
515 /* Special GNU C++ names. */
519 SYMBOL_NAME (sym
) = obsavestring ("this", strlen ("this"),
520 &objfile
-> symbol_obstack
);
523 case 'v': /* $vtbl_ptr_type */
524 /* Was: SYMBOL_NAME (sym) = "vptr"; */
528 SYMBOL_NAME (sym
) = obsavestring ("eh_throw", strlen ("eh_throw"),
529 &objfile
-> symbol_obstack
);
533 /* This was an anonymous type that was never fixed up. */
537 complain (unrecognized_cplus_name_complaint
, string
);
538 goto normal
; /* Do *something* with it */
544 SYMBOL_LANGUAGE (sym
) = current_subfile
-> language
;
545 SYMBOL_NAME (sym
) = (char *)
546 obstack_alloc (&objfile
-> symbol_obstack
, ((p
- string
) + 1));
547 /* Open-coded bcopy--saves function call time. */
548 /* FIXME: Does it really? Try replacing with simple strcpy and
549 try it on an executable with a large symbol table. */
551 register char *p1
= string
;
552 register char *p2
= SYMBOL_NAME (sym
);
560 /* If this symbol is from a C++ compilation, then attempt to cache the
561 demangled form for future reference. This is a typical time versus
562 space tradeoff, that was decided in favor of time because it sped up
563 C++ symbol lookups by a factor of about 20. */
565 SYMBOL_INIT_DEMANGLED_NAME (sym
, &objfile
->symbol_obstack
);
569 /* Determine the type of name being defined. */
570 /* The Acorn RISC machine's compiler can put out locals that don't
571 start with "234=" or "(3,4)=", so assume anything other than the
572 deftypes we know how to handle is a local. */
573 if (!strchr ("cfFGpPrStTvVXCR", *p
))
578 /* c is a special case, not followed by a type-number.
579 SYMBOL:c=iVALUE for an integer constant symbol.
580 SYMBOL:c=rVALUE for a floating constant symbol.
581 SYMBOL:c=eTYPE,INTVALUE for an enum constant symbol.
582 e.g. "b:c=e6,0" for "const b = blob1"
583 (where type 6 is defined by "blobs:t6=eblob1:0,blob2:1,;"). */
587 error ("Invalid symbol data at symtab pos %d.", symnum
);
595 SYMBOL_TYPE (sym
) = lookup_fundamental_type (objfile
,
598 obstack_alloc (&objfile
-> symbol_obstack
, sizeof (double));
599 memcpy (dbl_valu
, &d
, sizeof (double));
600 SWAP_TARGET_AND_HOST (dbl_valu
, sizeof (double));
601 SYMBOL_VALUE_BYTES (sym
) = dbl_valu
;
602 SYMBOL_CLASS (sym
) = LOC_CONST_BYTES
;
607 SYMBOL_TYPE (sym
) = lookup_fundamental_type (objfile
,
609 SYMBOL_VALUE (sym
) = atoi (p
);
610 SYMBOL_CLASS (sym
) = LOC_CONST
;
614 /* SYMBOL:c=eTYPE,INTVALUE for an enum constant symbol.
615 e.g. "b:c=e6,0" for "const b = blob1"
616 (where type 6 is defined by "blobs:t6=eblob1:0,blob2:1,;"). */
620 read_type_number (&p
, typenums
);
622 error ("Invalid symbol data: no comma in enum const symbol");
624 SYMBOL_TYPE (sym
) = *dbx_lookup_type (typenums
);
625 SYMBOL_VALUE (sym
) = atoi (p
);
626 SYMBOL_CLASS (sym
) = LOC_CONST
;
630 error ("Invalid symbol data at symtab pos %d.", symnum
);
632 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
633 add_symbol_to_list (sym
, &file_symbols
);
637 /* Now usually comes a number that says which data type,
638 and possibly more stuff to define the type
639 (all of which is handled by read_type) */
641 if (deftype
== 'p' && *p
== 'F')
642 /* pF is a two-letter code that means a function parameter in Fortran.
643 The type-number specifies the type of the return value.
644 Translate it into a pointer-to-function type. */
648 = lookup_pointer_type (lookup_function_type (read_type (&p
, objfile
)));
652 /* The symbol class letter is followed by a type (typically the
653 type of the symbol, or its return-type, or etc). Read it. */
660 type_synonym_name
= obsavestring (SYMBOL_NAME (sym
),
661 strlen (SYMBOL_NAME (sym
)),
662 &objfile
-> symbol_obstack
);
665 /* Here we save the name of the symbol for read_range_type, which
666 ends up reading in the basic types. In stabs, unfortunately there
667 is no distinction between "int" and "long" types except their
668 names. Until we work out a saner type policy (eliminating most
669 builtin types and using the names specified in the files), we
670 save away the name so that far away from here in read_range_type,
671 we can examine it to decide between "int" and "long". FIXME. */
672 long_kludge_name
= SYMBOL_NAME (sym
);
674 SYMBOL_TYPE (sym
) = read_type (&p
, objfile
);
680 /* The name of a caught exception. */
681 SYMBOL_CLASS (sym
) = LOC_LABEL
;
682 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
683 SYMBOL_VALUE_ADDRESS (sym
) = valu
;
684 add_symbol_to_list (sym
, &local_symbols
);
688 /* A static function definition. */
689 SYMBOL_CLASS (sym
) = LOC_BLOCK
;
690 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
691 add_symbol_to_list (sym
, &file_symbols
);
692 /* fall into process_function_types. */
694 process_function_types
:
695 /* Function result types are described as the result type in stabs.
696 We need to convert this to the function-returning-type-X type
697 in GDB. E.g. "int" is converted to "function returning int". */
698 if (TYPE_CODE (SYMBOL_TYPE (sym
)) != TYPE_CODE_FUNC
)
701 /* This code doesn't work -- it needs to realloc and can't. */
702 /* Attempt to set up to record a function prototype... */
703 struct type
*new = alloc_type (objfile
);
705 /* Generate a template for the type of this function. The
706 types of the arguments will be added as we read the symbol
708 *new = *lookup_function_type (SYMBOL_TYPE(sym
));
709 SYMBOL_TYPE(sym
) = new;
710 TYPE_OBJFILE (new) = objfile
;
711 in_function_type
= new;
713 SYMBOL_TYPE (sym
) = lookup_function_type (SYMBOL_TYPE (sym
));
716 /* fall into process_prototype_types */
718 process_prototype_types
:
719 /* Sun acc puts declared types of arguments here. We don't care
720 about their actual types (FIXME -- we should remember the whole
721 function prototype), but the list may define some new types
722 that we have to remember, so we must scan it now. */
725 read_type (&p
, objfile
);
730 /* A global function definition. */
731 SYMBOL_CLASS (sym
) = LOC_BLOCK
;
732 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
733 add_symbol_to_list (sym
, &global_symbols
);
734 goto process_function_types
;
737 /* For a class G (global) symbol, it appears that the
738 value is not correct. It is necessary to search for the
739 corresponding linker definition to find the value.
740 These definitions appear at the end of the namelist. */
741 i
= hashname (SYMBOL_NAME (sym
));
742 SYMBOL_VALUE_CHAIN (sym
) = global_sym_chain
[i
];
743 global_sym_chain
[i
] = sym
;
744 SYMBOL_CLASS (sym
) = LOC_STATIC
;
745 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
746 add_symbol_to_list (sym
, &global_symbols
);
749 /* This case is faked by a conditional above,
750 when there is no code letter in the dbx data.
751 Dbx data never actually contains 'l'. */
753 SYMBOL_CLASS (sym
) = LOC_LOCAL
;
754 SYMBOL_VALUE (sym
) = valu
;
755 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
756 add_symbol_to_list (sym
, &local_symbols
);
760 /* Normally this is a parameter, a LOC_ARG. On the i960, it
761 can also be a LOC_LOCAL_ARG depending on symbol type. */
762 #ifndef DBX_PARM_SYMBOL_CLASS
763 #define DBX_PARM_SYMBOL_CLASS(type) LOC_ARG
765 SYMBOL_CLASS (sym
) = DBX_PARM_SYMBOL_CLASS (type
);
766 SYMBOL_VALUE (sym
) = valu
;
767 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
769 /* This doesn't work yet. */
770 add_param_to_type (&in_function_type
, sym
);
772 add_symbol_to_list (sym
, &local_symbols
);
774 /* If it's gcc-compiled, if it says `short', believe it. */
775 if (processing_gcc_compilation
|| BELIEVE_PCC_PROMOTION
)
778 #if defined(BELIEVE_PCC_PROMOTION_TYPE)
779 /* This macro is defined on machines (e.g. sparc) where
780 we should believe the type of a PCC 'short' argument,
781 but shouldn't believe the address (the address is
782 the address of the corresponding int). Note that
783 this is only different from the BELIEVE_PCC_PROMOTION
784 case on big-endian machines.
786 My guess is that this correction, as opposed to changing
787 the parameter to an 'int' (as done below, for PCC
788 on most machines), is the right thing to do
789 on all machines, but I don't want to risk breaking
790 something that already works. On most PCC machines,
791 the sparc problem doesn't come up because the calling
792 function has to zero the top bytes (not knowing whether
793 the called function wants an int or a short), so there
794 is no practical difference between an int and a short
795 (except perhaps what happens when the GDB user types
796 "print short_arg = 0x10000;").
798 Hacked for SunOS 4.1 by gnu@cygnus.com. In 4.1, the compiler
799 actually produces the correct address (we don't need to fix it
800 up). I made this code adapt so that it will offset the symbol
801 if it was pointing at an int-aligned location and not
802 otherwise. This way you can use the same gdb for 4.0.x and
805 If the parameter is shorter than an int, and is integral
806 (e.g. char, short, or unsigned equivalent), and is claimed to
807 be passed on an integer boundary, don't believe it! Offset the
808 parameter's address to the tail-end of that integer. */
810 temptype
= lookup_fundamental_type (objfile
, FT_INTEGER
);
811 if (TYPE_LENGTH (SYMBOL_TYPE (sym
)) < TYPE_LENGTH (temptype
)
812 && TYPE_CODE (SYMBOL_TYPE (sym
)) == TYPE_CODE_INT
813 && 0 == SYMBOL_VALUE (sym
) % TYPE_LENGTH (temptype
))
815 SYMBOL_VALUE (sym
) += TYPE_LENGTH (temptype
)
816 - TYPE_LENGTH (SYMBOL_TYPE (sym
));
820 #else /* no BELIEVE_PCC_PROMOTION_TYPE. */
822 /* If PCC says a parameter is a short or a char,
823 it is really an int. */
824 temptype
= lookup_fundamental_type (objfile
, FT_INTEGER
);
825 if (TYPE_LENGTH (SYMBOL_TYPE (sym
)) < TYPE_LENGTH (temptype
)
826 && TYPE_CODE (SYMBOL_TYPE (sym
)) == TYPE_CODE_INT
)
828 SYMBOL_TYPE (sym
) = TYPE_UNSIGNED (SYMBOL_TYPE (sym
))
829 ? lookup_fundamental_type (objfile
, FT_UNSIGNED_INTEGER
)
834 #endif /* no BELIEVE_PCC_PROMOTION_TYPE. */
838 /* acc seems to use P to delare the prototypes of functions that
839 are referenced by this file. gdb is not prepared to deal
840 with this extra information. FIXME, it ought to. */
842 goto process_prototype_types
;
844 /* Parameter which is in a register. */
845 SYMBOL_CLASS (sym
) = LOC_REGPARM
;
846 SYMBOL_VALUE (sym
) = STAB_REG_TO_REGNUM (valu
);
847 if (SYMBOL_VALUE (sym
) >= NUM_REGS
)
849 complain (®_value_complaint
, SYMBOL_SOURCE_NAME (sym
));
850 SYMBOL_VALUE (sym
) = SP_REGNUM
; /* Known safe, though useless */
852 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
853 add_symbol_to_list (sym
, &local_symbols
);
857 /* Register variable (either global or local). */
858 SYMBOL_CLASS (sym
) = LOC_REGISTER
;
859 SYMBOL_VALUE (sym
) = STAB_REG_TO_REGNUM (valu
);
860 if (SYMBOL_VALUE (sym
) >= NUM_REGS
)
862 complain (®_value_complaint
, SYMBOL_SOURCE_NAME (sym
));
863 SYMBOL_VALUE (sym
) = SP_REGNUM
; /* Known safe, though useless */
865 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
868 /* Sun cc uses a pair of symbols, one 'p' and one 'r' with the same
869 name to represent an argument passed in a register.
870 GCC uses 'P' for the same case. So if we find such a symbol pair
871 we combine it into one 'P' symbol.
872 Note that this code illegally combines
873 main(argc) int argc; { register int argc = 1; }
874 but this case is considered pathological and causes a warning
875 from a decent compiler. */
877 && local_symbols
->nsyms
> 0)
879 struct symbol
*prev_sym
;
880 prev_sym
= local_symbols
->symbol
[local_symbols
->nsyms
- 1];
881 if (SYMBOL_CLASS (prev_sym
) == LOC_ARG
882 && STREQ (SYMBOL_NAME (prev_sym
), SYMBOL_NAME(sym
)))
884 SYMBOL_CLASS (prev_sym
) = LOC_REGPARM
;
885 SYMBOL_VALUE (prev_sym
) = SYMBOL_VALUE (sym
);
890 add_symbol_to_list (sym
, &local_symbols
);
893 add_symbol_to_list (sym
, &file_symbols
);
897 /* Static symbol at top level of file */
898 SYMBOL_CLASS (sym
) = LOC_STATIC
;
899 SYMBOL_VALUE_ADDRESS (sym
) = valu
;
900 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
901 add_symbol_to_list (sym
, &file_symbols
);
905 /* For a nameless type, we don't want a create a symbol, thus we
906 did not use `sym'. Return without further processing. */
907 if (nameless
) return NULL
;
909 SYMBOL_CLASS (sym
) = LOC_TYPEDEF
;
910 SYMBOL_VALUE (sym
) = valu
;
911 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
912 /* C++ vagaries: we may have a type which is derived from
913 a base type which did not have its name defined when the
914 derived class was output. We fill in the derived class's
915 base part member's name here in that case. */
916 if (TYPE_NAME (SYMBOL_TYPE (sym
)) != NULL
)
917 if ((TYPE_CODE (SYMBOL_TYPE (sym
)) == TYPE_CODE_STRUCT
918 || TYPE_CODE (SYMBOL_TYPE (sym
)) == TYPE_CODE_UNION
)
919 && TYPE_N_BASECLASSES (SYMBOL_TYPE (sym
)))
922 for (j
= TYPE_N_BASECLASSES (SYMBOL_TYPE (sym
)) - 1; j
>= 0; j
--)
923 if (TYPE_BASECLASS_NAME (SYMBOL_TYPE (sym
), j
) == 0)
924 TYPE_BASECLASS_NAME (SYMBOL_TYPE (sym
), j
) =
925 type_name_no_tag (TYPE_BASECLASS (SYMBOL_TYPE (sym
), j
));
928 add_symbol_to_list (sym
, &file_symbols
);
932 /* For a nameless type, we don't want a create a symbol, thus we
933 did not use `sym'. Return without further processing. */
934 if (nameless
) return NULL
;
936 SYMBOL_CLASS (sym
) = LOC_TYPEDEF
;
937 SYMBOL_VALUE (sym
) = valu
;
938 SYMBOL_NAMESPACE (sym
) = STRUCT_NAMESPACE
;
939 if (TYPE_NAME (SYMBOL_TYPE (sym
)) == 0)
940 TYPE_NAME (SYMBOL_TYPE (sym
))
941 = obconcat (&objfile
-> type_obstack
, "",
942 (TYPE_CODE (SYMBOL_TYPE (sym
)) == TYPE_CODE_ENUM
944 : (TYPE_CODE (SYMBOL_TYPE (sym
)) == TYPE_CODE_STRUCT
945 ? "struct " : "union ")),
947 add_symbol_to_list (sym
, &file_symbols
);
951 /* Clone the sym and then modify it. */
952 register struct symbol
*typedef_sym
= (struct symbol
*)
953 obstack_alloc (&objfile
-> symbol_obstack
, sizeof (struct symbol
));
955 SYMBOL_CLASS (typedef_sym
) = LOC_TYPEDEF
;
956 SYMBOL_VALUE (typedef_sym
) = valu
;
957 SYMBOL_NAMESPACE (typedef_sym
) = VAR_NAMESPACE
;
958 add_symbol_to_list (typedef_sym
, &file_symbols
);
963 /* Static symbol of local scope */
964 SYMBOL_CLASS (sym
) = LOC_STATIC
;
965 SYMBOL_VALUE_ADDRESS (sym
) = valu
;
966 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
967 add_symbol_to_list (sym
, &local_symbols
);
971 /* Reference parameter */
972 SYMBOL_CLASS (sym
) = LOC_REF_ARG
;
973 SYMBOL_VALUE (sym
) = valu
;
974 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
975 add_symbol_to_list (sym
, &local_symbols
);
979 /* This is used by Sun FORTRAN for "function result value".
980 Sun claims ("dbx and dbxtool interfaces", 2nd ed)
981 that Pascal uses it too, but when I tried it Pascal used
982 "x:3" (local symbol) instead. */
983 SYMBOL_CLASS (sym
) = LOC_LOCAL
;
984 SYMBOL_VALUE (sym
) = valu
;
985 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
986 add_symbol_to_list (sym
, &local_symbols
);
990 error ("Invalid symbol data: unknown symbol-type code `%c' at symtab pos %d.", deftype
, symnum
);
993 /* When passing structures to a function, some systems sometimes pass
994 the address in a register, not the structure itself.
996 If REG_STRUCT_HAS_ADDR yields non-zero we have to convert LOC_REGPARM
997 to LOC_REGPARM_ADDR for structures and unions. */
999 #if !defined (REG_STRUCT_HAS_ADDR)
1000 #define REG_STRUCT_HAS_ADDR(gcc_p) 0
1003 if (SYMBOL_CLASS (sym
) == LOC_REGPARM
1004 && REG_STRUCT_HAS_ADDR (processing_gcc_compilation
)
1005 && ( (TYPE_CODE (SYMBOL_TYPE (sym
)) == TYPE_CODE_STRUCT
)
1006 || (TYPE_CODE (SYMBOL_TYPE (sym
)) == TYPE_CODE_UNION
)))
1007 SYMBOL_CLASS (sym
) = LOC_REGPARM_ADDR
;
1013 /* Skip rest of this symbol and return an error type.
1015 General notes on error recovery: error_type always skips to the
1016 end of the symbol (modulo cretinous dbx symbol name continuation).
1017 Thus code like this:
1019 if (*(*pp)++ != ';')
1020 return error_type (pp);
1022 is wrong because if *pp starts out pointing at '\0' (typically as the
1023 result of an earlier error), it will be incremented to point to the
1024 start of the next symbol, which might produce strange results, at least
1025 if you run off the end of the string table. Instead use
1028 return error_type (pp);
1034 foo = error_type (pp);
1038 And in case it isn't obvious, the point of all this hair is so the compiler
1039 can define new types and new syntaxes, and old versions of the
1040 debugger will be able to read the new symbol tables. */
1046 complain (&error_type_complaint
);
1049 /* Skip to end of symbol. */
1050 while (**pp
!= '\0')
1055 /* Check for and handle cretinous dbx symbol name continuation! */
1056 if ((*pp
)[-1] == '\\')
1058 *pp
= next_symbol_text ();
1065 return (builtin_type_error
);
1069 /* Read a dbx type reference or definition;
1070 return the type that is meant.
1071 This can be just a number, in which case it references
1072 a type already defined and placed in type_vector.
1073 Or the number can be followed by an =, in which case
1074 it means to define a new type according to the text that
1078 read_type (pp
, objfile
)
1080 struct objfile
*objfile
;
1082 register struct type
*type
= 0;
1086 char type_descriptor
;
1088 /* Read type number if present. The type number may be omitted.
1089 for instance in a two-dimensional array declared with type
1090 "ar1;1;10;ar1;1;10;4". */
1091 if ((**pp
>= '0' && **pp
<= '9')
1094 read_type_number (pp
, typenums
);
1096 /* Type is not being defined here. Either it already exists,
1097 or this is a forward reference to it. dbx_alloc_type handles
1100 return dbx_alloc_type (typenums
, objfile
);
1102 /* Type is being defined here. */
1103 #if 0 /* Callers aren't prepared for a NULL result! FIXME -- metin! */
1107 /* if such a type already exists, this is an unnecessary duplication
1108 of the stab string, which is common in (RS/6000) xlc generated
1109 objects. In that case, simply return NULL and let the caller take
1112 tt
= *dbx_lookup_type (typenums
);
1113 if (tt
&& tt
->length
&& tt
->code
)
1122 /* 'typenums=' not present, type is anonymous. Read and return
1123 the definition, but don't put it in the type vector. */
1124 typenums
[0] = typenums
[1] = -1;
1128 type_descriptor
= (*pp
)[-1];
1129 switch (type_descriptor
)
1133 enum type_code code
;
1135 /* Used to index through file_symbols. */
1136 struct pending
*ppt
;
1139 /* Name including "struct", etc. */
1142 /* Name without "struct", etc. */
1143 char *type_name_only
;
1149 /* Set the type code according to the following letter. */
1153 code
= TYPE_CODE_STRUCT
;
1157 code
= TYPE_CODE_UNION
;
1161 code
= TYPE_CODE_ENUM
;
1165 return error_type (pp
);
1168 to
= type_name
= (char *)
1169 obstack_alloc (&objfile
-> type_obstack
,
1171 ((char *) strchr (*pp
, ':') - (*pp
)) + 1));
1173 /* Copy the prefix. */
1175 while ((*to
++ = *from
++) != '\0')
1179 type_name_only
= to
;
1181 /* Copy the name. */
1183 while ((*to
++ = *from
++) != ':')
1187 /* Set the pointer ahead of the name which we just read. */
1191 /* The following hack is clearly wrong, because it doesn't
1192 check whether we are in a baseclass. I tried to reproduce
1193 the case that it is trying to fix, but I couldn't get
1194 g++ to put out a cross reference to a basetype. Perhaps
1195 it doesn't do it anymore. */
1196 /* Note: for C++, the cross reference may be to a base type which
1197 has not yet been seen. In this case, we skip to the comma,
1198 which will mark the end of the base class name. (The ':'
1199 at the end of the base class name will be skipped as well.)
1200 But sometimes (ie. when the cross ref is the last thing on
1201 the line) there will be no ','. */
1202 from
= (char *) strchr (*pp
, ',');
1208 /* Now check to see whether the type has already been declared. */
1209 /* This is necessary at least in the case where the
1210 program says something like
1212 The compiler puts out a cross-reference; we better find
1213 set the length of the structure correctly so we can
1214 set the length of the array. */
1215 for (ppt
= file_symbols
; ppt
; ppt
= ppt
->next
)
1216 for (i
= 0; i
< ppt
->nsyms
; i
++)
1218 struct symbol
*sym
= ppt
->symbol
[i
];
1220 if (SYMBOL_CLASS (sym
) == LOC_TYPEDEF
1221 && SYMBOL_NAMESPACE (sym
) == STRUCT_NAMESPACE
1222 && (TYPE_CODE (SYMBOL_TYPE (sym
)) == code
)
1223 && STREQ (SYMBOL_NAME (sym
), type_name_only
))
1225 obstack_free (&objfile
-> type_obstack
, type_name
);
1226 type
= SYMBOL_TYPE (sym
);
1231 /* Didn't find the type to which this refers, so we must
1232 be dealing with a forward reference. Allocate a type
1233 structure for it, and keep track of it so we can
1234 fill in the rest of the fields when we get the full
1236 type
= dbx_alloc_type (typenums
, objfile
);
1237 TYPE_CODE (type
) = code
;
1238 TYPE_NAME (type
) = type_name
;
1239 INIT_CPLUS_SPECIFIC(type
);
1240 TYPE_FLAGS (type
) |= TYPE_FLAG_STUB
;
1242 add_undefined_type (type
);
1246 case '-': /* RS/6000 built-in type */
1259 read_type_number (pp
, xtypenums
);
1260 type
= *dbx_lookup_type (xtypenums
);
1262 type
= lookup_fundamental_type (objfile
, FT_VOID
);
1263 if (typenums
[0] != -1)
1264 *dbx_lookup_type (typenums
) = type
;
1267 /* In the following types, we must be sure to overwrite any existing
1268 type that the typenums refer to, rather than allocating a new one
1269 and making the typenums point to the new one. This is because there
1270 may already be pointers to the existing type (if it had been
1271 forward-referenced), and we must change it to a pointer, function,
1272 reference, or whatever, *in-place*. */
1275 type1
= read_type (pp
, objfile
);
1276 type
= make_pointer_type (type1
, dbx_lookup_type (typenums
));
1279 case '&': /* Reference to another type */
1280 type1
= read_type (pp
, objfile
);
1281 type
= make_reference_type (type1
, dbx_lookup_type (typenums
));
1284 case 'f': /* Function returning another type */
1285 type1
= read_type (pp
, objfile
);
1286 type
= make_function_type (type1
, dbx_lookup_type (typenums
));
1289 case 'k': /* Const qualifier on some type (Sun) */
1290 type
= read_type (pp
, objfile
);
1291 /* FIXME! For now, we ignore const and volatile qualifiers. */
1294 case 'B': /* Volatile qual on some type (Sun) */
1295 type
= read_type (pp
, objfile
);
1296 /* FIXME! For now, we ignore const and volatile qualifiers. */
1299 /* FIXME -- we should be doing smash_to_XXX types here. */
1300 case '@': /* Member (class & variable) type */
1302 struct type
*domain
= read_type (pp
, objfile
);
1303 struct type
*memtype
;
1306 /* Invalid member type data format. */
1307 return error_type (pp
);
1310 memtype
= read_type (pp
, objfile
);
1311 type
= dbx_alloc_type (typenums
, objfile
);
1312 smash_to_member_type (type
, domain
, memtype
);
1316 case '#': /* Method (class & fn) type */
1317 if ((*pp
)[0] == '#')
1319 /* We'll get the parameter types from the name. */
1320 struct type
*return_type
;
1323 return_type
= read_type (pp
, objfile
);
1324 if (*(*pp
)++ != ';')
1325 complain (&invalid_member_complaint
, symnum
);
1326 type
= allocate_stub_method (return_type
);
1327 if (typenums
[0] != -1)
1328 *dbx_lookup_type (typenums
) = type
;
1332 struct type
*domain
= read_type (pp
, objfile
);
1333 struct type
*return_type
;
1336 if (*(*pp
)++ != ',')
1337 error ("invalid member type data format, at symtab pos %d.",
1340 return_type
= read_type (pp
, objfile
);
1341 args
= read_args (pp
, ';', objfile
);
1342 type
= dbx_alloc_type (typenums
, objfile
);
1343 smash_to_method_type (type
, domain
, return_type
, args
);
1347 case 'r': /* Range type */
1348 type
= read_range_type (pp
, typenums
, objfile
);
1349 if (typenums
[0] != -1)
1350 *dbx_lookup_type (typenums
) = type
;
1353 case 'b': /* Sun ACC builtin int type */
1354 type
= read_sun_builtin_type (pp
, typenums
, objfile
);
1355 if (typenums
[0] != -1)
1356 *dbx_lookup_type (typenums
) = type
;
1359 case 'R': /* Sun ACC builtin float type */
1360 type
= read_sun_floating_type (pp
, typenums
, objfile
);
1361 if (typenums
[0] != -1)
1362 *dbx_lookup_type (typenums
) = type
;
1365 case 'e': /* Enumeration type */
1366 type
= dbx_alloc_type (typenums
, objfile
);
1367 type
= read_enum_type (pp
, type
, objfile
);
1368 *dbx_lookup_type (typenums
) = type
;
1371 case 's': /* Struct type */
1372 case 'u': /* Union type */
1373 type
= dbx_alloc_type (typenums
, objfile
);
1374 if (!TYPE_NAME (type
))
1376 TYPE_NAME (type
) = type_synonym_name
;
1378 type_synonym_name
= NULL
;
1379 switch (type_descriptor
)
1382 TYPE_CODE (type
) = TYPE_CODE_STRUCT
;
1385 TYPE_CODE (type
) = TYPE_CODE_UNION
;
1388 type
= read_struct_type (pp
, type
, objfile
);
1391 case 'a': /* Array type */
1393 return error_type (pp
);
1396 type
= dbx_alloc_type (typenums
, objfile
);
1397 type
= read_array_type (pp
, type
, objfile
);
1401 --*pp
; /* Go back to the symbol in error */
1402 /* Particularly important if it was \0! */
1403 return error_type (pp
);
1412 /* RS/6000 xlc/dbx combination uses a set of builtin types, starting from -1.
1413 Return the proper type node for a given builtin type number. */
1415 static struct type
*
1416 rs6000_builtin_type (typenum
)
1419 /* default types are defined in dbxstclass.h. */
1422 return lookup_fundamental_type (current_objfile
, FT_INTEGER
);
1424 return lookup_fundamental_type (current_objfile
, FT_CHAR
);
1426 return lookup_fundamental_type (current_objfile
, FT_SHORT
);
1428 return lookup_fundamental_type (current_objfile
, FT_LONG
);
1430 return lookup_fundamental_type (current_objfile
, FT_UNSIGNED_CHAR
);
1432 return lookup_fundamental_type (current_objfile
, FT_SIGNED_CHAR
);
1434 return lookup_fundamental_type (current_objfile
, FT_UNSIGNED_SHORT
);
1436 return lookup_fundamental_type (current_objfile
, FT_UNSIGNED_INTEGER
);
1438 return lookup_fundamental_type (current_objfile
, FT_UNSIGNED_INTEGER
);
1440 return lookup_fundamental_type (current_objfile
, FT_UNSIGNED_LONG
);
1442 return lookup_fundamental_type (current_objfile
, FT_VOID
);
1444 return lookup_fundamental_type (current_objfile
, FT_FLOAT
);
1446 return lookup_fundamental_type (current_objfile
, FT_DBL_PREC_FLOAT
);
1448 return lookup_fundamental_type (current_objfile
, FT_EXT_PREC_FLOAT
);
1450 /* requires a builtin `integer' */
1451 return lookup_fundamental_type (current_objfile
, FT_INTEGER
);
1453 return lookup_fundamental_type (current_objfile
, FT_BOOLEAN
);
1455 /* requires builtin `short real' */
1456 return lookup_fundamental_type (current_objfile
, FT_FLOAT
);
1458 /* requires builtin `real' */
1459 return lookup_fundamental_type (current_objfile
, FT_FLOAT
);
1461 complain (rs6000_builtin_complaint
, typenum
);
1466 /* This page contains subroutines of read_type. */
1468 #define VISIBILITY_PRIVATE '0' /* Stabs character for private field */
1469 #define VISIBILITY_PROTECTED '1' /* Stabs character for protected fld */
1470 #define VISIBILITY_PUBLIC '2' /* Stabs character for public field */
1472 /* Read member function stabs info for C++ classes. The form of each member
1475 NAME :: TYPENUM[=type definition] ARGS : PHYSNAME ;
1477 An example with two member functions is:
1479 afunc1::20=##15;:i;2A.;afunc2::20:i;2A.;
1481 For the case of overloaded operators, the format is op$::*.funcs, where
1482 $ is the CPLUS_MARKER (usually '$'), `*' holds the place for an operator
1483 name (such as `+=') and `.' marks the end of the operator name. */
1486 read_member_functions (fip
, pp
, type
, objfile
)
1487 struct field_info
*fip
;
1490 struct objfile
*objfile
;
1494 /* Total number of member functions defined in this class. If the class
1495 defines two `f' functions, and one `g' function, then this will have
1497 int total_length
= 0;
1501 struct next_fnfield
*next
;
1502 struct fn_field fn_field
;
1504 struct type
*look_ahead_type
;
1505 struct next_fnfieldlist
*new_fnlist
;
1506 struct next_fnfield
*new_sublist
;
1510 /* Process each list until we find something that is not a member function
1511 or find the end of the functions. */
1515 /* We should be positioned at the start of the function name.
1516 Scan forward to find the first ':' and if it is not the
1517 first of a "::" delimiter, then this is not a member function. */
1529 look_ahead_type
= NULL
;
1532 new_fnlist
= (struct next_fnfieldlist
*)
1533 xmalloc (sizeof (struct next_fnfieldlist
));
1534 make_cleanup (free
, new_fnlist
);
1535 memset (new_fnlist
, 0, sizeof (struct next_fnfieldlist
));
1537 if ((*pp
)[0] == 'o' && (*pp
)[1] == 'p' && (*pp
)[2] == CPLUS_MARKER
)
1539 /* This is a completely wierd case. In order to stuff in the
1540 names that might contain colons (the usual name delimiter),
1541 Mike Tiemann defined a different name format which is
1542 signalled if the identifier is "op$". In that case, the
1543 format is "op$::XXXX." where XXXX is the name. This is
1544 used for names like "+" or "=". YUUUUUUUK! FIXME! */
1545 /* This lets the user type "break operator+".
1546 We could just put in "+" as the name, but that wouldn't
1548 static char opname
[32] = {'o', 'p', CPLUS_MARKER
};
1549 char *o
= opname
+ 3;
1551 /* Skip past '::'. */
1554 STABS_CONTINUE (pp
);
1560 main_fn_name
= savestring (opname
, o
- opname
);
1566 main_fn_name
= savestring (*pp
, p
- *pp
);
1567 /* Skip past '::'. */
1570 new_fnlist
-> fn_fieldlist
.name
= main_fn_name
;
1575 (struct next_fnfield
*) xmalloc (sizeof (struct next_fnfield
));
1576 make_cleanup (free
, new_sublist
);
1577 memset (new_sublist
, 0, sizeof (struct next_fnfield
));
1579 /* Check for and handle cretinous dbx symbol name continuation! */
1580 if (look_ahead_type
== NULL
)
1583 STABS_CONTINUE (pp
);
1585 new_sublist
-> fn_field
.type
= read_type (pp
, objfile
);
1588 /* Invalid symtab info for member function. */
1594 /* g++ version 1 kludge */
1595 new_sublist
-> fn_field
.type
= look_ahead_type
;
1596 look_ahead_type
= NULL
;
1606 /* If this is just a stub, then we don't have the real name here. */
1608 if (TYPE_FLAGS (new_sublist
-> fn_field
.type
) & TYPE_FLAG_STUB
)
1610 if (!TYPE_DOMAIN_TYPE (new_sublist
-> fn_field
.type
))
1611 TYPE_DOMAIN_TYPE (new_sublist
-> fn_field
.type
) = type
;
1612 new_sublist
-> fn_field
.is_stub
= 1;
1614 new_sublist
-> fn_field
.physname
= savestring (*pp
, p
- *pp
);
1617 /* Set this member function's visibility fields. */
1620 case VISIBILITY_PRIVATE
:
1621 new_sublist
-> fn_field
.is_private
= 1;
1623 case VISIBILITY_PROTECTED
:
1624 new_sublist
-> fn_field
.is_protected
= 1;
1628 STABS_CONTINUE (pp
);
1631 case 'A': /* Normal functions. */
1632 new_sublist
-> fn_field
.is_const
= 0;
1633 new_sublist
-> fn_field
.is_volatile
= 0;
1636 case 'B': /* `const' member functions. */
1637 new_sublist
-> fn_field
.is_const
= 1;
1638 new_sublist
-> fn_field
.is_volatile
= 0;
1641 case 'C': /* `volatile' member function. */
1642 new_sublist
-> fn_field
.is_const
= 0;
1643 new_sublist
-> fn_field
.is_volatile
= 1;
1646 case 'D': /* `const volatile' member function. */
1647 new_sublist
-> fn_field
.is_const
= 1;
1648 new_sublist
-> fn_field
.is_volatile
= 1;
1651 case '*': /* File compiled with g++ version 1 -- no info */
1656 complain (&const_vol_complaint
, **pp
);
1663 /* virtual member function, followed by index.
1664 The sign bit is set to distinguish pointers-to-methods
1665 from virtual function indicies. Since the array is
1666 in words, the quantity must be shifted left by 1
1667 on 16 bit machine, and by 2 on 32 bit machine, forcing
1668 the sign bit out, and usable as a valid index into
1669 the array. Remove the sign bit here. */
1670 new_sublist
-> fn_field
.voffset
=
1671 (0x7fffffff & read_number (pp
, ';')) + 2;
1673 STABS_CONTINUE (pp
);
1674 if (**pp
== ';' || **pp
== '\0')
1676 /* Must be g++ version 1. */
1677 new_sublist
-> fn_field
.fcontext
= 0;
1681 /* Figure out from whence this virtual function came.
1682 It may belong to virtual function table of
1683 one of its baseclasses. */
1684 look_ahead_type
= read_type (pp
, objfile
);
1687 /* g++ version 1 overloaded methods. */
1691 new_sublist
-> fn_field
.fcontext
= look_ahead_type
;
1700 look_ahead_type
= NULL
;
1706 /* static member function. */
1707 new_sublist
-> fn_field
.voffset
= VOFFSET_STATIC
;
1708 if (strncmp (new_sublist
-> fn_field
.physname
,
1709 main_fn_name
, strlen (main_fn_name
)))
1711 new_sublist
-> fn_field
.is_stub
= 1;
1717 complain (&member_fn_complaint
, (*pp
)[-1]);
1718 /* Fall through into normal member function. */
1721 /* normal member function. */
1722 new_sublist
-> fn_field
.voffset
= 0;
1723 new_sublist
-> fn_field
.fcontext
= 0;
1727 new_sublist
-> next
= sublist
;
1728 sublist
= new_sublist
;
1730 STABS_CONTINUE (pp
);
1732 while (**pp
!= ';' && **pp
!= '\0');
1736 new_fnlist
-> fn_fieldlist
.fn_fields
= (struct fn_field
*)
1737 obstack_alloc (&objfile
-> type_obstack
,
1738 sizeof (struct fn_field
) * length
);
1739 memset (new_fnlist
-> fn_fieldlist
.fn_fields
, 0,
1740 sizeof (struct fn_field
) * length
);
1741 for (i
= length
; (i
--, sublist
); sublist
= sublist
-> next
)
1743 new_fnlist
-> fn_fieldlist
.fn_fields
[i
] = sublist
-> fn_field
;
1746 new_fnlist
-> fn_fieldlist
.length
= length
;
1747 new_fnlist
-> next
= fip
-> fnlist
;
1748 fip
-> fnlist
= new_fnlist
;
1750 total_length
+= length
;
1751 STABS_CONTINUE (pp
);
1756 ALLOCATE_CPLUS_STRUCT_TYPE (type
);
1757 TYPE_FN_FIELDLISTS (type
) = (struct fn_fieldlist
*)
1758 TYPE_ALLOC (type
, sizeof (struct fn_fieldlist
) * nfn_fields
);
1759 memset (TYPE_FN_FIELDLISTS (type
), 0,
1760 sizeof (struct fn_fieldlist
) * nfn_fields
);
1761 TYPE_NFN_FIELDS (type
) = nfn_fields
;
1762 TYPE_NFN_FIELDS_TOTAL (type
) = total_length
;
1768 /* Special GNU C++ name.
1769 FIXME: Still need to properly handle parse error conditions. */
1772 read_cpp_abbrev (fip
, pp
, type
, objfile
)
1773 struct field_info
*fip
;
1776 struct objfile
*objfile
;
1782 struct type
*context
;
1792 /* At this point, *pp points to something like "22:23=*22...",
1793 where the type number before the ':' is the "context" and
1794 everything after is a regular type definition. Lookup the
1795 type, find it's name, and construct the field name. */
1797 context
= read_type (pp
, objfile
);
1801 case 'f': /* $vf -- a virtual function table pointer */
1802 fip
->list
->field
.name
=
1803 obconcat (&objfile
->type_obstack
, vptr_name
, "", "");
1806 case 'b': /* $vb -- a virtual bsomethingorother */
1807 name
= type_name_no_tag (context
);
1810 complain (&invalid_cpp_type_complaint
, symnum
);
1813 fip
->list
->field
.name
=
1814 obconcat (&objfile
->type_obstack
, vb_name
, name
, "");
1818 complain (&invalid_cpp_abbrev_complaint
, *pp
);
1819 fip
->list
->field
.name
=
1820 obconcat (&objfile
->type_obstack
,
1821 "INVALID_CPLUSPLUS_ABBREV", "", "");
1825 /* At this point, *pp points to the ':'. Skip it and read the
1831 complain (&invalid_cpp_abbrev_complaint
, *pp
);
1833 fip
->list
->field
.type
= read_type (pp
, objfile
);
1834 (*pp
)++; /* Skip the comma. */
1835 fip
->list
->field
.bitpos
= read_number (pp
, ';');
1836 /* This field is unpacked. */
1837 fip
->list
->field
.bitsize
= 0;
1838 fip
->list
->visibility
= VISIBILITY_PRIVATE
;
1842 /* GNU C++ anonymous type. */
1843 complain (&stabs_general_complaint
, "g++ anonymous type $_ not handled");
1847 complain (&invalid_cpp_abbrev_complaint
, *pp
);
1852 read_one_struct_field (fip
, pp
, p
, type
, objfile
)
1853 struct field_info
*fip
;
1857 struct objfile
*objfile
;
1859 fip
-> list
-> field
.name
=
1860 obsavestring (*pp
, p
- *pp
, &objfile
-> type_obstack
);
1863 /* This means we have a visibility for a field coming. */
1867 fip
-> list
-> visibility
= *(*pp
)++;
1868 switch (fip
-> list
-> visibility
)
1870 case VISIBILITY_PRIVATE
:
1871 case VISIBILITY_PROTECTED
:
1874 case VISIBILITY_PUBLIC
:
1879 /* Unknown visibility specifier. */
1880 complain (&stabs_general_complaint
,
1881 "unknown visibility specifier");
1888 /* normal dbx-style format, no explicit visibility */
1889 fip
-> list
-> visibility
= VISIBILITY_PUBLIC
;
1892 fip
-> list
-> field
.type
= read_type (pp
, objfile
);
1897 /* Possible future hook for nested types. */
1900 fip
-> list
-> field
.bitpos
= (long)-2; /* nested type */
1906 /* Static class member. */
1907 fip
-> list
-> field
.bitpos
= (long) -1;
1913 fip
-> list
-> field
.bitsize
= (long) savestring (*pp
, p
- *pp
);
1917 else if (**pp
!= ',')
1919 /* Bad structure-type format. */
1920 complain (&stabs_general_complaint
, "bad structure-type format");
1924 (*pp
)++; /* Skip the comma. */
1925 fip
-> list
-> field
.bitpos
= read_number (pp
, ',');
1926 fip
-> list
-> field
.bitsize
= read_number (pp
, ';');
1929 /* FIXME-tiemann: Can't the compiler put out something which
1930 lets us distinguish these? (or maybe just not put out anything
1931 for the field). What is the story here? What does the compiler
1932 really do? Also, patch gdb.texinfo for this case; I document
1933 it as a possible problem there. Search for "DBX-style". */
1935 /* This is wrong because this is identical to the symbols
1936 produced for GCC 0-size arrays. For example:
1941 The code which dumped core in such circumstances should be
1942 fixed not to dump core. */
1944 /* g++ -g0 can put out bitpos & bitsize zero for a static
1945 field. This does not give us any way of getting its
1946 class, so we can't know its name. But we can just
1947 ignore the field so we don't dump core and other nasty
1949 if (fip
-> list
-> field
.bitpos
== 0 && fip
-> list
-> field
.bitsize
== 0)
1951 complain (&dbx_class_complaint
);
1952 /* Ignore this field. */
1953 fip
-> list
= fip
-> list
-> next
;
1958 /* Detect an unpacked field and mark it as such.
1959 dbx gives a bit size for all fields.
1960 Note that forward refs cannot be packed,
1961 and treat enums as if they had the width of ints. */
1963 if (TYPE_CODE (fip
-> list
-> field
.type
) != TYPE_CODE_INT
1964 && TYPE_CODE (fip
-> list
-> field
.type
) != TYPE_CODE_ENUM
)
1966 fip
-> list
-> field
.bitsize
= 0;
1968 if ((fip
-> list
-> field
.bitsize
1969 == 8 * TYPE_LENGTH (fip
-> list
-> field
.type
)
1970 || (TYPE_CODE (fip
-> list
-> field
.type
) == TYPE_CODE_ENUM
1971 && (fip
-> list
-> field
.bitsize
1972 == 8 * TYPE_LENGTH (lookup_fundamental_type (objfile
, FT_INTEGER
)))
1976 fip
-> list
-> field
.bitpos
% 8 == 0)
1978 fip
-> list
-> field
.bitsize
= 0;
1984 /* Read struct or class data fields. They have the form:
1986 NAME : [VISIBILITY] TYPENUM , BITPOS , BITSIZE ;
1988 At the end, we see a semicolon instead of a field.
1990 In C++, this may wind up being NAME:?TYPENUM:PHYSNAME; for
1993 The optional VISIBILITY is one of:
1995 '/0' (VISIBILITY_PRIVATE)
1996 '/1' (VISIBILITY_PROTECTED)
1997 '/2' (VISIBILITY_PUBLIC)
1999 or nothing, for C style fields with public visibility. */
2002 read_struct_fields (fip
, pp
, type
, objfile
)
2003 struct field_info
*fip
;
2006 struct objfile
*objfile
;
2009 struct nextfield
*new;
2011 /* We better set p right now, in case there are no fields at all... */
2015 /* Read each data member type until we find the terminating ';' at the end of
2016 the data member list, or break for some other reason such as finding the
2017 start of the member function list. */
2021 STABS_CONTINUE (pp
);
2022 /* Get space to record the next field's data. */
2023 new = (struct nextfield
*) xmalloc (sizeof (struct nextfield
));
2024 make_cleanup (free
, new);
2025 memset (new, 0, sizeof (struct nextfield
));
2026 new -> next
= fip
-> list
;
2029 /* Get the field name. */
2031 if (*p
== CPLUS_MARKER
)
2033 read_cpp_abbrev (fip
, pp
, type
, objfile
);
2037 /* Look for the ':' that separates the field name from the field
2038 values. Data members are delimited by a single ':', while member
2039 functions are delimited by a pair of ':'s. When we hit the member
2040 functions (if any), terminate scan loop and return. */
2047 /* Check to see if we have hit the member functions yet. */
2052 read_one_struct_field (fip
, pp
, p
, type
, objfile
);
2056 /* chill the list of fields: the last entry (at the head) is a
2057 partially constructed entry which we now scrub. */
2058 fip
-> list
= fip
-> list
-> next
;
2063 /* The stabs for C++ derived classes contain baseclass information which
2064 is marked by a '!' character after the total size. This function is
2065 called when we encounter the baseclass marker, and slurps up all the
2066 baseclass information.
2068 Immediately following the '!' marker is the number of base classes that
2069 the class is derived from, followed by information for each base class.
2070 For each base class, there are two visibility specifiers, a bit offset
2071 to the base class information within the derived class, a reference to
2072 the type for the base class, and a terminating semicolon.
2074 A typical example, with two base classes, would be "!2,020,19;0264,21;".
2076 Baseclass information marker __________________|| | | | | | |
2077 Number of baseclasses __________________________| | | | | | |
2078 Visibility specifiers (2) ________________________| | | | | |
2079 Offset in bits from start of class _________________| | | | |
2080 Type number for base class ___________________________| | | |
2081 Visibility specifiers (2) _______________________________| | |
2082 Offset in bits from start of class ________________________| |
2083 Type number of base class ____________________________________|
2087 read_baseclasses (fip
, pp
, type
, objfile
)
2088 struct field_info
*fip
;
2091 struct objfile
*objfile
;
2094 struct nextfield
*new;
2102 /* Skip the '!' baseclass information marker. */
2106 ALLOCATE_CPLUS_STRUCT_TYPE (type
);
2107 TYPE_N_BASECLASSES (type
) = read_number (pp
, ',');
2110 /* Some stupid compilers have trouble with the following, so break
2111 it up into simpler expressions. */
2112 TYPE_FIELD_VIRTUAL_BITS (type
) = (B_TYPE
*)
2113 TYPE_ALLOC (type
, B_BYTES (TYPE_N_BASECLASSES (type
)));
2116 int num_bytes
= B_BYTES (TYPE_N_BASECLASSES (type
));
2119 pointer
= (char *) TYPE_ALLOC (type
, num_bytes
);
2120 TYPE_FIELD_VIRTUAL_BITS (type
) = (B_TYPE
*) pointer
;
2124 B_CLRALL (TYPE_FIELD_VIRTUAL_BITS (type
), TYPE_N_BASECLASSES (type
));
2126 for (i
= 0; i
< TYPE_N_BASECLASSES (type
); i
++)
2128 new = (struct nextfield
*) xmalloc (sizeof (struct nextfield
));
2129 make_cleanup (free
, new);
2130 memset (new, 0, sizeof (struct nextfield
));
2131 new -> next
= fip
-> list
;
2133 new -> field
.bitsize
= 0; /* this should be an unpacked field! */
2135 STABS_CONTINUE (pp
);
2139 /* Nothing to do. */
2142 SET_TYPE_FIELD_VIRTUAL (type
, i
);
2145 /* Bad visibility format. */
2149 new -> visibility
= *(*pp
)++;
2150 switch (new -> visibility
)
2152 case VISIBILITY_PRIVATE
:
2153 case VISIBILITY_PROTECTED
:
2154 case VISIBILITY_PUBLIC
:
2157 /* Bad visibility format. */
2161 /* The remaining value is the bit offset of the portion of the object
2162 corresponding to this baseclass. Always zero in the absence of
2163 multiple inheritance. */
2165 new -> field
.bitpos
= read_number (pp
, ',');
2167 /* The last piece of baseclass information is the type of the base
2168 class. Read it, and remember it's type name as this field's name. */
2170 new -> field
.type
= read_type (pp
, objfile
);
2171 new -> field
.name
= type_name_no_tag (new -> field
.type
);
2173 /* skip trailing ';' and bump count of number of fields seen */
2179 /* The tail end of stabs for C++ classes that contain a virtual function
2180 pointer contains a tilde, a %, and a type number.
2181 The type number refers to the base class (possibly this class itself) which
2182 contains the vtable pointer for the current class.
2184 This function is called when we have parsed all the method declarations,
2185 so we can look for the vptr base class info. */
2188 read_tilde_fields (fip
, pp
, type
, objfile
)
2189 struct field_info
*fip
;
2192 struct objfile
*objfile
;
2196 STABS_CONTINUE (pp
);
2198 /* If we are positioned at a ';', then skip it. */
2208 if (**pp
== '=' || **pp
== '+' || **pp
== '-')
2210 /* Obsolete flags that used to indicate the presence
2211 of constructors and/or destructors. */
2215 /* Read either a '%' or the final ';'. */
2216 if (*(*pp
)++ == '%')
2218 /* The next number is the type number of the base class
2219 (possibly our own class) which supplies the vtable for
2220 this class. Parse it out, and search that class to find
2221 its vtable pointer, and install those into TYPE_VPTR_BASETYPE
2222 and TYPE_VPTR_FIELDNO. */
2227 t
= read_type (pp
, objfile
);
2229 while (*p
!= '\0' && *p
!= ';')
2235 /* Premature end of symbol. */
2239 TYPE_VPTR_BASETYPE (type
) = t
;
2240 if (type
== t
) /* Our own class provides vtbl ptr */
2242 for (i
= TYPE_NFIELDS (t
) - 1;
2243 i
>= TYPE_N_BASECLASSES (t
);
2246 if (! strncmp (TYPE_FIELD_NAME (t
, i
), vptr_name
,
2247 sizeof (vptr_name
) - 1))
2249 TYPE_VPTR_FIELDNO (type
) = i
;
2253 /* Virtual function table field not found. */
2254 complain (vtbl_notfound_complaint
, TYPE_NAME (type
));
2259 TYPE_VPTR_FIELDNO (type
) = TYPE_VPTR_FIELDNO (t
);
2270 attach_fn_fields_to_type (fip
, type
)
2271 struct field_info
*fip
;
2272 register struct type
*type
;
2276 for (n
= 0; n
< TYPE_N_BASECLASSES (type
); n
++)
2278 if (TYPE_CODE (TYPE_BASECLASS (type
, n
)) == TYPE_CODE_UNDEF
)
2280 /* @@ Memory leak on objfile -> type_obstack? */
2283 TYPE_NFN_FIELDS_TOTAL (type
) +=
2284 TYPE_NFN_FIELDS_TOTAL (TYPE_BASECLASS (type
, n
));
2287 for (n
= TYPE_NFN_FIELDS (type
);
2288 fip
-> fnlist
!= NULL
;
2289 fip
-> fnlist
= fip
-> fnlist
-> next
)
2291 --n
; /* Circumvent Sun3 compiler bug */
2292 TYPE_FN_FIELDLISTS (type
)[n
] = fip
-> fnlist
-> fn_fieldlist
;
2297 /* Create the vector of fields, and record how big it is.
2298 We need this info to record proper virtual function table information
2299 for this class's virtual functions. */
2302 attach_fields_to_type (fip
, type
, objfile
)
2303 struct field_info
*fip
;
2304 register struct type
*type
;
2305 struct objfile
*objfile
;
2307 register int nfields
= 0;
2308 register int non_public_fields
= 0;
2309 register struct nextfield
*scan
;
2311 /* Count up the number of fields that we have, as well as taking note of
2312 whether or not there are any non-public fields, which requires us to
2313 allocate and build the private_field_bits and protected_field_bits
2316 for (scan
= fip
-> list
; scan
!= NULL
; scan
= scan
-> next
)
2319 if (scan
-> visibility
!= VISIBILITY_PUBLIC
)
2321 non_public_fields
++;
2325 /* Now we know how many fields there are, and whether or not there are any
2326 non-public fields. Record the field count, allocate space for the
2327 array of fields, and create blank visibility bitfields if necessary. */
2329 TYPE_NFIELDS (type
) = nfields
;
2330 TYPE_FIELDS (type
) = (struct field
*)
2331 TYPE_ALLOC (type
, sizeof (struct field
) * nfields
);
2332 memset (TYPE_FIELDS (type
), 0, sizeof (struct field
) * nfields
);
2334 if (non_public_fields
)
2336 ALLOCATE_CPLUS_STRUCT_TYPE (type
);
2338 TYPE_FIELD_PRIVATE_BITS (type
) =
2339 (B_TYPE
*) TYPE_ALLOC (type
, B_BYTES (nfields
));
2340 B_CLRALL (TYPE_FIELD_PRIVATE_BITS (type
), nfields
);
2342 TYPE_FIELD_PROTECTED_BITS (type
) =
2343 (B_TYPE
*) TYPE_ALLOC (type
, B_BYTES (nfields
));
2344 B_CLRALL (TYPE_FIELD_PROTECTED_BITS (type
), nfields
);
2347 /* Copy the saved-up fields into the field vector. Start from the head
2348 of the list, adding to the tail of the field array, so that they end
2349 up in the same order in the array in which they were added to the list. */
2351 while (nfields
-- > 0)
2353 TYPE_FIELD (type
, nfields
) = fip
-> list
-> field
;
2354 switch (fip
-> list
-> visibility
)
2356 case VISIBILITY_PRIVATE
:
2357 SET_TYPE_FIELD_PRIVATE (type
, nfields
);
2360 case VISIBILITY_PROTECTED
:
2361 SET_TYPE_FIELD_PROTECTED (type
, nfields
);
2364 case VISIBILITY_PUBLIC
:
2368 /* Should warn about this unknown visibility? */
2371 fip
-> list
= fip
-> list
-> next
;
2376 /* Read the description of a structure (or union type) and return an object
2377 describing the type.
2379 PP points to a character pointer that points to the next unconsumed token
2380 in the the stabs string. For example, given stabs "A:T4=s4a:1,0,32;;",
2381 *PP will point to "4a:1,0,32;;".
2383 TYPE points to an incomplete type that needs to be filled in.
2385 OBJFILE points to the current objfile from which the stabs information is
2386 being read. (Note that it is redundant in that TYPE also contains a pointer
2387 to this same objfile, so it might be a good idea to eliminate it. FIXME).
2390 static struct type
*
2391 read_struct_type (pp
, type
, objfile
)
2394 struct objfile
*objfile
;
2396 struct cleanup
*back_to
;
2397 struct field_info fi
;
2402 back_to
= make_cleanup (null_cleanup
, 0);
2404 INIT_CPLUS_SPECIFIC (type
);
2405 TYPE_FLAGS (type
) &= ~TYPE_FLAG_STUB
;
2407 /* First comes the total size in bytes. */
2409 TYPE_LENGTH (type
) = read_number (pp
, 0);
2411 /* Now read the baseclasses, if any, read the regular C struct or C++
2412 class member fields, attach the fields to the type, read the C++
2413 member functions, attach them to the type, and then read any tilde
2414 field (baseclass specifier for the class holding the main vtable). */
2416 if (!read_baseclasses (&fi
, pp
, type
, objfile
)
2417 || !read_struct_fields (&fi
, pp
, type
, objfile
)
2418 || !attach_fields_to_type (&fi
, type
, objfile
)
2419 || !read_member_functions (&fi
, pp
, type
, objfile
)
2420 || !attach_fn_fields_to_type (&fi
, type
)
2421 || !read_tilde_fields (&fi
, pp
, type
, objfile
))
2423 do_cleanups (back_to
);
2424 return (error_type (pp
));
2427 do_cleanups (back_to
);
2431 /* Read a definition of an array type,
2432 and create and return a suitable type object.
2433 Also creates a range type which represents the bounds of that
2436 static struct type
*
2437 read_array_type (pp
, type
, objfile
)
2439 register struct type
*type
;
2440 struct objfile
*objfile
;
2442 struct type
*index_type
, *element_type
, *range_type
;
2446 /* Format of an array type:
2447 "ar<index type>;lower;upper;<array_contents_type>". Put code in
2450 Fortran adjustable arrays use Adigits or Tdigits for lower or upper;
2451 for these, produce a type like float[][]. */
2453 index_type
= read_type (pp
, objfile
);
2455 /* Improper format of array type decl. */
2456 return error_type (pp
);
2459 if (!(**pp
>= '0' && **pp
<= '9'))
2464 lower
= read_number (pp
, ';');
2466 if (!(**pp
>= '0' && **pp
<= '9'))
2471 upper
= read_number (pp
, ';');
2473 element_type
= read_type (pp
, objfile
);
2482 create_range_type ((struct type
*) NULL
, index_type
, lower
, upper
);
2483 type
= create_array_type (type
, element_type
, range_type
);
2485 /* If we have an array whose element type is not yet known, but whose
2486 bounds *are* known, record it to be adjusted at the end of the file. */
2488 if (TYPE_LENGTH (element_type
) == 0 && !adjustable
)
2490 add_undefined_type (type
);
2497 /* Read a definition of an enumeration type,
2498 and create and return a suitable type object.
2499 Also defines the symbols that represent the values of the type. */
2501 static struct type
*
2502 read_enum_type (pp
, type
, objfile
)
2504 register struct type
*type
;
2505 struct objfile
*objfile
;
2510 register struct symbol
*sym
;
2512 struct pending
**symlist
;
2513 struct pending
*osyms
, *syms
;
2517 /* FIXME! The stabs produced by Sun CC merrily define things that ought
2518 to be file-scope, between N_FN entries, using N_LSYM. What's a mother
2519 to do? For now, force all enum values to file scope. */
2520 if (within_function
)
2521 symlist
= &local_symbols
;
2524 symlist
= &file_symbols
;
2526 o_nsyms
= osyms
? osyms
->nsyms
: 0;
2528 /* Read the value-names and their values.
2529 The input syntax is NAME:VALUE,NAME:VALUE, and so on.
2530 A semicolon or comma instead of a NAME means the end. */
2531 while (**pp
&& **pp
!= ';' && **pp
!= ',')
2533 STABS_CONTINUE (pp
);
2535 while (*p
!= ':') p
++;
2536 name
= obsavestring (*pp
, p
- *pp
, &objfile
-> symbol_obstack
);
2538 n
= read_number (pp
, ',');
2540 sym
= (struct symbol
*)
2541 obstack_alloc (&objfile
-> symbol_obstack
, sizeof (struct symbol
));
2542 memset (sym
, 0, sizeof (struct symbol
));
2543 SYMBOL_NAME (sym
) = name
;
2544 SYMBOL_LANGUAGE (sym
) = current_subfile
-> language
;
2545 SYMBOL_CLASS (sym
) = LOC_CONST
;
2546 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
2547 SYMBOL_VALUE (sym
) = n
;
2548 add_symbol_to_list (sym
, symlist
);
2553 (*pp
)++; /* Skip the semicolon. */
2555 /* Now fill in the fields of the type-structure. */
2557 TYPE_LENGTH (type
) = sizeof (int);
2558 TYPE_CODE (type
) = TYPE_CODE_ENUM
;
2559 TYPE_FLAGS (type
) &= ~TYPE_FLAG_STUB
;
2560 TYPE_NFIELDS (type
) = nsyms
;
2561 TYPE_FIELDS (type
) = (struct field
*)
2562 TYPE_ALLOC (type
, sizeof (struct field
) * nsyms
);
2563 memset (TYPE_FIELDS (type
), 0, sizeof (struct field
) * nsyms
);
2565 /* Find the symbols for the values and put them into the type.
2566 The symbols can be found in the symlist that we put them on
2567 to cause them to be defined. osyms contains the old value
2568 of that symlist; everything up to there was defined by us. */
2569 /* Note that we preserve the order of the enum constants, so
2570 that in something like "enum {FOO, LAST_THING=FOO}" we print
2571 FOO, not LAST_THING. */
2573 for (syms
= *symlist
, n
= 0; syms
; syms
= syms
->next
)
2578 for (; j
< syms
->nsyms
; j
++,n
++)
2580 struct symbol
*xsym
= syms
->symbol
[j
];
2581 SYMBOL_TYPE (xsym
) = type
;
2582 TYPE_FIELD_NAME (type
, n
) = SYMBOL_NAME (xsym
);
2583 TYPE_FIELD_VALUE (type
, n
) = 0;
2584 TYPE_FIELD_BITPOS (type
, n
) = SYMBOL_VALUE (xsym
);
2585 TYPE_FIELD_BITSIZE (type
, n
) = 0;
2592 /* This screws up perfectly good C programs with enums. FIXME. */
2593 /* Is this Modula-2's BOOLEAN type? Flag it as such if so. */
2594 if(TYPE_NFIELDS(type
) == 2 &&
2595 ((STREQ(TYPE_FIELD_NAME(type
,0),"TRUE") &&
2596 STREQ(TYPE_FIELD_NAME(type
,1),"FALSE")) ||
2597 (STREQ(TYPE_FIELD_NAME(type
,1),"TRUE") &&
2598 STREQ(TYPE_FIELD_NAME(type
,0),"FALSE"))))
2599 TYPE_CODE(type
) = TYPE_CODE_BOOL
;
2605 /* Sun's ACC uses a somewhat saner method for specifying the builtin
2606 typedefs in every file (for int, long, etc):
2608 type = b <signed> <width>; <offset>; <nbits>
2609 signed = u or s. Possible c in addition to u or s (for char?).
2610 offset = offset from high order bit to start bit of type.
2611 width is # bytes in object of this type, nbits is # bits in type.
2613 The width/offset stuff appears to be for small objects stored in
2614 larger ones (e.g. `shorts' in `int' registers). We ignore it for now,
2617 static struct type
*
2618 read_sun_builtin_type (pp
, typenums
, objfile
)
2621 struct objfile
*objfile
;
2635 return error_type (pp
);
2639 /* For some odd reason, all forms of char put a c here. This is strange
2640 because no other type has this honor. We can safely ignore this because
2641 we actually determine 'char'acterness by the number of bits specified in
2647 /* The first number appears to be the number of bytes occupied
2648 by this type, except that unsigned short is 4 instead of 2.
2649 Since this information is redundant with the third number,
2650 we will ignore it. */
2651 read_number (pp
, ';');
2653 /* The second number is always 0, so ignore it too. */
2654 read_number (pp
, ';');
2656 /* The third number is the number of bits for this type. */
2657 nbits
= read_number (pp
, 0);
2659 /* FIXME. Here we should just be able to make a type of the right
2660 number of bits and signedness. FIXME. */
2662 if (nbits
== TARGET_LONG_LONG_BIT
)
2663 return (lookup_fundamental_type (objfile
,
2664 signed_type
? FT_LONG_LONG
: FT_UNSIGNED_LONG_LONG
));
2666 if (nbits
== TARGET_INT_BIT
)
2668 /* FIXME -- the only way to distinguish `int' from `long'
2669 is to look at its name! */
2672 if (long_kludge_name
&& long_kludge_name
[0] == 'l' /* long */)
2673 return lookup_fundamental_type (objfile
, FT_LONG
);
2675 return lookup_fundamental_type (objfile
, FT_INTEGER
);
2679 if (long_kludge_name
2680 && ((long_kludge_name
[0] == 'u' /* unsigned */ &&
2681 long_kludge_name
[9] == 'l' /* long */)
2682 || (long_kludge_name
[0] == 'l' /* long unsigned */)))
2683 return lookup_fundamental_type (objfile
, FT_UNSIGNED_LONG
);
2685 return lookup_fundamental_type (objfile
, FT_UNSIGNED_INTEGER
);
2689 if (nbits
== TARGET_SHORT_BIT
)
2690 return (lookup_fundamental_type (objfile
,
2691 signed_type
? FT_SHORT
: FT_UNSIGNED_SHORT
));
2693 if (nbits
== TARGET_CHAR_BIT
)
2694 return (lookup_fundamental_type (objfile
,
2695 signed_type
? FT_CHAR
: FT_UNSIGNED_CHAR
));
2698 return lookup_fundamental_type (objfile
, FT_VOID
);
2700 return error_type (pp
);
2703 static struct type
*
2704 read_sun_floating_type (pp
, typenums
, objfile
)
2707 struct objfile
*objfile
;
2711 /* The first number has more details about the type, for example
2712 FN_COMPLEX. See the sun stab.h. */
2713 read_number (pp
, ';');
2715 /* The second number is the number of bytes occupied by this type */
2716 nbytes
= read_number (pp
, ';');
2719 return error_type (pp
);
2721 if (nbytes
== TARGET_FLOAT_BIT
/ TARGET_CHAR_BIT
)
2722 return lookup_fundamental_type (objfile
, FT_FLOAT
);
2724 if (nbytes
== TARGET_DOUBLE_BIT
/ TARGET_CHAR_BIT
)
2725 return lookup_fundamental_type (objfile
, FT_DBL_PREC_FLOAT
);
2727 if (nbytes
== TARGET_LONG_DOUBLE_BIT
/ TARGET_CHAR_BIT
)
2728 return lookup_fundamental_type (objfile
, FT_EXT_PREC_FLOAT
);
2730 return error_type (pp
);
2733 /* Read a number from the string pointed to by *PP.
2734 The value of *PP is advanced over the number.
2735 If END is nonzero, the character that ends the
2736 number must match END, or an error happens;
2737 and that character is skipped if it does match.
2738 If END is zero, *PP is left pointing to that character.
2740 If the number fits in a long, set *VALUE and set *BITS to 0.
2741 If not, set *BITS to be the number of bits in the number.
2743 If encounter garbage, set *BITS to -1. */
2746 read_huge_number (pp
, end
, valu
, bits
)
2767 /* Leading zero means octal. GCC uses this to output values larger
2768 than an int (because that would be hard in decimal). */
2775 upper_limit
= LONG_MAX
/ radix
;
2776 while ((c
= *p
++) >= '0' && c
<= ('0' + radix
))
2778 if (n
<= upper_limit
)
2781 n
+= c
- '0'; /* FIXME this overflows anyway */
2786 /* This depends on large values being output in octal, which is
2793 /* Ignore leading zeroes. */
2797 else if (c
== '2' || c
== '3')
2823 /* Large decimal constants are an error (because it is hard to
2824 count how many bits are in them). */
2830 /* -0x7f is the same as 0x80. So deal with it by adding one to
2831 the number of bits. */
2846 static struct type
*
2847 read_range_type (pp
, typenums
, objfile
)
2850 struct objfile
*objfile
;
2856 struct type
*result_type
;
2857 struct type
*index_type
;
2859 /* First comes a type we are a subrange of.
2860 In C it is usually 0, 1 or the type being defined. */
2861 read_type_number (pp
, rangenums
);
2862 self_subrange
= (rangenums
[0] == typenums
[0] &&
2863 rangenums
[1] == typenums
[1]);
2865 /* A semicolon should now follow; skip it. */
2869 /* The remaining two operands are usually lower and upper bounds
2870 of the range. But in some special cases they mean something else. */
2871 read_huge_number (pp
, ';', &n2
, &n2bits
);
2872 read_huge_number (pp
, ';', &n3
, &n3bits
);
2874 if (n2bits
== -1 || n3bits
== -1)
2875 return error_type (pp
);
2877 /* If limits are huge, must be large integral type. */
2878 if (n2bits
!= 0 || n3bits
!= 0)
2880 char got_signed
= 0;
2881 char got_unsigned
= 0;
2882 /* Number of bits in the type. */
2885 /* Range from 0 to <large number> is an unsigned large integral type. */
2886 if ((n2bits
== 0 && n2
== 0) && n3bits
!= 0)
2891 /* Range from <large number> to <large number>-1 is a large signed
2893 else if (n2bits
!= 0 && n3bits
!= 0 && n2bits
== n3bits
+ 1)
2899 /* Check for "long long". */
2900 if (got_signed
&& nbits
== TARGET_LONG_LONG_BIT
)
2901 return (lookup_fundamental_type (objfile
, FT_LONG_LONG
));
2902 if (got_unsigned
&& nbits
== TARGET_LONG_LONG_BIT
)
2903 return (lookup_fundamental_type (objfile
, FT_UNSIGNED_LONG_LONG
));
2905 if (got_signed
|| got_unsigned
)
2907 result_type
= alloc_type (objfile
);
2908 TYPE_LENGTH (result_type
) = nbits
/ TARGET_CHAR_BIT
;
2909 TYPE_CODE (result_type
) = TYPE_CODE_INT
;
2911 TYPE_FLAGS (result_type
) |= TYPE_FLAG_UNSIGNED
;
2915 return error_type (pp
);
2918 /* A type defined as a subrange of itself, with bounds both 0, is void. */
2919 if (self_subrange
&& n2
== 0 && n3
== 0)
2920 return (lookup_fundamental_type (objfile
, FT_VOID
));
2922 /* If n3 is zero and n2 is not, we want a floating type,
2923 and n2 is the width in bytes.
2925 Fortran programs appear to use this for complex types also,
2926 and they give no way to distinguish between double and single-complex!
2927 We don't have complex types, so we would lose on all fortran files!
2928 So return type `double' for all of those. It won't work right
2929 for the complex values, but at least it makes the file loadable.
2931 FIXME, we may be able to distinguish these by their names. FIXME. */
2933 if (n3
== 0 && n2
> 0)
2935 if (n2
== sizeof (float))
2936 return (lookup_fundamental_type (objfile
, FT_FLOAT
));
2937 return (lookup_fundamental_type (objfile
, FT_DBL_PREC_FLOAT
));
2940 /* If the upper bound is -1, it must really be an unsigned int. */
2942 else if (n2
== 0 && n3
== -1)
2944 /* FIXME -- the only way to distinguish `unsigned int' from `unsigned
2945 long' is to look at its name! */
2947 long_kludge_name
&& ((long_kludge_name
[0] == 'u' /* unsigned */ &&
2948 long_kludge_name
[9] == 'l' /* long */)
2949 || (long_kludge_name
[0] == 'l' /* long unsigned */)))
2950 return (lookup_fundamental_type (objfile
, FT_UNSIGNED_LONG
));
2952 return (lookup_fundamental_type (objfile
, FT_UNSIGNED_INTEGER
));
2955 /* Special case: char is defined (Who knows why) as a subrange of
2956 itself with range 0-127. */
2957 else if (self_subrange
&& n2
== 0 && n3
== 127)
2958 return (lookup_fundamental_type (objfile
, FT_CHAR
));
2960 /* Assumptions made here: Subrange of self is equivalent to subrange
2961 of int. FIXME: Host and target type-sizes assumed the same. */
2962 /* FIXME: This is the *only* place in GDB that depends on comparing
2963 some type to a builtin type with ==. Fix it! */
2965 && (self_subrange
||
2966 *dbx_lookup_type (rangenums
) == lookup_fundamental_type (objfile
, FT_INTEGER
)))
2968 /* an unsigned type */
2969 #ifdef CC_HAS_LONG_LONG
2970 if (n3
== - sizeof (long long))
2971 return (lookup_fundamental_type (objfile
, FT_UNSIGNED_LONG_LONG
));
2973 /* FIXME -- the only way to distinguish `unsigned int' from `unsigned
2974 long' is to look at its name! */
2975 if (n3
== (unsigned long)~0L &&
2976 long_kludge_name
&& ((long_kludge_name
[0] == 'u' /* unsigned */ &&
2977 long_kludge_name
[9] == 'l' /* long */)
2978 || (long_kludge_name
[0] == 'l' /* long unsigned */)))
2979 return (lookup_fundamental_type (objfile
, FT_UNSIGNED_LONG
));
2980 if (n3
== (unsigned int)~0L)
2981 return (lookup_fundamental_type (objfile
, FT_UNSIGNED_INTEGER
));
2982 if (n3
== (unsigned short)~0L)
2983 return (lookup_fundamental_type (objfile
, FT_UNSIGNED_SHORT
));
2984 if (n3
== (unsigned char)~0L)
2985 return (lookup_fundamental_type (objfile
, FT_UNSIGNED_CHAR
));
2987 #ifdef CC_HAS_LONG_LONG
2988 else if (n3
== 0 && n2
== -sizeof (long long))
2989 return (lookup_fundamental_type (objfile
, FT_LONG_LONG
));
2991 else if (n2
== -n3
-1)
2994 /* FIXME -- the only way to distinguish `int' from `long' is to look
2996 if ((n3
==(long)(((unsigned long)1 << (8 * sizeof (long) - 1)) - 1)) &&
2997 long_kludge_name
&& long_kludge_name
[0] == 'l' /* long */)
2998 return (lookup_fundamental_type (objfile
, FT_LONG
));
2999 if (n3
== (long)(((unsigned long)1 << (8 * sizeof (int) - 1)) - 1))
3000 return (lookup_fundamental_type (objfile
, FT_INTEGER
));
3001 if (n3
== ( 1 << (8 * sizeof (short) - 1)) - 1)
3002 return (lookup_fundamental_type (objfile
, FT_SHORT
));
3003 if (n3
== ( 1 << (8 * sizeof (char) - 1)) - 1)
3004 return (lookup_fundamental_type (objfile
, FT_SIGNED_CHAR
));
3007 /* We have a real range type on our hands. Allocate space and
3008 return a real pointer. */
3010 /* At this point I don't have the faintest idea how to deal with
3011 a self_subrange type; I'm going to assume that this is used
3012 as an idiom, and that all of them are special cases. So . . . */
3014 return error_type (pp
);
3016 index_type
= *dbx_lookup_type (rangenums
);
3017 if (index_type
== NULL
)
3019 complain (&range_type_base_complaint
, rangenums
[1]);
3020 index_type
= lookup_fundamental_type (objfile
, FT_INTEGER
);
3023 result_type
= create_range_type ((struct type
*) NULL
, index_type
, n2
, n3
);
3024 return (result_type
);
3027 /* Read a number from the string pointed to by *PP.
3028 The value of *PP is advanced over the number.
3029 If END is nonzero, the character that ends the
3030 number must match END, or an error happens;
3031 and that character is skipped if it does match.
3032 If END is zero, *PP is left pointing to that character. */
3035 read_number (pp
, end
)
3039 register char *p
= *pp
;
3040 register long n
= 0;
3044 /* Handle an optional leading minus sign. */
3052 /* Read the digits, as far as they go. */
3054 while ((c
= *p
++) >= '0' && c
<= '9')
3062 error ("Invalid symbol data: invalid character \\%03o at symbol pos %d.", c
, symnum
);
3071 /* Read in an argument list. This is a list of types, separated by commas
3072 and terminated with END. Return the list of types read in, or (struct type
3073 **)-1 if there is an error. */
3075 static struct type
**
3076 read_args (pp
, end
, objfile
)
3079 struct objfile
*objfile
;
3081 /* FIXME! Remove this arbitrary limit! */
3082 struct type
*types
[1024], **rval
; /* allow for fns of 1023 parameters */
3088 /* Invalid argument list: no ','. */
3089 return (struct type
**)-1;
3091 STABS_CONTINUE (pp
);
3092 types
[n
++] = read_type (pp
, objfile
);
3094 (*pp
)++; /* get past `end' (the ':' character) */
3098 rval
= (struct type
**) xmalloc (2 * sizeof (struct type
*));
3100 else if (TYPE_CODE (types
[n
-1]) != TYPE_CODE_VOID
)
3102 rval
= (struct type
**) xmalloc ((n
+ 1) * sizeof (struct type
*));
3103 memset (rval
+ n
, 0, sizeof (struct type
*));
3107 rval
= (struct type
**) xmalloc (n
* sizeof (struct type
*));
3109 memcpy (rval
, types
, n
* sizeof (struct type
*));
3113 /* Add a common block's start address to the offset of each symbol
3114 declared to be in it (by being between a BCOMM/ECOMM pair that uses
3115 the common block name). */
3118 fix_common_block (sym
, valu
)
3122 struct pending
*next
= (struct pending
*) SYMBOL_NAMESPACE (sym
);
3123 for ( ; next
; next
= next
->next
)
3126 for (j
= next
->nsyms
- 1; j
>= 0; j
--)
3127 SYMBOL_VALUE_ADDRESS (next
->symbol
[j
]) += valu
;
3133 /* What about types defined as forward references inside of a small lexical
3135 /* Add a type to the list of undefined types to be checked through
3136 once this file has been read in. */
3139 add_undefined_type (type
)
3142 if (undef_types_length
== undef_types_allocated
)
3144 undef_types_allocated
*= 2;
3145 undef_types
= (struct type
**)
3146 xrealloc ((char *) undef_types
,
3147 undef_types_allocated
* sizeof (struct type
*));
3149 undef_types
[undef_types_length
++] = type
;
3152 /* Go through each undefined type, see if it's still undefined, and fix it
3153 up if possible. We have two kinds of undefined types:
3155 TYPE_CODE_ARRAY: Array whose target type wasn't defined yet.
3156 Fix: update array length using the element bounds
3157 and the target type's length.
3158 TYPE_CODE_STRUCT, TYPE_CODE_UNION: Structure whose fields were not
3159 yet defined at the time a pointer to it was made.
3160 Fix: Do a full lookup on the struct/union tag. */
3162 cleanup_undefined_types ()
3166 for (type
= undef_types
; type
< undef_types
+ undef_types_length
; type
++)
3168 switch (TYPE_CODE (*type
))
3171 case TYPE_CODE_STRUCT
:
3172 case TYPE_CODE_UNION
:
3173 case TYPE_CODE_ENUM
:
3175 /* Check if it has been defined since. */
3176 if (TYPE_FLAGS (*type
) & TYPE_FLAG_STUB
)
3178 struct pending
*ppt
;
3180 /* Name of the type, without "struct" or "union" */
3181 char *typename
= TYPE_NAME (*type
);
3183 if (!strncmp (typename
, "struct ", 7))
3185 if (!strncmp (typename
, "union ", 6))
3187 if (!strncmp (typename
, "enum ", 5))
3190 for (ppt
= file_symbols
; ppt
; ppt
= ppt
->next
)
3192 for (i
= 0; i
< ppt
->nsyms
; i
++)
3194 struct symbol
*sym
= ppt
->symbol
[i
];
3196 if (SYMBOL_CLASS (sym
) == LOC_TYPEDEF
3197 && SYMBOL_NAMESPACE (sym
) == STRUCT_NAMESPACE
3198 && (TYPE_CODE (SYMBOL_TYPE (sym
)) ==
3200 && STREQ (SYMBOL_NAME (sym
), typename
))
3202 memcpy (*type
, SYMBOL_TYPE (sym
),
3203 sizeof (struct type
));
3211 case TYPE_CODE_ARRAY
:
3213 struct type
*range_type
;
3216 if (TYPE_LENGTH (*type
) != 0) /* Better be unknown */
3218 if (TYPE_NFIELDS (*type
) != 1)
3220 range_type
= TYPE_FIELD_TYPE (*type
, 0);
3221 if (TYPE_CODE (range_type
) != TYPE_CODE_RANGE
)
3224 /* Now recompute the length of the array type, based on its
3225 number of elements and the target type's length. */
3226 lower
= TYPE_FIELD_BITPOS (range_type
, 0);
3227 upper
= TYPE_FIELD_BITPOS (range_type
, 1);
3228 TYPE_LENGTH (*type
) = (upper
- lower
+ 1)
3229 * TYPE_LENGTH (TYPE_TARGET_TYPE (*type
));
3235 error ("GDB internal error. cleanup_undefined_types with bad type %d.", TYPE_CODE (*type
));
3239 undef_types_length
= 0;
3242 /* Scan through all of the global symbols defined in the object file,
3243 assigning values to the debugging symbols that need to be assigned
3244 to. Get these symbols from the minimal symbol table. */
3247 scan_file_globals (objfile
)
3248 struct objfile
*objfile
;
3251 struct minimal_symbol
*msymbol
;
3252 struct symbol
*sym
, *prev
;
3254 if (objfile
->msymbols
== 0) /* Beware the null file. */
3257 for (msymbol
= objfile
-> msymbols
; SYMBOL_NAME (msymbol
) != NULL
; msymbol
++)
3263 /* Get the hash index and check all the symbols
3264 under that hash index. */
3266 hash
= hashname (SYMBOL_NAME (msymbol
));
3268 for (sym
= global_sym_chain
[hash
]; sym
;)
3270 if (SYMBOL_NAME (msymbol
)[0] == SYMBOL_NAME (sym
)[0] &&
3271 STREQ(SYMBOL_NAME (msymbol
) + 1, SYMBOL_NAME (sym
) + 1))
3273 /* Splice this symbol out of the hash chain and
3274 assign the value we have to it. */
3277 SYMBOL_VALUE_CHAIN (prev
) = SYMBOL_VALUE_CHAIN (sym
);
3281 global_sym_chain
[hash
] = SYMBOL_VALUE_CHAIN (sym
);
3284 /* Check to see whether we need to fix up a common block. */
3285 /* Note: this code might be executed several times for
3286 the same symbol if there are multiple references. */
3288 if (SYMBOL_CLASS (sym
) == LOC_BLOCK
)
3290 fix_common_block (sym
, SYMBOL_VALUE_ADDRESS (msymbol
));
3294 SYMBOL_VALUE_ADDRESS (sym
) = SYMBOL_VALUE_ADDRESS (msymbol
);
3299 sym
= SYMBOL_VALUE_CHAIN (prev
);
3303 sym
= global_sym_chain
[hash
];
3309 sym
= SYMBOL_VALUE_CHAIN (sym
);
3315 /* Initialize anything that needs initializing when starting to read
3316 a fresh piece of a symbol file, e.g. reading in the stuff corresponding
3324 /* Initialize anything that needs initializing when a completely new
3325 symbol file is specified (not just adding some symbols from another
3326 file, e.g. a shared library). */
3329 stabsread_new_init ()
3331 /* Empty the hash table of global syms looking for values. */
3332 memset (global_sym_chain
, 0, sizeof (global_sym_chain
));
3335 /* Initialize anything that needs initializing at the same time as
3336 start_symtab() is called. */
3340 global_stabs
= NULL
; /* AIX COFF */
3341 /* Leave FILENUM of 0 free for builtin types and this file's types. */
3342 n_this_object_header_files
= 1;
3343 type_vector_length
= 0;
3344 type_vector
= (struct type
**) 0;
3347 /* Call after end_symtab() */
3353 free ((char *) type_vector
);
3356 type_vector_length
= 0;
3357 previous_stab_code
= 0;
3361 finish_global_stabs (objfile
)
3362 struct objfile
*objfile
;
3366 patch_block_stabs (global_symbols
, global_stabs
, objfile
);
3367 free ((PTR
) global_stabs
);
3368 global_stabs
= NULL
;
3372 /* Initializer for this module */
3375 _initialize_stabsread ()
3377 undef_types_allocated
= 20;
3378 undef_types_length
= 0;
3379 undef_types
= (struct type
**)
3380 xmalloc (undef_types_allocated
* sizeof (struct type
*));