1 /* DWARF debugging format support for GDB.
2 Copyright (C) 1991, 1992 Free Software Foundation, Inc.
3 Written by Fred Fish at Cygnus Support. Portions based on dbxread.c,
4 mipsread.c, coffread.c, and dwarfread.c from a Data General SVR4 gdb port.
6 This file is part of GDB.
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2 of the License, or
11 (at your option) any later version.
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
24 FIXME: Figure out how to get the frame pointer register number in the
25 execution environment of the target. Remove R_FP kludge
27 FIXME: Add generation of dependencies list to partial symtab code.
29 FIXME: Resolve minor differences between what information we put in the
30 partial symbol table and what dbxread puts in. For example, we don't yet
31 put enum constants there. And dbxread seems to invent a lot of typedefs
32 we never see. Use the new printpsym command to see the partial symbol table
35 FIXME: Figure out a better way to tell gdb about the name of the function
36 contain the user's entry point (I.E. main())
38 FIXME: See other FIXME's and "ifdef 0" scattered throughout the code for
39 other things to work on, if you get bored. :-)
49 #include "libbfd.h" /* FIXME Secret Internal BFD stuff (bfd_read) */
50 #include "elf/dwarf.h"
53 #include "expression.h" /* Needed for enum exp_opcode in language.h, sigh... */
59 #include <sys/types.h>
64 /* FIXME -- convert this to SEEK_SET a la POSIX, move to config files. */
69 #ifdef MAINTENANCE /* Define to 1 to compile in some maintenance stuff */
70 #define SQUAWK(stuff) dwarfwarn stuff
75 #ifndef R_FP /* FIXME */
76 #define R_FP 14 /* Kludge to get frame pointer register number */
79 typedef unsigned int DIE_REF; /* Reference to a DIE */
82 #define GCC_PRODUCER "GNU C "
85 #ifndef GPLUS_PRODUCER
86 #define GPLUS_PRODUCER "GNU C++ "
90 #define LCC_PRODUCER "NCR C/C++"
93 #ifndef CFRONT_PRODUCER
94 #define CFRONT_PRODUCER "CFRONT " /* A wild a** guess... */
97 /* start-sanitize-chill */
98 #ifndef CHILL_PRODUCER
99 #define CHILL_PRODUCER "GNU Chill "
101 /* end-sanitize-chill */
103 #define STREQ(a,b) (strcmp(a,b)==0)
104 #define STREQN(a,b,n) (strncmp(a,b,n)==0)
106 /* Flags to target_to_host() that tell whether or not the data object is
107 expected to be signed. Used, for example, when fetching a signed
108 integer in the target environment which is used as a signed integer
109 in the host environment, and the two environments have different sized
110 ints. In this case, *somebody* has to sign extend the smaller sized
113 #define GET_UNSIGNED 0 /* No sign extension required */
114 #define GET_SIGNED 1 /* Sign extension required */
116 /* Defines for things which are specified in the document "DWARF Debugging
117 Information Format" published by UNIX International, Programming Languages
118 SIG. These defines are based on revision 1.0.0, Jan 20, 1992. */
120 #define SIZEOF_DIE_LENGTH 4
121 #define SIZEOF_DIE_TAG 2
122 #define SIZEOF_ATTRIBUTE 2
123 #define SIZEOF_FORMAT_SPECIFIER 1
124 #define SIZEOF_FMT_FT 2
125 #define SIZEOF_LINETBL_LENGTH 4
126 #define SIZEOF_LINETBL_LINENO 4
127 #define SIZEOF_LINETBL_STMT 2
128 #define SIZEOF_LINETBL_DELTA 4
129 #define SIZEOF_LOC_ATOM_CODE 1
131 #define FORM_FROM_ATTR(attr) ((attr) & 0xF) /* Implicitly specified */
133 /* Macros that return the sizes of various types of data in the target
136 FIXME: Currently these are just compile time constants (as they are in
137 other parts of gdb as well). They need to be able to get the right size
138 either from the bfd or possibly from the DWARF info. It would be nice if
139 the DWARF producer inserted DIES that describe the fundamental types in
140 the target environment into the DWARF info, similar to the way dbx stabs
141 producers produce information about their fundamental types. */
143 #define TARGET_FT_POINTER_SIZE(objfile) (TARGET_PTR_BIT / TARGET_CHAR_BIT)
144 #define TARGET_FT_LONG_SIZE(objfile) (TARGET_LONG_BIT / TARGET_CHAR_BIT)
146 /* The Amiga SVR4 header file <dwarf.h> defines AT_element_list as a
147 FORM_BLOCK2, and this is the value emitted by the AT&T compiler.
148 However, the Issue 2 DWARF specification from AT&T defines it as
149 a FORM_BLOCK4, as does the latest specification from UI/PLSIG.
150 For backwards compatibility with the AT&T compiler produced executables
151 we define AT_short_element_list for this variant. */
153 #define AT_short_element_list (0x00f0|FORM_BLOCK2)
155 /* External variables referenced. */
157 extern int info_verbose; /* From main.c; nonzero => verbose */
158 extern char *warning_pre_print; /* From utils.c */
160 /* The DWARF debugging information consists of two major pieces,
161 one is a block of DWARF Information Entries (DIE's) and the other
162 is a line number table. The "struct dieinfo" structure contains
163 the information for a single DIE, the one currently being processed.
165 In order to make it easier to randomly access the attribute fields
166 of the current DIE, which are specifically unordered within the DIE,
167 each DIE is scanned and an instance of the "struct dieinfo"
168 structure is initialized.
170 Initialization is done in two levels. The first, done by basicdieinfo(),
171 just initializes those fields that are vital to deciding whether or not
172 to use this DIE, how to skip past it, etc. The second, done by the
173 function completedieinfo(), fills in the rest of the information.
175 Attributes which have block forms are not interpreted at the time
176 the DIE is scanned, instead we just save pointers to the start
177 of their value fields.
179 Some fields have a flag <name>_p that is set when the value of the
180 field is valid (I.E. we found a matching attribute in the DIE). Since
181 we may want to test for the presence of some attributes in the DIE,
182 such as AT_low_pc, without restricting the values of the field,
183 we need someway to note that we found such an attribute.
190 char * die; /* Pointer to the raw DIE data */
191 unsigned long die_length; /* Length of the raw DIE data */
192 DIE_REF die_ref; /* Offset of this DIE */
193 unsigned short die_tag; /* Tag for this DIE */
194 unsigned long at_padding;
195 unsigned long at_sibling;
198 unsigned short at_fund_type;
199 BLOCK * at_mod_fund_type;
200 unsigned long at_user_def_type;
201 BLOCK * at_mod_u_d_type;
202 unsigned short at_ordering;
203 BLOCK * at_subscr_data;
204 unsigned long at_byte_size;
205 unsigned short at_bit_offset;
206 unsigned long at_bit_size;
207 BLOCK * at_element_list;
208 unsigned long at_stmt_list;
209 unsigned long at_low_pc;
210 unsigned long at_high_pc;
211 unsigned long at_language;
212 unsigned long at_member;
213 unsigned long at_discr;
214 BLOCK * at_discr_value;
215 BLOCK * at_string_length;
218 unsigned long at_start_scope;
219 unsigned long at_stride_size;
220 unsigned long at_src_info;
221 char * at_prototyped;
222 unsigned int has_at_low_pc:1;
223 unsigned int has_at_stmt_list:1;
224 unsigned int has_at_byte_size:1;
225 unsigned int short_element_list:1;
228 static int diecount; /* Approximate count of dies for compilation unit */
229 static struct dieinfo *curdie; /* For warnings and such */
231 static char *dbbase; /* Base pointer to dwarf info */
232 static int dbsize; /* Size of dwarf info in bytes */
233 static int dbroff; /* Relative offset from start of .debug section */
234 static char *lnbase; /* Base pointer to line section */
235 static int isreg; /* Kludge to identify register variables */
236 static int offreg; /* Kludge to identify basereg references */
238 /* This value is added to each symbol value. FIXME: Generalize to
239 the section_offsets structure used by dbxread. */
240 static CORE_ADDR baseaddr; /* Add to each symbol value */
242 /* The section offsets used in the current psymtab or symtab. FIXME,
243 only used to pass one value (baseaddr) at the moment. */
244 static struct section_offsets *base_section_offsets;
246 /* Each partial symbol table entry contains a pointer to private data for the
247 read_symtab() function to use when expanding a partial symbol table entry
248 to a full symbol table entry. For DWARF debugging info, this data is
249 contained in the following structure and macros are provided for easy
250 access to the members given a pointer to a partial symbol table entry.
252 dbfoff Always the absolute file offset to the start of the ".debug"
253 section for the file containing the DIE's being accessed.
255 dbroff Relative offset from the start of the ".debug" access to the
256 first DIE to be accessed. When building the partial symbol
257 table, this value will be zero since we are accessing the
258 entire ".debug" section. When expanding a partial symbol
259 table entry, this value will be the offset to the first
260 DIE for the compilation unit containing the symbol that
261 triggers the expansion.
263 dblength The size of the chunk of DIE's being examined, in bytes.
265 lnfoff The absolute file offset to the line table fragment. Ignored
266 when building partial symbol tables, but used when expanding
267 them, and contains the absolute file offset to the fragment
268 of the ".line" section containing the line numbers for the
269 current compilation unit.
273 file_ptr dbfoff; /* Absolute file offset to start of .debug section */
274 int dbroff; /* Relative offset from start of .debug section */
275 int dblength; /* Size of the chunk of DIE's being examined */
276 file_ptr lnfoff; /* Absolute file offset to line table fragment */
279 #define DBFOFF(p) (((struct dwfinfo *)((p)->read_symtab_private))->dbfoff)
280 #define DBROFF(p) (((struct dwfinfo *)((p)->read_symtab_private))->dbroff)
281 #define DBLENGTH(p) (((struct dwfinfo *)((p)->read_symtab_private))->dblength)
282 #define LNFOFF(p) (((struct dwfinfo *)((p)->read_symtab_private))->lnfoff)
284 /* The generic symbol table building routines have separate lists for
285 file scope symbols and all all other scopes (local scopes). So
286 we need to select the right one to pass to add_symbol_to_list().
287 We do it by keeping a pointer to the correct list in list_in_scope.
289 FIXME: The original dwarf code just treated the file scope as the first
290 local scope, and all other local scopes as nested local scopes, and worked
291 fine. Check to see if we really need to distinguish these in buildsym.c */
293 struct pending **list_in_scope = &file_symbols;
295 /* DIES which have user defined types or modified user defined types refer to
296 other DIES for the type information. Thus we need to associate the offset
297 of a DIE for a user defined type with a pointer to the type information.
299 Originally this was done using a simple but expensive algorithm, with an
300 array of unsorted structures, each containing an offset/type-pointer pair.
301 This array was scanned linearly each time a lookup was done. The result
302 was that gdb was spending over half it's startup time munging through this
303 array of pointers looking for a structure that had the right offset member.
305 The second attempt used the same array of structures, but the array was
306 sorted using qsort each time a new offset/type was recorded, and a binary
307 search was used to find the type pointer for a given DIE offset. This was
308 even slower, due to the overhead of sorting the array each time a new
309 offset/type pair was entered.
311 The third attempt uses a fixed size array of type pointers, indexed by a
312 value derived from the DIE offset. Since the minimum DIE size is 4 bytes,
313 we can divide any DIE offset by 4 to obtain a unique index into this fixed
314 size array. Since each element is a 4 byte pointer, it takes exactly as
315 much memory to hold this array as to hold the DWARF info for a given
316 compilation unit. But it gets freed as soon as we are done with it.
317 This has worked well in practice, as a reasonable tradeoff between memory
318 consumption and speed, without having to resort to much more complicated
321 static struct type **utypes; /* Pointer to array of user type pointers */
322 static int numutypes; /* Max number of user type pointers */
324 /* Maintain an array of referenced fundamental types for the current
325 compilation unit being read. For DWARF version 1, we have to construct
326 the fundamental types on the fly, since no information about the
327 fundamental types is supplied. Each such fundamental type is created by
328 calling a language dependent routine to create the type, and then a
329 pointer to that type is then placed in the array at the index specified
330 by it's FT_<TYPENAME> value. The array has a fixed size set by the
331 FT_NUM_MEMBERS compile time constant, which is the number of predefined
332 fundamental types gdb knows how to construct. */
334 static struct type *ftypes[FT_NUM_MEMBERS]; /* Fundamental types */
336 /* Record the language for the compilation unit which is currently being
337 processed. We know it once we have seen the TAG_compile_unit DIE,
338 and we need it while processing the DIE's for that compilation unit.
339 It is eventually saved in the symtab structure, but we don't finalize
340 the symtab struct until we have processed all the DIE's for the
341 compilation unit. We also need to get and save a pointer to the
342 language struct for this language, so we can call the language
343 dependent routines for doing things such as creating fundamental
346 static enum language cu_language;
347 static const struct language_defn *cu_language_defn;
349 /* Forward declarations of static functions so we don't have to worry
350 about ordering within this file. */
353 attribute_size PARAMS ((unsigned int));
356 target_to_host PARAMS ((char *, int, int, struct objfile *));
359 add_enum_psymbol PARAMS ((struct dieinfo *, struct objfile *));
362 handle_producer PARAMS ((char *));
365 read_file_scope PARAMS ((struct dieinfo *, char *, char *, struct objfile *));
368 read_func_scope PARAMS ((struct dieinfo *, char *, char *, struct objfile *));
371 read_lexical_block_scope PARAMS ((struct dieinfo *, char *, char *,
378 scan_partial_symbols PARAMS ((char *, char *, struct objfile *));
381 scan_compilation_units PARAMS ((char *, char *, file_ptr,
382 file_ptr, struct objfile *));
385 add_partial_symbol PARAMS ((struct dieinfo *, struct objfile *));
388 init_psymbol_list PARAMS ((struct objfile *, int));
391 basicdieinfo PARAMS ((struct dieinfo *, char *, struct objfile *));
394 completedieinfo PARAMS ((struct dieinfo *, struct objfile *));
397 dwarf_psymtab_to_symtab PARAMS ((struct partial_symtab *));
400 psymtab_to_symtab_1 PARAMS ((struct partial_symtab *));
402 static struct symtab *
403 read_ofile_symtab PARAMS ((struct partial_symtab *));
406 process_dies PARAMS ((char *, char *, struct objfile *));
409 read_structure_scope PARAMS ((struct dieinfo *, char *, char *,
413 decode_array_element_type PARAMS ((char *));
416 decode_subscript_data_item PARAMS ((char *, char *));
419 dwarf_read_array_type PARAMS ((struct dieinfo *));
422 read_tag_pointer_type PARAMS ((struct dieinfo *dip));
425 read_subroutine_type PARAMS ((struct dieinfo *, char *, char *));
428 read_enumeration PARAMS ((struct dieinfo *, char *, char *, struct objfile *));
431 struct_type PARAMS ((struct dieinfo *, char *, char *, struct objfile *));
434 enum_type PARAMS ((struct dieinfo *, struct objfile *));
437 decode_line_numbers PARAMS ((char *));
440 decode_die_type PARAMS ((struct dieinfo *));
443 decode_mod_fund_type PARAMS ((char *));
446 decode_mod_u_d_type PARAMS ((char *));
449 decode_modified_type PARAMS ((char *, unsigned int, int));
452 decode_fund_type PARAMS ((unsigned int));
455 create_name PARAMS ((char *, struct obstack *));
458 lookup_utype PARAMS ((DIE_REF));
461 alloc_utype PARAMS ((DIE_REF, struct type *));
463 static struct symbol *
464 new_symbol PARAMS ((struct dieinfo *, struct objfile *));
467 synthesize_typedef PARAMS ((struct dieinfo *, struct objfile *,
471 locval PARAMS ((char *));
474 record_minimal_symbol PARAMS ((char *, CORE_ADDR, enum minimal_symbol_type,
478 set_cu_language PARAMS ((struct dieinfo *));
481 dwarf_fundamental_type PARAMS ((struct objfile *, int));
488 dwarf_fundamental_type -- lookup or create a fundamental type
493 dwarf_fundamental_type (struct objfile *objfile, int typeid)
497 DWARF version 1 doesn't supply any fundamental type information,
498 so gdb has to construct such types. It has a fixed number of
499 fundamental types that it knows how to construct, which is the
500 union of all types that it knows how to construct for all languages
501 that it knows about. These are enumerated in gdbtypes.h.
503 As an example, assume we find a DIE that references a DWARF
504 fundamental type of FT_integer. We first look in the ftypes
505 array to see if we already have such a type, indexed by the
506 gdb internal value of FT_INTEGER. If so, we simply return a
507 pointer to that type. If not, then we ask an appropriate
508 language dependent routine to create a type FT_INTEGER, using
509 defaults reasonable for the current target machine, and install
510 that type in ftypes for future reference.
514 Pointer to a fundamental type.
519 dwarf_fundamental_type (objfile, typeid)
520 struct objfile *objfile;
523 if (typeid < 0 || typeid >= FT_NUM_MEMBERS)
525 error ("internal error - invalid fundamental type id %d", typeid);
528 /* Look for this particular type in the fundamental type vector. If one is
529 not found, create and install one appropriate for the current language
530 and the current target machine. */
532 if (ftypes[typeid] == NULL)
534 ftypes[typeid] = cu_language_defn -> la_fund_type(objfile, typeid);
537 return (ftypes[typeid]);
544 set_cu_language -- set local copy of language for compilation unit
549 set_cu_language (struct dieinfo *dip)
553 Decode the language attribute for a compilation unit DIE and
554 remember what the language was. We use this at various times
555 when processing DIE's for a given compilation unit.
564 set_cu_language (dip)
567 switch (dip -> at_language)
571 cu_language = language_c;
573 case LANG_C_PLUS_PLUS:
574 cu_language = language_cplus;
576 /* start-sanitize-chill */
578 cu_language = language_chill;
580 /* end-sanitize-chill */
582 cu_language = language_m2;
591 cu_language = language_unknown;
594 cu_language_defn = language_def (cu_language);
601 dwarf_build_psymtabs -- build partial symtabs from DWARF debug info
605 void dwarf_build_psymtabs (struct objfile *objfile,
606 struct section_offsets *section_offsets,
607 int mainline, file_ptr dbfoff, unsigned int dbfsize,
608 file_ptr lnoffset, unsigned int lnsize)
612 This function is called upon to build partial symtabs from files
613 containing DIE's (Dwarf Information Entries) and DWARF line numbers.
615 It is passed a bfd* containing the DIES
616 and line number information, the corresponding filename for that
617 file, a base address for relocating the symbols, a flag indicating
618 whether or not this debugging information is from a "main symbol
619 table" rather than a shared library or dynamically linked file,
620 and file offset/size pairs for the DIE information and line number
630 dwarf_build_psymtabs (objfile, section_offsets, mainline, dbfoff, dbfsize,
632 struct objfile *objfile;
633 struct section_offsets *section_offsets;
636 unsigned int dbfsize;
640 bfd *abfd = objfile->obfd;
641 struct cleanup *back_to;
643 current_objfile = objfile;
645 dbbase = xmalloc (dbsize);
647 if ((bfd_seek (abfd, dbfoff, L_SET) != 0) ||
648 (bfd_read (dbbase, dbsize, 1, abfd) != dbsize))
651 error ("can't read DWARF data from '%s'", bfd_get_filename (abfd));
653 back_to = make_cleanup (free, dbbase);
655 /* If we are reinitializing, or if we have never loaded syms yet, init.
656 Since we have no idea how many DIES we are looking at, we just guess
657 some arbitrary value. */
659 if (mainline || objfile -> global_psymbols.size == 0 ||
660 objfile -> static_psymbols.size == 0)
662 init_psymbol_list (objfile, 1024);
665 /* Save the relocation factor where everybody can see it. */
667 base_section_offsets = section_offsets;
668 baseaddr = ANOFFSET (section_offsets, 0);
670 /* Follow the compilation unit sibling chain, building a partial symbol
671 table entry for each one. Save enough information about each compilation
672 unit to locate the full DWARF information later. */
674 scan_compilation_units (dbbase, dbbase + dbsize, dbfoff, lnoffset, objfile);
676 do_cleanups (back_to);
677 current_objfile = NULL;
685 record_minimal_symbol -- add entry to gdb's minimal symbol table
689 static void record_minimal_symbol (char *name, CORE_ADDR address,
690 enum minimal_symbol_type ms_type,
691 struct objfile *objfile)
695 Given a pointer to the name of a symbol that should be added to the
696 minimal symbol table, and the address associated with that
697 symbol, records this information for later use in building the
698 minimal symbol table.
703 record_minimal_symbol (name, address, ms_type, objfile)
706 enum minimal_symbol_type ms_type;
707 struct objfile *objfile;
709 name = obsavestring (name, strlen (name), &objfile -> symbol_obstack);
710 prim_record_minimal_symbol (name, address, ms_type);
717 dwarfwarn -- issue a DWARF related warning
721 Issue warnings about DWARF related things that aren't serious enough
722 to warrant aborting with an error, but should not be ignored either.
723 This includes things like detectable corruption in DIE's, missing
724 DIE's, unimplemented features, etc.
726 In general, running across tags or attributes that we don't recognize
727 is not considered to be a problem and we should not issue warnings
732 We mostly follow the example of the error() routine, but without
733 returning to command level. It is arguable about whether warnings
734 should be issued at all, and if so, where they should go (stdout or
737 We assume that curdie is valid and contains at least the basic
738 information for the DIE where the problem was noticed.
749 fmt = va_arg (ap, char *);
751 fprintf (stderr, "warning: DWARF ref 0x%x: ", curdie -> die_ref);
752 if (curdie -> at_name)
754 fprintf (stderr, "'%s': ", curdie -> at_name);
756 vfprintf (stderr, fmt, ap);
757 fprintf (stderr, "\n");
766 read_lexical_block_scope -- process all dies in a lexical block
770 static void read_lexical_block_scope (struct dieinfo *dip,
771 char *thisdie, char *enddie)
775 Process all the DIES contained within a lexical block scope.
776 Start a new scope, process the dies, and then close the scope.
781 read_lexical_block_scope (dip, thisdie, enddie, objfile)
785 struct objfile *objfile;
787 register struct context_stack *new;
789 push_context (0, dip -> at_low_pc);
790 process_dies (thisdie + dip -> die_length, enddie, objfile);
791 new = pop_context ();
792 if (local_symbols != NULL)
794 finish_block (0, &local_symbols, new -> old_blocks, new -> start_addr,
795 dip -> at_high_pc, objfile);
797 local_symbols = new -> locals;
804 lookup_utype -- look up a user defined type from die reference
808 static type *lookup_utype (DIE_REF die_ref)
812 Given a DIE reference, lookup the user defined type associated with
813 that DIE, if it has been registered already. If not registered, then
814 return NULL. Alloc_utype() can be called to register an empty
815 type for this reference, which will be filled in later when the
816 actual referenced DIE is processed.
820 lookup_utype (die_ref)
823 struct type *type = NULL;
826 utypeidx = (die_ref - dbroff) / 4;
827 if ((utypeidx < 0) || (utypeidx >= numutypes))
829 dwarfwarn ("reference to DIE (0x%x) outside compilation unit", die_ref);
833 type = *(utypes + utypeidx);
843 alloc_utype -- add a user defined type for die reference
847 static type *alloc_utype (DIE_REF die_ref, struct type *utypep)
851 Given a die reference DIE_REF, and a possible pointer to a user
852 defined type UTYPEP, register that this reference has a user
853 defined type and either use the specified type in UTYPEP or
854 make a new empty type that will be filled in later.
856 We should only be called after calling lookup_utype() to verify that
857 there is not currently a type registered for DIE_REF.
861 alloc_utype (die_ref, utypep)
868 utypeidx = (die_ref - dbroff) / 4;
869 typep = utypes + utypeidx;
870 if ((utypeidx < 0) || (utypeidx >= numutypes))
872 utypep = dwarf_fundamental_type (current_objfile, FT_INTEGER);
873 dwarfwarn ("reference to DIE (0x%x) outside compilation unit", die_ref);
875 else if (*typep != NULL)
878 SQUAWK (("internal error: dup user type allocation"));
884 utypep = alloc_type (current_objfile);
895 decode_die_type -- return a type for a specified die
899 static struct type *decode_die_type (struct dieinfo *dip)
903 Given a pointer to a die information structure DIP, decode the
904 type of the die and return a pointer to the decoded type. All
905 dies without specific types default to type int.
909 decode_die_type (dip)
912 struct type *type = NULL;
914 if (dip -> at_fund_type != 0)
916 type = decode_fund_type (dip -> at_fund_type);
918 else if (dip -> at_mod_fund_type != NULL)
920 type = decode_mod_fund_type (dip -> at_mod_fund_type);
922 else if (dip -> at_user_def_type)
924 if ((type = lookup_utype (dip -> at_user_def_type)) == NULL)
926 type = alloc_utype (dip -> at_user_def_type, NULL);
929 else if (dip -> at_mod_u_d_type)
931 type = decode_mod_u_d_type (dip -> at_mod_u_d_type);
935 type = dwarf_fundamental_type (current_objfile, FT_INTEGER);
944 struct_type -- compute and return the type for a struct or union
948 static struct type *struct_type (struct dieinfo *dip, char *thisdie,
949 char *enddie, struct objfile *objfile)
953 Given pointer to a die information structure for a die which
954 defines a union or structure (and MUST define one or the other),
955 and pointers to the raw die data that define the range of dies which
956 define the members, compute and return the user defined type for the
961 struct_type (dip, thisdie, enddie, objfile)
965 struct objfile *objfile;
969 struct nextfield *next;
972 struct nextfield *list = NULL;
973 struct nextfield *new;
981 if ((type = lookup_utype (dip -> die_ref)) == NULL)
983 /* No forward references created an empty type, so install one now */
984 type = alloc_utype (dip -> die_ref, NULL);
986 INIT_CPLUS_SPECIFIC(type);
987 switch (dip -> die_tag)
990 TYPE_CODE (type) = TYPE_CODE_CLASS;
993 case TAG_structure_type:
994 TYPE_CODE (type) = TYPE_CODE_STRUCT;
998 TYPE_CODE (type) = TYPE_CODE_UNION;
1002 /* Should never happen */
1003 TYPE_CODE (type) = TYPE_CODE_UNDEF;
1005 SQUAWK (("missing class, structure, or union tag"));
1008 /* Some compilers try to be helpful by inventing "fake" names for
1009 anonymous enums, structures, and unions, like "~0fake" or ".0fake".
1010 Thanks, but no thanks... */
1011 if (dip -> at_name != NULL
1012 && *dip -> at_name != '~'
1013 && *dip -> at_name != '.')
1015 TYPE_NAME (type) = obconcat (&objfile -> type_obstack,
1016 tpart1, " ", dip -> at_name);
1018 /* Use whatever size is known. Zero is a valid size. We might however
1019 wish to check has_at_byte_size to make sure that some byte size was
1020 given explicitly, but DWARF doesn't specify that explicit sizes of
1021 zero have to present, so complaining about missing sizes should
1022 probably not be the default. */
1023 TYPE_LENGTH (type) = dip -> at_byte_size;
1024 thisdie += dip -> die_length;
1025 while (thisdie < enddie)
1027 basicdieinfo (&mbr, thisdie, objfile);
1028 completedieinfo (&mbr, objfile);
1029 if (mbr.die_length <= SIZEOF_DIE_LENGTH)
1033 else if (mbr.at_sibling != 0)
1035 nextdie = dbbase + mbr.at_sibling - dbroff;
1039 nextdie = thisdie + mbr.die_length;
1041 switch (mbr.die_tag)
1044 /* Get space to record the next field's data. */
1045 new = (struct nextfield *) alloca (sizeof (struct nextfield));
1048 /* Save the data. */
1049 list -> field.name =
1050 obsavestring (mbr.at_name, strlen (mbr.at_name),
1051 &objfile -> type_obstack);
1052 list -> field.type = decode_die_type (&mbr);
1053 list -> field.bitpos = 8 * locval (mbr.at_location);
1054 /* Handle bit fields. */
1055 list -> field.bitsize = mbr.at_bit_size;
1057 /* For big endian bits, the at_bit_offset gives the additional
1058 bit offset from the MSB of the containing anonymous object to
1059 the MSB of the field. We don't have to do anything special
1060 since we don't need to know the size of the anonymous object. */
1061 list -> field.bitpos += mbr.at_bit_offset;
1063 /* For little endian bits, we need to have a non-zero at_bit_size,
1064 so that we know we are in fact dealing with a bitfield. Compute
1065 the bit offset to the MSB of the anonymous object, subtract off
1066 the number of bits from the MSB of the field to the MSB of the
1067 object, and then subtract off the number of bits of the field
1068 itself. The result is the bit offset of the LSB of the field. */
1069 if (mbr.at_bit_size > 0)
1071 if (mbr.has_at_byte_size)
1073 /* The size of the anonymous object containing the bit field
1074 is explicit, so use the indicated size (in bytes). */
1075 anonymous_size = mbr.at_byte_size;
1079 /* The size of the anonymous object containing the bit field
1080 matches the size of an object of the bit field's type.
1081 DWARF allows at_byte_size to be left out in such cases,
1082 as a debug information size optimization. */
1083 anonymous_size = TYPE_LENGTH (list -> field.type);
1085 list -> field.bitpos +=
1086 anonymous_size * 8 - mbr.at_bit_offset - mbr.at_bit_size;
1092 process_dies (thisdie, nextdie, objfile);
1097 /* Now create the vector of fields, and record how big it is. We may
1098 not even have any fields, if this DIE was generated due to a reference
1099 to an anonymous structure or union. In this case, TYPE_FLAG_STUB is
1100 set, which clues gdb in to the fact that it needs to search elsewhere
1101 for the full structure definition. */
1104 TYPE_FLAGS (type) |= TYPE_FLAG_STUB;
1108 TYPE_NFIELDS (type) = nfields;
1109 TYPE_FIELDS (type) = (struct field *)
1110 TYPE_ALLOC (type, sizeof (struct field) * nfields);
1111 /* Copy the saved-up fields into the field vector. */
1112 for (n = nfields; list; list = list -> next)
1114 TYPE_FIELD (type, --n) = list -> field;
1124 read_structure_scope -- process all dies within struct or union
1128 static void read_structure_scope (struct dieinfo *dip,
1129 char *thisdie, char *enddie, struct objfile *objfile)
1133 Called when we find the DIE that starts a structure or union
1134 scope (definition) to process all dies that define the members
1135 of the structure or union. DIP is a pointer to the die info
1136 struct for the DIE that names the structure or union.
1140 Note that we need to call struct_type regardless of whether or not
1141 the DIE has an at_name attribute, since it might be an anonymous
1142 structure or union. This gets the type entered into our set of
1145 However, if the structure is incomplete (an opaque struct/union)
1146 then suppress creating a symbol table entry for it since gdb only
1147 wants to find the one with the complete definition. Note that if
1148 it is complete, we just call new_symbol, which does it's own
1149 checking about whether the struct/union is anonymous or not (and
1150 suppresses creating a symbol table entry itself).
1155 read_structure_scope (dip, thisdie, enddie, objfile)
1156 struct dieinfo *dip;
1159 struct objfile *objfile;
1164 type = struct_type (dip, thisdie, enddie, objfile);
1165 if (!(TYPE_FLAGS (type) & TYPE_FLAG_STUB))
1167 sym = new_symbol (dip, objfile);
1170 SYMBOL_TYPE (sym) = type;
1171 if (cu_language == language_cplus)
1173 synthesize_typedef (dip, objfile, type);
1183 decode_array_element_type -- decode type of the array elements
1187 static struct type *decode_array_element_type (char *scan, char *end)
1191 As the last step in decoding the array subscript information for an
1192 array DIE, we need to decode the type of the array elements. We are
1193 passed a pointer to this last part of the subscript information and
1194 must return the appropriate type. If the type attribute is not
1195 recognized, just warn about the problem and return type int.
1198 static struct type *
1199 decode_array_element_type (scan)
1204 unsigned short attribute;
1205 unsigned short fundtype;
1208 attribute = target_to_host (scan, SIZEOF_ATTRIBUTE, GET_UNSIGNED,
1210 scan += SIZEOF_ATTRIBUTE;
1211 if ((nbytes = attribute_size (attribute)) == -1)
1213 SQUAWK (("bad array element type attribute 0x%x", attribute));
1214 typep = dwarf_fundamental_type (current_objfile, FT_INTEGER);
1221 fundtype = target_to_host (scan, nbytes, GET_UNSIGNED,
1223 typep = decode_fund_type (fundtype);
1225 case AT_mod_fund_type:
1226 typep = decode_mod_fund_type (scan);
1228 case AT_user_def_type:
1229 die_ref = target_to_host (scan, nbytes, GET_UNSIGNED,
1231 if ((typep = lookup_utype (die_ref)) == NULL)
1233 typep = alloc_utype (die_ref, NULL);
1236 case AT_mod_u_d_type:
1237 typep = decode_mod_u_d_type (scan);
1240 SQUAWK (("bad array element type attribute 0x%x", attribute));
1241 typep = dwarf_fundamental_type (current_objfile, FT_INTEGER);
1252 decode_subscript_data_item -- decode array subscript item
1256 static struct type *
1257 decode_subscript_data_item (char *scan, char *end)
1261 The array subscripts and the data type of the elements of an
1262 array are described by a list of data items, stored as a block
1263 of contiguous bytes. There is a data item describing each array
1264 dimension, and a final data item describing the element type.
1265 The data items are ordered the same as their appearance in the
1266 source (I.E. leftmost dimension first, next to leftmost second,
1269 The data items describing each array dimension consist of four
1270 parts: (1) a format specifier, (2) type type of the subscript
1271 index, (3) a description of the low bound of the array dimension,
1272 and (4) a description of the high bound of the array dimension.
1274 The last data item is the description of the type of each of
1277 We are passed a pointer to the start of the block of bytes
1278 containing the remaining data items, and a pointer to the first
1279 byte past the data. This function recursively decodes the
1280 remaining data items and returns a type.
1282 If we somehow fail to decode some data, we complain about it
1283 and return a type "array of int".
1286 FIXME: This code only implements the forms currently used
1287 by the AT&T and GNU C compilers.
1289 The end pointer is supplied for error checking, maybe we should
1293 static struct type *
1294 decode_subscript_data_item (scan, end)
1298 struct type *typep = NULL; /* Array type we are building */
1299 struct type *nexttype; /* Type of each element (may be array) */
1300 struct type *indextype; /* Type of this index */
1301 unsigned int format;
1302 unsigned short fundtype;
1303 unsigned long lowbound;
1304 unsigned long highbound;
1307 format = target_to_host (scan, SIZEOF_FORMAT_SPECIFIER, GET_UNSIGNED,
1309 scan += SIZEOF_FORMAT_SPECIFIER;
1313 typep = decode_array_element_type (scan);
1316 fundtype = target_to_host (scan, SIZEOF_FMT_FT, GET_UNSIGNED,
1318 indextype = decode_fund_type (fundtype);
1319 scan += SIZEOF_FMT_FT;
1320 nbytes = TARGET_FT_LONG_SIZE (current_objfile);
1321 lowbound = target_to_host (scan, nbytes, GET_UNSIGNED, current_objfile);
1323 highbound = target_to_host (scan, nbytes, GET_UNSIGNED, current_objfile);
1325 nexttype = decode_subscript_data_item (scan, end);
1326 if (nexttype == NULL)
1328 /* Munged subscript data or other problem, fake it. */
1329 SQUAWK (("can't decode subscript data items"));
1330 nexttype = dwarf_fundamental_type (current_objfile, FT_INTEGER);
1332 typep = create_array_type ((struct type *) NULL, nexttype, indextype,
1333 lowbound, highbound);
1342 SQUAWK (("array subscript format 0x%x not handled yet", format));
1343 typep = dwarf_fundamental_type (current_objfile, FT_INTEGER);
1344 typep = create_array_type ((struct type *) NULL, typep, typep, 0, 1);
1347 SQUAWK (("unknown array subscript format %x", format));
1348 typep = dwarf_fundamental_type (current_objfile, FT_INTEGER);
1349 typep = create_array_type ((struct type *) NULL, typep, typep, 0, 1);
1359 dwarf_read_array_type -- read TAG_array_type DIE
1363 static void dwarf_read_array_type (struct dieinfo *dip)
1367 Extract all information from a TAG_array_type DIE and add to
1368 the user defined type vector.
1372 dwarf_read_array_type (dip)
1373 struct dieinfo *dip;
1379 unsigned short blocksz;
1382 if (dip -> at_ordering != ORD_row_major)
1384 /* FIXME: Can gdb even handle column major arrays? */
1385 SQUAWK (("array not row major; not handled correctly"));
1387 if ((sub = dip -> at_subscr_data) != NULL)
1389 nbytes = attribute_size (AT_subscr_data);
1390 blocksz = target_to_host (sub, nbytes, GET_UNSIGNED, current_objfile);
1391 subend = sub + nbytes + blocksz;
1393 type = decode_subscript_data_item (sub, subend);
1394 if ((utype = lookup_utype (dip -> die_ref)) == NULL)
1396 /* Install user defined type that has not been referenced yet. */
1397 alloc_utype (dip -> die_ref, type);
1399 else if (TYPE_CODE (utype) == TYPE_CODE_UNDEF)
1401 /* Ick! A forward ref has already generated a blank type in our
1402 slot, and this type probably already has things pointing to it
1403 (which is what caused it to be created in the first place).
1404 If it's just a place holder we can plop our fully defined type
1405 on top of it. We can't recover the space allocated for our
1406 new type since it might be on an obstack, but we could reuse
1407 it if we kept a list of them, but it might not be worth it
1413 /* Double ick! Not only is a type already in our slot, but
1414 someone has decorated it. Complain and leave it alone. */
1415 SQUAWK (("duplicate user defined array type definition"));
1424 read_tag_pointer_type -- read TAG_pointer_type DIE
1428 static void read_tag_pointer_type (struct dieinfo *dip)
1432 Extract all information from a TAG_pointer_type DIE and add to
1433 the user defined type vector.
1437 read_tag_pointer_type (dip)
1438 struct dieinfo *dip;
1443 type = decode_die_type (dip);
1444 if ((utype = lookup_utype (dip -> die_ref)) == NULL)
1446 utype = lookup_pointer_type (type);
1447 alloc_utype (dip -> die_ref, utype);
1451 TYPE_TARGET_TYPE (utype) = type;
1452 TYPE_POINTER_TYPE (type) = utype;
1454 /* We assume the machine has only one representation for pointers! */
1455 /* FIXME: This confuses host<->target data representations, and is a
1456 poor assumption besides. */
1458 TYPE_LENGTH (utype) = sizeof (char *);
1459 TYPE_CODE (utype) = TYPE_CODE_PTR;
1467 read_subroutine_type -- process TAG_subroutine_type dies
1471 static void read_subroutine_type (struct dieinfo *dip, char thisdie,
1476 Handle DIES due to C code like:
1479 int (*funcp)(int a, long l); (Generates TAG_subroutine_type DIE)
1485 The parameter DIES are currently ignored. See if gdb has a way to
1486 include this info in it's type system, and decode them if so. Is
1487 this what the type structure's "arg_types" field is for? (FIXME)
1491 read_subroutine_type (dip, thisdie, enddie)
1492 struct dieinfo *dip;
1496 struct type *type; /* Type that this function returns */
1497 struct type *ftype; /* Function that returns above type */
1499 /* Decode the type that this subroutine returns */
1501 type = decode_die_type (dip);
1503 /* Check to see if we already have a partially constructed user
1504 defined type for this DIE, from a forward reference. */
1506 if ((ftype = lookup_utype (dip -> die_ref)) == NULL)
1508 /* This is the first reference to one of these types. Make
1509 a new one and place it in the user defined types. */
1510 ftype = lookup_function_type (type);
1511 alloc_utype (dip -> die_ref, ftype);
1513 else if (TYPE_CODE (ftype) == TYPE_CODE_UNDEF)
1515 /* We have an existing partially constructed type, so bash it
1516 into the correct type. */
1517 TYPE_TARGET_TYPE (ftype) = type;
1518 TYPE_FUNCTION_TYPE (type) = ftype;
1519 TYPE_LENGTH (ftype) = 1;
1520 TYPE_CODE (ftype) = TYPE_CODE_FUNC;
1524 SQUAWK (("duplicate user defined function type definition"));
1532 read_enumeration -- process dies which define an enumeration
1536 static void read_enumeration (struct dieinfo *dip, char *thisdie,
1537 char *enddie, struct objfile *objfile)
1541 Given a pointer to a die which begins an enumeration, process all
1542 the dies that define the members of the enumeration.
1546 Note that we need to call enum_type regardless of whether or not we
1547 have a symbol, since we might have an enum without a tag name (thus
1548 no symbol for the tagname).
1552 read_enumeration (dip, thisdie, enddie, objfile)
1553 struct dieinfo *dip;
1556 struct objfile *objfile;
1561 type = enum_type (dip, objfile);
1562 sym = new_symbol (dip, objfile);
1565 SYMBOL_TYPE (sym) = type;
1566 if (cu_language == language_cplus)
1568 synthesize_typedef (dip, objfile, type);
1577 enum_type -- decode and return a type for an enumeration
1581 static type *enum_type (struct dieinfo *dip, struct objfile *objfile)
1585 Given a pointer to a die information structure for the die which
1586 starts an enumeration, process all the dies that define the members
1587 of the enumeration and return a type pointer for the enumeration.
1589 At the same time, for each member of the enumeration, create a
1590 symbol for it with namespace VAR_NAMESPACE and class LOC_CONST,
1591 and give it the type of the enumeration itself.
1595 Note that the DWARF specification explicitly mandates that enum
1596 constants occur in reverse order from the source program order,
1597 for "consistency" and because this ordering is easier for many
1598 compilers to generate. (Draft 6, sec 3.8.5, Enumeration type
1599 Entries). Because gdb wants to see the enum members in program
1600 source order, we have to ensure that the order gets reversed while
1601 we are processing them.
1604 static struct type *
1605 enum_type (dip, objfile)
1606 struct dieinfo *dip;
1607 struct objfile *objfile;
1611 struct nextfield *next;
1614 struct nextfield *list = NULL;
1615 struct nextfield *new;
1620 unsigned short blocksz;
1624 if ((type = lookup_utype (dip -> die_ref)) == NULL)
1626 /* No forward references created an empty type, so install one now */
1627 type = alloc_utype (dip -> die_ref, NULL);
1629 TYPE_CODE (type) = TYPE_CODE_ENUM;
1630 /* Some compilers try to be helpful by inventing "fake" names for
1631 anonymous enums, structures, and unions, like "~0fake" or ".0fake".
1632 Thanks, but no thanks... */
1633 if (dip -> at_name != NULL
1634 && *dip -> at_name != '~'
1635 && *dip -> at_name != '.')
1637 TYPE_NAME (type) = obconcat (&objfile -> type_obstack, "enum",
1638 " ", dip -> at_name);
1640 if (dip -> at_byte_size != 0)
1642 TYPE_LENGTH (type) = dip -> at_byte_size;
1644 if ((scan = dip -> at_element_list) != NULL)
1646 if (dip -> short_element_list)
1648 nbytes = attribute_size (AT_short_element_list);
1652 nbytes = attribute_size (AT_element_list);
1654 blocksz = target_to_host (scan, nbytes, GET_UNSIGNED, objfile);
1655 listend = scan + nbytes + blocksz;
1657 while (scan < listend)
1659 new = (struct nextfield *) alloca (sizeof (struct nextfield));
1662 list -> field.type = NULL;
1663 list -> field.bitsize = 0;
1664 list -> field.bitpos =
1665 target_to_host (scan, TARGET_FT_LONG_SIZE (objfile), GET_SIGNED,
1667 scan += TARGET_FT_LONG_SIZE (objfile);
1668 list -> field.name = obsavestring (scan, strlen (scan),
1669 &objfile -> type_obstack);
1670 scan += strlen (scan) + 1;
1672 /* Handcraft a new symbol for this enum member. */
1673 sym = (struct symbol *) obstack_alloc (&objfile->symbol_obstack,
1674 sizeof (struct symbol));
1675 memset (sym, 0, sizeof (struct symbol));
1676 SYMBOL_NAME (sym) = create_name (list -> field.name,
1677 &objfile->symbol_obstack);
1678 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
1679 SYMBOL_CLASS (sym) = LOC_CONST;
1680 SYMBOL_TYPE (sym) = type;
1681 SYMBOL_VALUE (sym) = list -> field.bitpos;
1682 add_symbol_to_list (sym, list_in_scope);
1684 /* Now create the vector of fields, and record how big it is. This is
1685 where we reverse the order, by pulling the members off the list in
1686 reverse order from how they were inserted. If we have no fields
1687 (this is apparently possible in C++) then skip building a field
1691 TYPE_NFIELDS (type) = nfields;
1692 TYPE_FIELDS (type) = (struct field *)
1693 obstack_alloc (&objfile->symbol_obstack, sizeof (struct field) * nfields);
1694 /* Copy the saved-up fields into the field vector. */
1695 for (n = 0; (n < nfields) && (list != NULL); list = list -> next)
1697 TYPE_FIELD (type, n++) = list -> field;
1708 read_func_scope -- process all dies within a function scope
1712 Process all dies within a given function scope. We are passed
1713 a die information structure pointer DIP for the die which
1714 starts the function scope, and pointers into the raw die data
1715 that define the dies within the function scope.
1717 For now, we ignore lexical block scopes within the function.
1718 The problem is that AT&T cc does not define a DWARF lexical
1719 block scope for the function itself, while gcc defines a
1720 lexical block scope for the function. We need to think about
1721 how to handle this difference, or if it is even a problem.
1726 read_func_scope (dip, thisdie, enddie, objfile)
1727 struct dieinfo *dip;
1730 struct objfile *objfile;
1732 register struct context_stack *new;
1734 if (objfile -> ei.entry_point >= dip -> at_low_pc &&
1735 objfile -> ei.entry_point < dip -> at_high_pc)
1737 objfile -> ei.entry_func_lowpc = dip -> at_low_pc;
1738 objfile -> ei.entry_func_highpc = dip -> at_high_pc;
1740 if (STREQ (dip -> at_name, "main")) /* FIXME: hardwired name */
1742 objfile -> ei.main_func_lowpc = dip -> at_low_pc;
1743 objfile -> ei.main_func_highpc = dip -> at_high_pc;
1745 new = push_context (0, dip -> at_low_pc);
1746 new -> name = new_symbol (dip, objfile);
1747 list_in_scope = &local_symbols;
1748 process_dies (thisdie + dip -> die_length, enddie, objfile);
1749 new = pop_context ();
1750 /* Make a block for the local symbols within. */
1751 finish_block (new -> name, &local_symbols, new -> old_blocks,
1752 new -> start_addr, dip -> at_high_pc, objfile);
1753 list_in_scope = &file_symbols;
1761 handle_producer -- process the AT_producer attribute
1765 Perform any operations that depend on finding a particular
1766 AT_producer attribute.
1771 handle_producer (producer)
1775 /* If this compilation unit was compiled with g++ or gcc, then set the
1776 processing_gcc_compilation flag. */
1778 processing_gcc_compilation =
1779 STREQN (producer, GPLUS_PRODUCER, strlen (GPLUS_PRODUCER))
1780 /* start-sanitize-chill */
1781 || STREQN (producer, CHILL_PRODUCER, strlen (CHILL_PRODUCER))
1782 /* end-sanitize-chill */
1783 || STREQN (producer, GCC_PRODUCER, strlen (GCC_PRODUCER));
1785 /* Select a demangling style if we can identify the producer and if
1786 the current style is auto. We leave the current style alone if it
1787 is not auto. We also leave the demangling style alone if we find a
1788 gcc (cc1) producer, as opposed to a g++ (cc1plus) producer. */
1790 #if 1 /* Works, but is experimental. -fnf */
1791 if (AUTO_DEMANGLING)
1793 if (STREQN (producer, GPLUS_PRODUCER, strlen (GPLUS_PRODUCER)))
1795 set_demangling_style (GNU_DEMANGLING_STYLE_STRING);
1797 else if (STREQN (producer, LCC_PRODUCER, strlen (LCC_PRODUCER)))
1799 set_demangling_style (LUCID_DEMANGLING_STYLE_STRING);
1801 else if (STREQN (producer, CFRONT_PRODUCER, strlen (CFRONT_PRODUCER)))
1803 set_demangling_style (CFRONT_DEMANGLING_STYLE_STRING);
1814 read_file_scope -- process all dies within a file scope
1818 Process all dies within a given file scope. We are passed a
1819 pointer to the die information structure for the die which
1820 starts the file scope, and pointers into the raw die data which
1821 mark the range of dies within the file scope.
1823 When the partial symbol table is built, the file offset for the line
1824 number table for each compilation unit is saved in the partial symbol
1825 table entry for that compilation unit. As the symbols for each
1826 compilation unit are read, the line number table is read into memory
1827 and the variable lnbase is set to point to it. Thus all we have to
1828 do is use lnbase to access the line number table for the current
1833 read_file_scope (dip, thisdie, enddie, objfile)
1834 struct dieinfo *dip;
1837 struct objfile *objfile;
1839 struct cleanup *back_to;
1840 struct symtab *symtab;
1842 if (objfile -> ei.entry_point >= dip -> at_low_pc &&
1843 objfile -> ei.entry_point < dip -> at_high_pc)
1845 objfile -> ei.entry_file_lowpc = dip -> at_low_pc;
1846 objfile -> ei.entry_file_highpc = dip -> at_high_pc;
1848 set_cu_language (dip);
1849 if (dip -> at_producer != NULL)
1851 handle_producer (dip -> at_producer);
1853 numutypes = (enddie - thisdie) / 4;
1854 utypes = (struct type **) xmalloc (numutypes * sizeof (struct type *));
1855 back_to = make_cleanup (free, utypes);
1856 memset (utypes, 0, numutypes * sizeof (struct type *));
1857 memset (ftypes, 0, FT_NUM_MEMBERS * sizeof (struct type *));
1858 start_symtab (dip -> at_name, dip -> at_comp_dir, dip -> at_low_pc);
1859 decode_line_numbers (lnbase);
1860 process_dies (thisdie + dip -> die_length, enddie, objfile);
1861 symtab = end_symtab (dip -> at_high_pc, 0, 0, objfile);
1864 symtab -> language = cu_language;
1866 do_cleanups (back_to);
1875 process_dies -- process a range of DWARF Information Entries
1879 static void process_dies (char *thisdie, char *enddie,
1880 struct objfile *objfile)
1884 Process all DIE's in a specified range. May be (and almost
1885 certainly will be) called recursively.
1889 process_dies (thisdie, enddie, objfile)
1892 struct objfile *objfile;
1897 while (thisdie < enddie)
1899 basicdieinfo (&di, thisdie, objfile);
1900 if (di.die_length < SIZEOF_DIE_LENGTH)
1904 else if (di.die_tag == TAG_padding)
1906 nextdie = thisdie + di.die_length;
1910 completedieinfo (&di, objfile);
1911 if (di.at_sibling != 0)
1913 nextdie = dbbase + di.at_sibling - dbroff;
1917 nextdie = thisdie + di.die_length;
1921 case TAG_compile_unit:
1922 read_file_scope (&di, thisdie, nextdie, objfile);
1924 case TAG_global_subroutine:
1925 case TAG_subroutine:
1926 if (di.has_at_low_pc)
1928 read_func_scope (&di, thisdie, nextdie, objfile);
1931 case TAG_lexical_block:
1932 read_lexical_block_scope (&di, thisdie, nextdie, objfile);
1934 case TAG_class_type:
1935 case TAG_structure_type:
1936 case TAG_union_type:
1937 read_structure_scope (&di, thisdie, nextdie, objfile);
1939 case TAG_enumeration_type:
1940 read_enumeration (&di, thisdie, nextdie, objfile);
1942 case TAG_subroutine_type:
1943 read_subroutine_type (&di, thisdie, nextdie);
1945 case TAG_array_type:
1946 dwarf_read_array_type (&di);
1948 case TAG_pointer_type:
1949 read_tag_pointer_type (&di);
1952 new_symbol (&di, objfile);
1964 decode_line_numbers -- decode a line number table fragment
1968 static void decode_line_numbers (char *tblscan, char *tblend,
1969 long length, long base, long line, long pc)
1973 Translate the DWARF line number information to gdb form.
1975 The ".line" section contains one or more line number tables, one for
1976 each ".line" section from the objects that were linked.
1978 The AT_stmt_list attribute for each TAG_source_file entry in the
1979 ".debug" section contains the offset into the ".line" section for the
1980 start of the table for that file.
1982 The table itself has the following structure:
1984 <table length><base address><source statement entry>
1985 4 bytes 4 bytes 10 bytes
1987 The table length is the total size of the table, including the 4 bytes
1988 for the length information.
1990 The base address is the address of the first instruction generated
1991 for the source file.
1993 Each source statement entry has the following structure:
1995 <line number><statement position><address delta>
1996 4 bytes 2 bytes 4 bytes
1998 The line number is relative to the start of the file, starting with
2001 The statement position either -1 (0xFFFF) or the number of characters
2002 from the beginning of the line to the beginning of the statement.
2004 The address delta is the difference between the base address and
2005 the address of the first instruction for the statement.
2007 Note that we must copy the bytes from the packed table to our local
2008 variables before attempting to use them, to avoid alignment problems
2009 on some machines, particularly RISC processors.
2013 Does gdb expect the line numbers to be sorted? They are now by
2014 chance/luck, but are not required to be. (FIXME)
2016 The line with number 0 is unused, gdb apparently can discover the
2017 span of the last line some other way. How? (FIXME)
2021 decode_line_numbers (linetable)
2026 unsigned long length;
2031 if (linetable != NULL)
2033 tblscan = tblend = linetable;
2034 length = target_to_host (tblscan, SIZEOF_LINETBL_LENGTH, GET_UNSIGNED,
2036 tblscan += SIZEOF_LINETBL_LENGTH;
2038 base = target_to_host (tblscan, TARGET_FT_POINTER_SIZE (objfile),
2039 GET_UNSIGNED, current_objfile);
2040 tblscan += TARGET_FT_POINTER_SIZE (objfile);
2042 while (tblscan < tblend)
2044 line = target_to_host (tblscan, SIZEOF_LINETBL_LINENO, GET_UNSIGNED,
2046 tblscan += SIZEOF_LINETBL_LINENO + SIZEOF_LINETBL_STMT;
2047 pc = target_to_host (tblscan, SIZEOF_LINETBL_DELTA, GET_UNSIGNED,
2049 tblscan += SIZEOF_LINETBL_DELTA;
2053 record_line (current_subfile, line, pc);
2063 locval -- compute the value of a location attribute
2067 static int locval (char *loc)
2071 Given pointer to a string of bytes that define a location, compute
2072 the location and return the value.
2074 When computing values involving the current value of the frame pointer,
2075 the value zero is used, which results in a value relative to the frame
2076 pointer, rather than the absolute value. This is what GDB wants
2079 When the result is a register number, the global isreg flag is set,
2080 otherwise it is cleared. This is a kludge until we figure out a better
2081 way to handle the problem. Gdb's design does not mesh well with the
2082 DWARF notion of a location computing interpreter, which is a shame
2083 because the flexibility goes unused.
2087 Note that stack[0] is unused except as a default error return.
2088 Note that stack overflow is not yet handled.
2095 unsigned short nbytes;
2096 unsigned short locsize;
2097 auto long stack[64];
2104 nbytes = attribute_size (AT_location);
2105 locsize = target_to_host (loc, nbytes, GET_UNSIGNED, current_objfile);
2107 end = loc + locsize;
2112 loc_value_size = TARGET_FT_LONG_SIZE (current_objfile);
2115 loc_atom_code = target_to_host (loc, SIZEOF_LOC_ATOM_CODE, GET_UNSIGNED,
2117 loc += SIZEOF_LOC_ATOM_CODE;
2118 switch (loc_atom_code)
2125 /* push register (number) */
2126 stack[++stacki] = target_to_host (loc, loc_value_size,
2127 GET_UNSIGNED, current_objfile);
2128 loc += loc_value_size;
2132 /* push value of register (number) */
2133 /* Actually, we compute the value as if register has 0 */
2135 regno = target_to_host (loc, loc_value_size, GET_UNSIGNED,
2137 loc += loc_value_size;
2140 stack[++stacki] = 0;
2144 stack[++stacki] = 0;
2145 SQUAWK (("BASEREG %d not handled!", regno));
2149 /* push address (relocated address) */
2150 stack[++stacki] = target_to_host (loc, loc_value_size,
2151 GET_UNSIGNED, current_objfile);
2152 loc += loc_value_size;
2155 /* push constant (number) FIXME: signed or unsigned! */
2156 stack[++stacki] = target_to_host (loc, loc_value_size,
2157 GET_SIGNED, current_objfile);
2158 loc += loc_value_size;
2161 /* pop, deref and push 2 bytes (as a long) */
2162 SQUAWK (("OP_DEREF2 address 0x%x not handled", stack[stacki]));
2164 case OP_DEREF4: /* pop, deref and push 4 bytes (as a long) */
2165 SQUAWK (("OP_DEREF4 address 0x%x not handled", stack[stacki]));
2167 case OP_ADD: /* pop top 2 items, add, push result */
2168 stack[stacki - 1] += stack[stacki];
2173 return (stack[stacki]);
2180 read_ofile_symtab -- build a full symtab entry from chunk of DIE's
2184 static struct symtab *read_ofile_symtab (struct partial_symtab *pst)
2188 When expanding a partial symbol table entry to a full symbol table
2189 entry, this is the function that gets called to read in the symbols
2190 for the compilation unit.
2192 Returns a pointer to the newly constructed symtab (which is now
2193 the new first one on the objfile's symtab list).
2196 static struct symtab *
2197 read_ofile_symtab (pst)
2198 struct partial_symtab *pst;
2200 struct cleanup *back_to;
2201 unsigned long lnsize;
2204 char lnsizedata[SIZEOF_LINETBL_LENGTH];
2206 abfd = pst -> objfile -> obfd;
2207 current_objfile = pst -> objfile;
2209 /* Allocate a buffer for the entire chunk of DIE's for this compilation
2210 unit, seek to the location in the file, and read in all the DIE's. */
2213 dbsize = DBLENGTH (pst);
2214 dbbase = xmalloc (dbsize);
2215 dbroff = DBROFF(pst);
2216 foffset = DBFOFF(pst) + dbroff;
2217 base_section_offsets = pst->section_offsets;
2218 baseaddr = ANOFFSET (pst->section_offsets, 0);
2219 if (bfd_seek (abfd, foffset, L_SET) ||
2220 (bfd_read (dbbase, dbsize, 1, abfd) != dbsize))
2223 error ("can't read DWARF data");
2225 back_to = make_cleanup (free, dbbase);
2227 /* If there is a line number table associated with this compilation unit
2228 then read the size of this fragment in bytes, from the fragment itself.
2229 Allocate a buffer for the fragment and read it in for future
2235 if (bfd_seek (abfd, LNFOFF (pst), L_SET) ||
2236 (bfd_read ((PTR) lnsizedata, sizeof (lnsizedata), 1, abfd) !=
2237 sizeof (lnsizedata)))
2239 error ("can't read DWARF line number table size");
2241 lnsize = target_to_host (lnsizedata, SIZEOF_LINETBL_LENGTH,
2242 GET_UNSIGNED, pst -> objfile);
2243 lnbase = xmalloc (lnsize);
2244 if (bfd_seek (abfd, LNFOFF (pst), L_SET) ||
2245 (bfd_read (lnbase, lnsize, 1, abfd) != lnsize))
2248 error ("can't read DWARF line numbers");
2250 make_cleanup (free, lnbase);
2253 process_dies (dbbase, dbbase + dbsize, pst -> objfile);
2254 do_cleanups (back_to);
2255 current_objfile = NULL;
2256 return (pst -> objfile -> symtabs);
2263 psymtab_to_symtab_1 -- do grunt work for building a full symtab entry
2267 static void psymtab_to_symtab_1 (struct partial_symtab *pst)
2271 Called once for each partial symbol table entry that needs to be
2272 expanded into a full symbol table entry.
2277 psymtab_to_symtab_1 (pst)
2278 struct partial_symtab *pst;
2281 struct cleanup *old_chain;
2287 warning ("psymtab for %s already read in. Shouldn't happen.",
2292 /* Read in all partial symtabs on which this one is dependent */
2293 for (i = 0; i < pst -> number_of_dependencies; i++)
2295 if (!pst -> dependencies[i] -> readin)
2297 /* Inform about additional files that need to be read in. */
2300 fputs_filtered (" ", stdout);
2302 fputs_filtered ("and ", stdout);
2304 printf_filtered ("%s...",
2305 pst -> dependencies[i] -> filename);
2307 fflush (stdout); /* Flush output */
2309 psymtab_to_symtab_1 (pst -> dependencies[i]);
2312 if (DBLENGTH (pst)) /* Otherwise it's a dummy */
2315 old_chain = make_cleanup (really_free_pendings, 0);
2316 pst -> symtab = read_ofile_symtab (pst);
2319 printf_filtered ("%d DIE's, sorting...", diecount);
2323 sort_symtab_syms (pst -> symtab);
2324 do_cleanups (old_chain);
2335 dwarf_psymtab_to_symtab -- build a full symtab entry from partial one
2339 static void dwarf_psymtab_to_symtab (struct partial_symtab *pst)
2343 This is the DWARF support entry point for building a full symbol
2344 table entry from a partial symbol table entry. We are passed a
2345 pointer to the partial symbol table entry that needs to be expanded.
2350 dwarf_psymtab_to_symtab (pst)
2351 struct partial_symtab *pst;
2358 warning ("psymtab for %s already read in. Shouldn't happen.",
2363 if (DBLENGTH (pst) || pst -> number_of_dependencies)
2365 /* Print the message now, before starting serious work, to avoid
2366 disconcerting pauses. */
2369 printf_filtered ("Reading in symbols for %s...",
2374 psymtab_to_symtab_1 (pst);
2376 #if 0 /* FIXME: Check to see what dbxread is doing here and see if
2377 we need to do an equivalent or is this something peculiar to
2379 Match with global symbols. This only needs to be done once,
2380 after all of the symtabs and dependencies have been read in.
2382 scan_file_globals (pst -> objfile);
2385 /* Finish up the verbose info message. */
2388 printf_filtered ("done.\n");
2400 init_psymbol_list -- initialize storage for partial symbols
2404 static void init_psymbol_list (struct objfile *objfile, int total_symbols)
2408 Initializes storage for all of the partial symbols that will be
2409 created by dwarf_build_psymtabs and subsidiaries.
2413 init_psymbol_list (objfile, total_symbols)
2414 struct objfile *objfile;
2417 /* Free any previously allocated psymbol lists. */
2419 if (objfile -> global_psymbols.list)
2421 mfree (objfile -> md, (PTR)objfile -> global_psymbols.list);
2423 if (objfile -> static_psymbols.list)
2425 mfree (objfile -> md, (PTR)objfile -> static_psymbols.list);
2428 /* Current best guess is that there are approximately a twentieth
2429 of the total symbols (in a debugging file) are global or static
2432 objfile -> global_psymbols.size = total_symbols / 10;
2433 objfile -> static_psymbols.size = total_symbols / 10;
2434 objfile -> global_psymbols.next =
2435 objfile -> global_psymbols.list = (struct partial_symbol *)
2436 xmmalloc (objfile -> md, objfile -> global_psymbols.size
2437 * sizeof (struct partial_symbol));
2438 objfile -> static_psymbols.next =
2439 objfile -> static_psymbols.list = (struct partial_symbol *)
2440 xmmalloc (objfile -> md, objfile -> static_psymbols.size
2441 * sizeof (struct partial_symbol));
2448 add_enum_psymbol -- add enumeration members to partial symbol table
2452 Given pointer to a DIE that is known to be for an enumeration,
2453 extract the symbolic names of the enumeration members and add
2454 partial symbols for them.
2458 add_enum_psymbol (dip, objfile)
2459 struct dieinfo *dip;
2460 struct objfile *objfile;
2464 unsigned short blocksz;
2467 if ((scan = dip -> at_element_list) != NULL)
2469 if (dip -> short_element_list)
2471 nbytes = attribute_size (AT_short_element_list);
2475 nbytes = attribute_size (AT_element_list);
2477 blocksz = target_to_host (scan, nbytes, GET_UNSIGNED, objfile);
2479 listend = scan + blocksz;
2480 while (scan < listend)
2482 scan += TARGET_FT_LONG_SIZE (objfile);
2483 ADD_PSYMBOL_TO_LIST (scan, strlen (scan), VAR_NAMESPACE, LOC_CONST,
2484 objfile -> static_psymbols, 0);
2485 scan += strlen (scan) + 1;
2494 add_partial_symbol -- add symbol to partial symbol table
2498 Given a DIE, if it is one of the types that we want to
2499 add to a partial symbol table, finish filling in the die info
2500 and then add a partial symbol table entry for it.
2504 The caller must ensure that the DIE has a valid name attribute.
2508 add_partial_symbol (dip, objfile)
2509 struct dieinfo *dip;
2510 struct objfile *objfile;
2512 switch (dip -> die_tag)
2514 case TAG_global_subroutine:
2515 record_minimal_symbol (dip -> at_name, dip -> at_low_pc, mst_text,
2517 ADD_PSYMBOL_TO_LIST (dip -> at_name, strlen (dip -> at_name),
2518 VAR_NAMESPACE, LOC_BLOCK,
2519 objfile -> global_psymbols,
2522 case TAG_global_variable:
2523 record_minimal_symbol (dip -> at_name, locval (dip -> at_location),
2525 ADD_PSYMBOL_TO_LIST (dip -> at_name, strlen (dip -> at_name),
2526 VAR_NAMESPACE, LOC_STATIC,
2527 objfile -> global_psymbols,
2530 case TAG_subroutine:
2531 ADD_PSYMBOL_TO_LIST (dip -> at_name, strlen (dip -> at_name),
2532 VAR_NAMESPACE, LOC_BLOCK,
2533 objfile -> static_psymbols,
2536 case TAG_local_variable:
2537 ADD_PSYMBOL_TO_LIST (dip -> at_name, strlen (dip -> at_name),
2538 VAR_NAMESPACE, LOC_STATIC,
2539 objfile -> static_psymbols,
2543 ADD_PSYMBOL_TO_LIST (dip -> at_name, strlen (dip -> at_name),
2544 VAR_NAMESPACE, LOC_TYPEDEF,
2545 objfile -> static_psymbols,
2548 case TAG_class_type:
2549 case TAG_structure_type:
2550 case TAG_union_type:
2551 case TAG_enumeration_type:
2552 ADD_PSYMBOL_TO_LIST (dip -> at_name, strlen (dip -> at_name),
2553 STRUCT_NAMESPACE, LOC_TYPEDEF,
2554 objfile -> static_psymbols,
2556 if (cu_language == language_cplus)
2558 /* For C++, these implicitly act as typedefs as well. */
2559 ADD_PSYMBOL_TO_LIST (dip -> at_name, strlen (dip -> at_name),
2560 VAR_NAMESPACE, LOC_TYPEDEF,
2561 objfile -> static_psymbols,
2572 scan_partial_symbols -- scan DIE's within a single compilation unit
2576 Process the DIE's within a single compilation unit, looking for
2577 interesting DIE's that contribute to the partial symbol table entry
2578 for this compilation unit.
2582 There are some DIE's that may appear both at file scope and within
2583 the scope of a function. We are only interested in the ones at file
2584 scope, and the only way to tell them apart is to keep track of the
2585 scope. For example, consider the test case:
2590 for which the relevant DWARF segment has the structure:
2593 0x23 global subrtn sibling 0x9b
2595 fund_type FT_integer
2600 0x23 local var sibling 0x97
2602 fund_type FT_integer
2603 location OP_BASEREG 0xe
2610 0x1d local var sibling 0xb8
2612 fund_type FT_integer
2613 location OP_ADDR 0x800025dc
2618 We want to include the symbol 'i' in the partial symbol table, but
2619 not the symbol 'j'. In essence, we want to skip all the dies within
2620 the scope of a TAG_global_subroutine DIE.
2622 Don't attempt to add anonymous structures or unions since they have
2623 no name. Anonymous enumerations however are processed, because we
2624 want to extract their member names (the check for a tag name is
2627 Also, for variables and subroutines, check that this is the place
2628 where the actual definition occurs, rather than just a reference
2633 scan_partial_symbols (thisdie, enddie, objfile)
2636 struct objfile *objfile;
2642 while (thisdie < enddie)
2644 basicdieinfo (&di, thisdie, objfile);
2645 if (di.die_length < SIZEOF_DIE_LENGTH)
2651 nextdie = thisdie + di.die_length;
2652 /* To avoid getting complete die information for every die, we
2653 only do it (below) for the cases we are interested in. */
2656 case TAG_global_subroutine:
2657 case TAG_subroutine:
2658 completedieinfo (&di, objfile);
2659 if (di.at_name && (di.has_at_low_pc || di.at_location))
2661 add_partial_symbol (&di, objfile);
2662 /* If there is a sibling attribute, adjust the nextdie
2663 pointer to skip the entire scope of the subroutine.
2664 Apply some sanity checking to make sure we don't
2665 overrun or underrun the range of remaining DIE's */
2666 if (di.at_sibling != 0)
2668 temp = dbbase + di.at_sibling - dbroff;
2669 if ((temp < thisdie) || (temp >= enddie))
2671 dwarfwarn ("reference to DIE (0x%x) outside compilation unit", di.at_sibling);
2680 case TAG_global_variable:
2681 case TAG_local_variable:
2682 completedieinfo (&di, objfile);
2683 if (di.at_name && (di.has_at_low_pc || di.at_location))
2685 add_partial_symbol (&di, objfile);
2689 case TAG_class_type:
2690 case TAG_structure_type:
2691 case TAG_union_type:
2692 completedieinfo (&di, objfile);
2695 add_partial_symbol (&di, objfile);
2698 case TAG_enumeration_type:
2699 completedieinfo (&di, objfile);
2702 add_partial_symbol (&di, objfile);
2704 add_enum_psymbol (&di, objfile);
2716 scan_compilation_units -- build a psymtab entry for each compilation
2720 This is the top level dwarf parsing routine for building partial
2723 It scans from the beginning of the DWARF table looking for the first
2724 TAG_compile_unit DIE, and then follows the sibling chain to locate
2725 each additional TAG_compile_unit DIE.
2727 For each TAG_compile_unit DIE it creates a partial symtab structure,
2728 calls a subordinate routine to collect all the compilation unit's
2729 global DIE's, file scope DIEs, typedef DIEs, etc, and then links the
2730 new partial symtab structure into the partial symbol table. It also
2731 records the appropriate information in the partial symbol table entry
2732 to allow the chunk of DIE's and line number table for this compilation
2733 unit to be located and re-read later, to generate a complete symbol
2734 table entry for the compilation unit.
2736 Thus it effectively partitions up a chunk of DIE's for multiple
2737 compilation units into smaller DIE chunks and line number tables,
2738 and associates them with a partial symbol table entry.
2742 If any compilation unit has no line number table associated with
2743 it for some reason (a missing at_stmt_list attribute, rather than
2744 just one with a value of zero, which is valid) then we ensure that
2745 the recorded file offset is zero so that the routine which later
2746 reads line number table fragments knows that there is no fragment
2756 scan_compilation_units (thisdie, enddie, dbfoff, lnoffset, objfile)
2761 struct objfile *objfile;
2765 struct partial_symtab *pst;
2768 file_ptr curlnoffset;
2770 while (thisdie < enddie)
2772 basicdieinfo (&di, thisdie, objfile);
2773 if (di.die_length < SIZEOF_DIE_LENGTH)
2777 else if (di.die_tag != TAG_compile_unit)
2779 nextdie = thisdie + di.die_length;
2783 completedieinfo (&di, objfile);
2784 set_cu_language (&di);
2785 if (di.at_sibling != 0)
2787 nextdie = dbbase + di.at_sibling - dbroff;
2791 nextdie = thisdie + di.die_length;
2793 curoff = thisdie - dbbase;
2794 culength = nextdie - thisdie;
2795 curlnoffset = di.has_at_stmt_list ? lnoffset + di.at_stmt_list : 0;
2797 /* First allocate a new partial symbol table structure */
2799 pst = start_psymtab_common (objfile, base_section_offsets,
2800 di.at_name, di.at_low_pc,
2801 objfile -> global_psymbols.next,
2802 objfile -> static_psymbols.next);
2804 pst -> texthigh = di.at_high_pc;
2805 pst -> read_symtab_private = (char *)
2806 obstack_alloc (&objfile -> psymbol_obstack,
2807 sizeof (struct dwfinfo));
2808 DBFOFF (pst) = dbfoff;
2809 DBROFF (pst) = curoff;
2810 DBLENGTH (pst) = culength;
2811 LNFOFF (pst) = curlnoffset;
2812 pst -> read_symtab = dwarf_psymtab_to_symtab;
2814 /* Now look for partial symbols */
2816 scan_partial_symbols (thisdie + di.die_length, nextdie, objfile);
2818 pst -> n_global_syms = objfile -> global_psymbols.next -
2819 (objfile -> global_psymbols.list + pst -> globals_offset);
2820 pst -> n_static_syms = objfile -> static_psymbols.next -
2821 (objfile -> static_psymbols.list + pst -> statics_offset);
2822 sort_pst_symbols (pst);
2823 /* If there is already a psymtab or symtab for a file of this name,
2824 remove it. (If there is a symtab, more drastic things also
2825 happen.) This happens in VxWorks. */
2826 free_named_symtabs (pst -> filename);
2836 new_symbol -- make a symbol table entry for a new symbol
2840 static struct symbol *new_symbol (struct dieinfo *dip,
2841 struct objfile *objfile)
2845 Given a pointer to a DWARF information entry, figure out if we need
2846 to make a symbol table entry for it, and if so, create a new entry
2847 and return a pointer to it.
2850 static struct symbol *
2851 new_symbol (dip, objfile)
2852 struct dieinfo *dip;
2853 struct objfile *objfile;
2855 struct symbol *sym = NULL;
2857 if (dip -> at_name != NULL)
2859 sym = (struct symbol *) obstack_alloc (&objfile -> symbol_obstack,
2860 sizeof (struct symbol));
2861 memset (sym, 0, sizeof (struct symbol));
2862 SYMBOL_NAME (sym) = create_name (dip -> at_name,
2863 &objfile->symbol_obstack);
2864 /* default assumptions */
2865 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
2866 SYMBOL_CLASS (sym) = LOC_STATIC;
2867 SYMBOL_TYPE (sym) = decode_die_type (dip);
2868 switch (dip -> die_tag)
2871 SYMBOL_VALUE (sym) = dip -> at_low_pc;
2872 SYMBOL_CLASS (sym) = LOC_LABEL;
2874 case TAG_global_subroutine:
2875 case TAG_subroutine:
2876 SYMBOL_VALUE (sym) = dip -> at_low_pc;
2877 SYMBOL_TYPE (sym) = lookup_function_type (SYMBOL_TYPE (sym));
2878 SYMBOL_CLASS (sym) = LOC_BLOCK;
2879 if (dip -> die_tag == TAG_global_subroutine)
2881 add_symbol_to_list (sym, &global_symbols);
2885 add_symbol_to_list (sym, list_in_scope);
2888 case TAG_global_variable:
2889 if (dip -> at_location != NULL)
2891 SYMBOL_VALUE (sym) = locval (dip -> at_location);
2892 add_symbol_to_list (sym, &global_symbols);
2893 SYMBOL_CLASS (sym) = LOC_STATIC;
2894 SYMBOL_VALUE (sym) += baseaddr;
2897 case TAG_local_variable:
2898 if (dip -> at_location != NULL)
2900 SYMBOL_VALUE (sym) = locval (dip -> at_location);
2901 add_symbol_to_list (sym, list_in_scope);
2904 SYMBOL_CLASS (sym) = LOC_REGISTER;
2908 SYMBOL_CLASS (sym) = LOC_LOCAL;
2912 SYMBOL_CLASS (sym) = LOC_STATIC;
2913 SYMBOL_VALUE (sym) += baseaddr;
2917 case TAG_formal_parameter:
2918 if (dip -> at_location != NULL)
2920 SYMBOL_VALUE (sym) = locval (dip -> at_location);
2922 add_symbol_to_list (sym, list_in_scope);
2925 SYMBOL_CLASS (sym) = LOC_REGPARM;
2929 SYMBOL_CLASS (sym) = LOC_ARG;
2932 case TAG_unspecified_parameters:
2933 /* From varargs functions; gdb doesn't seem to have any interest in
2934 this information, so just ignore it for now. (FIXME?) */
2936 case TAG_class_type:
2937 case TAG_structure_type:
2938 case TAG_union_type:
2939 case TAG_enumeration_type:
2940 SYMBOL_CLASS (sym) = LOC_TYPEDEF;
2941 SYMBOL_NAMESPACE (sym) = STRUCT_NAMESPACE;
2942 add_symbol_to_list (sym, list_in_scope);
2945 SYMBOL_CLASS (sym) = LOC_TYPEDEF;
2946 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
2947 add_symbol_to_list (sym, list_in_scope);
2950 /* Not a tag we recognize. Hopefully we aren't processing trash
2951 data, but since we must specifically ignore things we don't
2952 recognize, there is nothing else we should do at this point. */
2963 synthesize_typedef -- make a symbol table entry for a "fake" typedef
2967 static void synthesize_typedef (struct dieinfo *dip,
2968 struct objfile *objfile,
2973 Given a pointer to a DWARF information entry, synthesize a typedef
2974 for the name in the DIE, using the specified type.
2976 This is used for C++ class, structs, unions, and enumerations to
2977 set up the tag name as a type.
2982 synthesize_typedef (dip, objfile, type)
2983 struct dieinfo *dip;
2984 struct objfile *objfile;
2987 struct symbol *sym = NULL;
2989 if (dip -> at_name != NULL)
2991 sym = (struct symbol *)
2992 obstack_alloc (&objfile -> symbol_obstack, sizeof (struct symbol));
2993 memset (sym, 0, sizeof (struct symbol));
2994 SYMBOL_NAME (sym) = create_name (dip -> at_name,
2995 &objfile->symbol_obstack);
2996 SYMBOL_TYPE (sym) = type;
2997 SYMBOL_CLASS (sym) = LOC_TYPEDEF;
2998 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
2999 add_symbol_to_list (sym, list_in_scope);
3007 decode_mod_fund_type -- decode a modified fundamental type
3011 static struct type *decode_mod_fund_type (char *typedata)
3015 Decode a block of data containing a modified fundamental
3016 type specification. TYPEDATA is a pointer to the block,
3017 which starts with a length containing the size of the rest
3018 of the block. At the end of the block is a fundmental type
3019 code value that gives the fundamental type. Everything
3020 in between are type modifiers.
3022 We simply compute the number of modifiers and call the general
3023 function decode_modified_type to do the actual work.
3026 static struct type *
3027 decode_mod_fund_type (typedata)
3030 struct type *typep = NULL;
3031 unsigned short modcount;
3034 /* Get the total size of the block, exclusive of the size itself */
3036 nbytes = attribute_size (AT_mod_fund_type);
3037 modcount = target_to_host (typedata, nbytes, GET_UNSIGNED, current_objfile);
3040 /* Deduct the size of the fundamental type bytes at the end of the block. */
3042 modcount -= attribute_size (AT_fund_type);
3044 /* Now do the actual decoding */
3046 typep = decode_modified_type (typedata, modcount, AT_mod_fund_type);
3054 decode_mod_u_d_type -- decode a modified user defined type
3058 static struct type *decode_mod_u_d_type (char *typedata)
3062 Decode a block of data containing a modified user defined
3063 type specification. TYPEDATA is a pointer to the block,
3064 which consists of a two byte length, containing the size
3065 of the rest of the block. At the end of the block is a
3066 four byte value that gives a reference to a user defined type.
3067 Everything in between are type modifiers.
3069 We simply compute the number of modifiers and call the general
3070 function decode_modified_type to do the actual work.
3073 static struct type *
3074 decode_mod_u_d_type (typedata)
3077 struct type *typep = NULL;
3078 unsigned short modcount;
3081 /* Get the total size of the block, exclusive of the size itself */
3083 nbytes = attribute_size (AT_mod_u_d_type);
3084 modcount = target_to_host (typedata, nbytes, GET_UNSIGNED, current_objfile);
3087 /* Deduct the size of the reference type bytes at the end of the block. */
3089 modcount -= attribute_size (AT_user_def_type);
3091 /* Now do the actual decoding */
3093 typep = decode_modified_type (typedata, modcount, AT_mod_u_d_type);
3101 decode_modified_type -- decode modified user or fundamental type
3105 static struct type *decode_modified_type (char *modifiers,
3106 unsigned short modcount, int mtype)
3110 Decode a modified type, either a modified fundamental type or
3111 a modified user defined type. MODIFIERS is a pointer to the
3112 block of bytes that define MODCOUNT modifiers. Immediately
3113 following the last modifier is a short containing the fundamental
3114 type or a long containing the reference to the user defined
3115 type. Which one is determined by MTYPE, which is either
3116 AT_mod_fund_type or AT_mod_u_d_type to indicate what modified
3117 type we are generating.
3119 We call ourself recursively to generate each modified type,`
3120 until MODCOUNT reaches zero, at which point we have consumed
3121 all the modifiers and generate either the fundamental type or
3122 user defined type. When the recursion unwinds, each modifier
3123 is applied in turn to generate the full modified type.
3127 If we find a modifier that we don't recognize, and it is not one
3128 of those reserved for application specific use, then we issue a
3129 warning and simply ignore the modifier.
3133 We currently ignore MOD_const and MOD_volatile. (FIXME)
3137 static struct type *
3138 decode_modified_type (modifiers, modcount, mtype)
3140 unsigned int modcount;
3143 struct type *typep = NULL;
3144 unsigned short fundtype;
3153 case AT_mod_fund_type:
3154 nbytes = attribute_size (AT_fund_type);
3155 fundtype = target_to_host (modifiers, nbytes, GET_UNSIGNED,
3157 typep = decode_fund_type (fundtype);
3159 case AT_mod_u_d_type:
3160 nbytes = attribute_size (AT_user_def_type);
3161 die_ref = target_to_host (modifiers, nbytes, GET_UNSIGNED,
3163 if ((typep = lookup_utype (die_ref)) == NULL)
3165 typep = alloc_utype (die_ref, NULL);
3169 SQUAWK (("botched modified type decoding (mtype 0x%x)", mtype));
3170 typep = dwarf_fundamental_type (current_objfile, FT_INTEGER);
3176 modifier = *modifiers++;
3177 typep = decode_modified_type (modifiers, --modcount, mtype);
3180 case MOD_pointer_to:
3181 typep = lookup_pointer_type (typep);
3183 case MOD_reference_to:
3184 typep = lookup_reference_type (typep);
3187 SQUAWK (("type modifier 'const' ignored")); /* FIXME */
3190 SQUAWK (("type modifier 'volatile' ignored")); /* FIXME */
3193 if (!(MOD_lo_user <= (unsigned char) modifier
3194 && (unsigned char) modifier <= MOD_hi_user))
3196 SQUAWK (("unknown type modifier %u",
3197 (unsigned char) modifier));
3209 decode_fund_type -- translate basic DWARF type to gdb base type
3213 Given an integer that is one of the fundamental DWARF types,
3214 translate it to one of the basic internal gdb types and return
3215 a pointer to the appropriate gdb type (a "struct type *").
3219 For robustness, if we are asked to translate a fundamental
3220 type that we are unprepared to deal with, we return int so
3221 callers can always depend upon a valid type being returned,
3222 and so gdb may at least do something reasonable by default.
3223 If the type is not in the range of those types defined as
3224 application specific types, we also issue a warning.
3227 static struct type *
3228 decode_fund_type (fundtype)
3229 unsigned int fundtype;
3231 struct type *typep = NULL;
3237 typep = dwarf_fundamental_type (current_objfile, FT_VOID);
3240 case FT_boolean: /* Was FT_set in AT&T version */
3241 typep = dwarf_fundamental_type (current_objfile, FT_BOOLEAN);
3244 case FT_pointer: /* (void *) */
3245 typep = dwarf_fundamental_type (current_objfile, FT_VOID);
3246 typep = lookup_pointer_type (typep);
3250 typep = dwarf_fundamental_type (current_objfile, FT_CHAR);
3253 case FT_signed_char:
3254 typep = dwarf_fundamental_type (current_objfile, FT_SIGNED_CHAR);
3257 case FT_unsigned_char:
3258 typep = dwarf_fundamental_type (current_objfile, FT_UNSIGNED_CHAR);
3262 typep = dwarf_fundamental_type (current_objfile, FT_SHORT);
3265 case FT_signed_short:
3266 typep = dwarf_fundamental_type (current_objfile, FT_SIGNED_SHORT);
3269 case FT_unsigned_short:
3270 typep = dwarf_fundamental_type (current_objfile, FT_UNSIGNED_SHORT);
3274 typep = dwarf_fundamental_type (current_objfile, FT_INTEGER);
3277 case FT_signed_integer:
3278 typep = dwarf_fundamental_type (current_objfile, FT_SIGNED_INTEGER);
3281 case FT_unsigned_integer:
3282 typep = dwarf_fundamental_type (current_objfile, FT_UNSIGNED_INTEGER);
3286 typep = dwarf_fundamental_type (current_objfile, FT_LONG);
3289 case FT_signed_long:
3290 typep = dwarf_fundamental_type (current_objfile, FT_SIGNED_LONG);
3293 case FT_unsigned_long:
3294 typep = dwarf_fundamental_type (current_objfile, FT_UNSIGNED_LONG);
3298 typep = dwarf_fundamental_type (current_objfile, FT_LONG_LONG);
3301 case FT_signed_long_long:
3302 typep = dwarf_fundamental_type (current_objfile, FT_SIGNED_LONG_LONG);
3305 case FT_unsigned_long_long:
3306 typep = dwarf_fundamental_type (current_objfile, FT_UNSIGNED_LONG_LONG);
3310 typep = dwarf_fundamental_type (current_objfile, FT_FLOAT);
3313 case FT_dbl_prec_float:
3314 typep = dwarf_fundamental_type (current_objfile, FT_DBL_PREC_FLOAT);
3317 case FT_ext_prec_float:
3318 typep = dwarf_fundamental_type (current_objfile, FT_EXT_PREC_FLOAT);
3322 typep = dwarf_fundamental_type (current_objfile, FT_COMPLEX);
3325 case FT_dbl_prec_complex:
3326 typep = dwarf_fundamental_type (current_objfile, FT_DBL_PREC_COMPLEX);
3329 case FT_ext_prec_complex:
3330 typep = dwarf_fundamental_type (current_objfile, FT_EXT_PREC_COMPLEX);
3337 typep = dwarf_fundamental_type (current_objfile, FT_INTEGER);
3338 if (!(FT_lo_user <= fundtype && fundtype <= FT_hi_user))
3340 SQUAWK (("unexpected fundamental type 0x%x", fundtype));
3351 create_name -- allocate a fresh copy of a string on an obstack
3355 Given a pointer to a string and a pointer to an obstack, allocates
3356 a fresh copy of the string on the specified obstack.
3361 create_name (name, obstackp)
3363 struct obstack *obstackp;
3368 length = strlen (name) + 1;
3369 newname = (char *) obstack_alloc (obstackp, length);
3370 strcpy (newname, name);
3378 basicdieinfo -- extract the minimal die info from raw die data
3382 void basicdieinfo (char *diep, struct dieinfo *dip,
3383 struct objfile *objfile)
3387 Given a pointer to raw DIE data, and a pointer to an instance of a
3388 die info structure, this function extracts the basic information
3389 from the DIE data required to continue processing this DIE, along
3390 with some bookkeeping information about the DIE.
3392 The information we absolutely must have includes the DIE tag,
3393 and the DIE length. If we need the sibling reference, then we
3394 will have to call completedieinfo() to process all the remaining
3397 Note that since there is no guarantee that the data is properly
3398 aligned in memory for the type of access required (indirection
3399 through anything other than a char pointer), and there is no
3400 guarantee that it is in the same byte order as the gdb host,
3401 we call a function which deals with both alignment and byte
3402 swapping issues. Possibly inefficient, but quite portable.
3404 We also take care of some other basic things at this point, such
3405 as ensuring that the instance of the die info structure starts
3406 out completely zero'd and that curdie is initialized for use
3407 in error reporting if we have a problem with the current die.
3411 All DIE's must have at least a valid length, thus the minimum
3412 DIE size is SIZEOF_DIE_LENGTH. In order to have a valid tag, the
3413 DIE size must be at least SIZEOF_DIE_TAG larger, otherwise they
3414 are forced to be TAG_padding DIES.
3416 Padding DIES must be at least SIZEOF_DIE_LENGTH in length, implying
3417 that if a padding DIE is used for alignment and the amount needed is
3418 less than SIZEOF_DIE_LENGTH, then the padding DIE has to be big
3419 enough to align to the next alignment boundry.
3421 We do some basic sanity checking here, such as verifying that the
3422 length of the die would not cause it to overrun the recorded end of
3423 the buffer holding the DIE info. If we find a DIE that is either
3424 too small or too large, we force it's length to zero which should
3425 cause the caller to take appropriate action.
3429 basicdieinfo (dip, diep, objfile)
3430 struct dieinfo *dip;
3432 struct objfile *objfile;
3435 memset (dip, 0, sizeof (struct dieinfo));
3437 dip -> die_ref = dbroff + (diep - dbbase);
3438 dip -> die_length = target_to_host (diep, SIZEOF_DIE_LENGTH, GET_UNSIGNED,
3440 if ((dip -> die_length < SIZEOF_DIE_LENGTH) ||
3441 ((diep + dip -> die_length) > (dbbase + dbsize)))
3443 dwarfwarn ("malformed DIE, bad length (%d bytes)", dip -> die_length);
3444 dip -> die_length = 0;
3446 else if (dip -> die_length < (SIZEOF_DIE_LENGTH + SIZEOF_DIE_TAG))
3448 dip -> die_tag = TAG_padding;
3452 diep += SIZEOF_DIE_LENGTH;
3453 dip -> die_tag = target_to_host (diep, SIZEOF_DIE_TAG, GET_UNSIGNED,
3462 completedieinfo -- finish reading the information for a given DIE
3466 void completedieinfo (struct dieinfo *dip, struct objfile *objfile)
3470 Given a pointer to an already partially initialized die info structure,
3471 scan the raw DIE data and finish filling in the die info structure
3472 from the various attributes found.
3474 Note that since there is no guarantee that the data is properly
3475 aligned in memory for the type of access required (indirection
3476 through anything other than a char pointer), and there is no
3477 guarantee that it is in the same byte order as the gdb host,
3478 we call a function which deals with both alignment and byte
3479 swapping issues. Possibly inefficient, but quite portable.
3483 Each time we are called, we increment the diecount variable, which
3484 keeps an approximate count of the number of dies processed for
3485 each compilation unit. This information is presented to the user
3486 if the info_verbose flag is set.
3491 completedieinfo (dip, objfile)
3492 struct dieinfo *dip;
3493 struct objfile *objfile;
3495 char *diep; /* Current pointer into raw DIE data */
3496 char *end; /* Terminate DIE scan here */
3497 unsigned short attr; /* Current attribute being scanned */
3498 unsigned short form; /* Form of the attribute */
3499 int nbytes; /* Size of next field to read */
3503 end = diep + dip -> die_length;
3504 diep += SIZEOF_DIE_LENGTH + SIZEOF_DIE_TAG;
3507 attr = target_to_host (diep, SIZEOF_ATTRIBUTE, GET_UNSIGNED, objfile);
3508 diep += SIZEOF_ATTRIBUTE;
3509 if ((nbytes = attribute_size (attr)) == -1)
3511 SQUAWK (("unknown attribute length, skipped remaining attributes"));;
3518 dip -> at_fund_type = target_to_host (diep, nbytes, GET_UNSIGNED,
3522 dip -> at_ordering = target_to_host (diep, nbytes, GET_UNSIGNED,
3526 dip -> at_bit_offset = target_to_host (diep, nbytes, GET_UNSIGNED,
3530 dip -> at_sibling = target_to_host (diep, nbytes, GET_UNSIGNED,
3534 dip -> at_stmt_list = target_to_host (diep, nbytes, GET_UNSIGNED,
3536 dip -> has_at_stmt_list = 1;
3539 dip -> at_low_pc = target_to_host (diep, nbytes, GET_UNSIGNED,
3541 dip -> at_low_pc += baseaddr;
3542 dip -> has_at_low_pc = 1;
3545 dip -> at_high_pc = target_to_host (diep, nbytes, GET_UNSIGNED,
3547 dip -> at_high_pc += baseaddr;
3550 dip -> at_language = target_to_host (diep, nbytes, GET_UNSIGNED,
3553 case AT_user_def_type:
3554 dip -> at_user_def_type = target_to_host (diep, nbytes,
3555 GET_UNSIGNED, objfile);
3558 dip -> at_byte_size = target_to_host (diep, nbytes, GET_UNSIGNED,
3560 dip -> has_at_byte_size = 1;
3563 dip -> at_bit_size = target_to_host (diep, nbytes, GET_UNSIGNED,
3567 dip -> at_member = target_to_host (diep, nbytes, GET_UNSIGNED,
3571 dip -> at_discr = target_to_host (diep, nbytes, GET_UNSIGNED,
3575 dip -> at_location = diep;
3577 case AT_mod_fund_type:
3578 dip -> at_mod_fund_type = diep;
3580 case AT_subscr_data:
3581 dip -> at_subscr_data = diep;
3583 case AT_mod_u_d_type:
3584 dip -> at_mod_u_d_type = diep;
3586 case AT_element_list:
3587 dip -> at_element_list = diep;
3588 dip -> short_element_list = 0;
3590 case AT_short_element_list:
3591 dip -> at_element_list = diep;
3592 dip -> short_element_list = 1;
3594 case AT_discr_value:
3595 dip -> at_discr_value = diep;
3597 case AT_string_length:
3598 dip -> at_string_length = diep;
3601 dip -> at_name = diep;
3604 /* For now, ignore any "hostname:" portion, since gdb doesn't
3605 know how to deal with it. (FIXME). */
3606 dip -> at_comp_dir = strrchr (diep, ':');
3607 if (dip -> at_comp_dir != NULL)
3609 dip -> at_comp_dir++;
3613 dip -> at_comp_dir = diep;
3617 dip -> at_producer = diep;
3619 case AT_start_scope:
3620 dip -> at_start_scope = target_to_host (diep, nbytes, GET_UNSIGNED,
3623 case AT_stride_size:
3624 dip -> at_stride_size = target_to_host (diep, nbytes, GET_UNSIGNED,
3628 dip -> at_src_info = target_to_host (diep, nbytes, GET_UNSIGNED,
3632 dip -> at_prototyped = diep;
3635 /* Found an attribute that we are unprepared to handle. However
3636 it is specifically one of the design goals of DWARF that
3637 consumers should ignore unknown attributes. As long as the
3638 form is one that we recognize (so we know how to skip it),
3639 we can just ignore the unknown attribute. */
3642 form = FORM_FROM_ATTR (attr);
3656 diep += TARGET_FT_POINTER_SIZE (objfile);
3659 diep += 2 + target_to_host (diep, nbytes, GET_UNSIGNED, objfile);
3662 diep += 4 + target_to_host (diep, nbytes, GET_UNSIGNED, objfile);
3665 diep += strlen (diep) + 1;
3668 SQUAWK (("unknown attribute form (0x%x)", form));
3669 SQUAWK (("unknown attribute length, skipped remaining attributes"));;
3680 target_to_host -- swap in target data to host
3684 target_to_host (char *from, int nbytes, int signextend,
3685 struct objfile *objfile)
3689 Given pointer to data in target format in FROM, a byte count for
3690 the size of the data in NBYTES, a flag indicating whether or not
3691 the data is signed in SIGNEXTEND, and a pointer to the current
3692 objfile in OBJFILE, convert the data to host format and return
3693 the converted value.
3697 FIXME: If we read data that is known to be signed, and expect to
3698 use it as signed data, then we need to explicitly sign extend the
3699 result until the bfd library is able to do this for us.
3703 static unsigned long
3704 target_to_host (from, nbytes, signextend, objfile)
3707 int signextend; /* FIXME: Unused */
3708 struct objfile *objfile;
3710 unsigned long rtnval;
3715 rtnval = bfd_get_64 (objfile -> obfd, (bfd_byte *) from);
3718 rtnval = bfd_get_32 (objfile -> obfd, (bfd_byte *) from);
3721 rtnval = bfd_get_16 (objfile -> obfd, (bfd_byte *) from);
3724 rtnval = bfd_get_8 (objfile -> obfd, (bfd_byte *) from);
3727 dwarfwarn ("no bfd support for %d byte data object", nbytes);
3738 attribute_size -- compute size of data for a DWARF attribute
3742 static int attribute_size (unsigned int attr)
3746 Given a DWARF attribute in ATTR, compute the size of the first
3747 piece of data associated with this attribute and return that
3750 Returns -1 for unrecognized attributes.
3755 attribute_size (attr)
3758 int nbytes; /* Size of next data for this attribute */
3759 unsigned short form; /* Form of the attribute */
3761 form = FORM_FROM_ATTR (attr);
3764 case FORM_STRING: /* A variable length field is next */
3767 case FORM_DATA2: /* Next 2 byte field is the data itself */
3768 case FORM_BLOCK2: /* Next 2 byte field is a block length */
3771 case FORM_DATA4: /* Next 4 byte field is the data itself */
3772 case FORM_BLOCK4: /* Next 4 byte field is a block length */
3773 case FORM_REF: /* Next 4 byte field is a DIE offset */
3776 case FORM_DATA8: /* Next 8 byte field is the data itself */
3779 case FORM_ADDR: /* Next field size is target sizeof(void *) */
3780 nbytes = TARGET_FT_POINTER_SIZE (objfile);
3783 SQUAWK (("unknown attribute form (0x%x)", form));