2 Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
3 2004, 2005, 2006, 2007, 2008, 2009, 2010 Free Software Foundation, Inc.
5 Adapted from gdb/dwarf2read.c by Gavin Koch of Cygnus Solutions
8 From the dwarf2read.c header:
9 Adapted by Gary Funck (gary@intrepid.com), Intrepid Technology,
10 Inc. with support from Florida State University (under contract
11 with the Ada Joint Program Office), and Silicon Graphics, Inc.
12 Initial contribution by Brent Benson, Harris Computer Systems, Inc.,
13 based on Fred Fish's (Cygnus Support) implementation of DWARF 1
14 support in dwarfread.c
16 This file is part of BFD.
18 This program is free software; you can redistribute it and/or modify
19 it under the terms of the GNU General Public License as published by
20 the Free Software Foundation; either version 3 of the License, or (at
21 your option) any later version.
23 This program is distributed in the hope that it will be useful, but
24 WITHOUT ANY WARRANTY; without even the implied warranty of
25 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
26 General Public License for more details.
28 You should have received a copy of the GNU General Public License
29 along with this program; if not, write to the Free Software
30 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
31 MA 02110-1301, USA. */
35 #include "libiberty.h"
40 /* The data in the .debug_line statement prologue looks like this. */
45 unsigned short version
;
46 bfd_vma prologue_length
;
47 unsigned char minimum_instruction_length
;
48 unsigned char default_is_stmt
;
50 unsigned char line_range
;
51 unsigned char opcode_base
;
52 unsigned char *standard_opcode_lengths
;
55 /* Attributes have a name and a value. */
59 enum dwarf_attribute name
;
64 struct dwarf_block
*blk
;
71 /* Blocks are a bunch of untyped bytes. */
78 struct adjusted_section
86 /* A list of all previously read comp_units. */
87 struct comp_unit
*all_comp_units
;
89 /* Last comp unit in list above. */
90 struct comp_unit
*last_comp_unit
;
92 /* The next unread compilation unit within the .debug_info section.
93 Zero indicates that the .debug_info section has not been loaded
97 /* Pointer to the end of the .debug_info section memory buffer. */
98 bfd_byte
*info_ptr_end
;
100 /* Pointer to the bfd, section and address of the beginning of the
101 section. The bfd might be different than expected because of
102 gnu_debuglink sections. */
105 bfd_byte
*sec_info_ptr
;
107 /* A pointer to the memory block allocated for info_ptr. Neither
108 info_ptr nor sec_info_ptr are guaranteed to stay pointing to the
109 beginning of the malloc block. This is used only to free the
111 bfd_byte
*info_ptr_memory
;
113 /* Pointer to the symbol table. */
116 /* Pointer to the .debug_abbrev section loaded into memory. */
117 bfd_byte
*dwarf_abbrev_buffer
;
119 /* Length of the loaded .debug_abbrev section. */
120 bfd_size_type dwarf_abbrev_size
;
122 /* Buffer for decode_line_info. */
123 bfd_byte
*dwarf_line_buffer
;
125 /* Length of the loaded .debug_line section. */
126 bfd_size_type dwarf_line_size
;
128 /* Pointer to the .debug_str section loaded into memory. */
129 bfd_byte
*dwarf_str_buffer
;
131 /* Length of the loaded .debug_str section. */
132 bfd_size_type dwarf_str_size
;
134 /* Pointer to the .debug_ranges section loaded into memory. */
135 bfd_byte
*dwarf_ranges_buffer
;
137 /* Length of the loaded .debug_ranges section. */
138 bfd_size_type dwarf_ranges_size
;
140 /* If the most recent call to bfd_find_nearest_line was given an
141 address in an inlined function, preserve a pointer into the
142 calling chain for subsequent calls to bfd_find_inliner_info to
144 struct funcinfo
*inliner_chain
;
146 /* Number of sections whose VMA we must adjust. */
147 unsigned int adjusted_section_count
;
149 /* Array of sections with adjusted VMA. */
150 struct adjusted_section
*adjusted_sections
;
152 /* Number of times find_line is called. This is used in
153 the heuristic for enabling the info hash tables. */
156 #define STASH_INFO_HASH_TRIGGER 100
158 /* Hash table mapping symbol names to function infos. */
159 struct info_hash_table
*funcinfo_hash_table
;
161 /* Hash table mapping symbol names to variable infos. */
162 struct info_hash_table
*varinfo_hash_table
;
164 /* Head of comp_unit list in the last hash table update. */
165 struct comp_unit
*hash_units_head
;
167 /* Status of info hash. */
168 int info_hash_status
;
169 #define STASH_INFO_HASH_OFF 0
170 #define STASH_INFO_HASH_ON 1
171 #define STASH_INFO_HASH_DISABLED 2
181 /* A minimal decoding of DWARF2 compilation units. We only decode
182 what's needed to get to the line number information. */
186 /* Chain the previously read compilation units. */
187 struct comp_unit
*next_unit
;
189 /* Likewise, chain the compilation unit read after this one.
190 The comp units are stored in reversed reading order. */
191 struct comp_unit
*prev_unit
;
193 /* Keep the bfd convenient (for memory allocation). */
196 /* The lowest and highest addresses contained in this compilation
197 unit as specified in the compilation unit header. */
198 struct arange arange
;
200 /* The DW_AT_name attribute (for error messages). */
203 /* The abbrev hash table. */
204 struct abbrev_info
**abbrevs
;
206 /* Note that an error was found by comp_unit_find_nearest_line. */
209 /* The DW_AT_comp_dir attribute. */
212 /* TRUE if there is a line number table associated with this comp. unit. */
215 /* Pointer to the current comp_unit so that we can find a given entry
217 bfd_byte
*info_ptr_unit
;
219 /* Pointer to the start of the debug section, for DW_FORM_ref_addr. */
220 bfd_byte
*sec_info_ptr
;
222 /* The offset into .debug_line of the line number table. */
223 unsigned long line_offset
;
225 /* Pointer to the first child die for the comp unit. */
226 bfd_byte
*first_child_die_ptr
;
228 /* The end of the comp unit. */
231 /* The decoded line number, NULL if not yet decoded. */
232 struct line_info_table
*line_table
;
234 /* A list of the functions found in this comp. unit. */
235 struct funcinfo
*function_table
;
237 /* A list of the variables found in this comp. unit. */
238 struct varinfo
*variable_table
;
240 /* Pointer to dwarf2_debug structure. */
241 struct dwarf2_debug
*stash
;
243 /* DWARF format version for this unit - from unit header. */
246 /* Address size for this unit - from unit header. */
247 unsigned char addr_size
;
249 /* Offset size for this unit - from unit header. */
250 unsigned char offset_size
;
252 /* Base address for this unit - from DW_AT_low_pc attribute of
253 DW_TAG_compile_unit DIE */
254 bfd_vma base_address
;
256 /* TRUE if symbols are cached in hash table for faster lookup by name. */
260 /* This data structure holds the information of an abbrev. */
263 unsigned int number
; /* Number identifying abbrev. */
264 enum dwarf_tag tag
; /* DWARF tag. */
265 int has_children
; /* Boolean. */
266 unsigned int num_attrs
; /* Number of attributes. */
267 struct attr_abbrev
*attrs
; /* An array of attribute descriptions. */
268 struct abbrev_info
*next
; /* Next in chain. */
273 enum dwarf_attribute name
;
274 enum dwarf_form form
;
277 #ifndef ABBREV_HASH_SIZE
278 #define ABBREV_HASH_SIZE 121
280 #ifndef ATTR_ALLOC_CHUNK
281 #define ATTR_ALLOC_CHUNK 4
284 /* Variable and function hash tables. This is used to speed up look-up
285 in lookup_symbol_in_var_table() and lookup_symbol_in_function_table().
286 In order to share code between variable and function infos, we use
287 a list of untyped pointer for all variable/function info associated with
288 a symbol. We waste a bit of memory for list with one node but that
289 simplifies the code. */
291 struct info_list_node
293 struct info_list_node
*next
;
297 /* Info hash entry. */
298 struct info_hash_entry
300 struct bfd_hash_entry root
;
301 struct info_list_node
*head
;
304 struct info_hash_table
306 struct bfd_hash_table base
;
309 /* Function to create a new entry in info hash table. */
311 static struct bfd_hash_entry
*
312 info_hash_table_newfunc (struct bfd_hash_entry
*entry
,
313 struct bfd_hash_table
*table
,
316 struct info_hash_entry
*ret
= (struct info_hash_entry
*) entry
;
318 /* Allocate the structure if it has not already been allocated by a
322 ret
= (struct info_hash_entry
*) bfd_hash_allocate (table
,
328 /* Call the allocation method of the base class. */
329 ret
= ((struct info_hash_entry
*)
330 bfd_hash_newfunc ((struct bfd_hash_entry
*) ret
, table
, string
));
332 /* Initialize the local fields here. */
336 return (struct bfd_hash_entry
*) ret
;
339 /* Function to create a new info hash table. It returns a pointer to the
340 newly created table or NULL if there is any error. We need abfd
341 solely for memory allocation. */
343 static struct info_hash_table
*
344 create_info_hash_table (bfd
*abfd
)
346 struct info_hash_table
*hash_table
;
348 hash_table
= (struct info_hash_table
*)
349 bfd_alloc (abfd
, sizeof (struct info_hash_table
));
353 if (!bfd_hash_table_init (&hash_table
->base
, info_hash_table_newfunc
,
354 sizeof (struct info_hash_entry
)))
356 bfd_release (abfd
, hash_table
);
363 /* Insert an info entry into an info hash table. We do not check of
364 duplicate entries. Also, the caller need to guarantee that the
365 right type of info in inserted as info is passed as a void* pointer.
366 This function returns true if there is no error. */
369 insert_info_hash_table (struct info_hash_table
*hash_table
,
374 struct info_hash_entry
*entry
;
375 struct info_list_node
*node
;
377 entry
= (struct info_hash_entry
*) bfd_hash_lookup (&hash_table
->base
,
382 node
= (struct info_list_node
*) bfd_hash_allocate (&hash_table
->base
,
388 node
->next
= entry
->head
;
394 /* Look up an info entry list from an info hash table. Return NULL
397 static struct info_list_node
*
398 lookup_info_hash_table (struct info_hash_table
*hash_table
, const char *key
)
400 struct info_hash_entry
*entry
;
402 entry
= (struct info_hash_entry
*) bfd_hash_lookup (&hash_table
->base
, key
,
404 return entry
? entry
->head
: NULL
;
407 /* Read a section into its appropriate place in the dwarf2_debug
408 struct (indicated by SECTION_BUFFER and SECTION_SIZE). If SYMS is
409 not NULL, use bfd_simple_get_relocated_section_contents to read the
410 section contents, otherwise use bfd_get_section_contents. Fail if
411 the located section does not contain at least OFFSET bytes. */
414 read_section (bfd
* abfd
,
415 const char * section_name
,
416 const char * compressed_section_name
,
419 bfd_byte
** section_buffer
,
420 bfd_size_type
* section_size
)
423 bfd_boolean section_is_compressed
= FALSE
;
425 /* read_section is a noop if the section has already been read. */
426 if (!*section_buffer
)
428 msec
= bfd_get_section_by_name (abfd
, section_name
);
429 if (! msec
&& compressed_section_name
)
431 msec
= bfd_get_section_by_name (abfd
, compressed_section_name
);
432 section_is_compressed
= TRUE
;
436 (*_bfd_error_handler
) (_("Dwarf Error: Can't find %s section."), section_name
);
437 bfd_set_error (bfd_error_bad_value
);
441 *section_size
= msec
->rawsize
? msec
->rawsize
: msec
->size
;
445 = bfd_simple_get_relocated_section_contents (abfd
, msec
, NULL
, syms
);
446 if (! *section_buffer
)
451 *section_buffer
= (bfd_byte
*) bfd_malloc (*section_size
);
452 if (! *section_buffer
)
454 if (! bfd_get_section_contents (abfd
, msec
, *section_buffer
,
459 if (section_is_compressed
)
461 if (! bfd_uncompress_section_contents (section_buffer
, section_size
))
463 (*_bfd_error_handler
) (_("Dwarf Error: unable to decompress %s section."), compressed_section_name
);
464 bfd_set_error (bfd_error_bad_value
);
470 /* It is possible to get a bad value for the offset into the section
471 that the client wants. Validate it here to avoid trouble later. */
472 if (offset
!= 0 && offset
>= *section_size
)
474 (*_bfd_error_handler
) (_("Dwarf Error: Offset (%lu) greater than or equal to %s size (%lu)."),
475 (long) offset
, section_name
, *section_size
);
476 bfd_set_error (bfd_error_bad_value
);
484 The following function up to the END VERBATIM mark are
485 copied directly from dwarf2read.c. */
487 /* Read dwarf information from a buffer. */
490 read_1_byte (bfd
*abfd ATTRIBUTE_UNUSED
, bfd_byte
*buf
)
492 return bfd_get_8 (abfd
, buf
);
496 read_1_signed_byte (bfd
*abfd ATTRIBUTE_UNUSED
, bfd_byte
*buf
)
498 return bfd_get_signed_8 (abfd
, buf
);
502 read_2_bytes (bfd
*abfd
, bfd_byte
*buf
)
504 return bfd_get_16 (abfd
, buf
);
508 read_4_bytes (bfd
*abfd
, bfd_byte
*buf
)
510 return bfd_get_32 (abfd
, buf
);
514 read_8_bytes (bfd
*abfd
, bfd_byte
*buf
)
516 return bfd_get_64 (abfd
, buf
);
520 read_n_bytes (bfd
*abfd ATTRIBUTE_UNUSED
,
522 unsigned int size ATTRIBUTE_UNUSED
)
528 read_string (bfd
*abfd ATTRIBUTE_UNUSED
,
530 unsigned int *bytes_read_ptr
)
532 /* Return a pointer to the embedded string. */
533 char *str
= (char *) buf
;
541 *bytes_read_ptr
= strlen (str
) + 1;
548 read_indirect_string (struct comp_unit
* unit
,
550 unsigned int * bytes_read_ptr
)
553 struct dwarf2_debug
*stash
= unit
->stash
;
556 if (unit
->offset_size
== 4)
557 offset
= read_4_bytes (unit
->abfd
, buf
);
559 offset
= read_8_bytes (unit
->abfd
, buf
);
561 *bytes_read_ptr
= unit
->offset_size
;
563 if (! read_section (unit
->abfd
, ".debug_str", ".zdebug_str",
565 &stash
->dwarf_str_buffer
, &stash
->dwarf_str_size
))
568 str
= (char *) stash
->dwarf_str_buffer
+ offset
;
575 read_address (struct comp_unit
*unit
, bfd_byte
*buf
)
577 int signed_vma
= get_elf_backend_data (unit
->abfd
)->sign_extend_vma
;
581 switch (unit
->addr_size
)
584 return bfd_get_signed_64 (unit
->abfd
, buf
);
586 return bfd_get_signed_32 (unit
->abfd
, buf
);
588 return bfd_get_signed_16 (unit
->abfd
, buf
);
595 switch (unit
->addr_size
)
598 return bfd_get_64 (unit
->abfd
, buf
);
600 return bfd_get_32 (unit
->abfd
, buf
);
602 return bfd_get_16 (unit
->abfd
, buf
);
609 /* Lookup an abbrev_info structure in the abbrev hash table. */
611 static struct abbrev_info
*
612 lookup_abbrev (unsigned int number
, struct abbrev_info
**abbrevs
)
614 unsigned int hash_number
;
615 struct abbrev_info
*abbrev
;
617 hash_number
= number
% ABBREV_HASH_SIZE
;
618 abbrev
= abbrevs
[hash_number
];
622 if (abbrev
->number
== number
)
625 abbrev
= abbrev
->next
;
631 /* In DWARF version 2, the description of the debugging information is
632 stored in a separate .debug_abbrev section. Before we read any
633 dies from a section we read in all abbreviations and install them
636 static struct abbrev_info
**
637 read_abbrevs (bfd
*abfd
, bfd_uint64_t offset
, struct dwarf2_debug
*stash
)
639 struct abbrev_info
**abbrevs
;
640 bfd_byte
*abbrev_ptr
;
641 struct abbrev_info
*cur_abbrev
;
642 unsigned int abbrev_number
, bytes_read
, abbrev_name
;
643 unsigned int abbrev_form
, hash_number
;
646 if (! read_section (abfd
, ".debug_abbrev", ".zdebug_abbrev",
648 &stash
->dwarf_abbrev_buffer
, &stash
->dwarf_abbrev_size
))
651 amt
= sizeof (struct abbrev_info
*) * ABBREV_HASH_SIZE
;
652 abbrevs
= (struct abbrev_info
**) bfd_zalloc (abfd
, amt
);
656 abbrev_ptr
= stash
->dwarf_abbrev_buffer
+ offset
;
657 abbrev_number
= read_unsigned_leb128 (abfd
, abbrev_ptr
, &bytes_read
);
658 abbrev_ptr
+= bytes_read
;
660 /* Loop until we reach an abbrev number of 0. */
661 while (abbrev_number
)
663 amt
= sizeof (struct abbrev_info
);
664 cur_abbrev
= (struct abbrev_info
*) bfd_zalloc (abfd
, amt
);
665 if (cur_abbrev
== NULL
)
668 /* Read in abbrev header. */
669 cur_abbrev
->number
= abbrev_number
;
670 cur_abbrev
->tag
= (enum dwarf_tag
)
671 read_unsigned_leb128 (abfd
, abbrev_ptr
, &bytes_read
);
672 abbrev_ptr
+= bytes_read
;
673 cur_abbrev
->has_children
= read_1_byte (abfd
, abbrev_ptr
);
676 /* Now read in declarations. */
677 abbrev_name
= read_unsigned_leb128 (abfd
, abbrev_ptr
, &bytes_read
);
678 abbrev_ptr
+= bytes_read
;
679 abbrev_form
= read_unsigned_leb128 (abfd
, abbrev_ptr
, &bytes_read
);
680 abbrev_ptr
+= bytes_read
;
684 if ((cur_abbrev
->num_attrs
% ATTR_ALLOC_CHUNK
) == 0)
686 struct attr_abbrev
*tmp
;
688 amt
= cur_abbrev
->num_attrs
+ ATTR_ALLOC_CHUNK
;
689 amt
*= sizeof (struct attr_abbrev
);
690 tmp
= (struct attr_abbrev
*) bfd_realloc (cur_abbrev
->attrs
, amt
);
695 for (i
= 0; i
< ABBREV_HASH_SIZE
; i
++)
697 struct abbrev_info
*abbrev
= abbrevs
[i
];
701 free (abbrev
->attrs
);
702 abbrev
= abbrev
->next
;
707 cur_abbrev
->attrs
= tmp
;
710 cur_abbrev
->attrs
[cur_abbrev
->num_attrs
].name
711 = (enum dwarf_attribute
) abbrev_name
;
712 cur_abbrev
->attrs
[cur_abbrev
->num_attrs
++].form
713 = (enum dwarf_form
) abbrev_form
;
714 abbrev_name
= read_unsigned_leb128 (abfd
, abbrev_ptr
, &bytes_read
);
715 abbrev_ptr
+= bytes_read
;
716 abbrev_form
= read_unsigned_leb128 (abfd
, abbrev_ptr
, &bytes_read
);
717 abbrev_ptr
+= bytes_read
;
720 hash_number
= abbrev_number
% ABBREV_HASH_SIZE
;
721 cur_abbrev
->next
= abbrevs
[hash_number
];
722 abbrevs
[hash_number
] = cur_abbrev
;
724 /* Get next abbreviation.
725 Under Irix6 the abbreviations for a compilation unit are not
726 always properly terminated with an abbrev number of 0.
727 Exit loop if we encounter an abbreviation which we have
728 already read (which means we are about to read the abbreviations
729 for the next compile unit) or if the end of the abbreviation
731 if ((unsigned int) (abbrev_ptr
- stash
->dwarf_abbrev_buffer
)
732 >= stash
->dwarf_abbrev_size
)
734 abbrev_number
= read_unsigned_leb128 (abfd
, abbrev_ptr
, &bytes_read
);
735 abbrev_ptr
+= bytes_read
;
736 if (lookup_abbrev (abbrev_number
,abbrevs
) != NULL
)
743 /* Read an attribute value described by an attribute form. */
746 read_attribute_value (struct attribute
*attr
,
748 struct comp_unit
*unit
,
751 bfd
*abfd
= unit
->abfd
;
752 unsigned int bytes_read
;
753 struct dwarf_block
*blk
;
756 attr
->form
= (enum dwarf_form
) form
;
760 case DW_FORM_ref_addr
:
761 /* DW_FORM_ref_addr is an address in DWARF2, and an offset in
763 if (unit
->version
== 3)
765 if (unit
->offset_size
== 4)
766 attr
->u
.val
= read_4_bytes (unit
->abfd
, info_ptr
);
768 attr
->u
.val
= read_8_bytes (unit
->abfd
, info_ptr
);
769 info_ptr
+= unit
->offset_size
;
774 attr
->u
.val
= read_address (unit
, info_ptr
);
775 info_ptr
+= unit
->addr_size
;
778 amt
= sizeof (struct dwarf_block
);
779 blk
= (struct dwarf_block
*) bfd_alloc (abfd
, amt
);
782 blk
->size
= read_2_bytes (abfd
, info_ptr
);
784 blk
->data
= read_n_bytes (abfd
, info_ptr
, blk
->size
);
785 info_ptr
+= blk
->size
;
789 amt
= sizeof (struct dwarf_block
);
790 blk
= (struct dwarf_block
*) bfd_alloc (abfd
, amt
);
793 blk
->size
= read_4_bytes (abfd
, info_ptr
);
795 blk
->data
= read_n_bytes (abfd
, info_ptr
, blk
->size
);
796 info_ptr
+= blk
->size
;
800 attr
->u
.val
= read_2_bytes (abfd
, info_ptr
);
804 attr
->u
.val
= read_4_bytes (abfd
, info_ptr
);
808 attr
->u
.val
= read_8_bytes (abfd
, info_ptr
);
812 attr
->u
.str
= read_string (abfd
, info_ptr
, &bytes_read
);
813 info_ptr
+= bytes_read
;
816 attr
->u
.str
= read_indirect_string (unit
, info_ptr
, &bytes_read
);
817 info_ptr
+= bytes_read
;
820 amt
= sizeof (struct dwarf_block
);
821 blk
= (struct dwarf_block
*) bfd_alloc (abfd
, amt
);
824 blk
->size
= read_unsigned_leb128 (abfd
, info_ptr
, &bytes_read
);
825 info_ptr
+= bytes_read
;
826 blk
->data
= read_n_bytes (abfd
, info_ptr
, blk
->size
);
827 info_ptr
+= blk
->size
;
831 amt
= sizeof (struct dwarf_block
);
832 blk
= (struct dwarf_block
*) bfd_alloc (abfd
, amt
);
835 blk
->size
= read_1_byte (abfd
, info_ptr
);
837 blk
->data
= read_n_bytes (abfd
, info_ptr
, blk
->size
);
838 info_ptr
+= blk
->size
;
842 attr
->u
.val
= read_1_byte (abfd
, info_ptr
);
846 attr
->u
.val
= read_1_byte (abfd
, info_ptr
);
850 attr
->u
.sval
= read_signed_leb128 (abfd
, info_ptr
, &bytes_read
);
851 info_ptr
+= bytes_read
;
854 attr
->u
.val
= read_unsigned_leb128 (abfd
, info_ptr
, &bytes_read
);
855 info_ptr
+= bytes_read
;
858 attr
->u
.val
= read_1_byte (abfd
, info_ptr
);
862 attr
->u
.val
= read_2_bytes (abfd
, info_ptr
);
866 attr
->u
.val
= read_4_bytes (abfd
, info_ptr
);
870 attr
->u
.val
= read_8_bytes (abfd
, info_ptr
);
873 case DW_FORM_ref_sig8
:
874 attr
->u
.val
= read_8_bytes (abfd
, info_ptr
);
877 case DW_FORM_ref_udata
:
878 attr
->u
.val
= read_unsigned_leb128 (abfd
, info_ptr
, &bytes_read
);
879 info_ptr
+= bytes_read
;
881 case DW_FORM_indirect
:
882 form
= read_unsigned_leb128 (abfd
, info_ptr
, &bytes_read
);
883 info_ptr
+= bytes_read
;
884 info_ptr
= read_attribute_value (attr
, form
, unit
, info_ptr
);
887 (*_bfd_error_handler
) (_("Dwarf Error: Invalid or unhandled FORM value: %u."),
889 bfd_set_error (bfd_error_bad_value
);
894 /* Read an attribute described by an abbreviated attribute. */
897 read_attribute (struct attribute
*attr
,
898 struct attr_abbrev
*abbrev
,
899 struct comp_unit
*unit
,
902 attr
->name
= abbrev
->name
;
903 info_ptr
= read_attribute_value (attr
, abbrev
->form
, unit
, info_ptr
);
907 /* Source line information table routines. */
909 #define FILE_ALLOC_CHUNK 5
910 #define DIR_ALLOC_CHUNK 5
914 struct line_info
* prev_line
;
919 int end_sequence
; /* End of (sequential) code sequence. */
933 struct line_sequence
* prev_sequence
;
934 struct line_info
* last_line
; /* Largest VMA. */
937 struct line_info_table
940 unsigned int num_files
;
941 unsigned int num_dirs
;
942 unsigned int num_sequences
;
945 struct fileinfo
* files
;
946 struct line_sequence
* sequences
;
947 struct line_info
* lcl_head
; /* Local head; used in 'add_line_info'. */
950 /* Remember some information about each function. If the function is
951 inlined (DW_TAG_inlined_subroutine) it may have two additional
952 attributes, DW_AT_call_file and DW_AT_call_line, which specify the
953 source code location where this function was inlined. */
957 struct funcinfo
*prev_func
; /* Pointer to previous function in list of all functions */
958 struct funcinfo
*caller_func
; /* Pointer to function one scope higher */
959 char *caller_file
; /* Source location file name where caller_func inlines this func */
960 int caller_line
; /* Source location line number where caller_func inlines this func */
961 char *file
; /* Source location file name */
962 int line
; /* Source location line number */
965 struct arange arange
;
966 asection
*sec
; /* Where the symbol is defined */
971 /* Pointer to previous variable in list of all variables */
972 struct varinfo
*prev_var
;
973 /* Source location file name */
975 /* Source location line number */
980 /* Where the symbol is defined */
982 /* Is this a stack variable? */
983 unsigned int stack
: 1;
986 /* Return TRUE if NEW_LINE should sort after LINE. */
988 static inline bfd_boolean
989 new_line_sorts_after (struct line_info
*new_line
, struct line_info
*line
)
991 return (new_line
->address
> line
->address
992 || (new_line
->address
== line
->address
993 && new_line
->end_sequence
< line
->end_sequence
));
997 /* Adds a new entry to the line_info list in the line_info_table, ensuring
998 that the list is sorted. Note that the line_info list is sorted from
999 highest to lowest VMA (with possible duplicates); that is,
1000 line_info->prev_line always accesses an equal or smaller VMA. */
1003 add_line_info (struct line_info_table
*table
,
1007 unsigned int column
,
1010 bfd_size_type amt
= sizeof (struct line_info
);
1011 struct line_sequence
* seq
= table
->sequences
;
1012 struct line_info
* info
= (struct line_info
*) bfd_alloc (table
->abfd
, amt
);
1017 /* Set member data of 'info'. */
1018 info
->address
= address
;
1020 info
->column
= column
;
1021 info
->end_sequence
= end_sequence
;
1023 if (filename
&& filename
[0])
1025 info
->filename
= (char *) bfd_alloc (table
->abfd
, strlen (filename
) + 1);
1026 if (info
->filename
== NULL
)
1028 strcpy (info
->filename
, filename
);
1031 info
->filename
= NULL
;
1033 /* Find the correct location for 'info'. Normally we will receive
1034 new line_info data 1) in order and 2) with increasing VMAs.
1035 However some compilers break the rules (cf. decode_line_info) and
1036 so we include some heuristics for quickly finding the correct
1037 location for 'info'. In particular, these heuristics optimize for
1038 the common case in which the VMA sequence that we receive is a
1039 list of locally sorted VMAs such as
1040 p...z a...j (where a < j < p < z)
1042 Note: table->lcl_head is used to head an *actual* or *possible*
1043 sub-sequence within the list (such as a...j) that is not directly
1044 headed by table->last_line
1046 Note: we may receive duplicate entries from 'decode_line_info'. */
1049 && seq
->last_line
->address
== address
1050 && seq
->last_line
->end_sequence
== end_sequence
)
1052 /* We only keep the last entry with the same address and end
1053 sequence. See PR ld/4986. */
1054 if (table
->lcl_head
== seq
->last_line
)
1055 table
->lcl_head
= info
;
1056 info
->prev_line
= seq
->last_line
->prev_line
;
1057 seq
->last_line
= info
;
1059 else if (!seq
|| seq
->last_line
->end_sequence
)
1061 /* Start a new line sequence. */
1062 amt
= sizeof (struct line_sequence
);
1063 seq
= (struct line_sequence
*) bfd_malloc (amt
);
1066 seq
->low_pc
= address
;
1067 seq
->prev_sequence
= table
->sequences
;
1068 seq
->last_line
= info
;
1069 table
->lcl_head
= info
;
1070 table
->sequences
= seq
;
1071 table
->num_sequences
++;
1073 else if (new_line_sorts_after (info
, seq
->last_line
))
1075 /* Normal case: add 'info' to the beginning of the current sequence. */
1076 info
->prev_line
= seq
->last_line
;
1077 seq
->last_line
= info
;
1079 /* lcl_head: initialize to head a *possible* sequence at the end. */
1080 if (!table
->lcl_head
)
1081 table
->lcl_head
= info
;
1083 else if (!new_line_sorts_after (info
, table
->lcl_head
)
1084 && (!table
->lcl_head
->prev_line
1085 || new_line_sorts_after (info
, table
->lcl_head
->prev_line
)))
1087 /* Abnormal but easy: lcl_head is the head of 'info'. */
1088 info
->prev_line
= table
->lcl_head
->prev_line
;
1089 table
->lcl_head
->prev_line
= info
;
1093 /* Abnormal and hard: Neither 'last_line' nor 'lcl_head'
1094 are valid heads for 'info'. Reset 'lcl_head'. */
1095 struct line_info
* li2
= seq
->last_line
; /* Always non-NULL. */
1096 struct line_info
* li1
= li2
->prev_line
;
1100 if (!new_line_sorts_after (info
, li2
)
1101 && new_line_sorts_after (info
, li1
))
1104 li2
= li1
; /* always non-NULL */
1105 li1
= li1
->prev_line
;
1107 table
->lcl_head
= li2
;
1108 info
->prev_line
= table
->lcl_head
->prev_line
;
1109 table
->lcl_head
->prev_line
= info
;
1110 if (address
< seq
->low_pc
)
1111 seq
->low_pc
= address
;
1116 /* Extract a fully qualified filename from a line info table.
1117 The returned string has been malloc'ed and it is the caller's
1118 responsibility to free it. */
1121 concat_filename (struct line_info_table
*table
, unsigned int file
)
1125 if (file
- 1 >= table
->num_files
)
1127 /* FILE == 0 means unknown. */
1129 (*_bfd_error_handler
)
1130 (_("Dwarf Error: mangled line number section (bad file number)."));
1131 return strdup ("<unknown>");
1134 filename
= table
->files
[file
- 1].name
;
1136 if (!IS_ABSOLUTE_PATH (filename
))
1138 char *dir_name
= NULL
;
1139 char *subdir_name
= NULL
;
1143 if (table
->files
[file
- 1].dir
)
1144 subdir_name
= table
->dirs
[table
->files
[file
- 1].dir
- 1];
1146 if (!subdir_name
|| !IS_ABSOLUTE_PATH (subdir_name
))
1147 dir_name
= table
->comp_dir
;
1151 dir_name
= subdir_name
;
1156 return strdup (filename
);
1158 len
= strlen (dir_name
) + strlen (filename
) + 2;
1162 len
+= strlen (subdir_name
) + 1;
1163 name
= (char *) bfd_malloc (len
);
1165 sprintf (name
, "%s/%s/%s", dir_name
, subdir_name
, filename
);
1169 name
= (char *) bfd_malloc (len
);
1171 sprintf (name
, "%s/%s", dir_name
, filename
);
1177 return strdup (filename
);
1181 arange_add (bfd
*abfd
, struct arange
*first_arange
,
1182 bfd_vma low_pc
, bfd_vma high_pc
)
1184 struct arange
*arange
;
1186 /* If the first arange is empty, use it. */
1187 if (first_arange
->high
== 0)
1189 first_arange
->low
= low_pc
;
1190 first_arange
->high
= high_pc
;
1194 /* Next see if we can cheaply extend an existing range. */
1195 arange
= first_arange
;
1198 if (low_pc
== arange
->high
)
1200 arange
->high
= high_pc
;
1203 if (high_pc
== arange
->low
)
1205 arange
->low
= low_pc
;
1208 arange
= arange
->next
;
1212 /* Need to allocate a new arange and insert it into the arange list.
1213 Order isn't significant, so just insert after the first arange. */
1214 arange
= (struct arange
*) bfd_zalloc (abfd
, sizeof (*arange
));
1217 arange
->low
= low_pc
;
1218 arange
->high
= high_pc
;
1219 arange
->next
= first_arange
->next
;
1220 first_arange
->next
= arange
;
1224 /* Compare function for line sequences. */
1227 compare_sequences (const void* a
, const void* b
)
1229 const struct line_sequence
* seq1
= a
;
1230 const struct line_sequence
* seq2
= b
;
1232 /* Sort by low_pc as the primary key. */
1233 if (seq1
->low_pc
< seq2
->low_pc
)
1235 if (seq1
->low_pc
> seq2
->low_pc
)
1238 /* If low_pc values are equal, sort in reverse order of
1239 high_pc, so that the largest region comes first. */
1240 if (seq1
->last_line
->address
< seq2
->last_line
->address
)
1242 if (seq1
->last_line
->address
> seq2
->last_line
->address
)
1248 /* Sort the line sequences for quick lookup. */
1251 sort_line_sequences (struct line_info_table
* table
)
1254 struct line_sequence
* sequences
;
1255 struct line_sequence
* seq
;
1257 unsigned int num_sequences
= table
->num_sequences
;
1258 bfd_vma last_high_pc
;
1260 if (num_sequences
== 0)
1263 /* Allocate space for an array of sequences. */
1264 amt
= sizeof (struct line_sequence
) * num_sequences
;
1265 sequences
= (struct line_sequence
*) bfd_alloc (table
->abfd
, amt
);
1266 if (sequences
== NULL
)
1269 /* Copy the linked list into the array, freeing the original nodes. */
1270 seq
= table
->sequences
;
1271 for (n
= 0; n
< num_sequences
; n
++)
1273 struct line_sequence
* last_seq
= seq
;
1276 sequences
[n
].low_pc
= seq
->low_pc
;
1277 sequences
[n
].prev_sequence
= NULL
;
1278 sequences
[n
].last_line
= seq
->last_line
;
1279 seq
= seq
->prev_sequence
;
1282 BFD_ASSERT (seq
== NULL
);
1284 qsort (sequences
, n
, sizeof (struct line_sequence
), compare_sequences
);
1286 /* Make the list binary-searchable by trimming overlapping entries
1287 and removing nested entries. */
1289 last_high_pc
= sequences
[0].last_line
->address
;
1290 for (n
= 1; n
< table
->num_sequences
; n
++)
1292 if (sequences
[n
].low_pc
< last_high_pc
)
1294 if (sequences
[n
].last_line
->address
<= last_high_pc
)
1295 /* Skip nested entries. */
1298 /* Trim overlapping entries. */
1299 sequences
[n
].low_pc
= last_high_pc
;
1301 last_high_pc
= sequences
[n
].last_line
->address
;
1302 if (n
> num_sequences
)
1304 /* Close up the gap. */
1305 sequences
[num_sequences
].low_pc
= sequences
[n
].low_pc
;
1306 sequences
[num_sequences
].last_line
= sequences
[n
].last_line
;
1311 table
->sequences
= sequences
;
1312 table
->num_sequences
= num_sequences
;
1316 /* Decode the line number information for UNIT. */
1318 static struct line_info_table
*
1319 decode_line_info (struct comp_unit
*unit
, struct dwarf2_debug
*stash
)
1321 bfd
*abfd
= unit
->abfd
;
1322 struct line_info_table
* table
;
1325 struct line_head lh
;
1326 unsigned int i
, bytes_read
, offset_size
;
1327 char *cur_file
, *cur_dir
;
1328 unsigned char op_code
, extended_op
, adj_opcode
;
1331 if (! read_section (abfd
, ".debug_line", ".zdebug_line",
1332 stash
->syms
, unit
->line_offset
,
1333 &stash
->dwarf_line_buffer
, &stash
->dwarf_line_size
))
1336 amt
= sizeof (struct line_info_table
);
1337 table
= (struct line_info_table
*) bfd_alloc (abfd
, amt
);
1341 table
->comp_dir
= unit
->comp_dir
;
1343 table
->num_files
= 0;
1344 table
->files
= NULL
;
1346 table
->num_dirs
= 0;
1349 table
->num_sequences
= 0;
1350 table
->sequences
= NULL
;
1352 table
->lcl_head
= NULL
;
1354 line_ptr
= stash
->dwarf_line_buffer
+ unit
->line_offset
;
1356 /* Read in the prologue. */
1357 lh
.total_length
= read_4_bytes (abfd
, line_ptr
);
1360 if (lh
.total_length
== 0xffffffff)
1362 lh
.total_length
= read_8_bytes (abfd
, line_ptr
);
1366 else if (lh
.total_length
== 0 && unit
->addr_size
== 8)
1368 /* Handle (non-standard) 64-bit DWARF2 formats. */
1369 lh
.total_length
= read_4_bytes (abfd
, line_ptr
);
1373 line_end
= line_ptr
+ lh
.total_length
;
1374 lh
.version
= read_2_bytes (abfd
, line_ptr
);
1376 if (offset_size
== 4)
1377 lh
.prologue_length
= read_4_bytes (abfd
, line_ptr
);
1379 lh
.prologue_length
= read_8_bytes (abfd
, line_ptr
);
1380 line_ptr
+= offset_size
;
1381 lh
.minimum_instruction_length
= read_1_byte (abfd
, line_ptr
);
1383 lh
.default_is_stmt
= read_1_byte (abfd
, line_ptr
);
1385 lh
.line_base
= read_1_signed_byte (abfd
, line_ptr
);
1387 lh
.line_range
= read_1_byte (abfd
, line_ptr
);
1389 lh
.opcode_base
= read_1_byte (abfd
, line_ptr
);
1391 amt
= lh
.opcode_base
* sizeof (unsigned char);
1392 lh
.standard_opcode_lengths
= (unsigned char *) bfd_alloc (abfd
, amt
);
1394 lh
.standard_opcode_lengths
[0] = 1;
1396 for (i
= 1; i
< lh
.opcode_base
; ++i
)
1398 lh
.standard_opcode_lengths
[i
] = read_1_byte (abfd
, line_ptr
);
1402 /* Read directory table. */
1403 while ((cur_dir
= read_string (abfd
, line_ptr
, &bytes_read
)) != NULL
)
1405 line_ptr
+= bytes_read
;
1407 if ((table
->num_dirs
% DIR_ALLOC_CHUNK
) == 0)
1411 amt
= table
->num_dirs
+ DIR_ALLOC_CHUNK
;
1412 amt
*= sizeof (char *);
1414 tmp
= (char **) bfd_realloc (table
->dirs
, amt
);
1420 table
->dirs
[table
->num_dirs
++] = cur_dir
;
1423 line_ptr
+= bytes_read
;
1425 /* Read file name table. */
1426 while ((cur_file
= read_string (abfd
, line_ptr
, &bytes_read
)) != NULL
)
1428 line_ptr
+= bytes_read
;
1430 if ((table
->num_files
% FILE_ALLOC_CHUNK
) == 0)
1432 struct fileinfo
*tmp
;
1434 amt
= table
->num_files
+ FILE_ALLOC_CHUNK
;
1435 amt
*= sizeof (struct fileinfo
);
1437 tmp
= (struct fileinfo
*) bfd_realloc (table
->files
, amt
);
1443 table
->files
[table
->num_files
].name
= cur_file
;
1444 table
->files
[table
->num_files
].dir
=
1445 read_unsigned_leb128 (abfd
, line_ptr
, &bytes_read
);
1446 line_ptr
+= bytes_read
;
1447 table
->files
[table
->num_files
].time
=
1448 read_unsigned_leb128 (abfd
, line_ptr
, &bytes_read
);
1449 line_ptr
+= bytes_read
;
1450 table
->files
[table
->num_files
].size
=
1451 read_unsigned_leb128 (abfd
, line_ptr
, &bytes_read
);
1452 line_ptr
+= bytes_read
;
1456 line_ptr
+= bytes_read
;
1458 /* Read the statement sequences until there's nothing left. */
1459 while (line_ptr
< line_end
)
1461 /* State machine registers. */
1462 bfd_vma address
= 0;
1463 char * filename
= table
->num_files
? concat_filename (table
, 1) : NULL
;
1464 unsigned int line
= 1;
1465 unsigned int column
= 0;
1466 int is_stmt
= lh
.default_is_stmt
;
1467 int end_sequence
= 0;
1468 /* eraxxon@alumni.rice.edu: Against the DWARF2 specs, some
1469 compilers generate address sequences that are wildly out of
1470 order using DW_LNE_set_address (e.g. Intel C++ 6.0 compiler
1471 for ia64-Linux). Thus, to determine the low and high
1472 address, we must compare on every DW_LNS_copy, etc. */
1473 bfd_vma low_pc
= (bfd_vma
) -1;
1474 bfd_vma high_pc
= 0;
1476 /* Decode the table. */
1477 while (! end_sequence
)
1479 op_code
= read_1_byte (abfd
, line_ptr
);
1482 if (op_code
>= lh
.opcode_base
)
1484 /* Special operand. */
1485 adj_opcode
= op_code
- lh
.opcode_base
;
1486 address
+= (adj_opcode
/ lh
.line_range
)
1487 * lh
.minimum_instruction_length
;
1488 line
+= lh
.line_base
+ (adj_opcode
% lh
.line_range
);
1489 /* Append row to matrix using current values. */
1490 if (!add_line_info (table
, address
, filename
, line
, column
, 0))
1492 if (address
< low_pc
)
1494 if (address
> high_pc
)
1497 else switch (op_code
)
1499 case DW_LNS_extended_op
:
1500 /* Ignore length. */
1502 extended_op
= read_1_byte (abfd
, line_ptr
);
1505 switch (extended_op
)
1507 case DW_LNE_end_sequence
:
1509 if (!add_line_info (table
, address
, filename
, line
, column
,
1512 if (address
< low_pc
)
1514 if (address
> high_pc
)
1516 if (!arange_add (unit
->abfd
, &unit
->arange
, low_pc
, high_pc
))
1519 case DW_LNE_set_address
:
1520 address
= read_address (unit
, line_ptr
);
1521 line_ptr
+= unit
->addr_size
;
1523 case DW_LNE_define_file
:
1524 cur_file
= read_string (abfd
, line_ptr
, &bytes_read
);
1525 line_ptr
+= bytes_read
;
1526 if ((table
->num_files
% FILE_ALLOC_CHUNK
) == 0)
1528 struct fileinfo
*tmp
;
1530 amt
= table
->num_files
+ FILE_ALLOC_CHUNK
;
1531 amt
*= sizeof (struct fileinfo
);
1532 tmp
= (struct fileinfo
*) bfd_realloc (table
->files
, amt
);
1537 table
->files
[table
->num_files
].name
= cur_file
;
1538 table
->files
[table
->num_files
].dir
=
1539 read_unsigned_leb128 (abfd
, line_ptr
, &bytes_read
);
1540 line_ptr
+= bytes_read
;
1541 table
->files
[table
->num_files
].time
=
1542 read_unsigned_leb128 (abfd
, line_ptr
, &bytes_read
);
1543 line_ptr
+= bytes_read
;
1544 table
->files
[table
->num_files
].size
=
1545 read_unsigned_leb128 (abfd
, line_ptr
, &bytes_read
);
1546 line_ptr
+= bytes_read
;
1549 case DW_LNE_set_discriminator
:
1550 (void) read_unsigned_leb128 (abfd
, line_ptr
, &bytes_read
);
1551 line_ptr
+= bytes_read
;
1554 (*_bfd_error_handler
) (_("Dwarf Error: mangled line number section."));
1555 bfd_set_error (bfd_error_bad_value
);
1557 if (filename
!= NULL
)
1563 if (!add_line_info (table
, address
, filename
, line
, column
, 0))
1565 if (address
< low_pc
)
1567 if (address
> high_pc
)
1570 case DW_LNS_advance_pc
:
1571 address
+= lh
.minimum_instruction_length
1572 * read_unsigned_leb128 (abfd
, line_ptr
, &bytes_read
);
1573 line_ptr
+= bytes_read
;
1575 case DW_LNS_advance_line
:
1576 line
+= read_signed_leb128 (abfd
, line_ptr
, &bytes_read
);
1577 line_ptr
+= bytes_read
;
1579 case DW_LNS_set_file
:
1583 /* The file and directory tables are 0
1584 based, the references are 1 based. */
1585 file
= read_unsigned_leb128 (abfd
, line_ptr
, &bytes_read
);
1586 line_ptr
+= bytes_read
;
1589 filename
= concat_filename (table
, file
);
1592 case DW_LNS_set_column
:
1593 column
= read_unsigned_leb128 (abfd
, line_ptr
, &bytes_read
);
1594 line_ptr
+= bytes_read
;
1596 case DW_LNS_negate_stmt
:
1597 is_stmt
= (!is_stmt
);
1599 case DW_LNS_set_basic_block
:
1601 case DW_LNS_const_add_pc
:
1602 address
+= lh
.minimum_instruction_length
1603 * ((255 - lh
.opcode_base
) / lh
.line_range
);
1605 case DW_LNS_fixed_advance_pc
:
1606 address
+= read_2_bytes (abfd
, line_ptr
);
1610 /* Unknown standard opcode, ignore it. */
1611 for (i
= 0; i
< lh
.standard_opcode_lengths
[op_code
]; i
++)
1613 (void) read_unsigned_leb128 (abfd
, line_ptr
, &bytes_read
);
1614 line_ptr
+= bytes_read
;
1624 if (sort_line_sequences (table
))
1628 if (table
->sequences
!= NULL
)
1629 free (table
->sequences
);
1630 if (table
->files
!= NULL
)
1631 free (table
->files
);
1632 if (table
->dirs
!= NULL
)
1637 /* If ADDR is within TABLE set the output parameters and return TRUE,
1638 otherwise return FALSE. The output parameters, FILENAME_PTR and
1639 LINENUMBER_PTR, are pointers to the objects to be filled in. */
1642 lookup_address_in_line_info_table (struct line_info_table
*table
,
1644 const char **filename_ptr
,
1645 unsigned int *linenumber_ptr
)
1647 struct line_sequence
*seq
= NULL
;
1648 struct line_info
*each_line
;
1651 /* Binary search the array of sequences. */
1653 high
= table
->num_sequences
;
1656 mid
= (low
+ high
) / 2;
1657 seq
= &table
->sequences
[mid
];
1658 if (addr
< seq
->low_pc
)
1660 else if (addr
>= seq
->last_line
->address
)
1666 if (seq
&& addr
>= seq
->low_pc
&& addr
< seq
->last_line
->address
)
1668 /* Note: seq->last_line should be a descendingly sorted list. */
1669 for (each_line
= seq
->last_line
;
1671 each_line
= each_line
->prev_line
)
1672 if (addr
>= each_line
->address
)
1676 && !(each_line
->end_sequence
|| each_line
== seq
->last_line
))
1678 *filename_ptr
= each_line
->filename
;
1679 *linenumber_ptr
= each_line
->line
;
1684 *filename_ptr
= NULL
;
1688 /* Read in the .debug_ranges section for future reference. */
1691 read_debug_ranges (struct comp_unit
*unit
)
1693 struct dwarf2_debug
*stash
= unit
->stash
;
1694 return read_section (unit
->abfd
, ".debug_ranges", ".zdebug_ranges",
1696 &stash
->dwarf_ranges_buffer
, &stash
->dwarf_ranges_size
);
1699 /* Function table functions. */
1701 /* If ADDR is within TABLE, set FUNCTIONNAME_PTR, and return TRUE.
1702 Note that we need to find the function that has the smallest
1703 range that contains ADDR, to handle inlined functions without
1704 depending upon them being ordered in TABLE by increasing range. */
1707 lookup_address_in_function_table (struct comp_unit
*unit
,
1709 struct funcinfo
**function_ptr
,
1710 const char **functionname_ptr
)
1712 struct funcinfo
* each_func
;
1713 struct funcinfo
* best_fit
= NULL
;
1714 struct arange
*arange
;
1716 for (each_func
= unit
->function_table
;
1718 each_func
= each_func
->prev_func
)
1720 for (arange
= &each_func
->arange
;
1722 arange
= arange
->next
)
1724 if (addr
>= arange
->low
&& addr
< arange
->high
)
1727 ((arange
->high
- arange
->low
) < (best_fit
->arange
.high
- best_fit
->arange
.low
)))
1728 best_fit
= each_func
;
1735 *functionname_ptr
= best_fit
->name
;
1736 *function_ptr
= best_fit
;
1745 /* If SYM at ADDR is within function table of UNIT, set FILENAME_PTR
1746 and LINENUMBER_PTR, and return TRUE. */
1749 lookup_symbol_in_function_table (struct comp_unit
*unit
,
1752 const char **filename_ptr
,
1753 unsigned int *linenumber_ptr
)
1755 struct funcinfo
* each_func
;
1756 struct funcinfo
* best_fit
= NULL
;
1757 struct arange
*arange
;
1758 const char *name
= bfd_asymbol_name (sym
);
1759 asection
*sec
= bfd_get_section (sym
);
1761 for (each_func
= unit
->function_table
;
1763 each_func
= each_func
->prev_func
)
1765 for (arange
= &each_func
->arange
;
1767 arange
= arange
->next
)
1769 if ((!each_func
->sec
|| each_func
->sec
== sec
)
1770 && addr
>= arange
->low
1771 && addr
< arange
->high
1773 && strcmp (name
, each_func
->name
) == 0
1775 || ((arange
->high
- arange
->low
)
1776 < (best_fit
->arange
.high
- best_fit
->arange
.low
))))
1777 best_fit
= each_func
;
1783 best_fit
->sec
= sec
;
1784 *filename_ptr
= best_fit
->file
;
1785 *linenumber_ptr
= best_fit
->line
;
1792 /* Variable table functions. */
1794 /* If SYM is within variable table of UNIT, set FILENAME_PTR and
1795 LINENUMBER_PTR, and return TRUE. */
1798 lookup_symbol_in_variable_table (struct comp_unit
*unit
,
1801 const char **filename_ptr
,
1802 unsigned int *linenumber_ptr
)
1804 const char *name
= bfd_asymbol_name (sym
);
1805 asection
*sec
= bfd_get_section (sym
);
1806 struct varinfo
* each
;
1808 for (each
= unit
->variable_table
; each
; each
= each
->prev_var
)
1809 if (each
->stack
== 0
1810 && each
->file
!= NULL
1811 && each
->name
!= NULL
1812 && each
->addr
== addr
1813 && (!each
->sec
|| each
->sec
== sec
)
1814 && strcmp (name
, each
->name
) == 0)
1820 *filename_ptr
= each
->file
;
1821 *linenumber_ptr
= each
->line
;
1829 find_abstract_instance_name (struct comp_unit
*unit
,
1830 struct attribute
*attr_ptr
)
1832 bfd
*abfd
= unit
->abfd
;
1834 unsigned int abbrev_number
, bytes_read
, i
;
1835 struct abbrev_info
*abbrev
;
1836 bfd_uint64_t die_ref
= attr_ptr
->u
.val
;
1837 struct attribute attr
;
1840 /* DW_FORM_ref_addr can reference an entry in a different CU. It
1841 is an offset from the .debug_info section, not the current CU. */
1842 if (attr_ptr
->form
== DW_FORM_ref_addr
)
1844 /* We only support DW_FORM_ref_addr within the same file, so
1845 any relocations should be resolved already. */
1849 info_ptr
= unit
->sec_info_ptr
+ die_ref
;
1852 info_ptr
= unit
->info_ptr_unit
+ die_ref
;
1853 abbrev_number
= read_unsigned_leb128 (abfd
, info_ptr
, &bytes_read
);
1854 info_ptr
+= bytes_read
;
1858 abbrev
= lookup_abbrev (abbrev_number
, unit
->abbrevs
);
1861 (*_bfd_error_handler
) (_("Dwarf Error: Could not find abbrev number %u."),
1863 bfd_set_error (bfd_error_bad_value
);
1867 for (i
= 0; i
< abbrev
->num_attrs
; ++i
)
1869 info_ptr
= read_attribute (&attr
, &abbrev
->attrs
[i
], unit
,
1871 if (info_ptr
== NULL
)
1876 /* Prefer DW_AT_MIPS_linkage_name over DW_AT_name. */
1880 case DW_AT_specification
:
1881 name
= find_abstract_instance_name (unit
, &attr
);
1883 case DW_AT_MIPS_linkage_name
:
1896 read_rangelist (struct comp_unit
*unit
, struct arange
*arange
,
1897 bfd_uint64_t offset
)
1899 bfd_byte
*ranges_ptr
;
1900 bfd_vma base_address
= unit
->base_address
;
1902 if (! unit
->stash
->dwarf_ranges_buffer
)
1904 if (! read_debug_ranges (unit
))
1907 ranges_ptr
= unit
->stash
->dwarf_ranges_buffer
+ offset
;
1914 low_pc
= read_address (unit
, ranges_ptr
);
1915 ranges_ptr
+= unit
->addr_size
;
1916 high_pc
= read_address (unit
, ranges_ptr
);
1917 ranges_ptr
+= unit
->addr_size
;
1919 if (low_pc
== 0 && high_pc
== 0)
1921 if (low_pc
== -1UL && high_pc
!= -1UL)
1922 base_address
= high_pc
;
1925 if (!arange_add (unit
->abfd
, arange
,
1926 base_address
+ low_pc
, base_address
+ high_pc
))
1933 /* DWARF2 Compilation unit functions. */
1935 /* Scan over each die in a comp. unit looking for functions to add
1936 to the function table and variables to the variable table. */
1939 scan_unit_for_symbols (struct comp_unit
*unit
)
1941 bfd
*abfd
= unit
->abfd
;
1942 bfd_byte
*info_ptr
= unit
->first_child_die_ptr
;
1943 int nesting_level
= 1;
1944 struct funcinfo
**nested_funcs
;
1945 int nested_funcs_size
;
1947 /* Maintain a stack of in-scope functions and inlined functions, which we
1948 can use to set the caller_func field. */
1949 nested_funcs_size
= 32;
1950 nested_funcs
= (struct funcinfo
**)
1951 bfd_malloc (nested_funcs_size
* sizeof (struct funcinfo
*));
1952 if (nested_funcs
== NULL
)
1954 nested_funcs
[nesting_level
] = 0;
1956 while (nesting_level
)
1958 unsigned int abbrev_number
, bytes_read
, i
;
1959 struct abbrev_info
*abbrev
;
1960 struct attribute attr
;
1961 struct funcinfo
*func
;
1962 struct varinfo
*var
;
1964 bfd_vma high_pc
= 0;
1966 abbrev_number
= read_unsigned_leb128 (abfd
, info_ptr
, &bytes_read
);
1967 info_ptr
+= bytes_read
;
1969 if (! abbrev_number
)
1975 abbrev
= lookup_abbrev (abbrev_number
,unit
->abbrevs
);
1978 (*_bfd_error_handler
)
1979 (_("Dwarf Error: Could not find abbrev number %u."),
1981 bfd_set_error (bfd_error_bad_value
);
1986 if (abbrev
->tag
== DW_TAG_subprogram
1987 || abbrev
->tag
== DW_TAG_entry_point
1988 || abbrev
->tag
== DW_TAG_inlined_subroutine
)
1990 bfd_size_type amt
= sizeof (struct funcinfo
);
1991 func
= (struct funcinfo
*) bfd_zalloc (abfd
, amt
);
1994 func
->tag
= abbrev
->tag
;
1995 func
->prev_func
= unit
->function_table
;
1996 unit
->function_table
= func
;
1997 BFD_ASSERT (!unit
->cached
);
1999 if (func
->tag
== DW_TAG_inlined_subroutine
)
2000 for (i
= nesting_level
- 1; i
>= 1; i
--)
2001 if (nested_funcs
[i
])
2003 func
->caller_func
= nested_funcs
[i
];
2006 nested_funcs
[nesting_level
] = func
;
2011 if (abbrev
->tag
== DW_TAG_variable
)
2013 bfd_size_type amt
= sizeof (struct varinfo
);
2014 var
= (struct varinfo
*) bfd_zalloc (abfd
, amt
);
2017 var
->tag
= abbrev
->tag
;
2019 var
->prev_var
= unit
->variable_table
;
2020 unit
->variable_table
= var
;
2021 BFD_ASSERT (!unit
->cached
);
2024 /* No inline function in scope at this nesting level. */
2025 nested_funcs
[nesting_level
] = 0;
2028 for (i
= 0; i
< abbrev
->num_attrs
; ++i
)
2030 info_ptr
= read_attribute (&attr
, &abbrev
->attrs
[i
], unit
, info_ptr
);
2031 if (info_ptr
== NULL
)
2038 case DW_AT_call_file
:
2039 func
->caller_file
= concat_filename (unit
->line_table
,
2043 case DW_AT_call_line
:
2044 func
->caller_line
= attr
.u
.val
;
2047 case DW_AT_abstract_origin
:
2048 func
->name
= find_abstract_instance_name (unit
, &attr
);
2052 /* Prefer DW_AT_MIPS_linkage_name over DW_AT_name. */
2053 if (func
->name
== NULL
)
2054 func
->name
= attr
.u
.str
;
2057 case DW_AT_MIPS_linkage_name
:
2058 func
->name
= attr
.u
.str
;
2062 low_pc
= attr
.u
.val
;
2066 high_pc
= attr
.u
.val
;
2070 if (!read_rangelist (unit
, &func
->arange
, attr
.u
.val
))
2074 case DW_AT_decl_file
:
2075 func
->file
= concat_filename (unit
->line_table
,
2079 case DW_AT_decl_line
:
2080 func
->line
= attr
.u
.val
;
2092 var
->name
= attr
.u
.str
;
2095 case DW_AT_decl_file
:
2096 var
->file
= concat_filename (unit
->line_table
,
2100 case DW_AT_decl_line
:
2101 var
->line
= attr
.u
.val
;
2104 case DW_AT_external
:
2105 if (attr
.u
.val
!= 0)
2109 case DW_AT_location
:
2113 case DW_FORM_block1
:
2114 case DW_FORM_block2
:
2115 case DW_FORM_block4
:
2116 if (*attr
.u
.blk
->data
== DW_OP_addr
)
2120 /* Verify that DW_OP_addr is the only opcode in the
2121 location, in which case the block size will be 1
2122 plus the address size. */
2123 /* ??? For TLS variables, gcc can emit
2124 DW_OP_addr <addr> DW_OP_GNU_push_tls_address
2125 which we don't handle here yet. */
2126 if (attr
.u
.blk
->size
== unit
->addr_size
+ 1U)
2127 var
->addr
= bfd_get (unit
->addr_size
* 8,
2129 attr
.u
.blk
->data
+ 1);
2144 if (func
&& high_pc
!= 0)
2146 if (!arange_add (unit
->abfd
, &func
->arange
, low_pc
, high_pc
))
2150 if (abbrev
->has_children
)
2154 if (nesting_level
>= nested_funcs_size
)
2156 struct funcinfo
**tmp
;
2158 nested_funcs_size
*= 2;
2159 tmp
= (struct funcinfo
**)
2160 bfd_realloc (nested_funcs
,
2161 (nested_funcs_size
* sizeof (struct funcinfo
*)));
2166 nested_funcs
[nesting_level
] = 0;
2170 free (nested_funcs
);
2174 free (nested_funcs
);
2178 /* Parse a DWARF2 compilation unit starting at INFO_PTR. This
2179 includes the compilation unit header that proceeds the DIE's, but
2180 does not include the length field that precedes each compilation
2181 unit header. END_PTR points one past the end of this comp unit.
2182 OFFSET_SIZE is the size of DWARF2 offsets (either 4 or 8 bytes).
2184 This routine does not read the whole compilation unit; only enough
2185 to get to the line number information for the compilation unit. */
2187 static struct comp_unit
*
2188 parse_comp_unit (struct dwarf2_debug
*stash
,
2189 bfd_vma unit_length
,
2190 bfd_byte
*info_ptr_unit
,
2191 unsigned int offset_size
)
2193 struct comp_unit
* unit
;
2194 unsigned int version
;
2195 bfd_uint64_t abbrev_offset
= 0;
2196 unsigned int addr_size
;
2197 struct abbrev_info
** abbrevs
;
2198 unsigned int abbrev_number
, bytes_read
, i
;
2199 struct abbrev_info
*abbrev
;
2200 struct attribute attr
;
2201 bfd_byte
*info_ptr
= stash
->info_ptr
;
2202 bfd_byte
*end_ptr
= info_ptr
+ unit_length
;
2205 bfd_vma high_pc
= 0;
2206 bfd
*abfd
= stash
->bfd_ptr
;
2208 version
= read_2_bytes (abfd
, info_ptr
);
2210 BFD_ASSERT (offset_size
== 4 || offset_size
== 8);
2211 if (offset_size
== 4)
2212 abbrev_offset
= read_4_bytes (abfd
, info_ptr
);
2214 abbrev_offset
= read_8_bytes (abfd
, info_ptr
);
2215 info_ptr
+= offset_size
;
2216 addr_size
= read_1_byte (abfd
, info_ptr
);
2219 if (version
!= 2 && version
!= 3)
2221 (*_bfd_error_handler
) (_("Dwarf Error: found dwarf version '%u', this reader only handles version 2 and 3 information."), version
);
2222 bfd_set_error (bfd_error_bad_value
);
2226 if (addr_size
> sizeof (bfd_vma
))
2228 (*_bfd_error_handler
) (_("Dwarf Error: found address size '%u', this reader can not handle sizes greater than '%u'."),
2230 (unsigned int) sizeof (bfd_vma
));
2231 bfd_set_error (bfd_error_bad_value
);
2235 if (addr_size
!= 2 && addr_size
!= 4 && addr_size
!= 8)
2237 (*_bfd_error_handler
) ("Dwarf Error: found address size '%u', this reader can only handle address sizes '2', '4' and '8'.", addr_size
);
2238 bfd_set_error (bfd_error_bad_value
);
2242 /* Read the abbrevs for this compilation unit into a table. */
2243 abbrevs
= read_abbrevs (abfd
, abbrev_offset
, stash
);
2247 abbrev_number
= read_unsigned_leb128 (abfd
, info_ptr
, &bytes_read
);
2248 info_ptr
+= bytes_read
;
2249 if (! abbrev_number
)
2251 (*_bfd_error_handler
) (_("Dwarf Error: Bad abbrev number: %u."),
2253 bfd_set_error (bfd_error_bad_value
);
2257 abbrev
= lookup_abbrev (abbrev_number
, abbrevs
);
2260 (*_bfd_error_handler
) (_("Dwarf Error: Could not find abbrev number %u."),
2262 bfd_set_error (bfd_error_bad_value
);
2266 amt
= sizeof (struct comp_unit
);
2267 unit
= (struct comp_unit
*) bfd_zalloc (abfd
, amt
);
2271 unit
->version
= version
;
2272 unit
->addr_size
= addr_size
;
2273 unit
->offset_size
= offset_size
;
2274 unit
->abbrevs
= abbrevs
;
2275 unit
->end_ptr
= end_ptr
;
2276 unit
->stash
= stash
;
2277 unit
->info_ptr_unit
= info_ptr_unit
;
2278 unit
->sec_info_ptr
= stash
->sec_info_ptr
;
2280 for (i
= 0; i
< abbrev
->num_attrs
; ++i
)
2282 info_ptr
= read_attribute (&attr
, &abbrev
->attrs
[i
], unit
, info_ptr
);
2283 if (info_ptr
== NULL
)
2286 /* Store the data if it is of an attribute we want to keep in a
2287 partial symbol table. */
2290 case DW_AT_stmt_list
:
2292 unit
->line_offset
= attr
.u
.val
;
2296 unit
->name
= attr
.u
.str
;
2300 low_pc
= attr
.u
.val
;
2301 /* If the compilation unit DIE has a DW_AT_low_pc attribute,
2302 this is the base address to use when reading location
2303 lists or range lists. */
2304 unit
->base_address
= low_pc
;
2308 high_pc
= attr
.u
.val
;
2312 if (!read_rangelist (unit
, &unit
->arange
, attr
.u
.val
))
2316 case DW_AT_comp_dir
:
2318 char *comp_dir
= attr
.u
.str
;
2321 /* Irix 6.2 native cc prepends <machine>.: to the compilation
2322 directory, get rid of it. */
2323 char *cp
= strchr (comp_dir
, ':');
2325 if (cp
&& cp
!= comp_dir
&& cp
[-1] == '.' && cp
[1] == '/')
2328 unit
->comp_dir
= comp_dir
;
2338 if (!arange_add (unit
->abfd
, &unit
->arange
, low_pc
, high_pc
))
2342 unit
->first_child_die_ptr
= info_ptr
;
2346 /* Return TRUE if UNIT may contain the address given by ADDR. When
2347 there are functions written entirely with inline asm statements, the
2348 range info in the compilation unit header may not be correct. We
2349 need to consult the line info table to see if a compilation unit
2350 really contains the given address. */
2353 comp_unit_contains_address (struct comp_unit
*unit
, bfd_vma addr
)
2355 struct arange
*arange
;
2360 arange
= &unit
->arange
;
2363 if (addr
>= arange
->low
&& addr
< arange
->high
)
2365 arange
= arange
->next
;
2372 /* If UNIT contains ADDR, set the output parameters to the values for
2373 the line containing ADDR. The output parameters, FILENAME_PTR,
2374 FUNCTIONNAME_PTR, and LINENUMBER_PTR, are pointers to the objects
2377 Return TRUE if UNIT contains ADDR, and no errors were encountered;
2381 comp_unit_find_nearest_line (struct comp_unit
*unit
,
2383 const char **filename_ptr
,
2384 const char **functionname_ptr
,
2385 unsigned int *linenumber_ptr
,
2386 struct dwarf2_debug
*stash
)
2390 struct funcinfo
*function
;
2395 if (! unit
->line_table
)
2397 if (! unit
->stmtlist
)
2403 unit
->line_table
= decode_line_info (unit
, stash
);
2405 if (! unit
->line_table
)
2411 if (unit
->first_child_die_ptr
< unit
->end_ptr
2412 && ! scan_unit_for_symbols (unit
))
2420 func_p
= lookup_address_in_function_table (unit
, addr
,
2421 &function
, functionname_ptr
);
2422 if (func_p
&& (function
->tag
== DW_TAG_inlined_subroutine
))
2423 stash
->inliner_chain
= function
;
2424 line_p
= lookup_address_in_line_info_table (unit
->line_table
, addr
,
2427 return line_p
|| func_p
;
2430 /* Check to see if line info is already decoded in a comp_unit.
2431 If not, decode it. Returns TRUE if no errors were encountered;
2435 comp_unit_maybe_decode_line_info (struct comp_unit
*unit
,
2436 struct dwarf2_debug
*stash
)
2441 if (! unit
->line_table
)
2443 if (! unit
->stmtlist
)
2449 unit
->line_table
= decode_line_info (unit
, stash
);
2451 if (! unit
->line_table
)
2457 if (unit
->first_child_die_ptr
< unit
->end_ptr
2458 && ! scan_unit_for_symbols (unit
))
2468 /* If UNIT contains SYM at ADDR, set the output parameters to the
2469 values for the line containing SYM. The output parameters,
2470 FILENAME_PTR, and LINENUMBER_PTR, are pointers to the objects to be
2473 Return TRUE if UNIT contains SYM, and no errors were encountered;
2477 comp_unit_find_line (struct comp_unit
*unit
,
2480 const char **filename_ptr
,
2481 unsigned int *linenumber_ptr
,
2482 struct dwarf2_debug
*stash
)
2484 if (!comp_unit_maybe_decode_line_info (unit
, stash
))
2487 if (sym
->flags
& BSF_FUNCTION
)
2488 return lookup_symbol_in_function_table (unit
, sym
, addr
,
2492 return lookup_symbol_in_variable_table (unit
, sym
, addr
,
2497 static struct funcinfo
*
2498 reverse_funcinfo_list (struct funcinfo
*head
)
2500 struct funcinfo
*rhead
;
2501 struct funcinfo
*temp
;
2503 for (rhead
= NULL
; head
; head
= temp
)
2505 temp
= head
->prev_func
;
2506 head
->prev_func
= rhead
;
2512 static struct varinfo
*
2513 reverse_varinfo_list (struct varinfo
*head
)
2515 struct varinfo
*rhead
;
2516 struct varinfo
*temp
;
2518 for (rhead
= NULL
; head
; head
= temp
)
2520 temp
= head
->prev_var
;
2521 head
->prev_var
= rhead
;
2527 /* Extract all interesting funcinfos and varinfos of a compilation
2528 unit into hash tables for faster lookup. Returns TRUE if no
2529 errors were enountered; FALSE otherwise. */
2532 comp_unit_hash_info (struct dwarf2_debug
*stash
,
2533 struct comp_unit
*unit
,
2534 struct info_hash_table
*funcinfo_hash_table
,
2535 struct info_hash_table
*varinfo_hash_table
)
2537 struct funcinfo
* each_func
;
2538 struct varinfo
* each_var
;
2539 bfd_boolean okay
= TRUE
;
2541 BFD_ASSERT (stash
->info_hash_status
!= STASH_INFO_HASH_DISABLED
);
2543 if (!comp_unit_maybe_decode_line_info (unit
, stash
))
2546 BFD_ASSERT (!unit
->cached
);
2548 /* To preserve the original search order, we went to visit the function
2549 infos in the reversed order of the list. However, making the list
2550 bi-directional use quite a bit of extra memory. So we reverse
2551 the list first, traverse the list in the now reversed order and
2552 finally reverse the list again to get back the original order. */
2553 unit
->function_table
= reverse_funcinfo_list (unit
->function_table
);
2554 for (each_func
= unit
->function_table
;
2556 each_func
= each_func
->prev_func
)
2558 /* Skip nameless functions. */
2559 if (each_func
->name
)
2560 /* There is no need to copy name string into hash table as
2561 name string is either in the dwarf string buffer or
2562 info in the stash. */
2563 okay
= insert_info_hash_table (funcinfo_hash_table
, each_func
->name
,
2564 (void*) each_func
, FALSE
);
2566 unit
->function_table
= reverse_funcinfo_list (unit
->function_table
);
2570 /* We do the same for variable infos. */
2571 unit
->variable_table
= reverse_varinfo_list (unit
->variable_table
);
2572 for (each_var
= unit
->variable_table
;
2574 each_var
= each_var
->prev_var
)
2576 /* Skip stack vars and vars with no files or names. */
2577 if (each_var
->stack
== 0
2578 && each_var
->file
!= NULL
2579 && each_var
->name
!= NULL
)
2580 /* There is no need to copy name string into hash table as
2581 name string is either in the dwarf string buffer or
2582 info in the stash. */
2583 okay
= insert_info_hash_table (varinfo_hash_table
, each_var
->name
,
2584 (void*) each_var
, FALSE
);
2587 unit
->variable_table
= reverse_varinfo_list (unit
->variable_table
);
2588 unit
->cached
= TRUE
;
2592 /* Locate a section in a BFD containing debugging info. The search starts
2593 from the section after AFTER_SEC, or from the first section in the BFD if
2594 AFTER_SEC is NULL. The search works by examining the names of the
2595 sections. There are two permissiable names. The first is .debug_info.
2596 This is the standard DWARF2 name. The second is a prefix .gnu.linkonce.wi.
2597 This is a variation on the .debug_info section which has a checksum
2598 describing the contents appended onto the name. This allows the linker to
2599 identify and discard duplicate debugging sections for different
2600 compilation units. */
2601 #define DWARF2_DEBUG_INFO ".debug_info"
2602 #define DWARF2_COMPRESSED_DEBUG_INFO ".zdebug_info"
2603 #define GNU_LINKONCE_INFO ".gnu.linkonce.wi."
2606 find_debug_info (bfd
*abfd
, asection
*after_sec
)
2610 msec
= after_sec
!= NULL
? after_sec
->next
: abfd
->sections
;
2614 if (strcmp (msec
->name
, DWARF2_DEBUG_INFO
) == 0)
2617 if (strcmp (msec
->name
, DWARF2_COMPRESSED_DEBUG_INFO
) == 0)
2620 if (CONST_STRNEQ (msec
->name
, GNU_LINKONCE_INFO
))
2629 /* Unset vmas for adjusted sections in STASH. */
2632 unset_sections (struct dwarf2_debug
*stash
)
2635 struct adjusted_section
*p
;
2637 i
= stash
->adjusted_section_count
;
2638 p
= stash
->adjusted_sections
;
2639 for (; i
> 0; i
--, p
++)
2640 p
->section
->vma
= 0;
2643 /* Set unique VMAs for loadable and DWARF sections in ABFD and save
2644 VMAs in STASH for unset_sections. */
2647 place_sections (bfd
*abfd
, struct dwarf2_debug
*stash
)
2649 struct adjusted_section
*p
;
2652 if (stash
->adjusted_section_count
!= 0)
2654 i
= stash
->adjusted_section_count
;
2655 p
= stash
->adjusted_sections
;
2656 for (; i
> 0; i
--, p
++)
2657 p
->section
->vma
= p
->adj_vma
;
2662 bfd_vma last_vma
= 0, last_dwarf
= 0;
2666 for (sect
= abfd
->sections
; sect
!= NULL
; sect
= sect
->next
)
2674 /* We need to adjust the VMAs of any .debug_info sections.
2675 Skip compressed ones, since no relocations could target
2676 them - they should not appear in object files anyway. */
2677 if (strcmp (sect
->name
, DWARF2_DEBUG_INFO
) == 0)
2679 else if (CONST_STRNEQ (sect
->name
, GNU_LINKONCE_INFO
))
2684 if (!is_debug_info
&& (sect
->flags
& SEC_LOAD
) == 0)
2687 sz
= sect
->rawsize
? sect
->rawsize
: sect
->size
;
2694 amt
= i
* sizeof (struct adjusted_section
);
2695 p
= (struct adjusted_section
*) bfd_zalloc (abfd
, amt
);
2699 stash
->adjusted_sections
= p
;
2700 stash
->adjusted_section_count
= i
;
2702 for (sect
= abfd
->sections
; sect
!= NULL
; sect
= sect
->next
)
2710 /* We need to adjust the VMAs of any .debug_info sections.
2711 Skip compressed ones, since no relocations could target
2712 them - they should not appear in object files anyway. */
2713 if (strcmp (sect
->name
, DWARF2_DEBUG_INFO
) == 0)
2715 else if (CONST_STRNEQ (sect
->name
, GNU_LINKONCE_INFO
))
2720 if (!is_debug_info
&& (sect
->flags
& SEC_LOAD
) == 0)
2723 sz
= sect
->rawsize
? sect
->rawsize
: sect
->size
;
2730 BFD_ASSERT (sect
->alignment_power
== 0);
2731 sect
->vma
= last_dwarf
;
2734 else if (last_vma
!= 0)
2736 /* Align the new address to the current section
2738 last_vma
= ((last_vma
2739 + ~((bfd_vma
) -1 << sect
->alignment_power
))
2740 & ((bfd_vma
) -1 << sect
->alignment_power
));
2741 sect
->vma
= last_vma
;
2742 last_vma
+= sect
->vma
+ sz
;
2745 last_vma
+= sect
->vma
+ sz
;
2747 p
->adj_vma
= sect
->vma
;
2756 /* Look up a funcinfo by name using the given info hash table. If found,
2757 also update the locations pointed to by filename_ptr and linenumber_ptr.
2759 This function returns TRUE if a funcinfo that matches the given symbol
2760 and address is found with any error; otherwise it returns FALSE. */
2763 info_hash_lookup_funcinfo (struct info_hash_table
*hash_table
,
2766 const char **filename_ptr
,
2767 unsigned int *linenumber_ptr
)
2769 struct funcinfo
* each_func
;
2770 struct funcinfo
* best_fit
= NULL
;
2771 struct info_list_node
*node
;
2772 struct arange
*arange
;
2773 const char *name
= bfd_asymbol_name (sym
);
2774 asection
*sec
= bfd_get_section (sym
);
2776 for (node
= lookup_info_hash_table (hash_table
, name
);
2780 each_func
= (struct funcinfo
*) node
->info
;
2781 for (arange
= &each_func
->arange
;
2783 arange
= arange
->next
)
2785 if ((!each_func
->sec
|| each_func
->sec
== sec
)
2786 && addr
>= arange
->low
2787 && addr
< arange
->high
2789 || ((arange
->high
- arange
->low
)
2790 < (best_fit
->arange
.high
- best_fit
->arange
.low
))))
2791 best_fit
= each_func
;
2797 best_fit
->sec
= sec
;
2798 *filename_ptr
= best_fit
->file
;
2799 *linenumber_ptr
= best_fit
->line
;
2806 /* Look up a varinfo by name using the given info hash table. If found,
2807 also update the locations pointed to by filename_ptr and linenumber_ptr.
2809 This function returns TRUE if a varinfo that matches the given symbol
2810 and address is found with any error; otherwise it returns FALSE. */
2813 info_hash_lookup_varinfo (struct info_hash_table
*hash_table
,
2816 const char **filename_ptr
,
2817 unsigned int *linenumber_ptr
)
2819 const char *name
= bfd_asymbol_name (sym
);
2820 asection
*sec
= bfd_get_section (sym
);
2821 struct varinfo
* each
;
2822 struct info_list_node
*node
;
2824 for (node
= lookup_info_hash_table (hash_table
, name
);
2828 each
= (struct varinfo
*) node
->info
;
2829 if (each
->addr
== addr
2830 && (!each
->sec
|| each
->sec
== sec
))
2833 *filename_ptr
= each
->file
;
2834 *linenumber_ptr
= each
->line
;
2842 /* Update the funcinfo and varinfo info hash tables if they are
2843 not up to date. Returns TRUE if there is no error; otherwise
2844 returns FALSE and disable the info hash tables. */
2847 stash_maybe_update_info_hash_tables (struct dwarf2_debug
*stash
)
2849 struct comp_unit
*each
;
2851 /* Exit if hash tables are up-to-date. */
2852 if (stash
->all_comp_units
== stash
->hash_units_head
)
2855 if (stash
->hash_units_head
)
2856 each
= stash
->hash_units_head
->prev_unit
;
2858 each
= stash
->last_comp_unit
;
2862 if (!comp_unit_hash_info (stash
, each
, stash
->funcinfo_hash_table
,
2863 stash
->varinfo_hash_table
))
2865 stash
->info_hash_status
= STASH_INFO_HASH_DISABLED
;
2868 each
= each
->prev_unit
;
2871 stash
->hash_units_head
= stash
->all_comp_units
;
2875 /* Check consistency of info hash tables. This is for debugging only. */
2877 static void ATTRIBUTE_UNUSED
2878 stash_verify_info_hash_table (struct dwarf2_debug
*stash
)
2880 struct comp_unit
*each_unit
;
2881 struct funcinfo
*each_func
;
2882 struct varinfo
*each_var
;
2883 struct info_list_node
*node
;
2886 for (each_unit
= stash
->all_comp_units
;
2888 each_unit
= each_unit
->next_unit
)
2890 for (each_func
= each_unit
->function_table
;
2892 each_func
= each_func
->prev_func
)
2894 if (!each_func
->name
)
2896 node
= lookup_info_hash_table (stash
->funcinfo_hash_table
,
2900 while (node
&& !found
)
2902 found
= node
->info
== each_func
;
2908 for (each_var
= each_unit
->variable_table
;
2910 each_var
= each_var
->prev_var
)
2912 if (!each_var
->name
|| !each_var
->file
|| each_var
->stack
)
2914 node
= lookup_info_hash_table (stash
->varinfo_hash_table
,
2918 while (node
&& !found
)
2920 found
= node
->info
== each_var
;
2928 /* Check to see if we want to enable the info hash tables, which consume
2929 quite a bit of memory. Currently we only check the number times
2930 bfd_dwarf2_find_line is called. In the future, we may also want to
2931 take the number of symbols into account. */
2934 stash_maybe_enable_info_hash_tables (bfd
*abfd
, struct dwarf2_debug
*stash
)
2936 BFD_ASSERT (stash
->info_hash_status
== STASH_INFO_HASH_OFF
);
2938 if (stash
->info_hash_count
++ < STASH_INFO_HASH_TRIGGER
)
2941 /* FIXME: Maybe we should check the reduce_memory_overheads
2942 and optimize fields in the bfd_link_info structure ? */
2944 /* Create hash tables. */
2945 stash
->funcinfo_hash_table
= create_info_hash_table (abfd
);
2946 stash
->varinfo_hash_table
= create_info_hash_table (abfd
);
2947 if (!stash
->funcinfo_hash_table
|| !stash
->varinfo_hash_table
)
2949 /* Turn off info hashes if any allocation above fails. */
2950 stash
->info_hash_status
= STASH_INFO_HASH_DISABLED
;
2953 /* We need a forced update so that the info hash tables will
2954 be created even though there is no compilation unit. That
2955 happens if STASH_INFO_HASH_TRIGGER is 0. */
2956 stash_maybe_update_info_hash_tables (stash
);
2957 stash
->info_hash_status
= STASH_INFO_HASH_ON
;
2960 /* Find the file and line associated with a symbol and address using the
2961 info hash tables of a stash. If there is a match, the function returns
2962 TRUE and update the locations pointed to by filename_ptr and linenumber_ptr;
2963 otherwise it returns FALSE. */
2966 stash_find_line_fast (struct dwarf2_debug
*stash
,
2969 const char **filename_ptr
,
2970 unsigned int *linenumber_ptr
)
2972 BFD_ASSERT (stash
->info_hash_status
== STASH_INFO_HASH_ON
);
2974 if (sym
->flags
& BSF_FUNCTION
)
2975 return info_hash_lookup_funcinfo (stash
->funcinfo_hash_table
, sym
, addr
,
2976 filename_ptr
, linenumber_ptr
);
2977 return info_hash_lookup_varinfo (stash
->varinfo_hash_table
, sym
, addr
,
2978 filename_ptr
, linenumber_ptr
);
2981 /* Find the source code location of SYMBOL. If SYMBOL is NULL
2982 then find the nearest source code location corresponding to
2983 the address SECTION + OFFSET.
2984 Returns TRUE if the line is found without error and fills in
2985 FILENAME_PTR and LINENUMBER_PTR. In the case where SYMBOL was
2986 NULL the FUNCTIONNAME_PTR is also filled in.
2987 SYMBOLS contains the symbol table for ABFD.
2988 ADDR_SIZE is the number of bytes in the initial .debug_info length
2989 field and in the abbreviation offset, or zero to indicate that the
2990 default value should be used. */
2993 find_line (bfd
*abfd
,
2998 const char **filename_ptr
,
2999 const char **functionname_ptr
,
3000 unsigned int *linenumber_ptr
,
3001 unsigned int addr_size
,
3004 /* Read each compilation unit from the section .debug_info, and check
3005 to see if it contains the address we are searching for. If yes,
3006 lookup the address, and return the line number info. If no, go
3007 on to the next compilation unit.
3009 We keep a list of all the previously read compilation units, and
3010 a pointer to the next un-read compilation unit. Check the
3011 previously read units before reading more. */
3012 struct dwarf2_debug
*stash
;
3013 /* What address are we looking for? */
3015 struct comp_unit
* each
;
3016 bfd_vma found
= FALSE
;
3017 bfd_boolean do_line
;
3019 stash
= (struct dwarf2_debug
*) *pinfo
;
3023 bfd_size_type amt
= sizeof (struct dwarf2_debug
);
3025 stash
= (struct dwarf2_debug
*) bfd_zalloc (abfd
, amt
);
3030 /* In a relocatable file, 2 functions may have the same address.
3031 We change the section vma so that they won't overlap. */
3032 if ((abfd
->flags
& (EXEC_P
| DYNAMIC
)) == 0)
3034 if (! place_sections (abfd
, stash
))
3038 do_line
= (section
== NULL
3040 && functionname_ptr
== NULL
3044 addr
= symbol
->value
;
3045 section
= bfd_get_section (symbol
);
3047 else if (section
!= NULL
3048 && functionname_ptr
!= NULL
3054 if (section
->output_section
)
3055 addr
+= section
->output_section
->vma
+ section
->output_offset
;
3057 addr
+= section
->vma
;
3058 *filename_ptr
= NULL
;
3060 *functionname_ptr
= NULL
;
3061 *linenumber_ptr
= 0;
3066 bfd_size_type total_size
;
3071 msec
= find_debug_info (abfd
, NULL
);
3074 char * debug_filename
= bfd_follow_gnu_debuglink (abfd
, DEBUGDIR
);
3076 if (debug_filename
== NULL
)
3077 /* No dwarf2 info, and no gnu_debuglink to follow.
3078 Note that at this point the stash has been allocated, but
3079 contains zeros. This lets future calls to this function
3080 fail more quickly. */
3083 if ((debug_bfd
= bfd_openr (debug_filename
, NULL
)) == NULL
3084 || ! bfd_check_format (debug_bfd
, bfd_object
)
3085 || (msec
= find_debug_info (debug_bfd
, NULL
)) == NULL
)
3088 bfd_close (debug_bfd
);
3089 /* FIXME: Should we report our failure to follow the debuglink ? */
3090 free (debug_filename
);
3097 /* There can be more than one DWARF2 info section in a BFD these
3098 days. First handle the easy case when there's only one. If
3099 there's more than one, try case two: none of the sections is
3100 compressed. In that case, read them all in and produce one
3101 large stash. We do this in two passes - in the first pass we
3102 just accumulate the section sizes, and in the second pass we
3103 read in the section's contents. (The allows us to avoid
3104 reallocing the data as we add sections to the stash.) If
3105 some or all sections are compressed, then do things the slow
3106 way, with a bunch of reallocs. */
3108 if (! find_debug_info (debug_bfd
, msec
))
3110 /* Case 1: only one info section. */
3111 total_size
= msec
->size
;
3112 if (! read_section (debug_bfd
, ".debug_info", ".zdebug_info",
3114 &stash
->info_ptr_memory
, &total_size
))
3119 int all_uncompressed
= 1;
3120 for (total_size
= 0; msec
; msec
= find_debug_info (debug_bfd
, msec
))
3122 total_size
+= msec
->size
;
3123 if (strcmp (msec
->name
, DWARF2_COMPRESSED_DEBUG_INFO
) == 0)
3124 all_uncompressed
= 0;
3126 if (all_uncompressed
)
3128 /* Case 2: multiple sections, but none is compressed. */
3129 stash
->info_ptr_memory
= (bfd_byte
*) bfd_malloc (total_size
);
3130 if (stash
->info_ptr_memory
== NULL
)
3134 for (msec
= find_debug_info (debug_bfd
, NULL
);
3136 msec
= find_debug_info (debug_bfd
, msec
))
3144 if (!(bfd_simple_get_relocated_section_contents
3145 (debug_bfd
, msec
, stash
->info_ptr_memory
+ total_size
,
3154 /* Case 3: multiple sections, some or all compressed. */
3155 stash
->info_ptr_memory
= NULL
;
3157 for (msec
= find_debug_info (debug_bfd
, NULL
);
3159 msec
= find_debug_info (debug_bfd
, msec
))
3161 bfd_size_type size
= msec
->size
;
3162 bfd_byte
*buffer
, *tmp
;
3167 buffer
= (bfd_simple_get_relocated_section_contents
3168 (debug_bfd
, msec
, NULL
, symbols
));
3172 if (strcmp (msec
->name
, DWARF2_COMPRESSED_DEBUG_INFO
) == 0)
3174 if (! bfd_uncompress_section_contents (&buffer
, &size
))
3180 tmp
= (bfd_byte
*) bfd_realloc (stash
->info_ptr_memory
,
3187 stash
->info_ptr_memory
= tmp
;
3188 memcpy (stash
->info_ptr_memory
+ total_size
, buffer
, size
);
3195 stash
->info_ptr
= stash
->info_ptr_memory
;
3196 stash
->info_ptr_end
= stash
->info_ptr
+ total_size
;
3197 stash
->sec
= find_debug_info (debug_bfd
, NULL
);
3198 stash
->sec_info_ptr
= stash
->info_ptr
;
3199 stash
->syms
= symbols
;
3200 stash
->bfd_ptr
= debug_bfd
;
3203 /* A null info_ptr indicates that there is no dwarf2 info
3204 (or that an error occured while setting up the stash). */
3205 if (! stash
->info_ptr
)
3208 stash
->inliner_chain
= NULL
;
3210 /* Check the previously read comp. units first. */
3213 /* The info hash tables use quite a bit of memory. We may not want to
3214 always use them. We use some heuristics to decide if and when to
3216 if (stash
->info_hash_status
== STASH_INFO_HASH_OFF
)
3217 stash_maybe_enable_info_hash_tables (abfd
, stash
);
3219 /* Keep info hash table up to date if they are available. Note that we
3220 may disable the hash tables if there is any error duing update. */
3221 if (stash
->info_hash_status
== STASH_INFO_HASH_ON
)
3222 stash_maybe_update_info_hash_tables (stash
);
3224 if (stash
->info_hash_status
== STASH_INFO_HASH_ON
)
3226 found
= stash_find_line_fast (stash
, symbol
, addr
, filename_ptr
,
3233 /* Check the previously read comp. units first. */
3234 for (each
= stash
->all_comp_units
; each
; each
= each
->next_unit
)
3235 if ((symbol
->flags
& BSF_FUNCTION
) == 0
3236 || comp_unit_contains_address (each
, addr
))
3238 found
= comp_unit_find_line (each
, symbol
, addr
, filename_ptr
,
3239 linenumber_ptr
, stash
);
3247 for (each
= stash
->all_comp_units
; each
; each
= each
->next_unit
)
3249 found
= (comp_unit_contains_address (each
, addr
)
3250 && comp_unit_find_nearest_line (each
, addr
,
3260 /* The DWARF2 spec says that the initial length field, and the
3261 offset of the abbreviation table, should both be 4-byte values.
3262 However, some compilers do things differently. */
3265 BFD_ASSERT (addr_size
== 4 || addr_size
== 8);
3267 /* Read each remaining comp. units checking each as they are read. */
3268 while (stash
->info_ptr
< stash
->info_ptr_end
)
3271 unsigned int offset_size
= addr_size
;
3272 bfd_byte
*info_ptr_unit
= stash
->info_ptr
;
3274 length
= read_4_bytes (stash
->bfd_ptr
, stash
->info_ptr
);
3275 /* A 0xffffff length is the DWARF3 way of indicating
3276 we use 64-bit offsets, instead of 32-bit offsets. */
3277 if (length
== 0xffffffff)
3280 length
= read_8_bytes (stash
->bfd_ptr
, stash
->info_ptr
+ 4);
3281 stash
->info_ptr
+= 12;
3283 /* A zero length is the IRIX way of indicating 64-bit offsets,
3284 mostly because the 64-bit length will generally fit in 32
3285 bits, and the endianness helps. */
3286 else if (length
== 0)
3289 length
= read_4_bytes (stash
->bfd_ptr
, stash
->info_ptr
+ 4);
3290 stash
->info_ptr
+= 8;
3292 /* In the absence of the hints above, we assume 32-bit DWARF2
3293 offsets even for targets with 64-bit addresses, because:
3294 a) most of the time these targets will not have generated
3295 more than 2Gb of debug info and so will not need 64-bit
3298 b) if they do use 64-bit offsets but they are not using
3299 the size hints that are tested for above then they are
3300 not conforming to the DWARF3 standard anyway. */
3301 else if (addr_size
== 8)
3304 stash
->info_ptr
+= 4;
3307 stash
->info_ptr
+= 4;
3311 each
= parse_comp_unit (stash
, length
, info_ptr_unit
,
3314 /* The dwarf information is damaged, don't trust it any
3317 stash
->info_ptr
+= length
;
3319 if (stash
->all_comp_units
)
3320 stash
->all_comp_units
->prev_unit
= each
;
3322 stash
->last_comp_unit
= each
;
3324 each
->next_unit
= stash
->all_comp_units
;
3325 stash
->all_comp_units
= each
;
3327 /* DW_AT_low_pc and DW_AT_high_pc are optional for
3328 compilation units. If we don't have them (i.e.,
3329 unit->high == 0), we need to consult the line info table
3330 to see if a compilation unit contains the given
3333 found
= (((symbol
->flags
& BSF_FUNCTION
) == 0
3334 || each
->arange
.high
== 0
3335 || comp_unit_contains_address (each
, addr
))
3336 && comp_unit_find_line (each
, symbol
, addr
,
3341 found
= ((each
->arange
.high
== 0
3342 || comp_unit_contains_address (each
, addr
))
3343 && comp_unit_find_nearest_line (each
, addr
,
3349 if ((bfd_vma
) (stash
->info_ptr
- stash
->sec_info_ptr
)
3350 == stash
->sec
->size
)
3352 stash
->sec
= find_debug_info (stash
->bfd_ptr
, stash
->sec
);
3353 stash
->sec_info_ptr
= stash
->info_ptr
;
3362 if ((abfd
->flags
& (EXEC_P
| DYNAMIC
)) == 0)
3363 unset_sections (stash
);
3368 /* The DWARF2 version of find_nearest_line.
3369 Return TRUE if the line is found without error. */
3372 _bfd_dwarf2_find_nearest_line (bfd
*abfd
,
3376 const char **filename_ptr
,
3377 const char **functionname_ptr
,
3378 unsigned int *linenumber_ptr
,
3379 unsigned int addr_size
,
3382 return find_line (abfd
, section
, offset
, NULL
, symbols
, filename_ptr
,
3383 functionname_ptr
, linenumber_ptr
, addr_size
,
3387 /* The DWARF2 version of find_line.
3388 Return TRUE if the line is found without error. */
3391 _bfd_dwarf2_find_line (bfd
*abfd
,
3394 const char **filename_ptr
,
3395 unsigned int *linenumber_ptr
,
3396 unsigned int addr_size
,
3399 return find_line (abfd
, NULL
, 0, symbol
, symbols
, filename_ptr
,
3400 NULL
, linenumber_ptr
, addr_size
,
3405 _bfd_dwarf2_find_inliner_info (bfd
*abfd ATTRIBUTE_UNUSED
,
3406 const char **filename_ptr
,
3407 const char **functionname_ptr
,
3408 unsigned int *linenumber_ptr
,
3411 struct dwarf2_debug
*stash
;
3413 stash
= (struct dwarf2_debug
*) *pinfo
;
3416 struct funcinfo
*func
= stash
->inliner_chain
;
3418 if (func
&& func
->caller_func
)
3420 *filename_ptr
= func
->caller_file
;
3421 *functionname_ptr
= func
->caller_func
->name
;
3422 *linenumber_ptr
= func
->caller_line
;
3423 stash
->inliner_chain
= func
->caller_func
;
3432 _bfd_dwarf2_cleanup_debug_info (bfd
*abfd
)
3434 struct comp_unit
*each
;
3435 struct dwarf2_debug
*stash
;
3437 if (abfd
== NULL
|| elf_tdata (abfd
) == NULL
)
3440 stash
= (struct dwarf2_debug
*) elf_tdata (abfd
)->dwarf2_find_line_info
;
3445 for (each
= stash
->all_comp_units
; each
; each
= each
->next_unit
)
3447 struct abbrev_info
**abbrevs
= each
->abbrevs
;
3448 struct funcinfo
*function_table
= each
->function_table
;
3449 struct varinfo
*variable_table
= each
->variable_table
;
3452 for (i
= 0; i
< ABBREV_HASH_SIZE
; i
++)
3454 struct abbrev_info
*abbrev
= abbrevs
[i
];
3458 free (abbrev
->attrs
);
3459 abbrev
= abbrev
->next
;
3463 if (each
->line_table
)
3465 free (each
->line_table
->dirs
);
3466 free (each
->line_table
->files
);
3469 while (function_table
)
3471 if (function_table
->file
)
3473 free (function_table
->file
);
3474 function_table
->file
= NULL
;
3477 if (function_table
->caller_file
)
3479 free (function_table
->caller_file
);
3480 function_table
->caller_file
= NULL
;
3482 function_table
= function_table
->prev_func
;
3485 while (variable_table
)
3487 if (variable_table
->file
)
3489 free (variable_table
->file
);
3490 variable_table
->file
= NULL
;
3493 variable_table
= variable_table
->prev_var
;
3497 if (stash
->dwarf_abbrev_buffer
)
3498 free (stash
->dwarf_abbrev_buffer
);
3499 if (stash
->dwarf_line_buffer
)
3500 free (stash
->dwarf_line_buffer
);
3501 if (stash
->dwarf_str_buffer
)
3502 free (stash
->dwarf_str_buffer
);
3503 if (stash
->dwarf_ranges_buffer
)
3504 free (stash
->dwarf_ranges_buffer
);
3505 if (stash
->info_ptr_memory
)
3506 free (stash
->info_ptr_memory
);