1 /* DWARF debugging format support for GDB.
2 Copyright (C) 1991, 1992, 1993, 1994, 1995, 1996
3 Free Software Foundation, Inc.
4 Written by Fred Fish at Cygnus Support. Portions based on dbxread.c,
5 mipsread.c, coffread.c, and dwarfread.c from a Data General SVR4 gdb port.
7 This file is part of GDB.
9 This program is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 2 of the License, or
12 (at your option) any later version.
14 This program is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
19 You should have received a copy of the GNU General Public License
20 along with this program; if not, write to the Free Software
21 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
25 FIXME: Do we need to generate dependencies in partial symtabs?
26 (Perhaps we don't need to).
28 FIXME: Resolve minor differences between what information we put in the
29 partial symbol table and what dbxread puts in. For example, we don't yet
30 put enum constants there. And dbxread seems to invent a lot of typedefs
31 we never see. Use the new printpsym command to see the partial symbol table
34 FIXME: Figure out a better way to tell gdb about the name of the function
35 contain the user's entry point (I.E. main())
37 FIXME: See other FIXME's and "ifdef 0" scattered throughout the code for
38 other things to work on, if you get bored. :-)
47 #include "elf/dwarf.h"
50 #include "expression.h" /* Needed for enum exp_opcode in language.h, sigh... */
52 #include "complaints.h"
55 #include "gdb_string.h"
61 /* Some macros to provide DIE info for complaints. */
63 #define DIE_ID (curdie!=NULL ? curdie->die_ref : 0)
64 #define DIE_NAME (curdie!=NULL && curdie->at_name!=NULL) ? curdie->at_name : ""
66 /* Complaints that can be issued during DWARF debug info reading. */
68 struct complaint no_bfd_get_N
=
70 "DIE @ 0x%x \"%s\", no bfd support for %d byte data object", 0, 0
73 struct complaint malformed_die
=
75 "DIE @ 0x%x \"%s\", malformed DIE, bad length (%d bytes)", 0, 0
78 struct complaint bad_die_ref
=
80 "DIE @ 0x%x \"%s\", reference to DIE (0x%x) outside compilation unit", 0, 0
83 struct complaint unknown_attribute_form
=
85 "DIE @ 0x%x \"%s\", unknown attribute form (0x%x)", 0, 0
88 struct complaint unknown_attribute_length
=
90 "DIE @ 0x%x \"%s\", unknown attribute length, skipped remaining attributes", 0, 0
93 struct complaint unexpected_fund_type
=
95 "DIE @ 0x%x \"%s\", unexpected fundamental type 0x%x", 0, 0
98 struct complaint unknown_type_modifier
=
100 "DIE @ 0x%x \"%s\", unknown type modifier %u", 0, 0
103 struct complaint volatile_ignored
=
105 "DIE @ 0x%x \"%s\", type modifier 'volatile' ignored", 0, 0
108 struct complaint const_ignored
=
110 "DIE @ 0x%x \"%s\", type modifier 'const' ignored", 0, 0
113 struct complaint botched_modified_type
=
115 "DIE @ 0x%x \"%s\", botched modified type decoding (mtype 0x%x)", 0, 0
118 struct complaint op_deref2
=
120 "DIE @ 0x%x \"%s\", OP_DEREF2 address 0x%x not handled", 0, 0
123 struct complaint op_deref4
=
125 "DIE @ 0x%x \"%s\", OP_DEREF4 address 0x%x not handled", 0, 0
128 struct complaint basereg_not_handled
=
130 "DIE @ 0x%x \"%s\", BASEREG %d not handled", 0, 0
133 struct complaint dup_user_type_allocation
=
135 "DIE @ 0x%x \"%s\", internal error: duplicate user type allocation", 0, 0
138 struct complaint dup_user_type_definition
=
140 "DIE @ 0x%x \"%s\", internal error: duplicate user type definition", 0, 0
143 struct complaint missing_tag
=
145 "DIE @ 0x%x \"%s\", missing class, structure, or union tag", 0, 0
148 struct complaint bad_array_element_type
=
150 "DIE @ 0x%x \"%s\", bad array element type attribute 0x%x", 0, 0
153 struct complaint subscript_data_items
=
155 "DIE @ 0x%x \"%s\", can't decode subscript data items", 0, 0
158 struct complaint unhandled_array_subscript_format
=
160 "DIE @ 0x%x \"%s\", array subscript format 0x%x not handled yet", 0, 0
163 struct complaint unknown_array_subscript_format
=
165 "DIE @ 0x%x \"%s\", unknown array subscript format %x", 0, 0
168 struct complaint not_row_major
=
170 "DIE @ 0x%x \"%s\", array not row major; not handled correctly", 0, 0
173 typedef unsigned int DIE_REF
; /* Reference to a DIE */
176 #define GCC_PRODUCER "GNU C "
179 #ifndef GPLUS_PRODUCER
180 #define GPLUS_PRODUCER "GNU C++ "
184 #define LCC_PRODUCER "NCR C/C++"
187 #ifndef CHILL_PRODUCER
188 #define CHILL_PRODUCER "GNU Chill "
191 /* Provide a default mapping from a DWARF register number to a gdb REGNUM. */
192 #ifndef DWARF_REG_TO_REGNUM
193 #define DWARF_REG_TO_REGNUM(num) (num)
196 /* Flags to target_to_host() that tell whether or not the data object is
197 expected to be signed. Used, for example, when fetching a signed
198 integer in the target environment which is used as a signed integer
199 in the host environment, and the two environments have different sized
200 ints. In this case, *somebody* has to sign extend the smaller sized
203 #define GET_UNSIGNED 0 /* No sign extension required */
204 #define GET_SIGNED 1 /* Sign extension required */
206 /* Defines for things which are specified in the document "DWARF Debugging
207 Information Format" published by UNIX International, Programming Languages
208 SIG. These defines are based on revision 1.0.0, Jan 20, 1992. */
210 #define SIZEOF_DIE_LENGTH 4
211 #define SIZEOF_DIE_TAG 2
212 #define SIZEOF_ATTRIBUTE 2
213 #define SIZEOF_FORMAT_SPECIFIER 1
214 #define SIZEOF_FMT_FT 2
215 #define SIZEOF_LINETBL_LENGTH 4
216 #define SIZEOF_LINETBL_LINENO 4
217 #define SIZEOF_LINETBL_STMT 2
218 #define SIZEOF_LINETBL_DELTA 4
219 #define SIZEOF_LOC_ATOM_CODE 1
221 #define FORM_FROM_ATTR(attr) ((attr) & 0xF) /* Implicitly specified */
223 /* Macros that return the sizes of various types of data in the target
226 FIXME: Currently these are just compile time constants (as they are in
227 other parts of gdb as well). They need to be able to get the right size
228 either from the bfd or possibly from the DWARF info. It would be nice if
229 the DWARF producer inserted DIES that describe the fundamental types in
230 the target environment into the DWARF info, similar to the way dbx stabs
231 producers produce information about their fundamental types. */
233 #define TARGET_FT_POINTER_SIZE(objfile) (TARGET_PTR_BIT / TARGET_CHAR_BIT)
234 #define TARGET_FT_LONG_SIZE(objfile) (TARGET_LONG_BIT / TARGET_CHAR_BIT)
236 /* The Amiga SVR4 header file <dwarf.h> defines AT_element_list as a
237 FORM_BLOCK2, and this is the value emitted by the AT&T compiler.
238 However, the Issue 2 DWARF specification from AT&T defines it as
239 a FORM_BLOCK4, as does the latest specification from UI/PLSIG.
240 For backwards compatibility with the AT&T compiler produced executables
241 we define AT_short_element_list for this variant. */
243 #define AT_short_element_list (0x00f0|FORM_BLOCK2)
245 /* External variables referenced. */
247 extern int info_verbose
; /* From main.c; nonzero => verbose */
248 extern char *warning_pre_print
; /* From utils.c */
250 /* The DWARF debugging information consists of two major pieces,
251 one is a block of DWARF Information Entries (DIE's) and the other
252 is a line number table. The "struct dieinfo" structure contains
253 the information for a single DIE, the one currently being processed.
255 In order to make it easier to randomly access the attribute fields
256 of the current DIE, which are specifically unordered within the DIE,
257 each DIE is scanned and an instance of the "struct dieinfo"
258 structure is initialized.
260 Initialization is done in two levels. The first, done by basicdieinfo(),
261 just initializes those fields that are vital to deciding whether or not
262 to use this DIE, how to skip past it, etc. The second, done by the
263 function completedieinfo(), fills in the rest of the information.
265 Attributes which have block forms are not interpreted at the time
266 the DIE is scanned, instead we just save pointers to the start
267 of their value fields.
269 Some fields have a flag <name>_p that is set when the value of the
270 field is valid (I.E. we found a matching attribute in the DIE). Since
271 we may want to test for the presence of some attributes in the DIE,
272 such as AT_low_pc, without restricting the values of the field,
273 we need someway to note that we found such an attribute.
280 char * die
; /* Pointer to the raw DIE data */
281 unsigned long die_length
; /* Length of the raw DIE data */
282 DIE_REF die_ref
; /* Offset of this DIE */
283 unsigned short die_tag
; /* Tag for this DIE */
284 unsigned long at_padding
;
285 unsigned long at_sibling
;
288 unsigned short at_fund_type
;
289 BLOCK
* at_mod_fund_type
;
290 unsigned long at_user_def_type
;
291 BLOCK
* at_mod_u_d_type
;
292 unsigned short at_ordering
;
293 BLOCK
* at_subscr_data
;
294 unsigned long at_byte_size
;
295 unsigned short at_bit_offset
;
296 unsigned long at_bit_size
;
297 BLOCK
* at_element_list
;
298 unsigned long at_stmt_list
;
300 CORE_ADDR at_high_pc
;
301 unsigned long at_language
;
302 unsigned long at_member
;
303 unsigned long at_discr
;
304 BLOCK
* at_discr_value
;
305 BLOCK
* at_string_length
;
308 unsigned long at_start_scope
;
309 unsigned long at_stride_size
;
310 unsigned long at_src_info
;
311 char * at_prototyped
;
312 unsigned int has_at_low_pc
:1;
313 unsigned int has_at_stmt_list
:1;
314 unsigned int has_at_byte_size
:1;
315 unsigned int short_element_list
:1;
318 static int diecount
; /* Approximate count of dies for compilation unit */
319 static struct dieinfo
*curdie
; /* For warnings and such */
321 static char *dbbase
; /* Base pointer to dwarf info */
322 static int dbsize
; /* Size of dwarf info in bytes */
323 static int dbroff
; /* Relative offset from start of .debug section */
324 static char *lnbase
; /* Base pointer to line section */
325 static int isreg
; /* Kludge to identify register variables */
326 static int optimized_out
; /* Kludge to identify optimized out variables */
327 /* Kludge to identify basereg references. Nonzero if we have an offset
328 relative to a basereg. */
330 /* Which base register is it relative to? */
333 /* This value is added to each symbol value. FIXME: Generalize to
334 the section_offsets structure used by dbxread (once this is done,
335 pass the appropriate section number to end_symtab). */
336 static CORE_ADDR baseaddr
; /* Add to each symbol value */
338 /* The section offsets used in the current psymtab or symtab. FIXME,
339 only used to pass one value (baseaddr) at the moment. */
340 static struct section_offsets
*base_section_offsets
;
342 /* We put a pointer to this structure in the read_symtab_private field
346 /* Always the absolute file offset to the start of the ".debug"
347 section for the file containing the DIE's being accessed. */
349 /* Relative offset from the start of the ".debug" section to the
350 first DIE to be accessed. When building the partial symbol
351 table, this value will be zero since we are accessing the
352 entire ".debug" section. When expanding a partial symbol
353 table entry, this value will be the offset to the first
354 DIE for the compilation unit containing the symbol that
355 triggers the expansion. */
357 /* The size of the chunk of DIE's being examined, in bytes. */
359 /* The absolute file offset to the line table fragment. Ignored
360 when building partial symbol tables, but used when expanding
361 them, and contains the absolute file offset to the fragment
362 of the ".line" section containing the line numbers for the
363 current compilation unit. */
367 #define DBFOFF(p) (((struct dwfinfo *)((p)->read_symtab_private))->dbfoff)
368 #define DBROFF(p) (((struct dwfinfo *)((p)->read_symtab_private))->dbroff)
369 #define DBLENGTH(p) (((struct dwfinfo *)((p)->read_symtab_private))->dblength)
370 #define LNFOFF(p) (((struct dwfinfo *)((p)->read_symtab_private))->lnfoff)
372 /* The generic symbol table building routines have separate lists for
373 file scope symbols and all all other scopes (local scopes). So
374 we need to select the right one to pass to add_symbol_to_list().
375 We do it by keeping a pointer to the correct list in list_in_scope.
377 FIXME: The original dwarf code just treated the file scope as the first
378 local scope, and all other local scopes as nested local scopes, and worked
379 fine. Check to see if we really need to distinguish these in buildsym.c */
381 struct pending
**list_in_scope
= &file_symbols
;
383 /* DIES which have user defined types or modified user defined types refer to
384 other DIES for the type information. Thus we need to associate the offset
385 of a DIE for a user defined type with a pointer to the type information.
387 Originally this was done using a simple but expensive algorithm, with an
388 array of unsorted structures, each containing an offset/type-pointer pair.
389 This array was scanned linearly each time a lookup was done. The result
390 was that gdb was spending over half it's startup time munging through this
391 array of pointers looking for a structure that had the right offset member.
393 The second attempt used the same array of structures, but the array was
394 sorted using qsort each time a new offset/type was recorded, and a binary
395 search was used to find the type pointer for a given DIE offset. This was
396 even slower, due to the overhead of sorting the array each time a new
397 offset/type pair was entered.
399 The third attempt uses a fixed size array of type pointers, indexed by a
400 value derived from the DIE offset. Since the minimum DIE size is 4 bytes,
401 we can divide any DIE offset by 4 to obtain a unique index into this fixed
402 size array. Since each element is a 4 byte pointer, it takes exactly as
403 much memory to hold this array as to hold the DWARF info for a given
404 compilation unit. But it gets freed as soon as we are done with it.
405 This has worked well in practice, as a reasonable tradeoff between memory
406 consumption and speed, without having to resort to much more complicated
409 static struct type
**utypes
; /* Pointer to array of user type pointers */
410 static int numutypes
; /* Max number of user type pointers */
412 /* Maintain an array of referenced fundamental types for the current
413 compilation unit being read. For DWARF version 1, we have to construct
414 the fundamental types on the fly, since no information about the
415 fundamental types is supplied. Each such fundamental type is created by
416 calling a language dependent routine to create the type, and then a
417 pointer to that type is then placed in the array at the index specified
418 by it's FT_<TYPENAME> value. The array has a fixed size set by the
419 FT_NUM_MEMBERS compile time constant, which is the number of predefined
420 fundamental types gdb knows how to construct. */
422 static struct type
*ftypes
[FT_NUM_MEMBERS
]; /* Fundamental types */
424 /* Record the language for the compilation unit which is currently being
425 processed. We know it once we have seen the TAG_compile_unit DIE,
426 and we need it while processing the DIE's for that compilation unit.
427 It is eventually saved in the symtab structure, but we don't finalize
428 the symtab struct until we have processed all the DIE's for the
429 compilation unit. We also need to get and save a pointer to the
430 language struct for this language, so we can call the language
431 dependent routines for doing things such as creating fundamental
434 static enum language cu_language
;
435 static const struct language_defn
*cu_language_defn
;
437 /* Forward declarations of static functions so we don't have to worry
438 about ordering within this file. */
441 attribute_size
PARAMS ((unsigned int));
444 target_to_host
PARAMS ((char *, int, int, struct objfile
*));
447 add_enum_psymbol
PARAMS ((struct dieinfo
*, struct objfile
*));
450 handle_producer
PARAMS ((char *));
453 read_file_scope
PARAMS ((struct dieinfo
*, char *, char *, struct objfile
*));
456 read_func_scope
PARAMS ((struct dieinfo
*, char *, char *, struct objfile
*));
459 read_lexical_block_scope
PARAMS ((struct dieinfo
*, char *, char *,
463 scan_partial_symbols
PARAMS ((char *, char *, struct objfile
*));
466 scan_compilation_units
PARAMS ((char *, char *, file_ptr
,
467 file_ptr
, struct objfile
*));
470 add_partial_symbol
PARAMS ((struct dieinfo
*, struct objfile
*));
473 basicdieinfo
PARAMS ((struct dieinfo
*, char *, struct objfile
*));
476 completedieinfo
PARAMS ((struct dieinfo
*, struct objfile
*));
479 dwarf_psymtab_to_symtab
PARAMS ((struct partial_symtab
*));
482 psymtab_to_symtab_1
PARAMS ((struct partial_symtab
*));
485 read_ofile_symtab
PARAMS ((struct partial_symtab
*));
488 process_dies
PARAMS ((char *, char *, struct objfile
*));
491 read_structure_scope
PARAMS ((struct dieinfo
*, char *, char *,
495 decode_array_element_type
PARAMS ((char *));
498 decode_subscript_data_item
PARAMS ((char *, char *));
501 dwarf_read_array_type
PARAMS ((struct dieinfo
*));
504 read_tag_pointer_type
PARAMS ((struct dieinfo
*dip
));
507 read_tag_string_type
PARAMS ((struct dieinfo
*dip
));
510 read_subroutine_type
PARAMS ((struct dieinfo
*, char *, char *));
513 read_enumeration
PARAMS ((struct dieinfo
*, char *, char *, struct objfile
*));
516 struct_type
PARAMS ((struct dieinfo
*, char *, char *, struct objfile
*));
519 enum_type
PARAMS ((struct dieinfo
*, struct objfile
*));
522 decode_line_numbers
PARAMS ((char *));
525 decode_die_type
PARAMS ((struct dieinfo
*));
528 decode_mod_fund_type
PARAMS ((char *));
531 decode_mod_u_d_type
PARAMS ((char *));
534 decode_modified_type
PARAMS ((char *, unsigned int, int));
537 decode_fund_type
PARAMS ((unsigned int));
540 create_name
PARAMS ((char *, struct obstack
*));
543 lookup_utype
PARAMS ((DIE_REF
));
546 alloc_utype
PARAMS ((DIE_REF
, struct type
*));
548 static struct symbol
*
549 new_symbol
PARAMS ((struct dieinfo
*, struct objfile
*));
552 synthesize_typedef
PARAMS ((struct dieinfo
*, struct objfile
*,
556 locval
PARAMS ((char *));
559 set_cu_language
PARAMS ((struct dieinfo
*));
562 dwarf_fundamental_type
PARAMS ((struct objfile
*, int));
569 dwarf_fundamental_type -- lookup or create a fundamental type
574 dwarf_fundamental_type (struct objfile *objfile, int typeid)
578 DWARF version 1 doesn't supply any fundamental type information,
579 so gdb has to construct such types. It has a fixed number of
580 fundamental types that it knows how to construct, which is the
581 union of all types that it knows how to construct for all languages
582 that it knows about. These are enumerated in gdbtypes.h.
584 As an example, assume we find a DIE that references a DWARF
585 fundamental type of FT_integer. We first look in the ftypes
586 array to see if we already have such a type, indexed by the
587 gdb internal value of FT_INTEGER. If so, we simply return a
588 pointer to that type. If not, then we ask an appropriate
589 language dependent routine to create a type FT_INTEGER, using
590 defaults reasonable for the current target machine, and install
591 that type in ftypes for future reference.
595 Pointer to a fundamental type.
600 dwarf_fundamental_type (objfile
, typeid)
601 struct objfile
*objfile
;
604 if (typeid < 0 || typeid >= FT_NUM_MEMBERS
)
606 error ("internal error - invalid fundamental type id %d", typeid);
609 /* Look for this particular type in the fundamental type vector. If one is
610 not found, create and install one appropriate for the current language
611 and the current target machine. */
613 if (ftypes
[typeid] == NULL
)
615 ftypes
[typeid] = cu_language_defn
-> la_fund_type(objfile
, typeid);
618 return (ftypes
[typeid]);
625 set_cu_language -- set local copy of language for compilation unit
630 set_cu_language (struct dieinfo *dip)
634 Decode the language attribute for a compilation unit DIE and
635 remember what the language was. We use this at various times
636 when processing DIE's for a given compilation unit.
645 set_cu_language (dip
)
648 switch (dip
-> at_language
)
652 cu_language
= language_c
;
654 case LANG_C_PLUS_PLUS
:
655 cu_language
= language_cplus
;
658 cu_language
= language_chill
;
661 cu_language
= language_m2
;
669 /* We don't know anything special about these yet. */
670 cu_language
= language_unknown
;
673 /* If no at_language, try to deduce one from the filename */
674 cu_language
= deduce_language_from_filename (dip
-> at_name
);
677 cu_language_defn
= language_def (cu_language
);
684 dwarf_build_psymtabs -- build partial symtabs from DWARF debug info
688 void dwarf_build_psymtabs (struct objfile *objfile,
689 struct section_offsets *section_offsets,
690 int mainline, file_ptr dbfoff, unsigned int dbfsize,
691 file_ptr lnoffset, unsigned int lnsize)
695 This function is called upon to build partial symtabs from files
696 containing DIE's (Dwarf Information Entries) and DWARF line numbers.
698 It is passed a bfd* containing the DIES
699 and line number information, the corresponding filename for that
700 file, a base address for relocating the symbols, a flag indicating
701 whether or not this debugging information is from a "main symbol
702 table" rather than a shared library or dynamically linked file,
703 and file offset/size pairs for the DIE information and line number
713 dwarf_build_psymtabs (objfile
, section_offsets
, mainline
, dbfoff
, dbfsize
,
715 struct objfile
*objfile
;
716 struct section_offsets
*section_offsets
;
719 unsigned int dbfsize
;
723 bfd
*abfd
= objfile
->obfd
;
724 struct cleanup
*back_to
;
726 current_objfile
= objfile
;
728 dbbase
= xmalloc (dbsize
);
730 if ((bfd_seek (abfd
, dbfoff
, SEEK_SET
) != 0) ||
731 (bfd_read (dbbase
, dbsize
, 1, abfd
) != dbsize
))
734 error ("can't read DWARF data from '%s'", bfd_get_filename (abfd
));
736 back_to
= make_cleanup (free
, dbbase
);
738 /* If we are reinitializing, or if we have never loaded syms yet, init.
739 Since we have no idea how many DIES we are looking at, we just guess
740 some arbitrary value. */
742 if (mainline
|| objfile
-> global_psymbols
.size
== 0 ||
743 objfile
-> static_psymbols
.size
== 0)
745 init_psymbol_list (objfile
, 1024);
748 /* Save the relocation factor where everybody can see it. */
750 base_section_offsets
= section_offsets
;
751 baseaddr
= ANOFFSET (section_offsets
, 0);
753 /* Follow the compilation unit sibling chain, building a partial symbol
754 table entry for each one. Save enough information about each compilation
755 unit to locate the full DWARF information later. */
757 scan_compilation_units (dbbase
, dbbase
+ dbsize
, dbfoff
, lnoffset
, objfile
);
759 do_cleanups (back_to
);
760 current_objfile
= NULL
;
767 read_lexical_block_scope -- process all dies in a lexical block
771 static void read_lexical_block_scope (struct dieinfo *dip,
772 char *thisdie, char *enddie)
776 Process all the DIES contained within a lexical block scope.
777 Start a new scope, process the dies, and then close the scope.
782 read_lexical_block_scope (dip
, thisdie
, enddie
, objfile
)
786 struct objfile
*objfile
;
788 register struct context_stack
*new;
790 push_context (0, dip
-> at_low_pc
);
791 process_dies (thisdie
+ dip
-> die_length
, enddie
, objfile
);
792 new = pop_context ();
793 if (local_symbols
!= NULL
)
795 finish_block (0, &local_symbols
, new -> old_blocks
, new -> start_addr
,
796 dip
-> at_high_pc
, objfile
);
798 local_symbols
= new -> locals
;
805 lookup_utype -- look up a user defined type from die reference
809 static type *lookup_utype (DIE_REF die_ref)
813 Given a DIE reference, lookup the user defined type associated with
814 that DIE, if it has been registered already. If not registered, then
815 return NULL. Alloc_utype() can be called to register an empty
816 type for this reference, which will be filled in later when the
817 actual referenced DIE is processed.
821 lookup_utype (die_ref
)
824 struct type
*type
= NULL
;
827 utypeidx
= (die_ref
- dbroff
) / 4;
828 if ((utypeidx
< 0) || (utypeidx
>= numutypes
))
830 complain (&bad_die_ref
, DIE_ID
, DIE_NAME
);
834 type
= *(utypes
+ utypeidx
);
844 alloc_utype -- add a user defined type for die reference
848 static type *alloc_utype (DIE_REF die_ref, struct type *utypep)
852 Given a die reference DIE_REF, and a possible pointer to a user
853 defined type UTYPEP, register that this reference has a user
854 defined type and either use the specified type in UTYPEP or
855 make a new empty type that will be filled in later.
857 We should only be called after calling lookup_utype() to verify that
858 there is not currently a type registered for DIE_REF.
862 alloc_utype (die_ref
, utypep
)
869 utypeidx
= (die_ref
- dbroff
) / 4;
870 typep
= utypes
+ utypeidx
;
871 if ((utypeidx
< 0) || (utypeidx
>= numutypes
))
873 utypep
= dwarf_fundamental_type (current_objfile
, FT_INTEGER
);
874 complain (&bad_die_ref
, DIE_ID
, DIE_NAME
);
876 else if (*typep
!= NULL
)
879 complain (&dup_user_type_allocation
, DIE_ID
, DIE_NAME
);
885 utypep
= alloc_type (current_objfile
);
896 decode_die_type -- return a type for a specified die
900 static struct type *decode_die_type (struct dieinfo *dip)
904 Given a pointer to a die information structure DIP, decode the
905 type of the die and return a pointer to the decoded type. All
906 dies without specific types default to type int.
910 decode_die_type (dip
)
913 struct type
*type
= NULL
;
915 if (dip
-> at_fund_type
!= 0)
917 type
= decode_fund_type (dip
-> at_fund_type
);
919 else if (dip
-> at_mod_fund_type
!= NULL
)
921 type
= decode_mod_fund_type (dip
-> at_mod_fund_type
);
923 else if (dip
-> at_user_def_type
)
925 if ((type
= lookup_utype (dip
-> at_user_def_type
)) == NULL
)
927 type
= alloc_utype (dip
-> at_user_def_type
, NULL
);
930 else if (dip
-> at_mod_u_d_type
)
932 type
= decode_mod_u_d_type (dip
-> at_mod_u_d_type
);
936 type
= dwarf_fundamental_type (current_objfile
, FT_INTEGER
);
945 struct_type -- compute and return the type for a struct or union
949 static struct type *struct_type (struct dieinfo *dip, char *thisdie,
950 char *enddie, struct objfile *objfile)
954 Given pointer to a die information structure for a die which
955 defines a union or structure (and MUST define one or the other),
956 and pointers to the raw die data that define the range of dies which
957 define the members, compute and return the user defined type for the
962 struct_type (dip
, thisdie
, enddie
, objfile
)
966 struct objfile
*objfile
;
970 struct nextfield
*next
;
973 struct nextfield
*list
= NULL
;
974 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
;
992 case TAG_structure_type
:
993 TYPE_CODE (type
) = TYPE_CODE_STRUCT
;
996 TYPE_CODE (type
) = TYPE_CODE_UNION
;
999 /* Should never happen */
1000 TYPE_CODE (type
) = TYPE_CODE_UNDEF
;
1001 complain (&missing_tag
, DIE_ID
, DIE_NAME
);
1004 /* Some compilers try to be helpful by inventing "fake" names for
1005 anonymous enums, structures, and unions, like "~0fake" or ".0fake".
1006 Thanks, but no thanks... */
1007 if (dip
-> at_name
!= NULL
1008 && *dip
-> at_name
!= '~'
1009 && *dip
-> at_name
!= '.')
1011 TYPE_TAG_NAME (type
) = obconcat (&objfile
-> type_obstack
,
1012 "", "", dip
-> at_name
);
1014 /* Use whatever size is known. Zero is a valid size. We might however
1015 wish to check has_at_byte_size to make sure that some byte size was
1016 given explicitly, but DWARF doesn't specify that explicit sizes of
1017 zero have to present, so complaining about missing sizes should
1018 probably not be the default. */
1019 TYPE_LENGTH (type
) = dip
-> at_byte_size
;
1020 thisdie
+= dip
-> die_length
;
1021 while (thisdie
< enddie
)
1023 basicdieinfo (&mbr
, thisdie
, objfile
);
1024 completedieinfo (&mbr
, objfile
);
1025 if (mbr
.die_length
<= SIZEOF_DIE_LENGTH
)
1029 else if (mbr
.at_sibling
!= 0)
1031 nextdie
= dbbase
+ mbr
.at_sibling
- dbroff
;
1035 nextdie
= thisdie
+ mbr
.die_length
;
1037 switch (mbr
.die_tag
)
1040 /* Get space to record the next field's data. */
1041 new = (struct nextfield
*) alloca (sizeof (struct nextfield
));
1044 /* Save the data. */
1045 list
-> field
.name
=
1046 obsavestring (mbr
.at_name
, strlen (mbr
.at_name
),
1047 &objfile
-> type_obstack
);
1048 list
-> field
.type
= decode_die_type (&mbr
);
1049 list
-> field
.bitpos
= 8 * locval (mbr
.at_location
);
1050 /* Handle bit fields. */
1051 list
-> field
.bitsize
= mbr
.at_bit_size
;
1052 if (BITS_BIG_ENDIAN
)
1054 /* For big endian bits, the at_bit_offset gives the
1055 additional bit offset from the MSB of the containing
1056 anonymous object to the MSB of the field. We don't
1057 have to do anything special since we don't need to
1058 know the size of the anonymous object. */
1059 list
-> field
.bitpos
+= mbr
.at_bit_offset
;
1063 /* For little endian bits, we need to have a non-zero
1064 at_bit_size, so that we know we are in fact dealing
1065 with a bitfield. Compute the bit offset to the MSB
1066 of the anonymous object, subtract off the number of
1067 bits from the MSB of the field to the MSB of the
1068 object, and then subtract off the number of bits of
1069 the field itself. The result is the bit offset of
1070 the LSB of the field. */
1071 if (mbr
.at_bit_size
> 0)
1073 if (mbr
.has_at_byte_size
)
1075 /* The size of the anonymous object containing
1076 the bit field is explicit, so use the
1077 indicated size (in bytes). */
1078 anonymous_size
= mbr
.at_byte_size
;
1082 /* The size of the anonymous object containing
1083 the bit field matches the size of an object
1084 of the bit field's type. DWARF allows
1085 at_byte_size to be left out in such cases, as
1086 a debug information size optimization. */
1087 anonymous_size
= TYPE_LENGTH (list
-> field
.type
);
1089 list
-> field
.bitpos
+=
1090 anonymous_size
* 8 - mbr
.at_bit_offset
- mbr
.at_bit_size
;
1096 process_dies (thisdie
, nextdie
, objfile
);
1101 /* Now create the vector of fields, and record how big it is. We may
1102 not even have any fields, if this DIE was generated due to a reference
1103 to an anonymous structure or union. In this case, TYPE_FLAG_STUB is
1104 set, which clues gdb in to the fact that it needs to search elsewhere
1105 for the full structure definition. */
1108 TYPE_FLAGS (type
) |= TYPE_FLAG_STUB
;
1112 TYPE_NFIELDS (type
) = nfields
;
1113 TYPE_FIELDS (type
) = (struct field
*)
1114 TYPE_ALLOC (type
, sizeof (struct field
) * nfields
);
1115 /* Copy the saved-up fields into the field vector. */
1116 for (n
= nfields
; list
; list
= list
-> next
)
1118 TYPE_FIELD (type
, --n
) = list
-> field
;
1128 read_structure_scope -- process all dies within struct or union
1132 static void read_structure_scope (struct dieinfo *dip,
1133 char *thisdie, char *enddie, struct objfile *objfile)
1137 Called when we find the DIE that starts a structure or union
1138 scope (definition) to process all dies that define the members
1139 of the structure or union. DIP is a pointer to the die info
1140 struct for the DIE that names the structure or union.
1144 Note that we need to call struct_type regardless of whether or not
1145 the DIE has an at_name attribute, since it might be an anonymous
1146 structure or union. This gets the type entered into our set of
1149 However, if the structure is incomplete (an opaque struct/union)
1150 then suppress creating a symbol table entry for it since gdb only
1151 wants to find the one with the complete definition. Note that if
1152 it is complete, we just call new_symbol, which does it's own
1153 checking about whether the struct/union is anonymous or not (and
1154 suppresses creating a symbol table entry itself).
1159 read_structure_scope (dip
, thisdie
, enddie
, objfile
)
1160 struct dieinfo
*dip
;
1163 struct objfile
*objfile
;
1168 type
= struct_type (dip
, thisdie
, enddie
, objfile
);
1169 if (!(TYPE_FLAGS (type
) & TYPE_FLAG_STUB
))
1171 sym
= new_symbol (dip
, objfile
);
1174 SYMBOL_TYPE (sym
) = type
;
1175 if (cu_language
== language_cplus
)
1177 synthesize_typedef (dip
, objfile
, type
);
1187 decode_array_element_type -- decode type of the array elements
1191 static struct type *decode_array_element_type (char *scan, char *end)
1195 As the last step in decoding the array subscript information for an
1196 array DIE, we need to decode the type of the array elements. We are
1197 passed a pointer to this last part of the subscript information and
1198 must return the appropriate type. If the type attribute is not
1199 recognized, just warn about the problem and return type int.
1202 static struct type
*
1203 decode_array_element_type (scan
)
1208 unsigned short attribute
;
1209 unsigned short fundtype
;
1212 attribute
= target_to_host (scan
, SIZEOF_ATTRIBUTE
, GET_UNSIGNED
,
1214 scan
+= SIZEOF_ATTRIBUTE
;
1215 if ((nbytes
= attribute_size (attribute
)) == -1)
1217 complain (&bad_array_element_type
, DIE_ID
, DIE_NAME
, attribute
);
1218 typep
= dwarf_fundamental_type (current_objfile
, FT_INTEGER
);
1225 fundtype
= target_to_host (scan
, nbytes
, GET_UNSIGNED
,
1227 typep
= decode_fund_type (fundtype
);
1229 case AT_mod_fund_type
:
1230 typep
= decode_mod_fund_type (scan
);
1232 case AT_user_def_type
:
1233 die_ref
= target_to_host (scan
, nbytes
, GET_UNSIGNED
,
1235 if ((typep
= lookup_utype (die_ref
)) == NULL
)
1237 typep
= alloc_utype (die_ref
, NULL
);
1240 case AT_mod_u_d_type
:
1241 typep
= decode_mod_u_d_type (scan
);
1244 complain (&bad_array_element_type
, DIE_ID
, DIE_NAME
, attribute
);
1245 typep
= dwarf_fundamental_type (current_objfile
, FT_INTEGER
);
1256 decode_subscript_data_item -- decode array subscript item
1260 static struct type *
1261 decode_subscript_data_item (char *scan, char *end)
1265 The array subscripts and the data type of the elements of an
1266 array are described by a list of data items, stored as a block
1267 of contiguous bytes. There is a data item describing each array
1268 dimension, and a final data item describing the element type.
1269 The data items are ordered the same as their appearance in the
1270 source (I.E. leftmost dimension first, next to leftmost second,
1273 The data items describing each array dimension consist of four
1274 parts: (1) a format specifier, (2) type type of the subscript
1275 index, (3) a description of the low bound of the array dimension,
1276 and (4) a description of the high bound of the array dimension.
1278 The last data item is the description of the type of each of
1281 We are passed a pointer to the start of the block of bytes
1282 containing the remaining data items, and a pointer to the first
1283 byte past the data. This function recursively decodes the
1284 remaining data items and returns a type.
1286 If we somehow fail to decode some data, we complain about it
1287 and return a type "array of int".
1290 FIXME: This code only implements the forms currently used
1291 by the AT&T and GNU C compilers.
1293 The end pointer is supplied for error checking, maybe we should
1297 static struct type
*
1298 decode_subscript_data_item (scan
, end
)
1302 struct type
*typep
= NULL
; /* Array type we are building */
1303 struct type
*nexttype
; /* Type of each element (may be array) */
1304 struct type
*indextype
; /* Type of this index */
1305 struct type
*rangetype
;
1306 unsigned int format
;
1307 unsigned short fundtype
;
1308 unsigned long lowbound
;
1309 unsigned long highbound
;
1312 format
= target_to_host (scan
, SIZEOF_FORMAT_SPECIFIER
, GET_UNSIGNED
,
1314 scan
+= SIZEOF_FORMAT_SPECIFIER
;
1318 typep
= decode_array_element_type (scan
);
1321 fundtype
= target_to_host (scan
, SIZEOF_FMT_FT
, GET_UNSIGNED
,
1323 indextype
= decode_fund_type (fundtype
);
1324 scan
+= SIZEOF_FMT_FT
;
1325 nbytes
= TARGET_FT_LONG_SIZE (current_objfile
);
1326 lowbound
= target_to_host (scan
, nbytes
, GET_UNSIGNED
, current_objfile
);
1328 highbound
= target_to_host (scan
, nbytes
, GET_UNSIGNED
, current_objfile
);
1330 nexttype
= decode_subscript_data_item (scan
, end
);
1331 if (nexttype
== NULL
)
1333 /* Munged subscript data or other problem, fake it. */
1334 complain (&subscript_data_items
, DIE_ID
, DIE_NAME
);
1335 nexttype
= dwarf_fundamental_type (current_objfile
, FT_INTEGER
);
1337 rangetype
= create_range_type ((struct type
*) NULL
, indextype
,
1338 lowbound
, highbound
);
1339 typep
= create_array_type ((struct type
*) NULL
, nexttype
, rangetype
);
1348 complain (&unhandled_array_subscript_format
, DIE_ID
, DIE_NAME
, format
);
1349 nexttype
= dwarf_fundamental_type (current_objfile
, FT_INTEGER
);
1350 rangetype
= create_range_type ((struct type
*) NULL
, nexttype
, 0, 0);
1351 typep
= create_array_type ((struct type
*) NULL
, nexttype
, rangetype
);
1354 complain (&unknown_array_subscript_format
, DIE_ID
, DIE_NAME
, format
);
1355 nexttype
= dwarf_fundamental_type (current_objfile
, FT_INTEGER
);
1356 rangetype
= create_range_type ((struct type
*) NULL
, nexttype
, 0, 0);
1357 typep
= create_array_type ((struct type
*) NULL
, nexttype
, rangetype
);
1367 dwarf_read_array_type -- read TAG_array_type DIE
1371 static void dwarf_read_array_type (struct dieinfo *dip)
1375 Extract all information from a TAG_array_type DIE and add to
1376 the user defined type vector.
1380 dwarf_read_array_type (dip
)
1381 struct dieinfo
*dip
;
1387 unsigned short blocksz
;
1390 if (dip
-> at_ordering
!= ORD_row_major
)
1392 /* FIXME: Can gdb even handle column major arrays? */
1393 complain (¬_row_major
, DIE_ID
, DIE_NAME
);
1395 if ((sub
= dip
-> at_subscr_data
) != NULL
)
1397 nbytes
= attribute_size (AT_subscr_data
);
1398 blocksz
= target_to_host (sub
, nbytes
, GET_UNSIGNED
, current_objfile
);
1399 subend
= sub
+ nbytes
+ blocksz
;
1401 type
= decode_subscript_data_item (sub
, subend
);
1402 if ((utype
= lookup_utype (dip
-> die_ref
)) == NULL
)
1404 /* Install user defined type that has not been referenced yet. */
1405 alloc_utype (dip
-> die_ref
, type
);
1407 else if (TYPE_CODE (utype
) == TYPE_CODE_UNDEF
)
1409 /* Ick! A forward ref has already generated a blank type in our
1410 slot, and this type probably already has things pointing to it
1411 (which is what caused it to be created in the first place).
1412 If it's just a place holder we can plop our fully defined type
1413 on top of it. We can't recover the space allocated for our
1414 new type since it might be on an obstack, but we could reuse
1415 it if we kept a list of them, but it might not be worth it
1421 /* Double ick! Not only is a type already in our slot, but
1422 someone has decorated it. Complain and leave it alone. */
1423 complain (&dup_user_type_definition
, DIE_ID
, DIE_NAME
);
1432 read_tag_pointer_type -- read TAG_pointer_type DIE
1436 static void read_tag_pointer_type (struct dieinfo *dip)
1440 Extract all information from a TAG_pointer_type DIE and add to
1441 the user defined type vector.
1445 read_tag_pointer_type (dip
)
1446 struct dieinfo
*dip
;
1451 type
= decode_die_type (dip
);
1452 if ((utype
= lookup_utype (dip
-> die_ref
)) == NULL
)
1454 utype
= lookup_pointer_type (type
);
1455 alloc_utype (dip
-> die_ref
, utype
);
1459 TYPE_TARGET_TYPE (utype
) = type
;
1460 TYPE_POINTER_TYPE (type
) = utype
;
1462 /* We assume the machine has only one representation for pointers! */
1463 /* FIXME: This confuses host<->target data representations, and is a
1464 poor assumption besides. */
1466 TYPE_LENGTH (utype
) = sizeof (char *);
1467 TYPE_CODE (utype
) = TYPE_CODE_PTR
;
1475 read_tag_string_type -- read TAG_string_type DIE
1479 static void read_tag_string_type (struct dieinfo *dip)
1483 Extract all information from a TAG_string_type DIE and add to
1484 the user defined type vector. It isn't really a user defined
1485 type, but it behaves like one, with other DIE's using an
1486 AT_user_def_type attribute to reference it.
1490 read_tag_string_type (dip
)
1491 struct dieinfo
*dip
;
1494 struct type
*indextype
;
1495 struct type
*rangetype
;
1496 unsigned long lowbound
= 0;
1497 unsigned long highbound
;
1499 if (dip
-> has_at_byte_size
)
1501 /* A fixed bounds string */
1502 highbound
= dip
-> at_byte_size
- 1;
1506 /* A varying length string. Stub for now. (FIXME) */
1509 indextype
= dwarf_fundamental_type (current_objfile
, FT_INTEGER
);
1510 rangetype
= create_range_type ((struct type
*) NULL
, indextype
, lowbound
,
1513 utype
= lookup_utype (dip
-> die_ref
);
1516 /* No type defined, go ahead and create a blank one to use. */
1517 utype
= alloc_utype (dip
-> die_ref
, (struct type
*) NULL
);
1521 /* Already a type in our slot due to a forward reference. Make sure it
1522 is a blank one. If not, complain and leave it alone. */
1523 if (TYPE_CODE (utype
) != TYPE_CODE_UNDEF
)
1525 complain (&dup_user_type_definition
, DIE_ID
, DIE_NAME
);
1530 /* Create the string type using the blank type we either found or created. */
1531 utype
= create_string_type (utype
, rangetype
);
1538 read_subroutine_type -- process TAG_subroutine_type dies
1542 static void read_subroutine_type (struct dieinfo *dip, char thisdie,
1547 Handle DIES due to C code like:
1550 int (*funcp)(int a, long l); (Generates TAG_subroutine_type DIE)
1556 The parameter DIES are currently ignored. See if gdb has a way to
1557 include this info in it's type system, and decode them if so. Is
1558 this what the type structure's "arg_types" field is for? (FIXME)
1562 read_subroutine_type (dip
, thisdie
, enddie
)
1563 struct dieinfo
*dip
;
1567 struct type
*type
; /* Type that this function returns */
1568 struct type
*ftype
; /* Function that returns above type */
1570 /* Decode the type that this subroutine returns */
1572 type
= decode_die_type (dip
);
1574 /* Check to see if we already have a partially constructed user
1575 defined type for this DIE, from a forward reference. */
1577 if ((ftype
= lookup_utype (dip
-> die_ref
)) == NULL
)
1579 /* This is the first reference to one of these types. Make
1580 a new one and place it in the user defined types. */
1581 ftype
= lookup_function_type (type
);
1582 alloc_utype (dip
-> die_ref
, ftype
);
1584 else if (TYPE_CODE (ftype
) == TYPE_CODE_UNDEF
)
1586 /* We have an existing partially constructed type, so bash it
1587 into the correct type. */
1588 TYPE_TARGET_TYPE (ftype
) = type
;
1589 TYPE_LENGTH (ftype
) = 1;
1590 TYPE_CODE (ftype
) = TYPE_CODE_FUNC
;
1594 complain (&dup_user_type_definition
, DIE_ID
, DIE_NAME
);
1602 read_enumeration -- process dies which define an enumeration
1606 static void read_enumeration (struct dieinfo *dip, char *thisdie,
1607 char *enddie, struct objfile *objfile)
1611 Given a pointer to a die which begins an enumeration, process all
1612 the dies that define the members of the enumeration.
1616 Note that we need to call enum_type regardless of whether or not we
1617 have a symbol, since we might have an enum without a tag name (thus
1618 no symbol for the tagname).
1622 read_enumeration (dip
, thisdie
, enddie
, objfile
)
1623 struct dieinfo
*dip
;
1626 struct objfile
*objfile
;
1631 type
= enum_type (dip
, objfile
);
1632 sym
= new_symbol (dip
, objfile
);
1635 SYMBOL_TYPE (sym
) = type
;
1636 if (cu_language
== language_cplus
)
1638 synthesize_typedef (dip
, objfile
, type
);
1647 enum_type -- decode and return a type for an enumeration
1651 static type *enum_type (struct dieinfo *dip, struct objfile *objfile)
1655 Given a pointer to a die information structure for the die which
1656 starts an enumeration, process all the dies that define the members
1657 of the enumeration and return a type pointer for the enumeration.
1659 At the same time, for each member of the enumeration, create a
1660 symbol for it with namespace VAR_NAMESPACE and class LOC_CONST,
1661 and give it the type of the enumeration itself.
1665 Note that the DWARF specification explicitly mandates that enum
1666 constants occur in reverse order from the source program order,
1667 for "consistency" and because this ordering is easier for many
1668 compilers to generate. (Draft 6, sec 3.8.5, Enumeration type
1669 Entries). Because gdb wants to see the enum members in program
1670 source order, we have to ensure that the order gets reversed while
1671 we are processing them.
1674 static struct type
*
1675 enum_type (dip
, objfile
)
1676 struct dieinfo
*dip
;
1677 struct objfile
*objfile
;
1681 struct nextfield
*next
;
1684 struct nextfield
*list
= NULL
;
1685 struct nextfield
*new;
1690 unsigned short blocksz
;
1693 int unsigned_enum
= 1;
1695 if ((type
= lookup_utype (dip
-> die_ref
)) == NULL
)
1697 /* No forward references created an empty type, so install one now */
1698 type
= alloc_utype (dip
-> die_ref
, NULL
);
1700 TYPE_CODE (type
) = TYPE_CODE_ENUM
;
1701 /* Some compilers try to be helpful by inventing "fake" names for
1702 anonymous enums, structures, and unions, like "~0fake" or ".0fake".
1703 Thanks, but no thanks... */
1704 if (dip
-> at_name
!= NULL
1705 && *dip
-> at_name
!= '~'
1706 && *dip
-> at_name
!= '.')
1708 TYPE_TAG_NAME (type
) = obconcat (&objfile
-> type_obstack
,
1709 "", "", dip
-> at_name
);
1711 if (dip
-> at_byte_size
!= 0)
1713 TYPE_LENGTH (type
) = dip
-> at_byte_size
;
1715 if ((scan
= dip
-> at_element_list
) != NULL
)
1717 if (dip
-> short_element_list
)
1719 nbytes
= attribute_size (AT_short_element_list
);
1723 nbytes
= attribute_size (AT_element_list
);
1725 blocksz
= target_to_host (scan
, nbytes
, GET_UNSIGNED
, objfile
);
1726 listend
= scan
+ nbytes
+ blocksz
;
1728 while (scan
< listend
)
1730 new = (struct nextfield
*) alloca (sizeof (struct nextfield
));
1733 list
-> field
.type
= NULL
;
1734 list
-> field
.bitsize
= 0;
1735 list
-> field
.bitpos
=
1736 target_to_host (scan
, TARGET_FT_LONG_SIZE (objfile
), GET_SIGNED
,
1738 scan
+= TARGET_FT_LONG_SIZE (objfile
);
1739 list
-> field
.name
= obsavestring (scan
, strlen (scan
),
1740 &objfile
-> type_obstack
);
1741 scan
+= strlen (scan
) + 1;
1743 /* Handcraft a new symbol for this enum member. */
1744 sym
= (struct symbol
*) obstack_alloc (&objfile
->symbol_obstack
,
1745 sizeof (struct symbol
));
1746 memset (sym
, 0, sizeof (struct symbol
));
1747 SYMBOL_NAME (sym
) = create_name (list
-> field
.name
,
1748 &objfile
->symbol_obstack
);
1749 SYMBOL_INIT_LANGUAGE_SPECIFIC (sym
, cu_language
);
1750 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
1751 SYMBOL_CLASS (sym
) = LOC_CONST
;
1752 SYMBOL_TYPE (sym
) = type
;
1753 SYMBOL_VALUE (sym
) = list
-> field
.bitpos
;
1754 if (SYMBOL_VALUE (sym
) < 0)
1756 add_symbol_to_list (sym
, list_in_scope
);
1758 /* Now create the vector of fields, and record how big it is. This is
1759 where we reverse the order, by pulling the members off the list in
1760 reverse order from how they were inserted. If we have no fields
1761 (this is apparently possible in C++) then skip building a field
1766 TYPE_FLAGS (type
) |= TYPE_FLAG_UNSIGNED
;
1767 TYPE_NFIELDS (type
) = nfields
;
1768 TYPE_FIELDS (type
) = (struct field
*)
1769 obstack_alloc (&objfile
->symbol_obstack
, sizeof (struct field
) * nfields
);
1770 /* Copy the saved-up fields into the field vector. */
1771 for (n
= 0; (n
< nfields
) && (list
!= NULL
); list
= list
-> next
)
1773 TYPE_FIELD (type
, n
++) = list
-> field
;
1784 read_func_scope -- process all dies within a function scope
1788 Process all dies within a given function scope. We are passed
1789 a die information structure pointer DIP for the die which
1790 starts the function scope, and pointers into the raw die data
1791 that define the dies within the function scope.
1793 For now, we ignore lexical block scopes within the function.
1794 The problem is that AT&T cc does not define a DWARF lexical
1795 block scope for the function itself, while gcc defines a
1796 lexical block scope for the function. We need to think about
1797 how to handle this difference, or if it is even a problem.
1802 read_func_scope (dip
, thisdie
, enddie
, objfile
)
1803 struct dieinfo
*dip
;
1806 struct objfile
*objfile
;
1808 register struct context_stack
*new;
1810 if (objfile
-> ei
.entry_point
>= dip
-> at_low_pc
&&
1811 objfile
-> ei
.entry_point
< dip
-> at_high_pc
)
1813 objfile
-> ei
.entry_func_lowpc
= dip
-> at_low_pc
;
1814 objfile
-> ei
.entry_func_highpc
= dip
-> at_high_pc
;
1816 if (STREQ (dip
-> at_name
, "main")) /* FIXME: hardwired name */
1818 objfile
-> ei
.main_func_lowpc
= dip
-> at_low_pc
;
1819 objfile
-> ei
.main_func_highpc
= dip
-> at_high_pc
;
1821 new = push_context (0, dip
-> at_low_pc
);
1822 new -> name
= new_symbol (dip
, objfile
);
1823 list_in_scope
= &local_symbols
;
1824 process_dies (thisdie
+ dip
-> die_length
, enddie
, objfile
);
1825 new = pop_context ();
1826 /* Make a block for the local symbols within. */
1827 finish_block (new -> name
, &local_symbols
, new -> old_blocks
,
1828 new -> start_addr
, dip
-> at_high_pc
, objfile
);
1829 list_in_scope
= &file_symbols
;
1837 handle_producer -- process the AT_producer attribute
1841 Perform any operations that depend on finding a particular
1842 AT_producer attribute.
1847 handle_producer (producer
)
1851 /* If this compilation unit was compiled with g++ or gcc, then set the
1852 processing_gcc_compilation flag. */
1854 processing_gcc_compilation
=
1855 STREQN (producer
, GPLUS_PRODUCER
, strlen (GPLUS_PRODUCER
))
1856 || STREQN (producer
, CHILL_PRODUCER
, strlen (CHILL_PRODUCER
))
1857 || STREQN (producer
, GCC_PRODUCER
, strlen (GCC_PRODUCER
));
1859 /* Select a demangling style if we can identify the producer and if
1860 the current style is auto. We leave the current style alone if it
1861 is not auto. We also leave the demangling style alone if we find a
1862 gcc (cc1) producer, as opposed to a g++ (cc1plus) producer. */
1864 if (AUTO_DEMANGLING
)
1866 if (STREQN (producer
, GPLUS_PRODUCER
, strlen (GPLUS_PRODUCER
)))
1868 set_demangling_style (GNU_DEMANGLING_STYLE_STRING
);
1870 else if (STREQN (producer
, LCC_PRODUCER
, strlen (LCC_PRODUCER
)))
1872 set_demangling_style (LUCID_DEMANGLING_STYLE_STRING
);
1882 read_file_scope -- process all dies within a file scope
1886 Process all dies within a given file scope. We are passed a
1887 pointer to the die information structure for the die which
1888 starts the file scope, and pointers into the raw die data which
1889 mark the range of dies within the file scope.
1891 When the partial symbol table is built, the file offset for the line
1892 number table for each compilation unit is saved in the partial symbol
1893 table entry for that compilation unit. As the symbols for each
1894 compilation unit are read, the line number table is read into memory
1895 and the variable lnbase is set to point to it. Thus all we have to
1896 do is use lnbase to access the line number table for the current
1901 read_file_scope (dip
, thisdie
, enddie
, objfile
)
1902 struct dieinfo
*dip
;
1905 struct objfile
*objfile
;
1907 struct cleanup
*back_to
;
1908 struct symtab
*symtab
;
1910 if (objfile
-> ei
.entry_point
>= dip
-> at_low_pc
&&
1911 objfile
-> ei
.entry_point
< dip
-> at_high_pc
)
1913 objfile
-> ei
.entry_file_lowpc
= dip
-> at_low_pc
;
1914 objfile
-> ei
.entry_file_highpc
= dip
-> at_high_pc
;
1916 set_cu_language (dip
);
1917 if (dip
-> at_producer
!= NULL
)
1919 handle_producer (dip
-> at_producer
);
1921 numutypes
= (enddie
- thisdie
) / 4;
1922 utypes
= (struct type
**) xmalloc (numutypes
* sizeof (struct type
*));
1923 back_to
= make_cleanup (free
, utypes
);
1924 memset (utypes
, 0, numutypes
* sizeof (struct type
*));
1925 memset (ftypes
, 0, FT_NUM_MEMBERS
* sizeof (struct type
*));
1926 start_symtab (dip
-> at_name
, dip
-> at_comp_dir
, dip
-> at_low_pc
);
1927 decode_line_numbers (lnbase
);
1928 process_dies (thisdie
+ dip
-> die_length
, enddie
, objfile
);
1930 symtab
= end_symtab (dip
-> at_high_pc
, objfile
, 0);
1933 symtab
-> language
= cu_language
;
1935 do_cleanups (back_to
);
1944 process_dies -- process a range of DWARF Information Entries
1948 static void process_dies (char *thisdie, char *enddie,
1949 struct objfile *objfile)
1953 Process all DIE's in a specified range. May be (and almost
1954 certainly will be) called recursively.
1958 process_dies (thisdie
, enddie
, objfile
)
1961 struct objfile
*objfile
;
1966 while (thisdie
< enddie
)
1968 basicdieinfo (&di
, thisdie
, objfile
);
1969 if (di
.die_length
< SIZEOF_DIE_LENGTH
)
1973 else if (di
.die_tag
== TAG_padding
)
1975 nextdie
= thisdie
+ di
.die_length
;
1979 completedieinfo (&di
, objfile
);
1980 if (di
.at_sibling
!= 0)
1982 nextdie
= dbbase
+ di
.at_sibling
- dbroff
;
1986 nextdie
= thisdie
+ di
.die_length
;
1988 #ifdef SMASH_TEXT_ADDRESS
1989 /* I think that these are always text, not data, addresses. */
1990 SMASH_TEXT_ADDRESS (di
.at_low_pc
);
1991 SMASH_TEXT_ADDRESS (di
.at_high_pc
);
1995 case TAG_compile_unit
:
1996 /* Skip Tag_compile_unit if we are already inside a compilation
1997 unit, we are unable to handle nested compilation units
1998 properly (FIXME). */
1999 if (current_subfile
== NULL
)
2000 read_file_scope (&di
, thisdie
, nextdie
, objfile
);
2002 nextdie
= thisdie
+ di
.die_length
;
2004 case TAG_global_subroutine
:
2005 case TAG_subroutine
:
2006 if (di
.has_at_low_pc
)
2008 read_func_scope (&di
, thisdie
, nextdie
, objfile
);
2011 case TAG_lexical_block
:
2012 read_lexical_block_scope (&di
, thisdie
, nextdie
, objfile
);
2014 case TAG_class_type
:
2015 case TAG_structure_type
:
2016 case TAG_union_type
:
2017 read_structure_scope (&di
, thisdie
, nextdie
, objfile
);
2019 case TAG_enumeration_type
:
2020 read_enumeration (&di
, thisdie
, nextdie
, objfile
);
2022 case TAG_subroutine_type
:
2023 read_subroutine_type (&di
, thisdie
, nextdie
);
2025 case TAG_array_type
:
2026 dwarf_read_array_type (&di
);
2028 case TAG_pointer_type
:
2029 read_tag_pointer_type (&di
);
2031 case TAG_string_type
:
2032 read_tag_string_type (&di
);
2035 new_symbol (&di
, objfile
);
2047 decode_line_numbers -- decode a line number table fragment
2051 static void decode_line_numbers (char *tblscan, char *tblend,
2052 long length, long base, long line, long pc)
2056 Translate the DWARF line number information to gdb form.
2058 The ".line" section contains one or more line number tables, one for
2059 each ".line" section from the objects that were linked.
2061 The AT_stmt_list attribute for each TAG_source_file entry in the
2062 ".debug" section contains the offset into the ".line" section for the
2063 start of the table for that file.
2065 The table itself has the following structure:
2067 <table length><base address><source statement entry>
2068 4 bytes 4 bytes 10 bytes
2070 The table length is the total size of the table, including the 4 bytes
2071 for the length information.
2073 The base address is the address of the first instruction generated
2074 for the source file.
2076 Each source statement entry has the following structure:
2078 <line number><statement position><address delta>
2079 4 bytes 2 bytes 4 bytes
2081 The line number is relative to the start of the file, starting with
2084 The statement position either -1 (0xFFFF) or the number of characters
2085 from the beginning of the line to the beginning of the statement.
2087 The address delta is the difference between the base address and
2088 the address of the first instruction for the statement.
2090 Note that we must copy the bytes from the packed table to our local
2091 variables before attempting to use them, to avoid alignment problems
2092 on some machines, particularly RISC processors.
2096 Does gdb expect the line numbers to be sorted? They are now by
2097 chance/luck, but are not required to be. (FIXME)
2099 The line with number 0 is unused, gdb apparently can discover the
2100 span of the last line some other way. How? (FIXME)
2104 decode_line_numbers (linetable
)
2109 unsigned long length
;
2114 if (linetable
!= NULL
)
2116 tblscan
= tblend
= linetable
;
2117 length
= target_to_host (tblscan
, SIZEOF_LINETBL_LENGTH
, GET_UNSIGNED
,
2119 tblscan
+= SIZEOF_LINETBL_LENGTH
;
2121 base
= target_to_host (tblscan
, TARGET_FT_POINTER_SIZE (objfile
),
2122 GET_UNSIGNED
, current_objfile
);
2123 tblscan
+= TARGET_FT_POINTER_SIZE (objfile
);
2125 while (tblscan
< tblend
)
2127 line
= target_to_host (tblscan
, SIZEOF_LINETBL_LINENO
, GET_UNSIGNED
,
2129 tblscan
+= SIZEOF_LINETBL_LINENO
+ SIZEOF_LINETBL_STMT
;
2130 pc
= target_to_host (tblscan
, SIZEOF_LINETBL_DELTA
, GET_UNSIGNED
,
2132 tblscan
+= SIZEOF_LINETBL_DELTA
;
2136 record_line (current_subfile
, line
, pc
);
2146 locval -- compute the value of a location attribute
2150 static int locval (char *loc)
2154 Given pointer to a string of bytes that define a location, compute
2155 the location and return the value.
2156 A location description containing no atoms indicates that the
2157 object is optimized out. The global optimized_out flag is set for
2158 those, the return value is meaningless.
2160 When computing values involving the current value of the frame pointer,
2161 the value zero is used, which results in a value relative to the frame
2162 pointer, rather than the absolute value. This is what GDB wants
2165 When the result is a register number, the global isreg flag is set,
2166 otherwise it is cleared. This is a kludge until we figure out a better
2167 way to handle the problem. Gdb's design does not mesh well with the
2168 DWARF notion of a location computing interpreter, which is a shame
2169 because the flexibility goes unused.
2173 Note that stack[0] is unused except as a default error return.
2174 Note that stack overflow is not yet handled.
2181 unsigned short nbytes
;
2182 unsigned short locsize
;
2183 auto long stack
[64];
2189 nbytes
= attribute_size (AT_location
);
2190 locsize
= target_to_host (loc
, nbytes
, GET_UNSIGNED
, current_objfile
);
2192 end
= loc
+ locsize
;
2198 loc_value_size
= TARGET_FT_LONG_SIZE (current_objfile
);
2202 loc_atom_code
= target_to_host (loc
, SIZEOF_LOC_ATOM_CODE
, GET_UNSIGNED
,
2204 loc
+= SIZEOF_LOC_ATOM_CODE
;
2205 switch (loc_atom_code
)
2212 /* push register (number) */
2214 = DWARF_REG_TO_REGNUM (target_to_host (loc
, loc_value_size
,
2217 loc
+= loc_value_size
;
2221 /* push value of register (number) */
2222 /* Actually, we compute the value as if register has 0, so the
2223 value ends up being the offset from that register. */
2225 basereg
= target_to_host (loc
, loc_value_size
, GET_UNSIGNED
,
2227 loc
+= loc_value_size
;
2228 stack
[++stacki
] = 0;
2231 /* push address (relocated address) */
2232 stack
[++stacki
] = target_to_host (loc
, loc_value_size
,
2233 GET_UNSIGNED
, current_objfile
);
2234 loc
+= loc_value_size
;
2237 /* push constant (number) FIXME: signed or unsigned! */
2238 stack
[++stacki
] = target_to_host (loc
, loc_value_size
,
2239 GET_SIGNED
, current_objfile
);
2240 loc
+= loc_value_size
;
2243 /* pop, deref and push 2 bytes (as a long) */
2244 complain (&op_deref2
, DIE_ID
, DIE_NAME
, stack
[stacki
]);
2246 case OP_DEREF4
: /* pop, deref and push 4 bytes (as a long) */
2247 complain (&op_deref4
, DIE_ID
, DIE_NAME
, stack
[stacki
]);
2249 case OP_ADD
: /* pop top 2 items, add, push result */
2250 stack
[stacki
- 1] += stack
[stacki
];
2255 return (stack
[stacki
]);
2262 read_ofile_symtab -- build a full symtab entry from chunk of DIE's
2266 static void read_ofile_symtab (struct partial_symtab *pst)
2270 When expanding a partial symbol table entry to a full symbol table
2271 entry, this is the function that gets called to read in the symbols
2272 for the compilation unit. A pointer to the newly constructed symtab,
2273 which is now the new first one on the objfile's symtab list, is
2274 stashed in the partial symbol table entry.
2278 read_ofile_symtab (pst
)
2279 struct partial_symtab
*pst
;
2281 struct cleanup
*back_to
;
2282 unsigned long lnsize
;
2285 char lnsizedata
[SIZEOF_LINETBL_LENGTH
];
2287 abfd
= pst
-> objfile
-> obfd
;
2288 current_objfile
= pst
-> objfile
;
2290 /* Allocate a buffer for the entire chunk of DIE's for this compilation
2291 unit, seek to the location in the file, and read in all the DIE's. */
2294 dbsize
= DBLENGTH (pst
);
2295 dbbase
= xmalloc (dbsize
);
2296 dbroff
= DBROFF(pst
);
2297 foffset
= DBFOFF(pst
) + dbroff
;
2298 base_section_offsets
= pst
->section_offsets
;
2299 baseaddr
= ANOFFSET (pst
->section_offsets
, 0);
2300 if (bfd_seek (abfd
, foffset
, SEEK_SET
) ||
2301 (bfd_read (dbbase
, dbsize
, 1, abfd
) != dbsize
))
2304 error ("can't read DWARF data");
2306 back_to
= make_cleanup (free
, dbbase
);
2308 /* If there is a line number table associated with this compilation unit
2309 then read the size of this fragment in bytes, from the fragment itself.
2310 Allocate a buffer for the fragment and read it in for future
2316 if (bfd_seek (abfd
, LNFOFF (pst
), SEEK_SET
) ||
2317 (bfd_read ((PTR
) lnsizedata
, sizeof (lnsizedata
), 1, abfd
) !=
2318 sizeof (lnsizedata
)))
2320 error ("can't read DWARF line number table size");
2322 lnsize
= target_to_host (lnsizedata
, SIZEOF_LINETBL_LENGTH
,
2323 GET_UNSIGNED
, pst
-> objfile
);
2324 lnbase
= xmalloc (lnsize
);
2325 if (bfd_seek (abfd
, LNFOFF (pst
), SEEK_SET
) ||
2326 (bfd_read (lnbase
, lnsize
, 1, abfd
) != lnsize
))
2329 error ("can't read DWARF line numbers");
2331 make_cleanup (free
, lnbase
);
2334 process_dies (dbbase
, dbbase
+ dbsize
, pst
-> objfile
);
2335 do_cleanups (back_to
);
2336 current_objfile
= NULL
;
2337 pst
-> symtab
= pst
-> objfile
-> symtabs
;
2344 psymtab_to_symtab_1 -- do grunt work for building a full symtab entry
2348 static void psymtab_to_symtab_1 (struct partial_symtab *pst)
2352 Called once for each partial symbol table entry that needs to be
2353 expanded into a full symbol table entry.
2358 psymtab_to_symtab_1 (pst
)
2359 struct partial_symtab
*pst
;
2362 struct cleanup
*old_chain
;
2368 warning ("psymtab for %s already read in. Shouldn't happen.",
2373 /* Read in all partial symtabs on which this one is dependent */
2374 for (i
= 0; i
< pst
-> number_of_dependencies
; i
++)
2376 if (!pst
-> dependencies
[i
] -> readin
)
2378 /* Inform about additional files that need to be read in. */
2381 fputs_filtered (" ", gdb_stdout
);
2383 fputs_filtered ("and ", gdb_stdout
);
2385 printf_filtered ("%s...",
2386 pst
-> dependencies
[i
] -> filename
);
2388 gdb_flush (gdb_stdout
); /* Flush output */
2390 psymtab_to_symtab_1 (pst
-> dependencies
[i
]);
2393 if (DBLENGTH (pst
)) /* Otherwise it's a dummy */
2396 old_chain
= make_cleanup (really_free_pendings
, 0);
2397 read_ofile_symtab (pst
);
2400 printf_filtered ("%d DIE's, sorting...", diecount
);
2402 gdb_flush (gdb_stdout
);
2404 sort_symtab_syms (pst
-> symtab
);
2405 do_cleanups (old_chain
);
2416 dwarf_psymtab_to_symtab -- build a full symtab entry from partial one
2420 static void dwarf_psymtab_to_symtab (struct partial_symtab *pst)
2424 This is the DWARF support entry point for building a full symbol
2425 table entry from a partial symbol table entry. We are passed a
2426 pointer to the partial symbol table entry that needs to be expanded.
2431 dwarf_psymtab_to_symtab (pst
)
2432 struct partial_symtab
*pst
;
2439 warning ("psymtab for %s already read in. Shouldn't happen.",
2444 if (DBLENGTH (pst
) || pst
-> number_of_dependencies
)
2446 /* Print the message now, before starting serious work, to avoid
2447 disconcerting pauses. */
2450 printf_filtered ("Reading in symbols for %s...",
2452 gdb_flush (gdb_stdout
);
2455 psymtab_to_symtab_1 (pst
);
2457 #if 0 /* FIXME: Check to see what dbxread is doing here and see if
2458 we need to do an equivalent or is this something peculiar to
2460 Match with global symbols. This only needs to be done once,
2461 after all of the symtabs and dependencies have been read in.
2463 scan_file_globals (pst
-> objfile
);
2466 /* Finish up the verbose info message. */
2469 printf_filtered ("done.\n");
2470 gdb_flush (gdb_stdout
);
2481 add_enum_psymbol -- add enumeration members to partial symbol table
2485 Given pointer to a DIE that is known to be for an enumeration,
2486 extract the symbolic names of the enumeration members and add
2487 partial symbols for them.
2491 add_enum_psymbol (dip
, objfile
)
2492 struct dieinfo
*dip
;
2493 struct objfile
*objfile
;
2497 unsigned short blocksz
;
2500 if ((scan
= dip
-> at_element_list
) != NULL
)
2502 if (dip
-> short_element_list
)
2504 nbytes
= attribute_size (AT_short_element_list
);
2508 nbytes
= attribute_size (AT_element_list
);
2510 blocksz
= target_to_host (scan
, nbytes
, GET_UNSIGNED
, objfile
);
2512 listend
= scan
+ blocksz
;
2513 while (scan
< listend
)
2515 scan
+= TARGET_FT_LONG_SIZE (objfile
);
2516 ADD_PSYMBOL_TO_LIST (scan
, strlen (scan
), VAR_NAMESPACE
, LOC_CONST
,
2517 objfile
-> static_psymbols
, 0, cu_language
,
2519 scan
+= strlen (scan
) + 1;
2528 add_partial_symbol -- add symbol to partial symbol table
2532 Given a DIE, if it is one of the types that we want to
2533 add to a partial symbol table, finish filling in the die info
2534 and then add a partial symbol table entry for it.
2538 The caller must ensure that the DIE has a valid name attribute.
2542 add_partial_symbol (dip
, objfile
)
2543 struct dieinfo
*dip
;
2544 struct objfile
*objfile
;
2546 switch (dip
-> die_tag
)
2548 case TAG_global_subroutine
:
2549 ADD_PSYMBOL_TO_LIST (dip
-> at_name
, strlen (dip
-> at_name
),
2550 VAR_NAMESPACE
, LOC_BLOCK
,
2551 objfile
-> global_psymbols
,
2552 dip
-> at_low_pc
, cu_language
, objfile
);
2554 case TAG_global_variable
:
2555 ADD_PSYMBOL_TO_LIST (dip
-> at_name
, strlen (dip
-> at_name
),
2556 VAR_NAMESPACE
, LOC_STATIC
,
2557 objfile
-> global_psymbols
,
2558 0, cu_language
, objfile
);
2560 case TAG_subroutine
:
2561 ADD_PSYMBOL_TO_LIST (dip
-> at_name
, strlen (dip
-> at_name
),
2562 VAR_NAMESPACE
, LOC_BLOCK
,
2563 objfile
-> static_psymbols
,
2564 dip
-> at_low_pc
, cu_language
, objfile
);
2566 case TAG_local_variable
:
2567 ADD_PSYMBOL_TO_LIST (dip
-> at_name
, strlen (dip
-> at_name
),
2568 VAR_NAMESPACE
, LOC_STATIC
,
2569 objfile
-> static_psymbols
,
2570 0, cu_language
, objfile
);
2573 ADD_PSYMBOL_TO_LIST (dip
-> at_name
, strlen (dip
-> at_name
),
2574 VAR_NAMESPACE
, LOC_TYPEDEF
,
2575 objfile
-> static_psymbols
,
2576 0, cu_language
, objfile
);
2578 case TAG_class_type
:
2579 case TAG_structure_type
:
2580 case TAG_union_type
:
2581 case TAG_enumeration_type
:
2582 /* Do not add opaque aggregate definitions to the psymtab. */
2583 if (!dip
-> has_at_byte_size
)
2585 ADD_PSYMBOL_TO_LIST (dip
-> at_name
, strlen (dip
-> at_name
),
2586 STRUCT_NAMESPACE
, LOC_TYPEDEF
,
2587 objfile
-> static_psymbols
,
2588 0, cu_language
, objfile
);
2589 if (cu_language
== language_cplus
)
2591 /* For C++, these implicitly act as typedefs as well. */
2592 ADD_PSYMBOL_TO_LIST (dip
-> at_name
, strlen (dip
-> at_name
),
2593 VAR_NAMESPACE
, LOC_TYPEDEF
,
2594 objfile
-> static_psymbols
,
2595 0, cu_language
, objfile
);
2605 scan_partial_symbols -- scan DIE's within a single compilation unit
2609 Process the DIE's within a single compilation unit, looking for
2610 interesting DIE's that contribute to the partial symbol table entry
2611 for this compilation unit.
2615 There are some DIE's that may appear both at file scope and within
2616 the scope of a function. We are only interested in the ones at file
2617 scope, and the only way to tell them apart is to keep track of the
2618 scope. For example, consider the test case:
2623 for which the relevant DWARF segment has the structure:
2626 0x23 global subrtn sibling 0x9b
2628 fund_type FT_integer
2633 0x23 local var sibling 0x97
2635 fund_type FT_integer
2636 location OP_BASEREG 0xe
2643 0x1d local var sibling 0xb8
2645 fund_type FT_integer
2646 location OP_ADDR 0x800025dc
2651 We want to include the symbol 'i' in the partial symbol table, but
2652 not the symbol 'j'. In essence, we want to skip all the dies within
2653 the scope of a TAG_global_subroutine DIE.
2655 Don't attempt to add anonymous structures or unions since they have
2656 no name. Anonymous enumerations however are processed, because we
2657 want to extract their member names (the check for a tag name is
2660 Also, for variables and subroutines, check that this is the place
2661 where the actual definition occurs, rather than just a reference
2666 scan_partial_symbols (thisdie
, enddie
, objfile
)
2669 struct objfile
*objfile
;
2675 while (thisdie
< enddie
)
2677 basicdieinfo (&di
, thisdie
, objfile
);
2678 if (di
.die_length
< SIZEOF_DIE_LENGTH
)
2684 nextdie
= thisdie
+ di
.die_length
;
2685 /* To avoid getting complete die information for every die, we
2686 only do it (below) for the cases we are interested in. */
2689 case TAG_global_subroutine
:
2690 case TAG_subroutine
:
2691 completedieinfo (&di
, objfile
);
2692 if (di
.at_name
&& (di
.has_at_low_pc
|| di
.at_location
))
2694 add_partial_symbol (&di
, objfile
);
2695 /* If there is a sibling attribute, adjust the nextdie
2696 pointer to skip the entire scope of the subroutine.
2697 Apply some sanity checking to make sure we don't
2698 overrun or underrun the range of remaining DIE's */
2699 if (di
.at_sibling
!= 0)
2701 temp
= dbbase
+ di
.at_sibling
- dbroff
;
2702 if ((temp
< thisdie
) || (temp
>= enddie
))
2704 complain (&bad_die_ref
, DIE_ID
, DIE_NAME
,
2714 case TAG_global_variable
:
2715 case TAG_local_variable
:
2716 completedieinfo (&di
, objfile
);
2717 if (di
.at_name
&& (di
.has_at_low_pc
|| di
.at_location
))
2719 add_partial_symbol (&di
, objfile
);
2723 case TAG_class_type
:
2724 case TAG_structure_type
:
2725 case TAG_union_type
:
2726 completedieinfo (&di
, objfile
);
2729 add_partial_symbol (&di
, objfile
);
2732 case TAG_enumeration_type
:
2733 completedieinfo (&di
, objfile
);
2736 add_partial_symbol (&di
, objfile
);
2738 add_enum_psymbol (&di
, objfile
);
2750 scan_compilation_units -- build a psymtab entry for each compilation
2754 This is the top level dwarf parsing routine for building partial
2757 It scans from the beginning of the DWARF table looking for the first
2758 TAG_compile_unit DIE, and then follows the sibling chain to locate
2759 each additional TAG_compile_unit DIE.
2761 For each TAG_compile_unit DIE it creates a partial symtab structure,
2762 calls a subordinate routine to collect all the compilation unit's
2763 global DIE's, file scope DIEs, typedef DIEs, etc, and then links the
2764 new partial symtab structure into the partial symbol table. It also
2765 records the appropriate information in the partial symbol table entry
2766 to allow the chunk of DIE's and line number table for this compilation
2767 unit to be located and re-read later, to generate a complete symbol
2768 table entry for the compilation unit.
2770 Thus it effectively partitions up a chunk of DIE's for multiple
2771 compilation units into smaller DIE chunks and line number tables,
2772 and associates them with a partial symbol table entry.
2776 If any compilation unit has no line number table associated with
2777 it for some reason (a missing at_stmt_list attribute, rather than
2778 just one with a value of zero, which is valid) then we ensure that
2779 the recorded file offset is zero so that the routine which later
2780 reads line number table fragments knows that there is no fragment
2790 scan_compilation_units (thisdie
, enddie
, dbfoff
, lnoffset
, objfile
)
2795 struct objfile
*objfile
;
2799 struct partial_symtab
*pst
;
2802 file_ptr curlnoffset
;
2804 while (thisdie
< enddie
)
2806 basicdieinfo (&di
, thisdie
, objfile
);
2807 if (di
.die_length
< SIZEOF_DIE_LENGTH
)
2811 else if (di
.die_tag
!= TAG_compile_unit
)
2813 nextdie
= thisdie
+ di
.die_length
;
2817 completedieinfo (&di
, objfile
);
2818 set_cu_language (&di
);
2819 if (di
.at_sibling
!= 0)
2821 nextdie
= dbbase
+ di
.at_sibling
- dbroff
;
2825 nextdie
= thisdie
+ di
.die_length
;
2827 curoff
= thisdie
- dbbase
;
2828 culength
= nextdie
- thisdie
;
2829 curlnoffset
= di
.has_at_stmt_list
? lnoffset
+ di
.at_stmt_list
: 0;
2831 /* First allocate a new partial symbol table structure */
2833 pst
= start_psymtab_common (objfile
, base_section_offsets
,
2834 di
.at_name
, di
.at_low_pc
,
2835 objfile
-> global_psymbols
.next
,
2836 objfile
-> static_psymbols
.next
);
2838 pst
-> texthigh
= di
.at_high_pc
;
2839 pst
-> read_symtab_private
= (char *)
2840 obstack_alloc (&objfile
-> psymbol_obstack
,
2841 sizeof (struct dwfinfo
));
2842 DBFOFF (pst
) = dbfoff
;
2843 DBROFF (pst
) = curoff
;
2844 DBLENGTH (pst
) = culength
;
2845 LNFOFF (pst
) = curlnoffset
;
2846 pst
-> read_symtab
= dwarf_psymtab_to_symtab
;
2848 /* Now look for partial symbols */
2850 scan_partial_symbols (thisdie
+ di
.die_length
, nextdie
, objfile
);
2852 pst
-> n_global_syms
= objfile
-> global_psymbols
.next
-
2853 (objfile
-> global_psymbols
.list
+ pst
-> globals_offset
);
2854 pst
-> n_static_syms
= objfile
-> static_psymbols
.next
-
2855 (objfile
-> static_psymbols
.list
+ pst
-> statics_offset
);
2856 sort_pst_symbols (pst
);
2857 /* If there is already a psymtab or symtab for a file of this name,
2858 remove it. (If there is a symtab, more drastic things also
2859 happen.) This happens in VxWorks. */
2860 free_named_symtabs (pst
-> filename
);
2870 new_symbol -- make a symbol table entry for a new symbol
2874 static struct symbol *new_symbol (struct dieinfo *dip,
2875 struct objfile *objfile)
2879 Given a pointer to a DWARF information entry, figure out if we need
2880 to make a symbol table entry for it, and if so, create a new entry
2881 and return a pointer to it.
2884 static struct symbol
*
2885 new_symbol (dip
, objfile
)
2886 struct dieinfo
*dip
;
2887 struct objfile
*objfile
;
2889 struct symbol
*sym
= NULL
;
2891 if (dip
-> at_name
!= NULL
)
2893 sym
= (struct symbol
*) obstack_alloc (&objfile
-> symbol_obstack
,
2894 sizeof (struct symbol
));
2895 OBJSTAT (objfile
, n_syms
++);
2896 memset (sym
, 0, sizeof (struct symbol
));
2897 SYMBOL_NAME (sym
) = create_name (dip
-> at_name
,
2898 &objfile
->symbol_obstack
);
2899 /* default assumptions */
2900 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
2901 SYMBOL_CLASS (sym
) = LOC_STATIC
;
2902 SYMBOL_TYPE (sym
) = decode_die_type (dip
);
2904 /* If this symbol is from a C++ compilation, then attempt to cache the
2905 demangled form for future reference. This is a typical time versus
2906 space tradeoff, that was decided in favor of time because it sped up
2907 C++ symbol lookups by a factor of about 20. */
2909 SYMBOL_LANGUAGE (sym
) = cu_language
;
2910 SYMBOL_INIT_DEMANGLED_NAME (sym
, &objfile
-> symbol_obstack
);
2911 switch (dip
-> die_tag
)
2914 SYMBOL_VALUE (sym
) = dip
-> at_low_pc
;
2915 SYMBOL_CLASS (sym
) = LOC_LABEL
;
2917 case TAG_global_subroutine
:
2918 case TAG_subroutine
:
2919 SYMBOL_VALUE (sym
) = dip
-> at_low_pc
;
2920 SYMBOL_TYPE (sym
) = lookup_function_type (SYMBOL_TYPE (sym
));
2921 SYMBOL_CLASS (sym
) = LOC_BLOCK
;
2922 if (dip
-> die_tag
== TAG_global_subroutine
)
2924 add_symbol_to_list (sym
, &global_symbols
);
2928 add_symbol_to_list (sym
, list_in_scope
);
2931 case TAG_global_variable
:
2932 if (dip
-> at_location
!= NULL
)
2934 SYMBOL_VALUE (sym
) = locval (dip
-> at_location
);
2935 add_symbol_to_list (sym
, &global_symbols
);
2936 SYMBOL_CLASS (sym
) = LOC_STATIC
;
2937 SYMBOL_VALUE (sym
) += baseaddr
;
2940 case TAG_local_variable
:
2941 if (dip
-> at_location
!= NULL
)
2943 SYMBOL_VALUE (sym
) = locval (dip
-> at_location
);
2944 add_symbol_to_list (sym
, list_in_scope
);
2947 SYMBOL_CLASS (sym
) = LOC_OPTIMIZED_OUT
;
2951 SYMBOL_CLASS (sym
) = LOC_REGISTER
;
2955 SYMBOL_CLASS (sym
) = LOC_BASEREG
;
2956 SYMBOL_BASEREG (sym
) = basereg
;
2960 SYMBOL_CLASS (sym
) = LOC_STATIC
;
2961 SYMBOL_VALUE (sym
) += baseaddr
;
2965 case TAG_formal_parameter
:
2966 if (dip
-> at_location
!= NULL
)
2968 SYMBOL_VALUE (sym
) = locval (dip
-> at_location
);
2970 add_symbol_to_list (sym
, list_in_scope
);
2973 SYMBOL_CLASS (sym
) = LOC_REGPARM
;
2977 SYMBOL_CLASS (sym
) = LOC_BASEREG_ARG
;
2978 SYMBOL_BASEREG (sym
) = basereg
;
2982 SYMBOL_CLASS (sym
) = LOC_ARG
;
2985 case TAG_unspecified_parameters
:
2986 /* From varargs functions; gdb doesn't seem to have any interest in
2987 this information, so just ignore it for now. (FIXME?) */
2989 case TAG_class_type
:
2990 case TAG_structure_type
:
2991 case TAG_union_type
:
2992 case TAG_enumeration_type
:
2993 SYMBOL_CLASS (sym
) = LOC_TYPEDEF
;
2994 SYMBOL_NAMESPACE (sym
) = STRUCT_NAMESPACE
;
2995 add_symbol_to_list (sym
, list_in_scope
);
2998 SYMBOL_CLASS (sym
) = LOC_TYPEDEF
;
2999 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
3000 add_symbol_to_list (sym
, list_in_scope
);
3003 /* Not a tag we recognize. Hopefully we aren't processing trash
3004 data, but since we must specifically ignore things we don't
3005 recognize, there is nothing else we should do at this point. */
3016 synthesize_typedef -- make a symbol table entry for a "fake" typedef
3020 static void synthesize_typedef (struct dieinfo *dip,
3021 struct objfile *objfile,
3026 Given a pointer to a DWARF information entry, synthesize a typedef
3027 for the name in the DIE, using the specified type.
3029 This is used for C++ class, structs, unions, and enumerations to
3030 set up the tag name as a type.
3035 synthesize_typedef (dip
, objfile
, type
)
3036 struct dieinfo
*dip
;
3037 struct objfile
*objfile
;
3040 struct symbol
*sym
= NULL
;
3042 if (dip
-> at_name
!= NULL
)
3044 sym
= (struct symbol
*)
3045 obstack_alloc (&objfile
-> symbol_obstack
, sizeof (struct symbol
));
3046 OBJSTAT (objfile
, n_syms
++);
3047 memset (sym
, 0, sizeof (struct symbol
));
3048 SYMBOL_NAME (sym
) = create_name (dip
-> at_name
,
3049 &objfile
->symbol_obstack
);
3050 SYMBOL_INIT_LANGUAGE_SPECIFIC (sym
, cu_language
);
3051 SYMBOL_TYPE (sym
) = type
;
3052 SYMBOL_CLASS (sym
) = LOC_TYPEDEF
;
3053 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
3054 add_symbol_to_list (sym
, list_in_scope
);
3062 decode_mod_fund_type -- decode a modified fundamental type
3066 static struct type *decode_mod_fund_type (char *typedata)
3070 Decode a block of data containing a modified fundamental
3071 type specification. TYPEDATA is a pointer to the block,
3072 which starts with a length containing the size of the rest
3073 of the block. At the end of the block is a fundmental type
3074 code value that gives the fundamental type. Everything
3075 in between are type modifiers.
3077 We simply compute the number of modifiers and call the general
3078 function decode_modified_type to do the actual work.
3081 static struct type
*
3082 decode_mod_fund_type (typedata
)
3085 struct type
*typep
= NULL
;
3086 unsigned short modcount
;
3089 /* Get the total size of the block, exclusive of the size itself */
3091 nbytes
= attribute_size (AT_mod_fund_type
);
3092 modcount
= target_to_host (typedata
, nbytes
, GET_UNSIGNED
, current_objfile
);
3095 /* Deduct the size of the fundamental type bytes at the end of the block. */
3097 modcount
-= attribute_size (AT_fund_type
);
3099 /* Now do the actual decoding */
3101 typep
= decode_modified_type (typedata
, modcount
, AT_mod_fund_type
);
3109 decode_mod_u_d_type -- decode a modified user defined type
3113 static struct type *decode_mod_u_d_type (char *typedata)
3117 Decode a block of data containing a modified user defined
3118 type specification. TYPEDATA is a pointer to the block,
3119 which consists of a two byte length, containing the size
3120 of the rest of the block. At the end of the block is a
3121 four byte value that gives a reference to a user defined type.
3122 Everything in between are type modifiers.
3124 We simply compute the number of modifiers and call the general
3125 function decode_modified_type to do the actual work.
3128 static struct type
*
3129 decode_mod_u_d_type (typedata
)
3132 struct type
*typep
= NULL
;
3133 unsigned short modcount
;
3136 /* Get the total size of the block, exclusive of the size itself */
3138 nbytes
= attribute_size (AT_mod_u_d_type
);
3139 modcount
= target_to_host (typedata
, nbytes
, GET_UNSIGNED
, current_objfile
);
3142 /* Deduct the size of the reference type bytes at the end of the block. */
3144 modcount
-= attribute_size (AT_user_def_type
);
3146 /* Now do the actual decoding */
3148 typep
= decode_modified_type (typedata
, modcount
, AT_mod_u_d_type
);
3156 decode_modified_type -- decode modified user or fundamental type
3160 static struct type *decode_modified_type (char *modifiers,
3161 unsigned short modcount, int mtype)
3165 Decode a modified type, either a modified fundamental type or
3166 a modified user defined type. MODIFIERS is a pointer to the
3167 block of bytes that define MODCOUNT modifiers. Immediately
3168 following the last modifier is a short containing the fundamental
3169 type or a long containing the reference to the user defined
3170 type. Which one is determined by MTYPE, which is either
3171 AT_mod_fund_type or AT_mod_u_d_type to indicate what modified
3172 type we are generating.
3174 We call ourself recursively to generate each modified type,`
3175 until MODCOUNT reaches zero, at which point we have consumed
3176 all the modifiers and generate either the fundamental type or
3177 user defined type. When the recursion unwinds, each modifier
3178 is applied in turn to generate the full modified type.
3182 If we find a modifier that we don't recognize, and it is not one
3183 of those reserved for application specific use, then we issue a
3184 warning and simply ignore the modifier.
3188 We currently ignore MOD_const and MOD_volatile. (FIXME)
3192 static struct type
*
3193 decode_modified_type (modifiers
, modcount
, mtype
)
3195 unsigned int modcount
;
3198 struct type
*typep
= NULL
;
3199 unsigned short fundtype
;
3208 case AT_mod_fund_type
:
3209 nbytes
= attribute_size (AT_fund_type
);
3210 fundtype
= target_to_host (modifiers
, nbytes
, GET_UNSIGNED
,
3212 typep
= decode_fund_type (fundtype
);
3214 case AT_mod_u_d_type
:
3215 nbytes
= attribute_size (AT_user_def_type
);
3216 die_ref
= target_to_host (modifiers
, nbytes
, GET_UNSIGNED
,
3218 if ((typep
= lookup_utype (die_ref
)) == NULL
)
3220 typep
= alloc_utype (die_ref
, NULL
);
3224 complain (&botched_modified_type
, DIE_ID
, DIE_NAME
, mtype
);
3225 typep
= dwarf_fundamental_type (current_objfile
, FT_INTEGER
);
3231 modifier
= *modifiers
++;
3232 typep
= decode_modified_type (modifiers
, --modcount
, mtype
);
3235 case MOD_pointer_to
:
3236 typep
= lookup_pointer_type (typep
);
3238 case MOD_reference_to
:
3239 typep
= lookup_reference_type (typep
);
3242 complain (&const_ignored
, DIE_ID
, DIE_NAME
); /* FIXME */
3245 complain (&volatile_ignored
, DIE_ID
, DIE_NAME
); /* FIXME */
3248 if (!(MOD_lo_user
<= (unsigned char) modifier
3249 && (unsigned char) modifier
<= MOD_hi_user
))
3251 complain (&unknown_type_modifier
, DIE_ID
, DIE_NAME
, modifier
);
3263 decode_fund_type -- translate basic DWARF type to gdb base type
3267 Given an integer that is one of the fundamental DWARF types,
3268 translate it to one of the basic internal gdb types and return
3269 a pointer to the appropriate gdb type (a "struct type *").
3273 For robustness, if we are asked to translate a fundamental
3274 type that we are unprepared to deal with, we return int so
3275 callers can always depend upon a valid type being returned,
3276 and so gdb may at least do something reasonable by default.
3277 If the type is not in the range of those types defined as
3278 application specific types, we also issue a warning.
3281 static struct type
*
3282 decode_fund_type (fundtype
)
3283 unsigned int fundtype
;
3285 struct type
*typep
= NULL
;
3291 typep
= dwarf_fundamental_type (current_objfile
, FT_VOID
);
3294 case FT_boolean
: /* Was FT_set in AT&T version */
3295 typep
= dwarf_fundamental_type (current_objfile
, FT_BOOLEAN
);
3298 case FT_pointer
: /* (void *) */
3299 typep
= dwarf_fundamental_type (current_objfile
, FT_VOID
);
3300 typep
= lookup_pointer_type (typep
);
3304 typep
= dwarf_fundamental_type (current_objfile
, FT_CHAR
);
3307 case FT_signed_char
:
3308 typep
= dwarf_fundamental_type (current_objfile
, FT_SIGNED_CHAR
);
3311 case FT_unsigned_char
:
3312 typep
= dwarf_fundamental_type (current_objfile
, FT_UNSIGNED_CHAR
);
3316 typep
= dwarf_fundamental_type (current_objfile
, FT_SHORT
);
3319 case FT_signed_short
:
3320 typep
= dwarf_fundamental_type (current_objfile
, FT_SIGNED_SHORT
);
3323 case FT_unsigned_short
:
3324 typep
= dwarf_fundamental_type (current_objfile
, FT_UNSIGNED_SHORT
);
3328 typep
= dwarf_fundamental_type (current_objfile
, FT_INTEGER
);
3331 case FT_signed_integer
:
3332 typep
= dwarf_fundamental_type (current_objfile
, FT_SIGNED_INTEGER
);
3335 case FT_unsigned_integer
:
3336 typep
= dwarf_fundamental_type (current_objfile
, FT_UNSIGNED_INTEGER
);
3340 typep
= dwarf_fundamental_type (current_objfile
, FT_LONG
);
3343 case FT_signed_long
:
3344 typep
= dwarf_fundamental_type (current_objfile
, FT_SIGNED_LONG
);
3347 case FT_unsigned_long
:
3348 typep
= dwarf_fundamental_type (current_objfile
, FT_UNSIGNED_LONG
);
3352 typep
= dwarf_fundamental_type (current_objfile
, FT_LONG_LONG
);
3355 case FT_signed_long_long
:
3356 typep
= dwarf_fundamental_type (current_objfile
, FT_SIGNED_LONG_LONG
);
3359 case FT_unsigned_long_long
:
3360 typep
= dwarf_fundamental_type (current_objfile
, FT_UNSIGNED_LONG_LONG
);
3364 typep
= dwarf_fundamental_type (current_objfile
, FT_FLOAT
);
3367 case FT_dbl_prec_float
:
3368 typep
= dwarf_fundamental_type (current_objfile
, FT_DBL_PREC_FLOAT
);
3371 case FT_ext_prec_float
:
3372 typep
= dwarf_fundamental_type (current_objfile
, FT_EXT_PREC_FLOAT
);
3376 typep
= dwarf_fundamental_type (current_objfile
, FT_COMPLEX
);
3379 case FT_dbl_prec_complex
:
3380 typep
= dwarf_fundamental_type (current_objfile
, FT_DBL_PREC_COMPLEX
);
3383 case FT_ext_prec_complex
:
3384 typep
= dwarf_fundamental_type (current_objfile
, FT_EXT_PREC_COMPLEX
);
3391 typep
= dwarf_fundamental_type (current_objfile
, FT_INTEGER
);
3392 if (!(FT_lo_user
<= fundtype
&& fundtype
<= FT_hi_user
))
3394 complain (&unexpected_fund_type
, DIE_ID
, DIE_NAME
, fundtype
);
3405 create_name -- allocate a fresh copy of a string on an obstack
3409 Given a pointer to a string and a pointer to an obstack, allocates
3410 a fresh copy of the string on the specified obstack.
3415 create_name (name
, obstackp
)
3417 struct obstack
*obstackp
;
3422 length
= strlen (name
) + 1;
3423 newname
= (char *) obstack_alloc (obstackp
, length
);
3424 strcpy (newname
, name
);
3432 basicdieinfo -- extract the minimal die info from raw die data
3436 void basicdieinfo (char *diep, struct dieinfo *dip,
3437 struct objfile *objfile)
3441 Given a pointer to raw DIE data, and a pointer to an instance of a
3442 die info structure, this function extracts the basic information
3443 from the DIE data required to continue processing this DIE, along
3444 with some bookkeeping information about the DIE.
3446 The information we absolutely must have includes the DIE tag,
3447 and the DIE length. If we need the sibling reference, then we
3448 will have to call completedieinfo() to process all the remaining
3451 Note that since there is no guarantee that the data is properly
3452 aligned in memory for the type of access required (indirection
3453 through anything other than a char pointer), and there is no
3454 guarantee that it is in the same byte order as the gdb host,
3455 we call a function which deals with both alignment and byte
3456 swapping issues. Possibly inefficient, but quite portable.
3458 We also take care of some other basic things at this point, such
3459 as ensuring that the instance of the die info structure starts
3460 out completely zero'd and that curdie is initialized for use
3461 in error reporting if we have a problem with the current die.
3465 All DIE's must have at least a valid length, thus the minimum
3466 DIE size is SIZEOF_DIE_LENGTH. In order to have a valid tag, the
3467 DIE size must be at least SIZEOF_DIE_TAG larger, otherwise they
3468 are forced to be TAG_padding DIES.
3470 Padding DIES must be at least SIZEOF_DIE_LENGTH in length, implying
3471 that if a padding DIE is used for alignment and the amount needed is
3472 less than SIZEOF_DIE_LENGTH, then the padding DIE has to be big
3473 enough to align to the next alignment boundry.
3475 We do some basic sanity checking here, such as verifying that the
3476 length of the die would not cause it to overrun the recorded end of
3477 the buffer holding the DIE info. If we find a DIE that is either
3478 too small or too large, we force it's length to zero which should
3479 cause the caller to take appropriate action.
3483 basicdieinfo (dip
, diep
, objfile
)
3484 struct dieinfo
*dip
;
3486 struct objfile
*objfile
;
3489 memset (dip
, 0, sizeof (struct dieinfo
));
3491 dip
-> die_ref
= dbroff
+ (diep
- dbbase
);
3492 dip
-> die_length
= target_to_host (diep
, SIZEOF_DIE_LENGTH
, GET_UNSIGNED
,
3494 if ((dip
-> die_length
< SIZEOF_DIE_LENGTH
) ||
3495 ((diep
+ dip
-> die_length
) > (dbbase
+ dbsize
)))
3497 complain (&malformed_die
, DIE_ID
, DIE_NAME
, dip
-> die_length
);
3498 dip
-> die_length
= 0;
3500 else if (dip
-> die_length
< (SIZEOF_DIE_LENGTH
+ SIZEOF_DIE_TAG
))
3502 dip
-> die_tag
= TAG_padding
;
3506 diep
+= SIZEOF_DIE_LENGTH
;
3507 dip
-> die_tag
= target_to_host (diep
, SIZEOF_DIE_TAG
, GET_UNSIGNED
,
3516 completedieinfo -- finish reading the information for a given DIE
3520 void completedieinfo (struct dieinfo *dip, struct objfile *objfile)
3524 Given a pointer to an already partially initialized die info structure,
3525 scan the raw DIE data and finish filling in the die info structure
3526 from the various attributes found.
3528 Note that since there is no guarantee that the data is properly
3529 aligned in memory for the type of access required (indirection
3530 through anything other than a char pointer), and there is no
3531 guarantee that it is in the same byte order as the gdb host,
3532 we call a function which deals with both alignment and byte
3533 swapping issues. Possibly inefficient, but quite portable.
3537 Each time we are called, we increment the diecount variable, which
3538 keeps an approximate count of the number of dies processed for
3539 each compilation unit. This information is presented to the user
3540 if the info_verbose flag is set.
3545 completedieinfo (dip
, objfile
)
3546 struct dieinfo
*dip
;
3547 struct objfile
*objfile
;
3549 char *diep
; /* Current pointer into raw DIE data */
3550 char *end
; /* Terminate DIE scan here */
3551 unsigned short attr
; /* Current attribute being scanned */
3552 unsigned short form
; /* Form of the attribute */
3553 int nbytes
; /* Size of next field to read */
3557 end
= diep
+ dip
-> die_length
;
3558 diep
+= SIZEOF_DIE_LENGTH
+ SIZEOF_DIE_TAG
;
3561 attr
= target_to_host (diep
, SIZEOF_ATTRIBUTE
, GET_UNSIGNED
, objfile
);
3562 diep
+= SIZEOF_ATTRIBUTE
;
3563 if ((nbytes
= attribute_size (attr
)) == -1)
3565 complain (&unknown_attribute_length
, DIE_ID
, DIE_NAME
);
3572 dip
-> at_fund_type
= target_to_host (diep
, nbytes
, GET_UNSIGNED
,
3576 dip
-> at_ordering
= target_to_host (diep
, nbytes
, GET_UNSIGNED
,
3580 dip
-> at_bit_offset
= target_to_host (diep
, nbytes
, GET_UNSIGNED
,
3584 dip
-> at_sibling
= target_to_host (diep
, nbytes
, GET_UNSIGNED
,
3588 dip
-> at_stmt_list
= target_to_host (diep
, nbytes
, GET_UNSIGNED
,
3590 dip
-> has_at_stmt_list
= 1;
3593 dip
-> at_low_pc
= target_to_host (diep
, nbytes
, GET_UNSIGNED
,
3595 dip
-> at_low_pc
+= baseaddr
;
3596 dip
-> has_at_low_pc
= 1;
3599 dip
-> at_high_pc
= target_to_host (diep
, nbytes
, GET_UNSIGNED
,
3601 dip
-> at_high_pc
+= baseaddr
;
3604 dip
-> at_language
= target_to_host (diep
, nbytes
, GET_UNSIGNED
,
3607 case AT_user_def_type
:
3608 dip
-> at_user_def_type
= target_to_host (diep
, nbytes
,
3609 GET_UNSIGNED
, objfile
);
3612 dip
-> at_byte_size
= target_to_host (diep
, nbytes
, GET_UNSIGNED
,
3614 dip
-> has_at_byte_size
= 1;
3617 dip
-> at_bit_size
= target_to_host (diep
, nbytes
, GET_UNSIGNED
,
3621 dip
-> at_member
= target_to_host (diep
, nbytes
, GET_UNSIGNED
,
3625 dip
-> at_discr
= target_to_host (diep
, nbytes
, GET_UNSIGNED
,
3629 dip
-> at_location
= diep
;
3631 case AT_mod_fund_type
:
3632 dip
-> at_mod_fund_type
= diep
;
3634 case AT_subscr_data
:
3635 dip
-> at_subscr_data
= diep
;
3637 case AT_mod_u_d_type
:
3638 dip
-> at_mod_u_d_type
= diep
;
3640 case AT_element_list
:
3641 dip
-> at_element_list
= diep
;
3642 dip
-> short_element_list
= 0;
3644 case AT_short_element_list
:
3645 dip
-> at_element_list
= diep
;
3646 dip
-> short_element_list
= 1;
3648 case AT_discr_value
:
3649 dip
-> at_discr_value
= diep
;
3651 case AT_string_length
:
3652 dip
-> at_string_length
= diep
;
3655 dip
-> at_name
= diep
;
3658 /* For now, ignore any "hostname:" portion, since gdb doesn't
3659 know how to deal with it. (FIXME). */
3660 dip
-> at_comp_dir
= strrchr (diep
, ':');
3661 if (dip
-> at_comp_dir
!= NULL
)
3663 dip
-> at_comp_dir
++;
3667 dip
-> at_comp_dir
= diep
;
3671 dip
-> at_producer
= diep
;
3673 case AT_start_scope
:
3674 dip
-> at_start_scope
= target_to_host (diep
, nbytes
, GET_UNSIGNED
,
3677 case AT_stride_size
:
3678 dip
-> at_stride_size
= target_to_host (diep
, nbytes
, GET_UNSIGNED
,
3682 dip
-> at_src_info
= target_to_host (diep
, nbytes
, GET_UNSIGNED
,
3686 dip
-> at_prototyped
= diep
;
3689 /* Found an attribute that we are unprepared to handle. However
3690 it is specifically one of the design goals of DWARF that
3691 consumers should ignore unknown attributes. As long as the
3692 form is one that we recognize (so we know how to skip it),
3693 we can just ignore the unknown attribute. */
3696 form
= FORM_FROM_ATTR (attr
);
3710 diep
+= TARGET_FT_POINTER_SIZE (objfile
);
3713 diep
+= 2 + target_to_host (diep
, nbytes
, GET_UNSIGNED
, objfile
);
3716 diep
+= 4 + target_to_host (diep
, nbytes
, GET_UNSIGNED
, objfile
);
3719 diep
+= strlen (diep
) + 1;
3722 complain (&unknown_attribute_form
, DIE_ID
, DIE_NAME
, form
);
3733 target_to_host -- swap in target data to host
3737 target_to_host (char *from, int nbytes, int signextend,
3738 struct objfile *objfile)
3742 Given pointer to data in target format in FROM, a byte count for
3743 the size of the data in NBYTES, a flag indicating whether or not
3744 the data is signed in SIGNEXTEND, and a pointer to the current
3745 objfile in OBJFILE, convert the data to host format and return
3746 the converted value.
3750 FIXME: If we read data that is known to be signed, and expect to
3751 use it as signed data, then we need to explicitly sign extend the
3752 result until the bfd library is able to do this for us.
3754 FIXME: Would a 32 bit target ever need an 8 byte result?
3759 target_to_host (from
, nbytes
, signextend
, objfile
)
3762 int signextend
; /* FIXME: Unused */
3763 struct objfile
*objfile
;
3770 rtnval
= bfd_get_64 (objfile
-> obfd
, (bfd_byte
*) from
);
3773 rtnval
= bfd_get_32 (objfile
-> obfd
, (bfd_byte
*) from
);
3776 rtnval
= bfd_get_16 (objfile
-> obfd
, (bfd_byte
*) from
);
3779 rtnval
= bfd_get_8 (objfile
-> obfd
, (bfd_byte
*) from
);
3782 complain (&no_bfd_get_N
, DIE_ID
, DIE_NAME
, nbytes
);
3793 attribute_size -- compute size of data for a DWARF attribute
3797 static int attribute_size (unsigned int attr)
3801 Given a DWARF attribute in ATTR, compute the size of the first
3802 piece of data associated with this attribute and return that
3805 Returns -1 for unrecognized attributes.
3810 attribute_size (attr
)
3813 int nbytes
; /* Size of next data for this attribute */
3814 unsigned short form
; /* Form of the attribute */
3816 form
= FORM_FROM_ATTR (attr
);
3819 case FORM_STRING
: /* A variable length field is next */
3822 case FORM_DATA2
: /* Next 2 byte field is the data itself */
3823 case FORM_BLOCK2
: /* Next 2 byte field is a block length */
3826 case FORM_DATA4
: /* Next 4 byte field is the data itself */
3827 case FORM_BLOCK4
: /* Next 4 byte field is a block length */
3828 case FORM_REF
: /* Next 4 byte field is a DIE offset */
3831 case FORM_DATA8
: /* Next 8 byte field is the data itself */
3834 case FORM_ADDR
: /* Next field size is target sizeof(void *) */
3835 nbytes
= TARGET_FT_POINTER_SIZE (objfile
);
3838 complain (&unknown_attribute_form
, DIE_ID
, DIE_NAME
, form
);