2 Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
3 2004, 2005, 2006, 2007, 2008 Free Software Foundation, Inc.
5 Adapted from gdb/dwarf2read.c by Gavin Koch of Cygnus Solutions
8 From the dwarf2read.c header:
9 Adapted by Gary Funck (gary@intrepid.com), Intrepid Technology,
10 Inc. with support from Florida State University (under contract
11 with the Ada Joint Program Office), and Silicon Graphics, Inc.
12 Initial contribution by Brent Benson, Harris Computer Systems, Inc.,
13 based on Fred Fish's (Cygnus Support) implementation of DWARF 1
14 support in dwarfread.c
16 This file is part of BFD.
18 This program is free software; you can redistribute it and/or modify
19 it under the terms of the GNU General Public License as published by
20 the Free Software Foundation; either version 3 of the License, or (at
21 your option) any later version.
23 This program is distributed in the hope that it will be useful, but
24 WITHOUT ANY WARRANTY; without even the implied warranty of
25 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
26 General Public License for more details.
28 You should have received a copy of the GNU General Public License
29 along with this program; if not, write to the Free Software
30 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
31 MA 02110-1301, USA. */
35 #include "libiberty.h"
38 #include "elf/dwarf2.h"
40 /* The data in the .debug_line statement prologue looks like this. */
45 unsigned short version;
46 bfd_vma prologue_length;
47 unsigned char minimum_instruction_length;
48 unsigned char default_is_stmt;
50 unsigned char line_range;
51 unsigned char opcode_base;
52 unsigned char *standard_opcode_lengths;
55 /* Attributes have a name and a value. */
59 enum dwarf_attribute name;
64 struct dwarf_block *blk;
71 /* Blocks are a bunch of untyped bytes. */
78 struct adjusted_section
86 /* A list of all previously read comp_units. */
87 struct comp_unit *all_comp_units;
89 /* Last comp unit in list above. */
90 struct comp_unit *last_comp_unit;
92 /* The next unread compilation unit within the .debug_info section.
93 Zero indicates that the .debug_info section has not been loaded
97 /* Pointer to the end of the .debug_info section memory buffer. */
98 bfd_byte *info_ptr_end;
100 /* Pointer to the bfd, section and address of the beginning of the
101 section. The bfd might be different than expected because of
102 gnu_debuglink sections. */
105 bfd_byte *sec_info_ptr;
107 /* A pointer to the memory block allocated for info_ptr. Neither
108 info_ptr nor sec_info_ptr are guaranteed to stay pointing to the
109 beginning of the malloc block. This is used only to free the
111 bfd_byte *info_ptr_memory;
113 /* Pointer to the symbol table. */
116 /* Pointer to the .debug_abbrev section loaded into memory. */
117 bfd_byte *dwarf_abbrev_buffer;
119 /* Length of the loaded .debug_abbrev section. */
120 bfd_size_type dwarf_abbrev_size;
122 /* Buffer for decode_line_info. */
123 bfd_byte *dwarf_line_buffer;
125 /* Length of the loaded .debug_line section. */
126 bfd_size_type dwarf_line_size;
128 /* Pointer to the .debug_str section loaded into memory. */
129 bfd_byte *dwarf_str_buffer;
131 /* Length of the loaded .debug_str section. */
132 bfd_size_type dwarf_str_size;
134 /* Pointer to the .debug_ranges section loaded into memory. */
135 bfd_byte *dwarf_ranges_buffer;
137 /* Length of the loaded .debug_ranges section. */
138 bfd_size_type dwarf_ranges_size;
140 /* If the most recent call to bfd_find_nearest_line was given an
141 address in an inlined function, preserve a pointer into the
142 calling chain for subsequent calls to bfd_find_inliner_info to
144 struct funcinfo *inliner_chain;
146 /* Number of sections whose VMA we must adjust. */
147 unsigned int adjusted_section_count;
149 /* Array of sections with adjusted VMA. */
150 struct adjusted_section *adjusted_sections;
152 /* Number of times find_line is called. This is used in
153 the heuristic for enabling the info hash tables. */
156 #define STASH_INFO_HASH_TRIGGER 100
158 /* Hash table mapping symbol names to function infos. */
159 struct info_hash_table *funcinfo_hash_table;
161 /* Hash table mapping symbol names to variable infos. */
162 struct info_hash_table *varinfo_hash_table;
164 /* Head of comp_unit list in the last hash table update. */
165 struct comp_unit *hash_units_head;
167 /* Status of info hash. */
168 int info_hash_status;
169 #define STASH_INFO_HASH_OFF 0
170 #define STASH_INFO_HASH_ON 1
171 #define STASH_INFO_HASH_DISABLED 2
181 /* A minimal decoding of DWARF2 compilation units. We only decode
182 what's needed to get to the line number information. */
186 /* Chain the previously read compilation units. */
187 struct comp_unit *next_unit;
189 /* Likewise, chain the compilation unit read after this one.
190 The comp units are stored in reversed reading order. */
191 struct comp_unit *prev_unit;
193 /* Keep the bfd convenient (for memory allocation). */
196 /* The lowest and highest addresses contained in this compilation
197 unit as specified in the compilation unit header. */
198 struct arange arange;
200 /* The DW_AT_name attribute (for error messages). */
203 /* The abbrev hash table. */
204 struct abbrev_info **abbrevs;
206 /* Note that an error was found by comp_unit_find_nearest_line. */
209 /* The DW_AT_comp_dir attribute. */
212 /* TRUE if there is a line number table associated with this comp. unit. */
215 /* Pointer to the current comp_unit so that we can find a given entry
217 bfd_byte *info_ptr_unit;
219 /* The offset into .debug_line of the line number table. */
220 unsigned long line_offset;
222 /* Pointer to the first child die for the comp unit. */
223 bfd_byte *first_child_die_ptr;
225 /* The end of the comp unit. */
228 /* The decoded line number, NULL if not yet decoded. */
229 struct line_info_table *line_table;
231 /* A list of the functions found in this comp. unit. */
232 struct funcinfo *function_table;
234 /* A list of the variables found in this comp. unit. */
235 struct varinfo *variable_table;
237 /* Pointer to dwarf2_debug structure. */
238 struct dwarf2_debug *stash;
240 /* DWARF format version for this unit - from unit header. */
243 /* Address size for this unit - from unit header. */
244 unsigned char addr_size;
246 /* Offset size for this unit - from unit header. */
247 unsigned char offset_size;
249 /* Base address for this unit - from DW_AT_low_pc attribute of
250 DW_TAG_compile_unit DIE */
251 bfd_vma base_address;
253 /* TRUE if symbols are cached in hash table for faster lookup by name. */
257 /* This data structure holds the information of an abbrev. */
260 unsigned int number; /* Number identifying abbrev. */
261 enum dwarf_tag tag; /* DWARF tag. */
262 int has_children; /* Boolean. */
263 unsigned int num_attrs; /* Number of attributes. */
264 struct attr_abbrev *attrs; /* An array of attribute descriptions. */
265 struct abbrev_info *next; /* Next in chain. */
270 enum dwarf_attribute name;
271 enum dwarf_form form;
274 #ifndef ABBREV_HASH_SIZE
275 #define ABBREV_HASH_SIZE 121
277 #ifndef ATTR_ALLOC_CHUNK
278 #define ATTR_ALLOC_CHUNK 4
281 /* Variable and function hash tables. This is used to speed up look-up
282 in lookup_symbol_in_var_table() and lookup_symbol_in_function_table().
283 In order to share code between variable and function infos, we use
284 a list of untyped pointer for all variable/function info associated with
285 a symbol. We waste a bit of memory for list with one node but that
286 simplifies the code. */
288 struct info_list_node
290 struct info_list_node *next;
294 /* Info hash entry. */
295 struct info_hash_entry
297 struct bfd_hash_entry root;
298 struct info_list_node *head;
301 struct info_hash_table
303 struct bfd_hash_table base;
306 /* Function to create a new entry in info hash table. */
308 static struct bfd_hash_entry *
309 info_hash_table_newfunc (struct bfd_hash_entry *entry,
310 struct bfd_hash_table *table,
313 struct info_hash_entry *ret = (struct info_hash_entry *) entry;
315 /* Allocate the structure if it has not already been allocated by a
319 ret = bfd_hash_allocate (table, sizeof (* ret));
324 /* Call the allocation method of the base class. */
325 ret = ((struct info_hash_entry *)
326 bfd_hash_newfunc ((struct bfd_hash_entry *) ret, table, string));
328 /* Initialize the local fields here. */
332 return (struct bfd_hash_entry *) ret;
335 /* Function to create a new info hash table. It returns a pointer to the
336 newly created table or NULL if there is any error. We need abfd
337 solely for memory allocation. */
339 static struct info_hash_table *
340 create_info_hash_table (bfd *abfd)
342 struct info_hash_table *hash_table;
344 hash_table = bfd_alloc (abfd, sizeof (struct info_hash_table));
348 if (!bfd_hash_table_init (&hash_table->base, info_hash_table_newfunc,
349 sizeof (struct info_hash_entry)))
351 bfd_release (abfd, hash_table);
358 /* Insert an info entry into an info hash table. We do not check of
359 duplicate entries. Also, the caller need to guarantee that the
360 right type of info in inserted as info is passed as a void* pointer.
361 This function returns true if there is no error. */
364 insert_info_hash_table (struct info_hash_table *hash_table,
369 struct info_hash_entry *entry;
370 struct info_list_node *node;
372 entry = (struct info_hash_entry*) bfd_hash_lookup (&hash_table->base,
377 node = bfd_hash_allocate (&hash_table->base, sizeof (*node));
382 node->next = entry->head;
388 /* Look up an info entry list from an info hash table. Return NULL
391 static struct info_list_node *
392 lookup_info_hash_table (struct info_hash_table *hash_table, const char *key)
394 struct info_hash_entry *entry;
396 entry = (struct info_hash_entry*) bfd_hash_lookup (&hash_table->base, key,
398 return entry ? entry->head : NULL;
401 /* Read a section into its appropriate place in the dwarf2_debug
402 struct (indicated by SECTION_BUFFER and SECTION_SIZE). If SYMS is
403 not NULL, use bfd_simple_get_relocated_section_contents to read the
404 section contents, otherwise use bfd_get_section_contents. Fail if
405 the located section does not contain at least OFFSET bytes. */
408 read_section (bfd * abfd,
409 const char * section_name,
410 const char * compressed_section_name,
413 bfd_byte ** section_buffer,
414 bfd_size_type * section_size)
417 bfd_boolean section_is_compressed = FALSE;
419 /* read_section is a noop if the section has already been read. */
423 msec = bfd_get_section_by_name (abfd, section_name);
424 if (! msec && compressed_section_name)
426 msec = bfd_get_section_by_name (abfd, compressed_section_name);
427 section_is_compressed = TRUE;
431 (*_bfd_error_handler) (_("Dwarf Error: Can't find %s section."), section_name);
432 bfd_set_error (bfd_error_bad_value);
438 *section_size = msec->size;
440 = bfd_simple_get_relocated_section_contents (abfd, msec, NULL, syms);
441 if (! *section_buffer)
446 *section_size = msec->rawsize ? msec->rawsize : msec->size;
447 *section_buffer = bfd_malloc (*section_size);
448 if (! *section_buffer)
450 if (! bfd_get_section_contents (abfd, msec, *section_buffer,
455 if (section_is_compressed)
457 if (! bfd_uncompress_section_contents (section_buffer, section_size))
459 (*_bfd_error_handler) (_("Dwarf Error: unable to decompress %s section."), compressed_section_name);
460 bfd_set_error (bfd_error_bad_value);
465 /* It is possible to get a bad value for the offset into the section
466 that the client wants. Validate it here to avoid trouble later. */
467 if (offset != 0 && offset >= *section_size)
469 (*_bfd_error_handler) (_("Dwarf Error: Offset (%lu) greater than or equal to %s size (%lu)."),
470 (long) offset, section_name, *section_size);
471 bfd_set_error (bfd_error_bad_value);
479 The following function up to the END VERBATIM mark are
480 copied directly from dwarf2read.c. */
482 /* Read dwarf information from a buffer. */
485 read_1_byte (bfd *abfd ATTRIBUTE_UNUSED, bfd_byte *buf)
487 return bfd_get_8 (abfd, buf);
491 read_1_signed_byte (bfd *abfd ATTRIBUTE_UNUSED, bfd_byte *buf)
493 return bfd_get_signed_8 (abfd, buf);
497 read_2_bytes (bfd *abfd, bfd_byte *buf)
499 return bfd_get_16 (abfd, buf);
503 read_4_bytes (bfd *abfd, bfd_byte *buf)
505 return bfd_get_32 (abfd, buf);
509 read_8_bytes (bfd *abfd, bfd_byte *buf)
511 return bfd_get_64 (abfd, buf);
515 read_n_bytes (bfd *abfd ATTRIBUTE_UNUSED,
517 unsigned int size ATTRIBUTE_UNUSED)
523 read_string (bfd *abfd ATTRIBUTE_UNUSED,
525 unsigned int *bytes_read_ptr)
527 /* Return a pointer to the embedded string. */
528 char *str = (char *) buf;
536 *bytes_read_ptr = strlen (str) + 1;
543 read_indirect_string (struct comp_unit * unit,
545 unsigned int * bytes_read_ptr)
548 struct dwarf2_debug *stash = unit->stash;
551 if (unit->offset_size == 4)
552 offset = read_4_bytes (unit->abfd, buf);
554 offset = read_8_bytes (unit->abfd, buf);
556 *bytes_read_ptr = unit->offset_size;
558 if (! read_section (unit->abfd, ".debug_str", ".zdebug_str",
560 &stash->dwarf_str_buffer, &stash->dwarf_str_size))
563 str = (char *) stash->dwarf_str_buffer + offset;
570 read_address (struct comp_unit *unit, bfd_byte *buf)
572 int signed_vma = get_elf_backend_data (unit->abfd)->sign_extend_vma;
576 switch (unit->addr_size)
579 return bfd_get_signed_64 (unit->abfd, buf);
581 return bfd_get_signed_32 (unit->abfd, buf);
583 return bfd_get_signed_16 (unit->abfd, buf);
590 switch (unit->addr_size)
593 return bfd_get_64 (unit->abfd, buf);
595 return bfd_get_32 (unit->abfd, buf);
597 return bfd_get_16 (unit->abfd, buf);
604 /* Lookup an abbrev_info structure in the abbrev hash table. */
606 static struct abbrev_info *
607 lookup_abbrev (unsigned int number, struct abbrev_info **abbrevs)
609 unsigned int hash_number;
610 struct abbrev_info *abbrev;
612 hash_number = number % ABBREV_HASH_SIZE;
613 abbrev = abbrevs[hash_number];
617 if (abbrev->number == number)
620 abbrev = abbrev->next;
626 /* In DWARF version 2, the description of the debugging information is
627 stored in a separate .debug_abbrev section. Before we read any
628 dies from a section we read in all abbreviations and install them
631 static struct abbrev_info**
632 read_abbrevs (bfd *abfd, bfd_uint64_t offset, struct dwarf2_debug *stash)
634 struct abbrev_info **abbrevs;
635 bfd_byte *abbrev_ptr;
636 struct abbrev_info *cur_abbrev;
637 unsigned int abbrev_number, bytes_read, abbrev_name;
638 unsigned int abbrev_form, hash_number;
641 if (! read_section (abfd, ".debug_abbrev", ".zdebug_abbrev",
643 &stash->dwarf_abbrev_buffer, &stash->dwarf_abbrev_size))
646 amt = sizeof (struct abbrev_info*) * ABBREV_HASH_SIZE;
647 abbrevs = bfd_zalloc (abfd, amt);
649 abbrev_ptr = stash->dwarf_abbrev_buffer + offset;
650 abbrev_number = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
651 abbrev_ptr += bytes_read;
653 /* Loop until we reach an abbrev number of 0. */
654 while (abbrev_number)
656 amt = sizeof (struct abbrev_info);
657 cur_abbrev = bfd_zalloc (abfd, amt);
659 /* Read in abbrev header. */
660 cur_abbrev->number = abbrev_number;
661 cur_abbrev->tag = (enum dwarf_tag)
662 read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
663 abbrev_ptr += bytes_read;
664 cur_abbrev->has_children = read_1_byte (abfd, abbrev_ptr);
667 /* Now read in declarations. */
668 abbrev_name = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
669 abbrev_ptr += bytes_read;
670 abbrev_form = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
671 abbrev_ptr += bytes_read;
675 if ((cur_abbrev->num_attrs % ATTR_ALLOC_CHUNK) == 0)
677 struct attr_abbrev *tmp;
679 amt = cur_abbrev->num_attrs + ATTR_ALLOC_CHUNK;
680 amt *= sizeof (struct attr_abbrev);
681 tmp = bfd_realloc (cur_abbrev->attrs, amt);
686 for (i = 0; i < ABBREV_HASH_SIZE; i++)
688 struct abbrev_info *abbrev = abbrevs[i];
692 free (abbrev->attrs);
693 abbrev = abbrev->next;
698 cur_abbrev->attrs = tmp;
701 cur_abbrev->attrs[cur_abbrev->num_attrs].name
702 = (enum dwarf_attribute) abbrev_name;
703 cur_abbrev->attrs[cur_abbrev->num_attrs++].form
704 = (enum dwarf_form) abbrev_form;
705 abbrev_name = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
706 abbrev_ptr += bytes_read;
707 abbrev_form = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
708 abbrev_ptr += bytes_read;
711 hash_number = abbrev_number % ABBREV_HASH_SIZE;
712 cur_abbrev->next = abbrevs[hash_number];
713 abbrevs[hash_number] = cur_abbrev;
715 /* Get next abbreviation.
716 Under Irix6 the abbreviations for a compilation unit are not
717 always properly terminated with an abbrev number of 0.
718 Exit loop if we encounter an abbreviation which we have
719 already read (which means we are about to read the abbreviations
720 for the next compile unit) or if the end of the abbreviation
722 if ((unsigned int) (abbrev_ptr - stash->dwarf_abbrev_buffer)
723 >= stash->dwarf_abbrev_size)
725 abbrev_number = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
726 abbrev_ptr += bytes_read;
727 if (lookup_abbrev (abbrev_number,abbrevs) != NULL)
734 /* Read an attribute value described by an attribute form. */
737 read_attribute_value (struct attribute *attr,
739 struct comp_unit *unit,
742 bfd *abfd = unit->abfd;
743 unsigned int bytes_read;
744 struct dwarf_block *blk;
747 attr->form = (enum dwarf_form) form;
751 case DW_FORM_ref_addr:
752 /* DW_FORM_ref_addr is an address in DWARF2, and an offset in
754 if (unit->version == 3)
756 if (unit->offset_size == 4)
757 attr->u.val = read_4_bytes (unit->abfd, info_ptr);
759 attr->u.val = read_8_bytes (unit->abfd, info_ptr);
760 info_ptr += unit->offset_size;
765 attr->u.val = read_address (unit, info_ptr);
766 info_ptr += unit->addr_size;
769 amt = sizeof (struct dwarf_block);
770 blk = bfd_alloc (abfd, amt);
771 blk->size = read_2_bytes (abfd, info_ptr);
773 blk->data = read_n_bytes (abfd, info_ptr, blk->size);
774 info_ptr += blk->size;
778 amt = sizeof (struct dwarf_block);
779 blk = bfd_alloc (abfd, amt);
780 blk->size = read_4_bytes (abfd, info_ptr);
782 blk->data = read_n_bytes (abfd, info_ptr, blk->size);
783 info_ptr += blk->size;
787 attr->u.val = read_2_bytes (abfd, info_ptr);
791 attr->u.val = read_4_bytes (abfd, info_ptr);
795 attr->u.val = read_8_bytes (abfd, info_ptr);
799 attr->u.str = read_string (abfd, info_ptr, &bytes_read);
800 info_ptr += bytes_read;
803 attr->u.str = read_indirect_string (unit, info_ptr, &bytes_read);
804 info_ptr += bytes_read;
807 amt = sizeof (struct dwarf_block);
808 blk = bfd_alloc (abfd, amt);
809 blk->size = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
810 info_ptr += bytes_read;
811 blk->data = read_n_bytes (abfd, info_ptr, blk->size);
812 info_ptr += blk->size;
816 amt = sizeof (struct dwarf_block);
817 blk = bfd_alloc (abfd, amt);
818 blk->size = read_1_byte (abfd, info_ptr);
820 blk->data = read_n_bytes (abfd, info_ptr, blk->size);
821 info_ptr += blk->size;
825 attr->u.val = read_1_byte (abfd, info_ptr);
829 attr->u.val = read_1_byte (abfd, info_ptr);
833 attr->u.sval = read_signed_leb128 (abfd, info_ptr, &bytes_read);
834 info_ptr += bytes_read;
837 attr->u.val = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
838 info_ptr += bytes_read;
841 attr->u.val = read_1_byte (abfd, info_ptr);
845 attr->u.val = read_2_bytes (abfd, info_ptr);
849 attr->u.val = read_4_bytes (abfd, info_ptr);
853 attr->u.val = read_8_bytes (abfd, info_ptr);
856 case DW_FORM_ref_udata:
857 attr->u.val = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
858 info_ptr += bytes_read;
860 case DW_FORM_indirect:
861 form = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
862 info_ptr += bytes_read;
863 info_ptr = read_attribute_value (attr, form, unit, info_ptr);
866 (*_bfd_error_handler) (_("Dwarf Error: Invalid or unhandled FORM value: %u."),
868 bfd_set_error (bfd_error_bad_value);
873 /* Read an attribute described by an abbreviated attribute. */
876 read_attribute (struct attribute *attr,
877 struct attr_abbrev *abbrev,
878 struct comp_unit *unit,
881 attr->name = abbrev->name;
882 info_ptr = read_attribute_value (attr, abbrev->form, unit, info_ptr);
886 /* Source line information table routines. */
888 #define FILE_ALLOC_CHUNK 5
889 #define DIR_ALLOC_CHUNK 5
893 struct line_info* prev_line;
898 int end_sequence; /* End of (sequential) code sequence. */
909 struct line_info_table
912 unsigned int num_files;
913 unsigned int num_dirs;
916 struct fileinfo* files;
917 struct line_info* last_line; /* largest VMA */
918 struct line_info* lcl_head; /* local head; used in 'add_line_info' */
921 /* Remember some information about each function. If the function is
922 inlined (DW_TAG_inlined_subroutine) it may have two additional
923 attributes, DW_AT_call_file and DW_AT_call_line, which specify the
924 source code location where this function was inlined. */
928 struct funcinfo *prev_func; /* Pointer to previous function in list of all functions */
929 struct funcinfo *caller_func; /* Pointer to function one scope higher */
930 char *caller_file; /* Source location file name where caller_func inlines this func */
931 int caller_line; /* Source location line number where caller_func inlines this func */
932 char *file; /* Source location file name */
933 int line; /* Source location line number */
936 struct arange arange;
937 asection *sec; /* Where the symbol is defined */
942 /* Pointer to previous variable in list of all variables */
943 struct varinfo *prev_var;
944 /* Source location file name */
946 /* Source location line number */
951 /* Where the symbol is defined */
953 /* Is this a stack variable? */
954 unsigned int stack: 1;
957 /* Return TRUE if NEW_LINE should sort after LINE. */
959 static inline bfd_boolean
960 new_line_sorts_after (struct line_info *new_line, struct line_info *line)
962 return (new_line->address > line->address
963 || (new_line->address == line->address
964 && new_line->end_sequence < line->end_sequence));
968 /* Adds a new entry to the line_info list in the line_info_table, ensuring
969 that the list is sorted. Note that the line_info list is sorted from
970 highest to lowest VMA (with possible duplicates); that is,
971 line_info->prev_line always accesses an equal or smaller VMA. */
974 add_line_info (struct line_info_table *table,
981 bfd_size_type amt = sizeof (struct line_info);
982 struct line_info* info = bfd_alloc (table->abfd, amt);
984 /* Set member data of 'info'. */
985 info->address = address;
987 info->column = column;
988 info->end_sequence = end_sequence;
990 if (filename && filename[0])
992 info->filename = bfd_alloc (table->abfd, strlen (filename) + 1);
994 strcpy (info->filename, filename);
997 info->filename = NULL;
999 /* Find the correct location for 'info'. Normally we will receive
1000 new line_info data 1) in order and 2) with increasing VMAs.
1001 However some compilers break the rules (cf. decode_line_info) and
1002 so we include some heuristics for quickly finding the correct
1003 location for 'info'. In particular, these heuristics optimize for
1004 the common case in which the VMA sequence that we receive is a
1005 list of locally sorted VMAs such as
1006 p...z a...j (where a < j < p < z)
1008 Note: table->lcl_head is used to head an *actual* or *possible*
1009 sequence within the list (such as a...j) that is not directly
1010 headed by table->last_line
1012 Note: we may receive duplicate entries from 'decode_line_info'. */
1014 if (table->last_line
1015 && table->last_line->address == address
1016 && table->last_line->end_sequence == end_sequence)
1018 /* We only keep the last entry with the same address and end
1019 sequence. See PR ld/4986. */
1020 if (table->lcl_head == table->last_line)
1021 table->lcl_head = info;
1022 info->prev_line = table->last_line->prev_line;
1023 table->last_line = info;
1025 else if (!table->last_line
1026 || new_line_sorts_after (info, table->last_line))
1028 /* Normal case: add 'info' to the beginning of the list */
1029 info->prev_line = table->last_line;
1030 table->last_line = info;
1032 /* lcl_head: initialize to head a *possible* sequence at the end. */
1033 if (!table->lcl_head)
1034 table->lcl_head = info;
1036 else if (!new_line_sorts_after (info, table->lcl_head)
1037 && (!table->lcl_head->prev_line
1038 || new_line_sorts_after (info, table->lcl_head->prev_line)))
1040 /* Abnormal but easy: lcl_head is the head of 'info'. */
1041 info->prev_line = table->lcl_head->prev_line;
1042 table->lcl_head->prev_line = info;
1046 /* Abnormal and hard: Neither 'last_line' nor 'lcl_head' are valid
1047 heads for 'info'. Reset 'lcl_head'. */
1048 struct line_info* li2 = table->last_line; /* always non-NULL */
1049 struct line_info* li1 = li2->prev_line;
1053 if (!new_line_sorts_after (info, li2)
1054 && new_line_sorts_after (info, li1))
1057 li2 = li1; /* always non-NULL */
1058 li1 = li1->prev_line;
1060 table->lcl_head = li2;
1061 info->prev_line = table->lcl_head->prev_line;
1062 table->lcl_head->prev_line = info;
1066 /* Extract a fully qualified filename from a line info table.
1067 The returned string has been malloc'ed and it is the caller's
1068 responsibility to free it. */
1071 concat_filename (struct line_info_table *table, unsigned int file)
1075 if (file - 1 >= table->num_files)
1077 /* FILE == 0 means unknown. */
1079 (*_bfd_error_handler)
1080 (_("Dwarf Error: mangled line number section (bad file number)."));
1081 return strdup ("<unknown>");
1084 filename = table->files[file - 1].name;
1086 if (!IS_ABSOLUTE_PATH (filename))
1088 char *dirname = NULL;
1089 char *subdirname = NULL;
1093 if (table->files[file - 1].dir)
1094 subdirname = table->dirs[table->files[file - 1].dir - 1];
1096 if (!subdirname || !IS_ABSOLUTE_PATH (subdirname))
1097 dirname = table->comp_dir;
1101 dirname = subdirname;
1106 return strdup (filename);
1108 len = strlen (dirname) + strlen (filename) + 2;
1112 len += strlen (subdirname) + 1;
1113 name = bfd_malloc (len);
1115 sprintf (name, "%s/%s/%s", dirname, subdirname, filename);
1119 name = bfd_malloc (len);
1121 sprintf (name, "%s/%s", dirname, filename);
1127 return strdup (filename);
1131 arange_add (bfd *abfd, struct arange *first_arange, bfd_vma low_pc, bfd_vma high_pc)
1133 struct arange *arange;
1135 /* If the first arange is empty, use it. */
1136 if (first_arange->high == 0)
1138 first_arange->low = low_pc;
1139 first_arange->high = high_pc;
1143 /* Next see if we can cheaply extend an existing range. */
1144 arange = first_arange;
1147 if (low_pc == arange->high)
1149 arange->high = high_pc;
1152 if (high_pc == arange->low)
1154 arange->low = low_pc;
1157 arange = arange->next;
1161 /* Need to allocate a new arange and insert it into the arange list.
1162 Order isn't significant, so just insert after the first arange. */
1163 arange = bfd_zalloc (abfd, sizeof (*arange));
1164 arange->low = low_pc;
1165 arange->high = high_pc;
1166 arange->next = first_arange->next;
1167 first_arange->next = arange;
1170 /* Decode the line number information for UNIT. */
1172 static struct line_info_table*
1173 decode_line_info (struct comp_unit *unit, struct dwarf2_debug *stash)
1175 bfd *abfd = unit->abfd;
1176 struct line_info_table* table;
1179 struct line_head lh;
1180 unsigned int i, bytes_read, offset_size;
1181 char *cur_file, *cur_dir;
1182 unsigned char op_code, extended_op, adj_opcode;
1185 if (! read_section (abfd, ".debug_line", ".zdebug_line",
1186 stash->syms, unit->line_offset,
1187 &stash->dwarf_line_buffer, &stash->dwarf_line_size))
1190 amt = sizeof (struct line_info_table);
1191 table = bfd_alloc (abfd, amt);
1193 table->comp_dir = unit->comp_dir;
1195 table->num_files = 0;
1196 table->files = NULL;
1198 table->num_dirs = 0;
1201 table->files = NULL;
1202 table->last_line = NULL;
1203 table->lcl_head = NULL;
1205 line_ptr = stash->dwarf_line_buffer + unit->line_offset;
1207 /* Read in the prologue. */
1208 lh.total_length = read_4_bytes (abfd, line_ptr);
1211 if (lh.total_length == 0xffffffff)
1213 lh.total_length = read_8_bytes (abfd, line_ptr);
1217 else if (lh.total_length == 0 && unit->addr_size == 8)
1219 /* Handle (non-standard) 64-bit DWARF2 formats. */
1220 lh.total_length = read_4_bytes (abfd, line_ptr);
1224 line_end = line_ptr + lh.total_length;
1225 lh.version = read_2_bytes (abfd, line_ptr);
1227 if (offset_size == 4)
1228 lh.prologue_length = read_4_bytes (abfd, line_ptr);
1230 lh.prologue_length = read_8_bytes (abfd, line_ptr);
1231 line_ptr += offset_size;
1232 lh.minimum_instruction_length = read_1_byte (abfd, line_ptr);
1234 lh.default_is_stmt = read_1_byte (abfd, line_ptr);
1236 lh.line_base = read_1_signed_byte (abfd, line_ptr);
1238 lh.line_range = read_1_byte (abfd, line_ptr);
1240 lh.opcode_base = read_1_byte (abfd, line_ptr);
1242 amt = lh.opcode_base * sizeof (unsigned char);
1243 lh.standard_opcode_lengths = bfd_alloc (abfd, amt);
1245 lh.standard_opcode_lengths[0] = 1;
1247 for (i = 1; i < lh.opcode_base; ++i)
1249 lh.standard_opcode_lengths[i] = read_1_byte (abfd, line_ptr);
1253 /* Read directory table. */
1254 while ((cur_dir = read_string (abfd, line_ptr, &bytes_read)) != NULL)
1256 line_ptr += bytes_read;
1258 if ((table->num_dirs % DIR_ALLOC_CHUNK) == 0)
1262 amt = table->num_dirs + DIR_ALLOC_CHUNK;
1263 amt *= sizeof (char *);
1265 tmp = bfd_realloc (table->dirs, amt);
1274 table->dirs[table->num_dirs++] = cur_dir;
1277 line_ptr += bytes_read;
1279 /* Read file name table. */
1280 while ((cur_file = read_string (abfd, line_ptr, &bytes_read)) != NULL)
1282 line_ptr += bytes_read;
1284 if ((table->num_files % FILE_ALLOC_CHUNK) == 0)
1286 struct fileinfo *tmp;
1288 amt = table->num_files + FILE_ALLOC_CHUNK;
1289 amt *= sizeof (struct fileinfo);
1291 tmp = bfd_realloc (table->files, amt);
1294 free (table->files);
1301 table->files[table->num_files].name = cur_file;
1302 table->files[table->num_files].dir =
1303 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1304 line_ptr += bytes_read;
1305 table->files[table->num_files].time =
1306 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1307 line_ptr += bytes_read;
1308 table->files[table->num_files].size =
1309 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1310 line_ptr += bytes_read;
1314 line_ptr += bytes_read;
1316 /* Read the statement sequences until there's nothing left. */
1317 while (line_ptr < line_end)
1319 /* State machine registers. */
1320 bfd_vma address = 0;
1321 char * filename = table->num_files ? concat_filename (table, 1) : NULL;
1322 unsigned int line = 1;
1323 unsigned int column = 0;
1324 int is_stmt = lh.default_is_stmt;
1325 int end_sequence = 0;
1326 /* eraxxon@alumni.rice.edu: Against the DWARF2 specs, some
1327 compilers generate address sequences that are wildly out of
1328 order using DW_LNE_set_address (e.g. Intel C++ 6.0 compiler
1329 for ia64-Linux). Thus, to determine the low and high
1330 address, we must compare on every DW_LNS_copy, etc. */
1331 bfd_vma low_pc = (bfd_vma) -1;
1332 bfd_vma high_pc = 0;
1334 /* Decode the table. */
1335 while (! end_sequence)
1337 op_code = read_1_byte (abfd, line_ptr);
1340 if (op_code >= lh.opcode_base)
1342 /* Special operand. */
1343 adj_opcode = op_code - lh.opcode_base;
1344 address += (adj_opcode / lh.line_range)
1345 * lh.minimum_instruction_length;
1346 line += lh.line_base + (adj_opcode % lh.line_range);
1347 /* Append row to matrix using current values. */
1348 add_line_info (table, address, filename, line, column, 0);
1349 if (address < low_pc)
1351 if (address > high_pc)
1354 else switch (op_code)
1356 case DW_LNS_extended_op:
1357 /* Ignore length. */
1359 extended_op = read_1_byte (abfd, line_ptr);
1362 switch (extended_op)
1364 case DW_LNE_end_sequence:
1366 add_line_info (table, address, filename, line, column,
1368 if (address < low_pc)
1370 if (address > high_pc)
1372 arange_add (unit->abfd, &unit->arange, low_pc, high_pc);
1374 case DW_LNE_set_address:
1375 address = read_address (unit, line_ptr);
1376 line_ptr += unit->addr_size;
1378 case DW_LNE_define_file:
1379 cur_file = read_string (abfd, line_ptr, &bytes_read);
1380 line_ptr += bytes_read;
1381 if ((table->num_files % FILE_ALLOC_CHUNK) == 0)
1383 struct fileinfo *tmp;
1385 amt = table->num_files + FILE_ALLOC_CHUNK;
1386 amt *= sizeof (struct fileinfo);
1387 tmp = bfd_realloc (table->files, amt);
1390 free (table->files);
1397 table->files[table->num_files].name = cur_file;
1398 table->files[table->num_files].dir =
1399 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1400 line_ptr += bytes_read;
1401 table->files[table->num_files].time =
1402 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1403 line_ptr += bytes_read;
1404 table->files[table->num_files].size =
1405 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1406 line_ptr += bytes_read;
1410 (*_bfd_error_handler) (_("Dwarf Error: mangled line number section."));
1411 bfd_set_error (bfd_error_bad_value);
1413 free (table->files);
1419 add_line_info (table, address, filename, line, column, 0);
1420 if (address < low_pc)
1422 if (address > high_pc)
1425 case DW_LNS_advance_pc:
1426 address += lh.minimum_instruction_length
1427 * read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1428 line_ptr += bytes_read;
1430 case DW_LNS_advance_line:
1431 line += read_signed_leb128 (abfd, line_ptr, &bytes_read);
1432 line_ptr += bytes_read;
1434 case DW_LNS_set_file:
1438 /* The file and directory tables are 0
1439 based, the references are 1 based. */
1440 file = read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1441 line_ptr += bytes_read;
1444 filename = concat_filename (table, file);
1447 case DW_LNS_set_column:
1448 column = read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1449 line_ptr += bytes_read;
1451 case DW_LNS_negate_stmt:
1452 is_stmt = (!is_stmt);
1454 case DW_LNS_set_basic_block:
1456 case DW_LNS_const_add_pc:
1457 address += lh.minimum_instruction_length
1458 * ((255 - lh.opcode_base) / lh.line_range);
1460 case DW_LNS_fixed_advance_pc:
1461 address += read_2_bytes (abfd, line_ptr);
1468 /* Unknown standard opcode, ignore it. */
1469 for (i = 0; i < lh.standard_opcode_lengths[op_code]; i++)
1471 (void) read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1472 line_ptr += bytes_read;
1485 /* If ADDR is within TABLE set the output parameters and return TRUE,
1486 otherwise return FALSE. The output parameters, FILENAME_PTR and
1487 LINENUMBER_PTR, are pointers to the objects to be filled in. */
1490 lookup_address_in_line_info_table (struct line_info_table *table,
1492 struct funcinfo *function,
1493 const char **filename_ptr,
1494 unsigned int *linenumber_ptr)
1496 /* Note: table->last_line should be a descendingly sorted list. */
1497 struct line_info* next_line = table->last_line;
1498 struct line_info* each_line = NULL;
1499 *filename_ptr = NULL;
1504 each_line = next_line->prev_line;
1506 /* Check for large addresses */
1507 if (addr > next_line->address)
1508 each_line = NULL; /* ensure we skip over the normal case */
1510 /* Normal case: search the list; save */
1511 while (each_line && next_line)
1513 /* If we have an address match, save this info. This allows us
1514 to return as good as results as possible for strange debugging
1516 bfd_boolean addr_match = FALSE;
1517 if (each_line->address <= addr && addr < next_line->address)
1521 /* If this line appears to span functions, and addr is in the
1522 later function, return the first line of that function instead
1523 of the last line of the earlier one. This check is for GCC
1524 2.95, which emits the first line number for a function late. */
1526 if (function != NULL)
1529 struct arange *arange;
1531 /* Find the lowest address in the function's range list */
1532 lowest_pc = function->arange.low;
1533 for (arange = &function->arange;
1535 arange = arange->next)
1537 if (function->arange.low < lowest_pc)
1538 lowest_pc = function->arange.low;
1540 /* Check for spanning function and set outgoing line info */
1541 if (addr >= lowest_pc
1542 && each_line->address < lowest_pc
1543 && next_line->address > lowest_pc)
1545 *filename_ptr = next_line->filename;
1546 *linenumber_ptr = next_line->line;
1550 *filename_ptr = each_line->filename;
1551 *linenumber_ptr = each_line->line;
1556 *filename_ptr = each_line->filename;
1557 *linenumber_ptr = each_line->line;
1561 if (addr_match && !each_line->end_sequence)
1562 return TRUE; /* we have definitely found what we want */
1564 next_line = each_line;
1565 each_line = each_line->prev_line;
1568 /* At this point each_line is NULL but next_line is not. If we found
1569 a candidate end-of-sequence point in the loop above, we can return
1570 that (compatibility with a bug in the Intel compiler); otherwise,
1571 assuming that we found the containing function for this address in
1572 this compilation unit, return the first line we have a number for
1573 (compatibility with GCC 2.95). */
1574 if (*filename_ptr == NULL && function != NULL)
1576 *filename_ptr = next_line->filename;
1577 *linenumber_ptr = next_line->line;
1584 /* Read in the .debug_ranges section for future reference */
1587 read_debug_ranges (struct comp_unit *unit)
1589 struct dwarf2_debug *stash = unit->stash;
1590 return read_section (unit->abfd, ".debug_ranges", ".zdebug_ranges",
1592 &stash->dwarf_ranges_buffer, &stash->dwarf_ranges_size);
1595 /* Function table functions. */
1597 /* If ADDR is within TABLE, set FUNCTIONNAME_PTR, and return TRUE.
1598 Note that we need to find the function that has the smallest
1599 range that contains ADDR, to handle inlined functions without
1600 depending upon them being ordered in TABLE by increasing range. */
1603 lookup_address_in_function_table (struct comp_unit *unit,
1605 struct funcinfo **function_ptr,
1606 const char **functionname_ptr)
1608 struct funcinfo* each_func;
1609 struct funcinfo* best_fit = NULL;
1610 struct arange *arange;
1612 for (each_func = unit->function_table;
1614 each_func = each_func->prev_func)
1616 for (arange = &each_func->arange;
1618 arange = arange->next)
1620 if (addr >= arange->low && addr < arange->high)
1623 ((arange->high - arange->low) < (best_fit->arange.high - best_fit->arange.low)))
1624 best_fit = each_func;
1631 *functionname_ptr = best_fit->name;
1632 *function_ptr = best_fit;
1641 /* If SYM at ADDR is within function table of UNIT, set FILENAME_PTR
1642 and LINENUMBER_PTR, and return TRUE. */
1645 lookup_symbol_in_function_table (struct comp_unit *unit,
1648 const char **filename_ptr,
1649 unsigned int *linenumber_ptr)
1651 struct funcinfo* each_func;
1652 struct funcinfo* best_fit = NULL;
1653 struct arange *arange;
1654 const char *name = bfd_asymbol_name (sym);
1655 asection *sec = bfd_get_section (sym);
1657 for (each_func = unit->function_table;
1659 each_func = each_func->prev_func)
1661 for (arange = &each_func->arange;
1663 arange = arange->next)
1665 if ((!each_func->sec || each_func->sec == sec)
1666 && addr >= arange->low
1667 && addr < arange->high
1669 && strcmp (name, each_func->name) == 0
1671 || ((arange->high - arange->low)
1672 < (best_fit->arange.high - best_fit->arange.low))))
1673 best_fit = each_func;
1679 best_fit->sec = sec;
1680 *filename_ptr = best_fit->file;
1681 *linenumber_ptr = best_fit->line;
1688 /* Variable table functions. */
1690 /* If SYM is within variable table of UNIT, set FILENAME_PTR and
1691 LINENUMBER_PTR, and return TRUE. */
1694 lookup_symbol_in_variable_table (struct comp_unit *unit,
1697 const char **filename_ptr,
1698 unsigned int *linenumber_ptr)
1700 const char *name = bfd_asymbol_name (sym);
1701 asection *sec = bfd_get_section (sym);
1702 struct varinfo* each;
1704 for (each = unit->variable_table; each; each = each->prev_var)
1705 if (each->stack == 0
1706 && each->file != NULL
1707 && each->name != NULL
1708 && each->addr == addr
1709 && (!each->sec || each->sec == sec)
1710 && strcmp (name, each->name) == 0)
1716 *filename_ptr = each->file;
1717 *linenumber_ptr = each->line;
1725 find_abstract_instance_name (struct comp_unit *unit,
1726 struct attribute *attr_ptr)
1728 bfd *abfd = unit->abfd;
1730 unsigned int abbrev_number, bytes_read, i;
1731 struct abbrev_info *abbrev;
1732 bfd_uint64_t die_ref = attr_ptr->u.val;
1733 struct attribute attr;
1736 /* DW_FORM_ref_addr can reference an entry in a different CU. It
1737 is an offset from the .debug_info section, not the current CU. */
1738 if (attr_ptr->form == DW_FORM_ref_addr)
1740 /* We only support DW_FORM_ref_addr within the same file, so
1741 any relocations should be resolved already. */
1745 info_ptr = unit->stash->sec_info_ptr + die_ref;
1748 info_ptr = unit->info_ptr_unit + die_ref;
1749 abbrev_number = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
1750 info_ptr += bytes_read;
1754 abbrev = lookup_abbrev (abbrev_number, unit->abbrevs);
1757 (*_bfd_error_handler) (_("Dwarf Error: Could not find abbrev number %u."),
1759 bfd_set_error (bfd_error_bad_value);
1763 for (i = 0; i < abbrev->num_attrs; ++i)
1765 info_ptr = read_attribute (&attr, &abbrev->attrs[i], unit, info_ptr);
1769 /* Prefer DW_AT_MIPS_linkage_name over DW_AT_name. */
1773 case DW_AT_specification:
1774 name = find_abstract_instance_name (unit, &attr);
1776 case DW_AT_MIPS_linkage_name:
1789 read_rangelist (struct comp_unit *unit, struct arange *arange, bfd_uint64_t offset)
1791 bfd_byte *ranges_ptr;
1792 bfd_vma base_address = unit->base_address;
1794 if (! unit->stash->dwarf_ranges_buffer)
1796 if (! read_debug_ranges (unit))
1799 ranges_ptr = unit->stash->dwarf_ranges_buffer + offset;
1806 if (unit->addr_size == 4)
1808 low_pc = read_4_bytes (unit->abfd, ranges_ptr);
1810 high_pc = read_4_bytes (unit->abfd, ranges_ptr);
1815 low_pc = read_8_bytes (unit->abfd, ranges_ptr);
1817 high_pc = read_8_bytes (unit->abfd, ranges_ptr);
1820 if (low_pc == 0 && high_pc == 0)
1822 if (low_pc == -1UL && high_pc != -1UL)
1823 base_address = high_pc;
1825 arange_add (unit->abfd, arange, base_address + low_pc, base_address + high_pc);
1829 /* DWARF2 Compilation unit functions. */
1831 /* Scan over each die in a comp. unit looking for functions to add
1832 to the function table and variables to the variable table. */
1835 scan_unit_for_symbols (struct comp_unit *unit)
1837 bfd *abfd = unit->abfd;
1838 bfd_byte *info_ptr = unit->first_child_die_ptr;
1839 int nesting_level = 1;
1840 struct funcinfo **nested_funcs;
1841 int nested_funcs_size;
1843 /* Maintain a stack of in-scope functions and inlined functions, which we
1844 can use to set the caller_func field. */
1845 nested_funcs_size = 32;
1846 nested_funcs = bfd_malloc (nested_funcs_size * sizeof (struct funcinfo *));
1847 if (nested_funcs == NULL)
1849 nested_funcs[nesting_level] = 0;
1851 while (nesting_level)
1853 unsigned int abbrev_number, bytes_read, i;
1854 struct abbrev_info *abbrev;
1855 struct attribute attr;
1856 struct funcinfo *func;
1857 struct varinfo *var;
1859 bfd_vma high_pc = 0;
1861 abbrev_number = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
1862 info_ptr += bytes_read;
1864 if (! abbrev_number)
1870 abbrev = lookup_abbrev (abbrev_number,unit->abbrevs);
1873 (*_bfd_error_handler) (_("Dwarf Error: Could not find abbrev number %u."),
1875 bfd_set_error (bfd_error_bad_value);
1876 free (nested_funcs);
1881 if (abbrev->tag == DW_TAG_subprogram
1882 || abbrev->tag == DW_TAG_entry_point
1883 || abbrev->tag == DW_TAG_inlined_subroutine)
1885 bfd_size_type amt = sizeof (struct funcinfo);
1886 func = bfd_zalloc (abfd, amt);
1887 func->tag = abbrev->tag;
1888 func->prev_func = unit->function_table;
1889 unit->function_table = func;
1890 BFD_ASSERT (!unit->cached);
1892 if (func->tag == DW_TAG_inlined_subroutine)
1893 for (i = nesting_level - 1; i >= 1; i--)
1894 if (nested_funcs[i])
1896 func->caller_func = nested_funcs[i];
1899 nested_funcs[nesting_level] = func;
1904 if (abbrev->tag == DW_TAG_variable)
1906 bfd_size_type amt = sizeof (struct varinfo);
1907 var = bfd_zalloc (abfd, amt);
1908 var->tag = abbrev->tag;
1910 var->prev_var = unit->variable_table;
1911 unit->variable_table = var;
1912 BFD_ASSERT (!unit->cached);
1915 /* No inline function in scope at this nesting level. */
1916 nested_funcs[nesting_level] = 0;
1919 for (i = 0; i < abbrev->num_attrs; ++i)
1921 info_ptr = read_attribute (&attr, &abbrev->attrs[i], unit, info_ptr);
1927 case DW_AT_call_file:
1928 func->caller_file = concat_filename (unit->line_table, attr.u.val);
1931 case DW_AT_call_line:
1932 func->caller_line = attr.u.val;
1935 case DW_AT_abstract_origin:
1936 func->name = find_abstract_instance_name (unit, &attr);
1940 /* Prefer DW_AT_MIPS_linkage_name over DW_AT_name. */
1941 if (func->name == NULL)
1942 func->name = attr.u.str;
1945 case DW_AT_MIPS_linkage_name:
1946 func->name = attr.u.str;
1950 low_pc = attr.u.val;
1954 high_pc = attr.u.val;
1958 read_rangelist (unit, &func->arange, attr.u.val);
1961 case DW_AT_decl_file:
1962 func->file = concat_filename (unit->line_table,
1966 case DW_AT_decl_line:
1967 func->line = attr.u.val;
1979 var->name = attr.u.str;
1982 case DW_AT_decl_file:
1983 var->file = concat_filename (unit->line_table,
1987 case DW_AT_decl_line:
1988 var->line = attr.u.val;
1991 case DW_AT_external:
1992 if (attr.u.val != 0)
1996 case DW_AT_location:
2000 case DW_FORM_block1:
2001 case DW_FORM_block2:
2002 case DW_FORM_block4:
2003 if (*attr.u.blk->data == DW_OP_addr)
2007 /* Verify that DW_OP_addr is the only opcode in the
2008 location, in which case the block size will be 1
2009 plus the address size. */
2010 /* ??? For TLS variables, gcc can emit
2011 DW_OP_addr <addr> DW_OP_GNU_push_tls_address
2012 which we don't handle here yet. */
2013 if (attr.u.blk->size == unit->addr_size + 1U)
2014 var->addr = bfd_get (unit->addr_size * 8,
2016 attr.u.blk->data + 1);
2031 if (func && high_pc != 0)
2033 arange_add (unit->abfd, &func->arange, low_pc, high_pc);
2036 if (abbrev->has_children)
2040 if (nesting_level >= nested_funcs_size)
2042 struct funcinfo **tmp;
2044 nested_funcs_size *= 2;
2045 tmp = bfd_realloc (nested_funcs,
2047 * sizeof (struct funcinfo *)));
2050 free (nested_funcs);
2055 nested_funcs[nesting_level] = 0;
2059 free (nested_funcs);
2063 /* Parse a DWARF2 compilation unit starting at INFO_PTR. This
2064 includes the compilation unit header that proceeds the DIE's, but
2065 does not include the length field that precedes each compilation
2066 unit header. END_PTR points one past the end of this comp unit.
2067 OFFSET_SIZE is the size of DWARF2 offsets (either 4 or 8 bytes).
2069 This routine does not read the whole compilation unit; only enough
2070 to get to the line number information for the compilation unit. */
2072 static struct comp_unit *
2073 parse_comp_unit (struct dwarf2_debug *stash,
2074 bfd_vma unit_length,
2075 bfd_byte *info_ptr_unit,
2076 unsigned int offset_size)
2078 struct comp_unit* unit;
2079 unsigned int version;
2080 bfd_uint64_t abbrev_offset = 0;
2081 unsigned int addr_size;
2082 struct abbrev_info** abbrevs;
2083 unsigned int abbrev_number, bytes_read, i;
2084 struct abbrev_info *abbrev;
2085 struct attribute attr;
2086 bfd_byte *info_ptr = stash->info_ptr;
2087 bfd_byte *end_ptr = info_ptr + unit_length;
2090 bfd_vma high_pc = 0;
2091 bfd *abfd = stash->bfd;
2093 version = read_2_bytes (abfd, info_ptr);
2095 BFD_ASSERT (offset_size == 4 || offset_size == 8);
2096 if (offset_size == 4)
2097 abbrev_offset = read_4_bytes (abfd, info_ptr);
2099 abbrev_offset = read_8_bytes (abfd, info_ptr);
2100 info_ptr += offset_size;
2101 addr_size = read_1_byte (abfd, info_ptr);
2104 if (version != 2 && version != 3)
2106 (*_bfd_error_handler) (_("Dwarf Error: found dwarf version '%u', this reader only handles version 2 and 3 information."), version);
2107 bfd_set_error (bfd_error_bad_value);
2111 if (addr_size > sizeof (bfd_vma))
2113 (*_bfd_error_handler) (_("Dwarf Error: found address size '%u', this reader can not handle sizes greater than '%u'."),
2115 (unsigned int) sizeof (bfd_vma));
2116 bfd_set_error (bfd_error_bad_value);
2120 if (addr_size != 2 && addr_size != 4 && addr_size != 8)
2122 (*_bfd_error_handler) ("Dwarf Error: found address size '%u', this reader can only handle address sizes '2', '4' and '8'.", addr_size);
2123 bfd_set_error (bfd_error_bad_value);
2127 /* Read the abbrevs for this compilation unit into a table. */
2128 abbrevs = read_abbrevs (abfd, abbrev_offset, stash);
2132 abbrev_number = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
2133 info_ptr += bytes_read;
2134 if (! abbrev_number)
2136 (*_bfd_error_handler) (_("Dwarf Error: Bad abbrev number: %u."),
2138 bfd_set_error (bfd_error_bad_value);
2142 abbrev = lookup_abbrev (abbrev_number, abbrevs);
2145 (*_bfd_error_handler) (_("Dwarf Error: Could not find abbrev number %u."),
2147 bfd_set_error (bfd_error_bad_value);
2151 amt = sizeof (struct comp_unit);
2152 unit = bfd_zalloc (abfd, amt);
2154 unit->version = version;
2155 unit->addr_size = addr_size;
2156 unit->offset_size = offset_size;
2157 unit->abbrevs = abbrevs;
2158 unit->end_ptr = end_ptr;
2159 unit->stash = stash;
2160 unit->info_ptr_unit = info_ptr_unit;
2162 for (i = 0; i < abbrev->num_attrs; ++i)
2164 info_ptr = read_attribute (&attr, &abbrev->attrs[i], unit, info_ptr);
2166 /* Store the data if it is of an attribute we want to keep in a
2167 partial symbol table. */
2170 case DW_AT_stmt_list:
2172 unit->line_offset = attr.u.val;
2176 unit->name = attr.u.str;
2180 low_pc = attr.u.val;
2181 /* If the compilation unit DIE has a DW_AT_low_pc attribute,
2182 this is the base address to use when reading location
2183 lists or range lists. */
2184 unit->base_address = low_pc;
2188 high_pc = attr.u.val;
2192 read_rangelist (unit, &unit->arange, attr.u.val);
2195 case DW_AT_comp_dir:
2197 char *comp_dir = attr.u.str;
2200 /* Irix 6.2 native cc prepends <machine>.: to the compilation
2201 directory, get rid of it. */
2202 char *cp = strchr (comp_dir, ':');
2204 if (cp && cp != comp_dir && cp[-1] == '.' && cp[1] == '/')
2207 unit->comp_dir = comp_dir;
2217 arange_add (unit->abfd, &unit->arange, low_pc, high_pc);
2220 unit->first_child_die_ptr = info_ptr;
2224 /* Return TRUE if UNIT may contain the address given by ADDR. When
2225 there are functions written entirely with inline asm statements, the
2226 range info in the compilation unit header may not be correct. We
2227 need to consult the line info table to see if a compilation unit
2228 really contains the given address. */
2231 comp_unit_contains_address (struct comp_unit *unit, bfd_vma addr)
2233 struct arange *arange;
2238 arange = &unit->arange;
2241 if (addr >= arange->low && addr < arange->high)
2243 arange = arange->next;
2250 /* If UNIT contains ADDR, set the output parameters to the values for
2251 the line containing ADDR. The output parameters, FILENAME_PTR,
2252 FUNCTIONNAME_PTR, and LINENUMBER_PTR, are pointers to the objects
2255 Return TRUE if UNIT contains ADDR, and no errors were encountered;
2259 comp_unit_find_nearest_line (struct comp_unit *unit,
2261 const char **filename_ptr,
2262 const char **functionname_ptr,
2263 unsigned int *linenumber_ptr,
2264 struct dwarf2_debug *stash)
2268 struct funcinfo *function;
2273 if (! unit->line_table)
2275 if (! unit->stmtlist)
2281 unit->line_table = decode_line_info (unit, stash);
2283 if (! unit->line_table)
2289 if (unit->first_child_die_ptr < unit->end_ptr
2290 && ! scan_unit_for_symbols (unit))
2298 func_p = lookup_address_in_function_table (unit, addr,
2299 &function, functionname_ptr);
2300 if (func_p && (function->tag == DW_TAG_inlined_subroutine))
2301 stash->inliner_chain = function;
2302 line_p = lookup_address_in_line_info_table (unit->line_table, addr,
2303 function, filename_ptr,
2305 return line_p || func_p;
2308 /* Check to see if line info is already decoded in a comp_unit.
2309 If not, decode it. Returns TRUE if no errors were encountered;
2313 comp_unit_maybe_decode_line_info (struct comp_unit *unit,
2314 struct dwarf2_debug *stash)
2319 if (! unit->line_table)
2321 if (! unit->stmtlist)
2327 unit->line_table = decode_line_info (unit, stash);
2329 if (! unit->line_table)
2335 if (unit->first_child_die_ptr < unit->end_ptr
2336 && ! scan_unit_for_symbols (unit))
2346 /* If UNIT contains SYM at ADDR, set the output parameters to the
2347 values for the line containing SYM. The output parameters,
2348 FILENAME_PTR, and LINENUMBER_PTR, are pointers to the objects to be
2351 Return TRUE if UNIT contains SYM, and no errors were encountered;
2355 comp_unit_find_line (struct comp_unit *unit,
2358 const char **filename_ptr,
2359 unsigned int *linenumber_ptr,
2360 struct dwarf2_debug *stash)
2362 if (!comp_unit_maybe_decode_line_info (unit, stash))
2365 if (sym->flags & BSF_FUNCTION)
2366 return lookup_symbol_in_function_table (unit, sym, addr,
2370 return lookup_symbol_in_variable_table (unit, sym, addr,
2375 static struct funcinfo *
2376 reverse_funcinfo_list (struct funcinfo *head)
2378 struct funcinfo *rhead;
2379 struct funcinfo *temp;
2381 for (rhead = NULL; head; head = temp)
2383 temp = head->prev_func;
2384 head->prev_func = rhead;
2390 static struct varinfo *
2391 reverse_varinfo_list (struct varinfo *head)
2393 struct varinfo *rhead;
2394 struct varinfo *temp;
2396 for (rhead = NULL; head; head = temp)
2398 temp = head->prev_var;
2399 head->prev_var = rhead;
2405 /* Extract all interesting funcinfos and varinfos of a compilation
2406 unit into hash tables for faster lookup. Returns TRUE if no
2407 errors were enountered; FALSE otherwise. */
2410 comp_unit_hash_info (struct dwarf2_debug *stash,
2411 struct comp_unit *unit,
2412 struct info_hash_table *funcinfo_hash_table,
2413 struct info_hash_table *varinfo_hash_table)
2415 struct funcinfo* each_func;
2416 struct varinfo* each_var;
2417 bfd_boolean okay = TRUE;
2419 BFD_ASSERT (stash->info_hash_status != STASH_INFO_HASH_DISABLED);
2421 if (!comp_unit_maybe_decode_line_info (unit, stash))
2424 BFD_ASSERT (!unit->cached);
2426 /* To preserve the original search order, we went to visit the function
2427 infos in the reversed order of the list. However, making the list
2428 bi-directional use quite a bit of extra memory. So we reverse
2429 the list first, traverse the list in the now reversed order and
2430 finally reverse the list again to get back the original order. */
2431 unit->function_table = reverse_funcinfo_list (unit->function_table);
2432 for (each_func = unit->function_table;
2434 each_func = each_func->prev_func)
2436 /* Skip nameless functions. */
2437 if (each_func->name)
2438 /* There is no need to copy name string into hash table as
2439 name string is either in the dwarf string buffer or
2440 info in the stash. */
2441 okay = insert_info_hash_table (funcinfo_hash_table, each_func->name,
2442 (void*) each_func, FALSE);
2444 unit->function_table = reverse_funcinfo_list (unit->function_table);
2448 /* We do the same for variable infos. */
2449 unit->variable_table = reverse_varinfo_list (unit->variable_table);
2450 for (each_var = unit->variable_table;
2452 each_var = each_var->prev_var)
2454 /* Skip stack vars and vars with no files or names. */
2455 if (each_var->stack == 0
2456 && each_var->file != NULL
2457 && each_var->name != NULL)
2458 /* There is no need to copy name string into hash table as
2459 name string is either in the dwarf string buffer or
2460 info in the stash. */
2461 okay = insert_info_hash_table (varinfo_hash_table, each_var->name,
2462 (void*) each_var, FALSE);
2465 unit->variable_table = reverse_varinfo_list (unit->variable_table);
2466 unit->cached = TRUE;
2470 /* Locate a section in a BFD containing debugging info. The search starts
2471 from the section after AFTER_SEC, or from the first section in the BFD if
2472 AFTER_SEC is NULL. The search works by examining the names of the
2473 sections. There are two permissiable names. The first is .debug_info.
2474 This is the standard DWARF2 name. The second is a prefix .gnu.linkonce.wi.
2475 This is a variation on the .debug_info section which has a checksum
2476 describing the contents appended onto the name. This allows the linker to
2477 identify and discard duplicate debugging sections for different
2478 compilation units. */
2479 #define DWARF2_DEBUG_INFO ".debug_info"
2480 #define DWARF2_COMPRESSED_DEBUG_INFO ".zdebug_info"
2481 #define GNU_LINKONCE_INFO ".gnu.linkonce.wi."
2484 find_debug_info (bfd *abfd, asection *after_sec)
2488 msec = after_sec != NULL ? after_sec->next : abfd->sections;
2492 if (strcmp (msec->name, DWARF2_DEBUG_INFO) == 0)
2495 if (strcmp (msec->name, DWARF2_COMPRESSED_DEBUG_INFO) == 0)
2498 if (CONST_STRNEQ (msec->name, GNU_LINKONCE_INFO))
2507 /* Unset vmas for adjusted sections in STASH. */
2510 unset_sections (struct dwarf2_debug *stash)
2513 struct adjusted_section *p;
2515 i = stash->adjusted_section_count;
2516 p = stash->adjusted_sections;
2517 for (; i > 0; i--, p++)
2518 p->section->vma = 0;
2521 /* Set unique VMAs for loadable and DWARF sections in ABFD and save
2522 VMAs in STASH for unset_sections. */
2525 place_sections (bfd *abfd, struct dwarf2_debug *stash)
2527 struct adjusted_section *p;
2530 if (stash->adjusted_section_count != 0)
2532 i = stash->adjusted_section_count;
2533 p = stash->adjusted_sections;
2534 for (; i > 0; i--, p++)
2535 p->section->vma = p->adj_vma;
2540 bfd_vma last_vma = 0, last_dwarf = 0;
2542 struct adjusted_section *p;
2545 for (sect = abfd->sections; sect != NULL; sect = sect->next)
2553 /* We need to adjust the VMAs of any .debug_info sections.
2554 Skip compressed ones, since no relocations could target
2555 them - they should not appear in object files anyway. */
2556 if (strcmp (sect->name, DWARF2_DEBUG_INFO) == 0)
2558 else if (CONST_STRNEQ (sect->name, GNU_LINKONCE_INFO))
2563 if (!is_debug_info && (sect->flags & SEC_LOAD) == 0)
2566 sz = sect->rawsize ? sect->rawsize : sect->size;
2573 amt = i * sizeof (struct adjusted_section);
2574 p = (struct adjusted_section *) bfd_zalloc (abfd, amt);
2578 stash->adjusted_sections = p;
2579 stash->adjusted_section_count = i;
2581 for (sect = abfd->sections; sect != NULL; sect = sect->next)
2589 /* We need to adjust the VMAs of any .debug_info sections.
2590 Skip compressed ones, since no relocations could target
2591 them - they should not appear in object files anyway. */
2592 if (strcmp (sect->name, DWARF2_DEBUG_INFO) == 0)
2594 else if (CONST_STRNEQ (sect->name, GNU_LINKONCE_INFO))
2599 if (!is_debug_info && (sect->flags & SEC_LOAD) == 0)
2602 sz = sect->rawsize ? sect->rawsize : sect->size;
2609 BFD_ASSERT (sect->alignment_power == 0);
2610 sect->vma = last_dwarf;
2613 else if (last_vma != 0)
2615 /* Align the new address to the current section
2617 last_vma = ((last_vma
2618 + ~((bfd_vma) -1 << sect->alignment_power))
2619 & ((bfd_vma) -1 << sect->alignment_power));
2620 sect->vma = last_vma;
2621 last_vma += sect->vma + sz;
2624 last_vma += sect->vma + sz;
2626 p->adj_vma = sect->vma;
2635 /* Look up a funcinfo by name using the given info hash table. If found,
2636 also update the locations pointed to by filename_ptr and linenumber_ptr.
2638 This function returns TRUE if a funcinfo that matches the given symbol
2639 and address is found with any error; otherwise it returns FALSE. */
2642 info_hash_lookup_funcinfo (struct info_hash_table *hash_table,
2645 const char **filename_ptr,
2646 unsigned int *linenumber_ptr)
2648 struct funcinfo* each_func;
2649 struct funcinfo* best_fit = NULL;
2650 struct info_list_node *node;
2651 struct arange *arange;
2652 const char *name = bfd_asymbol_name (sym);
2653 asection *sec = bfd_get_section (sym);
2655 for (node = lookup_info_hash_table (hash_table, name);
2659 each_func = node->info;
2660 for (arange = &each_func->arange;
2662 arange = arange->next)
2664 if ((!each_func->sec || each_func->sec == sec)
2665 && addr >= arange->low
2666 && addr < arange->high
2668 || ((arange->high - arange->low)
2669 < (best_fit->arange.high - best_fit->arange.low))))
2670 best_fit = each_func;
2676 best_fit->sec = sec;
2677 *filename_ptr = best_fit->file;
2678 *linenumber_ptr = best_fit->line;
2685 /* Look up a varinfo by name using the given info hash table. If found,
2686 also update the locations pointed to by filename_ptr and linenumber_ptr.
2688 This function returns TRUE if a varinfo that matches the given symbol
2689 and address is found with any error; otherwise it returns FALSE. */
2692 info_hash_lookup_varinfo (struct info_hash_table *hash_table,
2695 const char **filename_ptr,
2696 unsigned int *linenumber_ptr)
2698 const char *name = bfd_asymbol_name (sym);
2699 asection *sec = bfd_get_section (sym);
2700 struct varinfo* each;
2701 struct info_list_node *node;
2703 for (node = lookup_info_hash_table (hash_table, name);
2708 if (each->addr == addr
2709 && (!each->sec || each->sec == sec))
2712 *filename_ptr = each->file;
2713 *linenumber_ptr = each->line;
2721 /* Update the funcinfo and varinfo info hash tables if they are
2722 not up to date. Returns TRUE if there is no error; otherwise
2723 returns FALSE and disable the info hash tables. */
2726 stash_maybe_update_info_hash_tables (struct dwarf2_debug *stash)
2728 struct comp_unit *each;
2730 /* Exit if hash tables are up-to-date. */
2731 if (stash->all_comp_units == stash->hash_units_head)
2734 if (stash->hash_units_head)
2735 each = stash->hash_units_head->prev_unit;
2737 each = stash->last_comp_unit;
2741 if (!comp_unit_hash_info (stash, each, stash->funcinfo_hash_table,
2742 stash->varinfo_hash_table))
2744 stash->info_hash_status = STASH_INFO_HASH_DISABLED;
2747 each = each->prev_unit;
2750 stash->hash_units_head = stash->all_comp_units;
2754 /* Check consistency of info hash tables. This is for debugging only. */
2756 static void ATTRIBUTE_UNUSED
2757 stash_verify_info_hash_table (struct dwarf2_debug *stash)
2759 struct comp_unit *each_unit;
2760 struct funcinfo *each_func;
2761 struct varinfo *each_var;
2762 struct info_list_node *node;
2765 for (each_unit = stash->all_comp_units;
2767 each_unit = each_unit->next_unit)
2769 for (each_func = each_unit->function_table;
2771 each_func = each_func->prev_func)
2773 if (!each_func->name)
2775 node = lookup_info_hash_table (stash->funcinfo_hash_table,
2779 while (node && !found)
2781 found = node->info == each_func;
2787 for (each_var = each_unit->variable_table;
2789 each_var = each_var->prev_var)
2791 if (!each_var->name || !each_var->file || each_var->stack)
2793 node = lookup_info_hash_table (stash->varinfo_hash_table,
2797 while (node && !found)
2799 found = node->info == each_var;
2807 /* Check to see if we want to enable the info hash tables, which consume
2808 quite a bit of memory. Currently we only check the number times
2809 bfd_dwarf2_find_line is called. In the future, we may also want to
2810 take the number of symbols into account. */
2813 stash_maybe_enable_info_hash_tables (bfd *abfd, struct dwarf2_debug *stash)
2815 BFD_ASSERT (stash->info_hash_status == STASH_INFO_HASH_OFF);
2817 if (stash->info_hash_count++ < STASH_INFO_HASH_TRIGGER)
2820 /* FIXME: Maybe we should check the reduce_memory_overheads
2821 and optimize fields in the bfd_link_info structure ? */
2823 /* Create hash tables. */
2824 stash->funcinfo_hash_table = create_info_hash_table (abfd);
2825 stash->varinfo_hash_table = create_info_hash_table (abfd);
2826 if (!stash->funcinfo_hash_table || !stash->varinfo_hash_table)
2828 /* Turn off info hashes if any allocation above fails. */
2829 stash->info_hash_status = STASH_INFO_HASH_DISABLED;
2832 /* We need a forced update so that the info hash tables will
2833 be created even though there is no compilation unit. That
2834 happens if STASH_INFO_HASH_TRIGGER is 0. */
2835 stash_maybe_update_info_hash_tables (stash);
2836 stash->info_hash_status = STASH_INFO_HASH_ON;
2839 /* Find the file and line associated with a symbol and address using the
2840 info hash tables of a stash. If there is a match, the function returns
2841 TRUE and update the locations pointed to by filename_ptr and linenumber_ptr;
2842 otherwise it returns FALSE. */
2845 stash_find_line_fast (struct dwarf2_debug *stash,
2848 const char **filename_ptr,
2849 unsigned int *linenumber_ptr)
2851 BFD_ASSERT (stash->info_hash_status == STASH_INFO_HASH_ON);
2853 if (sym->flags & BSF_FUNCTION)
2854 return info_hash_lookup_funcinfo (stash->funcinfo_hash_table, sym, addr,
2855 filename_ptr, linenumber_ptr);
2856 return info_hash_lookup_varinfo (stash->varinfo_hash_table, sym, addr,
2857 filename_ptr, linenumber_ptr);
2860 /* Find the source code location of SYMBOL. If SYMBOL is NULL
2861 then find the nearest source code location corresponding to
2862 the address SECTION + OFFSET.
2863 Returns TRUE if the line is found without error and fills in
2864 FILENAME_PTR and LINENUMBER_PTR. In the case where SYMBOL was
2865 NULL the FUNCTIONNAME_PTR is also filled in.
2866 SYMBOLS contains the symbol table for ABFD.
2867 ADDR_SIZE is the number of bytes in the initial .debug_info length
2868 field and in the abbreviation offset, or zero to indicate that the
2869 default value should be used. */
2872 find_line (bfd *abfd,
2877 const char **filename_ptr,
2878 const char **functionname_ptr,
2879 unsigned int *linenumber_ptr,
2880 unsigned int addr_size,
2883 /* Read each compilation unit from the section .debug_info, and check
2884 to see if it contains the address we are searching for. If yes,
2885 lookup the address, and return the line number info. If no, go
2886 on to the next compilation unit.
2888 We keep a list of all the previously read compilation units, and
2889 a pointer to the next un-read compilation unit. Check the
2890 previously read units before reading more. */
2891 struct dwarf2_debug *stash;
2892 /* What address are we looking for? */
2894 struct comp_unit* each;
2895 bfd_vma found = FALSE;
2896 bfd_boolean do_line;
2902 bfd_size_type amt = sizeof (struct dwarf2_debug);
2904 stash = bfd_zalloc (abfd, amt);
2909 /* In a relocatable file, 2 functions may have the same address.
2910 We change the section vma so that they won't overlap. */
2911 if ((abfd->flags & (EXEC_P | DYNAMIC)) == 0)
2913 if (! place_sections (abfd, stash))
2917 do_line = (section == NULL
2919 && functionname_ptr == NULL
2923 addr = symbol->value;
2924 section = bfd_get_section (symbol);
2926 else if (section != NULL
2927 && functionname_ptr != NULL
2933 if (section->output_section)
2934 addr += section->output_section->vma + section->output_offset;
2936 addr += section->vma;
2937 *filename_ptr = NULL;
2939 *functionname_ptr = NULL;
2940 *linenumber_ptr = 0;
2945 bfd_size_type total_size;
2950 msec = find_debug_info (abfd, NULL);
2953 char * debug_filename = bfd_follow_gnu_debuglink (abfd, DEBUGDIR);
2955 if (debug_filename == NULL)
2956 /* No dwarf2 info, and no gnu_debuglink to follow.
2957 Note that at this point the stash has been allocated, but
2958 contains zeros. This lets future calls to this function
2959 fail more quickly. */
2962 if ((debug_bfd = bfd_openr (debug_filename, NULL)) == NULL
2963 || ! bfd_check_format (debug_bfd, bfd_object)
2964 || (msec = find_debug_info (debug_bfd, NULL)) == NULL)
2967 bfd_close (debug_bfd);
2968 /* FIXME: Should we report our failure to follow the debuglink ? */
2969 free (debug_filename);
2976 /* There can be more than one DWARF2 info section in a BFD these
2977 days. First handle the easy case when there's only one. If
2978 there's more than one, try case two: none of the sections is
2979 compressed. In that case, read them all in and produce one
2980 large stash. We do this in two passes - in the first pass we
2981 just accumulate the section sizes, and in the second pass we
2982 read in the section's contents. (The allows us to avoid
2983 reallocing the data as we add sections to the stash.) If
2984 some or all sections are compressed, then do things the slow
2985 way, with a bunch of reallocs. */
2987 if (! find_debug_info (debug_bfd, msec))
2989 /* Case 1: only one info section. */
2990 total_size = msec->size;
2991 if (! read_section (debug_bfd, ".debug_info", ".zdebug_info",
2993 &stash->info_ptr_memory, &total_size))
2998 int all_uncompressed = 1;
2999 for (total_size = 0; msec; msec = find_debug_info (debug_bfd, msec))
3001 total_size += msec->size;
3002 if (strcmp (msec->name, DWARF2_COMPRESSED_DEBUG_INFO) == 0)
3003 all_uncompressed = 0;
3005 if (all_uncompressed)
3007 /* Case 2: multiple sections, but none is compressed. */
3008 stash->info_ptr_memory = bfd_malloc (total_size);
3009 if (stash->info_ptr_memory == NULL)
3013 for (msec = find_debug_info (debug_bfd, NULL);
3015 msec = find_debug_info (debug_bfd, msec))
3023 if (!(bfd_simple_get_relocated_section_contents
3024 (debug_bfd, msec, stash->info_ptr_memory + total_size,
3033 /* Case 3: multiple sections, some or all compressed. */
3034 stash->info_ptr_memory = NULL;
3036 for (msec = find_debug_info (debug_bfd, NULL);
3038 msec = find_debug_info (debug_bfd, msec))
3040 bfd_size_type size = msec->size;
3046 buffer = (bfd_simple_get_relocated_section_contents
3047 (debug_bfd, msec, NULL, symbols));
3051 if (strcmp (msec->name, DWARF2_COMPRESSED_DEBUG_INFO) == 0)
3053 if (! bfd_uncompress_section_contents (&buffer, &size))
3059 stash->info_ptr_memory = bfd_realloc (stash->info_ptr_memory,
3061 memcpy (stash->info_ptr_memory + total_size, buffer, size);
3068 stash->info_ptr = stash->info_ptr_memory;
3069 stash->info_ptr_end = stash->info_ptr + total_size;
3070 stash->sec = find_debug_info (debug_bfd, NULL);
3071 stash->sec_info_ptr = stash->info_ptr;
3072 stash->syms = symbols;
3073 stash->bfd = debug_bfd;
3076 /* A null info_ptr indicates that there is no dwarf2 info
3077 (or that an error occured while setting up the stash). */
3078 if (! stash->info_ptr)
3081 stash->inliner_chain = NULL;
3083 /* Check the previously read comp. units first. */
3086 /* The info hash tables use quite a bit of memory. We may not want to
3087 always use them. We use some heuristics to decide if and when to
3089 if (stash->info_hash_status == STASH_INFO_HASH_OFF)
3090 stash_maybe_enable_info_hash_tables (abfd, stash);
3092 /* Keep info hash table up to date if they are available. Note that we
3093 may disable the hash tables if there is any error duing update. */
3094 if (stash->info_hash_status == STASH_INFO_HASH_ON)
3095 stash_maybe_update_info_hash_tables (stash);
3097 if (stash->info_hash_status == STASH_INFO_HASH_ON)
3099 found = stash_find_line_fast (stash, symbol, addr, filename_ptr,
3106 /* Check the previously read comp. units first. */
3107 for (each = stash->all_comp_units; each; each = each->next_unit)
3108 if ((symbol->flags & BSF_FUNCTION) == 0
3109 || comp_unit_contains_address (each, addr))
3111 found = comp_unit_find_line (each, symbol, addr, filename_ptr,
3112 linenumber_ptr, stash);
3120 for (each = stash->all_comp_units; each; each = each->next_unit)
3122 found = (comp_unit_contains_address (each, addr)
3123 && comp_unit_find_nearest_line (each, addr,
3133 /* The DWARF2 spec says that the initial length field, and the
3134 offset of the abbreviation table, should both be 4-byte values.
3135 However, some compilers do things differently. */
3138 BFD_ASSERT (addr_size == 4 || addr_size == 8);
3140 /* Read each remaining comp. units checking each as they are read. */
3141 while (stash->info_ptr < stash->info_ptr_end)
3144 unsigned int offset_size = addr_size;
3145 bfd_byte *info_ptr_unit = stash->info_ptr;
3147 length = read_4_bytes (stash->bfd, stash->info_ptr);
3148 /* A 0xffffff length is the DWARF3 way of indicating
3149 we use 64-bit offsets, instead of 32-bit offsets. */
3150 if (length == 0xffffffff)
3153 length = read_8_bytes (stash->bfd, stash->info_ptr + 4);
3154 stash->info_ptr += 12;
3156 /* A zero length is the IRIX way of indicating 64-bit offsets,
3157 mostly because the 64-bit length will generally fit in 32
3158 bits, and the endianness helps. */
3159 else if (length == 0)
3162 length = read_4_bytes (stash->bfd, stash->info_ptr + 4);
3163 stash->info_ptr += 8;
3165 /* In the absence of the hints above, we assume 32-bit DWARF2
3166 offsets even for targets with 64-bit addresses, because:
3167 a) most of the time these targets will not have generated
3168 more than 2Gb of debug info and so will not need 64-bit
3171 b) if they do use 64-bit offsets but they are not using
3172 the size hints that are tested for above then they are
3173 not conforming to the DWARF3 standard anyway. */
3174 else if (addr_size == 8)
3177 stash->info_ptr += 4;
3180 stash->info_ptr += 4;
3184 each = parse_comp_unit (stash, length, info_ptr_unit,
3187 /* The dwarf information is damaged, don't trust it any
3190 stash->info_ptr += length;
3192 if ((bfd_vma) (stash->info_ptr - stash->sec_info_ptr)
3193 == stash->sec->size)
3195 stash->sec = find_debug_info (stash->bfd, stash->sec);
3196 stash->sec_info_ptr = stash->info_ptr;
3199 if (stash->all_comp_units)
3200 stash->all_comp_units->prev_unit = each;
3202 stash->last_comp_unit = each;
3204 each->next_unit = stash->all_comp_units;
3205 stash->all_comp_units = each;
3207 /* DW_AT_low_pc and DW_AT_high_pc are optional for
3208 compilation units. If we don't have them (i.e.,
3209 unit->high == 0), we need to consult the line info table
3210 to see if a compilation unit contains the given
3213 found = (((symbol->flags & BSF_FUNCTION) == 0
3214 || each->arange.high == 0
3215 || comp_unit_contains_address (each, addr))
3216 && comp_unit_find_line (each, symbol, addr,
3221 found = ((each->arange.high == 0
3222 || comp_unit_contains_address (each, addr))
3223 && comp_unit_find_nearest_line (each, addr,
3234 if ((abfd->flags & (EXEC_P | DYNAMIC)) == 0)
3235 unset_sections (stash);
3240 /* The DWARF2 version of find_nearest_line.
3241 Return TRUE if the line is found without error. */
3244 _bfd_dwarf2_find_nearest_line (bfd *abfd,
3248 const char **filename_ptr,
3249 const char **functionname_ptr,
3250 unsigned int *linenumber_ptr,
3251 unsigned int addr_size,
3254 return find_line (abfd, section, offset, NULL, symbols, filename_ptr,
3255 functionname_ptr, linenumber_ptr, addr_size,
3259 /* The DWARF2 version of find_line.
3260 Return TRUE if the line is found without error. */
3263 _bfd_dwarf2_find_line (bfd *abfd,
3266 const char **filename_ptr,
3267 unsigned int *linenumber_ptr,
3268 unsigned int addr_size,
3271 return find_line (abfd, NULL, 0, symbol, symbols, filename_ptr,
3272 NULL, linenumber_ptr, addr_size,
3277 _bfd_dwarf2_find_inliner_info (bfd *abfd ATTRIBUTE_UNUSED,
3278 const char **filename_ptr,
3279 const char **functionname_ptr,
3280 unsigned int *linenumber_ptr,
3283 struct dwarf2_debug *stash;
3288 struct funcinfo *func = stash->inliner_chain;
3290 if (func && func->caller_func)
3292 *filename_ptr = func->caller_file;
3293 *functionname_ptr = func->caller_func->name;
3294 *linenumber_ptr = func->caller_line;
3295 stash->inliner_chain = func->caller_func;
3304 _bfd_dwarf2_cleanup_debug_info (bfd *abfd)
3306 struct comp_unit *each;
3307 struct dwarf2_debug *stash;
3309 if (abfd == NULL || elf_tdata (abfd) == NULL)
3312 stash = elf_tdata (abfd)->dwarf2_find_line_info;
3317 for (each = stash->all_comp_units; each; each = each->next_unit)
3319 struct abbrev_info **abbrevs = each->abbrevs;
3320 struct funcinfo *function_table = each->function_table;
3321 struct varinfo *variable_table = each->variable_table;
3324 for (i = 0; i < ABBREV_HASH_SIZE; i++)
3326 struct abbrev_info *abbrev = abbrevs[i];
3330 free (abbrev->attrs);
3331 abbrev = abbrev->next;
3335 if (each->line_table)
3337 free (each->line_table->dirs);
3338 free (each->line_table->files);
3341 while (function_table)
3343 if (function_table->file)
3345 free (function_table->file);
3346 function_table->file = NULL;
3349 if (function_table->caller_file)
3351 free (function_table->caller_file);
3352 function_table->caller_file = NULL;
3354 function_table = function_table->prev_func;
3357 while (variable_table)
3359 if (variable_table->file)
3361 free (variable_table->file);
3362 variable_table->file = NULL;
3365 variable_table = variable_table->prev_var;
3369 if (stash->dwarf_abbrev_buffer)
3370 free (stash->dwarf_abbrev_buffer);
3371 if (stash->dwarf_line_buffer)
3372 free (stash->dwarf_line_buffer);
3373 if (stash->dwarf_str_buffer)
3374 free (stash->dwarf_str_buffer);
3375 if (stash->dwarf_ranges_buffer)
3376 free (stash->dwarf_ranges_buffer);
3377 if (stash->info_ptr_memory)
3378 free (stash->info_ptr_memory);