2 Copyright (C) 1994-2019 Free Software Foundation, Inc.
4 Adapted from gdb/dwarf2read.c by Gavin Koch of Cygnus Solutions
7 From the dwarf2read.c header:
8 Adapted by Gary Funck (gary@intrepid.com), Intrepid Technology,
9 Inc. with support from Florida State University (under contract
10 with the Ada Joint Program Office), and Silicon Graphics, Inc.
11 Initial contribution by Brent Benson, Harris Computer Systems, Inc.,
12 based on Fred Fish's (Cygnus Support) implementation of DWARF 1
13 support in dwarfread.c
15 This file is part of BFD.
17 This program is free software; you can redistribute it and/or modify
18 it under the terms of the GNU General Public License as published by
19 the Free Software Foundation; either version 3 of the License, or (at
20 your option) any later version.
22 This program is distributed in the hope that it will be useful, but
23 WITHOUT ANY WARRANTY; without even the implied warranty of
24 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
25 General Public License for more details.
27 You should have received a copy of the GNU General Public License
28 along with this program; if not, write to the Free Software
29 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
30 MA 02110-1301, USA. */
34 #include "libiberty.h"
39 /* The data in the .debug_line statement prologue looks like this. */
44 unsigned short version
;
45 bfd_vma prologue_length
;
46 unsigned char minimum_instruction_length
;
47 unsigned char maximum_ops_per_insn
;
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 /* Names of the debug sections. */
93 const struct dwarf_debug_section
*debug_sections
;
95 /* The next unread compilation unit within the .debug_info section.
96 Zero indicates that the .debug_info section has not been loaded
100 /* Pointer to the end of the .debug_info section memory buffer. */
101 bfd_byte
*info_ptr_end
;
103 /* Pointer to the original bfd for which debug was loaded. This is what
104 we use to compare and so check that the cached debug data is still
105 valid - it saves having to possibly dereference the gnu_debuglink each
109 /* Pointer to the bfd, section and address of the beginning of the
110 section. The bfd might be different than expected because of
111 gnu_debuglink sections. */
114 bfd_byte
*sec_info_ptr
;
116 /* Support for alternate debug info sections created by the DWZ utility:
117 This includes a pointer to an alternate bfd which contains *extra*,
118 possibly duplicate debug sections, and pointers to the loaded
119 .debug_str and .debug_info sections from this bfd. */
121 bfd_byte
* alt_dwarf_str_buffer
;
122 bfd_size_type alt_dwarf_str_size
;
123 bfd_byte
* alt_dwarf_info_buffer
;
124 bfd_size_type alt_dwarf_info_size
;
126 /* A pointer to the memory block allocated for info_ptr. Neither
127 info_ptr nor sec_info_ptr are guaranteed to stay pointing to the
128 beginning of the malloc block. */
129 bfd_byte
*info_ptr_memory
;
131 /* Pointer to the symbol table. */
134 /* Pointer to the .debug_abbrev section loaded into memory. */
135 bfd_byte
*dwarf_abbrev_buffer
;
137 /* Length of the loaded .debug_abbrev section. */
138 bfd_size_type dwarf_abbrev_size
;
140 /* Buffer for decode_line_info. */
141 bfd_byte
*dwarf_line_buffer
;
143 /* Length of the loaded .debug_line section. */
144 bfd_size_type dwarf_line_size
;
146 /* Pointer to the .debug_str section loaded into memory. */
147 bfd_byte
*dwarf_str_buffer
;
149 /* Length of the loaded .debug_str section. */
150 bfd_size_type dwarf_str_size
;
152 /* Pointer to the .debug_line_str section loaded into memory. */
153 bfd_byte
*dwarf_line_str_buffer
;
155 /* Length of the loaded .debug_line_str section. */
156 bfd_size_type dwarf_line_str_size
;
158 /* Pointer to the .debug_ranges section loaded into memory. */
159 bfd_byte
*dwarf_ranges_buffer
;
161 /* Length of the loaded .debug_ranges section. */
162 bfd_size_type dwarf_ranges_size
;
164 /* If the most recent call to bfd_find_nearest_line was given an
165 address in an inlined function, preserve a pointer into the
166 calling chain for subsequent calls to bfd_find_inliner_info to
168 struct funcinfo
*inliner_chain
;
170 /* Section VMAs at the time the stash was built. */
172 /* Number of sections in the SEC_VMA table. */
173 unsigned int sec_vma_count
;
175 /* Number of sections whose VMA we must adjust. */
176 int adjusted_section_count
;
178 /* Array of sections with adjusted VMA. */
179 struct adjusted_section
*adjusted_sections
;
181 /* Number of times find_line is called. This is used in
182 the heuristic for enabling the info hash tables. */
185 #define STASH_INFO_HASH_TRIGGER 100
187 /* Hash table mapping symbol names to function infos. */
188 struct info_hash_table
*funcinfo_hash_table
;
190 /* Hash table mapping symbol names to variable infos. */
191 struct info_hash_table
*varinfo_hash_table
;
193 /* Head of comp_unit list in the last hash table update. */
194 struct comp_unit
*hash_units_head
;
196 /* Status of info hash. */
197 int info_hash_status
;
198 #define STASH_INFO_HASH_OFF 0
199 #define STASH_INFO_HASH_ON 1
200 #define STASH_INFO_HASH_DISABLED 2
202 /* True if we opened bfd_ptr. */
203 bfd_boolean close_on_cleanup
;
213 /* A minimal decoding of DWARF2 compilation units. We only decode
214 what's needed to get to the line number information. */
218 /* Chain the previously read compilation units. */
219 struct comp_unit
*next_unit
;
221 /* Likewise, chain the compilation unit read after this one.
222 The comp units are stored in reversed reading order. */
223 struct comp_unit
*prev_unit
;
225 /* Keep the bfd convenient (for memory allocation). */
228 /* The lowest and highest addresses contained in this compilation
229 unit as specified in the compilation unit header. */
230 struct arange arange
;
232 /* The DW_AT_name attribute (for error messages). */
235 /* The abbrev hash table. */
236 struct abbrev_info
**abbrevs
;
238 /* DW_AT_language. */
241 /* Note that an error was found by comp_unit_find_nearest_line. */
244 /* The DW_AT_comp_dir attribute. */
247 /* TRUE if there is a line number table associated with this comp. unit. */
250 /* Pointer to the current comp_unit so that we can find a given entry
252 bfd_byte
*info_ptr_unit
;
254 /* The offset into .debug_line of the line number table. */
255 unsigned long line_offset
;
257 /* Pointer to the first child die for the comp unit. */
258 bfd_byte
*first_child_die_ptr
;
260 /* The end of the comp unit. */
263 /* The decoded line number, NULL if not yet decoded. */
264 struct line_info_table
*line_table
;
266 /* A list of the functions found in this comp. unit. */
267 struct funcinfo
*function_table
;
269 /* A table of function information references searchable by address. */
270 struct lookup_funcinfo
*lookup_funcinfo_table
;
272 /* Number of functions in the function_table and sorted_function_table. */
273 bfd_size_type number_of_functions
;
275 /* A list of the variables found in this comp. unit. */
276 struct varinfo
*variable_table
;
278 /* Pointer to dwarf2_debug structure. */
279 struct dwarf2_debug
*stash
;
281 /* DWARF format version for this unit - from unit header. */
284 /* Address size for this unit - from unit header. */
285 unsigned char addr_size
;
287 /* Offset size for this unit - from unit header. */
288 unsigned char offset_size
;
290 /* Base address for this unit - from DW_AT_low_pc attribute of
291 DW_TAG_compile_unit DIE */
292 bfd_vma base_address
;
294 /* TRUE if symbols are cached in hash table for faster lookup by name. */
298 /* This data structure holds the information of an abbrev. */
301 unsigned int number
; /* Number identifying abbrev. */
302 enum dwarf_tag tag
; /* DWARF tag. */
303 int has_children
; /* Boolean. */
304 unsigned int num_attrs
; /* Number of attributes. */
305 struct attr_abbrev
*attrs
; /* An array of attribute descriptions. */
306 struct abbrev_info
*next
; /* Next in chain. */
311 enum dwarf_attribute name
;
312 enum dwarf_form form
;
313 bfd_vma implicit_const
;
316 /* Map of uncompressed DWARF debug section name to compressed one. It
317 is terminated by NULL uncompressed_name. */
319 const struct dwarf_debug_section dwarf_debug_sections
[] =
321 { ".debug_abbrev", ".zdebug_abbrev" },
322 { ".debug_aranges", ".zdebug_aranges" },
323 { ".debug_frame", ".zdebug_frame" },
324 { ".debug_info", ".zdebug_info" },
325 { ".debug_info", ".zdebug_info" },
326 { ".debug_line", ".zdebug_line" },
327 { ".debug_loc", ".zdebug_loc" },
328 { ".debug_macinfo", ".zdebug_macinfo" },
329 { ".debug_macro", ".zdebug_macro" },
330 { ".debug_pubnames", ".zdebug_pubnames" },
331 { ".debug_pubtypes", ".zdebug_pubtypes" },
332 { ".debug_ranges", ".zdebug_ranges" },
333 { ".debug_static_func", ".zdebug_static_func" },
334 { ".debug_static_vars", ".zdebug_static_vars" },
335 { ".debug_str", ".zdebug_str", },
336 { ".debug_str", ".zdebug_str", },
337 { ".debug_line_str", ".zdebug_line_str", },
338 { ".debug_types", ".zdebug_types" },
339 /* GNU DWARF 1 extensions */
340 { ".debug_sfnames", ".zdebug_sfnames" },
341 { ".debug_srcinfo", ".zebug_srcinfo" },
342 /* SGI/MIPS DWARF 2 extensions */
343 { ".debug_funcnames", ".zdebug_funcnames" },
344 { ".debug_typenames", ".zdebug_typenames" },
345 { ".debug_varnames", ".zdebug_varnames" },
346 { ".debug_weaknames", ".zdebug_weaknames" },
350 /* NB/ Numbers in this enum must match up with indices
351 into the dwarf_debug_sections[] array above. */
352 enum dwarf_debug_section_enum
381 /* A static assertion. */
382 extern int dwarf_debug_section_assert
[ARRAY_SIZE (dwarf_debug_sections
)
383 == debug_max
+ 1 ? 1 : -1];
385 #ifndef ABBREV_HASH_SIZE
386 #define ABBREV_HASH_SIZE 121
388 #ifndef ATTR_ALLOC_CHUNK
389 #define ATTR_ALLOC_CHUNK 4
392 /* Variable and function hash tables. This is used to speed up look-up
393 in lookup_symbol_in_var_table() and lookup_symbol_in_function_table().
394 In order to share code between variable and function infos, we use
395 a list of untyped pointer for all variable/function info associated with
396 a symbol. We waste a bit of memory for list with one node but that
397 simplifies the code. */
399 struct info_list_node
401 struct info_list_node
*next
;
405 /* Info hash entry. */
406 struct info_hash_entry
408 struct bfd_hash_entry root
;
409 struct info_list_node
*head
;
412 struct info_hash_table
414 struct bfd_hash_table base
;
417 /* Function to create a new entry in info hash table. */
419 static struct bfd_hash_entry
*
420 info_hash_table_newfunc (struct bfd_hash_entry
*entry
,
421 struct bfd_hash_table
*table
,
424 struct info_hash_entry
*ret
= (struct info_hash_entry
*) entry
;
426 /* Allocate the structure if it has not already been allocated by a
430 ret
= (struct info_hash_entry
*) bfd_hash_allocate (table
,
436 /* Call the allocation method of the base class. */
437 ret
= ((struct info_hash_entry
*)
438 bfd_hash_newfunc ((struct bfd_hash_entry
*) ret
, table
, string
));
440 /* Initialize the local fields here. */
444 return (struct bfd_hash_entry
*) ret
;
447 /* Function to create a new info hash table. It returns a pointer to the
448 newly created table or NULL if there is any error. We need abfd
449 solely for memory allocation. */
451 static struct info_hash_table
*
452 create_info_hash_table (bfd
*abfd
)
454 struct info_hash_table
*hash_table
;
456 hash_table
= ((struct info_hash_table
*)
457 bfd_alloc (abfd
, sizeof (struct info_hash_table
)));
461 if (!bfd_hash_table_init (&hash_table
->base
, info_hash_table_newfunc
,
462 sizeof (struct info_hash_entry
)))
464 bfd_release (abfd
, hash_table
);
471 /* Insert an info entry into an info hash table. We do not check of
472 duplicate entries. Also, the caller need to guarantee that the
473 right type of info in inserted as info is passed as a void* pointer.
474 This function returns true if there is no error. */
477 insert_info_hash_table (struct info_hash_table
*hash_table
,
482 struct info_hash_entry
*entry
;
483 struct info_list_node
*node
;
485 entry
= (struct info_hash_entry
*) bfd_hash_lookup (&hash_table
->base
,
490 node
= (struct info_list_node
*) bfd_hash_allocate (&hash_table
->base
,
496 node
->next
= entry
->head
;
502 /* Look up an info entry list from an info hash table. Return NULL
505 static struct info_list_node
*
506 lookup_info_hash_table (struct info_hash_table
*hash_table
, const char *key
)
508 struct info_hash_entry
*entry
;
510 entry
= (struct info_hash_entry
*) bfd_hash_lookup (&hash_table
->base
, key
,
512 return entry
? entry
->head
: NULL
;
515 /* Read a section into its appropriate place in the dwarf2_debug
516 struct (indicated by SECTION_BUFFER and SECTION_SIZE). If SYMS is
517 not NULL, use bfd_simple_get_relocated_section_contents to read the
518 section contents, otherwise use bfd_get_section_contents. Fail if
519 the located section does not contain at least OFFSET bytes. */
522 read_section (bfd
* abfd
,
523 const struct dwarf_debug_section
*sec
,
526 bfd_byte
** section_buffer
,
527 bfd_size_type
* section_size
)
530 const char *section_name
= sec
->uncompressed_name
;
531 bfd_byte
*contents
= *section_buffer
;
534 /* The section may have already been read. */
535 if (contents
== NULL
)
537 msec
= bfd_get_section_by_name (abfd
, section_name
);
540 section_name
= sec
->compressed_name
;
541 if (section_name
!= NULL
)
542 msec
= bfd_get_section_by_name (abfd
, section_name
);
546 _bfd_error_handler (_("DWARF error: can't find %s section."),
547 sec
->uncompressed_name
);
548 bfd_set_error (bfd_error_bad_value
);
552 *section_size
= msec
->rawsize
? msec
->rawsize
: msec
->size
;
553 /* Paranoia - alloc one extra so that we can make sure a string
554 section is NUL terminated. */
555 amt
= *section_size
+ 1;
558 bfd_set_error (bfd_error_no_memory
);
561 contents
= (bfd_byte
*) bfd_malloc (amt
);
562 if (contents
== NULL
)
565 ? !bfd_simple_get_relocated_section_contents (abfd
, msec
, contents
,
567 : !bfd_get_section_contents (abfd
, msec
, contents
, 0, *section_size
))
572 contents
[*section_size
] = 0;
573 *section_buffer
= contents
;
576 /* It is possible to get a bad value for the offset into the section
577 that the client wants. Validate it here to avoid trouble later. */
578 if (offset
!= 0 && offset
>= *section_size
)
580 /* xgettext: c-format */
581 _bfd_error_handler (_("DWARF error: offset (%" PRIu64
")"
582 " greater than or equal to %s size (%" PRIu64
")"),
583 (uint64_t) offset
, section_name
,
584 (uint64_t) *section_size
);
585 bfd_set_error (bfd_error_bad_value
);
592 /* Read dwarf information from a buffer. */
595 read_1_byte (bfd
*abfd ATTRIBUTE_UNUSED
, bfd_byte
*buf
, bfd_byte
*end
)
599 return bfd_get_8 (abfd
, buf
);
603 read_1_signed_byte (bfd
*abfd ATTRIBUTE_UNUSED
, bfd_byte
*buf
, bfd_byte
*end
)
607 return bfd_get_signed_8 (abfd
, buf
);
611 read_2_bytes (bfd
*abfd
, bfd_byte
*buf
, bfd_byte
*end
)
615 return bfd_get_16 (abfd
, buf
);
619 read_4_bytes (bfd
*abfd
, bfd_byte
*buf
, bfd_byte
*end
)
623 return bfd_get_32 (abfd
, buf
);
627 read_8_bytes (bfd
*abfd
, bfd_byte
*buf
, bfd_byte
*end
)
631 return bfd_get_64 (abfd
, buf
);
635 read_n_bytes (bfd_byte
* buf
,
637 struct dwarf_block
* block
)
639 unsigned int size
= block
->size
;
640 bfd_byte
* block_end
= buf
+ size
;
642 if (block_end
> end
|| block_end
< buf
)
655 /* Scans a NUL terminated string starting at BUF, returning a pointer to it.
656 Returns the number of characters in the string, *including* the NUL byte,
657 in BYTES_READ_PTR. This value is set even if the function fails. Bytes
658 at or beyond BUF_END will not be read. Returns NULL if there was a
659 problem, or if the string is empty. */
662 read_string (bfd
* abfd ATTRIBUTE_UNUSED
,
665 unsigned int * bytes_read_ptr
)
671 * bytes_read_ptr
= 0;
677 * bytes_read_ptr
= 1;
681 while (buf
< buf_end
)
684 * bytes_read_ptr
= buf
- str
;
688 * bytes_read_ptr
= buf
- str
;
692 /* Reads an offset from BUF and then locates the string at this offset
693 inside the debug string section. Returns a pointer to the string.
694 Returns the number of bytes read from BUF, *not* the length of the string,
695 in BYTES_READ_PTR. This value is set even if the function fails. Bytes
696 at or beyond BUF_END will not be read from BUF. Returns NULL if there was
697 a problem, or if the string is empty. Does not check for NUL termination
701 read_indirect_string (struct comp_unit
* unit
,
704 unsigned int * bytes_read_ptr
)
707 struct dwarf2_debug
*stash
= unit
->stash
;
710 if (buf
+ unit
->offset_size
> buf_end
)
712 * bytes_read_ptr
= 0;
716 if (unit
->offset_size
== 4)
717 offset
= read_4_bytes (unit
->abfd
, buf
, buf_end
);
719 offset
= read_8_bytes (unit
->abfd
, buf
, buf_end
);
721 *bytes_read_ptr
= unit
->offset_size
;
723 if (! read_section (unit
->abfd
, &stash
->debug_sections
[debug_str
],
725 &stash
->dwarf_str_buffer
, &stash
->dwarf_str_size
))
728 if (offset
>= stash
->dwarf_str_size
)
730 str
= (char *) stash
->dwarf_str_buffer
+ offset
;
736 /* Like read_indirect_string but from .debug_line_str section. */
739 read_indirect_line_string (struct comp_unit
* unit
,
742 unsigned int * bytes_read_ptr
)
745 struct dwarf2_debug
*stash
= unit
->stash
;
748 if (buf
+ unit
->offset_size
> buf_end
)
750 * bytes_read_ptr
= 0;
754 if (unit
->offset_size
== 4)
755 offset
= read_4_bytes (unit
->abfd
, buf
, buf_end
);
757 offset
= read_8_bytes (unit
->abfd
, buf
, buf_end
);
759 *bytes_read_ptr
= unit
->offset_size
;
761 if (! read_section (unit
->abfd
, &stash
->debug_sections
[debug_line_str
],
763 &stash
->dwarf_line_str_buffer
,
764 &stash
->dwarf_line_str_size
))
767 if (offset
>= stash
->dwarf_line_str_size
)
769 str
= (char *) stash
->dwarf_line_str_buffer
+ offset
;
775 /* Like read_indirect_string but uses a .debug_str located in
776 an alternate file pointed to by the .gnu_debugaltlink section.
777 Used to impement DW_FORM_GNU_strp_alt. */
780 read_alt_indirect_string (struct comp_unit
* unit
,
783 unsigned int * bytes_read_ptr
)
786 struct dwarf2_debug
*stash
= unit
->stash
;
789 if (buf
+ unit
->offset_size
> buf_end
)
791 * bytes_read_ptr
= 0;
795 if (unit
->offset_size
== 4)
796 offset
= read_4_bytes (unit
->abfd
, buf
, buf_end
);
798 offset
= read_8_bytes (unit
->abfd
, buf
, buf_end
);
800 *bytes_read_ptr
= unit
->offset_size
;
802 if (stash
->alt_bfd_ptr
== NULL
)
805 char * debug_filename
= bfd_follow_gnu_debugaltlink (unit
->abfd
, DEBUGDIR
);
807 if (debug_filename
== NULL
)
810 if ((debug_bfd
= bfd_openr (debug_filename
, NULL
)) == NULL
811 || ! bfd_check_format (debug_bfd
, bfd_object
))
814 bfd_close (debug_bfd
);
816 /* FIXME: Should we report our failure to follow the debuglink ? */
817 free (debug_filename
);
820 stash
->alt_bfd_ptr
= debug_bfd
;
823 if (! read_section (unit
->stash
->alt_bfd_ptr
,
824 stash
->debug_sections
+ debug_str_alt
,
825 NULL
, /* FIXME: Do we need to load alternate symbols ? */
827 &stash
->alt_dwarf_str_buffer
,
828 &stash
->alt_dwarf_str_size
))
831 if (offset
>= stash
->alt_dwarf_str_size
)
833 str
= (char *) stash
->alt_dwarf_str_buffer
+ offset
;
840 /* Resolve an alternate reference from UNIT at OFFSET.
841 Returns a pointer into the loaded alternate CU upon success
842 or NULL upon failure. */
845 read_alt_indirect_ref (struct comp_unit
* unit
,
848 struct dwarf2_debug
*stash
= unit
->stash
;
850 if (stash
->alt_bfd_ptr
== NULL
)
853 char * debug_filename
= bfd_follow_gnu_debugaltlink (unit
->abfd
, DEBUGDIR
);
855 if (debug_filename
== NULL
)
858 if ((debug_bfd
= bfd_openr (debug_filename
, NULL
)) == NULL
859 || ! bfd_check_format (debug_bfd
, bfd_object
))
862 bfd_close (debug_bfd
);
864 /* FIXME: Should we report our failure to follow the debuglink ? */
865 free (debug_filename
);
868 stash
->alt_bfd_ptr
= debug_bfd
;
871 if (! read_section (unit
->stash
->alt_bfd_ptr
,
872 stash
->debug_sections
+ debug_info_alt
,
873 NULL
, /* FIXME: Do we need to load alternate symbols ? */
875 &stash
->alt_dwarf_info_buffer
,
876 &stash
->alt_dwarf_info_size
))
879 if (offset
>= stash
->alt_dwarf_info_size
)
881 return stash
->alt_dwarf_info_buffer
+ offset
;
885 read_address (struct comp_unit
*unit
, bfd_byte
*buf
, bfd_byte
* buf_end
)
889 if (bfd_get_flavour (unit
->abfd
) == bfd_target_elf_flavour
)
890 signed_vma
= get_elf_backend_data (unit
->abfd
)->sign_extend_vma
;
892 if (buf
+ unit
->addr_size
> buf_end
)
897 switch (unit
->addr_size
)
900 return bfd_get_signed_64 (unit
->abfd
, buf
);
902 return bfd_get_signed_32 (unit
->abfd
, buf
);
904 return bfd_get_signed_16 (unit
->abfd
, buf
);
911 switch (unit
->addr_size
)
914 return bfd_get_64 (unit
->abfd
, buf
);
916 return bfd_get_32 (unit
->abfd
, buf
);
918 return bfd_get_16 (unit
->abfd
, buf
);
925 /* Lookup an abbrev_info structure in the abbrev hash table. */
927 static struct abbrev_info
*
928 lookup_abbrev (unsigned int number
, struct abbrev_info
**abbrevs
)
930 unsigned int hash_number
;
931 struct abbrev_info
*abbrev
;
933 hash_number
= number
% ABBREV_HASH_SIZE
;
934 abbrev
= abbrevs
[hash_number
];
938 if (abbrev
->number
== number
)
941 abbrev
= abbrev
->next
;
947 /* In DWARF version 2, the description of the debugging information is
948 stored in a separate .debug_abbrev section. Before we read any
949 dies from a section we read in all abbreviations and install them
952 static struct abbrev_info
**
953 read_abbrevs (bfd
*abfd
, bfd_uint64_t offset
, struct dwarf2_debug
*stash
)
955 struct abbrev_info
**abbrevs
;
956 bfd_byte
*abbrev_ptr
;
957 bfd_byte
*abbrev_end
;
958 struct abbrev_info
*cur_abbrev
;
959 unsigned int abbrev_number
, bytes_read
, abbrev_name
;
960 unsigned int abbrev_form
, hash_number
;
963 if (! read_section (abfd
, &stash
->debug_sections
[debug_abbrev
],
965 &stash
->dwarf_abbrev_buffer
, &stash
->dwarf_abbrev_size
))
968 if (offset
>= stash
->dwarf_abbrev_size
)
971 amt
= sizeof (struct abbrev_info
*) * ABBREV_HASH_SIZE
;
972 abbrevs
= (struct abbrev_info
**) bfd_zalloc (abfd
, amt
);
976 abbrev_ptr
= stash
->dwarf_abbrev_buffer
+ offset
;
977 abbrev_end
= stash
->dwarf_abbrev_buffer
+ stash
->dwarf_abbrev_size
;
978 abbrev_number
= _bfd_safe_read_leb128 (abfd
, abbrev_ptr
, &bytes_read
,
980 abbrev_ptr
+= bytes_read
;
982 /* Loop until we reach an abbrev number of 0. */
983 while (abbrev_number
)
985 amt
= sizeof (struct abbrev_info
);
986 cur_abbrev
= (struct abbrev_info
*) bfd_zalloc (abfd
, amt
);
987 if (cur_abbrev
== NULL
)
990 /* Read in abbrev header. */
991 cur_abbrev
->number
= abbrev_number
;
992 cur_abbrev
->tag
= (enum dwarf_tag
)
993 _bfd_safe_read_leb128 (abfd
, abbrev_ptr
, &bytes_read
,
995 abbrev_ptr
+= bytes_read
;
996 cur_abbrev
->has_children
= read_1_byte (abfd
, abbrev_ptr
, abbrev_end
);
999 /* Now read in declarations. */
1002 /* Initialize it just to avoid a GCC false warning. */
1003 bfd_vma implicit_const
= -1;
1005 abbrev_name
= _bfd_safe_read_leb128 (abfd
, abbrev_ptr
, &bytes_read
,
1007 abbrev_ptr
+= bytes_read
;
1008 abbrev_form
= _bfd_safe_read_leb128 (abfd
, abbrev_ptr
, &bytes_read
,
1010 abbrev_ptr
+= bytes_read
;
1011 if (abbrev_form
== DW_FORM_implicit_const
)
1013 implicit_const
= _bfd_safe_read_leb128 (abfd
, abbrev_ptr
,
1016 abbrev_ptr
+= bytes_read
;
1019 if (abbrev_name
== 0)
1022 if ((cur_abbrev
->num_attrs
% ATTR_ALLOC_CHUNK
) == 0)
1024 struct attr_abbrev
*tmp
;
1026 amt
= cur_abbrev
->num_attrs
+ ATTR_ALLOC_CHUNK
;
1027 amt
*= sizeof (struct attr_abbrev
);
1028 tmp
= (struct attr_abbrev
*) bfd_realloc (cur_abbrev
->attrs
, amt
);
1033 for (i
= 0; i
< ABBREV_HASH_SIZE
; i
++)
1035 struct abbrev_info
*abbrev
= abbrevs
[i
];
1039 free (abbrev
->attrs
);
1040 abbrev
= abbrev
->next
;
1045 cur_abbrev
->attrs
= tmp
;
1048 cur_abbrev
->attrs
[cur_abbrev
->num_attrs
].name
1049 = (enum dwarf_attribute
) abbrev_name
;
1050 cur_abbrev
->attrs
[cur_abbrev
->num_attrs
].form
1051 = (enum dwarf_form
) abbrev_form
;
1052 cur_abbrev
->attrs
[cur_abbrev
->num_attrs
].implicit_const
1054 ++cur_abbrev
->num_attrs
;
1057 hash_number
= abbrev_number
% ABBREV_HASH_SIZE
;
1058 cur_abbrev
->next
= abbrevs
[hash_number
];
1059 abbrevs
[hash_number
] = cur_abbrev
;
1061 /* Get next abbreviation.
1062 Under Irix6 the abbreviations for a compilation unit are not
1063 always properly terminated with an abbrev number of 0.
1064 Exit loop if we encounter an abbreviation which we have
1065 already read (which means we are about to read the abbreviations
1066 for the next compile unit) or if the end of the abbreviation
1067 table is reached. */
1068 if ((unsigned int) (abbrev_ptr
- stash
->dwarf_abbrev_buffer
)
1069 >= stash
->dwarf_abbrev_size
)
1071 abbrev_number
= _bfd_safe_read_leb128 (abfd
, abbrev_ptr
,
1072 &bytes_read
, FALSE
, abbrev_end
);
1073 abbrev_ptr
+= bytes_read
;
1074 if (lookup_abbrev (abbrev_number
, abbrevs
) != NULL
)
1081 /* Returns true if the form is one which has a string value. */
1083 static inline bfd_boolean
1084 is_str_attr (enum dwarf_form form
)
1086 return (form
== DW_FORM_string
|| form
== DW_FORM_strp
1087 || form
== DW_FORM_line_strp
|| form
== DW_FORM_GNU_strp_alt
);
1090 /* Read and fill in the value of attribute ATTR as described by FORM.
1091 Read data starting from INFO_PTR, but never at or beyond INFO_PTR_END.
1092 Returns an updated INFO_PTR taking into account the amount of data read. */
1095 read_attribute_value (struct attribute
* attr
,
1097 bfd_vma implicit_const
,
1098 struct comp_unit
* unit
,
1099 bfd_byte
* info_ptr
,
1100 bfd_byte
* info_ptr_end
)
1102 bfd
*abfd
= unit
->abfd
;
1103 unsigned int bytes_read
;
1104 struct dwarf_block
*blk
;
1107 if (info_ptr
>= info_ptr_end
&& form
!= DW_FORM_flag_present
)
1109 _bfd_error_handler (_("DWARF error: info pointer extends beyond end of attributes"));
1110 bfd_set_error (bfd_error_bad_value
);
1114 attr
->form
= (enum dwarf_form
) form
;
1118 case DW_FORM_ref_addr
:
1119 /* DW_FORM_ref_addr is an address in DWARF2, and an offset in
1121 if (unit
->version
== 3 || unit
->version
== 4)
1123 if (unit
->offset_size
== 4)
1124 attr
->u
.val
= read_4_bytes (unit
->abfd
, info_ptr
, info_ptr_end
);
1126 attr
->u
.val
= read_8_bytes (unit
->abfd
, info_ptr
, info_ptr_end
);
1127 info_ptr
+= unit
->offset_size
;
1132 attr
->u
.val
= read_address (unit
, info_ptr
, info_ptr_end
);
1133 info_ptr
+= unit
->addr_size
;
1135 case DW_FORM_GNU_ref_alt
:
1136 case DW_FORM_sec_offset
:
1137 if (unit
->offset_size
== 4)
1138 attr
->u
.val
= read_4_bytes (unit
->abfd
, info_ptr
, info_ptr_end
);
1140 attr
->u
.val
= read_8_bytes (unit
->abfd
, info_ptr
, info_ptr_end
);
1141 info_ptr
+= unit
->offset_size
;
1143 case DW_FORM_block2
:
1144 amt
= sizeof (struct dwarf_block
);
1145 blk
= (struct dwarf_block
*) bfd_alloc (abfd
, amt
);
1148 blk
->size
= read_2_bytes (abfd
, info_ptr
, info_ptr_end
);
1150 info_ptr
= read_n_bytes (info_ptr
, info_ptr_end
, blk
);
1153 case DW_FORM_block4
:
1154 amt
= sizeof (struct dwarf_block
);
1155 blk
= (struct dwarf_block
*) bfd_alloc (abfd
, amt
);
1158 blk
->size
= read_4_bytes (abfd
, info_ptr
, info_ptr_end
);
1160 info_ptr
= read_n_bytes (info_ptr
, info_ptr_end
, blk
);
1164 attr
->u
.val
= read_2_bytes (abfd
, info_ptr
, info_ptr_end
);
1168 attr
->u
.val
= read_4_bytes (abfd
, info_ptr
, info_ptr_end
);
1172 attr
->u
.val
= read_8_bytes (abfd
, info_ptr
, info_ptr_end
);
1175 case DW_FORM_string
:
1176 attr
->u
.str
= read_string (abfd
, info_ptr
, info_ptr_end
, &bytes_read
);
1177 info_ptr
+= bytes_read
;
1180 attr
->u
.str
= read_indirect_string (unit
, info_ptr
, info_ptr_end
, &bytes_read
);
1181 info_ptr
+= bytes_read
;
1183 case DW_FORM_line_strp
:
1184 attr
->u
.str
= read_indirect_line_string (unit
, info_ptr
, info_ptr_end
, &bytes_read
);
1185 info_ptr
+= bytes_read
;
1187 case DW_FORM_GNU_strp_alt
:
1188 attr
->u
.str
= read_alt_indirect_string (unit
, info_ptr
, info_ptr_end
, &bytes_read
);
1189 info_ptr
+= bytes_read
;
1191 case DW_FORM_exprloc
:
1193 amt
= sizeof (struct dwarf_block
);
1194 blk
= (struct dwarf_block
*) bfd_alloc (abfd
, amt
);
1197 blk
->size
= _bfd_safe_read_leb128 (abfd
, info_ptr
, &bytes_read
,
1198 FALSE
, info_ptr_end
);
1199 info_ptr
+= bytes_read
;
1200 info_ptr
= read_n_bytes (info_ptr
, info_ptr_end
, blk
);
1203 case DW_FORM_block1
:
1204 amt
= sizeof (struct dwarf_block
);
1205 blk
= (struct dwarf_block
*) bfd_alloc (abfd
, amt
);
1208 blk
->size
= read_1_byte (abfd
, info_ptr
, info_ptr_end
);
1210 info_ptr
= read_n_bytes (info_ptr
, info_ptr_end
, blk
);
1214 attr
->u
.val
= read_1_byte (abfd
, info_ptr
, info_ptr_end
);
1218 attr
->u
.val
= read_1_byte (abfd
, info_ptr
, info_ptr_end
);
1221 case DW_FORM_flag_present
:
1225 attr
->u
.sval
= _bfd_safe_read_leb128 (abfd
, info_ptr
, &bytes_read
,
1226 TRUE
, info_ptr_end
);
1227 info_ptr
+= bytes_read
;
1230 attr
->u
.val
= _bfd_safe_read_leb128 (abfd
, info_ptr
, &bytes_read
,
1231 FALSE
, info_ptr_end
);
1232 info_ptr
+= bytes_read
;
1235 attr
->u
.val
= read_1_byte (abfd
, info_ptr
, info_ptr_end
);
1239 attr
->u
.val
= read_2_bytes (abfd
, info_ptr
, info_ptr_end
);
1243 attr
->u
.val
= read_4_bytes (abfd
, info_ptr
, info_ptr_end
);
1247 attr
->u
.val
= read_8_bytes (abfd
, info_ptr
, info_ptr_end
);
1250 case DW_FORM_ref_sig8
:
1251 attr
->u
.val
= read_8_bytes (abfd
, info_ptr
, info_ptr_end
);
1254 case DW_FORM_ref_udata
:
1255 attr
->u
.val
= _bfd_safe_read_leb128 (abfd
, info_ptr
, &bytes_read
,
1256 FALSE
, info_ptr_end
);
1257 info_ptr
+= bytes_read
;
1259 case DW_FORM_indirect
:
1260 form
= _bfd_safe_read_leb128 (abfd
, info_ptr
, &bytes_read
,
1261 FALSE
, info_ptr_end
);
1262 info_ptr
+= bytes_read
;
1263 if (form
== DW_FORM_implicit_const
)
1265 implicit_const
= _bfd_safe_read_leb128 (abfd
, info_ptr
, &bytes_read
,
1266 TRUE
, info_ptr_end
);
1267 info_ptr
+= bytes_read
;
1269 info_ptr
= read_attribute_value (attr
, form
, implicit_const
, unit
,
1270 info_ptr
, info_ptr_end
);
1272 case DW_FORM_implicit_const
:
1273 attr
->form
= DW_FORM_sdata
;
1274 attr
->u
.sval
= implicit_const
;
1277 _bfd_error_handler (_("DWARF error: invalid or unhandled FORM value: %#x"),
1279 bfd_set_error (bfd_error_bad_value
);
1285 /* Read an attribute described by an abbreviated attribute. */
1288 read_attribute (struct attribute
* attr
,
1289 struct attr_abbrev
* abbrev
,
1290 struct comp_unit
* unit
,
1291 bfd_byte
* info_ptr
,
1292 bfd_byte
* info_ptr_end
)
1294 attr
->name
= abbrev
->name
;
1295 info_ptr
= read_attribute_value (attr
, abbrev
->form
, abbrev
->implicit_const
,
1296 unit
, info_ptr
, info_ptr_end
);
1300 /* Return whether DW_AT_name will return the same as DW_AT_linkage_name
1304 non_mangled (int lang
)
1314 case DW_LANG_Cobol74
:
1315 case DW_LANG_Cobol85
:
1316 case DW_LANG_Fortran77
:
1317 case DW_LANG_Pascal83
:
1327 /* Source line information table routines. */
1329 #define FILE_ALLOC_CHUNK 5
1330 #define DIR_ALLOC_CHUNK 5
1334 struct line_info
* prev_line
;
1338 unsigned int column
;
1339 unsigned int discriminator
;
1340 unsigned char op_index
;
1341 unsigned char end_sequence
; /* End of (sequential) code sequence. */
1352 struct line_sequence
1355 struct line_sequence
* prev_sequence
;
1356 struct line_info
* last_line
; /* Largest VMA. */
1357 struct line_info
** line_info_lookup
;
1358 bfd_size_type num_lines
;
1361 struct line_info_table
1364 unsigned int num_files
;
1365 unsigned int num_dirs
;
1366 unsigned int num_sequences
;
1369 struct fileinfo
* files
;
1370 struct line_sequence
* sequences
;
1371 struct line_info
* lcl_head
; /* Local head; used in 'add_line_info'. */
1374 /* Remember some information about each function. If the function is
1375 inlined (DW_TAG_inlined_subroutine) it may have two additional
1376 attributes, DW_AT_call_file and DW_AT_call_line, which specify the
1377 source code location where this function was inlined. */
1381 /* Pointer to previous function in list of all functions. */
1382 struct funcinfo
* prev_func
;
1383 /* Pointer to function one scope higher. */
1384 struct funcinfo
* caller_func
;
1385 /* Source location file name where caller_func inlines this func. */
1387 /* Source location file name. */
1389 /* Source location line number where caller_func inlines this func. */
1391 /* Source location line number. */
1394 bfd_boolean is_linkage
;
1396 struct arange arange
;
1397 /* Where the symbol is defined. */
1401 struct lookup_funcinfo
1403 /* Function information corresponding to this lookup table entry. */
1404 struct funcinfo
* funcinfo
;
1406 /* The lowest address for this specific function. */
1409 /* The highest address of this function before the lookup table is sorted.
1410 The highest address of all prior functions after the lookup table is
1411 sorted, which is used for binary search. */
1417 /* Pointer to previous variable in list of all variables */
1418 struct varinfo
*prev_var
;
1419 /* Source location file name */
1421 /* Source location line number */
1426 /* Where the symbol is defined */
1428 /* Is this a stack variable? */
1429 unsigned int stack
: 1;
1432 /* Return TRUE if NEW_LINE should sort after LINE. */
1434 static inline bfd_boolean
1435 new_line_sorts_after (struct line_info
*new_line
, struct line_info
*line
)
1437 return (new_line
->address
> line
->address
1438 || (new_line
->address
== line
->address
1439 && new_line
->op_index
> line
->op_index
));
1443 /* Adds a new entry to the line_info list in the line_info_table, ensuring
1444 that the list is sorted. Note that the line_info list is sorted from
1445 highest to lowest VMA (with possible duplicates); that is,
1446 line_info->prev_line always accesses an equal or smaller VMA. */
1449 add_line_info (struct line_info_table
*table
,
1451 unsigned char op_index
,
1454 unsigned int column
,
1455 unsigned int discriminator
,
1458 bfd_size_type amt
= sizeof (struct line_info
);
1459 struct line_sequence
* seq
= table
->sequences
;
1460 struct line_info
* info
= (struct line_info
*) bfd_alloc (table
->abfd
, amt
);
1465 /* Set member data of 'info'. */
1466 info
->prev_line
= NULL
;
1467 info
->address
= address
;
1468 info
->op_index
= op_index
;
1470 info
->column
= column
;
1471 info
->discriminator
= discriminator
;
1472 info
->end_sequence
= end_sequence
;
1474 if (filename
&& filename
[0])
1476 info
->filename
= (char *) bfd_alloc (table
->abfd
, strlen (filename
) + 1);
1477 if (info
->filename
== NULL
)
1479 strcpy (info
->filename
, filename
);
1482 info
->filename
= NULL
;
1484 /* Find the correct location for 'info'. Normally we will receive
1485 new line_info data 1) in order and 2) with increasing VMAs.
1486 However some compilers break the rules (cf. decode_line_info) and
1487 so we include some heuristics for quickly finding the correct
1488 location for 'info'. In particular, these heuristics optimize for
1489 the common case in which the VMA sequence that we receive is a
1490 list of locally sorted VMAs such as
1491 p...z a...j (where a < j < p < z)
1493 Note: table->lcl_head is used to head an *actual* or *possible*
1494 sub-sequence within the list (such as a...j) that is not directly
1495 headed by table->last_line
1497 Note: we may receive duplicate entries from 'decode_line_info'. */
1500 && seq
->last_line
->address
== address
1501 && seq
->last_line
->op_index
== op_index
1502 && seq
->last_line
->end_sequence
== end_sequence
)
1504 /* We only keep the last entry with the same address and end
1505 sequence. See PR ld/4986. */
1506 if (table
->lcl_head
== seq
->last_line
)
1507 table
->lcl_head
= info
;
1508 info
->prev_line
= seq
->last_line
->prev_line
;
1509 seq
->last_line
= info
;
1511 else if (!seq
|| seq
->last_line
->end_sequence
)
1513 /* Start a new line sequence. */
1514 amt
= sizeof (struct line_sequence
);
1515 seq
= (struct line_sequence
*) bfd_malloc (amt
);
1518 seq
->low_pc
= address
;
1519 seq
->prev_sequence
= table
->sequences
;
1520 seq
->last_line
= info
;
1521 table
->lcl_head
= info
;
1522 table
->sequences
= seq
;
1523 table
->num_sequences
++;
1525 else if (info
->end_sequence
1526 || new_line_sorts_after (info
, seq
->last_line
))
1528 /* Normal case: add 'info' to the beginning of the current sequence. */
1529 info
->prev_line
= seq
->last_line
;
1530 seq
->last_line
= info
;
1532 /* lcl_head: initialize to head a *possible* sequence at the end. */
1533 if (!table
->lcl_head
)
1534 table
->lcl_head
= info
;
1536 else if (!new_line_sorts_after (info
, table
->lcl_head
)
1537 && (!table
->lcl_head
->prev_line
1538 || new_line_sorts_after (info
, table
->lcl_head
->prev_line
)))
1540 /* Abnormal but easy: lcl_head is the head of 'info'. */
1541 info
->prev_line
= table
->lcl_head
->prev_line
;
1542 table
->lcl_head
->prev_line
= info
;
1546 /* Abnormal and hard: Neither 'last_line' nor 'lcl_head'
1547 are valid heads for 'info'. Reset 'lcl_head'. */
1548 struct line_info
* li2
= seq
->last_line
; /* Always non-NULL. */
1549 struct line_info
* li1
= li2
->prev_line
;
1553 if (!new_line_sorts_after (info
, li2
)
1554 && new_line_sorts_after (info
, li1
))
1557 li2
= li1
; /* always non-NULL */
1558 li1
= li1
->prev_line
;
1560 table
->lcl_head
= li2
;
1561 info
->prev_line
= table
->lcl_head
->prev_line
;
1562 table
->lcl_head
->prev_line
= info
;
1563 if (address
< seq
->low_pc
)
1564 seq
->low_pc
= address
;
1569 /* Extract a fully qualified filename from a line info table.
1570 The returned string has been malloc'ed and it is the caller's
1571 responsibility to free it. */
1574 concat_filename (struct line_info_table
*table
, unsigned int file
)
1578 if (table
== NULL
|| file
- 1 >= table
->num_files
)
1580 /* FILE == 0 means unknown. */
1583 (_("DWARF error: mangled line number section (bad file number)"));
1584 return strdup ("<unknown>");
1587 filename
= table
->files
[file
- 1].name
;
1588 if (filename
== NULL
)
1589 return strdup ("<unknown>");
1591 if (!IS_ABSOLUTE_PATH (filename
))
1593 char *dir_name
= NULL
;
1594 char *subdir_name
= NULL
;
1598 if (table
->files
[file
- 1].dir
1599 /* PR 17512: file: 0317e960. */
1600 && table
->files
[file
- 1].dir
<= table
->num_dirs
1601 /* PR 17512: file: 7f3d2e4b. */
1602 && table
->dirs
!= NULL
)
1603 subdir_name
= table
->dirs
[table
->files
[file
- 1].dir
- 1];
1605 if (!subdir_name
|| !IS_ABSOLUTE_PATH (subdir_name
))
1606 dir_name
= table
->comp_dir
;
1610 dir_name
= subdir_name
;
1615 return strdup (filename
);
1617 len
= strlen (dir_name
) + strlen (filename
) + 2;
1621 len
+= strlen (subdir_name
) + 1;
1622 name
= (char *) bfd_malloc (len
);
1624 sprintf (name
, "%s/%s/%s", dir_name
, subdir_name
, filename
);
1628 name
= (char *) bfd_malloc (len
);
1630 sprintf (name
, "%s/%s", dir_name
, filename
);
1636 return strdup (filename
);
1640 arange_add (const struct comp_unit
*unit
, struct arange
*first_arange
,
1641 bfd_vma low_pc
, bfd_vma high_pc
)
1643 struct arange
*arange
;
1645 /* Ignore empty ranges. */
1646 if (low_pc
== high_pc
)
1649 /* If the first arange is empty, use it. */
1650 if (first_arange
->high
== 0)
1652 first_arange
->low
= low_pc
;
1653 first_arange
->high
= high_pc
;
1657 /* Next see if we can cheaply extend an existing range. */
1658 arange
= first_arange
;
1661 if (low_pc
== arange
->high
)
1663 arange
->high
= high_pc
;
1666 if (high_pc
== arange
->low
)
1668 arange
->low
= low_pc
;
1671 arange
= arange
->next
;
1675 /* Need to allocate a new arange and insert it into the arange list.
1676 Order isn't significant, so just insert after the first arange. */
1677 arange
= (struct arange
*) bfd_alloc (unit
->abfd
, sizeof (*arange
));
1680 arange
->low
= low_pc
;
1681 arange
->high
= high_pc
;
1682 arange
->next
= first_arange
->next
;
1683 first_arange
->next
= arange
;
1687 /* Compare function for line sequences. */
1690 compare_sequences (const void* a
, const void* b
)
1692 const struct line_sequence
* seq1
= a
;
1693 const struct line_sequence
* seq2
= b
;
1695 /* Sort by low_pc as the primary key. */
1696 if (seq1
->low_pc
< seq2
->low_pc
)
1698 if (seq1
->low_pc
> seq2
->low_pc
)
1701 /* If low_pc values are equal, sort in reverse order of
1702 high_pc, so that the largest region comes first. */
1703 if (seq1
->last_line
->address
< seq2
->last_line
->address
)
1705 if (seq1
->last_line
->address
> seq2
->last_line
->address
)
1708 if (seq1
->last_line
->op_index
< seq2
->last_line
->op_index
)
1710 if (seq1
->last_line
->op_index
> seq2
->last_line
->op_index
)
1716 /* Construct the line information table for quick lookup. */
1719 build_line_info_table (struct line_info_table
* table
,
1720 struct line_sequence
* seq
)
1723 struct line_info
** line_info_lookup
;
1724 struct line_info
* each_line
;
1725 unsigned int num_lines
;
1726 unsigned int line_index
;
1728 if (seq
->line_info_lookup
!= NULL
)
1731 /* Count the number of line information entries. We could do this while
1732 scanning the debug information, but some entries may be added via
1733 lcl_head without having a sequence handy to increment the number of
1736 for (each_line
= seq
->last_line
; each_line
; each_line
= each_line
->prev_line
)
1742 /* Allocate space for the line information lookup table. */
1743 amt
= sizeof (struct line_info
*) * num_lines
;
1744 line_info_lookup
= (struct line_info
**) bfd_alloc (table
->abfd
, amt
);
1745 if (line_info_lookup
== NULL
)
1748 /* Create the line information lookup table. */
1749 line_index
= num_lines
;
1750 for (each_line
= seq
->last_line
; each_line
; each_line
= each_line
->prev_line
)
1751 line_info_lookup
[--line_index
] = each_line
;
1753 BFD_ASSERT (line_index
== 0);
1755 seq
->num_lines
= num_lines
;
1756 seq
->line_info_lookup
= line_info_lookup
;
1761 /* Sort the line sequences for quick lookup. */
1764 sort_line_sequences (struct line_info_table
* table
)
1767 struct line_sequence
* sequences
;
1768 struct line_sequence
* seq
;
1770 unsigned int num_sequences
= table
->num_sequences
;
1771 bfd_vma last_high_pc
;
1773 if (num_sequences
== 0)
1776 /* Allocate space for an array of sequences. */
1777 amt
= sizeof (struct line_sequence
) * num_sequences
;
1778 sequences
= (struct line_sequence
*) bfd_alloc (table
->abfd
, amt
);
1779 if (sequences
== NULL
)
1782 /* Copy the linked list into the array, freeing the original nodes. */
1783 seq
= table
->sequences
;
1784 for (n
= 0; n
< num_sequences
; n
++)
1786 struct line_sequence
* last_seq
= seq
;
1789 sequences
[n
].low_pc
= seq
->low_pc
;
1790 sequences
[n
].prev_sequence
= NULL
;
1791 sequences
[n
].last_line
= seq
->last_line
;
1792 sequences
[n
].line_info_lookup
= NULL
;
1793 sequences
[n
].num_lines
= 0;
1794 seq
= seq
->prev_sequence
;
1797 BFD_ASSERT (seq
== NULL
);
1799 qsort (sequences
, n
, sizeof (struct line_sequence
), compare_sequences
);
1801 /* Make the list binary-searchable by trimming overlapping entries
1802 and removing nested entries. */
1804 last_high_pc
= sequences
[0].last_line
->address
;
1805 for (n
= 1; n
< table
->num_sequences
; n
++)
1807 if (sequences
[n
].low_pc
< last_high_pc
)
1809 if (sequences
[n
].last_line
->address
<= last_high_pc
)
1810 /* Skip nested entries. */
1813 /* Trim overlapping entries. */
1814 sequences
[n
].low_pc
= last_high_pc
;
1816 last_high_pc
= sequences
[n
].last_line
->address
;
1817 if (n
> num_sequences
)
1819 /* Close up the gap. */
1820 sequences
[num_sequences
].low_pc
= sequences
[n
].low_pc
;
1821 sequences
[num_sequences
].last_line
= sequences
[n
].last_line
;
1826 table
->sequences
= sequences
;
1827 table
->num_sequences
= num_sequences
;
1831 /* Add directory to TABLE. CUR_DIR memory ownership is taken by TABLE. */
1834 line_info_add_include_dir (struct line_info_table
*table
, char *cur_dir
)
1836 if ((table
->num_dirs
% DIR_ALLOC_CHUNK
) == 0)
1841 amt
= table
->num_dirs
+ DIR_ALLOC_CHUNK
;
1842 amt
*= sizeof (char *);
1844 tmp
= (char **) bfd_realloc (table
->dirs
, amt
);
1850 table
->dirs
[table
->num_dirs
++] = cur_dir
;
1855 line_info_add_include_dir_stub (struct line_info_table
*table
, char *cur_dir
,
1856 unsigned int dir ATTRIBUTE_UNUSED
,
1857 unsigned int xtime ATTRIBUTE_UNUSED
,
1858 unsigned int size ATTRIBUTE_UNUSED
)
1860 return line_info_add_include_dir (table
, cur_dir
);
1863 /* Add file to TABLE. CUR_FILE memory ownership is taken by TABLE. */
1866 line_info_add_file_name (struct line_info_table
*table
, char *cur_file
,
1867 unsigned int dir
, unsigned int xtime
,
1870 if ((table
->num_files
% FILE_ALLOC_CHUNK
) == 0)
1872 struct fileinfo
*tmp
;
1875 amt
= table
->num_files
+ FILE_ALLOC_CHUNK
;
1876 amt
*= sizeof (struct fileinfo
);
1878 tmp
= (struct fileinfo
*) bfd_realloc (table
->files
, amt
);
1884 table
->files
[table
->num_files
].name
= cur_file
;
1885 table
->files
[table
->num_files
].dir
= dir
;
1886 table
->files
[table
->num_files
].time
= xtime
;
1887 table
->files
[table
->num_files
].size
= size
;
1892 /* Read directory or file name entry format, starting with byte of
1893 format count entries, ULEB128 pairs of entry formats, ULEB128 of
1894 entries count and the entries themselves in the described entry
1898 read_formatted_entries (struct comp_unit
*unit
, bfd_byte
**bufp
,
1899 bfd_byte
*buf_end
, struct line_info_table
*table
,
1900 bfd_boolean (*callback
) (struct line_info_table
*table
,
1906 bfd
*abfd
= unit
->abfd
;
1907 bfd_byte format_count
, formati
;
1908 bfd_vma data_count
, datai
;
1909 bfd_byte
*buf
= *bufp
;
1910 bfd_byte
*format_header_data
;
1911 unsigned int bytes_read
;
1913 format_count
= read_1_byte (abfd
, buf
, buf_end
);
1915 format_header_data
= buf
;
1916 for (formati
= 0; formati
< format_count
; formati
++)
1918 _bfd_safe_read_leb128 (abfd
, buf
, &bytes_read
, FALSE
, buf_end
);
1920 _bfd_safe_read_leb128 (abfd
, buf
, &bytes_read
, FALSE
, buf_end
);
1924 data_count
= _bfd_safe_read_leb128 (abfd
, buf
, &bytes_read
, FALSE
, buf_end
);
1926 if (format_count
== 0 && data_count
!= 0)
1928 _bfd_error_handler (_("DWARF error: zero format count"));
1929 bfd_set_error (bfd_error_bad_value
);
1933 /* PR 22210. Paranoia check. Don't bother running the loop
1934 if we know that we are going to run out of buffer. */
1935 if (data_count
> (bfd_vma
) (buf_end
- buf
))
1938 (_("DWARF error: data count (%" PRIx64
") larger than buffer size"),
1939 (uint64_t) data_count
);
1940 bfd_set_error (bfd_error_bad_value
);
1944 for (datai
= 0; datai
< data_count
; datai
++)
1946 bfd_byte
*format
= format_header_data
;
1949 memset (&fe
, 0, sizeof fe
);
1950 for (formati
= 0; formati
< format_count
; formati
++)
1952 bfd_vma content_type
, form
;
1954 char **stringp
= &string_trash
;
1955 unsigned int uint_trash
, *uintp
= &uint_trash
;
1956 struct attribute attr
;
1958 content_type
= _bfd_safe_read_leb128 (abfd
, format
, &bytes_read
,
1960 format
+= bytes_read
;
1961 switch (content_type
)
1966 case DW_LNCT_directory_index
:
1969 case DW_LNCT_timestamp
:
1979 (_("DWARF error: unknown format content type %" PRIu64
),
1980 (uint64_t) content_type
);
1981 bfd_set_error (bfd_error_bad_value
);
1985 form
= _bfd_safe_read_leb128 (abfd
, format
, &bytes_read
, FALSE
,
1987 format
+= bytes_read
;
1989 buf
= read_attribute_value (&attr
, form
, 0, unit
, buf
, buf_end
);
1994 case DW_FORM_string
:
1995 case DW_FORM_line_strp
:
1996 *stringp
= attr
.u
.str
;
2004 *uintp
= attr
.u
.val
;
2009 if (!callback (table
, fe
.name
, fe
.dir
, fe
.time
, fe
.size
))
2017 /* Decode the line number information for UNIT. */
2019 static struct line_info_table
*
2020 decode_line_info (struct comp_unit
*unit
, struct dwarf2_debug
*stash
)
2022 bfd
*abfd
= unit
->abfd
;
2023 struct line_info_table
* table
;
2026 struct line_head lh
;
2027 unsigned int i
, bytes_read
, offset_size
;
2028 char *cur_file
, *cur_dir
;
2029 unsigned char op_code
, extended_op
, adj_opcode
;
2030 unsigned int exop_len
;
2033 if (! read_section (abfd
, &stash
->debug_sections
[debug_line
],
2034 stash
->syms
, unit
->line_offset
,
2035 &stash
->dwarf_line_buffer
, &stash
->dwarf_line_size
))
2038 amt
= sizeof (struct line_info_table
);
2039 table
= (struct line_info_table
*) bfd_alloc (abfd
, amt
);
2043 table
->comp_dir
= unit
->comp_dir
;
2045 table
->num_files
= 0;
2046 table
->files
= NULL
;
2048 table
->num_dirs
= 0;
2051 table
->num_sequences
= 0;
2052 table
->sequences
= NULL
;
2054 table
->lcl_head
= NULL
;
2056 if (stash
->dwarf_line_size
< 16)
2059 (_("DWARF error: line info section is too small (%" PRId64
")"),
2060 (int64_t) stash
->dwarf_line_size
);
2061 bfd_set_error (bfd_error_bad_value
);
2064 line_ptr
= stash
->dwarf_line_buffer
+ unit
->line_offset
;
2065 line_end
= stash
->dwarf_line_buffer
+ stash
->dwarf_line_size
;
2067 /* Read in the prologue. */
2068 lh
.total_length
= read_4_bytes (abfd
, line_ptr
, line_end
);
2071 if (lh
.total_length
== 0xffffffff)
2073 lh
.total_length
= read_8_bytes (abfd
, line_ptr
, line_end
);
2077 else if (lh
.total_length
== 0 && unit
->addr_size
== 8)
2079 /* Handle (non-standard) 64-bit DWARF2 formats. */
2080 lh
.total_length
= read_4_bytes (abfd
, line_ptr
, line_end
);
2085 if (lh
.total_length
> (size_t) (line_end
- line_ptr
))
2088 /* xgettext: c-format */
2089 (_("DWARF error: line info data is bigger (%#" PRIx64
")"
2090 " than the space remaining in the section (%#lx)"),
2091 (uint64_t) lh
.total_length
, (unsigned long) (line_end
- line_ptr
));
2092 bfd_set_error (bfd_error_bad_value
);
2096 line_end
= line_ptr
+ lh
.total_length
;
2098 lh
.version
= read_2_bytes (abfd
, line_ptr
, line_end
);
2099 if (lh
.version
< 2 || lh
.version
> 5)
2102 (_("DWARF error: unhandled .debug_line version %d"), lh
.version
);
2103 bfd_set_error (bfd_error_bad_value
);
2108 if (line_ptr
+ offset_size
+ (lh
.version
>= 5 ? 8 : (lh
.version
>= 4 ? 6 : 5))
2112 (_("DWARF error: ran out of room reading prologue"));
2113 bfd_set_error (bfd_error_bad_value
);
2117 if (lh
.version
>= 5)
2119 unsigned int segment_selector_size
;
2121 /* Skip address size. */
2122 read_1_byte (abfd
, line_ptr
, line_end
);
2125 segment_selector_size
= read_1_byte (abfd
, line_ptr
, line_end
);
2127 if (segment_selector_size
!= 0)
2130 (_("DWARF error: line info unsupported segment selector size %u"),
2131 segment_selector_size
);
2132 bfd_set_error (bfd_error_bad_value
);
2137 if (offset_size
== 4)
2138 lh
.prologue_length
= read_4_bytes (abfd
, line_ptr
, line_end
);
2140 lh
.prologue_length
= read_8_bytes (abfd
, line_ptr
, line_end
);
2141 line_ptr
+= offset_size
;
2143 lh
.minimum_instruction_length
= read_1_byte (abfd
, line_ptr
, line_end
);
2146 if (lh
.version
>= 4)
2148 lh
.maximum_ops_per_insn
= read_1_byte (abfd
, line_ptr
, line_end
);
2152 lh
.maximum_ops_per_insn
= 1;
2154 if (lh
.maximum_ops_per_insn
== 0)
2157 (_("DWARF error: invalid maximum operations per instruction"));
2158 bfd_set_error (bfd_error_bad_value
);
2162 lh
.default_is_stmt
= read_1_byte (abfd
, line_ptr
, line_end
);
2165 lh
.line_base
= read_1_signed_byte (abfd
, line_ptr
, line_end
);
2168 lh
.line_range
= read_1_byte (abfd
, line_ptr
, line_end
);
2171 lh
.opcode_base
= read_1_byte (abfd
, line_ptr
, line_end
);
2174 if (line_ptr
+ (lh
.opcode_base
- 1) >= line_end
)
2176 _bfd_error_handler (_("DWARF error: ran out of room reading opcodes"));
2177 bfd_set_error (bfd_error_bad_value
);
2181 amt
= lh
.opcode_base
* sizeof (unsigned char);
2182 lh
.standard_opcode_lengths
= (unsigned char *) bfd_alloc (abfd
, amt
);
2184 lh
.standard_opcode_lengths
[0] = 1;
2186 for (i
= 1; i
< lh
.opcode_base
; ++i
)
2188 lh
.standard_opcode_lengths
[i
] = read_1_byte (abfd
, line_ptr
, line_end
);
2192 if (lh
.version
>= 5)
2194 /* Read directory table. */
2195 if (!read_formatted_entries (unit
, &line_ptr
, line_end
, table
,
2196 line_info_add_include_dir_stub
))
2199 /* Read file name table. */
2200 if (!read_formatted_entries (unit
, &line_ptr
, line_end
, table
,
2201 line_info_add_file_name
))
2206 /* Read directory table. */
2207 while ((cur_dir
= read_string (abfd
, line_ptr
, line_end
, &bytes_read
)) != NULL
)
2209 line_ptr
+= bytes_read
;
2211 if (!line_info_add_include_dir (table
, cur_dir
))
2215 line_ptr
+= bytes_read
;
2217 /* Read file name table. */
2218 while ((cur_file
= read_string (abfd
, line_ptr
, line_end
, &bytes_read
)) != NULL
)
2220 unsigned int dir
, xtime
, size
;
2222 line_ptr
+= bytes_read
;
2224 dir
= _bfd_safe_read_leb128 (abfd
, line_ptr
, &bytes_read
, FALSE
, line_end
);
2225 line_ptr
+= bytes_read
;
2226 xtime
= _bfd_safe_read_leb128 (abfd
, line_ptr
, &bytes_read
, FALSE
, line_end
);
2227 line_ptr
+= bytes_read
;
2228 size
= _bfd_safe_read_leb128 (abfd
, line_ptr
, &bytes_read
, FALSE
, line_end
);
2229 line_ptr
+= bytes_read
;
2231 if (!line_info_add_file_name (table
, cur_file
, dir
, xtime
, size
))
2235 line_ptr
+= bytes_read
;
2238 /* Read the statement sequences until there's nothing left. */
2239 while (line_ptr
< line_end
)
2241 /* State machine registers. */
2242 bfd_vma address
= 0;
2243 unsigned char op_index
= 0;
2244 char * filename
= table
->num_files
? concat_filename (table
, 1) : NULL
;
2245 unsigned int line
= 1;
2246 unsigned int column
= 0;
2247 unsigned int discriminator
= 0;
2248 int is_stmt
= lh
.default_is_stmt
;
2249 int end_sequence
= 0;
2250 unsigned int dir
, xtime
, size
;
2251 /* eraxxon@alumni.rice.edu: Against the DWARF2 specs, some
2252 compilers generate address sequences that are wildly out of
2253 order using DW_LNE_set_address (e.g. Intel C++ 6.0 compiler
2254 for ia64-Linux). Thus, to determine the low and high
2255 address, we must compare on every DW_LNS_copy, etc. */
2256 bfd_vma low_pc
= (bfd_vma
) -1;
2257 bfd_vma high_pc
= 0;
2259 /* Decode the table. */
2260 while (!end_sequence
&& line_ptr
< line_end
)
2262 op_code
= read_1_byte (abfd
, line_ptr
, line_end
);
2265 if (op_code
>= lh
.opcode_base
)
2267 /* Special operand. */
2268 adj_opcode
= op_code
- lh
.opcode_base
;
2269 if (lh
.line_range
== 0)
2271 if (lh
.maximum_ops_per_insn
== 1)
2272 address
+= (adj_opcode
/ lh
.line_range
2273 * lh
.minimum_instruction_length
);
2276 address
+= ((op_index
+ adj_opcode
/ lh
.line_range
)
2277 / lh
.maximum_ops_per_insn
2278 * lh
.minimum_instruction_length
);
2279 op_index
= ((op_index
+ adj_opcode
/ lh
.line_range
)
2280 % lh
.maximum_ops_per_insn
);
2282 line
+= lh
.line_base
+ (adj_opcode
% lh
.line_range
);
2283 /* Append row to matrix using current values. */
2284 if (!add_line_info (table
, address
, op_index
, filename
,
2285 line
, column
, discriminator
, 0))
2288 if (address
< low_pc
)
2290 if (address
> high_pc
)
2293 else switch (op_code
)
2295 case DW_LNS_extended_op
:
2296 exop_len
= _bfd_safe_read_leb128 (abfd
, line_ptr
, &bytes_read
,
2298 line_ptr
+= bytes_read
;
2299 extended_op
= read_1_byte (abfd
, line_ptr
, line_end
);
2302 switch (extended_op
)
2304 case DW_LNE_end_sequence
:
2306 if (!add_line_info (table
, address
, op_index
, filename
, line
,
2307 column
, discriminator
, end_sequence
))
2310 if (address
< low_pc
)
2312 if (address
> high_pc
)
2314 if (!arange_add (unit
, &unit
->arange
, low_pc
, high_pc
))
2317 case DW_LNE_set_address
:
2318 address
= read_address (unit
, line_ptr
, line_end
);
2320 line_ptr
+= unit
->addr_size
;
2322 case DW_LNE_define_file
:
2323 cur_file
= read_string (abfd
, line_ptr
, line_end
, &bytes_read
);
2324 line_ptr
+= bytes_read
;
2325 dir
= _bfd_safe_read_leb128 (abfd
, line_ptr
, &bytes_read
,
2327 line_ptr
+= bytes_read
;
2328 xtime
= _bfd_safe_read_leb128 (abfd
, line_ptr
, &bytes_read
,
2330 line_ptr
+= bytes_read
;
2331 size
= _bfd_safe_read_leb128 (abfd
, line_ptr
, &bytes_read
,
2333 line_ptr
+= bytes_read
;
2334 if (!line_info_add_file_name (table
, cur_file
, dir
,
2338 case DW_LNE_set_discriminator
:
2340 _bfd_safe_read_leb128 (abfd
, line_ptr
, &bytes_read
,
2342 line_ptr
+= bytes_read
;
2344 case DW_LNE_HP_source_file_correlation
:
2345 line_ptr
+= exop_len
- 1;
2349 (_("DWARF error: mangled line number section"));
2350 bfd_set_error (bfd_error_bad_value
);
2352 if (filename
!= NULL
)
2358 if (!add_line_info (table
, address
, op_index
,
2359 filename
, line
, column
, discriminator
, 0))
2362 if (address
< low_pc
)
2364 if (address
> high_pc
)
2367 case DW_LNS_advance_pc
:
2368 if (lh
.maximum_ops_per_insn
== 1)
2369 address
+= (lh
.minimum_instruction_length
2370 * _bfd_safe_read_leb128 (abfd
, line_ptr
,
2375 bfd_vma adjust
= _bfd_safe_read_leb128 (abfd
, line_ptr
,
2378 address
= ((op_index
+ adjust
) / lh
.maximum_ops_per_insn
2379 * lh
.minimum_instruction_length
);
2380 op_index
= (op_index
+ adjust
) % lh
.maximum_ops_per_insn
;
2382 line_ptr
+= bytes_read
;
2384 case DW_LNS_advance_line
:
2385 line
+= _bfd_safe_read_leb128 (abfd
, line_ptr
, &bytes_read
,
2387 line_ptr
+= bytes_read
;
2389 case DW_LNS_set_file
:
2393 /* The file and directory tables are 0
2394 based, the references are 1 based. */
2395 file
= _bfd_safe_read_leb128 (abfd
, line_ptr
, &bytes_read
,
2397 line_ptr
+= bytes_read
;
2400 filename
= concat_filename (table
, file
);
2403 case DW_LNS_set_column
:
2404 column
= _bfd_safe_read_leb128 (abfd
, line_ptr
, &bytes_read
,
2406 line_ptr
+= bytes_read
;
2408 case DW_LNS_negate_stmt
:
2409 is_stmt
= (!is_stmt
);
2411 case DW_LNS_set_basic_block
:
2413 case DW_LNS_const_add_pc
:
2414 if (lh
.line_range
== 0)
2416 if (lh
.maximum_ops_per_insn
== 1)
2417 address
+= (lh
.minimum_instruction_length
2418 * ((255 - lh
.opcode_base
) / lh
.line_range
));
2421 bfd_vma adjust
= ((255 - lh
.opcode_base
) / lh
.line_range
);
2422 address
+= (lh
.minimum_instruction_length
2423 * ((op_index
+ adjust
)
2424 / lh
.maximum_ops_per_insn
));
2425 op_index
= (op_index
+ adjust
) % lh
.maximum_ops_per_insn
;
2428 case DW_LNS_fixed_advance_pc
:
2429 address
+= read_2_bytes (abfd
, line_ptr
, line_end
);
2434 /* Unknown standard opcode, ignore it. */
2435 for (i
= 0; i
< lh
.standard_opcode_lengths
[op_code
]; i
++)
2437 (void) _bfd_safe_read_leb128 (abfd
, line_ptr
, &bytes_read
,
2439 line_ptr
+= bytes_read
;
2449 if (sort_line_sequences (table
))
2453 while (table
->sequences
!= NULL
)
2455 struct line_sequence
* seq
= table
->sequences
;
2456 table
->sequences
= table
->sequences
->prev_sequence
;
2459 if (table
->files
!= NULL
)
2460 free (table
->files
);
2461 if (table
->dirs
!= NULL
)
2466 /* If ADDR is within TABLE set the output parameters and return the
2467 range of addresses covered by the entry used to fill them out.
2468 Otherwise set * FILENAME_PTR to NULL and return 0.
2469 The parameters FILENAME_PTR, LINENUMBER_PTR and DISCRIMINATOR_PTR
2470 are pointers to the objects to be filled in. */
2473 lookup_address_in_line_info_table (struct line_info_table
*table
,
2475 const char **filename_ptr
,
2476 unsigned int *linenumber_ptr
,
2477 unsigned int *discriminator_ptr
)
2479 struct line_sequence
*seq
= NULL
;
2480 struct line_info
*info
;
2483 /* Binary search the array of sequences. */
2485 high
= table
->num_sequences
;
2488 mid
= (low
+ high
) / 2;
2489 seq
= &table
->sequences
[mid
];
2490 if (addr
< seq
->low_pc
)
2492 else if (addr
>= seq
->last_line
->address
)
2498 /* Check for a valid sequence. */
2499 if (!seq
|| addr
< seq
->low_pc
|| addr
>= seq
->last_line
->address
)
2502 if (!build_line_info_table (table
, seq
))
2505 /* Binary search the array of line information. */
2507 high
= seq
->num_lines
;
2511 mid
= (low
+ high
) / 2;
2512 info
= seq
->line_info_lookup
[mid
];
2513 if (addr
< info
->address
)
2515 else if (addr
>= seq
->line_info_lookup
[mid
+ 1]->address
)
2521 /* Check for a valid line information entry. */
2523 && addr
>= info
->address
2524 && addr
< seq
->line_info_lookup
[mid
+ 1]->address
2525 && !(info
->end_sequence
|| info
== seq
->last_line
))
2527 *filename_ptr
= info
->filename
;
2528 *linenumber_ptr
= info
->line
;
2529 if (discriminator_ptr
)
2530 *discriminator_ptr
= info
->discriminator
;
2531 return seq
->last_line
->address
- seq
->low_pc
;
2535 *filename_ptr
= NULL
;
2539 /* Read in the .debug_ranges section for future reference. */
2542 read_debug_ranges (struct comp_unit
* unit
)
2544 struct dwarf2_debug
* stash
= unit
->stash
;
2546 return read_section (unit
->abfd
, &stash
->debug_sections
[debug_ranges
],
2548 &stash
->dwarf_ranges_buffer
,
2549 &stash
->dwarf_ranges_size
);
2552 /* Function table functions. */
2555 compare_lookup_funcinfos (const void * a
, const void * b
)
2557 const struct lookup_funcinfo
* lookup1
= a
;
2558 const struct lookup_funcinfo
* lookup2
= b
;
2560 if (lookup1
->low_addr
< lookup2
->low_addr
)
2562 if (lookup1
->low_addr
> lookup2
->low_addr
)
2564 if (lookup1
->high_addr
< lookup2
->high_addr
)
2566 if (lookup1
->high_addr
> lookup2
->high_addr
)
2573 build_lookup_funcinfo_table (struct comp_unit
* unit
)
2575 struct lookup_funcinfo
*lookup_funcinfo_table
= unit
->lookup_funcinfo_table
;
2576 unsigned int number_of_functions
= unit
->number_of_functions
;
2577 struct funcinfo
*each
;
2578 struct lookup_funcinfo
*entry
;
2580 struct arange
*range
;
2581 bfd_vma low_addr
, high_addr
;
2583 if (lookup_funcinfo_table
|| number_of_functions
== 0)
2586 /* Create the function info lookup table. */
2587 lookup_funcinfo_table
= (struct lookup_funcinfo
*)
2588 bfd_malloc (number_of_functions
* sizeof (struct lookup_funcinfo
));
2589 if (lookup_funcinfo_table
== NULL
)
2592 /* Populate the function info lookup table. */
2593 func_index
= number_of_functions
;
2594 for (each
= unit
->function_table
; each
; each
= each
->prev_func
)
2596 entry
= &lookup_funcinfo_table
[--func_index
];
2597 entry
->funcinfo
= each
;
2599 /* Calculate the lowest and highest address for this function entry. */
2600 low_addr
= entry
->funcinfo
->arange
.low
;
2601 high_addr
= entry
->funcinfo
->arange
.high
;
2603 for (range
= entry
->funcinfo
->arange
.next
; range
; range
= range
->next
)
2605 if (range
->low
< low_addr
)
2606 low_addr
= range
->low
;
2607 if (range
->high
> high_addr
)
2608 high_addr
= range
->high
;
2611 entry
->low_addr
= low_addr
;
2612 entry
->high_addr
= high_addr
;
2615 BFD_ASSERT (func_index
== 0);
2617 /* Sort the function by address. */
2618 qsort (lookup_funcinfo_table
,
2619 number_of_functions
,
2620 sizeof (struct lookup_funcinfo
),
2621 compare_lookup_funcinfos
);
2623 /* Calculate the high watermark for each function in the lookup table. */
2624 high_addr
= lookup_funcinfo_table
[0].high_addr
;
2625 for (func_index
= 1; func_index
< number_of_functions
; func_index
++)
2627 entry
= &lookup_funcinfo_table
[func_index
];
2628 if (entry
->high_addr
> high_addr
)
2629 high_addr
= entry
->high_addr
;
2631 entry
->high_addr
= high_addr
;
2634 unit
->lookup_funcinfo_table
= lookup_funcinfo_table
;
2638 /* If ADDR is within UNIT's function tables, set FUNCTION_PTR, and return
2639 TRUE. Note that we need to find the function that has the smallest range
2640 that contains ADDR, to handle inlined functions without depending upon
2641 them being ordered in TABLE by increasing range. */
2644 lookup_address_in_function_table (struct comp_unit
*unit
,
2646 struct funcinfo
**function_ptr
)
2648 unsigned int number_of_functions
= unit
->number_of_functions
;
2649 struct lookup_funcinfo
* lookup_funcinfo
= NULL
;
2650 struct funcinfo
* funcinfo
= NULL
;
2651 struct funcinfo
* best_fit
= NULL
;
2652 bfd_vma best_fit_len
= 0;
2653 bfd_size_type low
, high
, mid
, first
;
2654 struct arange
*arange
;
2656 if (number_of_functions
== 0)
2659 if (!build_lookup_funcinfo_table (unit
))
2662 if (unit
->lookup_funcinfo_table
[number_of_functions
- 1].high_addr
< addr
)
2665 /* Find the first function in the lookup table which may contain the
2666 specified address. */
2668 high
= number_of_functions
;
2672 mid
= (low
+ high
) / 2;
2673 lookup_funcinfo
= &unit
->lookup_funcinfo_table
[mid
];
2674 if (addr
< lookup_funcinfo
->low_addr
)
2676 else if (addr
>= lookup_funcinfo
->high_addr
)
2682 /* Find the 'best' match for the address. The prior algorithm defined the
2683 best match as the function with the smallest address range containing
2684 the specified address. This definition should probably be changed to the
2685 innermost inline routine containing the address, but right now we want
2686 to get the same results we did before. */
2687 while (first
< number_of_functions
)
2689 if (addr
< unit
->lookup_funcinfo_table
[first
].low_addr
)
2691 funcinfo
= unit
->lookup_funcinfo_table
[first
].funcinfo
;
2693 for (arange
= &funcinfo
->arange
; arange
; arange
= arange
->next
)
2695 if (addr
< arange
->low
|| addr
>= arange
->high
)
2699 || arange
->high
- arange
->low
< best_fit_len
2700 /* The following comparison is designed to return the same
2701 match as the previous algorithm for routines which have the
2702 same best fit length. */
2703 || (arange
->high
- arange
->low
== best_fit_len
2704 && funcinfo
> best_fit
))
2706 best_fit
= funcinfo
;
2707 best_fit_len
= arange
->high
- arange
->low
;
2717 *function_ptr
= best_fit
;
2721 /* If SYM at ADDR is within function table of UNIT, set FILENAME_PTR
2722 and LINENUMBER_PTR, and return TRUE. */
2725 lookup_symbol_in_function_table (struct comp_unit
*unit
,
2728 const char **filename_ptr
,
2729 unsigned int *linenumber_ptr
)
2731 struct funcinfo
* each_func
;
2732 struct funcinfo
* best_fit
= NULL
;
2733 bfd_vma best_fit_len
= 0;
2734 struct arange
*arange
;
2735 const char *name
= bfd_asymbol_name (sym
);
2736 asection
*sec
= bfd_get_section (sym
);
2738 for (each_func
= unit
->function_table
;
2740 each_func
= each_func
->prev_func
)
2742 for (arange
= &each_func
->arange
;
2744 arange
= arange
->next
)
2746 if ((!each_func
->sec
|| each_func
->sec
== sec
)
2747 && addr
>= arange
->low
2748 && addr
< arange
->high
2750 && strcmp (name
, each_func
->name
) == 0
2752 || arange
->high
- arange
->low
< best_fit_len
))
2754 best_fit
= each_func
;
2755 best_fit_len
= arange
->high
- arange
->low
;
2762 best_fit
->sec
= sec
;
2763 *filename_ptr
= best_fit
->file
;
2764 *linenumber_ptr
= best_fit
->line
;
2771 /* Variable table functions. */
2773 /* If SYM is within variable table of UNIT, set FILENAME_PTR and
2774 LINENUMBER_PTR, and return TRUE. */
2777 lookup_symbol_in_variable_table (struct comp_unit
*unit
,
2780 const char **filename_ptr
,
2781 unsigned int *linenumber_ptr
)
2783 const char *name
= bfd_asymbol_name (sym
);
2784 asection
*sec
= bfd_get_section (sym
);
2785 struct varinfo
* each
;
2787 for (each
= unit
->variable_table
; each
; each
= each
->prev_var
)
2788 if (each
->stack
== 0
2789 && each
->file
!= NULL
2790 && each
->name
!= NULL
2791 && each
->addr
== addr
2792 && (!each
->sec
|| each
->sec
== sec
)
2793 && strcmp (name
, each
->name
) == 0)
2799 *filename_ptr
= each
->file
;
2800 *linenumber_ptr
= each
->line
;
2808 find_abstract_instance (struct comp_unit
* unit
,
2809 bfd_byte
* orig_info_ptr
,
2810 struct attribute
* attr_ptr
,
2811 const char ** pname
,
2812 bfd_boolean
* is_linkage
,
2813 char ** filename_ptr
,
2814 int * linenumber_ptr
)
2816 bfd
*abfd
= unit
->abfd
;
2818 bfd_byte
*info_ptr_end
;
2819 unsigned int abbrev_number
, bytes_read
, i
;
2820 struct abbrev_info
*abbrev
;
2821 bfd_uint64_t die_ref
= attr_ptr
->u
.val
;
2822 struct attribute attr
;
2823 const char *name
= NULL
;
2825 /* DW_FORM_ref_addr can reference an entry in a different CU. It
2826 is an offset from the .debug_info section, not the current CU. */
2827 if (attr_ptr
->form
== DW_FORM_ref_addr
)
2829 /* We only support DW_FORM_ref_addr within the same file, so
2830 any relocations should be resolved already. Check this by
2831 testing for a zero die_ref; There can't be a valid reference
2832 to the header of a .debug_info section.
2833 DW_FORM_ref_addr is an offset relative to .debug_info.
2834 Normally when using the GNU linker this is accomplished by
2835 emitting a symbolic reference to a label, because .debug_info
2836 sections are linked at zero. When there are multiple section
2837 groups containing .debug_info, as there might be in a
2838 relocatable object file, it would be reasonable to assume that
2839 a symbolic reference to a label in any .debug_info section
2840 might be used. Since we lay out multiple .debug_info
2841 sections at non-zero VMAs (see place_sections), and read
2842 them contiguously into stash->info_ptr_memory, that means
2843 the reference is relative to stash->info_ptr_memory. */
2846 info_ptr
= unit
->stash
->info_ptr_memory
;
2847 info_ptr_end
= unit
->stash
->info_ptr_end
;
2848 total
= info_ptr_end
- info_ptr
;
2851 else if (die_ref
>= total
)
2854 (_("DWARF error: invalid abstract instance DIE ref"));
2855 bfd_set_error (bfd_error_bad_value
);
2858 info_ptr
+= die_ref
;
2860 /* Now find the CU containing this pointer. */
2861 if (info_ptr
>= unit
->info_ptr_unit
&& info_ptr
< unit
->end_ptr
)
2862 info_ptr_end
= unit
->end_ptr
;
2865 /* Check other CUs to see if they contain the abbrev. */
2866 struct comp_unit
* u
;
2868 for (u
= unit
->prev_unit
; u
!= NULL
; u
= u
->prev_unit
)
2869 if (info_ptr
>= u
->info_ptr_unit
&& info_ptr
< u
->end_ptr
)
2873 for (u
= unit
->next_unit
; u
!= NULL
; u
= u
->next_unit
)
2874 if (info_ptr
>= u
->info_ptr_unit
&& info_ptr
< u
->end_ptr
)
2880 info_ptr_end
= unit
->end_ptr
;
2882 /* else FIXME: What do we do now ? */
2885 else if (attr_ptr
->form
== DW_FORM_GNU_ref_alt
)
2887 info_ptr
= read_alt_indirect_ref (unit
, die_ref
);
2888 if (info_ptr
== NULL
)
2891 (_("DWARF error: unable to read alt ref %" PRIu64
),
2892 (uint64_t) die_ref
);
2893 bfd_set_error (bfd_error_bad_value
);
2896 info_ptr_end
= (unit
->stash
->alt_dwarf_info_buffer
2897 + unit
->stash
->alt_dwarf_info_size
);
2899 /* FIXME: Do we need to locate the correct CU, in a similar
2900 fashion to the code in the DW_FORM_ref_addr case above ? */
2904 /* DW_FORM_ref1, DW_FORM_ref2, DW_FORM_ref4, DW_FORM_ref8 or
2905 DW_FORM_ref_udata. These are all references relative to the
2906 start of the current CU. */
2909 info_ptr
= unit
->info_ptr_unit
;
2910 info_ptr_end
= unit
->end_ptr
;
2911 total
= info_ptr_end
- info_ptr
;
2912 if (!die_ref
|| die_ref
>= total
)
2915 (_("DWARF error: invalid abstract instance DIE ref"));
2916 bfd_set_error (bfd_error_bad_value
);
2919 info_ptr
+= die_ref
;
2922 abbrev_number
= _bfd_safe_read_leb128 (abfd
, info_ptr
, &bytes_read
,
2923 FALSE
, info_ptr_end
);
2924 info_ptr
+= bytes_read
;
2928 abbrev
= lookup_abbrev (abbrev_number
, unit
->abbrevs
);
2932 (_("DWARF error: could not find abbrev number %u"), abbrev_number
);
2933 bfd_set_error (bfd_error_bad_value
);
2938 for (i
= 0; i
< abbrev
->num_attrs
; ++i
)
2940 info_ptr
= read_attribute (&attr
, &abbrev
->attrs
[i
], unit
,
2941 info_ptr
, info_ptr_end
);
2942 if (info_ptr
== NULL
)
2944 /* It doesn't ever make sense for DW_AT_specification to
2945 refer to the same DIE. Stop simple recursion. */
2946 if (info_ptr
== orig_info_ptr
)
2949 (_("DWARF error: abstract instance recursion detected"));
2950 bfd_set_error (bfd_error_bad_value
);
2956 /* Prefer DW_AT_MIPS_linkage_name or DW_AT_linkage_name
2958 if (name
== NULL
&& is_str_attr (attr
.form
))
2961 if (non_mangled (unit
->lang
))
2965 case DW_AT_specification
:
2966 if (!find_abstract_instance (unit
, info_ptr
, &attr
,
2968 filename_ptr
, linenumber_ptr
))
2971 case DW_AT_linkage_name
:
2972 case DW_AT_MIPS_linkage_name
:
2973 /* PR 16949: Corrupt debug info can place
2974 non-string forms into these attributes. */
2975 if (is_str_attr (attr
.form
))
2981 case DW_AT_decl_file
:
2982 *filename_ptr
= concat_filename (unit
->line_table
,
2985 case DW_AT_decl_line
:
2986 *linenumber_ptr
= attr
.u
.val
;
2999 read_rangelist (struct comp_unit
*unit
, struct arange
*arange
,
3000 bfd_uint64_t offset
)
3002 bfd_byte
*ranges_ptr
;
3003 bfd_byte
*ranges_end
;
3004 bfd_vma base_address
= unit
->base_address
;
3006 if (! unit
->stash
->dwarf_ranges_buffer
)
3008 if (! read_debug_ranges (unit
))
3012 ranges_ptr
= unit
->stash
->dwarf_ranges_buffer
+ offset
;
3013 if (ranges_ptr
< unit
->stash
->dwarf_ranges_buffer
)
3015 ranges_end
= unit
->stash
->dwarf_ranges_buffer
+ unit
->stash
->dwarf_ranges_size
;
3022 /* PR 17512: file: 62cada7d. */
3023 if (ranges_ptr
+ 2 * unit
->addr_size
> ranges_end
)
3026 low_pc
= read_address (unit
, ranges_ptr
, ranges_end
);
3027 ranges_ptr
+= unit
->addr_size
;
3028 high_pc
= read_address (unit
, ranges_ptr
, ranges_end
);
3029 ranges_ptr
+= unit
->addr_size
;
3031 if (low_pc
== 0 && high_pc
== 0)
3033 if (low_pc
== -1UL && high_pc
!= -1UL)
3034 base_address
= high_pc
;
3037 if (!arange_add (unit
, arange
,
3038 base_address
+ low_pc
, base_address
+ high_pc
))
3045 /* DWARF2 Compilation unit functions. */
3047 /* Scan over each die in a comp. unit looking for functions to add
3048 to the function table and variables to the variable table. */
3051 scan_unit_for_symbols (struct comp_unit
*unit
)
3053 bfd
*abfd
= unit
->abfd
;
3054 bfd_byte
*info_ptr
= unit
->first_child_die_ptr
;
3055 bfd_byte
*info_ptr_end
= unit
->stash
->info_ptr_end
;
3056 int nesting_level
= 0;
3057 struct nest_funcinfo
{
3058 struct funcinfo
*func
;
3060 int nested_funcs_size
;
3062 /* Maintain a stack of in-scope functions and inlined functions, which we
3063 can use to set the caller_func field. */
3064 nested_funcs_size
= 32;
3065 nested_funcs
= (struct nest_funcinfo
*)
3066 bfd_malloc (nested_funcs_size
* sizeof (*nested_funcs
));
3067 if (nested_funcs
== NULL
)
3069 nested_funcs
[nesting_level
].func
= 0;
3071 while (nesting_level
>= 0)
3073 unsigned int abbrev_number
, bytes_read
, i
;
3074 struct abbrev_info
*abbrev
;
3075 struct attribute attr
;
3076 struct funcinfo
*func
;
3077 struct varinfo
*var
;
3079 bfd_vma high_pc
= 0;
3080 bfd_boolean high_pc_relative
= FALSE
;
3082 /* PR 17512: file: 9f405d9d. */
3083 if (info_ptr
>= info_ptr_end
)
3086 abbrev_number
= _bfd_safe_read_leb128 (abfd
, info_ptr
, &bytes_read
,
3087 FALSE
, info_ptr_end
);
3088 info_ptr
+= bytes_read
;
3090 if (! abbrev_number
)
3096 abbrev
= lookup_abbrev (abbrev_number
, unit
->abbrevs
);
3099 static unsigned int previous_failed_abbrev
= -1U;
3101 /* Avoid multiple reports of the same missing abbrev. */
3102 if (abbrev_number
!= previous_failed_abbrev
)
3105 (_("DWARF error: could not find abbrev number %u"),
3107 previous_failed_abbrev
= abbrev_number
;
3109 bfd_set_error (bfd_error_bad_value
);
3114 if (abbrev
->tag
== DW_TAG_subprogram
3115 || abbrev
->tag
== DW_TAG_entry_point
3116 || abbrev
->tag
== DW_TAG_inlined_subroutine
)
3118 bfd_size_type amt
= sizeof (struct funcinfo
);
3119 func
= (struct funcinfo
*) bfd_zalloc (abfd
, amt
);
3122 func
->tag
= abbrev
->tag
;
3123 func
->prev_func
= unit
->function_table
;
3124 unit
->function_table
= func
;
3125 unit
->number_of_functions
++;
3126 BFD_ASSERT (!unit
->cached
);
3128 if (func
->tag
== DW_TAG_inlined_subroutine
)
3129 for (i
= nesting_level
; i
-- != 0; )
3130 if (nested_funcs
[i
].func
)
3132 func
->caller_func
= nested_funcs
[i
].func
;
3135 nested_funcs
[nesting_level
].func
= func
;
3140 if (abbrev
->tag
== DW_TAG_variable
)
3142 bfd_size_type amt
= sizeof (struct varinfo
);
3143 var
= (struct varinfo
*) bfd_zalloc (abfd
, amt
);
3146 var
->tag
= abbrev
->tag
;
3148 var
->prev_var
= unit
->variable_table
;
3149 unit
->variable_table
= var
;
3150 /* PR 18205: Missing debug information can cause this
3151 var to be attached to an already cached unit. */
3154 /* No inline function in scope at this nesting level. */
3155 nested_funcs
[nesting_level
].func
= 0;
3158 for (i
= 0; i
< abbrev
->num_attrs
; ++i
)
3160 info_ptr
= read_attribute (&attr
, &abbrev
->attrs
[i
],
3161 unit
, info_ptr
, info_ptr_end
);
3162 if (info_ptr
== NULL
)
3169 case DW_AT_call_file
:
3170 func
->caller_file
= concat_filename (unit
->line_table
,
3174 case DW_AT_call_line
:
3175 func
->caller_line
= attr
.u
.val
;
3178 case DW_AT_abstract_origin
:
3179 case DW_AT_specification
:
3180 if (!find_abstract_instance (unit
, info_ptr
, &attr
,
3189 /* Prefer DW_AT_MIPS_linkage_name or DW_AT_linkage_name
3191 if (func
->name
== NULL
&& is_str_attr (attr
.form
))
3193 func
->name
= attr
.u
.str
;
3194 if (non_mangled (unit
->lang
))
3195 func
->is_linkage
= TRUE
;
3199 case DW_AT_linkage_name
:
3200 case DW_AT_MIPS_linkage_name
:
3201 /* PR 16949: Corrupt debug info can place
3202 non-string forms into these attributes. */
3203 if (is_str_attr (attr
.form
))
3205 func
->name
= attr
.u
.str
;
3206 func
->is_linkage
= TRUE
;
3211 low_pc
= attr
.u
.val
;
3215 high_pc
= attr
.u
.val
;
3216 high_pc_relative
= attr
.form
!= DW_FORM_addr
;
3220 if (!read_rangelist (unit
, &func
->arange
, attr
.u
.val
))
3224 case DW_AT_decl_file
:
3225 func
->file
= concat_filename (unit
->line_table
,
3229 case DW_AT_decl_line
:
3230 func
->line
= attr
.u
.val
;
3242 if (is_str_attr (attr
.form
))
3243 var
->name
= attr
.u
.str
;
3246 case DW_AT_decl_file
:
3247 var
->file
= concat_filename (unit
->line_table
,
3251 case DW_AT_decl_line
:
3252 var
->line
= attr
.u
.val
;
3255 case DW_AT_external
:
3256 if (attr
.u
.val
!= 0)
3260 case DW_AT_location
:
3264 case DW_FORM_block1
:
3265 case DW_FORM_block2
:
3266 case DW_FORM_block4
:
3267 case DW_FORM_exprloc
:
3268 if (attr
.u
.blk
->data
!= NULL
3269 && *attr
.u
.blk
->data
== DW_OP_addr
)
3273 /* Verify that DW_OP_addr is the only opcode in the
3274 location, in which case the block size will be 1
3275 plus the address size. */
3276 /* ??? For TLS variables, gcc can emit
3277 DW_OP_addr <addr> DW_OP_GNU_push_tls_address
3278 which we don't handle here yet. */
3279 if (attr
.u
.blk
->size
== unit
->addr_size
+ 1U)
3280 var
->addr
= bfd_get (unit
->addr_size
* 8,
3282 attr
.u
.blk
->data
+ 1);
3297 if (high_pc_relative
)
3300 if (func
&& high_pc
!= 0)
3302 if (!arange_add (unit
, &func
->arange
, low_pc
, high_pc
))
3306 if (abbrev
->has_children
)
3310 if (nesting_level
>= nested_funcs_size
)
3312 struct nest_funcinfo
*tmp
;
3314 nested_funcs_size
*= 2;
3315 tmp
= (struct nest_funcinfo
*)
3316 bfd_realloc (nested_funcs
,
3317 nested_funcs_size
* sizeof (*nested_funcs
));
3322 nested_funcs
[nesting_level
].func
= 0;
3326 free (nested_funcs
);
3330 free (nested_funcs
);
3334 /* Parse a DWARF2 compilation unit starting at INFO_PTR. This
3335 includes the compilation unit header that proceeds the DIE's, but
3336 does not include the length field that precedes each compilation
3337 unit header. END_PTR points one past the end of this comp unit.
3338 OFFSET_SIZE is the size of DWARF2 offsets (either 4 or 8 bytes).
3340 This routine does not read the whole compilation unit; only enough
3341 to get to the line number information for the compilation unit. */
3343 static struct comp_unit
*
3344 parse_comp_unit (struct dwarf2_debug
*stash
,
3345 bfd_vma unit_length
,
3346 bfd_byte
*info_ptr_unit
,
3347 unsigned int offset_size
)
3349 struct comp_unit
* unit
;
3350 unsigned int version
;
3351 bfd_uint64_t abbrev_offset
= 0;
3352 /* Initialize it just to avoid a GCC false warning. */
3353 unsigned int addr_size
= -1;
3354 struct abbrev_info
** abbrevs
;
3355 unsigned int abbrev_number
, bytes_read
, i
;
3356 struct abbrev_info
*abbrev
;
3357 struct attribute attr
;
3358 bfd_byte
*info_ptr
= stash
->info_ptr
;
3359 bfd_byte
*end_ptr
= info_ptr
+ unit_length
;
3362 bfd_vma high_pc
= 0;
3363 bfd
*abfd
= stash
->bfd_ptr
;
3364 bfd_boolean high_pc_relative
= FALSE
;
3365 enum dwarf_unit_type unit_type
;
3367 version
= read_2_bytes (abfd
, info_ptr
, end_ptr
);
3369 if (version
< 2 || version
> 5)
3371 /* PR 19872: A version number of 0 probably means that there is padding
3372 at the end of the .debug_info section. Gold puts it there when
3373 performing an incremental link, for example. So do not generate
3374 an error, just return a NULL. */
3378 (_("DWARF error: found dwarf version '%u', this reader"
3379 " only handles version 2, 3, 4 and 5 information"), version
);
3380 bfd_set_error (bfd_error_bad_value
);
3386 unit_type
= DW_UT_compile
;
3389 unit_type
= read_1_byte (abfd
, info_ptr
, end_ptr
);
3392 addr_size
= read_1_byte (abfd
, info_ptr
, end_ptr
);
3396 BFD_ASSERT (offset_size
== 4 || offset_size
== 8);
3397 if (offset_size
== 4)
3398 abbrev_offset
= read_4_bytes (abfd
, info_ptr
, end_ptr
);
3400 abbrev_offset
= read_8_bytes (abfd
, info_ptr
, end_ptr
);
3401 info_ptr
+= offset_size
;
3405 addr_size
= read_1_byte (abfd
, info_ptr
, end_ptr
);
3409 if (unit_type
== DW_UT_type
)
3411 /* Skip type signature. */
3414 /* Skip type offset. */
3415 info_ptr
+= offset_size
;
3418 if (addr_size
> sizeof (bfd_vma
))
3421 /* xgettext: c-format */
3422 (_("DWARF error: found address size '%u', this reader"
3423 " can not handle sizes greater than '%u'"),
3425 (unsigned int) sizeof (bfd_vma
));
3426 bfd_set_error (bfd_error_bad_value
);
3430 if (addr_size
!= 2 && addr_size
!= 4 && addr_size
!= 8)
3433 ("DWARF error: found address size '%u', this reader"
3434 " can only handle address sizes '2', '4' and '8'", addr_size
);
3435 bfd_set_error (bfd_error_bad_value
);
3439 /* Read the abbrevs for this compilation unit into a table. */
3440 abbrevs
= read_abbrevs (abfd
, abbrev_offset
, stash
);
3444 abbrev_number
= _bfd_safe_read_leb128 (abfd
, info_ptr
, &bytes_read
,
3446 info_ptr
+= bytes_read
;
3447 if (! abbrev_number
)
3449 /* PR 19872: An abbrev number of 0 probably means that there is padding
3450 at the end of the .debug_abbrev section. Gold puts it there when
3451 performing an incremental link, for example. So do not generate
3452 an error, just return a NULL. */
3456 abbrev
= lookup_abbrev (abbrev_number
, abbrevs
);
3459 _bfd_error_handler (_("DWARF error: could not find abbrev number %u"),
3461 bfd_set_error (bfd_error_bad_value
);
3465 amt
= sizeof (struct comp_unit
);
3466 unit
= (struct comp_unit
*) bfd_zalloc (abfd
, amt
);
3470 unit
->version
= version
;
3471 unit
->addr_size
= addr_size
;
3472 unit
->offset_size
= offset_size
;
3473 unit
->abbrevs
= abbrevs
;
3474 unit
->end_ptr
= end_ptr
;
3475 unit
->stash
= stash
;
3476 unit
->info_ptr_unit
= info_ptr_unit
;
3478 for (i
= 0; i
< abbrev
->num_attrs
; ++i
)
3480 info_ptr
= read_attribute (&attr
, &abbrev
->attrs
[i
], unit
, info_ptr
, end_ptr
);
3481 if (info_ptr
== NULL
)
3484 /* Store the data if it is of an attribute we want to keep in a
3485 partial symbol table. */
3488 case DW_AT_stmt_list
:
3490 unit
->line_offset
= attr
.u
.val
;
3494 if (is_str_attr (attr
.form
))
3495 unit
->name
= attr
.u
.str
;
3499 low_pc
= attr
.u
.val
;
3500 /* If the compilation unit DIE has a DW_AT_low_pc attribute,
3501 this is the base address to use when reading location
3502 lists or range lists. */
3503 if (abbrev
->tag
== DW_TAG_compile_unit
)
3504 unit
->base_address
= low_pc
;
3508 high_pc
= attr
.u
.val
;
3509 high_pc_relative
= attr
.form
!= DW_FORM_addr
;
3513 if (!read_rangelist (unit
, &unit
->arange
, attr
.u
.val
))
3517 case DW_AT_comp_dir
:
3519 char *comp_dir
= attr
.u
.str
;
3521 /* PR 17512: file: 1fe726be. */
3522 if (! is_str_attr (attr
.form
))
3525 (_("DWARF error: DW_AT_comp_dir attribute encountered with a non-string form"));
3531 /* Irix 6.2 native cc prepends <machine>.: to the compilation
3532 directory, get rid of it. */
3533 char *cp
= strchr (comp_dir
, ':');
3535 if (cp
&& cp
!= comp_dir
&& cp
[-1] == '.' && cp
[1] == '/')
3538 unit
->comp_dir
= comp_dir
;
3542 case DW_AT_language
:
3543 unit
->lang
= attr
.u
.val
;
3550 if (high_pc_relative
)
3554 if (!arange_add (unit
, &unit
->arange
, low_pc
, high_pc
))
3558 unit
->first_child_die_ptr
= info_ptr
;
3562 /* Return TRUE if UNIT may contain the address given by ADDR. When
3563 there are functions written entirely with inline asm statements, the
3564 range info in the compilation unit header may not be correct. We
3565 need to consult the line info table to see if a compilation unit
3566 really contains the given address. */
3569 comp_unit_contains_address (struct comp_unit
*unit
, bfd_vma addr
)
3571 struct arange
*arange
;
3576 arange
= &unit
->arange
;
3579 if (addr
>= arange
->low
&& addr
< arange
->high
)
3581 arange
= arange
->next
;
3588 /* If UNIT contains ADDR, set the output parameters to the values for
3589 the line containing ADDR. The output parameters, FILENAME_PTR,
3590 FUNCTION_PTR, and LINENUMBER_PTR, are pointers to the objects
3593 Returns the range of addresses covered by the entry that was used
3594 to fill in *LINENUMBER_PTR or 0 if it was not filled in. */
3597 comp_unit_find_nearest_line (struct comp_unit
*unit
,
3599 const char **filename_ptr
,
3600 struct funcinfo
**function_ptr
,
3601 unsigned int *linenumber_ptr
,
3602 unsigned int *discriminator_ptr
,
3603 struct dwarf2_debug
*stash
)
3610 if (! unit
->line_table
)
3612 if (! unit
->stmtlist
)
3618 unit
->line_table
= decode_line_info (unit
, stash
);
3620 if (! unit
->line_table
)
3626 if (unit
->first_child_die_ptr
< unit
->end_ptr
3627 && ! scan_unit_for_symbols (unit
))
3634 *function_ptr
= NULL
;
3635 func_p
= lookup_address_in_function_table (unit
, addr
, function_ptr
);
3636 if (func_p
&& (*function_ptr
)->tag
== DW_TAG_inlined_subroutine
)
3637 stash
->inliner_chain
= *function_ptr
;
3639 return lookup_address_in_line_info_table (unit
->line_table
, addr
,
3645 /* Check to see if line info is already decoded in a comp_unit.
3646 If not, decode it. Returns TRUE if no errors were encountered;
3650 comp_unit_maybe_decode_line_info (struct comp_unit
*unit
,
3651 struct dwarf2_debug
*stash
)
3656 if (! unit
->line_table
)
3658 if (! unit
->stmtlist
)
3664 unit
->line_table
= decode_line_info (unit
, stash
);
3666 if (! unit
->line_table
)
3672 if (unit
->first_child_die_ptr
< unit
->end_ptr
3673 && ! scan_unit_for_symbols (unit
))
3683 /* If UNIT contains SYM at ADDR, set the output parameters to the
3684 values for the line containing SYM. The output parameters,
3685 FILENAME_PTR, and LINENUMBER_PTR, are pointers to the objects to be
3688 Return TRUE if UNIT contains SYM, and no errors were encountered;
3692 comp_unit_find_line (struct comp_unit
*unit
,
3695 const char **filename_ptr
,
3696 unsigned int *linenumber_ptr
,
3697 struct dwarf2_debug
*stash
)
3699 if (!comp_unit_maybe_decode_line_info (unit
, stash
))
3702 if (sym
->flags
& BSF_FUNCTION
)
3703 return lookup_symbol_in_function_table (unit
, sym
, addr
,
3707 return lookup_symbol_in_variable_table (unit
, sym
, addr
,
3712 static struct funcinfo
*
3713 reverse_funcinfo_list (struct funcinfo
*head
)
3715 struct funcinfo
*rhead
;
3716 struct funcinfo
*temp
;
3718 for (rhead
= NULL
; head
; head
= temp
)
3720 temp
= head
->prev_func
;
3721 head
->prev_func
= rhead
;
3727 static struct varinfo
*
3728 reverse_varinfo_list (struct varinfo
*head
)
3730 struct varinfo
*rhead
;
3731 struct varinfo
*temp
;
3733 for (rhead
= NULL
; head
; head
= temp
)
3735 temp
= head
->prev_var
;
3736 head
->prev_var
= rhead
;
3742 /* Extract all interesting funcinfos and varinfos of a compilation
3743 unit into hash tables for faster lookup. Returns TRUE if no
3744 errors were enountered; FALSE otherwise. */
3747 comp_unit_hash_info (struct dwarf2_debug
*stash
,
3748 struct comp_unit
*unit
,
3749 struct info_hash_table
*funcinfo_hash_table
,
3750 struct info_hash_table
*varinfo_hash_table
)
3752 struct funcinfo
* each_func
;
3753 struct varinfo
* each_var
;
3754 bfd_boolean okay
= TRUE
;
3756 BFD_ASSERT (stash
->info_hash_status
!= STASH_INFO_HASH_DISABLED
);
3758 if (!comp_unit_maybe_decode_line_info (unit
, stash
))
3761 BFD_ASSERT (!unit
->cached
);
3763 /* To preserve the original search order, we went to visit the function
3764 infos in the reversed order of the list. However, making the list
3765 bi-directional use quite a bit of extra memory. So we reverse
3766 the list first, traverse the list in the now reversed order and
3767 finally reverse the list again to get back the original order. */
3768 unit
->function_table
= reverse_funcinfo_list (unit
->function_table
);
3769 for (each_func
= unit
->function_table
;
3771 each_func
= each_func
->prev_func
)
3773 /* Skip nameless functions. */
3774 if (each_func
->name
)
3775 /* There is no need to copy name string into hash table as
3776 name string is either in the dwarf string buffer or
3777 info in the stash. */
3778 okay
= insert_info_hash_table (funcinfo_hash_table
, each_func
->name
,
3779 (void*) each_func
, FALSE
);
3781 unit
->function_table
= reverse_funcinfo_list (unit
->function_table
);
3785 /* We do the same for variable infos. */
3786 unit
->variable_table
= reverse_varinfo_list (unit
->variable_table
);
3787 for (each_var
= unit
->variable_table
;
3789 each_var
= each_var
->prev_var
)
3791 /* Skip stack vars and vars with no files or names. */
3792 if (each_var
->stack
== 0
3793 && each_var
->file
!= NULL
3794 && each_var
->name
!= NULL
)
3795 /* There is no need to copy name string into hash table as
3796 name string is either in the dwarf string buffer or
3797 info in the stash. */
3798 okay
= insert_info_hash_table (varinfo_hash_table
, each_var
->name
,
3799 (void*) each_var
, FALSE
);
3802 unit
->variable_table
= reverse_varinfo_list (unit
->variable_table
);
3803 unit
->cached
= TRUE
;
3807 /* Locate a section in a BFD containing debugging info. The search starts
3808 from the section after AFTER_SEC, or from the first section in the BFD if
3809 AFTER_SEC is NULL. The search works by examining the names of the
3810 sections. There are three permissiable names. The first two are given
3811 by DEBUG_SECTIONS[debug_info] (whose standard DWARF2 names are .debug_info
3812 and .zdebug_info). The third is a prefix .gnu.linkonce.wi.
3813 This is a variation on the .debug_info section which has a checksum
3814 describing the contents appended onto the name. This allows the linker to
3815 identify and discard duplicate debugging sections for different
3816 compilation units. */
3817 #define GNU_LINKONCE_INFO ".gnu.linkonce.wi."
3820 find_debug_info (bfd
*abfd
, const struct dwarf_debug_section
*debug_sections
,
3821 asection
*after_sec
)
3826 if (after_sec
== NULL
)
3828 look
= debug_sections
[debug_info
].uncompressed_name
;
3829 msec
= bfd_get_section_by_name (abfd
, look
);
3833 look
= debug_sections
[debug_info
].compressed_name
;
3836 msec
= bfd_get_section_by_name (abfd
, look
);
3841 for (msec
= abfd
->sections
; msec
!= NULL
; msec
= msec
->next
)
3842 if (CONST_STRNEQ (msec
->name
, GNU_LINKONCE_INFO
))
3848 for (msec
= after_sec
->next
; msec
!= NULL
; msec
= msec
->next
)
3850 look
= debug_sections
[debug_info
].uncompressed_name
;
3851 if (strcmp (msec
->name
, look
) == 0)
3854 look
= debug_sections
[debug_info
].compressed_name
;
3855 if (look
!= NULL
&& strcmp (msec
->name
, look
) == 0)
3858 if (CONST_STRNEQ (msec
->name
, GNU_LINKONCE_INFO
))
3865 /* Transfer VMAs from object file to separate debug file. */
3868 set_debug_vma (bfd
*orig_bfd
, bfd
*debug_bfd
)
3872 for (s
= orig_bfd
->sections
, d
= debug_bfd
->sections
;
3873 s
!= NULL
&& d
!= NULL
;
3874 s
= s
->next
, d
= d
->next
)
3876 if ((d
->flags
& SEC_DEBUGGING
) != 0)
3878 /* ??? Assumes 1-1 correspondence between sections in the
3880 if (strcmp (s
->name
, d
->name
) == 0)
3882 d
->output_section
= s
->output_section
;
3883 d
->output_offset
= s
->output_offset
;
3889 /* Unset vmas for adjusted sections in STASH. */
3892 unset_sections (struct dwarf2_debug
*stash
)
3895 struct adjusted_section
*p
;
3897 i
= stash
->adjusted_section_count
;
3898 p
= stash
->adjusted_sections
;
3899 for (; i
> 0; i
--, p
++)
3900 p
->section
->vma
= 0;
3903 /* Set VMAs for allocated and .debug_info sections in ORIG_BFD, a
3904 relocatable object file. VMAs are normally all zero in relocatable
3905 object files, so if we want to distinguish locations in sections by
3906 address we need to set VMAs so the sections do not overlap. We
3907 also set VMA on .debug_info so that when we have multiple
3908 .debug_info sections (or the linkonce variant) they also do not
3909 overlap. The multiple .debug_info sections make up a single
3910 logical section. ??? We should probably do the same for other
3914 place_sections (bfd
*orig_bfd
, struct dwarf2_debug
*stash
)
3917 struct adjusted_section
*p
;
3919 const char *debug_info_name
;
3921 if (stash
->adjusted_section_count
!= 0)
3923 i
= stash
->adjusted_section_count
;
3924 p
= stash
->adjusted_sections
;
3925 for (; i
> 0; i
--, p
++)
3926 p
->section
->vma
= p
->adj_vma
;
3930 debug_info_name
= stash
->debug_sections
[debug_info
].uncompressed_name
;
3937 for (sect
= abfd
->sections
; sect
!= NULL
; sect
= sect
->next
)
3941 if ((sect
->output_section
!= NULL
3942 && sect
->output_section
!= sect
3943 && (sect
->flags
& SEC_DEBUGGING
) == 0)
3947 is_debug_info
= (strcmp (sect
->name
, debug_info_name
) == 0
3948 || CONST_STRNEQ (sect
->name
, GNU_LINKONCE_INFO
));
3950 if (!((sect
->flags
& SEC_ALLOC
) != 0 && abfd
== orig_bfd
)
3956 if (abfd
== stash
->bfd_ptr
)
3958 abfd
= stash
->bfd_ptr
;
3962 stash
->adjusted_section_count
= -1;
3965 bfd_vma last_vma
= 0, last_dwarf
= 0;
3966 bfd_size_type amt
= i
* sizeof (struct adjusted_section
);
3968 p
= (struct adjusted_section
*) bfd_malloc (amt
);
3972 stash
->adjusted_sections
= p
;
3973 stash
->adjusted_section_count
= i
;
3980 for (sect
= abfd
->sections
; sect
!= NULL
; sect
= sect
->next
)
3985 if ((sect
->output_section
!= NULL
3986 && sect
->output_section
!= sect
3987 && (sect
->flags
& SEC_DEBUGGING
) == 0)
3991 is_debug_info
= (strcmp (sect
->name
, debug_info_name
) == 0
3992 || CONST_STRNEQ (sect
->name
, GNU_LINKONCE_INFO
));
3994 if (!((sect
->flags
& SEC_ALLOC
) != 0 && abfd
== orig_bfd
)
3998 sz
= sect
->rawsize
? sect
->rawsize
: sect
->size
;
4002 BFD_ASSERT (sect
->alignment_power
== 0);
4003 sect
->vma
= last_dwarf
;
4008 /* Align the new address to the current section
4010 last_vma
= ((last_vma
4011 + ~(-((bfd_vma
) 1 << sect
->alignment_power
)))
4012 & (-((bfd_vma
) 1 << sect
->alignment_power
)));
4013 sect
->vma
= last_vma
;
4018 p
->adj_vma
= sect
->vma
;
4021 if (abfd
== stash
->bfd_ptr
)
4023 abfd
= stash
->bfd_ptr
;
4027 if (orig_bfd
!= stash
->bfd_ptr
)
4028 set_debug_vma (orig_bfd
, stash
->bfd_ptr
);
4033 /* Look up a funcinfo by name using the given info hash table. If found,
4034 also update the locations pointed to by filename_ptr and linenumber_ptr.
4036 This function returns TRUE if a funcinfo that matches the given symbol
4037 and address is found with any error; otherwise it returns FALSE. */
4040 info_hash_lookup_funcinfo (struct info_hash_table
*hash_table
,
4043 const char **filename_ptr
,
4044 unsigned int *linenumber_ptr
)
4046 struct funcinfo
* each_func
;
4047 struct funcinfo
* best_fit
= NULL
;
4048 bfd_vma best_fit_len
= 0;
4049 struct info_list_node
*node
;
4050 struct arange
*arange
;
4051 const char *name
= bfd_asymbol_name (sym
);
4052 asection
*sec
= bfd_get_section (sym
);
4054 for (node
= lookup_info_hash_table (hash_table
, name
);
4058 each_func
= (struct funcinfo
*) node
->info
;
4059 for (arange
= &each_func
->arange
;
4061 arange
= arange
->next
)
4063 if ((!each_func
->sec
|| each_func
->sec
== sec
)
4064 && addr
>= arange
->low
4065 && addr
< arange
->high
4067 || arange
->high
- arange
->low
< best_fit_len
))
4069 best_fit
= each_func
;
4070 best_fit_len
= arange
->high
- arange
->low
;
4077 best_fit
->sec
= sec
;
4078 *filename_ptr
= best_fit
->file
;
4079 *linenumber_ptr
= best_fit
->line
;
4086 /* Look up a varinfo by name using the given info hash table. If found,
4087 also update the locations pointed to by filename_ptr and linenumber_ptr.
4089 This function returns TRUE if a varinfo that matches the given symbol
4090 and address is found with any error; otherwise it returns FALSE. */
4093 info_hash_lookup_varinfo (struct info_hash_table
*hash_table
,
4096 const char **filename_ptr
,
4097 unsigned int *linenumber_ptr
)
4099 const char *name
= bfd_asymbol_name (sym
);
4100 asection
*sec
= bfd_get_section (sym
);
4101 struct varinfo
* each
;
4102 struct info_list_node
*node
;
4104 for (node
= lookup_info_hash_table (hash_table
, name
);
4108 each
= (struct varinfo
*) node
->info
;
4109 if (each
->addr
== addr
4110 && (!each
->sec
|| each
->sec
== sec
))
4113 *filename_ptr
= each
->file
;
4114 *linenumber_ptr
= each
->line
;
4122 /* Update the funcinfo and varinfo info hash tables if they are
4123 not up to date. Returns TRUE if there is no error; otherwise
4124 returns FALSE and disable the info hash tables. */
4127 stash_maybe_update_info_hash_tables (struct dwarf2_debug
*stash
)
4129 struct comp_unit
*each
;
4131 /* Exit if hash tables are up-to-date. */
4132 if (stash
->all_comp_units
== stash
->hash_units_head
)
4135 if (stash
->hash_units_head
)
4136 each
= stash
->hash_units_head
->prev_unit
;
4138 each
= stash
->last_comp_unit
;
4142 if (!comp_unit_hash_info (stash
, each
, stash
->funcinfo_hash_table
,
4143 stash
->varinfo_hash_table
))
4145 stash
->info_hash_status
= STASH_INFO_HASH_DISABLED
;
4148 each
= each
->prev_unit
;
4151 stash
->hash_units_head
= stash
->all_comp_units
;
4155 /* Check consistency of info hash tables. This is for debugging only. */
4157 static void ATTRIBUTE_UNUSED
4158 stash_verify_info_hash_table (struct dwarf2_debug
*stash
)
4160 struct comp_unit
*each_unit
;
4161 struct funcinfo
*each_func
;
4162 struct varinfo
*each_var
;
4163 struct info_list_node
*node
;
4166 for (each_unit
= stash
->all_comp_units
;
4168 each_unit
= each_unit
->next_unit
)
4170 for (each_func
= each_unit
->function_table
;
4172 each_func
= each_func
->prev_func
)
4174 if (!each_func
->name
)
4176 node
= lookup_info_hash_table (stash
->funcinfo_hash_table
,
4180 while (node
&& !found
)
4182 found
= node
->info
== each_func
;
4188 for (each_var
= each_unit
->variable_table
;
4190 each_var
= each_var
->prev_var
)
4192 if (!each_var
->name
|| !each_var
->file
|| each_var
->stack
)
4194 node
= lookup_info_hash_table (stash
->varinfo_hash_table
,
4198 while (node
&& !found
)
4200 found
= node
->info
== each_var
;
4208 /* Check to see if we want to enable the info hash tables, which consume
4209 quite a bit of memory. Currently we only check the number times
4210 bfd_dwarf2_find_line is called. In the future, we may also want to
4211 take the number of symbols into account. */
4214 stash_maybe_enable_info_hash_tables (bfd
*abfd
, struct dwarf2_debug
*stash
)
4216 BFD_ASSERT (stash
->info_hash_status
== STASH_INFO_HASH_OFF
);
4218 if (stash
->info_hash_count
++ < STASH_INFO_HASH_TRIGGER
)
4221 /* FIXME: Maybe we should check the reduce_memory_overheads
4222 and optimize fields in the bfd_link_info structure ? */
4224 /* Create hash tables. */
4225 stash
->funcinfo_hash_table
= create_info_hash_table (abfd
);
4226 stash
->varinfo_hash_table
= create_info_hash_table (abfd
);
4227 if (!stash
->funcinfo_hash_table
|| !stash
->varinfo_hash_table
)
4229 /* Turn off info hashes if any allocation above fails. */
4230 stash
->info_hash_status
= STASH_INFO_HASH_DISABLED
;
4233 /* We need a forced update so that the info hash tables will
4234 be created even though there is no compilation unit. That
4235 happens if STASH_INFO_HASH_TRIGGER is 0. */
4236 stash_maybe_update_info_hash_tables (stash
);
4237 stash
->info_hash_status
= STASH_INFO_HASH_ON
;
4240 /* Find the file and line associated with a symbol and address using the
4241 info hash tables of a stash. If there is a match, the function returns
4242 TRUE and update the locations pointed to by filename_ptr and linenumber_ptr;
4243 otherwise it returns FALSE. */
4246 stash_find_line_fast (struct dwarf2_debug
*stash
,
4249 const char **filename_ptr
,
4250 unsigned int *linenumber_ptr
)
4252 BFD_ASSERT (stash
->info_hash_status
== STASH_INFO_HASH_ON
);
4254 if (sym
->flags
& BSF_FUNCTION
)
4255 return info_hash_lookup_funcinfo (stash
->funcinfo_hash_table
, sym
, addr
,
4256 filename_ptr
, linenumber_ptr
);
4257 return info_hash_lookup_varinfo (stash
->varinfo_hash_table
, sym
, addr
,
4258 filename_ptr
, linenumber_ptr
);
4261 /* Save current section VMAs. */
4264 save_section_vma (const bfd
*abfd
, struct dwarf2_debug
*stash
)
4269 if (abfd
->section_count
== 0)
4271 stash
->sec_vma
= bfd_malloc (sizeof (*stash
->sec_vma
) * abfd
->section_count
);
4272 if (stash
->sec_vma
== NULL
)
4274 stash
->sec_vma_count
= abfd
->section_count
;
4275 for (i
= 0, s
= abfd
->sections
; i
< abfd
->section_count
; i
++, s
= s
->next
)
4277 if (s
->output_section
!= NULL
)
4278 stash
->sec_vma
[i
] = s
->output_section
->vma
+ s
->output_offset
;
4280 stash
->sec_vma
[i
] = s
->vma
;
4285 /* Compare current section VMAs against those at the time the stash
4286 was created. If find_nearest_line is used in linker warnings or
4287 errors early in the link process, the debug info stash will be
4288 invalid for later calls. This is because we relocate debug info
4289 sections, so the stashed section contents depend on symbol values,
4290 which in turn depend on section VMAs. */
4293 section_vma_same (const bfd
*abfd
, const struct dwarf2_debug
*stash
)
4298 /* PR 24334: If the number of sections in ABFD has changed between
4299 when the stash was created and now, then we cannot trust the
4300 stashed vma information. */
4301 if (abfd
->section_count
!= stash
->sec_vma_count
)
4304 for (i
= 0, s
= abfd
->sections
; i
< abfd
->section_count
; i
++, s
= s
->next
)
4308 if (s
->output_section
!= NULL
)
4309 vma
= s
->output_section
->vma
+ s
->output_offset
;
4312 if (vma
!= stash
->sec_vma
[i
])
4318 /* Read debug information from DEBUG_BFD when DEBUG_BFD is specified.
4319 If DEBUG_BFD is not specified, we read debug information from ABFD
4320 or its gnu_debuglink. The results will be stored in PINFO.
4321 The function returns TRUE iff debug information is ready. */
4324 _bfd_dwarf2_slurp_debug_info (bfd
*abfd
, bfd
*debug_bfd
,
4325 const struct dwarf_debug_section
*debug_sections
,
4328 bfd_boolean do_place
)
4330 bfd_size_type amt
= sizeof (struct dwarf2_debug
);
4331 bfd_size_type total_size
;
4333 struct dwarf2_debug
*stash
= (struct dwarf2_debug
*) *pinfo
;
4337 if (stash
->orig_bfd
== abfd
4338 && section_vma_same (abfd
, stash
))
4340 /* Check that we did previously find some debug information
4341 before attempting to make use of it. */
4342 if (stash
->bfd_ptr
!= NULL
)
4344 if (do_place
&& !place_sections (abfd
, stash
))
4351 _bfd_dwarf2_cleanup_debug_info (abfd
, pinfo
);
4352 memset (stash
, 0, amt
);
4356 stash
= (struct dwarf2_debug
*) bfd_zalloc (abfd
, amt
);
4360 stash
->orig_bfd
= abfd
;
4361 stash
->debug_sections
= debug_sections
;
4362 stash
->syms
= symbols
;
4363 if (!save_section_vma (abfd
, stash
))
4368 if (debug_bfd
== NULL
)
4371 msec
= find_debug_info (debug_bfd
, debug_sections
, NULL
);
4372 if (msec
== NULL
&& abfd
== debug_bfd
)
4374 char * debug_filename
;
4376 debug_filename
= bfd_follow_build_id_debuglink (abfd
, DEBUGDIR
);
4377 if (debug_filename
== NULL
)
4378 debug_filename
= bfd_follow_gnu_debuglink (abfd
, DEBUGDIR
);
4380 if (debug_filename
== NULL
)
4381 /* No dwarf2 info, and no gnu_debuglink to follow.
4382 Note that at this point the stash has been allocated, but
4383 contains zeros. This lets future calls to this function
4384 fail more quickly. */
4387 /* Set BFD_DECOMPRESS to decompress debug sections. */
4388 if ((debug_bfd
= bfd_openr (debug_filename
, NULL
)) == NULL
4389 || !(debug_bfd
->flags
|= BFD_DECOMPRESS
,
4390 bfd_check_format (debug_bfd
, bfd_object
))
4391 || (msec
= find_debug_info (debug_bfd
,
4392 debug_sections
, NULL
)) == NULL
4393 || !bfd_generic_link_read_symbols (debug_bfd
))
4396 bfd_close (debug_bfd
);
4397 /* FIXME: Should we report our failure to follow the debuglink ? */
4398 free (debug_filename
);
4402 symbols
= bfd_get_outsymbols (debug_bfd
);
4403 stash
->syms
= symbols
;
4404 stash
->close_on_cleanup
= TRUE
;
4406 stash
->bfd_ptr
= debug_bfd
;
4409 && !place_sections (abfd
, stash
))
4412 /* There can be more than one DWARF2 info section in a BFD these
4413 days. First handle the easy case when there's only one. If
4414 there's more than one, try case two: none of the sections is
4415 compressed. In that case, read them all in and produce one
4416 large stash. We do this in two passes - in the first pass we
4417 just accumulate the section sizes, and in the second pass we
4418 read in the section's contents. (The allows us to avoid
4419 reallocing the data as we add sections to the stash.) If
4420 some or all sections are compressed, then do things the slow
4421 way, with a bunch of reallocs. */
4423 if (! find_debug_info (debug_bfd
, debug_sections
, msec
))
4425 /* Case 1: only one info section. */
4426 total_size
= msec
->size
;
4427 if (! read_section (debug_bfd
, &stash
->debug_sections
[debug_info
],
4429 &stash
->info_ptr_memory
, &total_size
))
4434 /* Case 2: multiple sections. */
4435 for (total_size
= 0;
4437 msec
= find_debug_info (debug_bfd
, debug_sections
, msec
))
4438 total_size
+= msec
->size
;
4440 stash
->info_ptr_memory
= (bfd_byte
*) bfd_malloc (total_size
);
4441 if (stash
->info_ptr_memory
== NULL
)
4445 for (msec
= find_debug_info (debug_bfd
, debug_sections
, NULL
);
4447 msec
= find_debug_info (debug_bfd
, debug_sections
, msec
))
4455 if (!(bfd_simple_get_relocated_section_contents
4456 (debug_bfd
, msec
, stash
->info_ptr_memory
+ total_size
,
4464 stash
->info_ptr
= stash
->info_ptr_memory
;
4465 stash
->info_ptr_end
= stash
->info_ptr
+ total_size
;
4466 stash
->sec
= find_debug_info (debug_bfd
, debug_sections
, NULL
);
4467 stash
->sec_info_ptr
= stash
->info_ptr
;
4471 /* Scan the debug information in PINFO looking for a DW_TAG_subprogram
4472 abbrev with a DW_AT_low_pc attached to it. Then lookup that same
4473 symbol in SYMBOLS and return the difference between the low_pc and
4474 the symbol's address. Returns 0 if no suitable symbol could be found. */
4477 _bfd_dwarf2_find_symbol_bias (asymbol
** symbols
, void ** pinfo
)
4479 struct dwarf2_debug
*stash
;
4480 struct comp_unit
* unit
;
4482 stash
= (struct dwarf2_debug
*) *pinfo
;
4484 if (stash
== NULL
|| symbols
== NULL
)
4487 for (unit
= stash
->all_comp_units
; unit
; unit
= unit
->next_unit
)
4489 struct funcinfo
* func
;
4491 if (unit
->function_table
== NULL
)
4493 if (unit
->line_table
== NULL
)
4494 unit
->line_table
= decode_line_info (unit
, stash
);
4495 if (unit
->line_table
!= NULL
)
4496 scan_unit_for_symbols (unit
);
4499 for (func
= unit
->function_table
; func
!= NULL
; func
= func
->prev_func
)
4500 if (func
->name
&& func
->arange
.low
)
4504 /* FIXME: Do we need to scan the aranges looking for the lowest pc value ? */
4506 for (psym
= symbols
; * psym
!= NULL
; psym
++)
4508 asymbol
* sym
= * psym
;
4510 if (sym
->flags
& BSF_FUNCTION
4511 && sym
->section
!= NULL
4512 && strcmp (sym
->name
, func
->name
) == 0)
4513 return ((bfd_signed_vma
) func
->arange
.low
) -
4514 ((bfd_signed_vma
) (sym
->value
+ sym
->section
->vma
));
4522 /* Find the source code location of SYMBOL. If SYMBOL is NULL
4523 then find the nearest source code location corresponding to
4524 the address SECTION + OFFSET.
4525 Returns TRUE if the line is found without error and fills in
4526 FILENAME_PTR and LINENUMBER_PTR. In the case where SYMBOL was
4527 NULL the FUNCTIONNAME_PTR is also filled in.
4528 SYMBOLS contains the symbol table for ABFD.
4529 DEBUG_SECTIONS contains the name of the dwarf debug sections.
4530 ADDR_SIZE is the number of bytes in the initial .debug_info length
4531 field and in the abbreviation offset, or zero to indicate that the
4532 default value should be used. */
4535 _bfd_dwarf2_find_nearest_line (bfd
*abfd
,
4540 const char **filename_ptr
,
4541 const char **functionname_ptr
,
4542 unsigned int *linenumber_ptr
,
4543 unsigned int *discriminator_ptr
,
4544 const struct dwarf_debug_section
*debug_sections
,
4545 unsigned int addr_size
,
4548 /* Read each compilation unit from the section .debug_info, and check
4549 to see if it contains the address we are searching for. If yes,
4550 lookup the address, and return the line number info. If no, go
4551 on to the next compilation unit.
4553 We keep a list of all the previously read compilation units, and
4554 a pointer to the next un-read compilation unit. Check the
4555 previously read units before reading more. */
4556 struct dwarf2_debug
*stash
;
4557 /* What address are we looking for? */
4559 struct comp_unit
* each
;
4560 struct funcinfo
*function
= NULL
;
4561 bfd_boolean found
= FALSE
;
4562 bfd_boolean do_line
;
4564 *filename_ptr
= NULL
;
4565 if (functionname_ptr
!= NULL
)
4566 *functionname_ptr
= NULL
;
4567 *linenumber_ptr
= 0;
4568 if (discriminator_ptr
)
4569 *discriminator_ptr
= 0;
4571 if (! _bfd_dwarf2_slurp_debug_info (abfd
, NULL
, debug_sections
,
4573 (abfd
->flags
& (EXEC_P
| DYNAMIC
)) == 0))
4576 stash
= (struct dwarf2_debug
*) *pinfo
;
4578 do_line
= symbol
!= NULL
;
4581 BFD_ASSERT (section
== NULL
&& offset
== 0 && functionname_ptr
== NULL
);
4582 section
= bfd_get_section (symbol
);
4583 addr
= symbol
->value
;
4587 BFD_ASSERT (section
!= NULL
&& functionname_ptr
!= NULL
);
4590 /* If we have no SYMBOL but the section we're looking at is not a
4591 code section, then take a look through the list of symbols to see
4592 if we have a symbol at the address we're looking for. If we do
4593 then use this to look up line information. This will allow us to
4594 give file and line results for data symbols. We exclude code
4595 symbols here, if we look up a function symbol and then look up the
4596 line information we'll actually return the line number for the
4597 opening '{' rather than the function definition line. This is
4598 because looking up by symbol uses the line table, in which the
4599 first line for a function is usually the opening '{', while
4600 looking up the function by section + offset uses the
4601 DW_AT_decl_line from the function DW_TAG_subprogram for the line,
4602 which will be the line of the function name. */
4603 if (symbols
!= NULL
&& (section
->flags
& SEC_CODE
) == 0)
4607 for (tmp
= symbols
; (*tmp
) != NULL
; ++tmp
)
4608 if ((*tmp
)->the_bfd
== abfd
4609 && (*tmp
)->section
== section
4610 && (*tmp
)->value
== offset
4611 && ((*tmp
)->flags
& BSF_SECTION_SYM
) == 0)
4615 /* For local symbols, keep going in the hope we find a
4617 if ((symbol
->flags
& BSF_GLOBAL
) != 0)
4623 if (section
->output_section
)
4624 addr
+= section
->output_section
->vma
+ section
->output_offset
;
4626 addr
+= section
->vma
;
4628 /* A null info_ptr indicates that there is no dwarf2 info
4629 (or that an error occured while setting up the stash). */
4630 if (! stash
->info_ptr
)
4633 stash
->inliner_chain
= NULL
;
4635 /* Check the previously read comp. units first. */
4638 /* The info hash tables use quite a bit of memory. We may not want to
4639 always use them. We use some heuristics to decide if and when to
4641 if (stash
->info_hash_status
== STASH_INFO_HASH_OFF
)
4642 stash_maybe_enable_info_hash_tables (abfd
, stash
);
4644 /* Keep info hash table up to date if they are available. Note that we
4645 may disable the hash tables if there is any error duing update. */
4646 if (stash
->info_hash_status
== STASH_INFO_HASH_ON
)
4647 stash_maybe_update_info_hash_tables (stash
);
4649 if (stash
->info_hash_status
== STASH_INFO_HASH_ON
)
4651 found
= stash_find_line_fast (stash
, symbol
, addr
, filename_ptr
,
4658 /* Check the previously read comp. units first. */
4659 for (each
= stash
->all_comp_units
; each
; each
= each
->next_unit
)
4660 if ((symbol
->flags
& BSF_FUNCTION
) == 0
4661 || each
->arange
.high
== 0
4662 || comp_unit_contains_address (each
, addr
))
4664 found
= comp_unit_find_line (each
, symbol
, addr
, filename_ptr
,
4665 linenumber_ptr
, stash
);
4673 bfd_vma min_range
= (bfd_vma
) -1;
4674 const char * local_filename
= NULL
;
4675 struct funcinfo
*local_function
= NULL
;
4676 unsigned int local_linenumber
= 0;
4677 unsigned int local_discriminator
= 0;
4679 for (each
= stash
->all_comp_units
; each
; each
= each
->next_unit
)
4681 bfd_vma range
= (bfd_vma
) -1;
4683 found
= ((each
->arange
.high
== 0
4684 || comp_unit_contains_address (each
, addr
))
4685 && (range
= comp_unit_find_nearest_line (each
, addr
,
4689 & local_discriminator
,
4693 /* PRs 15935 15994: Bogus debug information may have provided us
4694 with an erroneous match. We attempt to counter this by
4695 selecting the match that has the smallest address range
4696 associated with it. (We are assuming that corrupt debug info
4697 will tend to result in extra large address ranges rather than
4698 extra small ranges).
4700 This does mean that we scan through all of the CUs associated
4701 with the bfd each time this function is called. But this does
4702 have the benefit of producing consistent results every time the
4703 function is called. */
4704 if (range
<= min_range
)
4706 if (filename_ptr
&& local_filename
)
4707 * filename_ptr
= local_filename
;
4709 function
= local_function
;
4710 if (discriminator_ptr
&& local_discriminator
)
4711 * discriminator_ptr
= local_discriminator
;
4712 if (local_linenumber
)
4713 * linenumber_ptr
= local_linenumber
;
4719 if (* linenumber_ptr
)
4726 /* The DWARF2 spec says that the initial length field, and the
4727 offset of the abbreviation table, should both be 4-byte values.
4728 However, some compilers do things differently. */
4731 BFD_ASSERT (addr_size
== 4 || addr_size
== 8);
4733 /* Read each remaining comp. units checking each as they are read. */
4734 while (stash
->info_ptr
< stash
->info_ptr_end
)
4737 unsigned int offset_size
= addr_size
;
4738 bfd_byte
*info_ptr_unit
= stash
->info_ptr
;
4740 length
= read_4_bytes (stash
->bfd_ptr
, stash
->info_ptr
, stash
->info_ptr_end
);
4741 /* A 0xffffff length is the DWARF3 way of indicating
4742 we use 64-bit offsets, instead of 32-bit offsets. */
4743 if (length
== 0xffffffff)
4746 length
= read_8_bytes (stash
->bfd_ptr
, stash
->info_ptr
+ 4, stash
->info_ptr_end
);
4747 stash
->info_ptr
+= 12;
4749 /* A zero length is the IRIX way of indicating 64-bit offsets,
4750 mostly because the 64-bit length will generally fit in 32
4751 bits, and the endianness helps. */
4752 else if (length
== 0)
4755 length
= read_4_bytes (stash
->bfd_ptr
, stash
->info_ptr
+ 4, stash
->info_ptr_end
);
4756 stash
->info_ptr
+= 8;
4758 /* In the absence of the hints above, we assume 32-bit DWARF2
4759 offsets even for targets with 64-bit addresses, because:
4760 a) most of the time these targets will not have generated
4761 more than 2Gb of debug info and so will not need 64-bit
4764 b) if they do use 64-bit offsets but they are not using
4765 the size hints that are tested for above then they are
4766 not conforming to the DWARF3 standard anyway. */
4767 else if (addr_size
== 8)
4770 stash
->info_ptr
+= 4;
4773 stash
->info_ptr
+= 4;
4780 if (stash
->info_ptr
+ length
> stash
->info_ptr_end
)
4783 each
= parse_comp_unit (stash
, length
, info_ptr_unit
,
4786 /* The dwarf information is damaged, don't trust it any
4790 new_ptr
= stash
->info_ptr
+ length
;
4791 /* PR 17512: file: 1500698c. */
4792 if (new_ptr
< stash
->info_ptr
)
4794 /* A corrupt length value - do not trust the info any more. */
4799 stash
->info_ptr
= new_ptr
;
4801 if (stash
->all_comp_units
)
4802 stash
->all_comp_units
->prev_unit
= each
;
4804 stash
->last_comp_unit
= each
;
4806 each
->next_unit
= stash
->all_comp_units
;
4807 stash
->all_comp_units
= each
;
4809 /* DW_AT_low_pc and DW_AT_high_pc are optional for
4810 compilation units. If we don't have them (i.e.,
4811 unit->high == 0), we need to consult the line info table
4812 to see if a compilation unit contains the given
4815 found
= (((symbol
->flags
& BSF_FUNCTION
) == 0
4816 || each
->arange
.high
== 0
4817 || comp_unit_contains_address (each
, addr
))
4818 && comp_unit_find_line (each
, symbol
, addr
,
4823 found
= ((each
->arange
.high
== 0
4824 || comp_unit_contains_address (each
, addr
))
4825 && comp_unit_find_nearest_line (each
, addr
,
4832 if ((bfd_vma
) (stash
->info_ptr
- stash
->sec_info_ptr
)
4833 == stash
->sec
->size
)
4835 stash
->sec
= find_debug_info (stash
->bfd_ptr
, debug_sections
,
4837 stash
->sec_info_ptr
= stash
->info_ptr
;
4848 if (!function
->is_linkage
)
4853 fun
= _bfd_elf_find_function (abfd
, symbols
, section
, offset
,
4854 *filename_ptr
? NULL
: filename_ptr
,
4856 sec_vma
= section
->vma
;
4857 if (section
->output_section
!= NULL
)
4858 sec_vma
= section
->output_section
->vma
+ section
->output_offset
;
4860 && fun
->value
+ sec_vma
== function
->arange
.low
)
4861 function
->name
= *functionname_ptr
;
4862 /* Even if we didn't find a linkage name, say that we have
4863 to stop a repeated search of symbols. */
4864 function
->is_linkage
= TRUE
;
4866 *functionname_ptr
= function
->name
;
4868 if ((abfd
->flags
& (EXEC_P
| DYNAMIC
)) == 0)
4869 unset_sections (stash
);
4875 _bfd_dwarf2_find_inliner_info (bfd
*abfd ATTRIBUTE_UNUSED
,
4876 const char **filename_ptr
,
4877 const char **functionname_ptr
,
4878 unsigned int *linenumber_ptr
,
4881 struct dwarf2_debug
*stash
;
4883 stash
= (struct dwarf2_debug
*) *pinfo
;
4886 struct funcinfo
*func
= stash
->inliner_chain
;
4888 if (func
&& func
->caller_func
)
4890 *filename_ptr
= func
->caller_file
;
4891 *functionname_ptr
= func
->caller_func
->name
;
4892 *linenumber_ptr
= func
->caller_line
;
4893 stash
->inliner_chain
= func
->caller_func
;
4902 _bfd_dwarf2_cleanup_debug_info (bfd
*abfd
, void **pinfo
)
4904 struct dwarf2_debug
*stash
= (struct dwarf2_debug
*) *pinfo
;
4905 struct comp_unit
*each
;
4907 if (abfd
== NULL
|| stash
== NULL
)
4910 for (each
= stash
->all_comp_units
; each
; each
= each
->next_unit
)
4912 struct abbrev_info
**abbrevs
= each
->abbrevs
;
4913 struct funcinfo
*function_table
= each
->function_table
;
4914 struct varinfo
*variable_table
= each
->variable_table
;
4917 for (i
= 0; i
< ABBREV_HASH_SIZE
; i
++)
4919 struct abbrev_info
*abbrev
= abbrevs
[i
];
4923 free (abbrev
->attrs
);
4924 abbrev
= abbrev
->next
;
4928 if (each
->line_table
)
4930 free (each
->line_table
->dirs
);
4931 free (each
->line_table
->files
);
4934 while (function_table
)
4936 if (function_table
->file
)
4938 free (function_table
->file
);
4939 function_table
->file
= NULL
;
4942 if (function_table
->caller_file
)
4944 free (function_table
->caller_file
);
4945 function_table
->caller_file
= NULL
;
4947 function_table
= function_table
->prev_func
;
4950 if (each
->lookup_funcinfo_table
)
4952 free (each
->lookup_funcinfo_table
);
4953 each
->lookup_funcinfo_table
= NULL
;
4956 while (variable_table
)
4958 if (variable_table
->file
)
4960 free (variable_table
->file
);
4961 variable_table
->file
= NULL
;
4964 variable_table
= variable_table
->prev_var
;
4968 if (stash
->funcinfo_hash_table
)
4969 bfd_hash_table_free (&stash
->funcinfo_hash_table
->base
);
4970 if (stash
->varinfo_hash_table
)
4971 bfd_hash_table_free (&stash
->varinfo_hash_table
->base
);
4972 if (stash
->dwarf_abbrev_buffer
)
4973 free (stash
->dwarf_abbrev_buffer
);
4974 if (stash
->dwarf_line_buffer
)
4975 free (stash
->dwarf_line_buffer
);
4976 if (stash
->dwarf_str_buffer
)
4977 free (stash
->dwarf_str_buffer
);
4978 if (stash
->dwarf_line_str_buffer
)
4979 free (stash
->dwarf_line_str_buffer
);
4980 if (stash
->dwarf_ranges_buffer
)
4981 free (stash
->dwarf_ranges_buffer
);
4982 if (stash
->info_ptr_memory
)
4983 free (stash
->info_ptr_memory
);
4984 if (stash
->close_on_cleanup
)
4985 bfd_close (stash
->bfd_ptr
);
4986 if (stash
->alt_dwarf_str_buffer
)
4987 free (stash
->alt_dwarf_str_buffer
);
4988 if (stash
->alt_dwarf_info_buffer
)
4989 free (stash
->alt_dwarf_info_buffer
);
4991 free (stash
->sec_vma
);
4992 if (stash
->adjusted_sections
)
4993 free (stash
->adjusted_sections
);
4994 if (stash
->alt_bfd_ptr
)
4995 bfd_close (stash
->alt_bfd_ptr
);
4998 /* Find the function to a particular section and offset,
4999 for error reporting. */
5002 _bfd_elf_find_function (bfd
*abfd
,
5006 const char **filename_ptr
,
5007 const char **functionname_ptr
)
5009 struct elf_find_function_cache
5011 asection
*last_section
;
5013 const char *filename
;
5014 bfd_size_type func_size
;
5017 if (symbols
== NULL
)
5020 if (bfd_get_flavour (abfd
) != bfd_target_elf_flavour
)
5023 cache
= elf_tdata (abfd
)->elf_find_function_cache
;
5026 cache
= bfd_zalloc (abfd
, sizeof (*cache
));
5027 elf_tdata (abfd
)->elf_find_function_cache
= cache
;
5031 if (cache
->last_section
!= section
5032 || cache
->func
== NULL
5033 || offset
< cache
->func
->value
5034 || offset
>= cache
->func
->value
+ cache
->func_size
)
5039 /* ??? Given multiple file symbols, it is impossible to reliably
5040 choose the right file name for global symbols. File symbols are
5041 local symbols, and thus all file symbols must sort before any
5042 global symbols. The ELF spec may be interpreted to say that a
5043 file symbol must sort before other local symbols, but currently
5044 ld -r doesn't do this. So, for ld -r output, it is possible to
5045 make a better choice of file name for local symbols by ignoring
5046 file symbols appearing after a given local symbol. */
5047 enum { nothing_seen
, symbol_seen
, file_after_symbol_seen
} state
;
5048 const struct elf_backend_data
*bed
= get_elf_backend_data (abfd
);
5052 state
= nothing_seen
;
5053 cache
->filename
= NULL
;
5055 cache
->func_size
= 0;
5056 cache
->last_section
= section
;
5058 for (p
= symbols
; *p
!= NULL
; p
++)
5064 if ((sym
->flags
& BSF_FILE
) != 0)
5067 if (state
== symbol_seen
)
5068 state
= file_after_symbol_seen
;
5072 size
= bed
->maybe_function_sym (sym
, section
, &code_off
);
5074 && code_off
<= offset
5075 && (code_off
> low_func
5076 || (code_off
== low_func
5077 && size
> cache
->func_size
)))
5080 cache
->func_size
= size
;
5081 cache
->filename
= NULL
;
5082 low_func
= code_off
;
5084 && ((sym
->flags
& BSF_LOCAL
) != 0
5085 || state
!= file_after_symbol_seen
))
5086 cache
->filename
= bfd_asymbol_name (file
);
5088 if (state
== nothing_seen
)
5089 state
= symbol_seen
;
5093 if (cache
->func
== NULL
)
5097 *filename_ptr
= cache
->filename
;
5098 if (functionname_ptr
)
5099 *functionname_ptr
= bfd_asymbol_name (cache
->func
);