| /* DWARF 2 support. |
| Copyright (C) 1994-2019 Free Software Foundation, Inc. |
| |
| Adapted from gdb/dwarf2read.c by Gavin Koch of Cygnus Solutions |
| (gavin@cygnus.com). |
| |
| From the dwarf2read.c header: |
| Adapted by Gary Funck (gary@intrepid.com), Intrepid Technology, |
| Inc. with support from Florida State University (under contract |
| with the Ada Joint Program Office), and Silicon Graphics, Inc. |
| Initial contribution by Brent Benson, Harris Computer Systems, Inc., |
| based on Fred Fish's (Cygnus Support) implementation of DWARF 1 |
| support in dwarfread.c |
| |
| This file is part of BFD. |
| |
| This program is free software; you can redistribute it and/or modify |
| it under the terms of the GNU General Public License as published by |
| the Free Software Foundation; either version 3 of the License, or (at |
| your option) any later version. |
| |
| This program is distributed in the hope that it will be useful, but |
| WITHOUT ANY WARRANTY; without even the implied warranty of |
| MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| General Public License for more details. |
| |
| You should have received a copy of the GNU General Public License |
| along with this program; if not, write to the Free Software |
| Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, |
| MA 02110-1301, USA. */ |
| |
| #include "sysdep.h" |
| #include "bfd.h" |
| #include "libiberty.h" |
| #include "libbfd.h" |
| #include "elf-bfd.h" |
| #include "dwarf2.h" |
| #include "hashtab.h" |
| |
| /* The data in the .debug_line statement prologue looks like this. */ |
| |
| struct line_head |
| { |
| bfd_vma total_length; |
| unsigned short version; |
| bfd_vma prologue_length; |
| unsigned char minimum_instruction_length; |
| unsigned char maximum_ops_per_insn; |
| unsigned char default_is_stmt; |
| int line_base; |
| unsigned char line_range; |
| unsigned char opcode_base; |
| unsigned char *standard_opcode_lengths; |
| }; |
| |
| /* Attributes have a name and a value. */ |
| |
| struct attribute |
| { |
| enum dwarf_attribute name; |
| enum dwarf_form form; |
| union |
| { |
| char *str; |
| struct dwarf_block *blk; |
| bfd_uint64_t val; |
| bfd_int64_t sval; |
| } |
| u; |
| }; |
| |
| /* Blocks are a bunch of untyped bytes. */ |
| struct dwarf_block |
| { |
| unsigned int size; |
| bfd_byte *data; |
| }; |
| |
| struct adjusted_section |
| { |
| asection *section; |
| bfd_vma adj_vma; |
| }; |
| |
| struct dwarf2_debug_file |
| { |
| /* The actual bfd from which debug info was loaded. Might be |
| different to orig_bfd because of gnu_debuglink sections. */ |
| bfd *bfd_ptr; |
| |
| /* Pointer to the symbol table. */ |
| asymbol **syms; |
| |
| /* The current info pointer for the .debug_info section being parsed. */ |
| bfd_byte *info_ptr; |
| |
| /* A pointer to the memory block allocated for .debug_info sections. */ |
| bfd_byte *dwarf_info_buffer; |
| |
| /* Length of the loaded .debug_info sections. */ |
| bfd_size_type dwarf_info_size; |
| |
| /* Pointer to the .debug_abbrev section loaded into memory. */ |
| bfd_byte *dwarf_abbrev_buffer; |
| |
| /* Length of the loaded .debug_abbrev section. */ |
| bfd_size_type dwarf_abbrev_size; |
| |
| /* Buffer for decode_line_info. */ |
| bfd_byte *dwarf_line_buffer; |
| |
| /* Length of the loaded .debug_line section. */ |
| bfd_size_type dwarf_line_size; |
| |
| /* Pointer to the .debug_str section loaded into memory. */ |
| bfd_byte *dwarf_str_buffer; |
| |
| /* Length of the loaded .debug_str section. */ |
| bfd_size_type dwarf_str_size; |
| |
| /* Pointer to the .debug_line_str section loaded into memory. */ |
| bfd_byte *dwarf_line_str_buffer; |
| |
| /* Length of the loaded .debug_line_str section. */ |
| bfd_size_type dwarf_line_str_size; |
| |
| /* Pointer to the .debug_ranges section loaded into memory. */ |
| bfd_byte *dwarf_ranges_buffer; |
| |
| /* Length of the loaded .debug_ranges section. */ |
| bfd_size_type dwarf_ranges_size; |
| |
| /* A list of all previously read comp_units. */ |
| struct comp_unit *all_comp_units; |
| |
| /* Last comp unit in list above. */ |
| struct comp_unit *last_comp_unit; |
| |
| /* Line table at line_offset zero. */ |
| struct line_info_table *line_table; |
| |
| /* Hash table to map offsets to decoded abbrevs. */ |
| htab_t abbrev_offsets; |
| }; |
| |
| struct dwarf2_debug |
| { |
| /* Names of the debug sections. */ |
| const struct dwarf_debug_section *debug_sections; |
| |
| /* Per-file stuff. */ |
| struct dwarf2_debug_file f, alt; |
| |
| /* Pointer to the original bfd for which debug was loaded. This is what |
| we use to compare and so check that the cached debug data is still |
| valid - it saves having to possibly dereference the gnu_debuglink each |
| time. */ |
| bfd *orig_bfd; |
| |
| /* If the most recent call to bfd_find_nearest_line was given an |
| address in an inlined function, preserve a pointer into the |
| calling chain for subsequent calls to bfd_find_inliner_info to |
| use. */ |
| struct funcinfo *inliner_chain; |
| |
| /* Section VMAs at the time the stash was built. */ |
| bfd_vma *sec_vma; |
| /* Number of sections in the SEC_VMA table. */ |
| unsigned int sec_vma_count; |
| |
| /* Number of sections whose VMA we must adjust. */ |
| int adjusted_section_count; |
| |
| /* Array of sections with adjusted VMA. */ |
| struct adjusted_section *adjusted_sections; |
| |
| /* Number of times find_line is called. This is used in |
| the heuristic for enabling the info hash tables. */ |
| int info_hash_count; |
| |
| #define STASH_INFO_HASH_TRIGGER 100 |
| |
| /* Hash table mapping symbol names to function infos. */ |
| struct info_hash_table *funcinfo_hash_table; |
| |
| /* Hash table mapping symbol names to variable infos. */ |
| struct info_hash_table *varinfo_hash_table; |
| |
| /* Head of comp_unit list in the last hash table update. */ |
| struct comp_unit *hash_units_head; |
| |
| /* Status of info hash. */ |
| int info_hash_status; |
| #define STASH_INFO_HASH_OFF 0 |
| #define STASH_INFO_HASH_ON 1 |
| #define STASH_INFO_HASH_DISABLED 2 |
| |
| /* True if we opened bfd_ptr. */ |
| bfd_boolean close_on_cleanup; |
| }; |
| |
| struct arange |
| { |
| struct arange *next; |
| bfd_vma low; |
| bfd_vma high; |
| }; |
| |
| /* A minimal decoding of DWARF2 compilation units. We only decode |
| what's needed to get to the line number information. */ |
| |
| struct comp_unit |
| { |
| /* Chain the previously read compilation units. */ |
| struct comp_unit *next_unit; |
| |
| /* Likewise, chain the compilation unit read after this one. |
| The comp units are stored in reversed reading order. */ |
| struct comp_unit *prev_unit; |
| |
| /* Keep the bfd convenient (for memory allocation). */ |
| bfd *abfd; |
| |
| /* The lowest and highest addresses contained in this compilation |
| unit as specified in the compilation unit header. */ |
| struct arange arange; |
| |
| /* The DW_AT_name attribute (for error messages). */ |
| char *name; |
| |
| /* The abbrev hash table. */ |
| struct abbrev_info **abbrevs; |
| |
| /* DW_AT_language. */ |
| int lang; |
| |
| /* Note that an error was found by comp_unit_find_nearest_line. */ |
| int error; |
| |
| /* The DW_AT_comp_dir attribute. */ |
| char *comp_dir; |
| |
| /* TRUE if there is a line number table associated with this comp. unit. */ |
| int stmtlist; |
| |
| /* Pointer to the current comp_unit so that we can find a given entry |
| by its reference. */ |
| bfd_byte *info_ptr_unit; |
| |
| /* The offset into .debug_line of the line number table. */ |
| unsigned long line_offset; |
| |
| /* Pointer to the first child die for the comp unit. */ |
| bfd_byte *first_child_die_ptr; |
| |
| /* The end of the comp unit. */ |
| bfd_byte *end_ptr; |
| |
| /* The decoded line number, NULL if not yet decoded. */ |
| struct line_info_table *line_table; |
| |
| /* A list of the functions found in this comp. unit. */ |
| struct funcinfo *function_table; |
| |
| /* A table of function information references searchable by address. */ |
| struct lookup_funcinfo *lookup_funcinfo_table; |
| |
| /* Number of functions in the function_table and sorted_function_table. */ |
| bfd_size_type number_of_functions; |
| |
| /* A list of the variables found in this comp. unit. */ |
| struct varinfo *variable_table; |
| |
| /* Pointers to dwarf2_debug structures. */ |
| struct dwarf2_debug *stash; |
| struct dwarf2_debug_file *file; |
| |
| /* DWARF format version for this unit - from unit header. */ |
| int version; |
| |
| /* Address size for this unit - from unit header. */ |
| unsigned char addr_size; |
| |
| /* Offset size for this unit - from unit header. */ |
| unsigned char offset_size; |
| |
| /* Base address for this unit - from DW_AT_low_pc attribute of |
| DW_TAG_compile_unit DIE */ |
| bfd_vma base_address; |
| |
| /* TRUE if symbols are cached in hash table for faster lookup by name. */ |
| bfd_boolean cached; |
| }; |
| |
| /* This data structure holds the information of an abbrev. */ |
| struct abbrev_info |
| { |
| unsigned int number; /* Number identifying abbrev. */ |
| enum dwarf_tag tag; /* DWARF tag. */ |
| int has_children; /* Boolean. */ |
| unsigned int num_attrs; /* Number of attributes. */ |
| struct attr_abbrev *attrs; /* An array of attribute descriptions. */ |
| struct abbrev_info *next; /* Next in chain. */ |
| }; |
| |
| struct attr_abbrev |
| { |
| enum dwarf_attribute name; |
| enum dwarf_form form; |
| bfd_vma implicit_const; |
| }; |
| |
| /* Map of uncompressed DWARF debug section name to compressed one. It |
| is terminated by NULL uncompressed_name. */ |
| |
| const struct dwarf_debug_section dwarf_debug_sections[] = |
| { |
| { ".debug_abbrev", ".zdebug_abbrev" }, |
| { ".debug_aranges", ".zdebug_aranges" }, |
| { ".debug_frame", ".zdebug_frame" }, |
| { ".debug_info", ".zdebug_info" }, |
| { ".debug_info", ".zdebug_info" }, |
| { ".debug_line", ".zdebug_line" }, |
| { ".debug_loc", ".zdebug_loc" }, |
| { ".debug_macinfo", ".zdebug_macinfo" }, |
| { ".debug_macro", ".zdebug_macro" }, |
| { ".debug_pubnames", ".zdebug_pubnames" }, |
| { ".debug_pubtypes", ".zdebug_pubtypes" }, |
| { ".debug_ranges", ".zdebug_ranges" }, |
| { ".debug_static_func", ".zdebug_static_func" }, |
| { ".debug_static_vars", ".zdebug_static_vars" }, |
| { ".debug_str", ".zdebug_str", }, |
| { ".debug_str", ".zdebug_str", }, |
| { ".debug_line_str", ".zdebug_line_str", }, |
| { ".debug_types", ".zdebug_types" }, |
| /* GNU DWARF 1 extensions */ |
| { ".debug_sfnames", ".zdebug_sfnames" }, |
| { ".debug_srcinfo", ".zebug_srcinfo" }, |
| /* SGI/MIPS DWARF 2 extensions */ |
| { ".debug_funcnames", ".zdebug_funcnames" }, |
| { ".debug_typenames", ".zdebug_typenames" }, |
| { ".debug_varnames", ".zdebug_varnames" }, |
| { ".debug_weaknames", ".zdebug_weaknames" }, |
| { NULL, NULL }, |
| }; |
| |
| /* NB/ Numbers in this enum must match up with indices |
| into the dwarf_debug_sections[] array above. */ |
| enum dwarf_debug_section_enum |
| { |
| debug_abbrev = 0, |
| debug_aranges, |
| debug_frame, |
| debug_info, |
| debug_info_alt, |
| debug_line, |
| debug_loc, |
| debug_macinfo, |
| debug_macro, |
| debug_pubnames, |
| debug_pubtypes, |
| debug_ranges, |
| debug_static_func, |
| debug_static_vars, |
| debug_str, |
| debug_str_alt, |
| debug_line_str, |
| debug_types, |
| debug_sfnames, |
| debug_srcinfo, |
| debug_funcnames, |
| debug_typenames, |
| debug_varnames, |
| debug_weaknames, |
| debug_max |
| }; |
| |
| /* A static assertion. */ |
| extern int dwarf_debug_section_assert[ARRAY_SIZE (dwarf_debug_sections) |
| == debug_max + 1 ? 1 : -1]; |
| |
| #ifndef ABBREV_HASH_SIZE |
| #define ABBREV_HASH_SIZE 121 |
| #endif |
| #ifndef ATTR_ALLOC_CHUNK |
| #define ATTR_ALLOC_CHUNK 4 |
| #endif |
| |
| /* Variable and function hash tables. This is used to speed up look-up |
| in lookup_symbol_in_var_table() and lookup_symbol_in_function_table(). |
| In order to share code between variable and function infos, we use |
| a list of untyped pointer for all variable/function info associated with |
| a symbol. We waste a bit of memory for list with one node but that |
| simplifies the code. */ |
| |
| struct info_list_node |
| { |
| struct info_list_node *next; |
| void *info; |
| }; |
| |
| /* Info hash entry. */ |
| struct info_hash_entry |
| { |
| struct bfd_hash_entry root; |
| struct info_list_node *head; |
| }; |
| |
| struct info_hash_table |
| { |
| struct bfd_hash_table base; |
| }; |
| |
| /* Function to create a new entry in info hash table. */ |
| |
| static struct bfd_hash_entry * |
| info_hash_table_newfunc (struct bfd_hash_entry *entry, |
| struct bfd_hash_table *table, |
| const char *string) |
| { |
| struct info_hash_entry *ret = (struct info_hash_entry *) entry; |
| |
| /* Allocate the structure if it has not already been allocated by a |
| derived class. */ |
| if (ret == NULL) |
| { |
| ret = (struct info_hash_entry *) bfd_hash_allocate (table, |
| sizeof (* ret)); |
| if (ret == NULL) |
| return NULL; |
| } |
| |
| /* Call the allocation method of the base class. */ |
| ret = ((struct info_hash_entry *) |
| bfd_hash_newfunc ((struct bfd_hash_entry *) ret, table, string)); |
| |
| /* Initialize the local fields here. */ |
| if (ret) |
| ret->head = NULL; |
| |
| return (struct bfd_hash_entry *) ret; |
| } |
| |
| /* Function to create a new info hash table. It returns a pointer to the |
| newly created table or NULL if there is any error. We need abfd |
| solely for memory allocation. */ |
| |
| static struct info_hash_table * |
| create_info_hash_table (bfd *abfd) |
| { |
| struct info_hash_table *hash_table; |
| |
| hash_table = ((struct info_hash_table *) |
| bfd_alloc (abfd, sizeof (struct info_hash_table))); |
| if (!hash_table) |
| return hash_table; |
| |
| if (!bfd_hash_table_init (&hash_table->base, info_hash_table_newfunc, |
| sizeof (struct info_hash_entry))) |
| { |
| bfd_release (abfd, hash_table); |
| return NULL; |
| } |
| |
| return hash_table; |
| } |
| |
| /* Insert an info entry into an info hash table. We do not check of |
| duplicate entries. Also, the caller need to guarantee that the |
| right type of info in inserted as info is passed as a void* pointer. |
| This function returns true if there is no error. */ |
| |
| static bfd_boolean |
| insert_info_hash_table (struct info_hash_table *hash_table, |
| const char *key, |
| void *info, |
| bfd_boolean copy_p) |
| { |
| struct info_hash_entry *entry; |
| struct info_list_node *node; |
| |
| entry = (struct info_hash_entry*) bfd_hash_lookup (&hash_table->base, |
| key, TRUE, copy_p); |
| if (!entry) |
| return FALSE; |
| |
| node = (struct info_list_node *) bfd_hash_allocate (&hash_table->base, |
| sizeof (*node)); |
| if (!node) |
| return FALSE; |
| |
| node->info = info; |
| node->next = entry->head; |
| entry->head = node; |
| |
| return TRUE; |
| } |
| |
| /* Look up an info entry list from an info hash table. Return NULL |
| if there is none. */ |
| |
| static struct info_list_node * |
| lookup_info_hash_table (struct info_hash_table *hash_table, const char *key) |
| { |
| struct info_hash_entry *entry; |
| |
| entry = (struct info_hash_entry*) bfd_hash_lookup (&hash_table->base, key, |
| FALSE, FALSE); |
| return entry ? entry->head : NULL; |
| } |
| |
| /* Read a section into its appropriate place in the dwarf2_debug |
| struct (indicated by SECTION_BUFFER and SECTION_SIZE). If SYMS is |
| not NULL, use bfd_simple_get_relocated_section_contents to read the |
| section contents, otherwise use bfd_get_section_contents. Fail if |
| the located section does not contain at least OFFSET bytes. */ |
| |
| static bfd_boolean |
| read_section (bfd * abfd, |
| const struct dwarf_debug_section *sec, |
| asymbol ** syms, |
| bfd_uint64_t offset, |
| bfd_byte ** section_buffer, |
| bfd_size_type * section_size) |
| { |
| asection *msec; |
| const char *section_name = sec->uncompressed_name; |
| bfd_byte *contents = *section_buffer; |
| bfd_size_type amt; |
| |
| /* The section may have already been read. */ |
| if (contents == NULL) |
| { |
| msec = bfd_get_section_by_name (abfd, section_name); |
| if (! msec) |
| { |
| section_name = sec->compressed_name; |
| if (section_name != NULL) |
| msec = bfd_get_section_by_name (abfd, section_name); |
| } |
| if (! msec) |
| { |
| _bfd_error_handler (_("DWARF error: can't find %s section."), |
| sec->uncompressed_name); |
| bfd_set_error (bfd_error_bad_value); |
| return FALSE; |
| } |
| |
| *section_size = msec->rawsize ? msec->rawsize : msec->size; |
| /* Paranoia - alloc one extra so that we can make sure a string |
| section is NUL terminated. */ |
| amt = *section_size + 1; |
| if (amt == 0) |
| { |
| bfd_set_error (bfd_error_no_memory); |
| return FALSE; |
| } |
| contents = (bfd_byte *) bfd_malloc (amt); |
| if (contents == NULL) |
| return FALSE; |
| if (syms |
| ? !bfd_simple_get_relocated_section_contents (abfd, msec, contents, |
| syms) |
| : !bfd_get_section_contents (abfd, msec, contents, 0, *section_size)) |
| { |
| free (contents); |
| return FALSE; |
| } |
| contents[*section_size] = 0; |
| *section_buffer = contents; |
| } |
| |
| /* It is possible to get a bad value for the offset into the section |
| that the client wants. Validate it here to avoid trouble later. */ |
| if (offset != 0 && offset >= *section_size) |
| { |
| /* xgettext: c-format */ |
| _bfd_error_handler (_("DWARF error: offset (%" PRIu64 ")" |
| " greater than or equal to %s size (%" PRIu64 ")"), |
| (uint64_t) offset, section_name, |
| (uint64_t) *section_size); |
| bfd_set_error (bfd_error_bad_value); |
| return FALSE; |
| } |
| |
| return TRUE; |
| } |
| |
| /* Read dwarf information from a buffer. */ |
| |
| static unsigned int |
| read_1_byte (bfd *abfd ATTRIBUTE_UNUSED, bfd_byte *buf, bfd_byte *end) |
| { |
| if (buf + 1 > end) |
| return 0; |
| return bfd_get_8 (abfd, buf); |
| } |
| |
| static int |
| read_1_signed_byte (bfd *abfd ATTRIBUTE_UNUSED, bfd_byte *buf, bfd_byte *end) |
| { |
| if (buf + 1 > end) |
| return 0; |
| return bfd_get_signed_8 (abfd, buf); |
| } |
| |
| static unsigned int |
| read_2_bytes (bfd *abfd, bfd_byte *buf, bfd_byte *end) |
| { |
| if (buf + 2 > end) |
| return 0; |
| return bfd_get_16 (abfd, buf); |
| } |
| |
| static unsigned int |
| read_4_bytes (bfd *abfd, bfd_byte *buf, bfd_byte *end) |
| { |
| if (buf + 4 > end) |
| return 0; |
| return bfd_get_32 (abfd, buf); |
| } |
| |
| static bfd_uint64_t |
| read_8_bytes (bfd *abfd, bfd_byte *buf, bfd_byte *end) |
| { |
| if (buf + 8 > end) |
| return 0; |
| return bfd_get_64 (abfd, buf); |
| } |
| |
| static bfd_byte * |
| read_n_bytes (bfd_byte * buf, |
| bfd_byte * end, |
| struct dwarf_block * block) |
| { |
| unsigned int size = block->size; |
| bfd_byte * block_end = buf + size; |
| |
| if (block_end > end || block_end < buf) |
| { |
| block->data = NULL; |
| block->size = 0; |
| return end; |
| } |
| else |
| { |
| block->data = buf; |
| return block_end; |
| } |
| } |
| |
| /* Scans a NUL terminated string starting at BUF, returning a pointer to it. |
| Returns the number of characters in the string, *including* the NUL byte, |
| in BYTES_READ_PTR. This value is set even if the function fails. Bytes |
| at or beyond BUF_END will not be read. Returns NULL if there was a |
| problem, or if the string is empty. */ |
| |
| static char * |
| read_string (bfd * abfd ATTRIBUTE_UNUSED, |
| bfd_byte * buf, |
| bfd_byte * buf_end, |
| unsigned int * bytes_read_ptr) |
| { |
| bfd_byte *str = buf; |
| |
| if (buf >= buf_end) |
| { |
| * bytes_read_ptr = 0; |
| return NULL; |
| } |
| |
| if (*str == '\0') |
| { |
| * bytes_read_ptr = 1; |
| return NULL; |
| } |
| |
| while (buf < buf_end) |
| if (* buf ++ == 0) |
| { |
| * bytes_read_ptr = buf - str; |
| return (char *) str; |
| } |
| |
| * bytes_read_ptr = buf - str; |
| return NULL; |
| } |
| |
| /* Reads an offset from BUF and then locates the string at this offset |
| inside the debug string section. Returns a pointer to the string. |
| Returns the number of bytes read from BUF, *not* the length of the string, |
| in BYTES_READ_PTR. This value is set even if the function fails. Bytes |
| at or beyond BUF_END will not be read from BUF. Returns NULL if there was |
| a problem, or if the string is empty. Does not check for NUL termination |
| of the string. */ |
| |
| static char * |
| read_indirect_string (struct comp_unit * unit, |
| bfd_byte * buf, |
| bfd_byte * buf_end, |
| unsigned int * bytes_read_ptr) |
| { |
| bfd_uint64_t offset; |
| struct dwarf2_debug *stash = unit->stash; |
| struct dwarf2_debug_file *file = unit->file; |
| char *str; |
| |
| if (buf + unit->offset_size > buf_end) |
| { |
| * bytes_read_ptr = 0; |
| return NULL; |
| } |
| |
| if (unit->offset_size == 4) |
| offset = read_4_bytes (unit->abfd, buf, buf_end); |
| else |
| offset = read_8_bytes (unit->abfd, buf, buf_end); |
| |
| *bytes_read_ptr = unit->offset_size; |
| |
| if (! read_section (unit->abfd, &stash->debug_sections[debug_str], |
| file->syms, offset, |
| &file->dwarf_str_buffer, &file->dwarf_str_size)) |
| return NULL; |
| |
| str = (char *) file->dwarf_str_buffer + offset; |
| if (*str == '\0') |
| return NULL; |
| return str; |
| } |
| |
| /* Like read_indirect_string but from .debug_line_str section. */ |
| |
| static char * |
| read_indirect_line_string (struct comp_unit * unit, |
| bfd_byte * buf, |
| bfd_byte * buf_end, |
| unsigned int * bytes_read_ptr) |
| { |
| bfd_uint64_t offset; |
| struct dwarf2_debug *stash = unit->stash; |
| struct dwarf2_debug_file *file = unit->file; |
| char *str; |
| |
| if (buf + unit->offset_size > buf_end) |
| { |
| * bytes_read_ptr = 0; |
| return NULL; |
| } |
| |
| if (unit->offset_size == 4) |
| offset = read_4_bytes (unit->abfd, buf, buf_end); |
| else |
| offset = read_8_bytes (unit->abfd, buf, buf_end); |
| |
| *bytes_read_ptr = unit->offset_size; |
| |
| if (! read_section (unit->abfd, &stash->debug_sections[debug_line_str], |
| file->syms, offset, |
| &file->dwarf_line_str_buffer, |
| &file->dwarf_line_str_size)) |
| return NULL; |
| |
| str = (char *) file->dwarf_line_str_buffer + offset; |
| if (*str == '\0') |
| return NULL; |
| return str; |
| } |
| |
| /* Like read_indirect_string but uses a .debug_str located in |
| an alternate file pointed to by the .gnu_debugaltlink section. |
| Used to impement DW_FORM_GNU_strp_alt. */ |
| |
| static char * |
| read_alt_indirect_string (struct comp_unit * unit, |
| bfd_byte * buf, |
| bfd_byte * buf_end, |
| unsigned int * bytes_read_ptr) |
| { |
| bfd_uint64_t offset; |
| struct dwarf2_debug *stash = unit->stash; |
| char *str; |
| |
| if (buf + unit->offset_size > buf_end) |
| { |
| * bytes_read_ptr = 0; |
| return NULL; |
| } |
| |
| if (unit->offset_size == 4) |
| offset = read_4_bytes (unit->abfd, buf, buf_end); |
| else |
| offset = read_8_bytes (unit->abfd, buf, buf_end); |
| |
| *bytes_read_ptr = unit->offset_size; |
| |
| if (stash->alt.bfd_ptr == NULL) |
| { |
| bfd *debug_bfd; |
| char *debug_filename = bfd_follow_gnu_debugaltlink (unit->abfd, DEBUGDIR); |
| |
| if (debug_filename == NULL) |
| return NULL; |
| |
| debug_bfd = bfd_openr (debug_filename, NULL); |
| free (debug_filename); |
| if (debug_bfd == NULL) |
| /* FIXME: Should we report our failure to follow the debuglink ? */ |
| return NULL; |
| |
| if (!bfd_check_format (debug_bfd, bfd_object)) |
| { |
| bfd_close (debug_bfd); |
| return NULL; |
| } |
| stash->alt.bfd_ptr = debug_bfd; |
| } |
| |
| if (! read_section (unit->stash->alt.bfd_ptr, |
| stash->debug_sections + debug_str_alt, |
| stash->alt.syms, offset, |
| &stash->alt.dwarf_str_buffer, |
| &stash->alt.dwarf_str_size)) |
| return NULL; |
| |
| str = (char *) stash->alt.dwarf_str_buffer + offset; |
| if (*str == '\0') |
| return NULL; |
| |
| return str; |
| } |
| |
| /* Resolve an alternate reference from UNIT at OFFSET. |
| Returns a pointer into the loaded alternate CU upon success |
| or NULL upon failure. */ |
| |
| static bfd_byte * |
| read_alt_indirect_ref (struct comp_unit * unit, |
| bfd_uint64_t offset) |
| { |
| struct dwarf2_debug *stash = unit->stash; |
| |
| if (stash->alt.bfd_ptr == NULL) |
| { |
| bfd *debug_bfd; |
| char *debug_filename = bfd_follow_gnu_debugaltlink (unit->abfd, DEBUGDIR); |
| |
| if (debug_filename == NULL) |
| return NULL; |
| |
| debug_bfd = bfd_openr (debug_filename, NULL); |
| free (debug_filename); |
| if (debug_bfd == NULL) |
| /* FIXME: Should we report our failure to follow the debuglink ? */ |
| return NULL; |
| |
| if (!bfd_check_format (debug_bfd, bfd_object)) |
| { |
| bfd_close (debug_bfd); |
| return NULL; |
| } |
| stash->alt.bfd_ptr = debug_bfd; |
| } |
| |
| if (! read_section (unit->stash->alt.bfd_ptr, |
| stash->debug_sections + debug_info_alt, |
| stash->alt.syms, offset, |
| &stash->alt.dwarf_info_buffer, |
| &stash->alt.dwarf_info_size)) |
| return NULL; |
| |
| return stash->alt.dwarf_info_buffer + offset; |
| } |
| |
| static bfd_uint64_t |
| read_address (struct comp_unit *unit, bfd_byte *buf, bfd_byte * buf_end) |
| { |
| int signed_vma = 0; |
| |
| if (bfd_get_flavour (unit->abfd) == bfd_target_elf_flavour) |
| signed_vma = get_elf_backend_data (unit->abfd)->sign_extend_vma; |
| |
| if (buf + unit->addr_size > buf_end) |
| return 0; |
| |
| if (signed_vma) |
| { |
| switch (unit->addr_size) |
| { |
| case 8: |
| return bfd_get_signed_64 (unit->abfd, buf); |
| case 4: |
| return bfd_get_signed_32 (unit->abfd, buf); |
| case 2: |
| return bfd_get_signed_16 (unit->abfd, buf); |
| default: |
| abort (); |
| } |
| } |
| else |
| { |
| switch (unit->addr_size) |
| { |
| case 8: |
| return bfd_get_64 (unit->abfd, buf); |
| case 4: |
| return bfd_get_32 (unit->abfd, buf); |
| case 2: |
| return bfd_get_16 (unit->abfd, buf); |
| default: |
| abort (); |
| } |
| } |
| } |
| |
| /* Lookup an abbrev_info structure in the abbrev hash table. */ |
| |
| static struct abbrev_info * |
| lookup_abbrev (unsigned int number, struct abbrev_info **abbrevs) |
| { |
| unsigned int hash_number; |
| struct abbrev_info *abbrev; |
| |
| hash_number = number % ABBREV_HASH_SIZE; |
| abbrev = abbrevs[hash_number]; |
| |
| while (abbrev) |
| { |
| if (abbrev->number == number) |
| return abbrev; |
| else |
| abbrev = abbrev->next; |
| } |
| |
| return NULL; |
| } |
| |
| /* We keep a hash table to map .debug_abbrev section offsets to the |
| array of abbrevs, so that compilation units using the same set of |
| abbrevs do not waste memory. */ |
| |
| struct abbrev_offset_entry |
| { |
| size_t offset; |
| struct abbrev_info **abbrevs; |
| }; |
| |
| static hashval_t |
| hash_abbrev (const void *p) |
| { |
| const struct abbrev_offset_entry *ent = p; |
| return htab_hash_pointer ((void *) ent->offset); |
| } |
| |
| static int |
| eq_abbrev (const void *pa, const void *pb) |
| { |
| const struct abbrev_offset_entry *a = pa; |
| const struct abbrev_offset_entry *b = pb; |
| return a->offset == b->offset; |
| } |
| |
| static void |
| del_abbrev (void *p) |
| { |
| struct abbrev_offset_entry *ent = p; |
| struct abbrev_info **abbrevs = ent->abbrevs; |
| size_t i; |
| |
| for (i = 0; i < ABBREV_HASH_SIZE; i++) |
| { |
| struct abbrev_info *abbrev = abbrevs[i]; |
| |
| while (abbrev) |
| { |
| free (abbrev->attrs); |
| abbrev = abbrev->next; |
| } |
| } |
| free (ent); |
| } |
| |
| /* In DWARF version 2, the description of the debugging information is |
| stored in a separate .debug_abbrev section. Before we read any |
| dies from a section we read in all abbreviations and install them |
| in a hash table. */ |
| |
| static struct abbrev_info** |
| read_abbrevs (bfd *abfd, bfd_uint64_t offset, struct dwarf2_debug *stash, |
| struct dwarf2_debug_file *file) |
| { |
| struct abbrev_info **abbrevs; |
| bfd_byte *abbrev_ptr; |
| bfd_byte *abbrev_end; |
| struct abbrev_info *cur_abbrev; |
| unsigned int abbrev_number, bytes_read, abbrev_name; |
| unsigned int abbrev_form, hash_number; |
| bfd_size_type amt; |
| void **slot; |
| struct abbrev_offset_entry ent = { offset, NULL }; |
| |
| if (ent.offset != offset) |
| return NULL; |
| |
| slot = htab_find_slot (file->abbrev_offsets, &ent, INSERT); |
| if (slot == NULL) |
| return NULL; |
| if (*slot != NULL) |
| return ((struct abbrev_offset_entry *) (*slot))->abbrevs; |
| |
| if (! read_section (abfd, &stash->debug_sections[debug_abbrev], |
| file->syms, offset, |
| &file->dwarf_abbrev_buffer, |
| &file->dwarf_abbrev_size)) |
| return NULL; |
| |
| amt = sizeof (struct abbrev_info*) * ABBREV_HASH_SIZE; |
| abbrevs = (struct abbrev_info **) bfd_zalloc (abfd, amt); |
| if (abbrevs == NULL) |
| return NULL; |
| |
| abbrev_ptr = file->dwarf_abbrev_buffer + offset; |
| abbrev_end = file->dwarf_abbrev_buffer + file->dwarf_abbrev_size; |
| abbrev_number = _bfd_safe_read_leb128 (abfd, abbrev_ptr, &bytes_read, |
| FALSE, abbrev_end); |
| abbrev_ptr += bytes_read; |
| |
| /* Loop until we reach an abbrev number of 0. */ |
| while (abbrev_number) |
| { |
| amt = sizeof (struct abbrev_info); |
| cur_abbrev = (struct abbrev_info *) bfd_zalloc (abfd, amt); |
| if (cur_abbrev == NULL) |
| goto fail; |
| |
| /* Read in abbrev header. */ |
| cur_abbrev->number = abbrev_number; |
| cur_abbrev->tag = (enum dwarf_tag) |
| _bfd_safe_read_leb128 (abfd, abbrev_ptr, &bytes_read, |
| FALSE, abbrev_end); |
| abbrev_ptr += bytes_read; |
| cur_abbrev->has_children = read_1_byte (abfd, abbrev_ptr, abbrev_end); |
| abbrev_ptr += 1; |
| |
| /* Now read in declarations. */ |
| for (;;) |
| { |
| /* Initialize it just to avoid a GCC false warning. */ |
| bfd_vma implicit_const = -1; |
| |
| abbrev_name = _bfd_safe_read_leb128 (abfd, abbrev_ptr, &bytes_read, |
| FALSE, abbrev_end); |
| abbrev_ptr += bytes_read; |
| abbrev_form = _bfd_safe_read_leb128 (abfd, abbrev_ptr, &bytes_read, |
| FALSE, abbrev_end); |
| abbrev_ptr += bytes_read; |
| if (abbrev_form == DW_FORM_implicit_const) |
| { |
| implicit_const = _bfd_safe_read_leb128 (abfd, abbrev_ptr, |
| &bytes_read, TRUE, |
| abbrev_end); |
| abbrev_ptr += bytes_read; |
| } |
| |
| if (abbrev_name == 0) |
| break; |
| |
| if ((cur_abbrev->num_attrs % ATTR_ALLOC_CHUNK) == 0) |
| { |
| struct attr_abbrev *tmp; |
| |
| amt = cur_abbrev->num_attrs + ATTR_ALLOC_CHUNK; |
| amt *= sizeof (struct attr_abbrev); |
| tmp = (struct attr_abbrev *) bfd_realloc (cur_abbrev->attrs, amt); |
| if (tmp == NULL) |
| goto fail; |
| cur_abbrev->attrs = tmp; |
| } |
| |
| cur_abbrev->attrs[cur_abbrev->num_attrs].name |
| = (enum dwarf_attribute) abbrev_name; |
| cur_abbrev->attrs[cur_abbrev->num_attrs].form |
| = (enum dwarf_form) abbrev_form; |
| cur_abbrev->attrs[cur_abbrev->num_attrs].implicit_const |
| = implicit_const; |
| ++cur_abbrev->num_attrs; |
| } |
| |
| hash_number = abbrev_number % ABBREV_HASH_SIZE; |
| cur_abbrev->next = abbrevs[hash_number]; |
| abbrevs[hash_number] = cur_abbrev; |
| |
| /* Get next abbreviation. |
| Under Irix6 the abbreviations for a compilation unit are not |
| always properly terminated with an abbrev number of 0. |
| Exit loop if we encounter an abbreviation which we have |
| already read (which means we are about to read the abbreviations |
| for the next compile unit) or if the end of the abbreviation |
| table is reached. */ |
| if ((size_t) (abbrev_ptr - file->dwarf_abbrev_buffer) |
| >= file->dwarf_abbrev_size) |
| break; |
| abbrev_number = _bfd_safe_read_leb128 (abfd, abbrev_ptr, |
| &bytes_read, FALSE, abbrev_end); |
| abbrev_ptr += bytes_read; |
| if (lookup_abbrev (abbrev_number, abbrevs) != NULL) |
| break; |
| } |
| |
| *slot = bfd_malloc (sizeof ent); |
| if (!*slot) |
| goto fail; |
| ent.abbrevs = abbrevs; |
| memcpy (*slot, &ent, sizeof ent); |
| return abbrevs; |
| |
| fail: |
| if (abbrevs != NULL) |
| { |
| size_t i; |
| |
| for (i = 0; i < ABBREV_HASH_SIZE; i++) |
| { |
| struct abbrev_info *abbrev = abbrevs[i]; |
| |
| while (abbrev) |
| { |
| free (abbrev->attrs); |
| abbrev = abbrev->next; |
| } |
| } |
| free (abbrevs); |
| } |
| return NULL; |
| } |
| |
| /* Returns true if the form is one which has a string value. */ |
| |
| static inline bfd_boolean |
| is_str_attr (enum dwarf_form form) |
| { |
| return (form == DW_FORM_string || form == DW_FORM_strp |
| || form == DW_FORM_line_strp || form == DW_FORM_GNU_strp_alt); |
| } |
| |
| /* Read and fill in the value of attribute ATTR as described by FORM. |
| Read data starting from INFO_PTR, but never at or beyond INFO_PTR_END. |
| Returns an updated INFO_PTR taking into account the amount of data read. */ |
| |
| static bfd_byte * |
| read_attribute_value (struct attribute * attr, |
| unsigned form, |
| bfd_vma implicit_const, |
| struct comp_unit * unit, |
| bfd_byte * info_ptr, |
| bfd_byte * info_ptr_end) |
| { |
| bfd *abfd = unit->abfd; |
| unsigned int bytes_read; |
| struct dwarf_block *blk; |
| bfd_size_type amt; |
| |
| if (info_ptr >= info_ptr_end && form != DW_FORM_flag_present) |
| { |
| _bfd_error_handler (_("DWARF error: info pointer extends beyond end of attributes")); |
| bfd_set_error (bfd_error_bad_value); |
| return info_ptr; |
| } |
| |
| attr->form = (enum dwarf_form) form; |
| |
| switch (form) |
| { |
| case DW_FORM_ref_addr: |
| /* DW_FORM_ref_addr is an address in DWARF2, and an offset in |
| DWARF3. */ |
| if (unit->version == 3 || unit->version == 4) |
| { |
| if (unit->offset_size == 4) |
| attr->u.val = read_4_bytes (unit->abfd, info_ptr, info_ptr_end); |
| else |
| attr->u.val = read_8_bytes (unit->abfd, info_ptr, info_ptr_end); |
| info_ptr += unit->offset_size; |
| break; |
| } |
| /* FALLTHROUGH */ |
| case DW_FORM_addr: |
| attr->u.val = read_address (unit, info_ptr, info_ptr_end); |
| info_ptr += unit->addr_size; |
| break; |
| case DW_FORM_GNU_ref_alt: |
| case DW_FORM_sec_offset: |
| if (unit->offset_size == 4) |
| attr->u.val = read_4_bytes (unit->abfd, info_ptr, info_ptr_end); |
| else |
| attr->u.val = read_8_bytes (unit->abfd, info_ptr, info_ptr_end); |
| info_ptr += unit->offset_size; |
| break; |
| case DW_FORM_block2: |
| amt = sizeof (struct dwarf_block); |
| blk = (struct dwarf_block *) bfd_alloc (abfd, amt); |
| if (blk == NULL) |
| return NULL; |
| blk->size = read_2_bytes (abfd, info_ptr, info_ptr_end); |
| info_ptr += 2; |
| info_ptr = read_n_bytes (info_ptr, info_ptr_end, blk); |
| attr->u.blk = blk; |
| break; |
| case DW_FORM_block4: |
| amt = sizeof (struct dwarf_block); |
| blk = (struct dwarf_block *) bfd_alloc (abfd, amt); |
| if (blk == NULL) |
| return NULL; |
| blk->size = read_4_bytes (abfd, info_ptr, info_ptr_end); |
| info_ptr += 4; |
| info_ptr = read_n_bytes (info_ptr, info_ptr_end, blk); |
| attr->u.blk = blk; |
| break; |
| case DW_FORM_data2: |
| attr->u.val = read_2_bytes (abfd, info_ptr, info_ptr_end); |
| info_ptr += 2; |
| break; |
| case DW_FORM_data4: |
| attr->u.val = read_4_bytes (abfd, info_ptr, info_ptr_end); |
| info_ptr += 4; |
| break; |
| case DW_FORM_data8: |
| attr->u.val = read_8_bytes (abfd, info_ptr, info_ptr_end); |
| info_ptr += 8; |
| break; |
| case DW_FORM_string: |
| attr->u.str = read_string (abfd, info_ptr, info_ptr_end, &bytes_read); |
| info_ptr += bytes_read; |
| break; |
| case DW_FORM_strp: |
| attr->u.str = read_indirect_string (unit, info_ptr, info_ptr_end, &bytes_read); |
| info_ptr += bytes_read; |
| break; |
| case DW_FORM_line_strp: |
| attr->u.str = read_indirect_line_string (unit, info_ptr, info_ptr_end, &bytes_read); |
| info_ptr += bytes_read; |
| break; |
| case DW_FORM_GNU_strp_alt: |
| attr->u.str = read_alt_indirect_string (unit, info_ptr, info_ptr_end, &bytes_read); |
| info_ptr += bytes_read; |
| break; |
| case DW_FORM_exprloc: |
| case DW_FORM_block: |
| amt = sizeof (struct dwarf_block); |
| blk = (struct dwarf_block *) bfd_alloc (abfd, amt); |
| if (blk == NULL) |
| return NULL; |
| blk->size = _bfd_safe_read_leb128 (abfd, info_ptr, &bytes_read, |
| FALSE, info_ptr_end); |
| info_ptr += bytes_read; |
| info_ptr = read_n_bytes (info_ptr, info_ptr_end, blk); |
| attr->u.blk = blk; |
| break; |
| case DW_FORM_block1: |
| amt = sizeof (struct dwarf_block); |
| blk = (struct dwarf_block *) bfd_alloc (abfd, amt); |
| if (blk == NULL) |
| return NULL; |
| blk->size = read_1_byte (abfd, info_ptr, info_ptr_end); |
| info_ptr += 1; |
| info_ptr = read_n_bytes (info_ptr, info_ptr_end, blk); |
| attr->u.blk = blk; |
| break; |
| case DW_FORM_data1: |
| attr->u.val = read_1_byte (abfd, info_ptr, info_ptr_end); |
| info_ptr += 1; |
| break; |
| case DW_FORM_flag: |
| attr->u.val = read_1_byte (abfd, info_ptr, info_ptr_end); |
| info_ptr += 1; |
| break; |
| case DW_FORM_flag_present: |
| attr->u.val = 1; |
| break; |
| case DW_FORM_sdata: |
| attr->u.sval = _bfd_safe_read_leb128 (abfd, info_ptr, &bytes_read, |
| TRUE, info_ptr_end); |
| info_ptr += bytes_read; |
| break; |
| case DW_FORM_udata: |
| attr->u.val = _bfd_safe_read_leb128 (abfd, info_ptr, &bytes_read, |
| FALSE, info_ptr_end); |
| info_ptr += bytes_read; |
| break; |
| case DW_FORM_ref1: |
| attr->u.val = read_1_byte (abfd, info_ptr, info_ptr_end); |
| info_ptr += 1; |
| break; |
| case DW_FORM_ref2: |
| attr->u.val = read_2_bytes (abfd, info_ptr, info_ptr_end); |
| info_ptr += 2; |
| break; |
| case DW_FORM_ref4: |
| attr->u.val = read_4_bytes (abfd, info_ptr, info_ptr_end); |
| info_ptr += 4; |
| break; |
| case DW_FORM_ref8: |
| attr->u.val = read_8_bytes (abfd, info_ptr, info_ptr_end); |
| info_ptr += 8; |
| break; |
| case DW_FORM_ref_sig8: |
| attr->u.val = read_8_bytes (abfd, info_ptr, info_ptr_end); |
| info_ptr += 8; |
| break; |
| case DW_FORM_ref_udata: |
| attr->u.val = _bfd_safe_read_leb128 (abfd, info_ptr, &bytes_read, |
| FALSE, info_ptr_end); |
| info_ptr += bytes_read; |
| break; |
| case DW_FORM_indirect: |
| form = _bfd_safe_read_leb128 (abfd, info_ptr, &bytes_read, |
| FALSE, info_ptr_end); |
| info_ptr += bytes_read; |
| if (form == DW_FORM_implicit_const) |
| { |
| implicit_const = _bfd_safe_read_leb128 (abfd, info_ptr, &bytes_read, |
| TRUE, info_ptr_end); |
| info_ptr += bytes_read; |
| } |
| info_ptr = read_attribute_value (attr, form, implicit_const, unit, |
| info_ptr, info_ptr_end); |
| break; |
| case DW_FORM_implicit_const: |
| attr->form = DW_FORM_sdata; |
| attr->u.sval = implicit_const; |
| break; |
| default: |
| _bfd_error_handler (_("DWARF error: invalid or unhandled FORM value: %#x"), |
| form); |
| bfd_set_error (bfd_error_bad_value); |
| return NULL; |
| } |
| return info_ptr; |
| } |
| |
| /* Read an attribute described by an abbreviated attribute. */ |
| |
| static bfd_byte * |
| read_attribute (struct attribute * attr, |
| struct attr_abbrev * abbrev, |
| struct comp_unit * unit, |
| bfd_byte * info_ptr, |
| bfd_byte * info_ptr_end) |
| { |
| attr->name = abbrev->name; |
| info_ptr = read_attribute_value (attr, abbrev->form, abbrev->implicit_const, |
| unit, info_ptr, info_ptr_end); |
| return info_ptr; |
| } |
| |
| /* Return whether DW_AT_name will return the same as DW_AT_linkage_name |
| for a function. */ |
| |
| static bfd_boolean |
| non_mangled (int lang) |
| { |
| switch (lang) |
| { |
| default: |
| return FALSE; |
| |
| case DW_LANG_C89: |
| case DW_LANG_C: |
| case DW_LANG_Ada83: |
| case DW_LANG_Cobol74: |
| case DW_LANG_Cobol85: |
| case DW_LANG_Fortran77: |
| case DW_LANG_Pascal83: |
| case DW_LANG_C99: |
| case DW_LANG_Ada95: |
| case DW_LANG_PLI: |
| case DW_LANG_UPC: |
| case DW_LANG_C11: |
| return TRUE; |
| } |
| } |
| |
| /* Source line information table routines. */ |
| |
| #define FILE_ALLOC_CHUNK 5 |
| #define DIR_ALLOC_CHUNK 5 |
| |
| struct line_info |
| { |
| struct line_info * prev_line; |
| bfd_vma address; |
| char * filename; |
| unsigned int line; |
| unsigned int column; |
| unsigned int discriminator; |
| unsigned char op_index; |
| unsigned char end_sequence; /* End of (sequential) code sequence. */ |
| }; |
| |
| struct fileinfo |
| { |
| char * name; |
| unsigned int dir; |
| unsigned int time; |
| unsigned int size; |
| }; |
| |
| struct line_sequence |
| { |
| bfd_vma low_pc; |
| struct line_sequence* prev_sequence; |
| struct line_info* last_line; /* Largest VMA. */ |
| struct line_info** line_info_lookup; |
| bfd_size_type num_lines; |
| }; |
| |
| struct line_info_table |
| { |
| bfd * abfd; |
| unsigned int num_files; |
| unsigned int num_dirs; |
| unsigned int num_sequences; |
| char * comp_dir; |
| char ** dirs; |
| struct fileinfo* files; |
| struct line_sequence* sequences; |
| struct line_info* lcl_head; /* Local head; used in 'add_line_info'. */ |
| }; |
| |
| /* Remember some information about each function. If the function is |
| inlined (DW_TAG_inlined_subroutine) it may have two additional |
| attributes, DW_AT_call_file and DW_AT_call_line, which specify the |
| source code location where this function was inlined. */ |
| |
| struct funcinfo |
| { |
| /* Pointer to previous function in list of all functions. */ |
| struct funcinfo * prev_func; |
| /* Pointer to function one scope higher. */ |
| struct funcinfo * caller_func; |
| /* Source location file name where caller_func inlines this func. */ |
| char * caller_file; |
| /* Source location file name. */ |
| char * file; |
| /* Source location line number where caller_func inlines this func. */ |
| int caller_line; |
| /* Source location line number. */ |
| int line; |
| int tag; |
| bfd_boolean is_linkage; |
| const char * name; |
| struct arange arange; |
| /* Where the symbol is defined. */ |
| asection * sec; |
| }; |
| |
| struct lookup_funcinfo |
| { |
| /* Function information corresponding to this lookup table entry. */ |
| struct funcinfo * funcinfo; |
| |
| /* The lowest address for this specific function. */ |
| bfd_vma low_addr; |
| |
| /* The highest address of this function before the lookup table is sorted. |
| The highest address of all prior functions after the lookup table is |
| sorted, which is used for binary search. */ |
| bfd_vma high_addr; |
| /* Index of this function, used to ensure qsort is stable. */ |
| unsigned int idx; |
| }; |
| |
| struct varinfo |
| { |
| /* Pointer to previous variable in list of all variables */ |
| struct varinfo *prev_var; |
| /* Source location file name */ |
| char *file; |
| /* Source location line number */ |
| int line; |
| int tag; |
| char *name; |
| bfd_vma addr; |
| /* Where the symbol is defined */ |
| asection *sec; |
| /* Is this a stack variable? */ |
| unsigned int stack: 1; |
| }; |
| |
| /* Return TRUE if NEW_LINE should sort after LINE. */ |
| |
| static inline bfd_boolean |
| new_line_sorts_after (struct line_info *new_line, struct line_info *line) |
| { |
| return (new_line->address > line->address |
| || (new_line->address == line->address |
| && new_line->op_index > line->op_index)); |
| } |
| |
| |
| /* Adds a new entry to the line_info list in the line_info_table, ensuring |
| that the list is sorted. Note that the line_info list is sorted from |
| highest to lowest VMA (with possible duplicates); that is, |
| line_info->prev_line always accesses an equal or smaller VMA. */ |
| |
| static bfd_boolean |
| add_line_info (struct line_info_table *table, |
| bfd_vma address, |
| unsigned char op_index, |
| char *filename, |
| unsigned int line, |
| unsigned int column, |
| unsigned int discriminator, |
| int end_sequence) |
| { |
| bfd_size_type amt = sizeof (struct line_info); |
| struct line_sequence* seq = table->sequences; |
| struct line_info* info = (struct line_info *) bfd_alloc (table->abfd, amt); |
| |
| if (info == NULL) |
| return FALSE; |
| |
| /* Set member data of 'info'. */ |
| info->prev_line = NULL; |
| info->address = address; |
| info->op_index = op_index; |
| info->line = line; |
| info->column = column; |
| info->discriminator = discriminator; |
| info->end_sequence = end_sequence; |
| |
| if (filename && filename[0]) |
| { |
| info->filename = (char *) bfd_alloc (table->abfd, strlen (filename) + 1); |
| if (info->filename == NULL) |
| return FALSE; |
| strcpy (info->filename, filename); |
| } |
| else |
| info->filename = NULL; |
| |
| /* Find the correct location for 'info'. Normally we will receive |
| new line_info data 1) in order and 2) with increasing VMAs. |
| However some compilers break the rules (cf. decode_line_info) and |
| so we include some heuristics for quickly finding the correct |
| location for 'info'. In particular, these heuristics optimize for |
| the common case in which the VMA sequence that we receive is a |
| list of locally sorted VMAs such as |
| p...z a...j (where a < j < p < z) |
| |
| Note: table->lcl_head is used to head an *actual* or *possible* |
| sub-sequence within the list (such as a...j) that is not directly |
| headed by table->last_line |
| |
| Note: we may receive duplicate entries from 'decode_line_info'. */ |
| |
| if (seq |
| && seq->last_line->address == address |
| && seq->last_line->op_index == op_index |
| && seq->last_line->end_sequence == end_sequence) |
| { |
| /* We only keep the last entry with the same address and end |
| sequence. See PR ld/4986. */ |
| if (table->lcl_head == seq->last_line) |
| table->lcl_head = info; |
| info->prev_line = seq->last_line->prev_line; |
| seq->last_line = info; |
| } |
| else if (!seq || seq->last_line->end_sequence) |
| { |
| /* Start a new line sequence. */ |
| amt = sizeof (struct line_sequence); |
| seq = (struct line_sequence *) bfd_malloc (amt); |
| if (seq == NULL) |
| return FALSE; |
| seq->low_pc = address; |
| seq->prev_sequence = table->sequences; |
| seq->last_line = info; |
| table->lcl_head = info; |
| table->sequences = seq; |
| table->num_sequences++; |
| } |
| else if (info->end_sequence |
| || new_line_sorts_after (info, seq->last_line)) |
| { |
| /* Normal case: add 'info' to the beginning of the current sequence. */ |
| info->prev_line = seq->last_line; |
| seq->last_line = info; |
| |
| /* lcl_head: initialize to head a *possible* sequence at the end. */ |
| if (!table->lcl_head) |
| table->lcl_head = info; |
| } |
| else if (!new_line_sorts_after (info, table->lcl_head) |
| && (!table->lcl_head->prev_line |
| || new_line_sorts_after (info, table->lcl_head->prev_line))) |
| { |
| /* Abnormal but easy: lcl_head is the head of 'info'. */ |
| info->prev_line = table->lcl_head->prev_line; |
| table->lcl_head->prev_line = info; |
| } |
| else |
| { |
| /* Abnormal and hard: Neither 'last_line' nor 'lcl_head' |
| are valid heads for 'info'. Reset 'lcl_head'. */ |
| struct line_info* li2 = seq->last_line; /* Always non-NULL. */ |
| struct line_info* li1 = li2->prev_line; |
| |
| while (li1) |
| { |
| if (!new_line_sorts_after (info, li2) |
| && new_line_sorts_after (info, li1)) |
| break; |
| |
| li2 = li1; /* always non-NULL */ |
| li1 = li1->prev_line; |
| } |
| table->lcl_head = li2; |
| info->prev_line = table->lcl_head->prev_line; |
| table->lcl_head->prev_line = info; |
| if (address < seq->low_pc) |
| seq->low_pc = address; |
| } |
| return TRUE; |
| } |
| |
| /* Extract a fully qualified filename from a line info table. |
| The returned string has been malloc'ed and it is the caller's |
| responsibility to free it. */ |
| |
| static char * |
| concat_filename (struct line_info_table *table, unsigned int file) |
| { |
| char *filename; |
| |
| if (table == NULL || file - 1 >= table->num_files) |
| { |
| /* FILE == 0 means unknown. */ |
| if (file) |
| _bfd_error_handler |
| (_("DWARF error: mangled line number section (bad file number)")); |
| return strdup ("<unknown>"); |
| } |
| |
| filename = table->files[file - 1].name; |
| if (filename == NULL) |
| return strdup ("<unknown>"); |
| |
| if (!IS_ABSOLUTE_PATH (filename)) |
| { |
| char *dir_name = NULL; |
| char *subdir_name = NULL; |
| char *name; |
| size_t len; |
| |
| if (table->files[file - 1].dir |
| /* PR 17512: file: 0317e960. */ |
| && table->files[file - 1].dir <= table->num_dirs |
| /* PR 17512: file: 7f3d2e4b. */ |
| && table->dirs != NULL) |
| subdir_name = table->dirs[table->files[file - 1].dir - 1]; |
| |
| if (!subdir_name || !IS_ABSOLUTE_PATH (subdir_name)) |
| dir_name = table->comp_dir; |
| |
| if (!dir_name) |
| { |
| dir_name = subdir_name; |
| subdir_name = NULL; |
| } |
| |
| if (!dir_name) |
| return strdup (filename); |
| |
| len = strlen (dir_name) + strlen (filename) + 2; |
| |
| if (subdir_name) |
| { |
| len += strlen (subdir_name) + 1; |
| name = (char *) bfd_malloc (len); |
| if (name) |
| sprintf (name, "%s/%s/%s", dir_name, subdir_name, filename); |
| } |
| else |
| { |
| name = (char *) bfd_malloc (len); |
| if (name) |
| sprintf (name, "%s/%s", dir_name, filename); |
| } |
| |
| return name; |
| } |
| |
| return strdup (filename); |
| } |
| |
| static bfd_boolean |
| arange_add (const struct comp_unit *unit, struct arange *first_arange, |
| bfd_vma low_pc, bfd_vma high_pc) |
| { |
| struct arange *arange; |
| |
| /* Ignore empty ranges. */ |
| if (low_pc == high_pc) |
| return TRUE; |
| |
| /* If the first arange is empty, use it. */ |
| if (first_arange->high == 0) |
| { |
| first_arange->low = low_pc; |
| first_arange->high = high_pc; |
| return TRUE; |
| } |
| |
| /* Next see if we can cheaply extend an existing range. */ |
| arange = first_arange; |
| do |
| { |
| if (low_pc == arange->high) |
| { |
| arange->high = high_pc; |
| return TRUE; |
| } |
| if (high_pc == arange->low) |
| { |
| arange->low = low_pc; |
| return TRUE; |
| } |
| arange = arange->next; |
| } |
| while (arange); |
| |
| /* Need to allocate a new arange and insert it into the arange list. |
| Order isn't significant, so just insert after the first arange. */ |
| arange = (struct arange *) bfd_alloc (unit->abfd, sizeof (*arange)); |
| if (arange == NULL) |
| return FALSE; |
| arange->low = low_pc; |
| arange->high = high_pc; |
| arange->next = first_arange->next; |
| first_arange->next = arange; |
| return TRUE; |
| } |
| |
| /* Compare function for line sequences. */ |
| |
| static int |
| compare_sequences (const void* a, const void* b) |
| { |
| const struct line_sequence* seq1 = a; |
| const struct line_sequence* seq2 = b; |
| |
| /* Sort by low_pc as the primary key. */ |
| if (seq1->low_pc < seq2->low_pc) |
| return -1; |
| if (seq1->low_pc > seq2->low_pc) |
| return 1; |
| |
| /* If low_pc values are equal, sort in reverse order of |
| high_pc, so that the largest region comes first. */ |
| if (seq1->last_line->address < seq2->last_line->address) |
| return 1; |
| if (seq1->last_line->address > seq2->last_line->address) |
| return -1; |
| |
| if (seq1->last_line->op_index < seq2->last_line->op_index) |
| return 1; |
| if (seq1->last_line->op_index > seq2->last_line->op_index) |
| return -1; |
| |
| /* num_lines is initially an index, to make the sort stable. */ |
| if (seq1->num_lines < seq2->num_lines) |
| return -1; |
| if (seq1->num_lines > seq2->num_lines) |
| return 1; |
| return 0; |
| } |
| |
| /* Construct the line information table for quick lookup. */ |
| |
| static bfd_boolean |
| build_line_info_table (struct line_info_table * table, |
| struct line_sequence * seq) |
| { |
| bfd_size_type amt; |
| struct line_info** line_info_lookup; |
| struct line_info* each_line; |
| unsigned int num_lines; |
| unsigned int line_index; |
| |
| if (seq->line_info_lookup != NULL) |
| return TRUE; |
| |
| /* Count the number of line information entries. We could do this while |
| scanning the debug information, but some entries may be added via |
| lcl_head without having a sequence handy to increment the number of |
| lines. */ |
| num_lines = 0; |
| for (each_line = seq->last_line; each_line; each_line = each_line->prev_line) |
| num_lines++; |
| |
| seq->num_lines = num_lines; |
| if (num_lines == 0) |
| return TRUE; |
| |
| /* Allocate space for the line information lookup table. */ |
| amt = sizeof (struct line_info*) * num_lines; |
| line_info_lookup = (struct line_info**) bfd_alloc (table->abfd, amt); |
| seq->line_info_lookup = line_info_lookup; |
| if (line_info_lookup == NULL) |
| return FALSE; |
| |
| /* Create the line information lookup table. */ |
| line_index = num_lines; |
| for (each_line = seq->last_line; each_line; each_line = each_line->prev_line) |
| line_info_lookup[--line_index] = each_line; |
| |
| BFD_ASSERT (line_index == 0); |
| return TRUE; |
| } |
| |
| /* Sort the line sequences for quick lookup. */ |
| |
| static bfd_boolean |
| sort_line_sequences (struct line_info_table* table) |
| { |
| bfd_size_type amt; |
| struct line_sequence* sequences; |
| struct line_sequence* seq; |
| unsigned int n = 0; |
| unsigned int num_sequences = table->num_sequences; |
| bfd_vma last_high_pc; |
| |
| if (num_sequences == 0) |
| return TRUE; |
| |
| /* Allocate space for an array of sequences. */ |
| amt = sizeof (struct line_sequence) * num_sequences; |
| sequences = (struct line_sequence *) bfd_alloc (table->abfd, amt); |
| if (sequences == NULL) |
| return FALSE; |
| |
| /* Copy the linked list into the array, freeing the original nodes. */ |
| seq = table->sequences; |
| for (n = 0; n < num_sequences; n++) |
| { |
| struct line_sequence* last_seq = seq; |
| |
| BFD_ASSERT (seq); |
| sequences[n].low_pc = seq->low_pc; |
| sequences[n].prev_sequence = NULL; |
| sequences[n].last_line = seq->last_line; |
| sequences[n].line_info_lookup = NULL; |
| sequences[n].num_lines = n; |
| seq = seq->prev_sequence; |
| free (last_seq); |
| } |
| BFD_ASSERT (seq == NULL); |
| |
| qsort (sequences, n, sizeof (struct line_sequence), compare_sequences); |
| |
| /* Make the list binary-searchable by trimming overlapping entries |
| and removing nested entries. */ |
| num_sequences = 1; |
| last_high_pc = sequences[0].last_line->address; |
| for (n = 1; n < table->num_sequences; n++) |
| { |
| if (sequences[n].low_pc < last_high_pc) |
| { |
| if (sequences[n].last_line->address <= last_high_pc) |
| /* Skip nested entries. */ |
| continue; |
| |
| /* Trim overlapping entries. */ |
| sequences[n].low_pc = last_high_pc; |
| } |
| last_high_pc = sequences[n].last_line->address; |
| if (n > num_sequences) |
| { |
| /* Close up the gap. */ |
| sequences[num_sequences].low_pc = sequences[n].low_pc; |
| sequences[num_sequences].last_line = sequences[n].last_line; |
| } |
| num_sequences++; |
| } |
| |
| table->sequences = sequences; |
| table->num_sequences = num_sequences; |
| return TRUE; |
| } |
| |
| /* Add directory to TABLE. CUR_DIR memory ownership is taken by TABLE. */ |
| |
| static bfd_boolean |
| line_info_add_include_dir (struct line_info_table *table, char *cur_dir) |
| { |
| if ((table->num_dirs % DIR_ALLOC_CHUNK) == 0) |
| { |
| char **tmp; |
| bfd_size_type amt; |
| |
| amt = table->num_dirs + DIR_ALLOC_CHUNK; |
| amt *= sizeof (char *); |
| |
| tmp = (char **) bfd_realloc (table->dirs, amt); |
| if (tmp == NULL) |
| return FALSE; |
| table->dirs = tmp; |
| } |
| |
| table->dirs[table->num_dirs++] = cur_dir; |
| return TRUE; |
| } |
| |
| static bfd_boolean |
| line_info_add_include_dir_stub (struct line_info_table *table, char *cur_dir, |
| unsigned int dir ATTRIBUTE_UNUSED, |
| unsigned int xtime ATTRIBUTE_UNUSED, |
| unsigned int size ATTRIBUTE_UNUSED) |
| { |
| return line_info_add_include_dir (table, cur_dir); |
| } |
| |
| /* Add file to TABLE. CUR_FILE memory ownership is taken by TABLE. */ |
| |
| static bfd_boolean |
| line_info_add_file_name (struct line_info_table *table, char *cur_file, |
| unsigned int dir, unsigned int xtime, |
| unsigned int size) |
| { |
| if ((table->num_files % FILE_ALLOC_CHUNK) == 0) |
| { |
| struct fileinfo *tmp; |
| bfd_size_type amt; |
| |
| amt = table->num_files + FILE_ALLOC_CHUNK; |
| amt *= sizeof (struct fileinfo); |
| |
| tmp = (struct fileinfo *) bfd_realloc (table->files, amt); |
| if (tmp == NULL) |
| return FALSE; |
| table->files = tmp; |
| } |
| |
| table->files[table->num_files].name = cur_file; |
| table->files[table->num_files].dir = dir; |
| table->files[table->num_files].time = xtime; |
| table->files[table->num_files].size = size; |
| table->num_files++; |
| return TRUE; |
| } |
| |
| /* Read directory or file name entry format, starting with byte of |
| format count entries, ULEB128 pairs of entry formats, ULEB128 of |
| entries count and the entries themselves in the described entry |
| format. */ |
| |
| static bfd_boolean |
| read_formatted_entries (struct comp_unit *unit, bfd_byte **bufp, |
| bfd_byte *buf_end, struct line_info_table *table, |
| bfd_boolean (*callback) (struct line_info_table *table, |
| char *cur_file, |
| unsigned int dir, |
| unsigned int time, |
| unsigned int size)) |
| { |
| bfd *abfd = unit->abfd; |
| bfd_byte format_count, formati; |
| bfd_vma data_count, datai; |
| bfd_byte *buf = *bufp; |
| bfd_byte *format_header_data; |
| unsigned int bytes_read; |
| |
| format_count = read_1_byte (abfd, buf, buf_end); |
| buf += 1; |
| format_header_data = buf; |
| for (formati = 0; formati < format_count; formati++) |
| { |
| _bfd_safe_read_leb128 (abfd, buf, &bytes_read, FALSE, buf_end); |
| buf += bytes_read; |
| _bfd_safe_read_leb128 (abfd, buf, &bytes_read, FALSE, buf_end); |
| buf += bytes_read; |
| } |
| |
| data_count = _bfd_safe_read_leb128 (abfd, buf, &bytes_read, FALSE, buf_end); |
| buf += bytes_read; |
| if (format_count == 0 && data_count != 0) |
| { |
| _bfd_error_handler (_("DWARF error: zero format count")); |
| bfd_set_error (bfd_error_bad_value); |
| return FALSE; |
| } |
| |
| /* PR 22210. Paranoia check. Don't bother running the loop |
| if we know that we are going to run out of buffer. */ |
| if (data_count > (bfd_vma) (buf_end - buf)) |
| { |
| _bfd_error_handler |
| (_("DWARF error: data count (%" PRIx64 ") larger than buffer size"), |
| (uint64_t) data_count); |
| bfd_set_error (bfd_error_bad_value); |
| return FALSE; |
| } |
| |
| for (datai = 0; datai < data_count; datai++) |
| { |
| bfd_byte *format = format_header_data; |
| struct fileinfo fe; |
| |
| memset (&fe, 0, sizeof fe); |
| for (formati = 0; formati < format_count; formati++) |
| { |
| bfd_vma content_type, form; |
| char *string_trash; |
| char **stringp = &string_trash; |
| unsigned int uint_trash, *uintp = &uint_trash; |
| struct attribute attr; |
| |
| content_type = _bfd_safe_read_leb128 (abfd, format, &bytes_read, |
| FALSE, buf_end); |
| format += bytes_read; |
| switch (content_type) |
| { |
| case DW_LNCT_path: |
| stringp = &fe.name; |
| break; |
| case DW_LNCT_directory_index: |
| uintp = &fe.dir; |
| break; |
| case DW_LNCT_timestamp: |
| uintp = &fe.time; |
| break; |
| case DW_LNCT_size: |
| uintp = &fe.size; |
| break; |
| case DW_LNCT_MD5: |
| break; |
| default: |
| _bfd_error_handler |
| (_("DWARF error: unknown format content type %" PRIu64), |
| (uint64_t) content_type); |
| bfd_set_error (bfd_error_bad_value); |
| return FALSE; |
| } |
| |
| form = _bfd_safe_read_leb128 (abfd, format, &bytes_read, FALSE, |
| buf_end); |
| format += bytes_read; |
| |
| buf = read_attribute_value (&attr, form, 0, unit, buf, buf_end); |
| if (buf == NULL) |
| return FALSE; |
| switch (form) |
| { |
| case DW_FORM_string: |
| case DW_FORM_line_strp: |
| *stringp = attr.u.str; |
| break; |
| |
| case DW_FORM_data1: |
| case DW_FORM_data2: |
| case DW_FORM_data4: |
| case DW_FORM_data8: |
| case DW_FORM_udata: |
| *uintp = attr.u.val; |
| break; |
| } |
| } |
| |
| if (!callback (table, fe.name, fe.dir, fe.time, fe.size)) |
| return FALSE; |
| } |
| |
| *bufp = buf; |
| return TRUE; |
| } |
| |
| /* Decode the line number information for UNIT. */ |
| |
| static struct line_info_table* |
| decode_line_info (struct comp_unit *unit) |
| { |
| bfd *abfd = unit->abfd; |
| struct dwarf2_debug *stash = unit->stash; |
| struct dwarf2_debug_file *file = unit->file; |
| struct line_info_table* table; |
| bfd_byte *line_ptr; |
| bfd_byte *line_end; |
| struct line_head lh; |
| unsigned int i, bytes_read, offset_size; |
| char *cur_file, *cur_dir; |
| unsigned char op_code, extended_op, adj_opcode; |
| unsigned int exop_len; |
| bfd_size_type amt; |
| |
| if (unit->line_offset == 0 && file->line_table) |
| return file->line_table; |
| |
| if (! read_section (abfd, &stash->debug_sections[debug_line], |
| file->syms, unit->line_offset, |
| &file->dwarf_line_buffer, &file->dwarf_line_size)) |
| return NULL; |
| |
| if (file->dwarf_line_size < 16) |
| { |
| _bfd_error_handler |
| (_("DWARF error: line info section is too small (%" PRId64 ")"), |
| (int64_t) file->dwarf_line_size); |
| bfd_set_error (bfd_error_bad_value); |
| return NULL; |
| } |
| line_ptr = file->dwarf_line_buffer + unit->line_offset; |
| line_end = file->dwarf_line_buffer + file->dwarf_line_size; |
| |
| /* Read in the prologue. */ |
| lh.total_length = read_4_bytes (abfd, line_ptr, line_end); |
| line_ptr += 4; |
| offset_size = 4; |
| if (lh.total_length == 0xffffffff) |
| { |
| lh.total_length = read_8_bytes (abfd, line_ptr, line_end); |
| line_ptr += 8; |
| offset_size = 8; |
| } |
| else if (lh.total_length == 0 && unit->addr_size == 8) |
| { |
| /* Handle (non-standard) 64-bit DWARF2 formats. */ |
| lh.total_length = read_4_bytes (abfd, line_ptr, line_end); |
| line_ptr += 4; |
| offset_size = 8; |
| } |
| |
| if (lh.total_length > (size_t) (line_end - line_ptr)) |
| { |
| _bfd_error_handler |
| /* xgettext: c-format */ |
| (_("DWARF error: line info data is bigger (%#" PRIx64 ")" |
| " than the space remaining in the section (%#lx)"), |
| (uint64_t) lh.total_length, (unsigned long) (line_end - line_ptr)); |
| bfd_set_error (bfd_error_bad_value); |
| return NULL; |
| } |
| |
| line_end = line_ptr + lh.total_length; |
| |
| lh.version = read_2_bytes (abfd, line_ptr, line_end); |
| if (lh.version < 2 || lh.version > 5) |
| { |
| _bfd_error_handler |
| (_("DWARF error: unhandled .debug_line version %d"), lh.version); |
| bfd_set_error (bfd_error_bad_value); |
| return NULL; |
| } |
| line_ptr += 2; |
| |
| if (line_ptr + offset_size + (lh.version >= 5 ? 8 : (lh.version >= 4 ? 6 : 5)) |
| >= line_end) |
| { |
| _bfd_error_handler |
| (_("DWARF error: ran out of room reading prologue")); |
| bfd_set_error (bfd_error_bad_value); |
| return NULL; |
| } |
| |
| if (lh.version >= 5) |
| { |
| unsigned int segment_selector_size; |
| |
| /* Skip address size. */ |
| read_1_byte (abfd, line_ptr, line_end); |
| line_ptr += 1; |
| |
| segment_selector_size = read_1_byte (abfd, line_ptr, line_end); |
| line_ptr += 1; |
| if (segment_selector_size != 0) |
| { |
| _bfd_error_handler |
| (_("DWARF error: line info unsupported segment selector size %u"), |
| segment_selector_size); |
| bfd_set_error (bfd_error_bad_value); |
| return NULL; |
| } |
| } |
| |
| if (offset_size == 4) |
| lh.prologue_length = read_4_bytes (abfd, line_ptr, line_end); |
| else |
| lh.prologue_length = read_8_bytes (abfd, line_ptr, line_end); |
| line_ptr += offset_size; |
| |
| lh.minimum_instruction_length = read_1_byte (abfd, line_ptr, line_end); |
| line_ptr += 1; |
| |
| if (lh.version >= 4) |
| { |
| lh.maximum_ops_per_insn = read_1_byte (abfd, line_ptr, line_end); |
| line_ptr += 1; |
| } |
| else |
| lh.maximum_ops_per_insn = 1; |
| |
| if (lh.maximum_ops_per_insn == 0) |
| { |
| _bfd_error_handler |
| (_("DWARF error: invalid maximum operations per instruction")); |
| bfd_set_error (bfd_error_bad_value); |
| return NULL; |
| } |
| |
| lh.default_is_stmt = read_1_byte (abfd, line_ptr, line_end); |
| line_ptr += 1; |
| |
| lh.line_base = read_1_signed_byte (abfd, line_ptr, line_end); |
| line_ptr += 1; |
| |
| lh.line_range = read_1_byte (abfd, line_ptr, line_end); |
| line_ptr += 1; |
| |
| lh.opcode_base = read_1_byte (abfd, line_ptr, line_end); |
| line_ptr += 1; |
| |
| if (line_ptr + (lh.opcode_base - 1) >= line_end) |
| { |
| _bfd_error_handler (_("DWARF error: ran out of room reading opcodes")); |
| bfd_set_error (bfd_error_bad_value); |
| return NULL; |
| } |
| |
| amt = lh.opcode_base * sizeof (unsigned char); |
| lh.standard_opcode_lengths = (unsigned char *) bfd_alloc (abfd, amt); |
| |
| lh.standard_opcode_lengths[0] = 1; |
| |
| for (i = 1; i < lh.opcode_base; ++i) |
| { |
| lh.standard_opcode_lengths[i] = read_1_byte (abfd, line_ptr, line_end); |
| line_ptr += 1; |
| } |
| |
| amt = sizeof (struct line_info_table); |
| table = (struct line_info_table *) bfd_alloc (abfd, amt); |
| if (table == NULL) |
| return NULL; |
| table->abfd = abfd; |
| table->comp_dir = unit->comp_dir; |
| |
| table->num_files = 0; |
| table->files = NULL; |
| |
| table->num_dirs = 0; |
| table->dirs = NULL; |
| |
| table->num_sequences = 0; |
| table->sequences = NULL; |
| |
| table->lcl_head = NULL; |
| |
| if (lh.version >= 5) |
| { |
| /* Read directory table. */ |
| if (!read_formatted_entries (unit, &line_ptr, line_end, table, |
| line_info_add_include_dir_stub)) |
| goto fail; |
| |
| /* Read file name table. */ |
| if (!read_formatted_entries (unit, &line_ptr, line_end, table, |
| line_info_add_file_name)) |
| goto fail; |
| } |
| else |
| { |
| /* Read directory table. */ |
| while ((cur_dir = read_string (abfd, line_ptr, line_end, &bytes_read)) != NULL) |
| { |
| line_ptr += bytes_read; |
| |
| if (!line_info_add_include_dir (table, cur_dir)) |
| goto fail; |
| } |
| |
| line_ptr += bytes_read; |
| |
| /* Read file name table. */ |
| while ((cur_file = read_string (abfd, line_ptr, line_end, &bytes_read)) != NULL) |
| { |
| unsigned int dir, xtime, size; |
| |
| line_ptr += bytes_read; |
| |
| dir = _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read, FALSE, line_end); |
| line_ptr += bytes_read; |
| xtime = _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read, FALSE, line_end); |
| line_ptr += bytes_read; |
| size = _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read, FALSE, line_end); |
| line_ptr += bytes_read; |
| |
| if (!line_info_add_file_name (table, cur_file, dir, xtime, size)) |
| goto fail; |
| } |
| |
| line_ptr += bytes_read; |
| } |
| |
| /* Read the statement sequences until there's nothing left. */ |
| while (line_ptr < line_end) |
| { |
| /* State machine registers. */ |
| bfd_vma address = 0; |
| unsigned char op_index = 0; |
| char * filename = table->num_files ? concat_filename (table, 1) : NULL; |
| unsigned int line = 1; |
| unsigned int column = 0; |
| unsigned int discriminator = 0; |
| int is_stmt = lh.default_is_stmt; |
| int end_sequence = 0; |
| unsigned int dir, xtime, size; |
| /* eraxxon@alumni.rice.edu: Against the DWARF2 specs, some |
| compilers generate address sequences that are wildly out of |
| order using DW_LNE_set_address (e.g. Intel C++ 6.0 compiler |
| for ia64-Linux). Thus, to determine the low and high |
| address, we must compare on every DW_LNS_copy, etc. */ |
| bfd_vma low_pc = (bfd_vma) -1; |
| bfd_vma high_pc = 0; |
| |
| /* Decode the table. */ |
| while (!end_sequence && line_ptr < line_end) |
| { |
| op_code = read_1_byte (abfd, line_ptr, line_end); |
| line_ptr += 1; |
| |
| if (op_code >= lh.opcode_base) |
| { |
| /* Special operand. */ |
| adj_opcode = op_code - lh.opcode_base; |
| if (lh.line_range == 0) |
| goto line_fail; |
| if (lh.maximum_ops_per_insn == 1) |
| address += (adj_opcode / lh.line_range |
| * lh.minimum_instruction_length); |
| else |
| { |
| address += ((op_index + adj_opcode / lh.line_range) |
| / lh.maximum_ops_per_insn |
| * lh.minimum_instruction_length); |
| op_index = ((op_index + adj_opcode / lh.line_range) |
| % lh.maximum_ops_per_insn); |
| } |
| line += lh.line_base + (adj_opcode % lh.line_range); |
| /* Append row to matrix using current values. */ |
| if (!add_line_info (table, address, op_index, filename, |
| line, column, discriminator, 0)) |
| goto line_fail; |
| discriminator = 0; |
| if (address < low_pc) |
| low_pc = address; |
| if (address > high_pc) |
| high_pc = address; |
| } |
| else switch (op_code) |
| { |
| case DW_LNS_extended_op: |
| exop_len = _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read, |
| FALSE, line_end); |
| line_ptr += bytes_read; |
| extended_op = read_1_byte (abfd, line_ptr, line_end); |
| line_ptr += 1; |
| |
| switch (extended_op) |
| { |
| case DW_LNE_end_sequence: |
| end_sequence = 1; |
| if (!add_line_info (table, address, op_index, filename, line, |
| column, discriminator, end_sequence)) |
| goto line_fail; |
| discriminator = 0; |
| if (address < low_pc) |
| low_pc = address; |
| if (address > high_pc) |
| high_pc = address; |
| if (!arange_add (unit, &unit->arange, low_pc, high_pc)) |
| goto line_fail; |
| break; |
| case DW_LNE_set_address: |
| address = read_address (unit, line_ptr, line_end); |
| op_index = 0; |
| line_ptr += unit->addr_size; |
| break; |
| case DW_LNE_define_file: |
| cur_file = read_string (abfd, line_ptr, line_end, &bytes_read); |
| line_ptr += bytes_read; |
| dir = _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read, |
| FALSE, line_end); |
| line_ptr += bytes_read; |
| xtime = _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read, |
| FALSE, line_end); |
| line_ptr += bytes_read; |
| size = _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read, |
| FALSE, line_end); |
| line_ptr += bytes_read; |
| if (!line_info_add_file_name (table, cur_file, dir, |
| xtime, size)) |
| goto line_fail; |
| break; |
| case DW_LNE_set_discriminator: |
| discriminator = |
| _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read, |
| FALSE, line_end); |
| line_ptr += bytes_read; |
| break; |
| case DW_LNE_HP_source_file_correlation: |
| line_ptr += exop_len - 1; |
| break; |
| default: |
| _bfd_error_handler |
| (_("DWARF error: mangled line number section")); |
| bfd_set_error (bfd_error_bad_value); |
| line_fail: |
| if (filename != NULL) |
| free (filename); |
| goto fail; |
| } |
| break; |
| case DW_LNS_copy: |
| if (!add_line_info (table, address, op_index, |
| filename, line, column, discriminator, 0)) |
| goto line_fail; |
| discriminator = 0; |
| if (address < low_pc) |
| low_pc = address; |
| if (address > high_pc) |
| high_pc = address; |
| break; |
| case DW_LNS_advance_pc: |
| if (lh.maximum_ops_per_insn == 1) |
| address += (lh.minimum_instruction_length |
| * _bfd_safe_read_leb128 (abfd, line_ptr, |
| &bytes_read, |
| FALSE, line_end)); |
| else |
| { |
| bfd_vma adjust = _bfd_safe_read_leb128 (abfd, line_ptr, |
| &bytes_read, |
| FALSE, line_end); |
| address = ((op_index + adjust) / lh.maximum_ops_per_insn |
| * lh.minimum_instruction_length); |
| op_index = (op_index + adjust) % lh.maximum_ops_per_insn; |
| } |
| line_ptr += bytes_read; |
| break; |
| case DW_LNS_advance_line: |
| line += _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read, |
| TRUE, line_end); |
| line_ptr += bytes_read; |
| break; |
| case DW_LNS_set_file: |
| { |
| unsigned int filenum; |
| |
| /* The file and directory tables are 0 |
| based, the references are 1 based. */ |
| filenum = _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read, |
| FALSE, line_end); |
| line_ptr += bytes_read; |
| if (filename) |
| free (filename); |
| filename = concat_filename (table, filenum); |
| break; |
| } |
| case DW_LNS_set_column: |
| column = _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read, |
| FALSE, line_end); |
| line_ptr += bytes_read; |
| break; |
| case DW_LNS_negate_stmt: |
| is_stmt = (!is_stmt); |
| break; |
| case DW_LNS_set_basic_block: |
| break; |
| case DW_LNS_const_add_pc: |
| if (lh.line_range == 0) |
| goto line_fail; |
| if (lh.maximum_ops_per_insn == 1) |
| address += (lh.minimum_instruction_length |
| * ((255 - lh.opcode_base) / lh.line_range)); |
| else |
| { |
| bfd_vma adjust = ((255 - lh.opcode_base) / lh.line_range); |
| address += (lh.minimum_instruction_length |
| * ((op_index + adjust) |
| / lh.maximum_ops_per_insn)); |
| op_index = (op_index + adjust) % lh.maximum_ops_per_insn; |
| } |
| break; |
| case DW_LNS_fixed_advance_pc: |
| address += read_2_bytes (abfd, line_ptr, line_end); |
| op_index = 0; |
| line_ptr += 2; |
| break; |
| default: |
| /* Unknown standard opcode, ignore it. */ |
| for (i = 0; i < lh.standard_opcode_lengths[op_code]; i++) |
| { |
| (void) _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read, |
| FALSE, line_end); |
| line_ptr += bytes_read; |
| } |
| break; |
| } |
| } |
| |
| if (filename) |
| free (filename); |
| } |
| |
| if (unit->line_offset == 0) |
| file->line_table = table; |
| if (sort_line_sequences (table)) |
| return table; |
| |
| fail: |
| while (table->sequences != NULL) |
| { |
| struct line_sequence* seq = table->sequences; |
| table->sequences = table->sequences->prev_sequence; |
| free (seq); |
| } |
| if (table->files != NULL) |
| free (table->files); |
| if (table->dirs != NULL) |
| free (table->dirs); |
| return NULL; |
| } |
| |
| /* If ADDR is within TABLE set the output parameters and return the |
| range of addresses covered by the entry used to fill them out. |
| Otherwise set * FILENAME_PTR to NULL and return 0. |
| The parameters FILENAME_PTR, LINENUMBER_PTR and DISCRIMINATOR_PTR |
| are pointers to the objects to be filled in. */ |
| |
| static bfd_vma |
| lookup_address_in_line_info_table (struct line_info_table *table, |
| bfd_vma addr, |
| const char **filename_ptr, |
| unsigned int *linenumber_ptr, |
| unsigned int *discriminator_ptr) |
| { |
| struct line_sequence *seq = NULL; |
| struct line_info *info; |
| int low, high, mid; |
| |
| /* Binary search the array of sequences. */ |
| low = 0; |
| high = table->num_sequences; |
| while (low < high) |
| { |
| mid = (low + high) / 2; |
| seq = &table->sequences[mid]; |
| if (addr < seq->low_pc) |
| high = mid; |
| else if (addr >= seq->last_line->address) |
| low = mid + 1; |
| else |
| break; |
| } |
| |
| /* Check for a valid sequence. */ |
| if (!seq || addr < seq->low_pc || addr >= seq->last_line->address) |
| goto fail; |
| |
| if (!build_line_info_table (table, seq)) |
| goto fail; |
| |
| /* Binary search the array of line information. */ |
| low = 0; |
| high = seq->num_lines; |
| info = NULL; |
| while (low < high) |
| { |
| mid = (low + high) / 2; |
| info = seq->line_info_lookup[mid]; |
| if (addr < info->address) |
| high = mid; |
| else if (addr >= seq->line_info_lookup[mid + 1]->address) |
| low = mid + 1; |
| else |
| break; |
| } |
| |
| /* Check for a valid line information entry. */ |
| if (info |
| && addr >= info->address |
| && addr < seq->line_info_lookup[mid + 1]->address |
| && !(info->end_sequence || info == seq->last_line)) |
| { |
| *filename_ptr = info->filename; |
| *linenumber_ptr = info->line; |
| if (discriminator_ptr) |
| *discriminator_ptr = info->discriminator; |
| return seq->last_line->address - seq->low_pc; |
| } |
| |
| fail: |
| *filename_ptr = NULL; |
| return 0; |
| } |
| |
| /* Read in the .debug_ranges section for future reference. */ |
| |
| static bfd_boolean |
| read_debug_ranges (struct comp_unit * unit) |
| { |
| struct dwarf2_debug *stash = unit->stash; |
| struct dwarf2_debug_file *file = unit->file; |
| |
| return read_section (unit->abfd, &stash->debug_sections[debug_ranges], |
| file->syms, 0, |
| &file->dwarf_ranges_buffer, &file->dwarf_ranges_size); |
| } |
| |
| /* Function table functions. */ |
| |
| static int |
| compare_lookup_funcinfos (const void * a, const void * b) |
| { |
| const struct lookup_funcinfo * lookup1 = a; |
| const struct lookup_funcinfo * lookup2 = b; |
| |
| if (lookup1->low_addr < lookup2->low_addr) |
| return -1; |
| if (lookup1->low_addr > lookup2->low_addr) |
| return 1; |
| if (lookup1->high_addr < lookup2->high_addr) |
| return -1; |
| if (lookup1->high_addr > lookup2->high_addr) |
| return 1; |
| |
| if (lookup1->idx < lookup2->idx) |
| return -1; |
| if (lookup1->idx > lookup2->idx) |
| return 1; |
| return 0; |
| } |
| |
| static bfd_boolean |
| build_lookup_funcinfo_table (struct comp_unit * unit) |
| { |
| struct lookup_funcinfo *lookup_funcinfo_table = unit->lookup_funcinfo_table; |
| unsigned int number_of_functions = unit->number_of_functions; |
| struct funcinfo *each; |
| struct lookup_funcinfo *entry; |
| size_t func_index; |
| struct arange *range; |
| bfd_vma low_addr, high_addr; |
| |
| if (lookup_funcinfo_table || number_of_functions == 0) |
| return TRUE; |
| |
| /* Create the function info lookup table. */ |
| lookup_funcinfo_table = (struct lookup_funcinfo *) |
| bfd_malloc (number_of_functions * sizeof (struct lookup_funcinfo)); |
| if (lookup_funcinfo_table == NULL) |
| return FALSE; |
| |
| /* Populate the function info lookup table. */ |
| func_index = number_of_functions; |
| for (each = unit->function_table; each; each = each->prev_func) |
| { |
| entry = &lookup_funcinfo_table[--func_index]; |
| entry->funcinfo = each; |
| entry->idx = func_index; |
| |
| /* Calculate the lowest and highest address for this function entry. */ |
| low_addr = entry->funcinfo->arange.low; |
| high_addr = entry->funcinfo->arange.high; |
| |
| for (range = entry->funcinfo->arange.next; range; range = range->next) |
| { |
| if (range->low < low_addr) |
| low_addr = range->low; |
| if (range->high > high_addr) |
| high_addr = range->high; |
| } |
| |
| entry->low_addr = low_addr; |
| entry->high_addr = high_addr; |
| } |
| |
| BFD_ASSERT (func_index == 0); |
| |
| /* Sort the function by address. */ |
| qsort (lookup_funcinfo_table, |
| number_of_functions, |
| sizeof (struct lookup_funcinfo), |
| compare_lookup_funcinfos); |
| |
| /* Calculate the high watermark for each function in the lookup table. */ |
| high_addr = lookup_funcinfo_table[0].high_addr; |
| for (func_index = 1; func_index < number_of_functions; func_index++) |
| { |
| entry = &lookup_funcinfo_table[func_index]; |
| if (entry->high_addr > high_addr) |
| high_addr = entry->high_addr; |
| else |
| entry->high_addr = high_addr; |
| } |
| |
| unit->lookup_funcinfo_table = lookup_funcinfo_table; |
| return TRUE; |
| } |
| |
| /* If ADDR is within UNIT's function tables, set FUNCTION_PTR, and return |
| TRUE. Note that we need to find the function that has the smallest range |
| that contains ADDR, to handle inlined functions without depending upon |
| them being ordered in TABLE by increasing range. */ |
| |
| static bfd_boolean |
| lookup_address_in_function_table (struct comp_unit *unit, |
| bfd_vma addr, |
| struct funcinfo **function_ptr) |
| { |
| unsigned int number_of_functions = unit->number_of_functions; |
| struct lookup_funcinfo* lookup_funcinfo = NULL; |
| struct funcinfo* funcinfo = NULL; |
| struct funcinfo* best_fit = NULL; |
| bfd_vma best_fit_len = 0; |
| bfd_size_type low, high, mid, first; |
| struct arange *arange; |
| |
| if (number_of_functions == 0) |
| return FALSE; |
| |
| if (!build_lookup_funcinfo_table (unit)) |
| return FALSE; |
| |
| if (unit->lookup_funcinfo_table[number_of_functions - 1].high_addr < addr) |
| return FALSE; |
| |
| /* Find the first function in the lookup table which may contain the |
| specified address. */ |
| low = 0; |
| high = number_of_functions; |
| first = high; |
| while (low < high) |
| { |
| mid = (low + high) / 2; |
| lookup_funcinfo = &unit->lookup_funcinfo_table[mid]; |
| if (addr < lookup_funcinfo->low_addr) |
| high = mid; |
| else if (addr >= lookup_funcinfo->high_addr) |
| low = mid + 1; |
| else |
| high = first = mid; |
| } |
| |
| /* Find the 'best' match for the address. The prior algorithm defined the |
| best match as the function with the smallest address range containing |
| the specified address. This definition should probably be changed to the |
| innermost inline routine containing the address, but right now we want |
| to get the same results we did before. */ |
| while (first < number_of_functions) |
| { |
| if (addr < unit->lookup_funcinfo_table[first].low_addr) |
| break; |
| funcinfo = unit->lookup_funcinfo_table[first].funcinfo; |
| |
| for (arange = &funcinfo->arange; arange; arange = arange->next) |
| { |
| if (addr < arange->low || addr >= arange->high) |
| continue; |
| |
| if (!best_fit |
| || arange->high - arange->low < best_fit_len |
| /* The following comparison is designed to return the same |
| match as the previous algorithm for routines which have the |
| same best fit length. */ |
| || (arange->high - arange->low == best_fit_len |
| && funcinfo > best_fit)) |
| { |
| best_fit = funcinfo; |
| best_fit_len = arange->high - arange->low; |
| } |
| } |
| |
| first++; |
| } |
| |
| if (!best_fit) |
| return FALSE; |
| |
| *function_ptr = best_fit; |
| return TRUE; |
| } |
| |
| /* If SYM at ADDR is within function table of UNIT, set FILENAME_PTR |
| and LINENUMBER_PTR, and return TRUE. */ |
| |
| static bfd_boolean |
| lookup_symbol_in_function_table (struct comp_unit *unit, |
| asymbol *sym, |
| bfd_vma addr, |
| const char **filename_ptr, |
| unsigned int *linenumber_ptr) |
| { |
| struct funcinfo* each_func; |
| struct funcinfo* best_fit = NULL; |
| bfd_vma best_fit_len = 0; |
| struct arange *arange; |
| const char *name = bfd_asymbol_name (sym); |
| asection *sec = bfd_asymbol_section (sym); |
| |
| for (each_func = unit->function_table; |
| each_func; |
| each_func = each_func->prev_func) |
| { |
| for (arange = &each_func->arange; |
| arange; |
| arange = arange->next) |
| { |
| if ((!each_func->sec || each_func->sec == sec) |
| && addr >= arange->low |
| && addr < arange->high |
| && each_func->name |
| && strcmp (name, each_func->name) == 0 |
| && (!best_fit |
| || arange->high - arange->low < best_fit_len)) |
| { |
| best_fit = each_func; |
| best_fit_len = arange->high - arange->low; |
| } |
| } |
| } |
| |
| if (best_fit) |
| { |
| best_fit->sec = sec; |
| *filename_ptr = best_fit->file; |
| *linenumber_ptr = best_fit->line; |
| return TRUE; |
| } |
| else |
| return FALSE; |
| } |
| |
| /* Variable table functions. */ |
| |
| /* If SYM is within variable table of UNIT, set FILENAME_PTR and |
| LINENUMBER_PTR, and return TRUE. */ |
| |
| static bfd_boolean |
| lookup_symbol_in_variable_table (struct comp_unit *unit, |
| asymbol *sym, |
| bfd_vma addr, |
| const char **filename_ptr, |
| unsigned int *linenumber_ptr) |
| { |
| const char *name = bfd_asymbol_name (sym); |
| asection *sec = bfd_asymbol_section (sym); |
| struct varinfo* each; |
| |
| for (each = unit->variable_table; each; each = each->prev_var) |
| if (each->stack == 0 |
| && each->file != NULL |
| && each->name != NULL |
| && each->addr == addr |
| && (!each->sec || each->sec == sec) |
| && strcmp (name, each->name) == 0) |
| break; |
| |
| if (each) |
| { |
| each->sec = sec; |
| *filename_ptr = each->file; |
| *linenumber_ptr = each->line; |
| return TRUE; |
| } |
| |
| return FALSE; |
| } |
| |
| static struct comp_unit *stash_comp_unit (struct dwarf2_debug *, |
| struct dwarf2_debug_file *); |
| static bfd_boolean comp_unit_maybe_decode_line_info (struct comp_unit *); |
| |
| static bfd_boolean |
| find_abstract_instance (struct comp_unit *unit, |
| struct attribute *attr_ptr, |
| unsigned int recur_count, |
| const char **pname, |
| bfd_boolean *is_linkage, |
| char **filename_ptr, |
| int *linenumber_ptr) |
| { |
| bfd *abfd = unit->abfd; |
| bfd_byte *info_ptr = NULL; |
| bfd_byte *info_ptr_end; |
| unsigned int abbrev_number, bytes_read, i; |
| struct abbrev_info *abbrev; |
| bfd_uint64_t die_ref = attr_ptr->u.val; |
| struct attribute attr; |
| const char *name = NULL; |
| |
| if (recur_count == 100) |
| { |
| _bfd_error_handler |
| (_("DWARF error: abstract instance recursion detected")); |
| bfd_set_error (bfd_error_bad_value); |
| return FALSE; |
| } |
| |
| /* DW_FORM_ref_addr can reference an entry in a different CU. It |
| is an offset from the .debug_info section, not the current CU. */ |
| if (attr_ptr->form == DW_FORM_ref_addr) |
| { |
| /* We only support DW_FORM_ref_addr within the same file, so |
| any relocations should be resolved already. Check this by |
| testing for a zero die_ref; There can't be a valid reference |
| to the header of a .debug_info section. |
| DW_FORM_ref_addr is an offset relative to .debug_info. |
| Normally when using the GNU linker this is accomplished by |
| emitting a symbolic reference to a label, because .debug_info |
| sections are linked at zero. When there are multiple section |
| groups containing .debug_info, as there might be in a |
| relocatable object file, it would be reasonable to assume that |
| a symbolic reference to a label in any .debug_info section |
| might be used. Since we lay out multiple .debug_info |
| sections at non-zero VMAs (see place_sections), and read |
| them contiguously into dwarf_info_buffer, that means the |
| reference is relative to dwarf_info_buffer. */ |
| size_t total; |
| |
| info_ptr = unit->file->dwarf_info_buffer; |
| info_ptr_end = info_ptr + unit->file->dwarf_info_size; |
| total = info_ptr_end - info_ptr; |
| if (!die_ref) |
| return TRUE; |
| else if (die_ref >= total) |
| { |
| _bfd_error_handler |
| (_("DWARF error: invalid abstract instance DIE ref")); |
| bfd_set_error (bfd_error_bad_value); |
| return FALSE; |
| } |
| info_ptr += die_ref; |
| } |
| else if (attr_ptr->form == DW_FORM_GNU_ref_alt) |
| { |
| bfd_boolean first_time = unit->stash->alt.dwarf_info_buffer == NULL; |
| |
| info_ptr = read_alt_indirect_ref (unit, die_ref); |
| if (first_time) |
| unit->stash->alt.info_ptr = unit->stash->alt.dwarf_info_buffer; |
| if (info_ptr == NULL) |
| { |
| _bfd_error_handler |
| (_("DWARF error: unable to read alt ref %" PRIu64), |
| (uint64_t) die_ref); |
| bfd_set_error (bfd_error_bad_value); |
| return FALSE; |
| } |
| info_ptr_end = (unit->stash->alt.dwarf_info_buffer |
| + unit->stash->alt.dwarf_info_size); |
| if (unit->stash->alt.all_comp_units) |
| unit = unit->stash->alt.all_comp_units; |
| } |
| |
| if (attr_ptr->form == DW_FORM_ref_addr |
| || attr_ptr->form == DW_FORM_GNU_ref_alt) |
| { |
| /* Now find the CU containing this pointer. */ |
| if (info_ptr >= unit->info_ptr_unit && info_ptr < unit->end_ptr) |
| info_ptr_end = unit->end_ptr; |
| else |
| { |
| /* Check other CUs to see if they contain the abbrev. */ |
| struct comp_unit *u; |
| |
| for (u = unit->prev_unit; u != NULL; u = u->prev_unit) |
| if (info_ptr >= u->info_ptr_unit && info_ptr < u->end_ptr) |
| break; |
| |
| if (u == NULL) |
| for (u = unit->next_unit; u != NULL; u = u->next_unit) |
| if (info_ptr >= u->info_ptr_unit && info_ptr < u->end_ptr) |
| break; |
| |
| if (attr_ptr->form == DW_FORM_ref_addr) |
| while (u == NULL) |
| { |
| u = stash_comp_unit (unit->stash, &unit->stash->f); |
| if (u == NULL) |
| break; |
| if (info_ptr >= u->info_ptr_unit && info_ptr < u->end_ptr) |
| break; |
| u = NULL; |
| } |
| |
| if (attr_ptr->form == DW_FORM_GNU_ref_alt) |
| while (u == NULL) |
| { |
| u = stash_comp_unit (unit->stash, &unit->stash->alt); |
| if (u == NULL) |
| break; |
| if (info_ptr >= u->info_ptr_unit && info_ptr < u->end_ptr) |
| break; |
| u = NULL; |
| } |
| |
| if (u == NULL) |
| { |
| _bfd_error_handler |
| (_("DWARF error: unable to locate abstract instance DIE ref %" |
| PRIu64), (uint64_t) die_ref); |
| bfd_set_error (bfd_error_bad_value); |
| return FALSE; |
| } |
| unit = u; |
| info_ptr_end = unit->end_ptr; |
| } |
| } |
| else |
| { |
| /* DW_FORM_ref1, DW_FORM_ref2, DW_FORM_ref4, DW_FORM_ref8 or |
| DW_FORM_ref_udata. These are all references relative to the |
| start of the current CU. */ |
| size_t total; |
| |
| info_ptr = unit->info_ptr_unit; |
| info_ptr_end = unit->end_ptr; |
| total = info_ptr_end - info_ptr; |
| if (!die_ref || die_ref >= total) |
| { |
| _bfd_error_handler |
| (_("DWARF error: invalid abstract instance DIE ref")); |
| bfd_set_error (bfd_error_bad_value); |
| return FALSE; |
| } |
| info_ptr += die_ref; |
| } |
| |
| abbrev_number = _bfd_safe_read_leb128 (abfd, info_ptr, &bytes_read, |
| FALSE, info_ptr_end); |
| info_ptr += bytes_read; |
| |
| if (abbrev_number) |
| { |
| abbrev = lookup_abbrev (abbrev_number, unit->abbrevs); |
| if (! abbrev) |
| { |
| _bfd_error_handler |
| (_("DWARF error: could not find abbrev number %u"), abbrev_number); |
| bfd_set_error (bfd_error_bad_value); |
| return FALSE; |
| } |
| else |
| { |
| for (i = 0; i < abbrev->num_attrs; ++i) |
| { |
| info_ptr = read_attribute (&attr, &abbrev->attrs[i], unit, |
| info_ptr, info_ptr_end); |
| if (info_ptr == NULL) |
| break; |
| switch (attr.name) |
| { |
| case DW_AT_name: |
| /* Prefer DW_AT_MIPS_linkage_name or DW_AT_linkage_name |
| over DW_AT_name. */ |
| if (name == NULL && is_str_attr (attr.form)) |
| { |
| name = attr.u.str; |
| if (non_mangled (unit->lang)) |
| *is_linkage = TRUE; |
| } |
| break; |
| case DW_AT_specification: |
| if (!find_abstract_instance (unit, &attr, recur_count + 1, |
| &name, is_linkage, |
| filename_ptr, linenumber_ptr)) |
| return FALSE; |
| break; |
| case DW_AT_linkage_name: |
| case DW_AT_MIPS_linkage_name: |
| /* PR 16949: Corrupt debug info can place |
| non-string forms into these attributes. */ |
| if (is_str_attr (attr.form)) |
| { |
| name = attr.u.str; |
| *is_linkage = TRUE; |
| } |
| break; |
| case DW_AT_decl_file: |
| if (!comp_unit_maybe_decode_line_info (unit)) |
| return FALSE; |
| *filename_ptr = concat_filename (unit->line_table, |
| attr.u.val); |
| break; |
| case DW_AT_decl_line: |
| *linenumber_ptr = attr.u.val; |
| break; |
| default: |
| break; |
| } |
| } |
| } |
| } |
| *pname = name; |
| return TRUE; |
| } |
| |
| static bfd_boolean |
| read_rangelist (struct comp_unit *unit, struct arange *arange, |
| bfd_uint64_t offset) |
| { |
| bfd_byte *ranges_ptr; |
| bfd_byte *ranges_end; |
| bfd_vma base_address = unit->base_address; |
| |
| if (! unit->file->dwarf_ranges_buffer) |
| { |
| if (! read_debug_ranges (unit)) |
| return FALSE; |
| } |
| |
| ranges_ptr = unit->file->dwarf_ranges_buffer + offset; |
| if (ranges_ptr < unit->file->dwarf_ranges_buffer) |
| return FALSE; |
| ranges_end = unit->file->dwarf_ranges_buffer + unit->file->dwarf_ranges_size; |
| |
| for (;;) |
| { |
| bfd_vma low_pc; |
| bfd_vma high_pc; |
| |
| /* PR 17512: file: 62cada7d. */ |
| if (ranges_ptr + 2 * unit->addr_size > ranges_end) |
| return FALSE; |
| |
| low_pc = read_address (unit, ranges_ptr, |