* dwarf2read.c (read_func_scope): Restore list_in_scope properly
[deliverable/binutils-gdb.git] / gdb / dwarf2read.c
1 /* DWARF 2 debugging format support for GDB.
2 Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002
3 Free Software Foundation, Inc.
4
5 Adapted by Gary Funck (gary@intrepid.com), Intrepid Technology,
6 Inc. with support from Florida State University (under contract
7 with the Ada Joint Program Office), and Silicon Graphics, Inc.
8 Initial contribution by Brent Benson, Harris Computer Systems, Inc.,
9 based on Fred Fish's (Cygnus Support) implementation of DWARF 1
10 support in dwarfread.c
11
12 This file is part of GDB.
13
14 This program is free software; you can redistribute it and/or modify
15 it under the terms of the GNU General Public License as published by
16 the Free Software Foundation; either version 2 of the License, or (at
17 your option) any later version.
18
19 This program is distributed in the hope that it will be useful, but
20 WITHOUT ANY WARRANTY; without even the implied warranty of
21 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
22 General Public License for more details.
23
24 You should have received a copy of the GNU General Public License
25 along with this program; if not, write to the Free Software
26 Foundation, Inc., 59 Temple Place - Suite 330,
27 Boston, MA 02111-1307, USA. */
28
29 #include "defs.h"
30 #include "bfd.h"
31 #include "symtab.h"
32 #include "gdbtypes.h"
33 #include "symfile.h"
34 #include "objfiles.h"
35 #include "elf/dwarf2.h"
36 #include "buildsym.h"
37 #include "demangle.h"
38 #include "expression.h"
39 #include "filenames.h" /* for DOSish file names */
40 #include "macrotab.h"
41
42 #include "language.h"
43 #include "complaints.h"
44 #include "bcache.h"
45 #include <fcntl.h>
46 #include "gdb_string.h"
47 #include "gdb_assert.h"
48 #include <sys/types.h>
49
50 #ifndef DWARF2_REG_TO_REGNUM
51 #define DWARF2_REG_TO_REGNUM(REG) (REG)
52 #endif
53
54 #if 0
55 /* .debug_info header for a compilation unit
56 Because of alignment constraints, this structure has padding and cannot
57 be mapped directly onto the beginning of the .debug_info section. */
58 typedef struct comp_unit_header
59 {
60 unsigned int length; /* length of the .debug_info
61 contribution */
62 unsigned short version; /* version number -- 2 for DWARF
63 version 2 */
64 unsigned int abbrev_offset; /* offset into .debug_abbrev section */
65 unsigned char addr_size; /* byte size of an address -- 4 */
66 }
67 _COMP_UNIT_HEADER;
68 #define _ACTUAL_COMP_UNIT_HEADER_SIZE 11
69 #endif
70
71 /* .debug_pubnames header
72 Because of alignment constraints, this structure has padding and cannot
73 be mapped directly onto the beginning of the .debug_info section. */
74 typedef struct pubnames_header
75 {
76 unsigned int length; /* length of the .debug_pubnames
77 contribution */
78 unsigned char version; /* version number -- 2 for DWARF
79 version 2 */
80 unsigned int info_offset; /* offset into .debug_info section */
81 unsigned int info_size; /* byte size of .debug_info section
82 portion */
83 }
84 _PUBNAMES_HEADER;
85 #define _ACTUAL_PUBNAMES_HEADER_SIZE 13
86
87 /* .debug_pubnames header
88 Because of alignment constraints, this structure has padding and cannot
89 be mapped directly onto the beginning of the .debug_info section. */
90 typedef struct aranges_header
91 {
92 unsigned int length; /* byte len of the .debug_aranges
93 contribution */
94 unsigned short version; /* version number -- 2 for DWARF
95 version 2 */
96 unsigned int info_offset; /* offset into .debug_info section */
97 unsigned char addr_size; /* byte size of an address */
98 unsigned char seg_size; /* byte size of segment descriptor */
99 }
100 _ARANGES_HEADER;
101 #define _ACTUAL_ARANGES_HEADER_SIZE 12
102
103 /* .debug_line statement program prologue
104 Because of alignment constraints, this structure has padding and cannot
105 be mapped directly onto the beginning of the .debug_info section. */
106 typedef struct statement_prologue
107 {
108 unsigned int total_length; /* byte length of the statement
109 information */
110 unsigned short version; /* version number -- 2 for DWARF
111 version 2 */
112 unsigned int prologue_length; /* # bytes between prologue &
113 stmt program */
114 unsigned char minimum_instruction_length; /* byte size of
115 smallest instr */
116 unsigned char default_is_stmt; /* initial value of is_stmt
117 register */
118 char line_base;
119 unsigned char line_range;
120 unsigned char opcode_base; /* number assigned to first special
121 opcode */
122 unsigned char *standard_opcode_lengths;
123 }
124 _STATEMENT_PROLOGUE;
125
126 /* offsets and sizes of debugging sections */
127
128 static file_ptr dwarf_info_offset;
129 static file_ptr dwarf_abbrev_offset;
130 static file_ptr dwarf_line_offset;
131 static file_ptr dwarf_pubnames_offset;
132 static file_ptr dwarf_aranges_offset;
133 static file_ptr dwarf_loc_offset;
134 static file_ptr dwarf_macinfo_offset;
135 static file_ptr dwarf_str_offset;
136 file_ptr dwarf_frame_offset;
137 file_ptr dwarf_eh_frame_offset;
138
139 static unsigned int dwarf_info_size;
140 static unsigned int dwarf_abbrev_size;
141 static unsigned int dwarf_line_size;
142 static unsigned int dwarf_pubnames_size;
143 static unsigned int dwarf_aranges_size;
144 static unsigned int dwarf_loc_size;
145 static unsigned int dwarf_macinfo_size;
146 static unsigned int dwarf_str_size;
147 unsigned int dwarf_frame_size;
148 unsigned int dwarf_eh_frame_size;
149
150 /* names of the debugging sections */
151
152 #define INFO_SECTION ".debug_info"
153 #define ABBREV_SECTION ".debug_abbrev"
154 #define LINE_SECTION ".debug_line"
155 #define PUBNAMES_SECTION ".debug_pubnames"
156 #define ARANGES_SECTION ".debug_aranges"
157 #define LOC_SECTION ".debug_loc"
158 #define MACINFO_SECTION ".debug_macinfo"
159 #define STR_SECTION ".debug_str"
160 #define FRAME_SECTION ".debug_frame"
161 #define EH_FRAME_SECTION ".eh_frame"
162
163 /* local data types */
164
165 /* We hold several abbreviation tables in memory at the same time. */
166 #ifndef ABBREV_HASH_SIZE
167 #define ABBREV_HASH_SIZE 121
168 #endif
169
170 /* The data in a compilation unit header, after target2host
171 translation, looks like this. */
172 struct comp_unit_head
173 {
174 unsigned long length;
175 short version;
176 unsigned int abbrev_offset;
177 unsigned char addr_size;
178 unsigned char signed_addr_p;
179 unsigned int offset_size; /* size of file offsets; either 4 or 8 */
180 unsigned int initial_length_size; /* size of the length field; either
181 4 or 12 */
182
183 /* Offset to the first byte of this compilation unit header in the
184 * .debug_info section, for resolving relative reference dies. */
185
186 unsigned int offset;
187
188 /* Pointer to this compilation unit header in the .debug_info
189 * section */
190
191 char *cu_head_ptr;
192
193 /* Pointer to the first die of this compilatio unit. This will
194 * be the first byte following the compilation unit header. */
195
196 char *first_die_ptr;
197
198 /* Pointer to the next compilation unit header in the program. */
199
200 struct comp_unit_head *next;
201
202 /* DWARF abbreviation table associated with this compilation unit */
203
204 struct abbrev_info *dwarf2_abbrevs[ABBREV_HASH_SIZE];
205 };
206
207 /* The line number information for a compilation unit (found in the
208 .debug_line section) begins with a "statement program header",
209 which contains the following information. */
210 struct line_header
211 {
212 unsigned int total_length;
213 unsigned short version;
214 unsigned int header_length;
215 unsigned char minimum_instruction_length;
216 unsigned char default_is_stmt;
217 int line_base;
218 unsigned char line_range;
219 unsigned char opcode_base;
220
221 /* standard_opcode_lengths[i] is the number of operands for the
222 standard opcode whose value is i. This means that
223 standard_opcode_lengths[0] is unused, and the last meaningful
224 element is standard_opcode_lengths[opcode_base - 1]. */
225 unsigned char *standard_opcode_lengths;
226
227 /* The include_directories table. NOTE! These strings are not
228 allocated with xmalloc; instead, they are pointers into
229 debug_line_buffer. If you try to free them, `free' will get
230 indigestion. */
231 unsigned int num_include_dirs, include_dirs_size;
232 char **include_dirs;
233
234 /* The file_names table. NOTE! These strings are not allocated
235 with xmalloc; instead, they are pointers into debug_line_buffer.
236 Don't try to free them directly. */
237 unsigned int num_file_names, file_names_size;
238 struct file_entry
239 {
240 char *name;
241 unsigned int dir_index;
242 unsigned int mod_time;
243 unsigned int length;
244 } *file_names;
245
246 /* The start and end of the statement program following this
247 header. These point into dwarf_line_buffer. */
248 char *statement_program_start, *statement_program_end;
249 };
250
251 /* When we construct a partial symbol table entry we only
252 need this much information. */
253 struct partial_die_info
254 {
255 enum dwarf_tag tag;
256 unsigned char has_children;
257 unsigned char is_external;
258 unsigned char is_declaration;
259 unsigned char has_type;
260 unsigned int offset;
261 unsigned int abbrev;
262 char *name;
263 int has_pc_info;
264 CORE_ADDR lowpc;
265 CORE_ADDR highpc;
266 struct dwarf_block *locdesc;
267 unsigned int language;
268 char *sibling;
269 };
270
271 /* This data structure holds the information of an abbrev. */
272 struct abbrev_info
273 {
274 unsigned int number; /* number identifying abbrev */
275 enum dwarf_tag tag; /* dwarf tag */
276 int has_children; /* boolean */
277 unsigned int num_attrs; /* number of attributes */
278 struct attr_abbrev *attrs; /* an array of attribute descriptions */
279 struct abbrev_info *next; /* next in chain */
280 };
281
282 struct attr_abbrev
283 {
284 enum dwarf_attribute name;
285 enum dwarf_form form;
286 };
287
288 /* This data structure holds a complete die structure. */
289 struct die_info
290 {
291 enum dwarf_tag tag; /* Tag indicating type of die */
292 unsigned short has_children; /* Does the die have children */
293 unsigned int abbrev; /* Abbrev number */
294 unsigned int offset; /* Offset in .debug_info section */
295 unsigned int num_attrs; /* Number of attributes */
296 struct attribute *attrs; /* An array of attributes */
297 struct die_info *next_ref; /* Next die in ref hash table */
298 struct die_info *next; /* Next die in linked list */
299 struct type *type; /* Cached type information */
300 };
301
302 /* Attributes have a name and a value */
303 struct attribute
304 {
305 enum dwarf_attribute name;
306 enum dwarf_form form;
307 union
308 {
309 char *str;
310 struct dwarf_block *blk;
311 unsigned long unsnd;
312 long int snd;
313 CORE_ADDR addr;
314 }
315 u;
316 };
317
318 struct function_range
319 {
320 const char *name;
321 CORE_ADDR lowpc, highpc;
322 int seen_line;
323 struct function_range *next;
324 };
325
326 static struct function_range *cu_first_fn, *cu_last_fn, *cu_cached_fn;
327
328 /* Get at parts of an attribute structure */
329
330 #define DW_STRING(attr) ((attr)->u.str)
331 #define DW_UNSND(attr) ((attr)->u.unsnd)
332 #define DW_BLOCK(attr) ((attr)->u.blk)
333 #define DW_SND(attr) ((attr)->u.snd)
334 #define DW_ADDR(attr) ((attr)->u.addr)
335
336 /* Blocks are a bunch of untyped bytes. */
337 struct dwarf_block
338 {
339 unsigned int size;
340 char *data;
341 };
342
343 #ifndef ATTR_ALLOC_CHUNK
344 #define ATTR_ALLOC_CHUNK 4
345 #endif
346
347 /* A hash table of die offsets for following references. */
348 #ifndef REF_HASH_SIZE
349 #define REF_HASH_SIZE 1021
350 #endif
351
352 static struct die_info *die_ref_table[REF_HASH_SIZE];
353
354 /* Obstack for allocating temporary storage used during symbol reading. */
355 static struct obstack dwarf2_tmp_obstack;
356
357 /* Offset to the first byte of the current compilation unit header,
358 for resolving relative reference dies. */
359 static unsigned int cu_header_offset;
360
361 /* Allocate fields for structs, unions and enums in this size. */
362 #ifndef DW_FIELD_ALLOC_CHUNK
363 #define DW_FIELD_ALLOC_CHUNK 4
364 #endif
365
366 /* The language we are debugging. */
367 static enum language cu_language;
368 static const struct language_defn *cu_language_defn;
369
370 /* Actually data from the sections. */
371 static char *dwarf_info_buffer;
372 static char *dwarf_abbrev_buffer;
373 static char *dwarf_line_buffer;
374 static char *dwarf_str_buffer;
375 static char *dwarf_macinfo_buffer;
376
377 /* A zeroed version of a partial die for initialization purposes. */
378 static struct partial_die_info zeroed_partial_die;
379
380 /* The generic symbol table building routines have separate lists for
381 file scope symbols and all all other scopes (local scopes). So
382 we need to select the right one to pass to add_symbol_to_list().
383 We do it by keeping a pointer to the correct list in list_in_scope.
384
385 FIXME: The original dwarf code just treated the file scope as the first
386 local scope, and all other local scopes as nested local scopes, and worked
387 fine. Check to see if we really need to distinguish these
388 in buildsym.c. */
389 static struct pending **list_in_scope = &file_symbols;
390
391 /* FIXME: decode_locdesc sets these variables to describe the location
392 to the caller. These ought to be a structure or something. If
393 none of the flags are set, the object lives at the address returned
394 by decode_locdesc. */
395
396 static int optimized_out; /* No ops in location in expression,
397 so object was optimized out. */
398 static int isreg; /* Object lives in register.
399 decode_locdesc's return value is
400 the register number. */
401 static int offreg; /* Object's address is the sum of the
402 register specified by basereg, plus
403 the offset returned. */
404 static int basereg; /* See `offreg'. */
405 static int isderef; /* Value described by flags above is
406 the address of a pointer to the object. */
407 static int islocal; /* Variable is at the returned offset
408 from the frame start, but there's
409 no identified frame pointer for
410 this function, so we can't say
411 which register it's relative to;
412 use LOC_LOCAL. */
413 static int is_thread_local; /* Variable is at a constant offset in the
414 thread-local storage block for the
415 current thread and the dynamic linker
416 module containing this expression.
417 decode_locdesc returns the offset from
418 that base. */
419
420 /* DW_AT_frame_base values for the current function.
421 frame_base_reg is -1 if DW_AT_frame_base is missing, otherwise it
422 contains the register number for the frame register.
423 frame_base_offset is the offset from the frame register to the
424 virtual stack frame. */
425 static int frame_base_reg;
426 static CORE_ADDR frame_base_offset;
427
428 /* This value is added to each symbol value. FIXME: Generalize to
429 the section_offsets structure used by dbxread (once this is done,
430 pass the appropriate section number to end_symtab). */
431 static CORE_ADDR baseaddr; /* Add to each symbol value */
432
433 /* We put a pointer to this structure in the read_symtab_private field
434 of the psymtab.
435 The complete dwarf information for an objfile is kept in the
436 psymbol_obstack, so that absolute die references can be handled.
437 Most of the information in this structure is related to an entire
438 object file and could be passed via the sym_private field of the objfile.
439 It is however conceivable that dwarf2 might not be the only type
440 of symbols read from an object file. */
441
442 struct dwarf2_pinfo
443 {
444 /* Pointer to start of dwarf info buffer for the objfile. */
445
446 char *dwarf_info_buffer;
447
448 /* Offset in dwarf_info_buffer for this compilation unit. */
449
450 unsigned long dwarf_info_offset;
451
452 /* Pointer to start of dwarf abbreviation buffer for the objfile. */
453
454 char *dwarf_abbrev_buffer;
455
456 /* Size of dwarf abbreviation section for the objfile. */
457
458 unsigned int dwarf_abbrev_size;
459
460 /* Pointer to start of dwarf line buffer for the objfile. */
461
462 char *dwarf_line_buffer;
463
464 /* Size of dwarf_line_buffer, in bytes. */
465
466 unsigned int dwarf_line_size;
467
468 /* Pointer to start of dwarf string buffer for the objfile. */
469
470 char *dwarf_str_buffer;
471
472 /* Size of dwarf string section for the objfile. */
473
474 unsigned int dwarf_str_size;
475
476 /* Pointer to start of dwarf macro buffer for the objfile. */
477
478 char *dwarf_macinfo_buffer;
479
480 /* Size of dwarf macinfo section for the objfile. */
481
482 unsigned int dwarf_macinfo_size;
483
484 };
485
486 #define PST_PRIVATE(p) ((struct dwarf2_pinfo *)(p)->read_symtab_private)
487 #define DWARF_INFO_BUFFER(p) (PST_PRIVATE(p)->dwarf_info_buffer)
488 #define DWARF_INFO_OFFSET(p) (PST_PRIVATE(p)->dwarf_info_offset)
489 #define DWARF_ABBREV_BUFFER(p) (PST_PRIVATE(p)->dwarf_abbrev_buffer)
490 #define DWARF_ABBREV_SIZE(p) (PST_PRIVATE(p)->dwarf_abbrev_size)
491 #define DWARF_LINE_BUFFER(p) (PST_PRIVATE(p)->dwarf_line_buffer)
492 #define DWARF_LINE_SIZE(p) (PST_PRIVATE(p)->dwarf_line_size)
493 #define DWARF_STR_BUFFER(p) (PST_PRIVATE(p)->dwarf_str_buffer)
494 #define DWARF_STR_SIZE(p) (PST_PRIVATE(p)->dwarf_str_size)
495 #define DWARF_MACINFO_BUFFER(p) (PST_PRIVATE(p)->dwarf_macinfo_buffer)
496 #define DWARF_MACINFO_SIZE(p) (PST_PRIVATE(p)->dwarf_macinfo_size)
497
498 /* Maintain an array of referenced fundamental types for the current
499 compilation unit being read. For DWARF version 1, we have to construct
500 the fundamental types on the fly, since no information about the
501 fundamental types is supplied. Each such fundamental type is created by
502 calling a language dependent routine to create the type, and then a
503 pointer to that type is then placed in the array at the index specified
504 by it's FT_<TYPENAME> value. The array has a fixed size set by the
505 FT_NUM_MEMBERS compile time constant, which is the number of predefined
506 fundamental types gdb knows how to construct. */
507 static struct type *ftypes[FT_NUM_MEMBERS]; /* Fundamental types */
508
509 /* FIXME: We might want to set this from BFD via bfd_arch_bits_per_byte,
510 but this would require a corresponding change in unpack_field_as_long
511 and friends. */
512 static int bits_per_byte = 8;
513
514 /* The routines that read and process dies for a C struct or C++ class
515 pass lists of data member fields and lists of member function fields
516 in an instance of a field_info structure, as defined below. */
517 struct field_info
518 {
519 /* List of data member and baseclasses fields. */
520 struct nextfield
521 {
522 struct nextfield *next;
523 int accessibility;
524 int virtuality;
525 struct field field;
526 }
527 *fields;
528
529 /* Number of fields. */
530 int nfields;
531
532 /* Number of baseclasses. */
533 int nbaseclasses;
534
535 /* Set if the accesibility of one of the fields is not public. */
536 int non_public_fields;
537
538 /* Member function fields array, entries are allocated in the order they
539 are encountered in the object file. */
540 struct nextfnfield
541 {
542 struct nextfnfield *next;
543 struct fn_field fnfield;
544 }
545 *fnfields;
546
547 /* Member function fieldlist array, contains name of possibly overloaded
548 member function, number of overloaded member functions and a pointer
549 to the head of the member function field chain. */
550 struct fnfieldlist
551 {
552 char *name;
553 int length;
554 struct nextfnfield *head;
555 }
556 *fnfieldlists;
557
558 /* Number of entries in the fnfieldlists array. */
559 int nfnfields;
560 };
561
562 /* Various complaints about symbol reading that don't abort the process */
563
564 static struct deprecated_complaint dwarf2_const_ignored =
565 {
566 "type qualifier 'const' ignored", 0, 0
567 };
568 static struct deprecated_complaint dwarf2_volatile_ignored =
569 {
570 "type qualifier 'volatile' ignored", 0, 0
571 };
572 static struct deprecated_complaint dwarf2_non_const_array_bound_ignored =
573 {
574 "non-constant array bounds form '%s' ignored", 0, 0
575 };
576 static struct deprecated_complaint dwarf2_missing_line_number_section =
577 {
578 "missing .debug_line section", 0, 0
579 };
580 static struct deprecated_complaint dwarf2_statement_list_fits_in_line_number_section =
581 {
582 "statement list doesn't fit in .debug_line section", 0, 0
583 };
584 static struct deprecated_complaint dwarf2_mangled_line_number_section =
585 {
586 "mangled .debug_line section", 0, 0
587 };
588 static struct deprecated_complaint dwarf2_unsupported_die_ref_attr =
589 {
590 "unsupported die ref attribute form: '%s'", 0, 0
591 };
592 static struct deprecated_complaint dwarf2_unsupported_stack_op =
593 {
594 "unsupported stack op: '%s'", 0, 0
595 };
596 static struct deprecated_complaint dwarf2_complex_location_expr =
597 {
598 "location expression too complex", 0, 0
599 };
600 static struct deprecated_complaint dwarf2_unsupported_tag =
601 {
602 "unsupported tag: '%s'", 0, 0
603 };
604 static struct deprecated_complaint dwarf2_unsupported_at_encoding =
605 {
606 "unsupported DW_AT_encoding: '%s'", 0, 0
607 };
608 static struct deprecated_complaint dwarf2_unsupported_at_frame_base =
609 {
610 "unsupported DW_AT_frame_base for function '%s'", 0, 0
611 };
612 static struct deprecated_complaint dwarf2_unexpected_tag =
613 {
614 "unexepected tag in read_type_die: '%s'", 0, 0
615 };
616 static struct deprecated_complaint dwarf2_missing_at_frame_base =
617 {
618 "DW_AT_frame_base missing for DW_OP_fbreg", 0, 0
619 };
620 static struct deprecated_complaint dwarf2_bad_static_member_name =
621 {
622 "unrecognized static data member name '%s'", 0, 0
623 };
624 static struct deprecated_complaint dwarf2_unsupported_accessibility =
625 {
626 "unsupported accessibility %d", 0, 0
627 };
628 static struct deprecated_complaint dwarf2_bad_member_name_complaint =
629 {
630 "cannot extract member name from '%s'", 0, 0
631 };
632 static struct deprecated_complaint dwarf2_missing_member_fn_type_complaint =
633 {
634 "member function type missing for '%s'", 0, 0
635 };
636 static struct deprecated_complaint dwarf2_vtbl_not_found_complaint =
637 {
638 "virtual function table pointer not found when defining class '%s'", 0, 0
639 };
640 static struct deprecated_complaint dwarf2_absolute_sibling_complaint =
641 {
642 "ignoring absolute DW_AT_sibling", 0, 0
643 };
644 static struct deprecated_complaint dwarf2_const_value_length_mismatch =
645 {
646 "const value length mismatch for '%s', got %d, expected %d", 0, 0
647 };
648 static struct deprecated_complaint dwarf2_unsupported_const_value_attr =
649 {
650 "unsupported const value attribute form: '%s'", 0, 0
651 };
652 static struct deprecated_complaint dwarf2_misplaced_line_number =
653 {
654 "misplaced first line number at 0x%lx for '%s'", 0, 0
655 };
656 static struct deprecated_complaint dwarf2_line_header_too_long =
657 {
658 "line number info header doesn't fit in `.debug_line' section", 0, 0
659 };
660 static struct deprecated_complaint dwarf2_missing_macinfo_section =
661 {
662 "missing .debug_macinfo section", 0, 0
663 };
664 static struct deprecated_complaint dwarf2_macros_too_long =
665 {
666 "macro info runs off end of `.debug_macinfo' section", 0, 0
667 };
668 static struct deprecated_complaint dwarf2_macros_not_terminated =
669 {
670 "no terminating 0-type entry for macros in `.debug_macinfo' section", 0, 0
671 };
672 static struct deprecated_complaint dwarf2_macro_outside_file =
673 {
674 "debug info gives macro %s outside of any file: %s", 0, 0
675 };
676 static struct deprecated_complaint dwarf2_macro_unmatched_end_file =
677 {
678 "macro debug info has an unmatched `close_file' directive", 0, 0
679 };
680 static struct deprecated_complaint dwarf2_macro_malformed_definition =
681 {
682 "macro debug info contains a malformed macro definition:\n`%s'", 0, 0
683 };
684 static struct deprecated_complaint dwarf2_macro_spaces_in_definition =
685 {
686 "macro definition contains spaces in formal argument list:\n`%s'", 0, 0
687 };
688 static struct deprecated_complaint dwarf2_invalid_attrib_class =
689 {
690 "invalid attribute class or form for '%s' in '%s'", 0, 0
691 };
692 static struct deprecated_complaint dwarf2_invalid_pointer_size =
693 {
694 "invalid pointer size %d", 0, 0
695 };
696
697 /* local function prototypes */
698
699 static void dwarf2_locate_sections (bfd *, asection *, PTR);
700
701 #if 0
702 static void dwarf2_build_psymtabs_easy (struct objfile *, int);
703 #endif
704
705 static void dwarf2_build_psymtabs_hard (struct objfile *, int);
706
707 static char *scan_partial_symbols (char *, struct objfile *,
708 CORE_ADDR *, CORE_ADDR *,
709 const struct comp_unit_head *);
710
711 static void add_partial_symbol (struct partial_die_info *, struct objfile *,
712 const struct comp_unit_head *);
713
714 static void dwarf2_psymtab_to_symtab (struct partial_symtab *);
715
716 static void psymtab_to_symtab_1 (struct partial_symtab *);
717
718 char *dwarf2_read_section (struct objfile *, file_ptr, unsigned int);
719
720 static void dwarf2_read_abbrevs (bfd *abfd, struct comp_unit_head *cu_header);
721
722 static void dwarf2_empty_abbrev_table (PTR);
723
724 static struct abbrev_info *dwarf2_lookup_abbrev (unsigned int,
725 const struct comp_unit_head *cu_header);
726
727 static char *read_partial_die (struct partial_die_info *,
728 bfd *, char *,
729 const struct comp_unit_head *);
730
731 static char *read_full_die (struct die_info **, bfd *, char *,
732 const struct comp_unit_head *);
733
734 static char *read_attribute (struct attribute *, struct attr_abbrev *,
735 bfd *, char *, const struct comp_unit_head *);
736
737 static char *read_attribute_value (struct attribute *, unsigned,
738 bfd *, char *, const struct comp_unit_head *);
739
740 static unsigned int read_1_byte (bfd *, char *);
741
742 static int read_1_signed_byte (bfd *, char *);
743
744 static unsigned int read_2_bytes (bfd *, char *);
745
746 static unsigned int read_4_bytes (bfd *, char *);
747
748 static unsigned long read_8_bytes (bfd *, char *);
749
750 static CORE_ADDR read_address (bfd *, char *ptr, const struct comp_unit_head *,
751 int *bytes_read);
752
753 static LONGEST read_initial_length (bfd *, char *,
754 struct comp_unit_head *, int *bytes_read);
755
756 static LONGEST read_offset (bfd *, char *, const struct comp_unit_head *,
757 int *bytes_read);
758
759 static char *read_n_bytes (bfd *, char *, unsigned int);
760
761 static char *read_string (bfd *, char *, unsigned int *);
762
763 static char *read_indirect_string (bfd *, char *, const struct comp_unit_head *,
764 unsigned int *);
765
766 static unsigned long read_unsigned_leb128 (bfd *, char *, unsigned int *);
767
768 static long read_signed_leb128 (bfd *, char *, unsigned int *);
769
770 static void set_cu_language (unsigned int);
771
772 static struct attribute *dwarf_attr (struct die_info *, unsigned int);
773
774 static int die_is_declaration (struct die_info *);
775
776 static void free_line_header (struct line_header *lh);
777
778 static struct line_header *(dwarf_decode_line_header
779 (unsigned int offset,
780 bfd *abfd,
781 const struct comp_unit_head *cu_header));
782
783 static void dwarf_decode_lines (struct line_header *, char *, bfd *,
784 const struct comp_unit_head *);
785
786 static void dwarf2_start_subfile (char *, char *);
787
788 static struct symbol *new_symbol (struct die_info *, struct type *,
789 struct objfile *, const struct comp_unit_head *);
790
791 static void dwarf2_const_value (struct attribute *, struct symbol *,
792 struct objfile *, const struct comp_unit_head *);
793
794 static void dwarf2_const_value_data (struct attribute *attr,
795 struct symbol *sym,
796 int bits);
797
798 static struct type *die_type (struct die_info *, struct objfile *,
799 const struct comp_unit_head *);
800
801 static struct type *die_containing_type (struct die_info *, struct objfile *,
802 const struct comp_unit_head *);
803
804 #if 0
805 static struct type *type_at_offset (unsigned int, struct objfile *);
806 #endif
807
808 static struct type *tag_type_to_type (struct die_info *, struct objfile *,
809 const struct comp_unit_head *);
810
811 static void read_type_die (struct die_info *, struct objfile *,
812 const struct comp_unit_head *);
813
814 static void read_typedef (struct die_info *, struct objfile *,
815 const struct comp_unit_head *);
816
817 static void read_base_type (struct die_info *, struct objfile *);
818
819 static void read_file_scope (struct die_info *, struct objfile *,
820 const struct comp_unit_head *);
821
822 static void read_func_scope (struct die_info *, struct objfile *,
823 const struct comp_unit_head *);
824
825 static void read_lexical_block_scope (struct die_info *, struct objfile *,
826 const struct comp_unit_head *);
827
828 static int dwarf2_get_pc_bounds (struct die_info *,
829 CORE_ADDR *, CORE_ADDR *, struct objfile *);
830
831 static void dwarf2_add_field (struct field_info *, struct die_info *,
832 struct objfile *, const struct comp_unit_head *);
833
834 static void dwarf2_attach_fields_to_type (struct field_info *,
835 struct type *, struct objfile *);
836
837 static void dwarf2_add_member_fn (struct field_info *,
838 struct die_info *, struct type *,
839 struct objfile *objfile,
840 const struct comp_unit_head *);
841
842 static void dwarf2_attach_fn_fields_to_type (struct field_info *,
843 struct type *, struct objfile *);
844
845 static void read_structure_scope (struct die_info *, struct objfile *,
846 const struct comp_unit_head *);
847
848 static void read_common_block (struct die_info *, struct objfile *,
849 const struct comp_unit_head *);
850
851 static void read_namespace (struct die_info *die, struct objfile *objfile,
852 const struct comp_unit_head *cu_header);
853
854 static void read_enumeration (struct die_info *, struct objfile *,
855 const struct comp_unit_head *);
856
857 static struct type *dwarf_base_type (int, int, struct objfile *);
858
859 static CORE_ADDR decode_locdesc (struct dwarf_block *, struct objfile *,
860 const struct comp_unit_head *);
861
862 static void read_array_type (struct die_info *, struct objfile *,
863 const struct comp_unit_head *);
864
865 static void read_tag_pointer_type (struct die_info *, struct objfile *,
866 const struct comp_unit_head *);
867
868 static void read_tag_ptr_to_member_type (struct die_info *, struct objfile *,
869 const struct comp_unit_head *);
870
871 static void read_tag_reference_type (struct die_info *, struct objfile *,
872 const struct comp_unit_head *);
873
874 static void read_tag_const_type (struct die_info *, struct objfile *,
875 const struct comp_unit_head *);
876
877 static void read_tag_volatile_type (struct die_info *, struct objfile *,
878 const struct comp_unit_head *);
879
880 static void read_tag_string_type (struct die_info *, struct objfile *);
881
882 static void read_subroutine_type (struct die_info *, struct objfile *,
883 const struct comp_unit_head *);
884
885 static struct die_info *read_comp_unit (char *, bfd *,
886 const struct comp_unit_head *);
887
888 static void free_die_list (struct die_info *);
889
890 static struct cleanup *make_cleanup_free_die_list (struct die_info *);
891
892 static void process_die (struct die_info *, struct objfile *,
893 const struct comp_unit_head *);
894
895 static char *dwarf2_linkage_name (struct die_info *);
896
897 static char *dwarf_tag_name (unsigned int);
898
899 static char *dwarf_attr_name (unsigned int);
900
901 static char *dwarf_form_name (unsigned int);
902
903 static char *dwarf_stack_op_name (unsigned int);
904
905 static char *dwarf_bool_name (unsigned int);
906
907 static char *dwarf_type_encoding_name (unsigned int);
908
909 #if 0
910 static char *dwarf_cfi_name (unsigned int);
911
912 struct die_info *copy_die (struct die_info *);
913 #endif
914
915 static struct die_info *sibling_die (struct die_info *);
916
917 static void dump_die (struct die_info *);
918
919 static void dump_die_list (struct die_info *);
920
921 static void store_in_ref_table (unsigned int, struct die_info *);
922
923 static void dwarf2_empty_hash_tables (void);
924
925 static unsigned int dwarf2_get_ref_die_offset (struct attribute *);
926
927 static struct die_info *follow_die_ref (unsigned int);
928
929 static struct type *dwarf2_fundamental_type (struct objfile *, int);
930
931 /* memory allocation interface */
932
933 static void dwarf2_free_tmp_obstack (PTR);
934
935 static struct dwarf_block *dwarf_alloc_block (void);
936
937 static struct abbrev_info *dwarf_alloc_abbrev (void);
938
939 static struct die_info *dwarf_alloc_die (void);
940
941 static void initialize_cu_func_list (void);
942
943 static void add_to_cu_func_list (const char *, CORE_ADDR, CORE_ADDR);
944
945 static void dwarf_decode_macros (struct line_header *, unsigned int,
946 char *, bfd *, const struct comp_unit_head *,
947 struct objfile *);
948
949 static int attr_form_is_block (struct attribute *);
950
951 /* Try to locate the sections we need for DWARF 2 debugging
952 information and return true if we have enough to do something. */
953
954 int
955 dwarf2_has_info (bfd *abfd)
956 {
957 dwarf_info_offset = 0;
958 dwarf_abbrev_offset = 0;
959 dwarf_line_offset = 0;
960 dwarf_str_offset = 0;
961 dwarf_macinfo_offset = 0;
962 dwarf_frame_offset = 0;
963 dwarf_eh_frame_offset = 0;
964 bfd_map_over_sections (abfd, dwarf2_locate_sections, NULL);
965 if (dwarf_info_offset && dwarf_abbrev_offset)
966 {
967 return 1;
968 }
969 else
970 {
971 return 0;
972 }
973 }
974
975 /* This function is mapped across the sections and remembers the
976 offset and size of each of the debugging sections we are interested
977 in. */
978
979 static void
980 dwarf2_locate_sections (bfd *ignore_abfd, asection *sectp, PTR ignore_ptr)
981 {
982 if (STREQ (sectp->name, INFO_SECTION))
983 {
984 dwarf_info_offset = sectp->filepos;
985 dwarf_info_size = bfd_get_section_size_before_reloc (sectp);
986 }
987 else if (STREQ (sectp->name, ABBREV_SECTION))
988 {
989 dwarf_abbrev_offset = sectp->filepos;
990 dwarf_abbrev_size = bfd_get_section_size_before_reloc (sectp);
991 }
992 else if (STREQ (sectp->name, LINE_SECTION))
993 {
994 dwarf_line_offset = sectp->filepos;
995 dwarf_line_size = bfd_get_section_size_before_reloc (sectp);
996 }
997 else if (STREQ (sectp->name, PUBNAMES_SECTION))
998 {
999 dwarf_pubnames_offset = sectp->filepos;
1000 dwarf_pubnames_size = bfd_get_section_size_before_reloc (sectp);
1001 }
1002 else if (STREQ (sectp->name, ARANGES_SECTION))
1003 {
1004 dwarf_aranges_offset = sectp->filepos;
1005 dwarf_aranges_size = bfd_get_section_size_before_reloc (sectp);
1006 }
1007 else if (STREQ (sectp->name, LOC_SECTION))
1008 {
1009 dwarf_loc_offset = sectp->filepos;
1010 dwarf_loc_size = bfd_get_section_size_before_reloc (sectp);
1011 }
1012 else if (STREQ (sectp->name, MACINFO_SECTION))
1013 {
1014 dwarf_macinfo_offset = sectp->filepos;
1015 dwarf_macinfo_size = bfd_get_section_size_before_reloc (sectp);
1016 }
1017 else if (STREQ (sectp->name, STR_SECTION))
1018 {
1019 dwarf_str_offset = sectp->filepos;
1020 dwarf_str_size = bfd_get_section_size_before_reloc (sectp);
1021 }
1022 else if (STREQ (sectp->name, FRAME_SECTION))
1023 {
1024 dwarf_frame_offset = sectp->filepos;
1025 dwarf_frame_size = bfd_get_section_size_before_reloc (sectp);
1026 }
1027 else if (STREQ (sectp->name, EH_FRAME_SECTION))
1028 {
1029 dwarf_eh_frame_offset = sectp->filepos;
1030 dwarf_eh_frame_size = bfd_get_section_size_before_reloc (sectp);
1031 }
1032 }
1033
1034 /* Build a partial symbol table. */
1035
1036 void
1037 dwarf2_build_psymtabs (struct objfile *objfile, int mainline)
1038 {
1039
1040 /* We definitely need the .debug_info and .debug_abbrev sections */
1041
1042 dwarf_info_buffer = dwarf2_read_section (objfile,
1043 dwarf_info_offset,
1044 dwarf_info_size);
1045 dwarf_abbrev_buffer = dwarf2_read_section (objfile,
1046 dwarf_abbrev_offset,
1047 dwarf_abbrev_size);
1048
1049 if (dwarf_line_offset)
1050 dwarf_line_buffer = dwarf2_read_section (objfile,
1051 dwarf_line_offset,
1052 dwarf_line_size);
1053 else
1054 dwarf_line_buffer = NULL;
1055
1056 if (dwarf_str_offset)
1057 dwarf_str_buffer = dwarf2_read_section (objfile,
1058 dwarf_str_offset,
1059 dwarf_str_size);
1060 else
1061 dwarf_str_buffer = NULL;
1062
1063 if (dwarf_macinfo_offset)
1064 dwarf_macinfo_buffer = dwarf2_read_section (objfile,
1065 dwarf_macinfo_offset,
1066 dwarf_macinfo_size);
1067 else
1068 dwarf_macinfo_buffer = NULL;
1069
1070 if (mainline
1071 || (objfile->global_psymbols.size == 0
1072 && objfile->static_psymbols.size == 0))
1073 {
1074 init_psymbol_list (objfile, 1024);
1075 }
1076
1077 #if 0
1078 if (dwarf_aranges_offset && dwarf_pubnames_offset)
1079 {
1080 /* Things are significantly easier if we have .debug_aranges and
1081 .debug_pubnames sections */
1082
1083 dwarf2_build_psymtabs_easy (objfile, mainline);
1084 }
1085 else
1086 #endif
1087 /* only test this case for now */
1088 {
1089 /* In this case we have to work a bit harder */
1090 dwarf2_build_psymtabs_hard (objfile, mainline);
1091 }
1092 }
1093
1094 #if 0
1095 /* Build the partial symbol table from the information in the
1096 .debug_pubnames and .debug_aranges sections. */
1097
1098 static void
1099 dwarf2_build_psymtabs_easy (struct objfile *objfile, int mainline)
1100 {
1101 bfd *abfd = objfile->obfd;
1102 char *aranges_buffer, *pubnames_buffer;
1103 char *aranges_ptr, *pubnames_ptr;
1104 unsigned int entry_length, version, info_offset, info_size;
1105
1106 pubnames_buffer = dwarf2_read_section (objfile,
1107 dwarf_pubnames_offset,
1108 dwarf_pubnames_size);
1109 pubnames_ptr = pubnames_buffer;
1110 while ((pubnames_ptr - pubnames_buffer) < dwarf_pubnames_size)
1111 {
1112 struct comp_unit_head cu_header;
1113 int bytes_read;
1114
1115 entry_length = read_initial_length (abfd, pubnames_ptr, &cu_header,
1116 &bytes_read);
1117 pubnames_ptr += bytes_read;
1118 version = read_1_byte (abfd, pubnames_ptr);
1119 pubnames_ptr += 1;
1120 info_offset = read_4_bytes (abfd, pubnames_ptr);
1121 pubnames_ptr += 4;
1122 info_size = read_4_bytes (abfd, pubnames_ptr);
1123 pubnames_ptr += 4;
1124 }
1125
1126 aranges_buffer = dwarf2_read_section (objfile,
1127 dwarf_aranges_offset,
1128 dwarf_aranges_size);
1129
1130 }
1131 #endif
1132
1133 /* Read in the comp unit header information from the debug_info at
1134 info_ptr. */
1135
1136 static char *
1137 read_comp_unit_head (struct comp_unit_head *cu_header,
1138 char *info_ptr, bfd *abfd)
1139 {
1140 int signed_addr;
1141 int bytes_read;
1142 cu_header->length = read_initial_length (abfd, info_ptr, cu_header,
1143 &bytes_read);
1144 info_ptr += bytes_read;
1145 cu_header->version = read_2_bytes (abfd, info_ptr);
1146 info_ptr += 2;
1147 cu_header->abbrev_offset = read_offset (abfd, info_ptr, cu_header,
1148 &bytes_read);
1149 info_ptr += bytes_read;
1150 cu_header->addr_size = read_1_byte (abfd, info_ptr);
1151 info_ptr += 1;
1152 signed_addr = bfd_get_sign_extend_vma (abfd);
1153 if (signed_addr < 0)
1154 internal_error (__FILE__, __LINE__,
1155 "read_comp_unit_head: dwarf from non elf file");
1156 cu_header->signed_addr_p = signed_addr;
1157 return info_ptr;
1158 }
1159
1160 /* Build the partial symbol table by doing a quick pass through the
1161 .debug_info and .debug_abbrev sections. */
1162
1163 static void
1164 dwarf2_build_psymtabs_hard (struct objfile *objfile, int mainline)
1165 {
1166 /* Instead of reading this into a big buffer, we should probably use
1167 mmap() on architectures that support it. (FIXME) */
1168 bfd *abfd = objfile->obfd;
1169 char *info_ptr, *abbrev_ptr;
1170 char *beg_of_comp_unit;
1171 struct partial_die_info comp_unit_die;
1172 struct partial_symtab *pst;
1173 struct cleanup *back_to;
1174 CORE_ADDR lowpc, highpc;
1175
1176 info_ptr = dwarf_info_buffer;
1177 abbrev_ptr = dwarf_abbrev_buffer;
1178
1179 /* We use dwarf2_tmp_obstack for objects that don't need to survive
1180 the partial symbol scan, like attribute values.
1181
1182 We could reduce our peak memory consumption during partial symbol
1183 table construction by freeing stuff from this obstack more often
1184 --- say, after processing each compilation unit, or each die ---
1185 but it turns out that this saves almost nothing. For an
1186 executable with 11Mb of Dwarf 2 data, I found about 64k allocated
1187 on dwarf2_tmp_obstack. Some investigation showed:
1188
1189 1) 69% of the attributes used forms DW_FORM_addr, DW_FORM_data*,
1190 DW_FORM_flag, DW_FORM_[su]data, and DW_FORM_ref*. These are
1191 all fixed-length values not requiring dynamic allocation.
1192
1193 2) 30% of the attributes used the form DW_FORM_string. For
1194 DW_FORM_string, read_attribute simply hands back a pointer to
1195 the null-terminated string in dwarf_info_buffer, so no dynamic
1196 allocation is needed there either.
1197
1198 3) The remaining 1% of the attributes all used DW_FORM_block1.
1199 75% of those were DW_AT_frame_base location lists for
1200 functions; the rest were DW_AT_location attributes, probably
1201 for the global variables.
1202
1203 Anyway, what this all means is that the memory the dwarf2
1204 reader uses as temporary space reading partial symbols is about
1205 0.5% as much as we use for dwarf_*_buffer. That's noise. */
1206
1207 obstack_init (&dwarf2_tmp_obstack);
1208 back_to = make_cleanup (dwarf2_free_tmp_obstack, NULL);
1209
1210 /* Since the objects we're extracting from dwarf_info_buffer vary in
1211 length, only the individual functions to extract them (like
1212 read_comp_unit_head and read_partial_die) can really know whether
1213 the buffer is large enough to hold another complete object.
1214
1215 At the moment, they don't actually check that. If
1216 dwarf_info_buffer holds just one extra byte after the last
1217 compilation unit's dies, then read_comp_unit_head will happily
1218 read off the end of the buffer. read_partial_die is similarly
1219 casual. Those functions should be fixed.
1220
1221 For this loop condition, simply checking whether there's any data
1222 left at all should be sufficient. */
1223 while (info_ptr < dwarf_info_buffer + dwarf_info_size)
1224 {
1225 struct comp_unit_head cu_header;
1226 beg_of_comp_unit = info_ptr;
1227 info_ptr = read_comp_unit_head (&cu_header, info_ptr, abfd);
1228
1229 if (cu_header.version != 2)
1230 {
1231 error ("Dwarf Error: wrong version in compilation unit header.");
1232 return;
1233 }
1234 if (cu_header.abbrev_offset >= dwarf_abbrev_size)
1235 {
1236 error ("Dwarf Error: bad offset (0x%lx) in compilation unit header (offset 0x%lx + 6).",
1237 (long) cu_header.abbrev_offset,
1238 (long) (beg_of_comp_unit - dwarf_info_buffer));
1239 return;
1240 }
1241 if (beg_of_comp_unit + cu_header.length + cu_header.initial_length_size
1242 > dwarf_info_buffer + dwarf_info_size)
1243 {
1244 error ("Dwarf Error: bad length (0x%lx) in compilation unit header (offset 0x%lx + 0).",
1245 (long) cu_header.length,
1246 (long) (beg_of_comp_unit - dwarf_info_buffer));
1247 return;
1248 }
1249 /* Complete the cu_header */
1250 cu_header.offset = beg_of_comp_unit - dwarf_info_buffer;
1251 cu_header.first_die_ptr = info_ptr;
1252 cu_header.cu_head_ptr = beg_of_comp_unit;
1253
1254 /* Read the abbrevs for this compilation unit into a table */
1255 dwarf2_read_abbrevs (abfd, &cu_header);
1256 make_cleanup (dwarf2_empty_abbrev_table, cu_header.dwarf2_abbrevs);
1257
1258 /* Read the compilation unit die */
1259 info_ptr = read_partial_die (&comp_unit_die, abfd, info_ptr,
1260 &cu_header);
1261
1262 /* Set the language we're debugging */
1263 set_cu_language (comp_unit_die.language);
1264
1265 /* Allocate a new partial symbol table structure */
1266 pst = start_psymtab_common (objfile, objfile->section_offsets,
1267 comp_unit_die.name ? comp_unit_die.name : "",
1268 comp_unit_die.lowpc,
1269 objfile->global_psymbols.next,
1270 objfile->static_psymbols.next);
1271
1272 pst->read_symtab_private = (char *)
1273 obstack_alloc (&objfile->psymbol_obstack, sizeof (struct dwarf2_pinfo));
1274 cu_header_offset = beg_of_comp_unit - dwarf_info_buffer;
1275 DWARF_INFO_BUFFER (pst) = dwarf_info_buffer;
1276 DWARF_INFO_OFFSET (pst) = beg_of_comp_unit - dwarf_info_buffer;
1277 DWARF_ABBREV_BUFFER (pst) = dwarf_abbrev_buffer;
1278 DWARF_ABBREV_SIZE (pst) = dwarf_abbrev_size;
1279 DWARF_LINE_BUFFER (pst) = dwarf_line_buffer;
1280 DWARF_LINE_SIZE (pst) = dwarf_line_size;
1281 DWARF_STR_BUFFER (pst) = dwarf_str_buffer;
1282 DWARF_STR_SIZE (pst) = dwarf_str_size;
1283 DWARF_MACINFO_BUFFER (pst) = dwarf_macinfo_buffer;
1284 DWARF_MACINFO_SIZE (pst) = dwarf_macinfo_size;
1285 baseaddr = ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
1286
1287 /* Store the function that reads in the rest of the symbol table */
1288 pst->read_symtab = dwarf2_psymtab_to_symtab;
1289
1290 /* Check if comp unit has_children.
1291 If so, read the rest of the partial symbols from this comp unit.
1292 If not, there's no more debug_info for this comp unit. */
1293 if (comp_unit_die.has_children)
1294 {
1295 info_ptr = scan_partial_symbols (info_ptr, objfile, &lowpc, &highpc,
1296 &cu_header);
1297
1298 /* If the compilation unit didn't have an explicit address range,
1299 then use the information extracted from its child dies. */
1300 if (! comp_unit_die.has_pc_info)
1301 {
1302 comp_unit_die.lowpc = lowpc;
1303 comp_unit_die.highpc = highpc;
1304 }
1305 }
1306 pst->textlow = comp_unit_die.lowpc + baseaddr;
1307 pst->texthigh = comp_unit_die.highpc + baseaddr;
1308
1309 pst->n_global_syms = objfile->global_psymbols.next -
1310 (objfile->global_psymbols.list + pst->globals_offset);
1311 pst->n_static_syms = objfile->static_psymbols.next -
1312 (objfile->static_psymbols.list + pst->statics_offset);
1313 sort_pst_symbols (pst);
1314
1315 /* If there is already a psymtab or symtab for a file of this
1316 name, remove it. (If there is a symtab, more drastic things
1317 also happen.) This happens in VxWorks. */
1318 free_named_symtabs (pst->filename);
1319
1320 info_ptr = beg_of_comp_unit + cu_header.length
1321 + cu_header.initial_length_size;
1322 }
1323 do_cleanups (back_to);
1324 }
1325
1326 /* Read in all interesting dies to the end of the compilation unit. */
1327
1328 static char *
1329 scan_partial_symbols (char *info_ptr, struct objfile *objfile,
1330 CORE_ADDR *lowpc, CORE_ADDR *highpc,
1331 const struct comp_unit_head *cu_header)
1332 {
1333 bfd *abfd = objfile->obfd;
1334 struct partial_die_info pdi;
1335
1336 /* This function is called after we've read in the comp_unit_die in
1337 order to read its children. We start the nesting level at 1 since
1338 we have pushed 1 level down in order to read the comp unit's children.
1339 The comp unit itself is at level 0, so we stop reading when we pop
1340 back to that level. */
1341
1342 int nesting_level = 1;
1343
1344 /* We only want to read in symbols corresponding to variables or
1345 other similar objects that are global or static. Normally, these
1346 are all children of the DW_TAG_compile_unit die, so are all at
1347 level 1. But C++ namespaces give ries to DW_TAG_namespace dies
1348 whose children are global objects. So we keep track of what
1349 level we currently think of as referring to file scope; this
1350 should always equal 1 plus the number of namespaces that we are
1351 currently nested within. */
1352
1353 int file_scope_level = 1;
1354
1355 *lowpc = ((CORE_ADDR) -1);
1356 *highpc = ((CORE_ADDR) 0);
1357
1358 while (nesting_level)
1359 {
1360 info_ptr = read_partial_die (&pdi, abfd, info_ptr, cu_header);
1361
1362 if (pdi.name)
1363 {
1364 switch (pdi.tag)
1365 {
1366 case DW_TAG_subprogram:
1367 if (pdi.has_pc_info)
1368 {
1369 if (pdi.lowpc < *lowpc)
1370 {
1371 *lowpc = pdi.lowpc;
1372 }
1373 if (pdi.highpc > *highpc)
1374 {
1375 *highpc = pdi.highpc;
1376 }
1377 if ((pdi.is_external || nesting_level == file_scope_level)
1378 && !pdi.is_declaration)
1379 {
1380 add_partial_symbol (&pdi, objfile, cu_header);
1381 }
1382 }
1383 break;
1384 case DW_TAG_variable:
1385 case DW_TAG_typedef:
1386 case DW_TAG_class_type:
1387 case DW_TAG_structure_type:
1388 case DW_TAG_union_type:
1389 case DW_TAG_enumeration_type:
1390 if ((pdi.is_external || nesting_level == file_scope_level)
1391 && !pdi.is_declaration)
1392 {
1393 add_partial_symbol (&pdi, objfile, cu_header);
1394 }
1395 break;
1396 case DW_TAG_enumerator:
1397 /* File scope enumerators are added to the partial
1398 symbol table. They're children of the enumeration
1399 type die, so they occur at a level one higher than we
1400 normally look for. */
1401 if (nesting_level == file_scope_level + 1)
1402 add_partial_symbol (&pdi, objfile, cu_header);
1403 break;
1404 case DW_TAG_base_type:
1405 /* File scope base type definitions are added to the partial
1406 symbol table. */
1407 if (nesting_level == file_scope_level)
1408 add_partial_symbol (&pdi, objfile, cu_header);
1409 break;
1410 case DW_TAG_namespace:
1411 /* FIXME: carlton/2002-10-16: we're not yet doing
1412 anything useful with this, but for now make sure that
1413 these tags at least don't cause us to miss any
1414 important symbols. */
1415 if (pdi.has_children)
1416 file_scope_level++;
1417 default:
1418 break;
1419 }
1420 }
1421
1422 /* If the die has a sibling, skip to the sibling. Do not skip
1423 enumeration types, we want to record their enumerators. Do
1424 not skip namespaces, we want to record symbols inside
1425 them. */
1426 if (pdi.sibling
1427 && pdi.tag != DW_TAG_enumeration_type
1428 && pdi.tag != DW_TAG_namespace)
1429 {
1430 info_ptr = pdi.sibling;
1431 }
1432 else if (pdi.has_children)
1433 {
1434 /* Die has children, but either the optional DW_AT_sibling
1435 attribute is missing or we want to look at them. */
1436 nesting_level++;
1437 }
1438
1439 if (pdi.tag == 0)
1440 {
1441 nesting_level--;
1442 /* If this is the end of a DW_TAG_namespace entry, then
1443 decrease the file_scope_level, too. */
1444 if (nesting_level < file_scope_level)
1445 {
1446 file_scope_level--;
1447 gdb_assert (nesting_level == file_scope_level);
1448 }
1449 }
1450 }
1451
1452 /* If we didn't find a lowpc, set it to highpc to avoid complaints
1453 from `maint check'. */
1454 if (*lowpc == ((CORE_ADDR) -1))
1455 *lowpc = *highpc;
1456 return info_ptr;
1457 }
1458
1459 static void
1460 add_partial_symbol (struct partial_die_info *pdi, struct objfile *objfile,
1461 const struct comp_unit_head *cu_header)
1462 {
1463 CORE_ADDR addr = 0;
1464
1465 switch (pdi->tag)
1466 {
1467 case DW_TAG_subprogram:
1468 if (pdi->is_external)
1469 {
1470 /*prim_record_minimal_symbol (pdi->name, pdi->lowpc + baseaddr,
1471 mst_text, objfile); */
1472 add_psymbol_to_list (pdi->name, strlen (pdi->name),
1473 VAR_NAMESPACE, LOC_BLOCK,
1474 &objfile->global_psymbols,
1475 0, pdi->lowpc + baseaddr, cu_language, objfile);
1476 }
1477 else
1478 {
1479 /*prim_record_minimal_symbol (pdi->name, pdi->lowpc + baseaddr,
1480 mst_file_text, objfile); */
1481 add_psymbol_to_list (pdi->name, strlen (pdi->name),
1482 VAR_NAMESPACE, LOC_BLOCK,
1483 &objfile->static_psymbols,
1484 0, pdi->lowpc + baseaddr, cu_language, objfile);
1485 }
1486 break;
1487 case DW_TAG_variable:
1488 if (pdi->is_external)
1489 {
1490 /* Global Variable.
1491 Don't enter into the minimal symbol tables as there is
1492 a minimal symbol table entry from the ELF symbols already.
1493 Enter into partial symbol table if it has a location
1494 descriptor or a type.
1495 If the location descriptor is missing, new_symbol will create
1496 a LOC_UNRESOLVED symbol, the address of the variable will then
1497 be determined from the minimal symbol table whenever the variable
1498 is referenced.
1499 The address for the partial symbol table entry is not
1500 used by GDB, but it comes in handy for debugging partial symbol
1501 table building. */
1502
1503 if (pdi->locdesc)
1504 addr = decode_locdesc (pdi->locdesc, objfile, cu_header);
1505 if (pdi->locdesc || pdi->has_type)
1506 add_psymbol_to_list (pdi->name, strlen (pdi->name),
1507 VAR_NAMESPACE, LOC_STATIC,
1508 &objfile->global_psymbols,
1509 0, addr + baseaddr, cu_language, objfile);
1510 }
1511 else
1512 {
1513 /* Static Variable. Skip symbols without location descriptors. */
1514 if (pdi->locdesc == NULL)
1515 return;
1516 addr = decode_locdesc (pdi->locdesc, objfile, cu_header);
1517 /*prim_record_minimal_symbol (pdi->name, addr + baseaddr,
1518 mst_file_data, objfile); */
1519 add_psymbol_to_list (pdi->name, strlen (pdi->name),
1520 VAR_NAMESPACE, LOC_STATIC,
1521 &objfile->static_psymbols,
1522 0, addr + baseaddr, cu_language, objfile);
1523 }
1524 break;
1525 case DW_TAG_typedef:
1526 case DW_TAG_base_type:
1527 add_psymbol_to_list (pdi->name, strlen (pdi->name),
1528 VAR_NAMESPACE, LOC_TYPEDEF,
1529 &objfile->static_psymbols,
1530 0, (CORE_ADDR) 0, cu_language, objfile);
1531 break;
1532 case DW_TAG_class_type:
1533 case DW_TAG_structure_type:
1534 case DW_TAG_union_type:
1535 case DW_TAG_enumeration_type:
1536 /* Skip aggregate types without children, these are external
1537 references. */
1538 if (pdi->has_children == 0)
1539 return;
1540 add_psymbol_to_list (pdi->name, strlen (pdi->name),
1541 STRUCT_NAMESPACE, LOC_TYPEDEF,
1542 &objfile->static_psymbols,
1543 0, (CORE_ADDR) 0, cu_language, objfile);
1544
1545 if (cu_language == language_cplus)
1546 {
1547 /* For C++, these implicitly act as typedefs as well. */
1548 add_psymbol_to_list (pdi->name, strlen (pdi->name),
1549 VAR_NAMESPACE, LOC_TYPEDEF,
1550 &objfile->static_psymbols,
1551 0, (CORE_ADDR) 0, cu_language, objfile);
1552 }
1553 break;
1554 case DW_TAG_enumerator:
1555 add_psymbol_to_list (pdi->name, strlen (pdi->name),
1556 VAR_NAMESPACE, LOC_CONST,
1557 &objfile->static_psymbols,
1558 0, (CORE_ADDR) 0, cu_language, objfile);
1559 break;
1560 default:
1561 break;
1562 }
1563 }
1564
1565 /* Expand this partial symbol table into a full symbol table. */
1566
1567 static void
1568 dwarf2_psymtab_to_symtab (struct partial_symtab *pst)
1569 {
1570 /* FIXME: This is barely more than a stub. */
1571 if (pst != NULL)
1572 {
1573 if (pst->readin)
1574 {
1575 warning ("bug: psymtab for %s is already read in.", pst->filename);
1576 }
1577 else
1578 {
1579 if (info_verbose)
1580 {
1581 printf_filtered ("Reading in symbols for %s...", pst->filename);
1582 gdb_flush (gdb_stdout);
1583 }
1584
1585 psymtab_to_symtab_1 (pst);
1586
1587 /* Finish up the debug error message. */
1588 if (info_verbose)
1589 printf_filtered ("done.\n");
1590 }
1591 }
1592 }
1593
1594 static void
1595 psymtab_to_symtab_1 (struct partial_symtab *pst)
1596 {
1597 struct objfile *objfile = pst->objfile;
1598 bfd *abfd = objfile->obfd;
1599 struct comp_unit_head cu_header;
1600 struct die_info *dies;
1601 unsigned long offset;
1602 CORE_ADDR lowpc, highpc;
1603 struct die_info *child_die;
1604 char *info_ptr;
1605 struct symtab *symtab;
1606 struct cleanup *back_to;
1607
1608 /* Set local variables from the partial symbol table info. */
1609 offset = DWARF_INFO_OFFSET (pst);
1610 dwarf_info_buffer = DWARF_INFO_BUFFER (pst);
1611 dwarf_abbrev_buffer = DWARF_ABBREV_BUFFER (pst);
1612 dwarf_abbrev_size = DWARF_ABBREV_SIZE (pst);
1613 dwarf_line_buffer = DWARF_LINE_BUFFER (pst);
1614 dwarf_line_size = DWARF_LINE_SIZE (pst);
1615 dwarf_str_buffer = DWARF_STR_BUFFER (pst);
1616 dwarf_str_size = DWARF_STR_SIZE (pst);
1617 dwarf_macinfo_buffer = DWARF_MACINFO_BUFFER (pst);
1618 dwarf_macinfo_size = DWARF_MACINFO_SIZE (pst);
1619 baseaddr = ANOFFSET (pst->section_offsets, SECT_OFF_TEXT (objfile));
1620 cu_header_offset = offset;
1621 info_ptr = dwarf_info_buffer + offset;
1622
1623 obstack_init (&dwarf2_tmp_obstack);
1624 back_to = make_cleanup (dwarf2_free_tmp_obstack, NULL);
1625
1626 buildsym_init ();
1627 make_cleanup (really_free_pendings, NULL);
1628
1629 /* read in the comp_unit header */
1630 info_ptr = read_comp_unit_head (&cu_header, info_ptr, abfd);
1631
1632 /* Read the abbrevs for this compilation unit */
1633 dwarf2_read_abbrevs (abfd, &cu_header);
1634 make_cleanup (dwarf2_empty_abbrev_table, cu_header.dwarf2_abbrevs);
1635
1636 dies = read_comp_unit (info_ptr, abfd, &cu_header);
1637
1638 make_cleanup_free_die_list (dies);
1639
1640 /* Do line number decoding in read_file_scope () */
1641 process_die (dies, objfile, &cu_header);
1642
1643 if (!dwarf2_get_pc_bounds (dies, &lowpc, &highpc, objfile))
1644 {
1645 /* Some compilers don't define a DW_AT_high_pc attribute for
1646 the compilation unit. If the DW_AT_high_pc is missing,
1647 synthesize it, by scanning the DIE's below the compilation unit. */
1648 highpc = 0;
1649 if (dies->has_children)
1650 {
1651 child_die = dies->next;
1652 while (child_die && child_die->tag)
1653 {
1654 if (child_die->tag == DW_TAG_subprogram)
1655 {
1656 CORE_ADDR low, high;
1657
1658 if (dwarf2_get_pc_bounds (child_die, &low, &high, objfile))
1659 {
1660 highpc = max (highpc, high);
1661 }
1662 }
1663 child_die = sibling_die (child_die);
1664 }
1665 }
1666 }
1667 symtab = end_symtab (highpc + baseaddr, objfile, SECT_OFF_TEXT (objfile));
1668
1669 /* Set symtab language to language from DW_AT_language.
1670 If the compilation is from a C file generated by language preprocessors,
1671 do not set the language if it was already deduced by start_subfile. */
1672 if (symtab != NULL
1673 && !(cu_language == language_c && symtab->language != language_c))
1674 {
1675 symtab->language = cu_language;
1676 }
1677 pst->symtab = symtab;
1678 pst->readin = 1;
1679 sort_symtab_syms (pst->symtab);
1680
1681 do_cleanups (back_to);
1682 }
1683
1684 /* Process a die and its children. */
1685
1686 static void
1687 process_die (struct die_info *die, struct objfile *objfile,
1688 const struct comp_unit_head *cu_header)
1689 {
1690 switch (die->tag)
1691 {
1692 case DW_TAG_padding:
1693 break;
1694 case DW_TAG_compile_unit:
1695 read_file_scope (die, objfile, cu_header);
1696 break;
1697 case DW_TAG_subprogram:
1698 read_subroutine_type (die, objfile, cu_header);
1699 read_func_scope (die, objfile, cu_header);
1700 break;
1701 case DW_TAG_inlined_subroutine:
1702 /* FIXME: These are ignored for now.
1703 They could be used to set breakpoints on all inlined instances
1704 of a function and make GDB `next' properly over inlined functions. */
1705 break;
1706 case DW_TAG_lexical_block:
1707 read_lexical_block_scope (die, objfile, cu_header);
1708 break;
1709 case DW_TAG_class_type:
1710 case DW_TAG_structure_type:
1711 case DW_TAG_union_type:
1712 read_structure_scope (die, objfile, cu_header);
1713 break;
1714 case DW_TAG_enumeration_type:
1715 read_enumeration (die, objfile, cu_header);
1716 break;
1717 case DW_TAG_subroutine_type:
1718 read_subroutine_type (die, objfile, cu_header);
1719 break;
1720 case DW_TAG_array_type:
1721 read_array_type (die, objfile, cu_header);
1722 break;
1723 case DW_TAG_pointer_type:
1724 read_tag_pointer_type (die, objfile, cu_header);
1725 break;
1726 case DW_TAG_ptr_to_member_type:
1727 read_tag_ptr_to_member_type (die, objfile, cu_header);
1728 break;
1729 case DW_TAG_reference_type:
1730 read_tag_reference_type (die, objfile, cu_header);
1731 break;
1732 case DW_TAG_string_type:
1733 read_tag_string_type (die, objfile);
1734 break;
1735 case DW_TAG_base_type:
1736 read_base_type (die, objfile);
1737 if (dwarf_attr (die, DW_AT_name))
1738 {
1739 /* Add a typedef symbol for the base type definition. */
1740 new_symbol (die, die->type, objfile, cu_header);
1741 }
1742 break;
1743 case DW_TAG_common_block:
1744 read_common_block (die, objfile, cu_header);
1745 break;
1746 case DW_TAG_common_inclusion:
1747 break;
1748 case DW_TAG_namespace:
1749 read_namespace (die, objfile, cu_header);
1750 break;
1751 case DW_TAG_imported_declaration:
1752 case DW_TAG_imported_module:
1753 /* FIXME: carlton/2002-10-16: Eventually, we should use the
1754 information contained in these. DW_TAG_imported_declaration
1755 dies shouldn't have children; DW_TAG_imported_module dies
1756 shouldn't in the C++ case, but conceivably could in the
1757 Fortran case, so we'll have to replace this gdb_assert if
1758 Fortran compilers start generating that info. */
1759 gdb_assert (!die->has_children);
1760 break;
1761 default:
1762 new_symbol (die, NULL, objfile, cu_header);
1763 break;
1764 }
1765 }
1766
1767 static void
1768 initialize_cu_func_list (void)
1769 {
1770 cu_first_fn = cu_last_fn = cu_cached_fn = NULL;
1771 }
1772
1773 static void
1774 read_file_scope (struct die_info *die, struct objfile *objfile,
1775 const struct comp_unit_head *cu_header)
1776 {
1777 struct cleanup *back_to = make_cleanup (null_cleanup, 0);
1778 CORE_ADDR lowpc = ((CORE_ADDR) -1);
1779 CORE_ADDR highpc = ((CORE_ADDR) 0);
1780 struct attribute *attr;
1781 char *name = "<unknown>";
1782 char *comp_dir = NULL;
1783 struct die_info *child_die;
1784 bfd *abfd = objfile->obfd;
1785 struct line_header *line_header = 0;
1786
1787 if (!dwarf2_get_pc_bounds (die, &lowpc, &highpc, objfile))
1788 {
1789 if (die->has_children)
1790 {
1791 child_die = die->next;
1792 while (child_die && child_die->tag)
1793 {
1794 if (child_die->tag == DW_TAG_subprogram)
1795 {
1796 CORE_ADDR low, high;
1797
1798 if (dwarf2_get_pc_bounds (child_die, &low, &high, objfile))
1799 {
1800 lowpc = min (lowpc, low);
1801 highpc = max (highpc, high);
1802 }
1803 }
1804 child_die = sibling_die (child_die);
1805 }
1806 }
1807 }
1808
1809 /* If we didn't find a lowpc, set it to highpc to avoid complaints
1810 from finish_block. */
1811 if (lowpc == ((CORE_ADDR) -1))
1812 lowpc = highpc;
1813 lowpc += baseaddr;
1814 highpc += baseaddr;
1815
1816 attr = dwarf_attr (die, DW_AT_name);
1817 if (attr)
1818 {
1819 name = DW_STRING (attr);
1820 }
1821 attr = dwarf_attr (die, DW_AT_comp_dir);
1822 if (attr)
1823 {
1824 comp_dir = DW_STRING (attr);
1825 if (comp_dir)
1826 {
1827 /* Irix 6.2 native cc prepends <machine>.: to the compilation
1828 directory, get rid of it. */
1829 char *cp = strchr (comp_dir, ':');
1830
1831 if (cp && cp != comp_dir && cp[-1] == '.' && cp[1] == '/')
1832 comp_dir = cp + 1;
1833 }
1834 }
1835
1836 if (objfile->ei.entry_point >= lowpc &&
1837 objfile->ei.entry_point < highpc)
1838 {
1839 objfile->ei.entry_file_lowpc = lowpc;
1840 objfile->ei.entry_file_highpc = highpc;
1841 }
1842
1843 attr = dwarf_attr (die, DW_AT_language);
1844 if (attr)
1845 {
1846 set_cu_language (DW_UNSND (attr));
1847 }
1848
1849 /* We assume that we're processing GCC output. */
1850 processing_gcc_compilation = 2;
1851 #if 0
1852 /* FIXME:Do something here. */
1853 if (dip->at_producer != NULL)
1854 {
1855 handle_producer (dip->at_producer);
1856 }
1857 #endif
1858
1859 /* The compilation unit may be in a different language or objfile,
1860 zero out all remembered fundamental types. */
1861 memset (ftypes, 0, FT_NUM_MEMBERS * sizeof (struct type *));
1862
1863 start_symtab (name, comp_dir, lowpc);
1864 record_debugformat ("DWARF 2");
1865
1866 initialize_cu_func_list ();
1867
1868 /* Process all dies in compilation unit. */
1869 if (die->has_children)
1870 {
1871 child_die = die->next;
1872 while (child_die && child_die->tag)
1873 {
1874 process_die (child_die, objfile, cu_header);
1875 child_die = sibling_die (child_die);
1876 }
1877 }
1878
1879 /* Decode line number information if present. */
1880 attr = dwarf_attr (die, DW_AT_stmt_list);
1881 if (attr)
1882 {
1883 unsigned int line_offset = DW_UNSND (attr);
1884 line_header = dwarf_decode_line_header (line_offset,
1885 abfd, cu_header);
1886 if (line_header)
1887 {
1888 make_cleanup ((make_cleanup_ftype *) free_line_header,
1889 (void *) line_header);
1890 dwarf_decode_lines (line_header, comp_dir, abfd, cu_header);
1891 }
1892 }
1893
1894 /* Decode macro information, if present. Dwarf 2 macro information
1895 refers to information in the line number info statement program
1896 header, so we can only read it if we've read the header
1897 successfully. */
1898 attr = dwarf_attr (die, DW_AT_macro_info);
1899 if (attr && line_header)
1900 {
1901 unsigned int macro_offset = DW_UNSND (attr);
1902 dwarf_decode_macros (line_header, macro_offset,
1903 comp_dir, abfd, cu_header, objfile);
1904 }
1905 do_cleanups (back_to);
1906 }
1907
1908 static void
1909 add_to_cu_func_list (const char *name, CORE_ADDR lowpc, CORE_ADDR highpc)
1910 {
1911 struct function_range *thisfn;
1912
1913 thisfn = (struct function_range *)
1914 obstack_alloc (&dwarf2_tmp_obstack, sizeof (struct function_range));
1915 thisfn->name = name;
1916 thisfn->lowpc = lowpc;
1917 thisfn->highpc = highpc;
1918 thisfn->seen_line = 0;
1919 thisfn->next = NULL;
1920
1921 if (cu_last_fn == NULL)
1922 cu_first_fn = thisfn;
1923 else
1924 cu_last_fn->next = thisfn;
1925
1926 cu_last_fn = thisfn;
1927 }
1928
1929 static void
1930 read_func_scope (struct die_info *die, struct objfile *objfile,
1931 const struct comp_unit_head *cu_header)
1932 {
1933 register struct context_stack *new;
1934 CORE_ADDR lowpc;
1935 CORE_ADDR highpc;
1936 struct die_info *child_die;
1937 struct attribute *attr;
1938 char *name;
1939
1940 name = dwarf2_linkage_name (die);
1941
1942 /* Ignore functions with missing or empty names and functions with
1943 missing or invalid low and high pc attributes. */
1944 if (name == NULL || !dwarf2_get_pc_bounds (die, &lowpc, &highpc, objfile))
1945 return;
1946
1947 lowpc += baseaddr;
1948 highpc += baseaddr;
1949
1950 /* Record the function range for dwarf_decode_lines. */
1951 add_to_cu_func_list (name, lowpc, highpc);
1952
1953 if (objfile->ei.entry_point >= lowpc &&
1954 objfile->ei.entry_point < highpc)
1955 {
1956 objfile->ei.entry_func_lowpc = lowpc;
1957 objfile->ei.entry_func_highpc = highpc;
1958 }
1959
1960 /* Decode DW_AT_frame_base location descriptor if present, keep result
1961 for DW_OP_fbreg operands in decode_locdesc. */
1962 frame_base_reg = -1;
1963 frame_base_offset = 0;
1964 attr = dwarf_attr (die, DW_AT_frame_base);
1965 if (attr)
1966 {
1967 CORE_ADDR addr;
1968
1969 /* Support the .debug_loc offsets */
1970 if (attr_form_is_block (attr))
1971 {
1972 addr = decode_locdesc (DW_BLOCK (attr), objfile, cu_header);
1973 }
1974 else if (attr->form == DW_FORM_data4 || attr->form == DW_FORM_data8)
1975 {
1976 complain (&dwarf2_complex_location_expr);
1977 addr = 0;
1978 }
1979 else
1980 {
1981 complain (&dwarf2_invalid_attrib_class, "DW_AT_frame_base", name);
1982 addr = 0;
1983 }
1984
1985 if (isderef)
1986 complain (&dwarf2_unsupported_at_frame_base, name);
1987 else if (isreg)
1988 frame_base_reg = addr;
1989 else if (offreg)
1990 {
1991 frame_base_reg = basereg;
1992 frame_base_offset = addr;
1993 }
1994 else
1995 complain (&dwarf2_unsupported_at_frame_base, name);
1996 }
1997
1998 new = push_context (0, lowpc);
1999 new->name = new_symbol (die, die->type, objfile, cu_header);
2000 list_in_scope = &local_symbols;
2001
2002 if (die->has_children)
2003 {
2004 child_die = die->next;
2005 while (child_die && child_die->tag)
2006 {
2007 process_die (child_die, objfile, cu_header);
2008 child_die = sibling_die (child_die);
2009 }
2010 }
2011
2012 new = pop_context ();
2013 /* Make a block for the local symbols within. */
2014 finish_block (new->name, &local_symbols, new->old_blocks,
2015 lowpc, highpc, objfile);
2016
2017 /* In C++, we can have functions nested inside functions (e.g., when
2018 a function declares a class that has methods). This means that
2019 when we finish processing a function scope, we may need to go
2020 back to building a containing block's symbol lists. */
2021 local_symbols = new->locals;
2022 param_symbols = new->params;
2023
2024 /* If we've finished processing a top-level function, subsequent
2025 symbols go in the file symbol list. */
2026 if (outermost_context_p ())
2027 list_in_scope = &file_symbols;
2028 }
2029
2030 /* Process all the DIES contained within a lexical block scope. Start
2031 a new scope, process the dies, and then close the scope. */
2032
2033 static void
2034 read_lexical_block_scope (struct die_info *die, struct objfile *objfile,
2035 const struct comp_unit_head *cu_header)
2036 {
2037 register struct context_stack *new;
2038 CORE_ADDR lowpc, highpc;
2039 struct die_info *child_die;
2040
2041 /* Ignore blocks with missing or invalid low and high pc attributes. */
2042 if (!dwarf2_get_pc_bounds (die, &lowpc, &highpc, objfile))
2043 return;
2044 lowpc += baseaddr;
2045 highpc += baseaddr;
2046
2047 push_context (0, lowpc);
2048 if (die->has_children)
2049 {
2050 child_die = die->next;
2051 while (child_die && child_die->tag)
2052 {
2053 process_die (child_die, objfile, cu_header);
2054 child_die = sibling_die (child_die);
2055 }
2056 }
2057 new = pop_context ();
2058
2059 if (local_symbols != NULL)
2060 {
2061 finish_block (0, &local_symbols, new->old_blocks, new->start_addr,
2062 highpc, objfile);
2063 }
2064 local_symbols = new->locals;
2065 }
2066
2067 /* Get low and high pc attributes from a die.
2068 Return 1 if the attributes are present and valid, otherwise, return 0. */
2069
2070 static int
2071 dwarf2_get_pc_bounds (struct die_info *die, CORE_ADDR *lowpc, CORE_ADDR *highpc,
2072 struct objfile *objfile)
2073 {
2074 struct attribute *attr;
2075 CORE_ADDR low;
2076 CORE_ADDR high;
2077
2078 attr = dwarf_attr (die, DW_AT_low_pc);
2079 if (attr)
2080 low = DW_ADDR (attr);
2081 else
2082 return 0;
2083 attr = dwarf_attr (die, DW_AT_high_pc);
2084 if (attr)
2085 high = DW_ADDR (attr);
2086 else
2087 return 0;
2088
2089 if (high < low)
2090 return 0;
2091
2092 /* When using the GNU linker, .gnu.linkonce. sections are used to
2093 eliminate duplicate copies of functions and vtables and such.
2094 The linker will arbitrarily choose one and discard the others.
2095 The AT_*_pc values for such functions refer to local labels in
2096 these sections. If the section from that file was discarded, the
2097 labels are not in the output, so the relocs get a value of 0.
2098 If this is a discarded function, mark the pc bounds as invalid,
2099 so that GDB will ignore it. */
2100 if (low == 0 && (bfd_get_file_flags (objfile->obfd) & HAS_RELOC) == 0)
2101 return 0;
2102
2103 *lowpc = low;
2104 *highpc = high;
2105 return 1;
2106 }
2107
2108 /* Add an aggregate field to the field list. */
2109
2110 static void
2111 dwarf2_add_field (struct field_info *fip, struct die_info *die,
2112 struct objfile *objfile,
2113 const struct comp_unit_head *cu_header)
2114 {
2115 struct nextfield *new_field;
2116 struct attribute *attr;
2117 struct field *fp;
2118 char *fieldname = "";
2119
2120 /* Allocate a new field list entry and link it in. */
2121 new_field = (struct nextfield *) xmalloc (sizeof (struct nextfield));
2122 make_cleanup (xfree, new_field);
2123 memset (new_field, 0, sizeof (struct nextfield));
2124 new_field->next = fip->fields;
2125 fip->fields = new_field;
2126 fip->nfields++;
2127
2128 /* Handle accessibility and virtuality of field.
2129 The default accessibility for members is public, the default
2130 accessibility for inheritance is private. */
2131 if (die->tag != DW_TAG_inheritance)
2132 new_field->accessibility = DW_ACCESS_public;
2133 else
2134 new_field->accessibility = DW_ACCESS_private;
2135 new_field->virtuality = DW_VIRTUALITY_none;
2136
2137 attr = dwarf_attr (die, DW_AT_accessibility);
2138 if (attr)
2139 new_field->accessibility = DW_UNSND (attr);
2140 if (new_field->accessibility != DW_ACCESS_public)
2141 fip->non_public_fields = 1;
2142 attr = dwarf_attr (die, DW_AT_virtuality);
2143 if (attr)
2144 new_field->virtuality = DW_UNSND (attr);
2145
2146 fp = &new_field->field;
2147 if (die->tag == DW_TAG_member)
2148 {
2149 /* Get type of field. */
2150 fp->type = die_type (die, objfile, cu_header);
2151
2152 /* Get bit size of field (zero if none). */
2153 attr = dwarf_attr (die, DW_AT_bit_size);
2154 if (attr)
2155 {
2156 FIELD_BITSIZE (*fp) = DW_UNSND (attr);
2157 }
2158 else
2159 {
2160 FIELD_BITSIZE (*fp) = 0;
2161 }
2162
2163 /* Get bit offset of field. */
2164 attr = dwarf_attr (die, DW_AT_data_member_location);
2165 if (attr)
2166 {
2167 FIELD_BITPOS (*fp) =
2168 decode_locdesc (DW_BLOCK (attr), objfile, cu_header) * bits_per_byte;
2169 }
2170 else
2171 FIELD_BITPOS (*fp) = 0;
2172 attr = dwarf_attr (die, DW_AT_bit_offset);
2173 if (attr)
2174 {
2175 if (BITS_BIG_ENDIAN)
2176 {
2177 /* For big endian bits, the DW_AT_bit_offset gives the
2178 additional bit offset from the MSB of the containing
2179 anonymous object to the MSB of the field. We don't
2180 have to do anything special since we don't need to
2181 know the size of the anonymous object. */
2182 FIELD_BITPOS (*fp) += DW_UNSND (attr);
2183 }
2184 else
2185 {
2186 /* For little endian bits, compute the bit offset to the
2187 MSB of the anonymous object, subtract off the number of
2188 bits from the MSB of the field to the MSB of the
2189 object, and then subtract off the number of bits of
2190 the field itself. The result is the bit offset of
2191 the LSB of the field. */
2192 int anonymous_size;
2193 int bit_offset = DW_UNSND (attr);
2194
2195 attr = dwarf_attr (die, DW_AT_byte_size);
2196 if (attr)
2197 {
2198 /* The size of the anonymous object containing
2199 the bit field is explicit, so use the
2200 indicated size (in bytes). */
2201 anonymous_size = DW_UNSND (attr);
2202 }
2203 else
2204 {
2205 /* The size of the anonymous object containing
2206 the bit field must be inferred from the type
2207 attribute of the data member containing the
2208 bit field. */
2209 anonymous_size = TYPE_LENGTH (fp->type);
2210 }
2211 FIELD_BITPOS (*fp) += anonymous_size * bits_per_byte
2212 - bit_offset - FIELD_BITSIZE (*fp);
2213 }
2214 }
2215
2216 /* Get name of field. */
2217 attr = dwarf_attr (die, DW_AT_name);
2218 if (attr && DW_STRING (attr))
2219 fieldname = DW_STRING (attr);
2220 fp->name = obsavestring (fieldname, strlen (fieldname),
2221 &objfile->type_obstack);
2222
2223 /* Change accessibility for artificial fields (e.g. virtual table
2224 pointer or virtual base class pointer) to private. */
2225 if (dwarf_attr (die, DW_AT_artificial))
2226 {
2227 new_field->accessibility = DW_ACCESS_private;
2228 fip->non_public_fields = 1;
2229 }
2230 }
2231 else if (die->tag == DW_TAG_variable)
2232 {
2233 char *physname;
2234
2235 /* C++ static member.
2236 Get name of field. */
2237 attr = dwarf_attr (die, DW_AT_name);
2238 if (attr && DW_STRING (attr))
2239 fieldname = DW_STRING (attr);
2240 else
2241 return;
2242
2243 /* Get physical name. */
2244 physname = dwarf2_linkage_name (die);
2245
2246 SET_FIELD_PHYSNAME (*fp, obsavestring (physname, strlen (physname),
2247 &objfile->type_obstack));
2248 FIELD_TYPE (*fp) = die_type (die, objfile, cu_header);
2249 FIELD_NAME (*fp) = obsavestring (fieldname, strlen (fieldname),
2250 &objfile->type_obstack);
2251 }
2252 else if (die->tag == DW_TAG_inheritance)
2253 {
2254 /* C++ base class field. */
2255 attr = dwarf_attr (die, DW_AT_data_member_location);
2256 if (attr)
2257 FIELD_BITPOS (*fp) = (decode_locdesc (DW_BLOCK (attr), objfile, cu_header)
2258 * bits_per_byte);
2259 FIELD_BITSIZE (*fp) = 0;
2260 FIELD_TYPE (*fp) = die_type (die, objfile, cu_header);
2261 FIELD_NAME (*fp) = type_name_no_tag (fp->type);
2262 fip->nbaseclasses++;
2263 }
2264 }
2265
2266 /* Create the vector of fields, and attach it to the type. */
2267
2268 static void
2269 dwarf2_attach_fields_to_type (struct field_info *fip, struct type *type,
2270 struct objfile *objfile)
2271 {
2272 int nfields = fip->nfields;
2273
2274 /* Record the field count, allocate space for the array of fields,
2275 and create blank accessibility bitfields if necessary. */
2276 TYPE_NFIELDS (type) = nfields;
2277 TYPE_FIELDS (type) = (struct field *)
2278 TYPE_ALLOC (type, sizeof (struct field) * nfields);
2279 memset (TYPE_FIELDS (type), 0, sizeof (struct field) * nfields);
2280
2281 if (fip->non_public_fields)
2282 {
2283 ALLOCATE_CPLUS_STRUCT_TYPE (type);
2284
2285 TYPE_FIELD_PRIVATE_BITS (type) =
2286 (B_TYPE *) TYPE_ALLOC (type, B_BYTES (nfields));
2287 B_CLRALL (TYPE_FIELD_PRIVATE_BITS (type), nfields);
2288
2289 TYPE_FIELD_PROTECTED_BITS (type) =
2290 (B_TYPE *) TYPE_ALLOC (type, B_BYTES (nfields));
2291 B_CLRALL (TYPE_FIELD_PROTECTED_BITS (type), nfields);
2292
2293 TYPE_FIELD_IGNORE_BITS (type) =
2294 (B_TYPE *) TYPE_ALLOC (type, B_BYTES (nfields));
2295 B_CLRALL (TYPE_FIELD_IGNORE_BITS (type), nfields);
2296 }
2297
2298 /* If the type has baseclasses, allocate and clear a bit vector for
2299 TYPE_FIELD_VIRTUAL_BITS. */
2300 if (fip->nbaseclasses)
2301 {
2302 int num_bytes = B_BYTES (fip->nbaseclasses);
2303 char *pointer;
2304
2305 ALLOCATE_CPLUS_STRUCT_TYPE (type);
2306 pointer = (char *) TYPE_ALLOC (type, num_bytes);
2307 TYPE_FIELD_VIRTUAL_BITS (type) = (B_TYPE *) pointer;
2308 B_CLRALL (TYPE_FIELD_VIRTUAL_BITS (type), fip->nbaseclasses);
2309 TYPE_N_BASECLASSES (type) = fip->nbaseclasses;
2310 }
2311
2312 /* Copy the saved-up fields into the field vector. Start from the head
2313 of the list, adding to the tail of the field array, so that they end
2314 up in the same order in the array in which they were added to the list. */
2315 while (nfields-- > 0)
2316 {
2317 TYPE_FIELD (type, nfields) = fip->fields->field;
2318 switch (fip->fields->accessibility)
2319 {
2320 case DW_ACCESS_private:
2321 SET_TYPE_FIELD_PRIVATE (type, nfields);
2322 break;
2323
2324 case DW_ACCESS_protected:
2325 SET_TYPE_FIELD_PROTECTED (type, nfields);
2326 break;
2327
2328 case DW_ACCESS_public:
2329 break;
2330
2331 default:
2332 /* Unknown accessibility. Complain and treat it as public. */
2333 {
2334 complain (&dwarf2_unsupported_accessibility,
2335 fip->fields->accessibility);
2336 }
2337 break;
2338 }
2339 if (nfields < fip->nbaseclasses)
2340 {
2341 switch (fip->fields->virtuality)
2342 {
2343 case DW_VIRTUALITY_virtual:
2344 case DW_VIRTUALITY_pure_virtual:
2345 SET_TYPE_FIELD_VIRTUAL (type, nfields);
2346 break;
2347 }
2348 }
2349 fip->fields = fip->fields->next;
2350 }
2351 }
2352
2353 /* Add a member function to the proper fieldlist. */
2354
2355 static void
2356 dwarf2_add_member_fn (struct field_info *fip, struct die_info *die,
2357 struct type *type, struct objfile *objfile,
2358 const struct comp_unit_head *cu_header)
2359 {
2360 struct attribute *attr;
2361 struct fnfieldlist *flp;
2362 int i;
2363 struct fn_field *fnp;
2364 char *fieldname;
2365 char *physname;
2366 struct nextfnfield *new_fnfield;
2367
2368 /* Get name of member function. */
2369 attr = dwarf_attr (die, DW_AT_name);
2370 if (attr && DW_STRING (attr))
2371 fieldname = DW_STRING (attr);
2372 else
2373 return;
2374
2375 /* Get the mangled name. */
2376 physname = dwarf2_linkage_name (die);
2377
2378 /* Look up member function name in fieldlist. */
2379 for (i = 0; i < fip->nfnfields; i++)
2380 {
2381 if (STREQ (fip->fnfieldlists[i].name, fieldname))
2382 break;
2383 }
2384
2385 /* Create new list element if necessary. */
2386 if (i < fip->nfnfields)
2387 flp = &fip->fnfieldlists[i];
2388 else
2389 {
2390 if ((fip->nfnfields % DW_FIELD_ALLOC_CHUNK) == 0)
2391 {
2392 fip->fnfieldlists = (struct fnfieldlist *)
2393 xrealloc (fip->fnfieldlists,
2394 (fip->nfnfields + DW_FIELD_ALLOC_CHUNK)
2395 * sizeof (struct fnfieldlist));
2396 if (fip->nfnfields == 0)
2397 make_cleanup (free_current_contents, &fip->fnfieldlists);
2398 }
2399 flp = &fip->fnfieldlists[fip->nfnfields];
2400 flp->name = fieldname;
2401 flp->length = 0;
2402 flp->head = NULL;
2403 fip->nfnfields++;
2404 }
2405
2406 /* Create a new member function field and chain it to the field list
2407 entry. */
2408 new_fnfield = (struct nextfnfield *) xmalloc (sizeof (struct nextfnfield));
2409 make_cleanup (xfree, new_fnfield);
2410 memset (new_fnfield, 0, sizeof (struct nextfnfield));
2411 new_fnfield->next = flp->head;
2412 flp->head = new_fnfield;
2413 flp->length++;
2414
2415 /* Fill in the member function field info. */
2416 fnp = &new_fnfield->fnfield;
2417 fnp->physname = obsavestring (physname, strlen (physname),
2418 &objfile->type_obstack);
2419 fnp->type = alloc_type (objfile);
2420 if (die->type && TYPE_CODE (die->type) == TYPE_CODE_FUNC)
2421 {
2422 struct type *return_type = TYPE_TARGET_TYPE (die->type);
2423 int nparams = TYPE_NFIELDS (die->type);
2424
2425 /* TYPE is the domain of this method, and DIE->TYPE is the type
2426 of the method itself (TYPE_CODE_METHOD). */
2427 smash_to_method_type (fnp->type, type,
2428 TYPE_TARGET_TYPE (die->type),
2429 TYPE_FIELDS (die->type),
2430 TYPE_NFIELDS (die->type),
2431 TYPE_VARARGS (die->type));
2432
2433 /* Handle static member functions.
2434 Dwarf2 has no clean way to discern C++ static and non-static
2435 member functions. G++ helps GDB by marking the first
2436 parameter for non-static member functions (which is the
2437 this pointer) as artificial. We obtain this information
2438 from read_subroutine_type via TYPE_FIELD_ARTIFICIAL. */
2439 if (nparams == 0 || TYPE_FIELD_ARTIFICIAL (die->type, 0) == 0)
2440 fnp->voffset = VOFFSET_STATIC;
2441 }
2442 else
2443 complain (&dwarf2_missing_member_fn_type_complaint, physname);
2444
2445 /* Get fcontext from DW_AT_containing_type if present. */
2446 if (dwarf_attr (die, DW_AT_containing_type) != NULL)
2447 fnp->fcontext = die_containing_type (die, objfile, cu_header);
2448
2449 /* dwarf2 doesn't have stubbed physical names, so the setting of is_const
2450 and is_volatile is irrelevant, as it is needed by gdb_mangle_name only. */
2451
2452 /* Get accessibility. */
2453 attr = dwarf_attr (die, DW_AT_accessibility);
2454 if (attr)
2455 {
2456 switch (DW_UNSND (attr))
2457 {
2458 case DW_ACCESS_private:
2459 fnp->is_private = 1;
2460 break;
2461 case DW_ACCESS_protected:
2462 fnp->is_protected = 1;
2463 break;
2464 }
2465 }
2466
2467 /* Check for artificial methods. */
2468 attr = dwarf_attr (die, DW_AT_artificial);
2469 if (attr && DW_UNSND (attr) != 0)
2470 fnp->is_artificial = 1;
2471
2472 /* Get index in virtual function table if it is a virtual member function. */
2473 attr = dwarf_attr (die, DW_AT_vtable_elem_location);
2474 if (attr)
2475 {
2476 /* Support the .debug_loc offsets */
2477 if (attr_form_is_block (attr))
2478 {
2479 fnp->voffset = decode_locdesc (DW_BLOCK (attr), objfile, cu_header) + 2;
2480 }
2481 else if (attr->form == DW_FORM_data4 || attr->form == DW_FORM_data8)
2482 {
2483 complain (&dwarf2_complex_location_expr);
2484 }
2485 else
2486 {
2487 complain (&dwarf2_invalid_attrib_class, "DW_AT_vtable_elem_location",
2488 fieldname);
2489 }
2490 }
2491 }
2492
2493 /* Create the vector of member function fields, and attach it to the type. */
2494
2495 static void
2496 dwarf2_attach_fn_fields_to_type (struct field_info *fip, struct type *type,
2497 struct objfile *objfile)
2498 {
2499 struct fnfieldlist *flp;
2500 int total_length = 0;
2501 int i;
2502
2503 ALLOCATE_CPLUS_STRUCT_TYPE (type);
2504 TYPE_FN_FIELDLISTS (type) = (struct fn_fieldlist *)
2505 TYPE_ALLOC (type, sizeof (struct fn_fieldlist) * fip->nfnfields);
2506
2507 for (i = 0, flp = fip->fnfieldlists; i < fip->nfnfields; i++, flp++)
2508 {
2509 struct nextfnfield *nfp = flp->head;
2510 struct fn_fieldlist *fn_flp = &TYPE_FN_FIELDLIST (type, i);
2511 int k;
2512
2513 TYPE_FN_FIELDLIST_NAME (type, i) = flp->name;
2514 TYPE_FN_FIELDLIST_LENGTH (type, i) = flp->length;
2515 fn_flp->fn_fields = (struct fn_field *)
2516 TYPE_ALLOC (type, sizeof (struct fn_field) * flp->length);
2517 for (k = flp->length; (k--, nfp); nfp = nfp->next)
2518 fn_flp->fn_fields[k] = nfp->fnfield;
2519
2520 total_length += flp->length;
2521 }
2522
2523 TYPE_NFN_FIELDS (type) = fip->nfnfields;
2524 TYPE_NFN_FIELDS_TOTAL (type) = total_length;
2525 }
2526
2527 /* Called when we find the DIE that starts a structure or union scope
2528 (definition) to process all dies that define the members of the
2529 structure or union.
2530
2531 NOTE: we need to call struct_type regardless of whether or not the
2532 DIE has an at_name attribute, since it might be an anonymous
2533 structure or union. This gets the type entered into our set of
2534 user defined types.
2535
2536 However, if the structure is incomplete (an opaque struct/union)
2537 then suppress creating a symbol table entry for it since gdb only
2538 wants to find the one with the complete definition. Note that if
2539 it is complete, we just call new_symbol, which does it's own
2540 checking about whether the struct/union is anonymous or not (and
2541 suppresses creating a symbol table entry itself). */
2542
2543 static void
2544 read_structure_scope (struct die_info *die, struct objfile *objfile,
2545 const struct comp_unit_head *cu_header)
2546 {
2547 struct type *type;
2548 struct attribute *attr;
2549
2550 type = alloc_type (objfile);
2551
2552 INIT_CPLUS_SPECIFIC (type);
2553 attr = dwarf_attr (die, DW_AT_name);
2554 if (attr && DW_STRING (attr))
2555 {
2556 TYPE_TAG_NAME (type) = obsavestring (DW_STRING (attr),
2557 strlen (DW_STRING (attr)),
2558 &objfile->type_obstack);
2559 }
2560
2561 if (die->tag == DW_TAG_structure_type)
2562 {
2563 TYPE_CODE (type) = TYPE_CODE_STRUCT;
2564 }
2565 else if (die->tag == DW_TAG_union_type)
2566 {
2567 TYPE_CODE (type) = TYPE_CODE_UNION;
2568 }
2569 else
2570 {
2571 /* FIXME: TYPE_CODE_CLASS is currently defined to TYPE_CODE_STRUCT
2572 in gdbtypes.h. */
2573 TYPE_CODE (type) = TYPE_CODE_CLASS;
2574 }
2575
2576 attr = dwarf_attr (die, DW_AT_byte_size);
2577 if (attr)
2578 {
2579 TYPE_LENGTH (type) = DW_UNSND (attr);
2580 }
2581 else
2582 {
2583 TYPE_LENGTH (type) = 0;
2584 }
2585
2586 /* We need to add the type field to the die immediately so we don't
2587 infinitely recurse when dealing with pointers to the structure
2588 type within the structure itself. */
2589 die->type = type;
2590
2591 if (die->has_children && ! die_is_declaration (die))
2592 {
2593 struct field_info fi;
2594 struct die_info *child_die;
2595 struct cleanup *back_to = make_cleanup (null_cleanup, NULL);
2596
2597 memset (&fi, 0, sizeof (struct field_info));
2598
2599 child_die = die->next;
2600
2601 while (child_die && child_die->tag)
2602 {
2603 if (child_die->tag == DW_TAG_member)
2604 {
2605 dwarf2_add_field (&fi, child_die, objfile, cu_header);
2606 }
2607 else if (child_die->tag == DW_TAG_variable)
2608 {
2609 /* C++ static member. */
2610 dwarf2_add_field (&fi, child_die, objfile, cu_header);
2611 }
2612 else if (child_die->tag == DW_TAG_subprogram)
2613 {
2614 /* C++ member function. */
2615 process_die (child_die, objfile, cu_header);
2616 dwarf2_add_member_fn (&fi, child_die, type, objfile, cu_header);
2617 }
2618 else if (child_die->tag == DW_TAG_inheritance)
2619 {
2620 /* C++ base class field. */
2621 dwarf2_add_field (&fi, child_die, objfile, cu_header);
2622 }
2623 else
2624 {
2625 process_die (child_die, objfile, cu_header);
2626 }
2627 child_die = sibling_die (child_die);
2628 }
2629
2630 /* Attach fields and member functions to the type. */
2631 if (fi.nfields)
2632 dwarf2_attach_fields_to_type (&fi, type, objfile);
2633 if (fi.nfnfields)
2634 {
2635 dwarf2_attach_fn_fields_to_type (&fi, type, objfile);
2636
2637 /* Get the type which refers to the base class (possibly this
2638 class itself) which contains the vtable pointer for the current
2639 class from the DW_AT_containing_type attribute. */
2640
2641 if (dwarf_attr (die, DW_AT_containing_type) != NULL)
2642 {
2643 struct type *t = die_containing_type (die, objfile, cu_header);
2644
2645 TYPE_VPTR_BASETYPE (type) = t;
2646 if (type == t)
2647 {
2648 static const char vptr_name[] =
2649 {'_', 'v', 'p', 't', 'r', '\0'};
2650 int i;
2651
2652 /* Our own class provides vtbl ptr. */
2653 for (i = TYPE_NFIELDS (t) - 1;
2654 i >= TYPE_N_BASECLASSES (t);
2655 --i)
2656 {
2657 char *fieldname = TYPE_FIELD_NAME (t, i);
2658
2659 if (STREQN (fieldname, vptr_name, strlen (vptr_name) - 1)
2660 && is_cplus_marker (fieldname[strlen (vptr_name)]))
2661 {
2662 TYPE_VPTR_FIELDNO (type) = i;
2663 break;
2664 }
2665 }
2666
2667 /* Complain if virtual function table field not found. */
2668 if (i < TYPE_N_BASECLASSES (t))
2669 complain (&dwarf2_vtbl_not_found_complaint,
2670 TYPE_TAG_NAME (type) ? TYPE_TAG_NAME (type) : "");
2671 }
2672 else
2673 {
2674 TYPE_VPTR_FIELDNO (type) = TYPE_VPTR_FIELDNO (t);
2675 }
2676 }
2677 }
2678
2679 new_symbol (die, type, objfile, cu_header);
2680
2681 do_cleanups (back_to);
2682 }
2683 else
2684 {
2685 /* No children, must be stub. */
2686 TYPE_FLAGS (type) |= TYPE_FLAG_STUB;
2687 }
2688 }
2689
2690 /* Given a pointer to a die which begins an enumeration, process all
2691 the dies that define the members of the enumeration.
2692
2693 This will be much nicer in draft 6 of the DWARF spec when our
2694 members will be dies instead squished into the DW_AT_element_list
2695 attribute.
2696
2697 NOTE: We reverse the order of the element list. */
2698
2699 static void
2700 read_enumeration (struct die_info *die, struct objfile *objfile,
2701 const struct comp_unit_head *cu_header)
2702 {
2703 struct die_info *child_die;
2704 struct type *type;
2705 struct field *fields;
2706 struct attribute *attr;
2707 struct symbol *sym;
2708 int num_fields;
2709 int unsigned_enum = 1;
2710
2711 type = alloc_type (objfile);
2712
2713 TYPE_CODE (type) = TYPE_CODE_ENUM;
2714 attr = dwarf_attr (die, DW_AT_name);
2715 if (attr && DW_STRING (attr))
2716 {
2717 TYPE_TAG_NAME (type) = obsavestring (DW_STRING (attr),
2718 strlen (DW_STRING (attr)),
2719 &objfile->type_obstack);
2720 }
2721
2722 attr = dwarf_attr (die, DW_AT_byte_size);
2723 if (attr)
2724 {
2725 TYPE_LENGTH (type) = DW_UNSND (attr);
2726 }
2727 else
2728 {
2729 TYPE_LENGTH (type) = 0;
2730 }
2731
2732 num_fields = 0;
2733 fields = NULL;
2734 if (die->has_children)
2735 {
2736 child_die = die->next;
2737 while (child_die && child_die->tag)
2738 {
2739 if (child_die->tag != DW_TAG_enumerator)
2740 {
2741 process_die (child_die, objfile, cu_header);
2742 }
2743 else
2744 {
2745 attr = dwarf_attr (child_die, DW_AT_name);
2746 if (attr)
2747 {
2748 sym = new_symbol (child_die, type, objfile, cu_header);
2749 if (SYMBOL_VALUE (sym) < 0)
2750 unsigned_enum = 0;
2751
2752 if ((num_fields % DW_FIELD_ALLOC_CHUNK) == 0)
2753 {
2754 fields = (struct field *)
2755 xrealloc (fields,
2756 (num_fields + DW_FIELD_ALLOC_CHUNK)
2757 * sizeof (struct field));
2758 }
2759
2760 FIELD_NAME (fields[num_fields]) = SYMBOL_NAME (sym);
2761 FIELD_TYPE (fields[num_fields]) = NULL;
2762 FIELD_BITPOS (fields[num_fields]) = SYMBOL_VALUE (sym);
2763 FIELD_BITSIZE (fields[num_fields]) = 0;
2764
2765 num_fields++;
2766 }
2767 }
2768
2769 child_die = sibling_die (child_die);
2770 }
2771
2772 if (num_fields)
2773 {
2774 TYPE_NFIELDS (type) = num_fields;
2775 TYPE_FIELDS (type) = (struct field *)
2776 TYPE_ALLOC (type, sizeof (struct field) * num_fields);
2777 memcpy (TYPE_FIELDS (type), fields,
2778 sizeof (struct field) * num_fields);
2779 xfree (fields);
2780 }
2781 if (unsigned_enum)
2782 TYPE_FLAGS (type) |= TYPE_FLAG_UNSIGNED;
2783 }
2784 die->type = type;
2785 new_symbol (die, type, objfile, cu_header);
2786 }
2787
2788 /* Extract all information from a DW_TAG_array_type DIE and put it in
2789 the DIE's type field. For now, this only handles one dimensional
2790 arrays. */
2791
2792 static void
2793 read_array_type (struct die_info *die, struct objfile *objfile,
2794 const struct comp_unit_head *cu_header)
2795 {
2796 struct die_info *child_die;
2797 struct type *type = NULL;
2798 struct type *element_type, *range_type, *index_type;
2799 struct type **range_types = NULL;
2800 struct attribute *attr;
2801 int ndim = 0;
2802 struct cleanup *back_to;
2803
2804 /* Return if we've already decoded this type. */
2805 if (die->type)
2806 {
2807 return;
2808 }
2809
2810 element_type = die_type (die, objfile, cu_header);
2811
2812 /* Irix 6.2 native cc creates array types without children for
2813 arrays with unspecified length. */
2814 if (die->has_children == 0)
2815 {
2816 index_type = dwarf2_fundamental_type (objfile, FT_INTEGER);
2817 range_type = create_range_type (NULL, index_type, 0, -1);
2818 die->type = create_array_type (NULL, element_type, range_type);
2819 return;
2820 }
2821
2822 back_to = make_cleanup (null_cleanup, NULL);
2823 child_die = die->next;
2824 while (child_die && child_die->tag)
2825 {
2826 if (child_die->tag == DW_TAG_subrange_type)
2827 {
2828 unsigned int low, high;
2829
2830 /* Default bounds to an array with unspecified length. */
2831 low = 0;
2832 high = -1;
2833 if (cu_language == language_fortran)
2834 {
2835 /* FORTRAN implies a lower bound of 1, if not given. */
2836 low = 1;
2837 }
2838
2839 index_type = die_type (child_die, objfile, cu_header);
2840 attr = dwarf_attr (child_die, DW_AT_lower_bound);
2841 if (attr)
2842 {
2843 if (attr->form == DW_FORM_sdata)
2844 {
2845 low = DW_SND (attr);
2846 }
2847 else if (attr->form == DW_FORM_udata
2848 || attr->form == DW_FORM_data1
2849 || attr->form == DW_FORM_data2
2850 || attr->form == DW_FORM_data4
2851 || attr->form == DW_FORM_data8)
2852 {
2853 low = DW_UNSND (attr);
2854 }
2855 else
2856 {
2857 complain (&dwarf2_non_const_array_bound_ignored,
2858 dwarf_form_name (attr->form));
2859 #ifdef FORTRAN_HACK
2860 die->type = lookup_pointer_type (element_type);
2861 return;
2862 #else
2863 low = 0;
2864 #endif
2865 }
2866 }
2867 attr = dwarf_attr (child_die, DW_AT_upper_bound);
2868 if (attr)
2869 {
2870 if (attr->form == DW_FORM_sdata)
2871 {
2872 high = DW_SND (attr);
2873 }
2874 else if (attr->form == DW_FORM_udata
2875 || attr->form == DW_FORM_data1
2876 || attr->form == DW_FORM_data2
2877 || attr->form == DW_FORM_data4
2878 || attr->form == DW_FORM_data8)
2879 {
2880 high = DW_UNSND (attr);
2881 }
2882 else if (attr->form == DW_FORM_block1)
2883 {
2884 /* GCC encodes arrays with unspecified or dynamic length
2885 with a DW_FORM_block1 attribute.
2886 FIXME: GDB does not yet know how to handle dynamic
2887 arrays properly, treat them as arrays with unspecified
2888 length for now. */
2889 high = -1;
2890 }
2891 else
2892 {
2893 complain (&dwarf2_non_const_array_bound_ignored,
2894 dwarf_form_name (attr->form));
2895 #ifdef FORTRAN_HACK
2896 die->type = lookup_pointer_type (element_type);
2897 return;
2898 #else
2899 high = 1;
2900 #endif
2901 }
2902 }
2903
2904 /* Create a range type and save it for array type creation. */
2905 if ((ndim % DW_FIELD_ALLOC_CHUNK) == 0)
2906 {
2907 range_types = (struct type **)
2908 xrealloc (range_types, (ndim + DW_FIELD_ALLOC_CHUNK)
2909 * sizeof (struct type *));
2910 if (ndim == 0)
2911 make_cleanup (free_current_contents, &range_types);
2912 }
2913 range_types[ndim++] = create_range_type (NULL, index_type, low, high);
2914 }
2915 child_die = sibling_die (child_die);
2916 }
2917
2918 /* Dwarf2 dimensions are output from left to right, create the
2919 necessary array types in backwards order. */
2920 type = element_type;
2921 while (ndim-- > 0)
2922 type = create_array_type (NULL, type, range_types[ndim]);
2923
2924 /* Understand Dwarf2 support for vector types (like they occur on
2925 the PowerPC w/ AltiVec). Gcc just adds another attribute to the
2926 array type. This is not part of the Dwarf2/3 standard yet, but a
2927 custom vendor extension. The main difference between a regular
2928 array and the vector variant is that vectors are passed by value
2929 to functions. */
2930 attr = dwarf_attr (die, DW_AT_GNU_vector);
2931 if (attr)
2932 TYPE_FLAGS (type) |= TYPE_FLAG_VECTOR;
2933
2934 do_cleanups (back_to);
2935
2936 /* Install the type in the die. */
2937 die->type = type;
2938 }
2939
2940 /* First cut: install each common block member as a global variable. */
2941
2942 static void
2943 read_common_block (struct die_info *die, struct objfile *objfile,
2944 const struct comp_unit_head *cu_header)
2945 {
2946 struct die_info *child_die;
2947 struct attribute *attr;
2948 struct symbol *sym;
2949 CORE_ADDR base = (CORE_ADDR) 0;
2950
2951 attr = dwarf_attr (die, DW_AT_location);
2952 if (attr)
2953 {
2954 /* Support the .debug_loc offsets */
2955 if (attr_form_is_block (attr))
2956 {
2957 base = decode_locdesc (DW_BLOCK (attr), objfile, cu_header);
2958 }
2959 else if (attr->form == DW_FORM_data4 || attr->form == DW_FORM_data8)
2960 {
2961 complain (&dwarf2_complex_location_expr);
2962 }
2963 else
2964 {
2965 complain (&dwarf2_invalid_attrib_class, "DW_AT_location",
2966 "common block member");
2967 }
2968 }
2969 if (die->has_children)
2970 {
2971 child_die = die->next;
2972 while (child_die && child_die->tag)
2973 {
2974 sym = new_symbol (child_die, NULL, objfile, cu_header);
2975 attr = dwarf_attr (child_die, DW_AT_data_member_location);
2976 if (attr)
2977 {
2978 SYMBOL_VALUE_ADDRESS (sym) =
2979 base + decode_locdesc (DW_BLOCK (attr), objfile, cu_header);
2980 add_symbol_to_list (sym, &global_symbols);
2981 }
2982 child_die = sibling_die (child_die);
2983 }
2984 }
2985 }
2986
2987 /* Read a C++ namespace. */
2988
2989 /* FIXME: carlton/2002-10-16: For now, we don't actually do anything
2990 useful with the namespace data: we just process its children. */
2991
2992 static void
2993 read_namespace (struct die_info *die, struct objfile *objfile,
2994 const struct comp_unit_head *cu_header)
2995 {
2996 if (die->has_children)
2997 {
2998 struct die_info *child_die = die->next;
2999
3000 while (child_die && child_die->tag)
3001 {
3002 process_die (child_die, objfile, cu_header);
3003 child_die = sibling_die (child_die);
3004 }
3005 }
3006 }
3007
3008 /* Extract all information from a DW_TAG_pointer_type DIE and add to
3009 the user defined type vector. */
3010
3011 static void
3012 read_tag_pointer_type (struct die_info *die, struct objfile *objfile,
3013 const struct comp_unit_head *cu_header)
3014 {
3015 struct type *type;
3016 struct attribute *attr_byte_size;
3017 struct attribute *attr_address_class;
3018 int byte_size, addr_class;
3019
3020 if (die->type)
3021 {
3022 return;
3023 }
3024
3025 type = lookup_pointer_type (die_type (die, objfile, cu_header));
3026
3027 attr_byte_size = dwarf_attr (die, DW_AT_byte_size);
3028 if (attr_byte_size)
3029 byte_size = DW_UNSND (attr_byte_size);
3030 else
3031 byte_size = cu_header->addr_size;
3032
3033 attr_address_class = dwarf_attr (die, DW_AT_address_class);
3034 if (attr_address_class)
3035 addr_class = DW_UNSND (attr_address_class);
3036 else
3037 addr_class = DW_ADDR_none;
3038
3039 /* If the pointer size or address class is different than the
3040 default, create a type variant marked as such and set the
3041 length accordingly. */
3042 if (TYPE_LENGTH (type) != byte_size || addr_class != DW_ADDR_none)
3043 {
3044 if (ADDRESS_CLASS_TYPE_FLAGS_P ())
3045 {
3046 int type_flags;
3047
3048 type_flags = ADDRESS_CLASS_TYPE_FLAGS (byte_size, addr_class);
3049 gdb_assert ((type_flags & ~TYPE_FLAG_ADDRESS_CLASS_ALL) == 0);
3050 type = make_type_with_address_space (type, type_flags);
3051 }
3052 else if (TYPE_LENGTH (type) != byte_size)
3053 {
3054 complain (&dwarf2_invalid_pointer_size, byte_size);
3055 }
3056 else {
3057 /* Should we also complain about unhandled address classes? */
3058 }
3059 }
3060
3061 TYPE_LENGTH (type) = byte_size;
3062 die->type = type;
3063 }
3064
3065 /* Extract all information from a DW_TAG_ptr_to_member_type DIE and add to
3066 the user defined type vector. */
3067
3068 static void
3069 read_tag_ptr_to_member_type (struct die_info *die, struct objfile *objfile,
3070 const struct comp_unit_head *cu_header)
3071 {
3072 struct type *type;
3073 struct type *to_type;
3074 struct type *domain;
3075
3076 if (die->type)
3077 {
3078 return;
3079 }
3080
3081 type = alloc_type (objfile);
3082 to_type = die_type (die, objfile, cu_header);
3083 domain = die_containing_type (die, objfile, cu_header);
3084 smash_to_member_type (type, domain, to_type);
3085
3086 die->type = type;
3087 }
3088
3089 /* Extract all information from a DW_TAG_reference_type DIE and add to
3090 the user defined type vector. */
3091
3092 static void
3093 read_tag_reference_type (struct die_info *die, struct objfile *objfile,
3094 const struct comp_unit_head *cu_header)
3095 {
3096 struct type *type;
3097 struct attribute *attr;
3098
3099 if (die->type)
3100 {
3101 return;
3102 }
3103
3104 type = lookup_reference_type (die_type (die, objfile, cu_header));
3105 attr = dwarf_attr (die, DW_AT_byte_size);
3106 if (attr)
3107 {
3108 TYPE_LENGTH (type) = DW_UNSND (attr);
3109 }
3110 else
3111 {
3112 TYPE_LENGTH (type) = cu_header->addr_size;
3113 }
3114 die->type = type;
3115 }
3116
3117 static void
3118 read_tag_const_type (struct die_info *die, struct objfile *objfile,
3119 const struct comp_unit_head *cu_header)
3120 {
3121 struct type *base_type;
3122
3123 if (die->type)
3124 {
3125 return;
3126 }
3127
3128 base_type = die_type (die, objfile, cu_header);
3129 die->type = make_cv_type (1, TYPE_VOLATILE (base_type), base_type, 0);
3130 }
3131
3132 static void
3133 read_tag_volatile_type (struct die_info *die, struct objfile *objfile,
3134 const struct comp_unit_head *cu_header)
3135 {
3136 struct type *base_type;
3137
3138 if (die->type)
3139 {
3140 return;
3141 }
3142
3143 base_type = die_type (die, objfile, cu_header);
3144 die->type = make_cv_type (TYPE_CONST (base_type), 1, base_type, 0);
3145 }
3146
3147 /* Extract all information from a DW_TAG_string_type DIE and add to
3148 the user defined type vector. It isn't really a user defined type,
3149 but it behaves like one, with other DIE's using an AT_user_def_type
3150 attribute to reference it. */
3151
3152 static void
3153 read_tag_string_type (struct die_info *die, struct objfile *objfile)
3154 {
3155 struct type *type, *range_type, *index_type, *char_type;
3156 struct attribute *attr;
3157 unsigned int length;
3158
3159 if (die->type)
3160 {
3161 return;
3162 }
3163
3164 attr = dwarf_attr (die, DW_AT_string_length);
3165 if (attr)
3166 {
3167 length = DW_UNSND (attr);
3168 }
3169 else
3170 {
3171 /* check for the DW_AT_byte_size attribute */
3172 attr = dwarf_attr (die, DW_AT_byte_size);
3173 if (attr)
3174 {
3175 length = DW_UNSND (attr);
3176 }
3177 else
3178 {
3179 length = 1;
3180 }
3181 }
3182 index_type = dwarf2_fundamental_type (objfile, FT_INTEGER);
3183 range_type = create_range_type (NULL, index_type, 1, length);
3184 if (cu_language == language_fortran)
3185 {
3186 /* Need to create a unique string type for bounds
3187 information */
3188 type = create_string_type (0, range_type);
3189 }
3190 else
3191 {
3192 char_type = dwarf2_fundamental_type (objfile, FT_CHAR);
3193 type = create_string_type (char_type, range_type);
3194 }
3195 die->type = type;
3196 }
3197
3198 /* Handle DIES due to C code like:
3199
3200 struct foo
3201 {
3202 int (*funcp)(int a, long l);
3203 int b;
3204 };
3205
3206 ('funcp' generates a DW_TAG_subroutine_type DIE)
3207 */
3208
3209 static void
3210 read_subroutine_type (struct die_info *die, struct objfile *objfile,
3211 const struct comp_unit_head *cu_header)
3212 {
3213 struct type *type; /* Type that this function returns */
3214 struct type *ftype; /* Function that returns above type */
3215 struct attribute *attr;
3216
3217 /* Decode the type that this subroutine returns */
3218 if (die->type)
3219 {
3220 return;
3221 }
3222 type = die_type (die, objfile, cu_header);
3223 ftype = lookup_function_type (type);
3224
3225 /* All functions in C++ have prototypes. */
3226 attr = dwarf_attr (die, DW_AT_prototyped);
3227 if ((attr && (DW_UNSND (attr) != 0))
3228 || cu_language == language_cplus)
3229 TYPE_FLAGS (ftype) |= TYPE_FLAG_PROTOTYPED;
3230
3231 if (die->has_children)
3232 {
3233 struct die_info *child_die;
3234 int nparams = 0;
3235 int iparams = 0;
3236
3237 /* Count the number of parameters.
3238 FIXME: GDB currently ignores vararg functions, but knows about
3239 vararg member functions. */
3240 child_die = die->next;
3241 while (child_die && child_die->tag)
3242 {
3243 if (child_die->tag == DW_TAG_formal_parameter)
3244 nparams++;
3245 else if (child_die->tag == DW_TAG_unspecified_parameters)
3246 TYPE_FLAGS (ftype) |= TYPE_FLAG_VARARGS;
3247 child_die = sibling_die (child_die);
3248 }
3249
3250 /* Allocate storage for parameters and fill them in. */
3251 TYPE_NFIELDS (ftype) = nparams;
3252 TYPE_FIELDS (ftype) = (struct field *)
3253 TYPE_ALLOC (ftype, nparams * sizeof (struct field));
3254
3255 child_die = die->next;
3256 while (child_die && child_die->tag)
3257 {
3258 if (child_die->tag == DW_TAG_formal_parameter)
3259 {
3260 /* Dwarf2 has no clean way to discern C++ static and non-static
3261 member functions. G++ helps GDB by marking the first
3262 parameter for non-static member functions (which is the
3263 this pointer) as artificial. We pass this information
3264 to dwarf2_add_member_fn via TYPE_FIELD_ARTIFICIAL. */
3265 attr = dwarf_attr (child_die, DW_AT_artificial);
3266 if (attr)
3267 TYPE_FIELD_ARTIFICIAL (ftype, iparams) = DW_UNSND (attr);
3268 else
3269 TYPE_FIELD_ARTIFICIAL (ftype, iparams) = 0;
3270 TYPE_FIELD_TYPE (ftype, iparams) = die_type (child_die, objfile,
3271 cu_header);
3272 iparams++;
3273 }
3274 child_die = sibling_die (child_die);
3275 }
3276 }
3277
3278 die->type = ftype;
3279 }
3280
3281 static void
3282 read_typedef (struct die_info *die, struct objfile *objfile,
3283 const struct comp_unit_head *cu_header)
3284 {
3285 struct attribute *attr;
3286 char *name = NULL;
3287
3288 if (!die->type)
3289 {
3290 attr = dwarf_attr (die, DW_AT_name);
3291 if (attr && DW_STRING (attr))
3292 {
3293 name = DW_STRING (attr);
3294 }
3295 die->type = init_type (TYPE_CODE_TYPEDEF, 0, TYPE_FLAG_TARGET_STUB, name, objfile);
3296 TYPE_TARGET_TYPE (die->type) = die_type (die, objfile, cu_header);
3297 }
3298 }
3299
3300 /* Find a representation of a given base type and install
3301 it in the TYPE field of the die. */
3302
3303 static void
3304 read_base_type (struct die_info *die, struct objfile *objfile)
3305 {
3306 struct type *type;
3307 struct attribute *attr;
3308 int encoding = 0, size = 0;
3309
3310 /* If we've already decoded this die, this is a no-op. */
3311 if (die->type)
3312 {
3313 return;
3314 }
3315
3316 attr = dwarf_attr (die, DW_AT_encoding);
3317 if (attr)
3318 {
3319 encoding = DW_UNSND (attr);
3320 }
3321 attr = dwarf_attr (die, DW_AT_byte_size);
3322 if (attr)
3323 {
3324 size = DW_UNSND (attr);
3325 }
3326 attr = dwarf_attr (die, DW_AT_name);
3327 if (attr && DW_STRING (attr))
3328 {
3329 enum type_code code = TYPE_CODE_INT;
3330 int type_flags = 0;
3331
3332 switch (encoding)
3333 {
3334 case DW_ATE_address:
3335 /* Turn DW_ATE_address into a void * pointer. */
3336 code = TYPE_CODE_PTR;
3337 type_flags |= TYPE_FLAG_UNSIGNED;
3338 break;
3339 case DW_ATE_boolean:
3340 code = TYPE_CODE_BOOL;
3341 type_flags |= TYPE_FLAG_UNSIGNED;
3342 break;
3343 case DW_ATE_complex_float:
3344 code = TYPE_CODE_COMPLEX;
3345 break;
3346 case DW_ATE_float:
3347 code = TYPE_CODE_FLT;
3348 break;
3349 case DW_ATE_signed:
3350 case DW_ATE_signed_char:
3351 break;
3352 case DW_ATE_unsigned:
3353 case DW_ATE_unsigned_char:
3354 type_flags |= TYPE_FLAG_UNSIGNED;
3355 break;
3356 default:
3357 complain (&dwarf2_unsupported_at_encoding,
3358 dwarf_type_encoding_name (encoding));
3359 break;
3360 }
3361 type = init_type (code, size, type_flags, DW_STRING (attr), objfile);
3362 if (encoding == DW_ATE_address)
3363 TYPE_TARGET_TYPE (type) = dwarf2_fundamental_type (objfile, FT_VOID);
3364 else if (encoding == DW_ATE_complex_float)
3365 {
3366 if (size == 32)
3367 TYPE_TARGET_TYPE (type)
3368 = dwarf2_fundamental_type (objfile, FT_EXT_PREC_FLOAT);
3369 else if (size == 16)
3370 TYPE_TARGET_TYPE (type)
3371 = dwarf2_fundamental_type (objfile, FT_DBL_PREC_FLOAT);
3372 else if (size == 8)
3373 TYPE_TARGET_TYPE (type)
3374 = dwarf2_fundamental_type (objfile, FT_FLOAT);
3375 }
3376 }
3377 else
3378 {
3379 type = dwarf_base_type (encoding, size, objfile);
3380 }
3381 die->type = type;
3382 }
3383
3384 /* Read a whole compilation unit into a linked list of dies. */
3385
3386 static struct die_info *
3387 read_comp_unit (char *info_ptr, bfd *abfd,
3388 const struct comp_unit_head *cu_header)
3389 {
3390 struct die_info *first_die, *last_die, *die;
3391 char *cur_ptr;
3392 int nesting_level;
3393
3394 /* Reset die reference table; we are
3395 building new ones now. */
3396 dwarf2_empty_hash_tables ();
3397
3398 cur_ptr = info_ptr;
3399 nesting_level = 0;
3400 first_die = last_die = NULL;
3401 do
3402 {
3403 cur_ptr = read_full_die (&die, abfd, cur_ptr, cu_header);
3404 if (die->has_children)
3405 {
3406 nesting_level++;
3407 }
3408 if (die->tag == 0)
3409 {
3410 nesting_level--;
3411 }
3412
3413 die->next = NULL;
3414
3415 /* Enter die in reference hash table */
3416 store_in_ref_table (die->offset, die);
3417
3418 if (!first_die)
3419 {
3420 first_die = last_die = die;
3421 }
3422 else
3423 {
3424 last_die->next = die;
3425 last_die = die;
3426 }
3427 }
3428 while (nesting_level > 0);
3429 return first_die;
3430 }
3431
3432 /* Free a linked list of dies. */
3433
3434 static void
3435 free_die_list (struct die_info *dies)
3436 {
3437 struct die_info *die, *next;
3438
3439 die = dies;
3440 while (die)
3441 {
3442 next = die->next;
3443 xfree (die->attrs);
3444 xfree (die);
3445 die = next;
3446 }
3447 }
3448
3449 static void
3450 do_free_die_list_cleanup (void *dies)
3451 {
3452 free_die_list (dies);
3453 }
3454
3455 static struct cleanup *
3456 make_cleanup_free_die_list (struct die_info *dies)
3457 {
3458 return make_cleanup (do_free_die_list_cleanup, dies);
3459 }
3460
3461
3462 /* Read the contents of the section at OFFSET and of size SIZE from the
3463 object file specified by OBJFILE into the psymbol_obstack and return it. */
3464
3465 char *
3466 dwarf2_read_section (struct objfile *objfile, file_ptr offset,
3467 unsigned int size)
3468 {
3469 bfd *abfd = objfile->obfd;
3470 char *buf;
3471
3472 if (size == 0)
3473 return NULL;
3474
3475 buf = (char *) obstack_alloc (&objfile->psymbol_obstack, size);
3476 if ((bfd_seek (abfd, offset, SEEK_SET) != 0) ||
3477 (bfd_bread (buf, size, abfd) != size))
3478 {
3479 buf = NULL;
3480 error ("Dwarf Error: Can't read DWARF data from '%s'",
3481 bfd_get_filename (abfd));
3482 }
3483 return buf;
3484 }
3485
3486 /* In DWARF version 2, the description of the debugging information is
3487 stored in a separate .debug_abbrev section. Before we read any
3488 dies from a section we read in all abbreviations and install them
3489 in a hash table. */
3490
3491 static void
3492 dwarf2_read_abbrevs (bfd *abfd, struct comp_unit_head *cu_header)
3493 {
3494 char *abbrev_ptr;
3495 struct abbrev_info *cur_abbrev;
3496 unsigned int abbrev_number, bytes_read, abbrev_name;
3497 unsigned int abbrev_form, hash_number;
3498
3499 /* Initialize dwarf2 abbrevs */
3500 memset (cu_header->dwarf2_abbrevs, 0,
3501 ABBREV_HASH_SIZE*sizeof (struct abbrev_info *));
3502
3503 abbrev_ptr = dwarf_abbrev_buffer + cu_header->abbrev_offset;
3504 abbrev_number = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
3505 abbrev_ptr += bytes_read;
3506
3507 /* loop until we reach an abbrev number of 0 */
3508 while (abbrev_number)
3509 {
3510 cur_abbrev = dwarf_alloc_abbrev ();
3511
3512 /* read in abbrev header */
3513 cur_abbrev->number = abbrev_number;
3514 cur_abbrev->tag = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
3515 abbrev_ptr += bytes_read;
3516 cur_abbrev->has_children = read_1_byte (abfd, abbrev_ptr);
3517 abbrev_ptr += 1;
3518
3519 /* now read in declarations */
3520 abbrev_name = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
3521 abbrev_ptr += bytes_read;
3522 abbrev_form = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
3523 abbrev_ptr += bytes_read;
3524 while (abbrev_name)
3525 {
3526 if ((cur_abbrev->num_attrs % ATTR_ALLOC_CHUNK) == 0)
3527 {
3528 cur_abbrev->attrs = (struct attr_abbrev *)
3529 xrealloc (cur_abbrev->attrs,
3530 (cur_abbrev->num_attrs + ATTR_ALLOC_CHUNK)
3531 * sizeof (struct attr_abbrev));
3532 }
3533 cur_abbrev->attrs[cur_abbrev->num_attrs].name = abbrev_name;
3534 cur_abbrev->attrs[cur_abbrev->num_attrs++].form = abbrev_form;
3535 abbrev_name = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
3536 abbrev_ptr += bytes_read;
3537 abbrev_form = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
3538 abbrev_ptr += bytes_read;
3539 }
3540
3541 hash_number = abbrev_number % ABBREV_HASH_SIZE;
3542 cur_abbrev->next = cu_header->dwarf2_abbrevs[hash_number];
3543 cu_header->dwarf2_abbrevs[hash_number] = cur_abbrev;
3544
3545 /* Get next abbreviation.
3546 Under Irix6 the abbreviations for a compilation unit are not
3547 always properly terminated with an abbrev number of 0.
3548 Exit loop if we encounter an abbreviation which we have
3549 already read (which means we are about to read the abbreviations
3550 for the next compile unit) or if the end of the abbreviation
3551 table is reached. */
3552 if ((unsigned int) (abbrev_ptr - dwarf_abbrev_buffer)
3553 >= dwarf_abbrev_size)
3554 break;
3555 abbrev_number = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
3556 abbrev_ptr += bytes_read;
3557 if (dwarf2_lookup_abbrev (abbrev_number, cu_header) != NULL)
3558 break;
3559 }
3560 }
3561
3562 /* Empty the abbrev table for a new compilation unit. */
3563
3564 /* ARGSUSED */
3565 static void
3566 dwarf2_empty_abbrev_table (PTR ptr_to_abbrevs_table)
3567 {
3568 int i;
3569 struct abbrev_info *abbrev, *next;
3570 struct abbrev_info **abbrevs;
3571
3572 abbrevs = (struct abbrev_info **)ptr_to_abbrevs_table;
3573
3574 for (i = 0; i < ABBREV_HASH_SIZE; ++i)
3575 {
3576 next = NULL;
3577 abbrev = abbrevs[i];
3578 while (abbrev)
3579 {
3580 next = abbrev->next;
3581 xfree (abbrev->attrs);
3582 xfree (abbrev);
3583 abbrev = next;
3584 }
3585 abbrevs[i] = NULL;
3586 }
3587 }
3588
3589 /* Lookup an abbrev_info structure in the abbrev hash table. */
3590
3591 static struct abbrev_info *
3592 dwarf2_lookup_abbrev (unsigned int number, const struct comp_unit_head *cu_header)
3593 {
3594 unsigned int hash_number;
3595 struct abbrev_info *abbrev;
3596
3597 hash_number = number % ABBREV_HASH_SIZE;
3598 abbrev = cu_header->dwarf2_abbrevs[hash_number];
3599
3600 while (abbrev)
3601 {
3602 if (abbrev->number == number)
3603 return abbrev;
3604 else
3605 abbrev = abbrev->next;
3606 }
3607 return NULL;
3608 }
3609
3610 /* Read a minimal amount of information into the minimal die structure. */
3611
3612 static char *
3613 read_partial_die (struct partial_die_info *part_die, bfd *abfd,
3614 char *info_ptr, const struct comp_unit_head *cu_header)
3615 {
3616 unsigned int abbrev_number, bytes_read, i;
3617 struct abbrev_info *abbrev;
3618 struct attribute attr;
3619 struct attribute spec_attr;
3620 int found_spec_attr = 0;
3621 int has_low_pc_attr = 0;
3622 int has_high_pc_attr = 0;
3623
3624 *part_die = zeroed_partial_die;
3625 abbrev_number = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
3626 info_ptr += bytes_read;
3627 if (!abbrev_number)
3628 return info_ptr;
3629
3630 abbrev = dwarf2_lookup_abbrev (abbrev_number, cu_header);
3631 if (!abbrev)
3632 {
3633 error ("Dwarf Error: Could not find abbrev number %d.", abbrev_number);
3634 }
3635 part_die->offset = info_ptr - dwarf_info_buffer;
3636 part_die->tag = abbrev->tag;
3637 part_die->has_children = abbrev->has_children;
3638 part_die->abbrev = abbrev_number;
3639
3640 for (i = 0; i < abbrev->num_attrs; ++i)
3641 {
3642 info_ptr = read_attribute (&attr, &abbrev->attrs[i], abfd,
3643 info_ptr, cu_header);
3644
3645 /* Store the data if it is of an attribute we want to keep in a
3646 partial symbol table. */
3647 switch (attr.name)
3648 {
3649 case DW_AT_name:
3650
3651 /* Prefer DW_AT_MIPS_linkage_name over DW_AT_name. */
3652 if (part_die->name == NULL)
3653 part_die->name = DW_STRING (&attr);
3654 break;
3655 case DW_AT_MIPS_linkage_name:
3656 part_die->name = DW_STRING (&attr);
3657 break;
3658 case DW_AT_low_pc:
3659 has_low_pc_attr = 1;
3660 part_die->lowpc = DW_ADDR (&attr);
3661 break;
3662 case DW_AT_high_pc:
3663 has_high_pc_attr = 1;
3664 part_die->highpc = DW_ADDR (&attr);
3665 break;
3666 case DW_AT_location:
3667 /* Support the .debug_loc offsets */
3668 if (attr_form_is_block (&attr))
3669 {
3670 part_die->locdesc = DW_BLOCK (&attr);
3671 }
3672 else if (attr.form == DW_FORM_data4 || attr.form == DW_FORM_data8)
3673 {
3674 complain (&dwarf2_complex_location_expr);
3675 }
3676 else
3677 {
3678 complain (&dwarf2_invalid_attrib_class, "DW_AT_location",
3679 "partial symbol information");
3680 }
3681 break;
3682 case DW_AT_language:
3683 part_die->language = DW_UNSND (&attr);
3684 break;
3685 case DW_AT_external:
3686 part_die->is_external = DW_UNSND (&attr);
3687 break;
3688 case DW_AT_declaration:
3689 part_die->is_declaration = DW_UNSND (&attr);
3690 break;
3691 case DW_AT_type:
3692 part_die->has_type = 1;
3693 break;
3694 case DW_AT_abstract_origin:
3695 case DW_AT_specification:
3696 found_spec_attr = 1;
3697 spec_attr = attr;
3698 break;
3699 case DW_AT_sibling:
3700 /* Ignore absolute siblings, they might point outside of
3701 the current compile unit. */
3702 if (attr.form == DW_FORM_ref_addr)
3703 complain (&dwarf2_absolute_sibling_complaint);
3704 else
3705 part_die->sibling =
3706 dwarf_info_buffer + dwarf2_get_ref_die_offset (&attr);
3707 break;
3708 default:
3709 break;
3710 }
3711 }
3712
3713 /* If we found a reference attribute and the die has no name, try
3714 to find a name in the referred to die. */
3715
3716 if (found_spec_attr && part_die->name == NULL)
3717 {
3718 struct partial_die_info spec_die;
3719 char *spec_ptr;
3720 int dummy;
3721
3722 spec_ptr = dwarf_info_buffer + dwarf2_get_ref_die_offset (&spec_attr);
3723 read_partial_die (&spec_die, abfd, spec_ptr, cu_header);
3724 if (spec_die.name)
3725 {
3726 part_die->name = spec_die.name;
3727
3728 /* Copy DW_AT_external attribute if it is set. */
3729 if (spec_die.is_external)
3730 part_die->is_external = spec_die.is_external;
3731 }
3732 }
3733
3734 /* When using the GNU linker, .gnu.linkonce. sections are used to
3735 eliminate duplicate copies of functions and vtables and such.
3736 The linker will arbitrarily choose one and discard the others.
3737 The AT_*_pc values for such functions refer to local labels in
3738 these sections. If the section from that file was discarded, the
3739 labels are not in the output, so the relocs get a value of 0.
3740 If this is a discarded function, mark the pc bounds as invalid,
3741 so that GDB will ignore it. */
3742 if (has_low_pc_attr && has_high_pc_attr
3743 && part_die->lowpc < part_die->highpc
3744 && (part_die->lowpc != 0
3745 || (bfd_get_file_flags (abfd) & HAS_RELOC)))
3746 part_die->has_pc_info = 1;
3747 return info_ptr;
3748 }
3749
3750 /* Read the die from the .debug_info section buffer. And set diep to
3751 point to a newly allocated die with its information. */
3752
3753 static char *
3754 read_full_die (struct die_info **diep, bfd *abfd, char *info_ptr,
3755 const struct comp_unit_head *cu_header)
3756 {
3757 unsigned int abbrev_number, bytes_read, i, offset;
3758 struct abbrev_info *abbrev;
3759 struct die_info *die;
3760
3761 offset = info_ptr - dwarf_info_buffer;
3762 abbrev_number = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
3763 info_ptr += bytes_read;
3764 if (!abbrev_number)
3765 {
3766 die = dwarf_alloc_die ();
3767 die->tag = 0;
3768 die->abbrev = abbrev_number;
3769 die->type = NULL;
3770 *diep = die;
3771 return info_ptr;
3772 }
3773
3774 abbrev = dwarf2_lookup_abbrev (abbrev_number, cu_header);
3775 if (!abbrev)
3776 {
3777 error ("Dwarf Error: could not find abbrev number %d.", abbrev_number);
3778 }
3779 die = dwarf_alloc_die ();
3780 die->offset = offset;
3781 die->tag = abbrev->tag;
3782 die->has_children = abbrev->has_children;
3783 die->abbrev = abbrev_number;
3784 die->type = NULL;
3785
3786 die->num_attrs = abbrev->num_attrs;
3787 die->attrs = (struct attribute *)
3788 xmalloc (die->num_attrs * sizeof (struct attribute));
3789
3790 for (i = 0; i < abbrev->num_attrs; ++i)
3791 {
3792 info_ptr = read_attribute (&die->attrs[i], &abbrev->attrs[i],
3793 abfd, info_ptr, cu_header);
3794 }
3795
3796 *diep = die;
3797 return info_ptr;
3798 }
3799
3800 /* Read an attribute value described by an attribute form. */
3801
3802 static char *
3803 read_attribute_value (struct attribute *attr, unsigned form,
3804 bfd *abfd, char *info_ptr,
3805 const struct comp_unit_head *cu_header)
3806 {
3807 unsigned int bytes_read;
3808 struct dwarf_block *blk;
3809
3810 attr->form = form;
3811 switch (form)
3812 {
3813 case DW_FORM_addr:
3814 case DW_FORM_ref_addr:
3815 DW_ADDR (attr) = read_address (abfd, info_ptr, cu_header, &bytes_read);
3816 info_ptr += bytes_read;
3817 break;
3818 case DW_FORM_block2:
3819 blk = dwarf_alloc_block ();
3820 blk->size = read_2_bytes (abfd, info_ptr);
3821 info_ptr += 2;
3822 blk->data = read_n_bytes (abfd, info_ptr, blk->size);
3823 info_ptr += blk->size;
3824 DW_BLOCK (attr) = blk;
3825 break;
3826 case DW_FORM_block4:
3827 blk = dwarf_alloc_block ();
3828 blk->size = read_4_bytes (abfd, info_ptr);
3829 info_ptr += 4;
3830 blk->data = read_n_bytes (abfd, info_ptr, blk->size);
3831 info_ptr += blk->size;
3832 DW_BLOCK (attr) = blk;
3833 break;
3834 case DW_FORM_data2:
3835 DW_UNSND (attr) = read_2_bytes (abfd, info_ptr);
3836 info_ptr += 2;
3837 break;
3838 case DW_FORM_data4:
3839 DW_UNSND (attr) = read_4_bytes (abfd, info_ptr);
3840 info_ptr += 4;
3841 break;
3842 case DW_FORM_data8:
3843 DW_UNSND (attr) = read_8_bytes (abfd, info_ptr);
3844 info_ptr += 8;
3845 break;
3846 case DW_FORM_string:
3847 DW_STRING (attr) = read_string (abfd, info_ptr, &bytes_read);
3848 info_ptr += bytes_read;
3849 break;
3850 case DW_FORM_strp:
3851 DW_STRING (attr) = read_indirect_string (abfd, info_ptr, cu_header,
3852 &bytes_read);
3853 info_ptr += bytes_read;
3854 break;
3855 case DW_FORM_block:
3856 blk = dwarf_alloc_block ();
3857 blk->size = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
3858 info_ptr += bytes_read;
3859 blk->data = read_n_bytes (abfd, info_ptr, blk->size);
3860 info_ptr += blk->size;
3861 DW_BLOCK (attr) = blk;
3862 break;
3863 case DW_FORM_block1:
3864 blk = dwarf_alloc_block ();
3865 blk->size = read_1_byte (abfd, info_ptr);
3866 info_ptr += 1;
3867 blk->data = read_n_bytes (abfd, info_ptr, blk->size);
3868 info_ptr += blk->size;
3869 DW_BLOCK (attr) = blk;
3870 break;
3871 case DW_FORM_data1:
3872 DW_UNSND (attr) = read_1_byte (abfd, info_ptr);
3873 info_ptr += 1;
3874 break;
3875 case DW_FORM_flag:
3876 DW_UNSND (attr) = read_1_byte (abfd, info_ptr);
3877 info_ptr += 1;
3878 break;
3879 case DW_FORM_sdata:
3880 DW_SND (attr) = read_signed_leb128 (abfd, info_ptr, &bytes_read);
3881 info_ptr += bytes_read;
3882 break;
3883 case DW_FORM_udata:
3884 DW_UNSND (attr) = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
3885 info_ptr += bytes_read;
3886 break;
3887 case DW_FORM_ref1:
3888 DW_UNSND (attr) = read_1_byte (abfd, info_ptr);
3889 info_ptr += 1;
3890 break;
3891 case DW_FORM_ref2:
3892 DW_UNSND (attr) = read_2_bytes (abfd, info_ptr);
3893 info_ptr += 2;
3894 break;
3895 case DW_FORM_ref4:
3896 DW_UNSND (attr) = read_4_bytes (abfd, info_ptr);
3897 info_ptr += 4;
3898 break;
3899 case DW_FORM_ref8:
3900 DW_UNSND (attr) = read_8_bytes (abfd, info_ptr);
3901 info_ptr += 8;
3902 break;
3903 case DW_FORM_ref_udata:
3904 DW_UNSND (attr) = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
3905 info_ptr += bytes_read;
3906 break;
3907 case DW_FORM_indirect:
3908 form = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
3909 info_ptr += bytes_read;
3910 info_ptr = read_attribute_value (attr, form, abfd, info_ptr, cu_header);
3911 break;
3912 default:
3913 error ("Dwarf Error: Cannot handle %s in DWARF reader.",
3914 dwarf_form_name (form));
3915 }
3916 return info_ptr;
3917 }
3918
3919 /* Read an attribute described by an abbreviated attribute. */
3920
3921 static char *
3922 read_attribute (struct attribute *attr, struct attr_abbrev *abbrev,
3923 bfd *abfd, char *info_ptr,
3924 const struct comp_unit_head *cu_header)
3925 {
3926 attr->name = abbrev->name;
3927 return read_attribute_value (attr, abbrev->form, abfd, info_ptr, cu_header);
3928 }
3929
3930 /* read dwarf information from a buffer */
3931
3932 static unsigned int
3933 read_1_byte (bfd *abfd, char *buf)
3934 {
3935 return bfd_get_8 (abfd, (bfd_byte *) buf);
3936 }
3937
3938 static int
3939 read_1_signed_byte (bfd *abfd, char *buf)
3940 {
3941 return bfd_get_signed_8 (abfd, (bfd_byte *) buf);
3942 }
3943
3944 static unsigned int
3945 read_2_bytes (bfd *abfd, char *buf)
3946 {
3947 return bfd_get_16 (abfd, (bfd_byte *) buf);
3948 }
3949
3950 static int
3951 read_2_signed_bytes (bfd *abfd, char *buf)
3952 {
3953 return bfd_get_signed_16 (abfd, (bfd_byte *) buf);
3954 }
3955
3956 static unsigned int
3957 read_4_bytes (bfd *abfd, char *buf)
3958 {
3959 return bfd_get_32 (abfd, (bfd_byte *) buf);
3960 }
3961
3962 static int
3963 read_4_signed_bytes (bfd *abfd, char *buf)
3964 {
3965 return bfd_get_signed_32 (abfd, (bfd_byte *) buf);
3966 }
3967
3968 static unsigned long
3969 read_8_bytes (bfd *abfd, char *buf)
3970 {
3971 return bfd_get_64 (abfd, (bfd_byte *) buf);
3972 }
3973
3974 static CORE_ADDR
3975 read_address (bfd *abfd, char *buf, const struct comp_unit_head *cu_header,
3976 int *bytes_read)
3977 {
3978 CORE_ADDR retval = 0;
3979
3980 if (cu_header->signed_addr_p)
3981 {
3982 switch (cu_header->addr_size)
3983 {
3984 case 2:
3985 retval = bfd_get_signed_16 (abfd, (bfd_byte *) buf);
3986 break;
3987 case 4:
3988 retval = bfd_get_signed_32 (abfd, (bfd_byte *) buf);
3989 break;
3990 case 8:
3991 retval = bfd_get_signed_64 (abfd, (bfd_byte *) buf);
3992 break;
3993 default:
3994 internal_error (__FILE__, __LINE__,
3995 "read_address: bad switch, signed");
3996 }
3997 }
3998 else
3999 {
4000 switch (cu_header->addr_size)
4001 {
4002 case 2:
4003 retval = bfd_get_16 (abfd, (bfd_byte *) buf);
4004 break;
4005 case 4:
4006 retval = bfd_get_32 (abfd, (bfd_byte *) buf);
4007 break;
4008 case 8:
4009 retval = bfd_get_64 (abfd, (bfd_byte *) buf);
4010 break;
4011 default:
4012 internal_error (__FILE__, __LINE__,
4013 "read_address: bad switch, unsigned");
4014 }
4015 }
4016
4017 *bytes_read = cu_header->addr_size;
4018 return retval;
4019 }
4020
4021 /* Read the initial length from a section. The (draft) DWARF 3
4022 specification allows the initial length to take up either 4 bytes
4023 or 12 bytes. If the first 4 bytes are 0xffffffff, then the next 8
4024 bytes describe the length and all offsets will be 8 bytes in length
4025 instead of 4.
4026
4027 An older, non-standard 64-bit format is also handled by this
4028 function. The older format in question stores the initial length
4029 as an 8-byte quantity without an escape value. Lengths greater
4030 than 2^32 aren't very common which means that the initial 4 bytes
4031 is almost always zero. Since a length value of zero doesn't make
4032 sense for the 32-bit format, this initial zero can be considered to
4033 be an escape value which indicates the presence of the older 64-bit
4034 format. As written, the code can't detect (old format) lengths
4035 greater than 4GB. If it becomes necessary to handle lengths somewhat
4036 larger than 4GB, we could allow other small values (such as the
4037 non-sensical values of 1, 2, and 3) to also be used as escape values
4038 indicating the presence of the old format.
4039
4040 The value returned via bytes_read should be used to increment
4041 the relevant pointer after calling read_initial_length().
4042
4043 As a side effect, this function sets the fields initial_length_size
4044 and offset_size in cu_header to the values appropriate for the
4045 length field. (The format of the initial length field determines
4046 the width of file offsets to be fetched later with fetch_offset().)
4047
4048 [ Note: read_initial_length() and read_offset() are based on the
4049 document entitled "DWARF Debugging Information Format", revision
4050 3, draft 8, dated November 19, 2001. This document was obtained
4051 from:
4052
4053 http://reality.sgiweb.org/davea/dwarf3-draft8-011125.pdf
4054
4055 This document is only a draft and is subject to change. (So beware.)
4056
4057 Details regarding the older, non-standard 64-bit format were
4058 determined empirically by examining 64-bit ELF files produced
4059 by the SGI toolchain on an IRIX 6.5 machine.
4060
4061 - Kevin, July 16, 2002
4062 ] */
4063
4064 static LONGEST
4065 read_initial_length (bfd *abfd, char *buf, struct comp_unit_head *cu_header,
4066 int *bytes_read)
4067 {
4068 LONGEST retval = 0;
4069
4070 retval = bfd_get_32 (abfd, (bfd_byte *) buf);
4071
4072 if (retval == 0xffffffff)
4073 {
4074 retval = bfd_get_64 (abfd, (bfd_byte *) buf + 4);
4075 *bytes_read = 12;
4076 if (cu_header != NULL)
4077 {
4078 cu_header->initial_length_size = 12;
4079 cu_header->offset_size = 8;
4080 }
4081 }
4082 else if (retval == 0)
4083 {
4084 /* Handle (non-standard) 64-bit DWARF2 formats such as that used
4085 by IRIX. */
4086 retval = bfd_get_64 (abfd, (bfd_byte *) buf);
4087 *bytes_read = 8;
4088 if (cu_header != NULL)
4089 {
4090 cu_header->initial_length_size = 8;
4091 cu_header->offset_size = 8;
4092 }
4093 }
4094 else
4095 {
4096 *bytes_read = 4;
4097 if (cu_header != NULL)
4098 {
4099 cu_header->initial_length_size = 4;
4100 cu_header->offset_size = 4;
4101 }
4102 }
4103
4104 return retval;
4105 }
4106
4107 /* Read an offset from the data stream. The size of the offset is
4108 given by cu_header->offset_size. */
4109
4110 static LONGEST
4111 read_offset (bfd *abfd, char *buf, const struct comp_unit_head *cu_header,
4112 int *bytes_read)
4113 {
4114 LONGEST retval = 0;
4115
4116 switch (cu_header->offset_size)
4117 {
4118 case 4:
4119 retval = bfd_get_32 (abfd, (bfd_byte *) buf);
4120 *bytes_read = 4;
4121 break;
4122 case 8:
4123 retval = bfd_get_64 (abfd, (bfd_byte *) buf);
4124 *bytes_read = 8;
4125 break;
4126 default:
4127 internal_error (__FILE__, __LINE__,
4128 "read_offset: bad switch");
4129 }
4130
4131 return retval;
4132 }
4133
4134 static char *
4135 read_n_bytes (bfd *abfd, char *buf, unsigned int size)
4136 {
4137 /* If the size of a host char is 8 bits, we can return a pointer
4138 to the buffer, otherwise we have to copy the data to a buffer
4139 allocated on the temporary obstack. */
4140 gdb_assert (HOST_CHAR_BIT == 8);
4141 return buf;
4142 }
4143
4144 static char *
4145 read_string (bfd *abfd, char *buf, unsigned int *bytes_read_ptr)
4146 {
4147 /* If the size of a host char is 8 bits, we can return a pointer
4148 to the string, otherwise we have to copy the string to a buffer
4149 allocated on the temporary obstack. */
4150 gdb_assert (HOST_CHAR_BIT == 8);
4151 if (*buf == '\0')
4152 {
4153 *bytes_read_ptr = 1;
4154 return NULL;
4155 }
4156 *bytes_read_ptr = strlen (buf) + 1;
4157 return buf;
4158 }
4159
4160 static char *
4161 read_indirect_string (bfd *abfd, char *buf,
4162 const struct comp_unit_head *cu_header,
4163 unsigned int *bytes_read_ptr)
4164 {
4165 LONGEST str_offset = read_offset (abfd, buf, cu_header,
4166 (int *) bytes_read_ptr);
4167
4168 if (dwarf_str_buffer == NULL)
4169 {
4170 error ("DW_FORM_strp used without .debug_str section");
4171 return NULL;
4172 }
4173 if (str_offset >= dwarf_str_size)
4174 {
4175 error ("DW_FORM_strp pointing outside of .debug_str section");
4176 return NULL;
4177 }
4178 gdb_assert (HOST_CHAR_BIT == 8);
4179 if (dwarf_str_buffer[str_offset] == '\0')
4180 return NULL;
4181 return dwarf_str_buffer + str_offset;
4182 }
4183
4184 static unsigned long
4185 read_unsigned_leb128 (bfd *abfd, char *buf, unsigned int *bytes_read_ptr)
4186 {
4187 unsigned long result;
4188 unsigned int num_read;
4189 int i, shift;
4190 unsigned char byte;
4191
4192 result = 0;
4193 shift = 0;
4194 num_read = 0;
4195 i = 0;
4196 while (1)
4197 {
4198 byte = bfd_get_8 (abfd, (bfd_byte *) buf);
4199 buf++;
4200 num_read++;
4201 result |= ((unsigned long)(byte & 127) << shift);
4202 if ((byte & 128) == 0)
4203 {
4204 break;
4205 }
4206 shift += 7;
4207 }
4208 *bytes_read_ptr = num_read;
4209 return result;
4210 }
4211
4212 static long
4213 read_signed_leb128 (bfd *abfd, char *buf, unsigned int *bytes_read_ptr)
4214 {
4215 long result;
4216 int i, shift, size, num_read;
4217 unsigned char byte;
4218
4219 result = 0;
4220 shift = 0;
4221 size = 32;
4222 num_read = 0;
4223 i = 0;
4224 while (1)
4225 {
4226 byte = bfd_get_8 (abfd, (bfd_byte *) buf);
4227 buf++;
4228 num_read++;
4229 result |= ((long)(byte & 127) << shift);
4230 shift += 7;
4231 if ((byte & 128) == 0)
4232 {
4233 break;
4234 }
4235 }
4236 if ((shift < size) && (byte & 0x40))
4237 {
4238 result |= -(1 << shift);
4239 }
4240 *bytes_read_ptr = num_read;
4241 return result;
4242 }
4243
4244 static void
4245 set_cu_language (unsigned int lang)
4246 {
4247 switch (lang)
4248 {
4249 case DW_LANG_C89:
4250 case DW_LANG_C:
4251 cu_language = language_c;
4252 break;
4253 case DW_LANG_C_plus_plus:
4254 cu_language = language_cplus;
4255 break;
4256 case DW_LANG_Fortran77:
4257 case DW_LANG_Fortran90:
4258 case DW_LANG_Fortran95:
4259 cu_language = language_fortran;
4260 break;
4261 case DW_LANG_Mips_Assembler:
4262 cu_language = language_asm;
4263 break;
4264 case DW_LANG_Java:
4265 cu_language = language_java;
4266 break;
4267 case DW_LANG_Ada83:
4268 case DW_LANG_Ada95:
4269 case DW_LANG_Cobol74:
4270 case DW_LANG_Cobol85:
4271 case DW_LANG_Pascal83:
4272 case DW_LANG_Modula2:
4273 default:
4274 cu_language = language_unknown;
4275 break;
4276 }
4277 cu_language_defn = language_def (cu_language);
4278 }
4279
4280 /* Return the named attribute or NULL if not there. */
4281
4282 static struct attribute *
4283 dwarf_attr (struct die_info *die, unsigned int name)
4284 {
4285 unsigned int i;
4286 struct attribute *spec = NULL;
4287
4288 for (i = 0; i < die->num_attrs; ++i)
4289 {
4290 if (die->attrs[i].name == name)
4291 {
4292 return &die->attrs[i];
4293 }
4294 if (die->attrs[i].name == DW_AT_specification
4295 || die->attrs[i].name == DW_AT_abstract_origin)
4296 spec = &die->attrs[i];
4297 }
4298 if (spec)
4299 {
4300 struct die_info *ref_die =
4301 follow_die_ref (dwarf2_get_ref_die_offset (spec));
4302
4303 if (ref_die)
4304 return dwarf_attr (ref_die, name);
4305 }
4306
4307 return NULL;
4308 }
4309
4310 static int
4311 die_is_declaration (struct die_info *die)
4312 {
4313 return (dwarf_attr (die, DW_AT_declaration)
4314 && ! dwarf_attr (die, DW_AT_specification));
4315 }
4316
4317
4318 /* Free the line_header structure *LH, and any arrays and strings it
4319 refers to. */
4320 static void
4321 free_line_header (struct line_header *lh)
4322 {
4323 if (lh->standard_opcode_lengths)
4324 xfree (lh->standard_opcode_lengths);
4325
4326 /* Remember that all the lh->file_names[i].name pointers are
4327 pointers into debug_line_buffer, and don't need to be freed. */
4328 if (lh->file_names)
4329 xfree (lh->file_names);
4330
4331 /* Similarly for the include directory names. */
4332 if (lh->include_dirs)
4333 xfree (lh->include_dirs);
4334
4335 xfree (lh);
4336 }
4337
4338
4339 /* Add an entry to LH's include directory table. */
4340 static void
4341 add_include_dir (struct line_header *lh, char *include_dir)
4342 {
4343 /* Grow the array if necessary. */
4344 if (lh->include_dirs_size == 0)
4345 {
4346 lh->include_dirs_size = 1; /* for testing */
4347 lh->include_dirs = xmalloc (lh->include_dirs_size
4348 * sizeof (*lh->include_dirs));
4349 }
4350 else if (lh->num_include_dirs >= lh->include_dirs_size)
4351 {
4352 lh->include_dirs_size *= 2;
4353 lh->include_dirs = xrealloc (lh->include_dirs,
4354 (lh->include_dirs_size
4355 * sizeof (*lh->include_dirs)));
4356 }
4357
4358 lh->include_dirs[lh->num_include_dirs++] = include_dir;
4359 }
4360
4361
4362 /* Add an entry to LH's file name table. */
4363 static void
4364 add_file_name (struct line_header *lh,
4365 char *name,
4366 unsigned int dir_index,
4367 unsigned int mod_time,
4368 unsigned int length)
4369 {
4370 struct file_entry *fe;
4371
4372 /* Grow the array if necessary. */
4373 if (lh->file_names_size == 0)
4374 {
4375 lh->file_names_size = 1; /* for testing */
4376 lh->file_names = xmalloc (lh->file_names_size
4377 * sizeof (*lh->file_names));
4378 }
4379 else if (lh->num_file_names >= lh->file_names_size)
4380 {
4381 lh->file_names_size *= 2;
4382 lh->file_names = xrealloc (lh->file_names,
4383 (lh->file_names_size
4384 * sizeof (*lh->file_names)));
4385 }
4386
4387 fe = &lh->file_names[lh->num_file_names++];
4388 fe->name = name;
4389 fe->dir_index = dir_index;
4390 fe->mod_time = mod_time;
4391 fe->length = length;
4392 }
4393
4394
4395 /* Read the statement program header starting at OFFSET in
4396 dwarf_line_buffer, according to the endianness of ABFD. Return a
4397 pointer to a struct line_header, allocated using xmalloc.
4398
4399 NOTE: the strings in the include directory and file name tables of
4400 the returned object point into debug_line_buffer, and must not be
4401 freed. */
4402 static struct line_header *
4403 dwarf_decode_line_header (unsigned int offset, bfd *abfd,
4404 const struct comp_unit_head *cu_header)
4405 {
4406 struct cleanup *back_to;
4407 struct line_header *lh;
4408 char *line_ptr;
4409 int bytes_read;
4410 int i;
4411 char *cur_dir, *cur_file;
4412
4413 if (dwarf_line_buffer == NULL)
4414 {
4415 complain (&dwarf2_missing_line_number_section);
4416 return 0;
4417 }
4418
4419 /* Make sure that at least there's room for the total_length field. That
4420 could be 12 bytes long, but we're just going to fudge that. */
4421 if (offset + 4 >= dwarf_line_size)
4422 {
4423 complain (&dwarf2_statement_list_fits_in_line_number_section);
4424 return 0;
4425 }
4426
4427 lh = xmalloc (sizeof (*lh));
4428 memset (lh, 0, sizeof (*lh));
4429 back_to = make_cleanup ((make_cleanup_ftype *) free_line_header,
4430 (void *) lh);
4431
4432 line_ptr = dwarf_line_buffer + offset;
4433
4434 /* read in the header */
4435 lh->total_length = read_initial_length (abfd, line_ptr, NULL, &bytes_read);
4436 line_ptr += bytes_read;
4437 if (line_ptr + lh->total_length > dwarf_line_buffer + dwarf_line_size)
4438 {
4439 complain (&dwarf2_statement_list_fits_in_line_number_section);
4440 return 0;
4441 }
4442 lh->statement_program_end = line_ptr + lh->total_length;
4443 lh->version = read_2_bytes (abfd, line_ptr);
4444 line_ptr += 2;
4445 lh->header_length = read_offset (abfd, line_ptr, cu_header, &bytes_read);
4446 line_ptr += bytes_read;
4447 lh->minimum_instruction_length = read_1_byte (abfd, line_ptr);
4448 line_ptr += 1;
4449 lh->default_is_stmt = read_1_byte (abfd, line_ptr);
4450 line_ptr += 1;
4451 lh->line_base = read_1_signed_byte (abfd, line_ptr);
4452 line_ptr += 1;
4453 lh->line_range = read_1_byte (abfd, line_ptr);
4454 line_ptr += 1;
4455 lh->opcode_base = read_1_byte (abfd, line_ptr);
4456 line_ptr += 1;
4457 lh->standard_opcode_lengths
4458 = (unsigned char *) xmalloc (lh->opcode_base * sizeof (unsigned char));
4459
4460 lh->standard_opcode_lengths[0] = 1; /* This should never be used anyway. */
4461 for (i = 1; i < lh->opcode_base; ++i)
4462 {
4463 lh->standard_opcode_lengths[i] = read_1_byte (abfd, line_ptr);
4464 line_ptr += 1;
4465 }
4466
4467 /* Read directory table */
4468 while ((cur_dir = read_string (abfd, line_ptr, &bytes_read)) != NULL)
4469 {
4470 line_ptr += bytes_read;
4471 add_include_dir (lh, cur_dir);
4472 }
4473 line_ptr += bytes_read;
4474
4475 /* Read file name table */
4476 while ((cur_file = read_string (abfd, line_ptr, &bytes_read)) != NULL)
4477 {
4478 unsigned int dir_index, mod_time, length;
4479
4480 line_ptr += bytes_read;
4481 dir_index = read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
4482 line_ptr += bytes_read;
4483 mod_time = read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
4484 line_ptr += bytes_read;
4485 length = read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
4486 line_ptr += bytes_read;
4487
4488 add_file_name (lh, cur_file, dir_index, mod_time, length);
4489 }
4490 line_ptr += bytes_read;
4491 lh->statement_program_start = line_ptr;
4492
4493 if (line_ptr > dwarf_line_buffer + dwarf_line_size)
4494 complain (&dwarf2_line_header_too_long);
4495
4496 discard_cleanups (back_to);
4497 return lh;
4498 }
4499
4500 /* This function exists to work around a bug in certain compilers
4501 (particularly GCC 2.95), in which the first line number marker of a
4502 function does not show up until after the prologue, right before
4503 the second line number marker. This function shifts ADDRESS down
4504 to the beginning of the function if necessary, and is called on
4505 addresses passed to record_line. */
4506
4507 static CORE_ADDR
4508 check_cu_functions (CORE_ADDR address)
4509 {
4510 struct function_range *fn;
4511
4512 /* Find the function_range containing address. */
4513 if (!cu_first_fn)
4514 return address;
4515
4516 if (!cu_cached_fn)
4517 cu_cached_fn = cu_first_fn;
4518
4519 fn = cu_cached_fn;
4520 while (fn)
4521 if (fn->lowpc <= address && fn->highpc > address)
4522 goto found;
4523 else
4524 fn = fn->next;
4525
4526 fn = cu_first_fn;
4527 while (fn && fn != cu_cached_fn)
4528 if (fn->lowpc <= address && fn->highpc > address)
4529 goto found;
4530 else
4531 fn = fn->next;
4532
4533 return address;
4534
4535 found:
4536 if (fn->seen_line)
4537 return address;
4538 if (address != fn->lowpc)
4539 complain (&dwarf2_misplaced_line_number,
4540 (unsigned long) address, fn->name);
4541 fn->seen_line = 1;
4542 return fn->lowpc;
4543 }
4544
4545 /* Decode the line number information for the compilation unit whose
4546 line number info is at OFFSET in the .debug_line section.
4547 The compilation directory of the file is passed in COMP_DIR. */
4548
4549 static void
4550 dwarf_decode_lines (struct line_header *lh, char *comp_dir, bfd *abfd,
4551 const struct comp_unit_head *cu_header)
4552 {
4553 char *line_ptr;
4554 char *line_end;
4555 unsigned int i, bytes_read;
4556 char *cur_dir;
4557 unsigned char op_code, extended_op, adj_opcode;
4558
4559 line_ptr = lh->statement_program_start;
4560 line_end = lh->statement_program_end;
4561
4562 /* Read the statement sequences until there's nothing left. */
4563 while (line_ptr < line_end)
4564 {
4565 /* state machine registers */
4566 CORE_ADDR address = 0;
4567 unsigned int file = 1;
4568 unsigned int line = 1;
4569 unsigned int column = 0;
4570 int is_stmt = lh->default_is_stmt;
4571 int basic_block = 0;
4572 int end_sequence = 0;
4573
4574 /* Start a subfile for the current file of the state machine. */
4575 if (lh->num_file_names >= file)
4576 {
4577 /* lh->include_dirs and lh->file_names are 0-based, but the
4578 directory and file name numbers in the statement program
4579 are 1-based. */
4580 struct file_entry *fe = &lh->file_names[file - 1];
4581 char *dir;
4582 if (fe->dir_index)
4583 dir = lh->include_dirs[fe->dir_index - 1];
4584 else
4585 dir = comp_dir;
4586 dwarf2_start_subfile (fe->name, dir);
4587 }
4588
4589 /* Decode the table. */
4590 while (!end_sequence)
4591 {
4592 op_code = read_1_byte (abfd, line_ptr);
4593 line_ptr += 1;
4594
4595 if (op_code >= lh->opcode_base)
4596 { /* Special operand. */
4597 adj_opcode = op_code - lh->opcode_base;
4598 address += (adj_opcode / lh->line_range)
4599 * lh->minimum_instruction_length;
4600 line += lh->line_base + (adj_opcode % lh->line_range);
4601 /* append row to matrix using current values */
4602 address = check_cu_functions (address);
4603 record_line (current_subfile, line, address);
4604 basic_block = 1;
4605 }
4606 else switch (op_code)
4607 {
4608 case DW_LNS_extended_op:
4609 line_ptr += 1; /* ignore length */
4610 extended_op = read_1_byte (abfd, line_ptr);
4611 line_ptr += 1;
4612 switch (extended_op)
4613 {
4614 case DW_LNE_end_sequence:
4615 end_sequence = 1;
4616 record_line (current_subfile, 0, address);
4617 break;
4618 case DW_LNE_set_address:
4619 address = read_address (abfd, line_ptr, cu_header, &bytes_read);
4620 line_ptr += bytes_read;
4621 address += baseaddr;
4622 break;
4623 case DW_LNE_define_file:
4624 {
4625 char *cur_file;
4626 unsigned int dir_index, mod_time, length;
4627
4628 cur_file = read_string (abfd, line_ptr, &bytes_read);
4629 line_ptr += bytes_read;
4630 dir_index =
4631 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
4632 line_ptr += bytes_read;
4633 mod_time =
4634 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
4635 line_ptr += bytes_read;
4636 length =
4637 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
4638 line_ptr += bytes_read;
4639 add_file_name (lh, cur_file, dir_index, mod_time, length);
4640 }
4641 break;
4642 default:
4643 complain (&dwarf2_mangled_line_number_section);
4644 return;
4645 }
4646 break;
4647 case DW_LNS_copy:
4648 address = check_cu_functions (address);
4649 record_line (current_subfile, line, address);
4650 basic_block = 0;
4651 break;
4652 case DW_LNS_advance_pc:
4653 address += lh->minimum_instruction_length
4654 * read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
4655 line_ptr += bytes_read;
4656 break;
4657 case DW_LNS_advance_line:
4658 line += read_signed_leb128 (abfd, line_ptr, &bytes_read);
4659 line_ptr += bytes_read;
4660 break;
4661 case DW_LNS_set_file:
4662 {
4663 /* lh->include_dirs and lh->file_names are 0-based,
4664 but the directory and file name numbers in the
4665 statement program are 1-based. */
4666 struct file_entry *fe;
4667 char *dir;
4668 file = read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
4669 line_ptr += bytes_read;
4670 fe = &lh->file_names[file - 1];
4671 if (fe->dir_index)
4672 dir = lh->include_dirs[fe->dir_index - 1];
4673 else
4674 dir = comp_dir;
4675 dwarf2_start_subfile (fe->name, dir);
4676 }
4677 break;
4678 case DW_LNS_set_column:
4679 column = read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
4680 line_ptr += bytes_read;
4681 break;
4682 case DW_LNS_negate_stmt:
4683 is_stmt = (!is_stmt);
4684 break;
4685 case DW_LNS_set_basic_block:
4686 basic_block = 1;
4687 break;
4688 /* Add to the address register of the state machine the
4689 address increment value corresponding to special opcode
4690 255. Ie, this value is scaled by the minimum instruction
4691 length since special opcode 255 would have scaled the
4692 the increment. */
4693 case DW_LNS_const_add_pc:
4694 address += (lh->minimum_instruction_length
4695 * ((255 - lh->opcode_base) / lh->line_range));
4696 break;
4697 case DW_LNS_fixed_advance_pc:
4698 address += read_2_bytes (abfd, line_ptr);
4699 line_ptr += 2;
4700 break;
4701 default:
4702 { /* Unknown standard opcode, ignore it. */
4703 int i;
4704 for (i = 0; i < lh->standard_opcode_lengths[op_code]; i++)
4705 {
4706 (void) read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
4707 line_ptr += bytes_read;
4708 }
4709 }
4710 }
4711 }
4712 }
4713 }
4714
4715 /* Start a subfile for DWARF. FILENAME is the name of the file and
4716 DIRNAME the name of the source directory which contains FILENAME
4717 or NULL if not known.
4718 This routine tries to keep line numbers from identical absolute and
4719 relative file names in a common subfile.
4720
4721 Using the `list' example from the GDB testsuite, which resides in
4722 /srcdir and compiling it with Irix6.2 cc in /compdir using a filename
4723 of /srcdir/list0.c yields the following debugging information for list0.c:
4724
4725 DW_AT_name: /srcdir/list0.c
4726 DW_AT_comp_dir: /compdir
4727 files.files[0].name: list0.h
4728 files.files[0].dir: /srcdir
4729 files.files[1].name: list0.c
4730 files.files[1].dir: /srcdir
4731
4732 The line number information for list0.c has to end up in a single
4733 subfile, so that `break /srcdir/list0.c:1' works as expected. */
4734
4735 static void
4736 dwarf2_start_subfile (char *filename, char *dirname)
4737 {
4738 /* If the filename isn't absolute, try to match an existing subfile
4739 with the full pathname. */
4740
4741 if (!IS_ABSOLUTE_PATH (filename) && dirname != NULL)
4742 {
4743 struct subfile *subfile;
4744 char *fullname = concat (dirname, "/", filename, NULL);
4745
4746 for (subfile = subfiles; subfile; subfile = subfile->next)
4747 {
4748 if (FILENAME_CMP (subfile->name, fullname) == 0)
4749 {
4750 current_subfile = subfile;
4751 xfree (fullname);
4752 return;
4753 }
4754 }
4755 xfree (fullname);
4756 }
4757 start_subfile (filename, dirname);
4758 }
4759
4760 /* Given a pointer to a DWARF information entry, figure out if we need
4761 to make a symbol table entry for it, and if so, create a new entry
4762 and return a pointer to it.
4763 If TYPE is NULL, determine symbol type from the die, otherwise
4764 used the passed type. */
4765
4766 static struct symbol *
4767 new_symbol (struct die_info *die, struct type *type, struct objfile *objfile,
4768 const struct comp_unit_head *cu_header)
4769 {
4770 struct symbol *sym = NULL;
4771 char *name;
4772 struct attribute *attr = NULL;
4773 struct attribute *attr2 = NULL;
4774 CORE_ADDR addr = 0;
4775
4776 name = dwarf2_linkage_name (die);
4777 if (name)
4778 {
4779 sym = (struct symbol *) obstack_alloc (&objfile->symbol_obstack,
4780 sizeof (struct symbol));
4781 OBJSTAT (objfile, n_syms++);
4782 memset (sym, 0, sizeof (struct symbol));
4783 SYMBOL_NAME (sym) = obsavestring (name, strlen (name),
4784 &objfile->symbol_obstack);
4785
4786 /* Default assumptions.
4787 Use the passed type or decode it from the die. */
4788 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
4789 SYMBOL_CLASS (sym) = LOC_STATIC;
4790 if (type != NULL)
4791 SYMBOL_TYPE (sym) = type;
4792 else
4793 SYMBOL_TYPE (sym) = die_type (die, objfile, cu_header);
4794 attr = dwarf_attr (die, DW_AT_decl_line);
4795 if (attr)
4796 {
4797 SYMBOL_LINE (sym) = DW_UNSND (attr);
4798 }
4799
4800 /* If this symbol is from a C++ compilation, then attempt to
4801 cache the demangled form for future reference. This is a
4802 typical time versus space tradeoff, that was decided in favor
4803 of time because it sped up C++ symbol lookups by a factor of
4804 about 20. */
4805
4806 SYMBOL_LANGUAGE (sym) = cu_language;
4807 SYMBOL_INIT_DEMANGLED_NAME (sym, &objfile->symbol_obstack);
4808 switch (die->tag)
4809 {
4810 case DW_TAG_label:
4811 attr = dwarf_attr (die, DW_AT_low_pc);
4812 if (attr)
4813 {
4814 SYMBOL_VALUE_ADDRESS (sym) = DW_ADDR (attr) + baseaddr;
4815 }
4816 SYMBOL_CLASS (sym) = LOC_LABEL;
4817 break;
4818 case DW_TAG_subprogram:
4819 /* SYMBOL_BLOCK_VALUE (sym) will be filled in later by
4820 finish_block. */
4821 SYMBOL_CLASS (sym) = LOC_BLOCK;
4822 attr2 = dwarf_attr (die, DW_AT_external);
4823 if (attr2 && (DW_UNSND (attr2) != 0))
4824 {
4825 add_symbol_to_list (sym, &global_symbols);
4826 }
4827 else
4828 {
4829 add_symbol_to_list (sym, list_in_scope);
4830 }
4831 break;
4832 case DW_TAG_variable:
4833 /* Compilation with minimal debug info may result in variables
4834 with missing type entries. Change the misleading `void' type
4835 to something sensible. */
4836 if (TYPE_CODE (SYMBOL_TYPE (sym)) == TYPE_CODE_VOID)
4837 SYMBOL_TYPE (sym) = init_type (TYPE_CODE_INT,
4838 TARGET_INT_BIT / HOST_CHAR_BIT, 0,
4839 "<variable, no debug info>",
4840 objfile);
4841 attr = dwarf_attr (die, DW_AT_const_value);
4842 if (attr)
4843 {
4844 dwarf2_const_value (attr, sym, objfile, cu_header);
4845 attr2 = dwarf_attr (die, DW_AT_external);
4846 if (attr2 && (DW_UNSND (attr2) != 0))
4847 add_symbol_to_list (sym, &global_symbols);
4848 else
4849 add_symbol_to_list (sym, list_in_scope);
4850 break;
4851 }
4852 attr = dwarf_attr (die, DW_AT_location);
4853 if (attr)
4854 {
4855 attr2 = dwarf_attr (die, DW_AT_external);
4856 if (attr2 && (DW_UNSND (attr2) != 0))
4857 {
4858 /* Support the .debug_loc offsets */
4859 if (attr_form_is_block (attr))
4860 {
4861 SYMBOL_VALUE_ADDRESS (sym) =
4862 decode_locdesc (DW_BLOCK (attr), objfile, cu_header);
4863 }
4864 else if (attr->form == DW_FORM_data4
4865 || attr->form == DW_FORM_data8)
4866 {
4867 complain (&dwarf2_complex_location_expr);
4868 }
4869 else
4870 {
4871 complain (&dwarf2_invalid_attrib_class, "DW_AT_location",
4872 "external variable");
4873 }
4874 add_symbol_to_list (sym, &global_symbols);
4875 if (is_thread_local)
4876 {
4877 /* SYMBOL_VALUE_ADDRESS contains at this point the
4878 offset of the variable within the thread local
4879 storage. */
4880 SYMBOL_CLASS (sym) = LOC_THREAD_LOCAL_STATIC;
4881 SYMBOL_OBJFILE (sym) = objfile;
4882 }
4883
4884 /* In shared libraries the address of the variable
4885 in the location descriptor might still be relocatable,
4886 so its value could be zero.
4887 Enter the symbol as a LOC_UNRESOLVED symbol, if its
4888 value is zero, the address of the variable will then
4889 be determined from the minimal symbol table whenever
4890 the variable is referenced. */
4891 else if (SYMBOL_VALUE_ADDRESS (sym))
4892 {
4893 fixup_symbol_section (sym, objfile);
4894 SYMBOL_VALUE_ADDRESS (sym) +=
4895 ANOFFSET (objfile->section_offsets,
4896 SYMBOL_SECTION (sym));
4897 SYMBOL_CLASS (sym) = LOC_STATIC;
4898 }
4899 else
4900 SYMBOL_CLASS (sym) = LOC_UNRESOLVED;
4901 }
4902 else
4903 {
4904 /* Support the .debug_loc offsets */
4905 if (attr_form_is_block (attr))
4906 {
4907 SYMBOL_VALUE (sym) = addr =
4908 decode_locdesc (DW_BLOCK (attr), objfile, cu_header);
4909 }
4910 else if (attr->form == DW_FORM_data4
4911 || attr->form == DW_FORM_data8)
4912 {
4913 complain (&dwarf2_complex_location_expr);
4914 }
4915 else
4916 {
4917 complain (&dwarf2_invalid_attrib_class, "DW_AT_location",
4918 "external variable");
4919 addr = 0;
4920 }
4921 add_symbol_to_list (sym, list_in_scope);
4922 if (optimized_out)
4923 {
4924 SYMBOL_CLASS (sym) = LOC_OPTIMIZED_OUT;
4925 }
4926 else if (isreg)
4927 {
4928 SYMBOL_CLASS (sym) = LOC_REGISTER;
4929 SYMBOL_VALUE (sym) =
4930 DWARF2_REG_TO_REGNUM (SYMBOL_VALUE (sym));
4931 }
4932 else if (offreg)
4933 {
4934 SYMBOL_CLASS (sym) = LOC_BASEREG;
4935 SYMBOL_BASEREG (sym) = DWARF2_REG_TO_REGNUM (basereg);
4936 }
4937 else if (islocal)
4938 {
4939 SYMBOL_CLASS (sym) = LOC_LOCAL;
4940 }
4941 else if (is_thread_local)
4942 {
4943 SYMBOL_CLASS (sym) = LOC_THREAD_LOCAL_STATIC;
4944 SYMBOL_OBJFILE (sym) = objfile;
4945 }
4946 else
4947 {
4948 fixup_symbol_section (sym, objfile);
4949 SYMBOL_VALUE_ADDRESS (sym) =
4950 addr + ANOFFSET (objfile->section_offsets,
4951 SYMBOL_SECTION (sym));
4952 SYMBOL_CLASS (sym) = LOC_STATIC;
4953 }
4954 }
4955 }
4956 else
4957 {
4958 /* We do not know the address of this symbol.
4959 If it is an external symbol and we have type information
4960 for it, enter the symbol as a LOC_UNRESOLVED symbol.
4961 The address of the variable will then be determined from
4962 the minimal symbol table whenever the variable is
4963 referenced. */
4964 attr2 = dwarf_attr (die, DW_AT_external);
4965 if (attr2 && (DW_UNSND (attr2) != 0)
4966 && dwarf_attr (die, DW_AT_type) != NULL)
4967 {
4968 SYMBOL_CLASS (sym) = LOC_UNRESOLVED;
4969 add_symbol_to_list (sym, &global_symbols);
4970 }
4971 }
4972 break;
4973 case DW_TAG_formal_parameter:
4974 attr = dwarf_attr (die, DW_AT_location);
4975 if (attr)
4976 {
4977 SYMBOL_VALUE (sym) =
4978 decode_locdesc (DW_BLOCK (attr), objfile, cu_header);
4979 if (isreg)
4980 {
4981 SYMBOL_CLASS (sym) = LOC_REGPARM;
4982 SYMBOL_VALUE (sym) =
4983 DWARF2_REG_TO_REGNUM (SYMBOL_VALUE (sym));
4984 }
4985 else if (offreg)
4986 {
4987 if (isderef)
4988 {
4989 if (basereg != frame_base_reg)
4990 complain (&dwarf2_complex_location_expr);
4991 SYMBOL_CLASS (sym) = LOC_REF_ARG;
4992 }
4993 else
4994 {
4995 SYMBOL_CLASS (sym) = LOC_BASEREG_ARG;
4996 SYMBOL_BASEREG (sym) = DWARF2_REG_TO_REGNUM (basereg);
4997 }
4998 }
4999 else
5000 {
5001 SYMBOL_CLASS (sym) = LOC_ARG;
5002 }
5003 }
5004 attr = dwarf_attr (die, DW_AT_const_value);
5005 if (attr)
5006 {
5007 dwarf2_const_value (attr, sym, objfile, cu_header);
5008 }
5009 add_symbol_to_list (sym, list_in_scope);
5010 break;
5011 case DW_TAG_unspecified_parameters:
5012 /* From varargs functions; gdb doesn't seem to have any
5013 interest in this information, so just ignore it for now.
5014 (FIXME?) */
5015 break;
5016 case DW_TAG_class_type:
5017 case DW_TAG_structure_type:
5018 case DW_TAG_union_type:
5019 case DW_TAG_enumeration_type:
5020 SYMBOL_CLASS (sym) = LOC_TYPEDEF;
5021 SYMBOL_NAMESPACE (sym) = STRUCT_NAMESPACE;
5022 add_symbol_to_list (sym, list_in_scope);
5023
5024 /* The semantics of C++ state that "struct foo { ... }" also
5025 defines a typedef for "foo". Synthesize a typedef symbol so
5026 that "ptype foo" works as expected. */
5027 if (cu_language == language_cplus)
5028 {
5029 struct symbol *typedef_sym = (struct symbol *)
5030 obstack_alloc (&objfile->symbol_obstack,
5031 sizeof (struct symbol));
5032 *typedef_sym = *sym;
5033 SYMBOL_NAMESPACE (typedef_sym) = VAR_NAMESPACE;
5034 if (TYPE_NAME (SYMBOL_TYPE (sym)) == 0)
5035 TYPE_NAME (SYMBOL_TYPE (sym)) =
5036 obsavestring (SYMBOL_NAME (sym),
5037 strlen (SYMBOL_NAME (sym)),
5038 &objfile->type_obstack);
5039 add_symbol_to_list (typedef_sym, list_in_scope);
5040 }
5041 break;
5042 case DW_TAG_typedef:
5043 case DW_TAG_base_type:
5044 SYMBOL_CLASS (sym) = LOC_TYPEDEF;
5045 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
5046 add_symbol_to_list (sym, list_in_scope);
5047 break;
5048 case DW_TAG_enumerator:
5049 attr = dwarf_attr (die, DW_AT_const_value);
5050 if (attr)
5051 {
5052 dwarf2_const_value (attr, sym, objfile, cu_header);
5053 }
5054 add_symbol_to_list (sym, list_in_scope);
5055 break;
5056 default:
5057 /* Not a tag we recognize. Hopefully we aren't processing
5058 trash data, but since we must specifically ignore things
5059 we don't recognize, there is nothing else we should do at
5060 this point. */
5061 complain (&dwarf2_unsupported_tag, dwarf_tag_name (die->tag));
5062 break;
5063 }
5064 }
5065 return (sym);
5066 }
5067
5068 /* Copy constant value from an attribute to a symbol. */
5069
5070 static void
5071 dwarf2_const_value (struct attribute *attr, struct symbol *sym,
5072 struct objfile *objfile,
5073 const struct comp_unit_head *cu_header)
5074 {
5075 struct dwarf_block *blk;
5076
5077 switch (attr->form)
5078 {
5079 case DW_FORM_addr:
5080 if (TYPE_LENGTH (SYMBOL_TYPE (sym)) != cu_header->addr_size)
5081 complain (&dwarf2_const_value_length_mismatch, SYMBOL_NAME (sym),
5082 cu_header->addr_size, TYPE_LENGTH (SYMBOL_TYPE (sym)));
5083 SYMBOL_VALUE_BYTES (sym) = (char *)
5084 obstack_alloc (&objfile->symbol_obstack, cu_header->addr_size);
5085 store_address (SYMBOL_VALUE_BYTES (sym), cu_header->addr_size,
5086 DW_ADDR (attr));
5087 SYMBOL_CLASS (sym) = LOC_CONST_BYTES;
5088 break;
5089 case DW_FORM_block1:
5090 case DW_FORM_block2:
5091 case DW_FORM_block4:
5092 case DW_FORM_block:
5093 blk = DW_BLOCK (attr);
5094 if (TYPE_LENGTH (SYMBOL_TYPE (sym)) != blk->size)
5095 complain (&dwarf2_const_value_length_mismatch, SYMBOL_NAME (sym),
5096 blk->size, TYPE_LENGTH (SYMBOL_TYPE (sym)));
5097 SYMBOL_VALUE_BYTES (sym) = (char *)
5098 obstack_alloc (&objfile->symbol_obstack, blk->size);
5099 memcpy (SYMBOL_VALUE_BYTES (sym), blk->data, blk->size);
5100 SYMBOL_CLASS (sym) = LOC_CONST_BYTES;
5101 break;
5102
5103 /* The DW_AT_const_value attributes are supposed to carry the
5104 symbol's value "represented as it would be on the target
5105 architecture." By the time we get here, it's already been
5106 converted to host endianness, so we just need to sign- or
5107 zero-extend it as appropriate. */
5108 case DW_FORM_data1:
5109 dwarf2_const_value_data (attr, sym, 8);
5110 break;
5111 case DW_FORM_data2:
5112 dwarf2_const_value_data (attr, sym, 16);
5113 break;
5114 case DW_FORM_data4:
5115 dwarf2_const_value_data (attr, sym, 32);
5116 break;
5117 case DW_FORM_data8:
5118 dwarf2_const_value_data (attr, sym, 64);
5119 break;
5120
5121 case DW_FORM_sdata:
5122 SYMBOL_VALUE (sym) = DW_SND (attr);
5123 SYMBOL_CLASS (sym) = LOC_CONST;
5124 break;
5125
5126 case DW_FORM_udata:
5127 SYMBOL_VALUE (sym) = DW_UNSND (attr);
5128 SYMBOL_CLASS (sym) = LOC_CONST;
5129 break;
5130
5131 default:
5132 complain (&dwarf2_unsupported_const_value_attr,
5133 dwarf_form_name (attr->form));
5134 SYMBOL_VALUE (sym) = 0;
5135 SYMBOL_CLASS (sym) = LOC_CONST;
5136 break;
5137 }
5138 }
5139
5140
5141 /* Given an attr with a DW_FORM_dataN value in host byte order, sign-
5142 or zero-extend it as appropriate for the symbol's type. */
5143 static void
5144 dwarf2_const_value_data (struct attribute *attr,
5145 struct symbol *sym,
5146 int bits)
5147 {
5148 LONGEST l = DW_UNSND (attr);
5149
5150 if (bits < sizeof (l) * 8)
5151 {
5152 if (TYPE_UNSIGNED (SYMBOL_TYPE (sym)))
5153 l &= ((LONGEST) 1 << bits) - 1;
5154 else
5155 l = (l << (sizeof (l) * 8 - bits)) >> (sizeof (l) * 8 - bits);
5156 }
5157
5158 SYMBOL_VALUE (sym) = l;
5159 SYMBOL_CLASS (sym) = LOC_CONST;
5160 }
5161
5162
5163 /* Return the type of the die in question using its DW_AT_type attribute. */
5164
5165 static struct type *
5166 die_type (struct die_info *die, struct objfile *objfile,
5167 const struct comp_unit_head *cu_header)
5168 {
5169 struct type *type;
5170 struct attribute *type_attr;
5171 struct die_info *type_die;
5172 unsigned int ref;
5173
5174 type_attr = dwarf_attr (die, DW_AT_type);
5175 if (!type_attr)
5176 {
5177 /* A missing DW_AT_type represents a void type. */
5178 return dwarf2_fundamental_type (objfile, FT_VOID);
5179 }
5180 else
5181 {
5182 ref = dwarf2_get_ref_die_offset (type_attr);
5183 type_die = follow_die_ref (ref);
5184 if (!type_die)
5185 {
5186 error ("Dwarf Error: Cannot find referent at offset %d.", ref);
5187 return NULL;
5188 }
5189 }
5190 type = tag_type_to_type (type_die, objfile, cu_header);
5191 if (!type)
5192 {
5193 dump_die (type_die);
5194 error ("Dwarf Error: Problem turning type die at offset into gdb type.");
5195 }
5196 return type;
5197 }
5198
5199 /* Return the containing type of the die in question using its
5200 DW_AT_containing_type attribute. */
5201
5202 static struct type *
5203 die_containing_type (struct die_info *die, struct objfile *objfile,
5204 const struct comp_unit_head *cu_header)
5205 {
5206 struct type *type = NULL;
5207 struct attribute *type_attr;
5208 struct die_info *type_die = NULL;
5209 unsigned int ref;
5210
5211 type_attr = dwarf_attr (die, DW_AT_containing_type);
5212 if (type_attr)
5213 {
5214 ref = dwarf2_get_ref_die_offset (type_attr);
5215 type_die = follow_die_ref (ref);
5216 if (!type_die)
5217 {
5218 error ("Dwarf Error: Cannot find referent at offset %d.", ref);
5219 return NULL;
5220 }
5221 type = tag_type_to_type (type_die, objfile, cu_header);
5222 }
5223 if (!type)
5224 {
5225 if (type_die)
5226 dump_die (type_die);
5227 error ("Dwarf Error: Problem turning containing type into gdb type.");
5228 }
5229 return type;
5230 }
5231
5232 #if 0
5233 static struct type *
5234 type_at_offset (unsigned int offset, struct objfile *objfile)
5235 {
5236 struct die_info *die;
5237 struct type *type;
5238
5239 die = follow_die_ref (offset);
5240 if (!die)
5241 {
5242 error ("Dwarf Error: Cannot find type referent at offset %d.", offset);
5243 return NULL;
5244 }
5245 type = tag_type_to_type (die, objfile);
5246 return type;
5247 }
5248 #endif
5249
5250 static struct type *
5251 tag_type_to_type (struct die_info *die, struct objfile *objfile,
5252 const struct comp_unit_head *cu_header)
5253 {
5254 if (die->type)
5255 {
5256 return die->type;
5257 }
5258 else
5259 {
5260 read_type_die (die, objfile, cu_header);
5261 if (!die->type)
5262 {
5263 dump_die (die);
5264 error ("Dwarf Error: Cannot find type of die.");
5265 }
5266 return die->type;
5267 }
5268 }
5269
5270 static void
5271 read_type_die (struct die_info *die, struct objfile *objfile,
5272 const struct comp_unit_head *cu_header)
5273 {
5274 switch (die->tag)
5275 {
5276 case DW_TAG_class_type:
5277 case DW_TAG_structure_type:
5278 case DW_TAG_union_type:
5279 read_structure_scope (die, objfile, cu_header);
5280 break;
5281 case DW_TAG_enumeration_type:
5282 read_enumeration (die, objfile, cu_header);
5283 break;
5284 case DW_TAG_subprogram:
5285 case DW_TAG_subroutine_type:
5286 read_subroutine_type (die, objfile, cu_header);
5287 break;
5288 case DW_TAG_array_type:
5289 read_array_type (die, objfile, cu_header);
5290 break;
5291 case DW_TAG_pointer_type:
5292 read_tag_pointer_type (die, objfile, cu_header);
5293 break;
5294 case DW_TAG_ptr_to_member_type:
5295 read_tag_ptr_to_member_type (die, objfile, cu_header);
5296 break;
5297 case DW_TAG_reference_type:
5298 read_tag_reference_type (die, objfile, cu_header);
5299 break;
5300 case DW_TAG_const_type:
5301 read_tag_const_type (die, objfile, cu_header);
5302 break;
5303 case DW_TAG_volatile_type:
5304 read_tag_volatile_type (die, objfile, cu_header);
5305 break;
5306 case DW_TAG_string_type:
5307 read_tag_string_type (die, objfile);
5308 break;
5309 case DW_TAG_typedef:
5310 read_typedef (die, objfile, cu_header);
5311 break;
5312 case DW_TAG_base_type:
5313 read_base_type (die, objfile);
5314 break;
5315 default:
5316 complain (&dwarf2_unexpected_tag, dwarf_tag_name (die->tag));
5317 break;
5318 }
5319 }
5320
5321 static struct type *
5322 dwarf_base_type (int encoding, int size, struct objfile *objfile)
5323 {
5324 /* FIXME - this should not produce a new (struct type *)
5325 every time. It should cache base types. */
5326 struct type *type;
5327 switch (encoding)
5328 {
5329 case DW_ATE_address:
5330 type = dwarf2_fundamental_type (objfile, FT_VOID);
5331 return type;
5332 case DW_ATE_boolean:
5333 type = dwarf2_fundamental_type (objfile, FT_BOOLEAN);
5334 return type;
5335 case DW_ATE_complex_float:
5336 if (size == 16)
5337 {
5338 type = dwarf2_fundamental_type (objfile, FT_DBL_PREC_COMPLEX);
5339 }
5340 else
5341 {
5342 type = dwarf2_fundamental_type (objfile, FT_COMPLEX);
5343 }
5344 return type;
5345 case DW_ATE_float:
5346 if (size == 8)
5347 {
5348 type = dwarf2_fundamental_type (objfile, FT_DBL_PREC_FLOAT);
5349 }
5350 else
5351 {
5352 type = dwarf2_fundamental_type (objfile, FT_FLOAT);
5353 }
5354 return type;
5355 case DW_ATE_signed:
5356 switch (size)
5357 {
5358 case 1:
5359 type = dwarf2_fundamental_type (objfile, FT_SIGNED_CHAR);
5360 break;
5361 case 2:
5362 type = dwarf2_fundamental_type (objfile, FT_SIGNED_SHORT);
5363 break;
5364 default:
5365 case 4:
5366 type = dwarf2_fundamental_type (objfile, FT_SIGNED_INTEGER);
5367 break;
5368 }
5369 return type;
5370 case DW_ATE_signed_char:
5371 type = dwarf2_fundamental_type (objfile, FT_SIGNED_CHAR);
5372 return type;
5373 case DW_ATE_unsigned:
5374 switch (size)
5375 {
5376 case 1:
5377 type = dwarf2_fundamental_type (objfile, FT_UNSIGNED_CHAR);
5378 break;
5379 case 2:
5380 type = dwarf2_fundamental_type (objfile, FT_UNSIGNED_SHORT);
5381 break;
5382 default:
5383 case 4:
5384 type = dwarf2_fundamental_type (objfile, FT_UNSIGNED_INTEGER);
5385 break;
5386 }
5387 return type;
5388 case DW_ATE_unsigned_char:
5389 type = dwarf2_fundamental_type (objfile, FT_UNSIGNED_CHAR);
5390 return type;
5391 default:
5392 type = dwarf2_fundamental_type (objfile, FT_SIGNED_INTEGER);
5393 return type;
5394 }
5395 }
5396
5397 #if 0
5398 struct die_info *
5399 copy_die (struct die_info *old_die)
5400 {
5401 struct die_info *new_die;
5402 int i, num_attrs;
5403
5404 new_die = (struct die_info *) xmalloc (sizeof (struct die_info));
5405 memset (new_die, 0, sizeof (struct die_info));
5406
5407 new_die->tag = old_die->tag;
5408 new_die->has_children = old_die->has_children;
5409 new_die->abbrev = old_die->abbrev;
5410 new_die->offset = old_die->offset;
5411 new_die->type = NULL;
5412
5413 num_attrs = old_die->num_attrs;
5414 new_die->num_attrs = num_attrs;
5415 new_die->attrs = (struct attribute *)
5416 xmalloc (num_attrs * sizeof (struct attribute));
5417
5418 for (i = 0; i < old_die->num_attrs; ++i)
5419 {
5420 new_die->attrs[i].name = old_die->attrs[i].name;
5421 new_die->attrs[i].form = old_die->attrs[i].form;
5422 new_die->attrs[i].u.addr = old_die->attrs[i].u.addr;
5423 }
5424
5425 new_die->next = NULL;
5426 return new_die;
5427 }
5428 #endif
5429
5430 /* Return sibling of die, NULL if no sibling. */
5431
5432 static struct die_info *
5433 sibling_die (struct die_info *die)
5434 {
5435 int nesting_level = 0;
5436
5437 if (!die->has_children)
5438 {
5439 if (die->next && (die->next->tag == 0))
5440 {
5441 return NULL;
5442 }
5443 else
5444 {
5445 return die->next;
5446 }
5447 }
5448 else
5449 {
5450 do
5451 {
5452 if (die->has_children)
5453 {
5454 nesting_level++;
5455 }
5456 if (die->tag == 0)
5457 {
5458 nesting_level--;
5459 }
5460 die = die->next;
5461 }
5462 while (nesting_level);
5463 if (die && (die->tag == 0))
5464 {
5465 return NULL;
5466 }
5467 else
5468 {
5469 return die;
5470 }
5471 }
5472 }
5473
5474 /* Get linkage name of a die, return NULL if not found. */
5475
5476 static char *
5477 dwarf2_linkage_name (struct die_info *die)
5478 {
5479 struct attribute *attr;
5480
5481 attr = dwarf_attr (die, DW_AT_MIPS_linkage_name);
5482 if (attr && DW_STRING (attr))
5483 return DW_STRING (attr);
5484 attr = dwarf_attr (die, DW_AT_name);
5485 if (attr && DW_STRING (attr))
5486 return DW_STRING (attr);
5487 return NULL;
5488 }
5489
5490 /* Convert a DIE tag into its string name. */
5491
5492 static char *
5493 dwarf_tag_name (register unsigned tag)
5494 {
5495 switch (tag)
5496 {
5497 case DW_TAG_padding:
5498 return "DW_TAG_padding";
5499 case DW_TAG_array_type:
5500 return "DW_TAG_array_type";
5501 case DW_TAG_class_type:
5502 return "DW_TAG_class_type";
5503 case DW_TAG_entry_point:
5504 return "DW_TAG_entry_point";
5505 case DW_TAG_enumeration_type:
5506 return "DW_TAG_enumeration_type";
5507 case DW_TAG_formal_parameter:
5508 return "DW_TAG_formal_parameter";
5509 case DW_TAG_imported_declaration:
5510 return "DW_TAG_imported_declaration";
5511 case DW_TAG_label:
5512 return "DW_TAG_label";
5513 case DW_TAG_lexical_block:
5514 return "DW_TAG_lexical_block";
5515 case DW_TAG_member:
5516 return "DW_TAG_member";
5517 case DW_TAG_pointer_type:
5518 return "DW_TAG_pointer_type";
5519 case DW_TAG_reference_type:
5520 return "DW_TAG_reference_type";
5521 case DW_TAG_compile_unit:
5522 return "DW_TAG_compile_unit";
5523 case DW_TAG_string_type:
5524 return "DW_TAG_string_type";
5525 case DW_TAG_structure_type:
5526 return "DW_TAG_structure_type";
5527 case DW_TAG_subroutine_type:
5528 return "DW_TAG_subroutine_type";
5529 case DW_TAG_typedef:
5530 return "DW_TAG_typedef";
5531 case DW_TAG_union_type:
5532 return "DW_TAG_union_type";
5533 case DW_TAG_unspecified_parameters:
5534 return "DW_TAG_unspecified_parameters";
5535 case DW_TAG_variant:
5536 return "DW_TAG_variant";
5537 case DW_TAG_common_block:
5538 return "DW_TAG_common_block";
5539 case DW_TAG_common_inclusion:
5540 return "DW_TAG_common_inclusion";
5541 case DW_TAG_inheritance:
5542 return "DW_TAG_inheritance";
5543 case DW_TAG_inlined_subroutine:
5544 return "DW_TAG_inlined_subroutine";
5545 case DW_TAG_module:
5546 return "DW_TAG_module";
5547 case DW_TAG_ptr_to_member_type:
5548 return "DW_TAG_ptr_to_member_type";
5549 case DW_TAG_set_type:
5550 return "DW_TAG_set_type";
5551 case DW_TAG_subrange_type:
5552 return "DW_TAG_subrange_type";
5553 case DW_TAG_with_stmt:
5554 return "DW_TAG_with_stmt";
5555 case DW_TAG_access_declaration:
5556 return "DW_TAG_access_declaration";
5557 case DW_TAG_base_type:
5558 return "DW_TAG_base_type";
5559 case DW_TAG_catch_block:
5560 return "DW_TAG_catch_block";
5561 case DW_TAG_const_type:
5562 return "DW_TAG_const_type";
5563 case DW_TAG_constant:
5564 return "DW_TAG_constant";
5565 case DW_TAG_enumerator:
5566 return "DW_TAG_enumerator";
5567 case DW_TAG_file_type:
5568 return "DW_TAG_file_type";
5569 case DW_TAG_friend:
5570 return "DW_TAG_friend";
5571 case DW_TAG_namelist:
5572 return "DW_TAG_namelist";
5573 case DW_TAG_namelist_item:
5574 return "DW_TAG_namelist_item";
5575 case DW_TAG_packed_type:
5576 return "DW_TAG_packed_type";
5577 case DW_TAG_subprogram:
5578 return "DW_TAG_subprogram";
5579 case DW_TAG_template_type_param:
5580 return "DW_TAG_template_type_param";
5581 case DW_TAG_template_value_param:
5582 return "DW_TAG_template_value_param";
5583 case DW_TAG_thrown_type:
5584 return "DW_TAG_thrown_type";
5585 case DW_TAG_try_block:
5586 return "DW_TAG_try_block";
5587 case DW_TAG_variant_part:
5588 return "DW_TAG_variant_part";
5589 case DW_TAG_variable:
5590 return "DW_TAG_variable";
5591 case DW_TAG_volatile_type:
5592 return "DW_TAG_volatile_type";
5593 case DW_TAG_dwarf_procedure:
5594 return "DW_TAG_dwarf_procedure";
5595 case DW_TAG_restrict_type:
5596 return "DW_TAG_restrict_type";
5597 case DW_TAG_interface_type:
5598 return "DW_TAG_interface_type";
5599 case DW_TAG_namespace:
5600 return "DW_TAG_namespace";
5601 case DW_TAG_imported_module:
5602 return "DW_TAG_imported_module";
5603 case DW_TAG_unspecified_type:
5604 return "DW_TAG_unspecified_type";
5605 case DW_TAG_partial_unit:
5606 return "DW_TAG_partial_unit";
5607 case DW_TAG_imported_unit:
5608 return "DW_TAG_imported_unit";
5609 case DW_TAG_MIPS_loop:
5610 return "DW_TAG_MIPS_loop";
5611 case DW_TAG_format_label:
5612 return "DW_TAG_format_label";
5613 case DW_TAG_function_template:
5614 return "DW_TAG_function_template";
5615 case DW_TAG_class_template:
5616 return "DW_TAG_class_template";
5617 default:
5618 return "DW_TAG_<unknown>";
5619 }
5620 }
5621
5622 /* Convert a DWARF attribute code into its string name. */
5623
5624 static char *
5625 dwarf_attr_name (register unsigned attr)
5626 {
5627 switch (attr)
5628 {
5629 case DW_AT_sibling:
5630 return "DW_AT_sibling";
5631 case DW_AT_location:
5632 return "DW_AT_location";
5633 case DW_AT_name:
5634 return "DW_AT_name";
5635 case DW_AT_ordering:
5636 return "DW_AT_ordering";
5637 case DW_AT_subscr_data:
5638 return "DW_AT_subscr_data";
5639 case DW_AT_byte_size:
5640 return "DW_AT_byte_size";
5641 case DW_AT_bit_offset:
5642 return "DW_AT_bit_offset";
5643 case DW_AT_bit_size:
5644 return "DW_AT_bit_size";
5645 case DW_AT_element_list:
5646 return "DW_AT_element_list";
5647 case DW_AT_stmt_list:
5648 return "DW_AT_stmt_list";
5649 case DW_AT_low_pc:
5650 return "DW_AT_low_pc";
5651 case DW_AT_high_pc:
5652 return "DW_AT_high_pc";
5653 case DW_AT_language:
5654 return "DW_AT_language";
5655 case DW_AT_member:
5656 return "DW_AT_member";
5657 case DW_AT_discr:
5658 return "DW_AT_discr";
5659 case DW_AT_discr_value:
5660 return "DW_AT_discr_value";
5661 case DW_AT_visibility:
5662 return "DW_AT_visibility";
5663 case DW_AT_import:
5664 return "DW_AT_import";
5665 case DW_AT_string_length:
5666 return "DW_AT_string_length";
5667 case DW_AT_common_reference:
5668 return "DW_AT_common_reference";
5669 case DW_AT_comp_dir:
5670 return "DW_AT_comp_dir";
5671 case DW_AT_const_value:
5672 return "DW_AT_const_value";
5673 case DW_AT_containing_type:
5674 return "DW_AT_containing_type";
5675 case DW_AT_default_value:
5676 return "DW_AT_default_value";
5677 case DW_AT_inline:
5678 return "DW_AT_inline";
5679 case DW_AT_is_optional:
5680 return "DW_AT_is_optional";
5681 case DW_AT_lower_bound:
5682 return "DW_AT_lower_bound";
5683 case DW_AT_producer:
5684 return "DW_AT_producer";
5685 case DW_AT_prototyped:
5686 return "DW_AT_prototyped";
5687 case DW_AT_return_addr:
5688 return "DW_AT_return_addr";
5689 case DW_AT_start_scope:
5690 return "DW_AT_start_scope";
5691 case DW_AT_stride_size:
5692 return "DW_AT_stride_size";
5693 case DW_AT_upper_bound:
5694 return "DW_AT_upper_bound";
5695 case DW_AT_abstract_origin:
5696 return "DW_AT_abstract_origin";
5697 case DW_AT_accessibility:
5698 return "DW_AT_accessibility";
5699 case DW_AT_address_class:
5700 return "DW_AT_address_class";
5701 case DW_AT_artificial:
5702 return "DW_AT_artificial";
5703 case DW_AT_base_types:
5704 return "DW_AT_base_types";
5705 case DW_AT_calling_convention:
5706 return "DW_AT_calling_convention";
5707 case DW_AT_count:
5708 return "DW_AT_count";
5709 case DW_AT_data_member_location:
5710 return "DW_AT_data_member_location";
5711 case DW_AT_decl_column:
5712 return "DW_AT_decl_column";
5713 case DW_AT_decl_file:
5714 return "DW_AT_decl_file";
5715 case DW_AT_decl_line:
5716 return "DW_AT_decl_line";
5717 case DW_AT_declaration:
5718 return "DW_AT_declaration";
5719 case DW_AT_discr_list:
5720 return "DW_AT_discr_list";
5721 case DW_AT_encoding:
5722 return "DW_AT_encoding";
5723 case DW_AT_external:
5724 return "DW_AT_external";
5725 case DW_AT_frame_base:
5726 return "DW_AT_frame_base";
5727 case DW_AT_friend:
5728 return "DW_AT_friend";
5729 case DW_AT_identifier_case:
5730 return "DW_AT_identifier_case";
5731 case DW_AT_macro_info:
5732 return "DW_AT_macro_info";
5733 case DW_AT_namelist_items:
5734 return "DW_AT_namelist_items";
5735 case DW_AT_priority:
5736 return "DW_AT_priority";
5737 case DW_AT_segment:
5738 return "DW_AT_segment";
5739 case DW_AT_specification:
5740 return "DW_AT_specification";
5741 case DW_AT_static_link:
5742 return "DW_AT_static_link";
5743 case DW_AT_type:
5744 return "DW_AT_type";
5745 case DW_AT_use_location:
5746 return "DW_AT_use_location";
5747 case DW_AT_variable_parameter:
5748 return "DW_AT_variable_parameter";
5749 case DW_AT_virtuality:
5750 return "DW_AT_virtuality";
5751 case DW_AT_vtable_elem_location:
5752 return "DW_AT_vtable_elem_location";
5753 case DW_AT_allocated:
5754 return "DW_AT_allocated";
5755 case DW_AT_associated:
5756 return "DW_AT_associated";
5757 case DW_AT_data_location:
5758 return "DW_AT_data_location";
5759 case DW_AT_stride:
5760 return "DW_AT_stride";
5761 case DW_AT_entry_pc:
5762 return "DW_AT_entry_pc";
5763 case DW_AT_use_UTF8:
5764 return "DW_AT_use_UTF8";
5765 case DW_AT_extension:
5766 return "DW_AT_extension";
5767 case DW_AT_ranges:
5768 return "DW_AT_ranges";
5769 case DW_AT_trampoline:
5770 return "DW_AT_trampoline";
5771 case DW_AT_call_column:
5772 return "DW_AT_call_column";
5773 case DW_AT_call_file:
5774 return "DW_AT_call_file";
5775 case DW_AT_call_line:
5776 return "DW_AT_call_line";
5777 #ifdef MIPS
5778 case DW_AT_MIPS_fde:
5779 return "DW_AT_MIPS_fde";
5780 case DW_AT_MIPS_loop_begin:
5781 return "DW_AT_MIPS_loop_begin";
5782 case DW_AT_MIPS_tail_loop_begin:
5783 return "DW_AT_MIPS_tail_loop_begin";
5784 case DW_AT_MIPS_epilog_begin:
5785 return "DW_AT_MIPS_epilog_begin";
5786 case DW_AT_MIPS_loop_unroll_factor:
5787 return "DW_AT_MIPS_loop_unroll_factor";
5788 case DW_AT_MIPS_software_pipeline_depth:
5789 return "DW_AT_MIPS_software_pipeline_depth";
5790 case DW_AT_MIPS_linkage_name:
5791 return "DW_AT_MIPS_linkage_name";
5792 #endif
5793
5794 case DW_AT_sf_names:
5795 return "DW_AT_sf_names";
5796 case DW_AT_src_info:
5797 return "DW_AT_src_info";
5798 case DW_AT_mac_info:
5799 return "DW_AT_mac_info";
5800 case DW_AT_src_coords:
5801 return "DW_AT_src_coords";
5802 case DW_AT_body_begin:
5803 return "DW_AT_body_begin";
5804 case DW_AT_body_end:
5805 return "DW_AT_body_end";
5806 case DW_AT_GNU_vector:
5807 return "DW_AT_GNU_vector";
5808 default:
5809 return "DW_AT_<unknown>";
5810 }
5811 }
5812
5813 /* Convert a DWARF value form code into its string name. */
5814
5815 static char *
5816 dwarf_form_name (register unsigned form)
5817 {
5818 switch (form)
5819 {
5820 case DW_FORM_addr:
5821 return "DW_FORM_addr";
5822 case DW_FORM_block2:
5823 return "DW_FORM_block2";
5824 case DW_FORM_block4:
5825 return "DW_FORM_block4";
5826 case DW_FORM_data2:
5827 return "DW_FORM_data2";
5828 case DW_FORM_data4:
5829 return "DW_FORM_data4";
5830 case DW_FORM_data8:
5831 return "DW_FORM_data8";
5832 case DW_FORM_string:
5833 return "DW_FORM_string";
5834 case DW_FORM_block:
5835 return "DW_FORM_block";
5836 case DW_FORM_block1:
5837 return "DW_FORM_block1";
5838 case DW_FORM_data1:
5839 return "DW_FORM_data1";
5840 case DW_FORM_flag:
5841 return "DW_FORM_flag";
5842 case DW_FORM_sdata:
5843 return "DW_FORM_sdata";
5844 case DW_FORM_strp:
5845 return "DW_FORM_strp";
5846 case DW_FORM_udata:
5847 return "DW_FORM_udata";
5848 case DW_FORM_ref_addr:
5849 return "DW_FORM_ref_addr";
5850 case DW_FORM_ref1:
5851 return "DW_FORM_ref1";
5852 case DW_FORM_ref2:
5853 return "DW_FORM_ref2";
5854 case DW_FORM_ref4:
5855 return "DW_FORM_ref4";
5856 case DW_FORM_ref8:
5857 return "DW_FORM_ref8";
5858 case DW_FORM_ref_udata:
5859 return "DW_FORM_ref_udata";
5860 case DW_FORM_indirect:
5861 return "DW_FORM_indirect";
5862 default:
5863 return "DW_FORM_<unknown>";
5864 }
5865 }
5866
5867 /* Convert a DWARF stack opcode into its string name. */
5868
5869 static char *
5870 dwarf_stack_op_name (register unsigned op)
5871 {
5872 switch (op)
5873 {
5874 case DW_OP_addr:
5875 return "DW_OP_addr";
5876 case DW_OP_deref:
5877 return "DW_OP_deref";
5878 case DW_OP_const1u:
5879 return "DW_OP_const1u";
5880 case DW_OP_const1s:
5881 return "DW_OP_const1s";
5882 case DW_OP_const2u:
5883 return "DW_OP_const2u";
5884 case DW_OP_const2s:
5885 return "DW_OP_const2s";
5886 case DW_OP_const4u:
5887 return "DW_OP_const4u";
5888 case DW_OP_const4s:
5889 return "DW_OP_const4s";
5890 case DW_OP_const8u:
5891 return "DW_OP_const8u";
5892 case DW_OP_const8s:
5893 return "DW_OP_const8s";
5894 case DW_OP_constu:
5895 return "DW_OP_constu";
5896 case DW_OP_consts:
5897 return "DW_OP_consts";
5898 case DW_OP_dup:
5899 return "DW_OP_dup";
5900 case DW_OP_drop:
5901 return "DW_OP_drop";
5902 case DW_OP_over:
5903 return "DW_OP_over";
5904 case DW_OP_pick:
5905 return "DW_OP_pick";
5906 case DW_OP_swap:
5907 return "DW_OP_swap";
5908 case DW_OP_rot:
5909 return "DW_OP_rot";
5910 case DW_OP_xderef:
5911 return "DW_OP_xderef";
5912 case DW_OP_abs:
5913 return "DW_OP_abs";
5914 case DW_OP_and:
5915 return "DW_OP_and";
5916 case DW_OP_div:
5917 return "DW_OP_div";
5918 case DW_OP_minus:
5919 return "DW_OP_minus";
5920 case DW_OP_mod:
5921 return "DW_OP_mod";
5922 case DW_OP_mul:
5923 return "DW_OP_mul";
5924 case DW_OP_neg:
5925 return "DW_OP_neg";
5926 case DW_OP_not:
5927 return "DW_OP_not";
5928 case DW_OP_or:
5929 return "DW_OP_or";
5930 case DW_OP_plus:
5931 return "DW_OP_plus";
5932 case DW_OP_plus_uconst:
5933 return "DW_OP_plus_uconst";
5934 case DW_OP_shl:
5935 return "DW_OP_shl";
5936 case DW_OP_shr:
5937 return "DW_OP_shr";
5938 case DW_OP_shra:
5939 return "DW_OP_shra";
5940 case DW_OP_xor:
5941 return "DW_OP_xor";
5942 case DW_OP_bra:
5943 return "DW_OP_bra";
5944 case DW_OP_eq:
5945 return "DW_OP_eq";
5946 case DW_OP_ge:
5947 return "DW_OP_ge";
5948 case DW_OP_gt:
5949 return "DW_OP_gt";
5950 case DW_OP_le:
5951 return "DW_OP_le";
5952 case DW_OP_lt:
5953 return "DW_OP_lt";
5954 case DW_OP_ne:
5955 return "DW_OP_ne";
5956 case DW_OP_skip:
5957 return "DW_OP_skip";
5958 case DW_OP_lit0:
5959 return "DW_OP_lit0";
5960 case DW_OP_lit1:
5961 return "DW_OP_lit1";
5962 case DW_OP_lit2:
5963 return "DW_OP_lit2";
5964 case DW_OP_lit3:
5965 return "DW_OP_lit3";
5966 case DW_OP_lit4:
5967 return "DW_OP_lit4";
5968 case DW_OP_lit5:
5969 return "DW_OP_lit5";
5970 case DW_OP_lit6:
5971 return "DW_OP_lit6";
5972 case DW_OP_lit7:
5973 return "DW_OP_lit7";
5974 case DW_OP_lit8:
5975 return "DW_OP_lit8";
5976 case DW_OP_lit9:
5977 return "DW_OP_lit9";
5978 case DW_OP_lit10:
5979 return "DW_OP_lit10";
5980 case DW_OP_lit11:
5981 return "DW_OP_lit11";
5982 case DW_OP_lit12:
5983 return "DW_OP_lit12";
5984 case DW_OP_lit13:
5985 return "DW_OP_lit13";
5986 case DW_OP_lit14:
5987 return "DW_OP_lit14";
5988 case DW_OP_lit15:
5989 return "DW_OP_lit15";
5990 case DW_OP_lit16:
5991 return "DW_OP_lit16";
5992 case DW_OP_lit17:
5993 return "DW_OP_lit17";
5994 case DW_OP_lit18:
5995 return "DW_OP_lit18";
5996 case DW_OP_lit19:
5997 return "DW_OP_lit19";
5998 case DW_OP_lit20:
5999 return "DW_OP_lit20";
6000 case DW_OP_lit21:
6001 return "DW_OP_lit21";
6002 case DW_OP_lit22:
6003 return "DW_OP_lit22";
6004 case DW_OP_lit23:
6005 return "DW_OP_lit23";
6006 case DW_OP_lit24:
6007 return "DW_OP_lit24";
6008 case DW_OP_lit25:
6009 return "DW_OP_lit25";
6010 case DW_OP_lit26:
6011 return "DW_OP_lit26";
6012 case DW_OP_lit27:
6013 return "DW_OP_lit27";
6014 case DW_OP_lit28:
6015 return "DW_OP_lit28";
6016 case DW_OP_lit29:
6017 return "DW_OP_lit29";
6018 case DW_OP_lit30:
6019 return "DW_OP_lit30";
6020 case DW_OP_lit31:
6021 return "DW_OP_lit31";
6022 case DW_OP_reg0:
6023 return "DW_OP_reg0";
6024 case DW_OP_reg1:
6025 return "DW_OP_reg1";
6026 case DW_OP_reg2:
6027 return "DW_OP_reg2";
6028 case DW_OP_reg3:
6029 return "DW_OP_reg3";
6030 case DW_OP_reg4:
6031 return "DW_OP_reg4";
6032 case DW_OP_reg5:
6033 return "DW_OP_reg5";
6034 case DW_OP_reg6:
6035 return "DW_OP_reg6";
6036 case DW_OP_reg7:
6037 return "DW_OP_reg7";
6038 case DW_OP_reg8:
6039 return "DW_OP_reg8";
6040 case DW_OP_reg9:
6041 return "DW_OP_reg9";
6042 case DW_OP_reg10:
6043 return "DW_OP_reg10";
6044 case DW_OP_reg11:
6045 return "DW_OP_reg11";
6046 case DW_OP_reg12:
6047 return "DW_OP_reg12";
6048 case DW_OP_reg13:
6049 return "DW_OP_reg13";
6050 case DW_OP_reg14:
6051 return "DW_OP_reg14";
6052 case DW_OP_reg15:
6053 return "DW_OP_reg15";
6054 case DW_OP_reg16:
6055 return "DW_OP_reg16";
6056 case DW_OP_reg17:
6057 return "DW_OP_reg17";
6058 case DW_OP_reg18:
6059 return "DW_OP_reg18";
6060 case DW_OP_reg19:
6061 return "DW_OP_reg19";
6062 case DW_OP_reg20:
6063 return "DW_OP_reg20";
6064 case DW_OP_reg21:
6065 return "DW_OP_reg21";
6066 case DW_OP_reg22:
6067 return "DW_OP_reg22";
6068 case DW_OP_reg23:
6069 return "DW_OP_reg23";
6070 case DW_OP_reg24:
6071 return "DW_OP_reg24";
6072 case DW_OP_reg25:
6073 return "DW_OP_reg25";
6074 case DW_OP_reg26:
6075 return "DW_OP_reg26";
6076 case DW_OP_reg27:
6077 return "DW_OP_reg27";
6078 case DW_OP_reg28:
6079 return "DW_OP_reg28";
6080 case DW_OP_reg29:
6081 return "DW_OP_reg29";
6082 case DW_OP_reg30:
6083 return "DW_OP_reg30";
6084 case DW_OP_reg31:
6085 return "DW_OP_reg31";
6086 case DW_OP_breg0:
6087 return "DW_OP_breg0";
6088 case DW_OP_breg1:
6089 return "DW_OP_breg1";
6090 case DW_OP_breg2:
6091 return "DW_OP_breg2";
6092 case DW_OP_breg3:
6093 return "DW_OP_breg3";
6094 case DW_OP_breg4:
6095 return "DW_OP_breg4";
6096 case DW_OP_breg5:
6097 return "DW_OP_breg5";
6098 case DW_OP_breg6:
6099 return "DW_OP_breg6";
6100 case DW_OP_breg7:
6101 return "DW_OP_breg7";
6102 case DW_OP_breg8:
6103 return "DW_OP_breg8";
6104 case DW_OP_breg9:
6105 return "DW_OP_breg9";
6106 case DW_OP_breg10:
6107 return "DW_OP_breg10";
6108 case DW_OP_breg11:
6109 return "DW_OP_breg11";
6110 case DW_OP_breg12:
6111 return "DW_OP_breg12";
6112 case DW_OP_breg13:
6113 return "DW_OP_breg13";
6114 case DW_OP_breg14:
6115 return "DW_OP_breg14";
6116 case DW_OP_breg15:
6117 return "DW_OP_breg15";
6118 case DW_OP_breg16:
6119 return "DW_OP_breg16";
6120 case DW_OP_breg17:
6121 return "DW_OP_breg17";
6122 case DW_OP_breg18:
6123 return "DW_OP_breg18";
6124 case DW_OP_breg19:
6125 return "DW_OP_breg19";
6126 case DW_OP_breg20:
6127 return "DW_OP_breg20";
6128 case DW_OP_breg21:
6129 return "DW_OP_breg21";
6130 case DW_OP_breg22:
6131 return "DW_OP_breg22";
6132 case DW_OP_breg23:
6133 return "DW_OP_breg23";
6134 case DW_OP_breg24:
6135 return "DW_OP_breg24";
6136 case DW_OP_breg25:
6137 return "DW_OP_breg25";
6138 case DW_OP_breg26:
6139 return "DW_OP_breg26";
6140 case DW_OP_breg27:
6141 return "DW_OP_breg27";
6142 case DW_OP_breg28:
6143 return "DW_OP_breg28";
6144 case DW_OP_breg29:
6145 return "DW_OP_breg29";
6146 case DW_OP_breg30:
6147 return "DW_OP_breg30";
6148 case DW_OP_breg31:
6149 return "DW_OP_breg31";
6150 case DW_OP_regx:
6151 return "DW_OP_regx";
6152 case DW_OP_fbreg:
6153 return "DW_OP_fbreg";
6154 case DW_OP_bregx:
6155 return "DW_OP_bregx";
6156 case DW_OP_piece:
6157 return "DW_OP_piece";
6158 case DW_OP_deref_size:
6159 return "DW_OP_deref_size";
6160 case DW_OP_xderef_size:
6161 return "DW_OP_xderef_size";
6162 case DW_OP_nop:
6163 return "DW_OP_nop";
6164 /* DWARF 3 extensions. */
6165 case DW_OP_push_object_address:
6166 return "DW_OP_push_object_address";
6167 case DW_OP_call2:
6168 return "DW_OP_call2";
6169 case DW_OP_call4:
6170 return "DW_OP_call4";
6171 case DW_OP_call_ref:
6172 return "DW_OP_call_ref";
6173 /* GNU extensions. */
6174 case DW_OP_GNU_push_tls_address:
6175 return "DW_OP_GNU_push_tls_address";
6176 default:
6177 return "OP_<unknown>";
6178 }
6179 }
6180
6181 static char *
6182 dwarf_bool_name (unsigned mybool)
6183 {
6184 if (mybool)
6185 return "TRUE";
6186 else
6187 return "FALSE";
6188 }
6189
6190 /* Convert a DWARF type code into its string name. */
6191
6192 static char *
6193 dwarf_type_encoding_name (register unsigned enc)
6194 {
6195 switch (enc)
6196 {
6197 case DW_ATE_address:
6198 return "DW_ATE_address";
6199 case DW_ATE_boolean:
6200 return "DW_ATE_boolean";
6201 case DW_ATE_complex_float:
6202 return "DW_ATE_complex_float";
6203 case DW_ATE_float:
6204 return "DW_ATE_float";
6205 case DW_ATE_signed:
6206 return "DW_ATE_signed";
6207 case DW_ATE_signed_char:
6208 return "DW_ATE_signed_char";
6209 case DW_ATE_unsigned:
6210 return "DW_ATE_unsigned";
6211 case DW_ATE_unsigned_char:
6212 return "DW_ATE_unsigned_char";
6213 case DW_ATE_imaginary_float:
6214 return "DW_ATE_imaginary_float";
6215 default:
6216 return "DW_ATE_<unknown>";
6217 }
6218 }
6219
6220 /* Convert a DWARF call frame info operation to its string name. */
6221
6222 #if 0
6223 static char *
6224 dwarf_cfi_name (register unsigned cfi_opc)
6225 {
6226 switch (cfi_opc)
6227 {
6228 case DW_CFA_advance_loc:
6229 return "DW_CFA_advance_loc";
6230 case DW_CFA_offset:
6231 return "DW_CFA_offset";
6232 case DW_CFA_restore:
6233 return "DW_CFA_restore";
6234 case DW_CFA_nop:
6235 return "DW_CFA_nop";
6236 case DW_CFA_set_loc:
6237 return "DW_CFA_set_loc";
6238 case DW_CFA_advance_loc1:
6239 return "DW_CFA_advance_loc1";
6240 case DW_CFA_advance_loc2:
6241 return "DW_CFA_advance_loc2";
6242 case DW_CFA_advance_loc4:
6243 return "DW_CFA_advance_loc4";
6244 case DW_CFA_offset_extended:
6245 return "DW_CFA_offset_extended";
6246 case DW_CFA_restore_extended:
6247 return "DW_CFA_restore_extended";
6248 case DW_CFA_undefined:
6249 return "DW_CFA_undefined";
6250 case DW_CFA_same_value:
6251 return "DW_CFA_same_value";
6252 case DW_CFA_register:
6253 return "DW_CFA_register";
6254 case DW_CFA_remember_state:
6255 return "DW_CFA_remember_state";
6256 case DW_CFA_restore_state:
6257 return "DW_CFA_restore_state";
6258 case DW_CFA_def_cfa:
6259 return "DW_CFA_def_cfa";
6260 case DW_CFA_def_cfa_register:
6261 return "DW_CFA_def_cfa_register";
6262 case DW_CFA_def_cfa_offset:
6263 return "DW_CFA_def_cfa_offset";
6264
6265 /* DWARF 3 */
6266 case DW_CFA_def_cfa_expression:
6267 return "DW_CFA_def_cfa_expression";
6268 case DW_CFA_expression:
6269 return "DW_CFA_expression";
6270 case DW_CFA_offset_extended_sf:
6271 return "DW_CFA_offset_extended_sf";
6272 case DW_CFA_def_cfa_sf:
6273 return "DW_CFA_def_cfa_sf";
6274 case DW_CFA_def_cfa_offset_sf:
6275 return "DW_CFA_def_cfa_offset_sf";
6276
6277 /* SGI/MIPS specific */
6278 case DW_CFA_MIPS_advance_loc8:
6279 return "DW_CFA_MIPS_advance_loc8";
6280
6281 /* GNU extensions */
6282 case DW_CFA_GNU_window_save:
6283 return "DW_CFA_GNU_window_save";
6284 case DW_CFA_GNU_args_size:
6285 return "DW_CFA_GNU_args_size";
6286 case DW_CFA_GNU_negative_offset_extended:
6287 return "DW_CFA_GNU_negative_offset_extended";
6288
6289 default:
6290 return "DW_CFA_<unknown>";
6291 }
6292 }
6293 #endif
6294
6295 static void
6296 dump_die (struct die_info *die)
6297 {
6298 unsigned int i;
6299
6300 fprintf_unfiltered (gdb_stderr, "Die: %s (abbrev = %d, offset = %d)\n",
6301 dwarf_tag_name (die->tag), die->abbrev, die->offset);
6302 fprintf_unfiltered (gdb_stderr, "\thas children: %s\n",
6303 dwarf_bool_name (die->has_children));
6304
6305 fprintf_unfiltered (gdb_stderr, "\tattributes:\n");
6306 for (i = 0; i < die->num_attrs; ++i)
6307 {
6308 fprintf_unfiltered (gdb_stderr, "\t\t%s (%s) ",
6309 dwarf_attr_name (die->attrs[i].name),
6310 dwarf_form_name (die->attrs[i].form));
6311 switch (die->attrs[i].form)
6312 {
6313 case DW_FORM_ref_addr:
6314 case DW_FORM_addr:
6315 fprintf_unfiltered (gdb_stderr, "address: ");
6316 print_address_numeric (DW_ADDR (&die->attrs[i]), 1, gdb_stderr);
6317 break;
6318 case DW_FORM_block2:
6319 case DW_FORM_block4:
6320 case DW_FORM_block:
6321 case DW_FORM_block1:
6322 fprintf_unfiltered (gdb_stderr, "block: size %d", DW_BLOCK (&die->attrs[i])->size);
6323 break;
6324 case DW_FORM_data1:
6325 case DW_FORM_data2:
6326 case DW_FORM_data4:
6327 case DW_FORM_data8:
6328 case DW_FORM_ref1:
6329 case DW_FORM_ref2:
6330 case DW_FORM_ref4:
6331 case DW_FORM_udata:
6332 case DW_FORM_sdata:
6333 fprintf_unfiltered (gdb_stderr, "constant: %ld", DW_UNSND (&die->attrs[i]));
6334 break;
6335 case DW_FORM_string:
6336 case DW_FORM_strp:
6337 fprintf_unfiltered (gdb_stderr, "string: \"%s\"",
6338 DW_STRING (&die->attrs[i])
6339 ? DW_STRING (&die->attrs[i]) : "");
6340 break;
6341 case DW_FORM_flag:
6342 if (DW_UNSND (&die->attrs[i]))
6343 fprintf_unfiltered (gdb_stderr, "flag: TRUE");
6344 else
6345 fprintf_unfiltered (gdb_stderr, "flag: FALSE");
6346 break;
6347 case DW_FORM_indirect:
6348 /* the reader will have reduced the indirect form to
6349 the "base form" so this form should not occur */
6350 fprintf_unfiltered (gdb_stderr, "unexpected attribute form: DW_FORM_indirect");
6351 break;
6352 default:
6353 fprintf_unfiltered (gdb_stderr, "unsupported attribute form: %d.",
6354 die->attrs[i].form);
6355 }
6356 fprintf_unfiltered (gdb_stderr, "\n");
6357 }
6358 }
6359
6360 static void
6361 dump_die_list (struct die_info *die)
6362 {
6363 while (die)
6364 {
6365 dump_die (die);
6366 die = die->next;
6367 }
6368 }
6369
6370 static void
6371 store_in_ref_table (unsigned int offset, struct die_info *die)
6372 {
6373 int h;
6374 struct die_info *old;
6375
6376 h = (offset % REF_HASH_SIZE);
6377 old = die_ref_table[h];
6378 die->next_ref = old;
6379 die_ref_table[h] = die;
6380 }
6381
6382
6383 static void
6384 dwarf2_empty_hash_tables (void)
6385 {
6386 memset (die_ref_table, 0, sizeof (die_ref_table));
6387 }
6388
6389 static unsigned int
6390 dwarf2_get_ref_die_offset (struct attribute *attr)
6391 {
6392 unsigned int result = 0;
6393
6394 switch (attr->form)
6395 {
6396 case DW_FORM_ref_addr:
6397 result = DW_ADDR (attr);
6398 break;
6399 case DW_FORM_ref1:
6400 case DW_FORM_ref2:
6401 case DW_FORM_ref4:
6402 case DW_FORM_ref8:
6403 case DW_FORM_ref_udata:
6404 result = cu_header_offset + DW_UNSND (attr);
6405 break;
6406 default:
6407 complain (&dwarf2_unsupported_die_ref_attr, dwarf_form_name (attr->form));
6408 }
6409 return result;
6410 }
6411
6412 static struct die_info *
6413 follow_die_ref (unsigned int offset)
6414 {
6415 struct die_info *die;
6416 int h;
6417
6418 h = (offset % REF_HASH_SIZE);
6419 die = die_ref_table[h];
6420 while (die)
6421 {
6422 if (die->offset == offset)
6423 {
6424 return die;
6425 }
6426 die = die->next_ref;
6427 }
6428 return NULL;
6429 }
6430
6431 static struct type *
6432 dwarf2_fundamental_type (struct objfile *objfile, int typeid)
6433 {
6434 if (typeid < 0 || typeid >= FT_NUM_MEMBERS)
6435 {
6436 error ("Dwarf Error: internal error - invalid fundamental type id %d.",
6437 typeid);
6438 }
6439
6440 /* Look for this particular type in the fundamental type vector. If
6441 one is not found, create and install one appropriate for the
6442 current language and the current target machine. */
6443
6444 if (ftypes[typeid] == NULL)
6445 {
6446 ftypes[typeid] = cu_language_defn->la_fund_type (objfile, typeid);
6447 }
6448
6449 return (ftypes[typeid]);
6450 }
6451
6452 /* Decode simple location descriptions.
6453 Given a pointer to a dwarf block that defines a location, compute
6454 the location and return the value.
6455
6456 FIXME: This is a kludge until we figure out a better
6457 way to handle the location descriptions.
6458 Gdb's design does not mesh well with the DWARF2 notion of a location
6459 computing interpreter, which is a shame because the flexibility goes unused.
6460 FIXME: Implement more operations as necessary.
6461
6462 A location description containing no operations indicates that the
6463 object is optimized out. The global optimized_out flag is set for
6464 those, the return value is meaningless.
6465
6466 When the result is a register number, the global isreg flag is set,
6467 otherwise it is cleared.
6468
6469 When the result is a base register offset, the global offreg flag is set
6470 and the register number is returned in basereg, otherwise it is cleared.
6471
6472 When the DW_OP_fbreg operation is encountered without a corresponding
6473 DW_AT_frame_base attribute, the global islocal flag is set.
6474 Hopefully the machine dependent code knows how to set up a virtual
6475 frame pointer for the local references.
6476
6477 Note that stack[0] is unused except as a default error return.
6478 Note that stack overflow is not yet handled. */
6479
6480 static CORE_ADDR
6481 decode_locdesc (struct dwarf_block *blk, struct objfile *objfile,
6482 const struct comp_unit_head *cu_header)
6483 {
6484 int i;
6485 int size = blk->size;
6486 char *data = blk->data;
6487 CORE_ADDR stack[64];
6488 int stacki;
6489 unsigned int bytes_read, unsnd;
6490 unsigned char op;
6491
6492 i = 0;
6493 stacki = 0;
6494 stack[stacki] = 0;
6495 isreg = 0;
6496 offreg = 0;
6497 isderef = 0;
6498 islocal = 0;
6499 is_thread_local = 0;
6500 optimized_out = 1;
6501
6502 while (i < size)
6503 {
6504 optimized_out = 0;
6505 op = data[i++];
6506 switch (op)
6507 {
6508 case DW_OP_lit0:
6509 case DW_OP_lit1:
6510 case DW_OP_lit2:
6511 case DW_OP_lit3:
6512 case DW_OP_lit4:
6513 case DW_OP_lit5:
6514 case DW_OP_lit6:
6515 case DW_OP_lit7:
6516 case DW_OP_lit8:
6517 case DW_OP_lit9:
6518 case DW_OP_lit10:
6519 case DW_OP_lit11:
6520 case DW_OP_lit12:
6521 case DW_OP_lit13:
6522 case DW_OP_lit14:
6523 case DW_OP_lit15:
6524 case DW_OP_lit16:
6525 case DW_OP_lit17:
6526 case DW_OP_lit18:
6527 case DW_OP_lit19:
6528 case DW_OP_lit20:
6529 case DW_OP_lit21:
6530 case DW_OP_lit22:
6531 case DW_OP_lit23:
6532 case DW_OP_lit24:
6533 case DW_OP_lit25:
6534 case DW_OP_lit26:
6535 case DW_OP_lit27:
6536 case DW_OP_lit28:
6537 case DW_OP_lit29:
6538 case DW_OP_lit30:
6539 case DW_OP_lit31:
6540 stack[++stacki] = op - DW_OP_lit0;
6541 break;
6542
6543 case DW_OP_reg0:
6544 case DW_OP_reg1:
6545 case DW_OP_reg2:
6546 case DW_OP_reg3:
6547 case DW_OP_reg4:
6548 case DW_OP_reg5:
6549 case DW_OP_reg6:
6550 case DW_OP_reg7:
6551 case DW_OP_reg8:
6552 case DW_OP_reg9:
6553 case DW_OP_reg10:
6554 case DW_OP_reg11:
6555 case DW_OP_reg12:
6556 case DW_OP_reg13:
6557 case DW_OP_reg14:
6558 case DW_OP_reg15:
6559 case DW_OP_reg16:
6560 case DW_OP_reg17:
6561 case DW_OP_reg18:
6562 case DW_OP_reg19:
6563 case DW_OP_reg20:
6564 case DW_OP_reg21:
6565 case DW_OP_reg22:
6566 case DW_OP_reg23:
6567 case DW_OP_reg24:
6568 case DW_OP_reg25:
6569 case DW_OP_reg26:
6570 case DW_OP_reg27:
6571 case DW_OP_reg28:
6572 case DW_OP_reg29:
6573 case DW_OP_reg30:
6574 case DW_OP_reg31:
6575 isreg = 1;
6576 stack[++stacki] = op - DW_OP_reg0;
6577 break;
6578
6579 case DW_OP_regx:
6580 isreg = 1;
6581 unsnd = read_unsigned_leb128 (NULL, (data + i), &bytes_read);
6582 i += bytes_read;
6583 stack[++stacki] = unsnd;
6584 break;
6585
6586 case DW_OP_breg0:
6587 case DW_OP_breg1:
6588 case DW_OP_breg2:
6589 case DW_OP_breg3:
6590 case DW_OP_breg4:
6591 case DW_OP_breg5:
6592 case DW_OP_breg6:
6593 case DW_OP_breg7:
6594 case DW_OP_breg8:
6595 case DW_OP_breg9:
6596 case DW_OP_breg10:
6597 case DW_OP_breg11:
6598 case DW_OP_breg12:
6599 case DW_OP_breg13:
6600 case DW_OP_breg14:
6601 case DW_OP_breg15:
6602 case DW_OP_breg16:
6603 case DW_OP_breg17:
6604 case DW_OP_breg18:
6605 case DW_OP_breg19:
6606 case DW_OP_breg20:
6607 case DW_OP_breg21:
6608 case DW_OP_breg22:
6609 case DW_OP_breg23:
6610 case DW_OP_breg24:
6611 case DW_OP_breg25:
6612 case DW_OP_breg26:
6613 case DW_OP_breg27:
6614 case DW_OP_breg28:
6615 case DW_OP_breg29:
6616 case DW_OP_breg30:
6617 case DW_OP_breg31:
6618 offreg = 1;
6619 basereg = op - DW_OP_breg0;
6620 stack[++stacki] = read_signed_leb128 (NULL, (data + i), &bytes_read);
6621 i += bytes_read;
6622 break;
6623
6624 case DW_OP_bregx:
6625 offreg = 1;
6626 basereg = read_unsigned_leb128 (NULL, (data + i), &bytes_read);
6627 i += bytes_read;
6628 stack[++stacki] = read_signed_leb128 (NULL, (data + i), &bytes_read);
6629 i += bytes_read;
6630 break;
6631
6632 case DW_OP_fbreg:
6633 stack[++stacki] = read_signed_leb128 (NULL, (data + i), &bytes_read);
6634 i += bytes_read;
6635 if (frame_base_reg >= 0)
6636 {
6637 offreg = 1;
6638 basereg = frame_base_reg;
6639 stack[stacki] += frame_base_offset;
6640 }
6641 else
6642 {
6643 complain (&dwarf2_missing_at_frame_base);
6644 islocal = 1;
6645 }
6646 break;
6647
6648 case DW_OP_addr:
6649 stack[++stacki] = read_address (objfile->obfd, &data[i],
6650 cu_header, &bytes_read);
6651 i += bytes_read;
6652 break;
6653
6654 case DW_OP_const1u:
6655 stack[++stacki] = read_1_byte (objfile->obfd, &data[i]);
6656 i += 1;
6657 break;
6658
6659 case DW_OP_const1s:
6660 stack[++stacki] = read_1_signed_byte (objfile->obfd, &data[i]);
6661 i += 1;
6662 break;
6663
6664 case DW_OP_const2u:
6665 stack[++stacki] = read_2_bytes (objfile->obfd, &data[i]);
6666 i += 2;
6667 break;
6668
6669 case DW_OP_const2s:
6670 stack[++stacki] = read_2_signed_bytes (objfile->obfd, &data[i]);
6671 i += 2;
6672 break;
6673
6674 case DW_OP_const4u:
6675 stack[++stacki] = read_4_bytes (objfile->obfd, &data[i]);
6676 i += 4;
6677 break;
6678
6679 case DW_OP_const4s:
6680 stack[++stacki] = read_4_signed_bytes (objfile->obfd, &data[i]);
6681 i += 4;
6682 break;
6683
6684 case DW_OP_constu:
6685 stack[++stacki] = read_unsigned_leb128 (NULL, (data + i),
6686 &bytes_read);
6687 i += bytes_read;
6688 break;
6689
6690 case DW_OP_consts:
6691 stack[++stacki] = read_signed_leb128 (NULL, (data + i), &bytes_read);
6692 i += bytes_read;
6693 break;
6694
6695 case DW_OP_dup:
6696 stack[stacki + 1] = stack[stacki];
6697 stacki++;
6698 break;
6699
6700 case DW_OP_plus:
6701 stack[stacki - 1] += stack[stacki];
6702 stacki--;
6703 break;
6704
6705 case DW_OP_plus_uconst:
6706 stack[stacki] += read_unsigned_leb128 (NULL, (data + i), &bytes_read);
6707 i += bytes_read;
6708 break;
6709
6710 case DW_OP_minus:
6711 stack[stacki - 1] -= stack[stacki];
6712 stacki--;
6713 break;
6714
6715 case DW_OP_deref:
6716 isderef = 1;
6717 /* If we're not the last op, then we definitely can't encode
6718 this using GDB's address_class enum. */
6719 if (i < size)
6720 complain (&dwarf2_complex_location_expr);
6721 break;
6722
6723 case DW_OP_GNU_push_tls_address:
6724 is_thread_local = 1;
6725 /* The top of the stack has the offset from the beginning
6726 of the thread control block at which the variable is located. */
6727 /* Nothing should follow this operator, so the top of stack would
6728 be returned. */
6729 if (i < size)
6730 complain (&dwarf2_complex_location_expr);
6731 break;
6732
6733 default:
6734 complain (&dwarf2_unsupported_stack_op, dwarf_stack_op_name (op));
6735 return (stack[stacki]);
6736 }
6737 }
6738 return (stack[stacki]);
6739 }
6740
6741 /* memory allocation interface */
6742
6743 /* ARGSUSED */
6744 static void
6745 dwarf2_free_tmp_obstack (PTR ignore)
6746 {
6747 obstack_free (&dwarf2_tmp_obstack, NULL);
6748 }
6749
6750 static struct dwarf_block *
6751 dwarf_alloc_block (void)
6752 {
6753 struct dwarf_block *blk;
6754
6755 blk = (struct dwarf_block *)
6756 obstack_alloc (&dwarf2_tmp_obstack, sizeof (struct dwarf_block));
6757 return (blk);
6758 }
6759
6760 static struct abbrev_info *
6761 dwarf_alloc_abbrev (void)
6762 {
6763 struct abbrev_info *abbrev;
6764
6765 abbrev = (struct abbrev_info *) xmalloc (sizeof (struct abbrev_info));
6766 memset (abbrev, 0, sizeof (struct abbrev_info));
6767 return (abbrev);
6768 }
6769
6770 static struct die_info *
6771 dwarf_alloc_die (void)
6772 {
6773 struct die_info *die;
6774
6775 die = (struct die_info *) xmalloc (sizeof (struct die_info));
6776 memset (die, 0, sizeof (struct die_info));
6777 return (die);
6778 }
6779
6780 \f
6781 /* Macro support. */
6782
6783
6784 /* Return the full name of file number I in *LH's file name table.
6785 Use COMP_DIR as the name of the current directory of the
6786 compilation. The result is allocated using xmalloc; the caller is
6787 responsible for freeing it. */
6788 static char *
6789 file_full_name (int file, struct line_header *lh, const char *comp_dir)
6790 {
6791 struct file_entry *fe = &lh->file_names[file - 1];
6792
6793 if (IS_ABSOLUTE_PATH (fe->name))
6794 return xstrdup (fe->name);
6795 else
6796 {
6797 const char *dir;
6798 int dir_len;
6799 char *full_name;
6800
6801 if (fe->dir_index)
6802 dir = lh->include_dirs[fe->dir_index - 1];
6803 else
6804 dir = comp_dir;
6805
6806 if (dir)
6807 {
6808 dir_len = strlen (dir);
6809 full_name = xmalloc (dir_len + 1 + strlen (fe->name) + 1);
6810 strcpy (full_name, dir);
6811 full_name[dir_len] = '/';
6812 strcpy (full_name + dir_len + 1, fe->name);
6813 return full_name;
6814 }
6815 else
6816 return xstrdup (fe->name);
6817 }
6818 }
6819
6820
6821 static struct macro_source_file *
6822 macro_start_file (int file, int line,
6823 struct macro_source_file *current_file,
6824 const char *comp_dir,
6825 struct line_header *lh, struct objfile *objfile)
6826 {
6827 /* The full name of this source file. */
6828 char *full_name = file_full_name (file, lh, comp_dir);
6829
6830 /* We don't create a macro table for this compilation unit
6831 at all until we actually get a filename. */
6832 if (! pending_macros)
6833 pending_macros = new_macro_table (&objfile->symbol_obstack,
6834 objfile->macro_cache);
6835
6836 if (! current_file)
6837 /* If we have no current file, then this must be the start_file
6838 directive for the compilation unit's main source file. */
6839 current_file = macro_set_main (pending_macros, full_name);
6840 else
6841 current_file = macro_include (current_file, line, full_name);
6842
6843 xfree (full_name);
6844
6845 return current_file;
6846 }
6847
6848
6849 /* Copy the LEN characters at BUF to a xmalloc'ed block of memory,
6850 followed by a null byte. */
6851 static char *
6852 copy_string (const char *buf, int len)
6853 {
6854 char *s = xmalloc (len + 1);
6855 memcpy (s, buf, len);
6856 s[len] = '\0';
6857
6858 return s;
6859 }
6860
6861
6862 static const char *
6863 consume_improper_spaces (const char *p, const char *body)
6864 {
6865 if (*p == ' ')
6866 {
6867 complain (&dwarf2_macro_spaces_in_definition, body);
6868
6869 while (*p == ' ')
6870 p++;
6871 }
6872
6873 return p;
6874 }
6875
6876
6877 static void
6878 parse_macro_definition (struct macro_source_file *file, int line,
6879 const char *body)
6880 {
6881 const char *p;
6882
6883 /* The body string takes one of two forms. For object-like macro
6884 definitions, it should be:
6885
6886 <macro name> " " <definition>
6887
6888 For function-like macro definitions, it should be:
6889
6890 <macro name> "() " <definition>
6891 or
6892 <macro name> "(" <arg name> ( "," <arg name> ) * ") " <definition>
6893
6894 Spaces may appear only where explicitly indicated, and in the
6895 <definition>.
6896
6897 The Dwarf 2 spec says that an object-like macro's name is always
6898 followed by a space, but versions of GCC around March 2002 omit
6899 the space when the macro's definition is the empty string.
6900
6901 The Dwarf 2 spec says that there should be no spaces between the
6902 formal arguments in a function-like macro's formal argument list,
6903 but versions of GCC around March 2002 include spaces after the
6904 commas. */
6905
6906
6907 /* Find the extent of the macro name. The macro name is terminated
6908 by either a space or null character (for an object-like macro) or
6909 an opening paren (for a function-like macro). */
6910 for (p = body; *p; p++)
6911 if (*p == ' ' || *p == '(')
6912 break;
6913
6914 if (*p == ' ' || *p == '\0')
6915 {
6916 /* It's an object-like macro. */
6917 int name_len = p - body;
6918 char *name = copy_string (body, name_len);
6919 const char *replacement;
6920
6921 if (*p == ' ')
6922 replacement = body + name_len + 1;
6923 else
6924 {
6925 complain (&dwarf2_macro_malformed_definition, body);
6926 replacement = body + name_len;
6927 }
6928
6929 macro_define_object (file, line, name, replacement);
6930
6931 xfree (name);
6932 }
6933 else if (*p == '(')
6934 {
6935 /* It's a function-like macro. */
6936 char *name = copy_string (body, p - body);
6937 int argc = 0;
6938 int argv_size = 1;
6939 char **argv = xmalloc (argv_size * sizeof (*argv));
6940
6941 p++;
6942
6943 p = consume_improper_spaces (p, body);
6944
6945 /* Parse the formal argument list. */
6946 while (*p && *p != ')')
6947 {
6948 /* Find the extent of the current argument name. */
6949 const char *arg_start = p;
6950
6951 while (*p && *p != ',' && *p != ')' && *p != ' ')
6952 p++;
6953
6954 if (! *p || p == arg_start)
6955 complain (&dwarf2_macro_malformed_definition,
6956 body);
6957 else
6958 {
6959 /* Make sure argv has room for the new argument. */
6960 if (argc >= argv_size)
6961 {
6962 argv_size *= 2;
6963 argv = xrealloc (argv, argv_size * sizeof (*argv));
6964 }
6965
6966 argv[argc++] = copy_string (arg_start, p - arg_start);
6967 }
6968
6969 p = consume_improper_spaces (p, body);
6970
6971 /* Consume the comma, if present. */
6972 if (*p == ',')
6973 {
6974 p++;
6975
6976 p = consume_improper_spaces (p, body);
6977 }
6978 }
6979
6980 if (*p == ')')
6981 {
6982 p++;
6983
6984 if (*p == ' ')
6985 /* Perfectly formed definition, no complaints. */
6986 macro_define_function (file, line, name,
6987 argc, (const char **) argv,
6988 p + 1);
6989 else if (*p == '\0')
6990 {
6991 /* Complain, but do define it. */
6992 complain (&dwarf2_macro_malformed_definition, body);
6993 macro_define_function (file, line, name,
6994 argc, (const char **) argv,
6995 p);
6996 }
6997 else
6998 /* Just complain. */
6999 complain (&dwarf2_macro_malformed_definition, body);
7000 }
7001 else
7002 /* Just complain. */
7003 complain (&dwarf2_macro_malformed_definition, body);
7004
7005 xfree (name);
7006 {
7007 int i;
7008
7009 for (i = 0; i < argc; i++)
7010 xfree (argv[i]);
7011 }
7012 xfree (argv);
7013 }
7014 else
7015 complain (&dwarf2_macro_malformed_definition, body);
7016 }
7017
7018
7019 static void
7020 dwarf_decode_macros (struct line_header *lh, unsigned int offset,
7021 char *comp_dir, bfd *abfd,
7022 const struct comp_unit_head *cu_header,
7023 struct objfile *objfile)
7024 {
7025 char *mac_ptr, *mac_end;
7026 struct macro_source_file *current_file = 0;
7027
7028 if (dwarf_macinfo_buffer == NULL)
7029 {
7030 complain (&dwarf2_missing_macinfo_section);
7031 return;
7032 }
7033
7034 mac_ptr = dwarf_macinfo_buffer + offset;
7035 mac_end = dwarf_macinfo_buffer + dwarf_macinfo_size;
7036
7037 for (;;)
7038 {
7039 enum dwarf_macinfo_record_type macinfo_type;
7040
7041 /* Do we at least have room for a macinfo type byte? */
7042 if (mac_ptr >= mac_end)
7043 {
7044 complain (&dwarf2_macros_too_long);
7045 return;
7046 }
7047
7048 macinfo_type = read_1_byte (abfd, mac_ptr);
7049 mac_ptr++;
7050
7051 switch (macinfo_type)
7052 {
7053 /* A zero macinfo type indicates the end of the macro
7054 information. */
7055 case 0:
7056 return;
7057
7058 case DW_MACINFO_define:
7059 case DW_MACINFO_undef:
7060 {
7061 int bytes_read;
7062 int line;
7063 char *body;
7064
7065 line = read_unsigned_leb128 (abfd, mac_ptr, &bytes_read);
7066 mac_ptr += bytes_read;
7067 body = read_string (abfd, mac_ptr, &bytes_read);
7068 mac_ptr += bytes_read;
7069
7070 if (! current_file)
7071 complain (&dwarf2_macro_outside_file,
7072 macinfo_type == DW_MACINFO_define ? "definition" :
7073 macinfo_type == DW_MACINFO_undef ? "undefinition" :
7074 "something-or-other",
7075 body);
7076 else
7077 {
7078 if (macinfo_type == DW_MACINFO_define)
7079 parse_macro_definition (current_file, line, body);
7080 else if (macinfo_type == DW_MACINFO_undef)
7081 macro_undef (current_file, line, body);
7082 }
7083 }
7084 break;
7085
7086 case DW_MACINFO_start_file:
7087 {
7088 int bytes_read;
7089 int line, file;
7090
7091 line = read_unsigned_leb128 (abfd, mac_ptr, &bytes_read);
7092 mac_ptr += bytes_read;
7093 file = read_unsigned_leb128 (abfd, mac_ptr, &bytes_read);
7094 mac_ptr += bytes_read;
7095
7096 current_file = macro_start_file (file, line,
7097 current_file, comp_dir,
7098 lh, objfile);
7099 }
7100 break;
7101
7102 case DW_MACINFO_end_file:
7103 if (! current_file)
7104 complain (&dwarf2_macro_unmatched_end_file);
7105 else
7106 {
7107 current_file = current_file->included_by;
7108 if (! current_file)
7109 {
7110 enum dwarf_macinfo_record_type next_type;
7111
7112 /* GCC circa March 2002 doesn't produce the zero
7113 type byte marking the end of the compilation
7114 unit. Complain if it's not there, but exit no
7115 matter what. */
7116
7117 /* Do we at least have room for a macinfo type byte? */
7118 if (mac_ptr >= mac_end)
7119 {
7120 complain (&dwarf2_macros_too_long);
7121 return;
7122 }
7123
7124 /* We don't increment mac_ptr here, so this is just
7125 a look-ahead. */
7126 next_type = read_1_byte (abfd, mac_ptr);
7127 if (next_type != 0)
7128 complain (&dwarf2_macros_not_terminated);
7129
7130 return;
7131 }
7132 }
7133 break;
7134
7135 case DW_MACINFO_vendor_ext:
7136 {
7137 int bytes_read;
7138 int constant;
7139 char *string;
7140
7141 constant = read_unsigned_leb128 (abfd, mac_ptr, &bytes_read);
7142 mac_ptr += bytes_read;
7143 string = read_string (abfd, mac_ptr, &bytes_read);
7144 mac_ptr += bytes_read;
7145
7146 /* We don't recognize any vendor extensions. */
7147 }
7148 break;
7149 }
7150 }
7151 }
7152
7153 /* Check if the attribute's form is a DW_FORM_block*
7154 if so return true else false. */
7155 static int
7156 attr_form_is_block (struct attribute *attr)
7157 {
7158 return (attr == NULL ? 0 :
7159 attr->form == DW_FORM_block1
7160 || attr->form == DW_FORM_block2
7161 || attr->form == DW_FORM_block4
7162 || attr->form == DW_FORM_block);
7163 }
This page took 0.213969 seconds and 5 git commands to generate.