[PATCH 3/57][Arm][GAS] Add support for MVE instructions: vabs and vneg
[binutils-gdb.git] / bfd / dwarf2.c
blob76af009e33aaf19014fc713ab9122891280cba7d
1 /* DWARF 2 support.
2 Copyright (C) 1994-2019 Free Software Foundation, Inc.
4 Adapted from gdb/dwarf2read.c by Gavin Koch of Cygnus Solutions
5 (gavin@cygnus.com).
7 From the dwarf2read.c header:
8 Adapted by Gary Funck (gary@intrepid.com), Intrepid Technology,
9 Inc. with support from Florida State University (under contract
10 with the Ada Joint Program Office), and Silicon Graphics, Inc.
11 Initial contribution by Brent Benson, Harris Computer Systems, Inc.,
12 based on Fred Fish's (Cygnus Support) implementation of DWARF 1
13 support in dwarfread.c
15 This file is part of BFD.
17 This program is free software; you can redistribute it and/or modify
18 it under the terms of the GNU General Public License as published by
19 the Free Software Foundation; either version 3 of the License, or (at
20 your option) any later version.
22 This program is distributed in the hope that it will be useful, but
23 WITHOUT ANY WARRANTY; without even the implied warranty of
24 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
25 General Public License for more details.
27 You should have received a copy of the GNU General Public License
28 along with this program; if not, write to the Free Software
29 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
30 MA 02110-1301, USA. */
32 #include "sysdep.h"
33 #include "bfd.h"
34 #include "libiberty.h"
35 #include "libbfd.h"
36 #include "elf-bfd.h"
37 #include "dwarf2.h"
39 /* The data in the .debug_line statement prologue looks like this. */
41 struct line_head
43 bfd_vma total_length;
44 unsigned short version;
45 bfd_vma prologue_length;
46 unsigned char minimum_instruction_length;
47 unsigned char maximum_ops_per_insn;
48 unsigned char default_is_stmt;
49 int line_base;
50 unsigned char line_range;
51 unsigned char opcode_base;
52 unsigned char *standard_opcode_lengths;
55 /* Attributes have a name and a value. */
57 struct attribute
59 enum dwarf_attribute name;
60 enum dwarf_form form;
61 union
63 char *str;
64 struct dwarf_block *blk;
65 bfd_uint64_t val;
66 bfd_int64_t sval;
71 /* Blocks are a bunch of untyped bytes. */
72 struct dwarf_block
74 unsigned int size;
75 bfd_byte *data;
78 struct adjusted_section
80 asection *section;
81 bfd_vma adj_vma;
84 struct dwarf2_debug
86 /* A list of all previously read comp_units. */
87 struct comp_unit *all_comp_units;
89 /* Last comp unit in list above. */
90 struct comp_unit *last_comp_unit;
92 /* Names of the debug sections. */
93 const struct dwarf_debug_section *debug_sections;
95 /* The next unread compilation unit within the .debug_info section.
96 Zero indicates that the .debug_info section has not been loaded
97 into a buffer yet. */
98 bfd_byte *info_ptr;
100 /* Pointer to the end of the .debug_info section memory buffer. */
101 bfd_byte *info_ptr_end;
103 /* Pointer to the original bfd for which debug was loaded. This is what
104 we use to compare and so check that the cached debug data is still
105 valid - it saves having to possibly dereference the gnu_debuglink each
106 time. */
107 bfd *orig_bfd;
109 /* Pointer to the bfd, section and address of the beginning of the
110 section. The bfd might be different than expected because of
111 gnu_debuglink sections. */
112 bfd *bfd_ptr;
113 asection *sec;
114 bfd_byte *sec_info_ptr;
116 /* Support for alternate debug info sections created by the DWZ utility:
117 This includes a pointer to an alternate bfd which contains *extra*,
118 possibly duplicate debug sections, and pointers to the loaded
119 .debug_str and .debug_info sections from this bfd. */
120 bfd * alt_bfd_ptr;
121 bfd_byte * alt_dwarf_str_buffer;
122 bfd_size_type alt_dwarf_str_size;
123 bfd_byte * alt_dwarf_info_buffer;
124 bfd_size_type alt_dwarf_info_size;
126 /* A pointer to the memory block allocated for info_ptr. Neither
127 info_ptr nor sec_info_ptr are guaranteed to stay pointing to the
128 beginning of the malloc block. */
129 bfd_byte *info_ptr_memory;
131 /* Pointer to the symbol table. */
132 asymbol **syms;
134 /* Pointer to the .debug_abbrev section loaded into memory. */
135 bfd_byte *dwarf_abbrev_buffer;
137 /* Length of the loaded .debug_abbrev section. */
138 bfd_size_type dwarf_abbrev_size;
140 /* Buffer for decode_line_info. */
141 bfd_byte *dwarf_line_buffer;
143 /* Length of the loaded .debug_line section. */
144 bfd_size_type dwarf_line_size;
146 /* Pointer to the .debug_str section loaded into memory. */
147 bfd_byte *dwarf_str_buffer;
149 /* Length of the loaded .debug_str section. */
150 bfd_size_type dwarf_str_size;
152 /* Pointer to the .debug_line_str section loaded into memory. */
153 bfd_byte *dwarf_line_str_buffer;
155 /* Length of the loaded .debug_line_str section. */
156 bfd_size_type dwarf_line_str_size;
158 /* Pointer to the .debug_ranges section loaded into memory. */
159 bfd_byte *dwarf_ranges_buffer;
161 /* Length of the loaded .debug_ranges section. */
162 bfd_size_type dwarf_ranges_size;
164 /* If the most recent call to bfd_find_nearest_line was given an
165 address in an inlined function, preserve a pointer into the
166 calling chain for subsequent calls to bfd_find_inliner_info to
167 use. */
168 struct funcinfo *inliner_chain;
170 /* Section VMAs at the time the stash was built. */
171 bfd_vma *sec_vma;
172 /* Number of sections in the SEC_VMA table. */
173 unsigned int sec_vma_count;
175 /* Number of sections whose VMA we must adjust. */
176 int adjusted_section_count;
178 /* Array of sections with adjusted VMA. */
179 struct adjusted_section *adjusted_sections;
181 /* Number of times find_line is called. This is used in
182 the heuristic for enabling the info hash tables. */
183 int info_hash_count;
185 #define STASH_INFO_HASH_TRIGGER 100
187 /* Hash table mapping symbol names to function infos. */
188 struct info_hash_table *funcinfo_hash_table;
190 /* Hash table mapping symbol names to variable infos. */
191 struct info_hash_table *varinfo_hash_table;
193 /* Head of comp_unit list in the last hash table update. */
194 struct comp_unit *hash_units_head;
196 /* Status of info hash. */
197 int info_hash_status;
198 #define STASH_INFO_HASH_OFF 0
199 #define STASH_INFO_HASH_ON 1
200 #define STASH_INFO_HASH_DISABLED 2
202 /* True if we opened bfd_ptr. */
203 bfd_boolean close_on_cleanup;
206 struct arange
208 struct arange *next;
209 bfd_vma low;
210 bfd_vma high;
213 /* A minimal decoding of DWARF2 compilation units. We only decode
214 what's needed to get to the line number information. */
216 struct comp_unit
218 /* Chain the previously read compilation units. */
219 struct comp_unit *next_unit;
221 /* Likewise, chain the compilation unit read after this one.
222 The comp units are stored in reversed reading order. */
223 struct comp_unit *prev_unit;
225 /* Keep the bfd convenient (for memory allocation). */
226 bfd *abfd;
228 /* The lowest and highest addresses contained in this compilation
229 unit as specified in the compilation unit header. */
230 struct arange arange;
232 /* The DW_AT_name attribute (for error messages). */
233 char *name;
235 /* The abbrev hash table. */
236 struct abbrev_info **abbrevs;
238 /* DW_AT_language. */
239 int lang;
241 /* Note that an error was found by comp_unit_find_nearest_line. */
242 int error;
244 /* The DW_AT_comp_dir attribute. */
245 char *comp_dir;
247 /* TRUE if there is a line number table associated with this comp. unit. */
248 int stmtlist;
250 /* Pointer to the current comp_unit so that we can find a given entry
251 by its reference. */
252 bfd_byte *info_ptr_unit;
254 /* The offset into .debug_line of the line number table. */
255 unsigned long line_offset;
257 /* Pointer to the first child die for the comp unit. */
258 bfd_byte *first_child_die_ptr;
260 /* The end of the comp unit. */
261 bfd_byte *end_ptr;
263 /* The decoded line number, NULL if not yet decoded. */
264 struct line_info_table *line_table;
266 /* A list of the functions found in this comp. unit. */
267 struct funcinfo *function_table;
269 /* A table of function information references searchable by address. */
270 struct lookup_funcinfo *lookup_funcinfo_table;
272 /* Number of functions in the function_table and sorted_function_table. */
273 bfd_size_type number_of_functions;
275 /* A list of the variables found in this comp. unit. */
276 struct varinfo *variable_table;
278 /* Pointer to dwarf2_debug structure. */
279 struct dwarf2_debug *stash;
281 /* DWARF format version for this unit - from unit header. */
282 int version;
284 /* Address size for this unit - from unit header. */
285 unsigned char addr_size;
287 /* Offset size for this unit - from unit header. */
288 unsigned char offset_size;
290 /* Base address for this unit - from DW_AT_low_pc attribute of
291 DW_TAG_compile_unit DIE */
292 bfd_vma base_address;
294 /* TRUE if symbols are cached in hash table for faster lookup by name. */
295 bfd_boolean cached;
298 /* This data structure holds the information of an abbrev. */
299 struct abbrev_info
301 unsigned int number; /* Number identifying abbrev. */
302 enum dwarf_tag tag; /* DWARF tag. */
303 int has_children; /* Boolean. */
304 unsigned int num_attrs; /* Number of attributes. */
305 struct attr_abbrev *attrs; /* An array of attribute descriptions. */
306 struct abbrev_info *next; /* Next in chain. */
309 struct attr_abbrev
311 enum dwarf_attribute name;
312 enum dwarf_form form;
313 bfd_vma implicit_const;
316 /* Map of uncompressed DWARF debug section name to compressed one. It
317 is terminated by NULL uncompressed_name. */
319 const struct dwarf_debug_section dwarf_debug_sections[] =
321 { ".debug_abbrev", ".zdebug_abbrev" },
322 { ".debug_aranges", ".zdebug_aranges" },
323 { ".debug_frame", ".zdebug_frame" },
324 { ".debug_info", ".zdebug_info" },
325 { ".debug_info", ".zdebug_info" },
326 { ".debug_line", ".zdebug_line" },
327 { ".debug_loc", ".zdebug_loc" },
328 { ".debug_macinfo", ".zdebug_macinfo" },
329 { ".debug_macro", ".zdebug_macro" },
330 { ".debug_pubnames", ".zdebug_pubnames" },
331 { ".debug_pubtypes", ".zdebug_pubtypes" },
332 { ".debug_ranges", ".zdebug_ranges" },
333 { ".debug_static_func", ".zdebug_static_func" },
334 { ".debug_static_vars", ".zdebug_static_vars" },
335 { ".debug_str", ".zdebug_str", },
336 { ".debug_str", ".zdebug_str", },
337 { ".debug_line_str", ".zdebug_line_str", },
338 { ".debug_types", ".zdebug_types" },
339 /* GNU DWARF 1 extensions */
340 { ".debug_sfnames", ".zdebug_sfnames" },
341 { ".debug_srcinfo", ".zebug_srcinfo" },
342 /* SGI/MIPS DWARF 2 extensions */
343 { ".debug_funcnames", ".zdebug_funcnames" },
344 { ".debug_typenames", ".zdebug_typenames" },
345 { ".debug_varnames", ".zdebug_varnames" },
346 { ".debug_weaknames", ".zdebug_weaknames" },
347 { NULL, NULL },
350 /* NB/ Numbers in this enum must match up with indices
351 into the dwarf_debug_sections[] array above. */
352 enum dwarf_debug_section_enum
354 debug_abbrev = 0,
355 debug_aranges,
356 debug_frame,
357 debug_info,
358 debug_info_alt,
359 debug_line,
360 debug_loc,
361 debug_macinfo,
362 debug_macro,
363 debug_pubnames,
364 debug_pubtypes,
365 debug_ranges,
366 debug_static_func,
367 debug_static_vars,
368 debug_str,
369 debug_str_alt,
370 debug_line_str,
371 debug_types,
372 debug_sfnames,
373 debug_srcinfo,
374 debug_funcnames,
375 debug_typenames,
376 debug_varnames,
377 debug_weaknames,
378 debug_max
381 /* A static assertion. */
382 extern int dwarf_debug_section_assert[ARRAY_SIZE (dwarf_debug_sections)
383 == debug_max + 1 ? 1 : -1];
385 #ifndef ABBREV_HASH_SIZE
386 #define ABBREV_HASH_SIZE 121
387 #endif
388 #ifndef ATTR_ALLOC_CHUNK
389 #define ATTR_ALLOC_CHUNK 4
390 #endif
392 /* Variable and function hash tables. This is used to speed up look-up
393 in lookup_symbol_in_var_table() and lookup_symbol_in_function_table().
394 In order to share code between variable and function infos, we use
395 a list of untyped pointer for all variable/function info associated with
396 a symbol. We waste a bit of memory for list with one node but that
397 simplifies the code. */
399 struct info_list_node
401 struct info_list_node *next;
402 void *info;
405 /* Info hash entry. */
406 struct info_hash_entry
408 struct bfd_hash_entry root;
409 struct info_list_node *head;
412 struct info_hash_table
414 struct bfd_hash_table base;
417 /* Function to create a new entry in info hash table. */
419 static struct bfd_hash_entry *
420 info_hash_table_newfunc (struct bfd_hash_entry *entry,
421 struct bfd_hash_table *table,
422 const char *string)
424 struct info_hash_entry *ret = (struct info_hash_entry *) entry;
426 /* Allocate the structure if it has not already been allocated by a
427 derived class. */
428 if (ret == NULL)
430 ret = (struct info_hash_entry *) bfd_hash_allocate (table,
431 sizeof (* ret));
432 if (ret == NULL)
433 return NULL;
436 /* Call the allocation method of the base class. */
437 ret = ((struct info_hash_entry *)
438 bfd_hash_newfunc ((struct bfd_hash_entry *) ret, table, string));
440 /* Initialize the local fields here. */
441 if (ret)
442 ret->head = NULL;
444 return (struct bfd_hash_entry *) ret;
447 /* Function to create a new info hash table. It returns a pointer to the
448 newly created table or NULL if there is any error. We need abfd
449 solely for memory allocation. */
451 static struct info_hash_table *
452 create_info_hash_table (bfd *abfd)
454 struct info_hash_table *hash_table;
456 hash_table = ((struct info_hash_table *)
457 bfd_alloc (abfd, sizeof (struct info_hash_table)));
458 if (!hash_table)
459 return hash_table;
461 if (!bfd_hash_table_init (&hash_table->base, info_hash_table_newfunc,
462 sizeof (struct info_hash_entry)))
464 bfd_release (abfd, hash_table);
465 return NULL;
468 return hash_table;
471 /* Insert an info entry into an info hash table. We do not check of
472 duplicate entries. Also, the caller need to guarantee that the
473 right type of info in inserted as info is passed as a void* pointer.
474 This function returns true if there is no error. */
476 static bfd_boolean
477 insert_info_hash_table (struct info_hash_table *hash_table,
478 const char *key,
479 void *info,
480 bfd_boolean copy_p)
482 struct info_hash_entry *entry;
483 struct info_list_node *node;
485 entry = (struct info_hash_entry*) bfd_hash_lookup (&hash_table->base,
486 key, TRUE, copy_p);
487 if (!entry)
488 return FALSE;
490 node = (struct info_list_node *) bfd_hash_allocate (&hash_table->base,
491 sizeof (*node));
492 if (!node)
493 return FALSE;
495 node->info = info;
496 node->next = entry->head;
497 entry->head = node;
499 return TRUE;
502 /* Look up an info entry list from an info hash table. Return NULL
503 if there is none. */
505 static struct info_list_node *
506 lookup_info_hash_table (struct info_hash_table *hash_table, const char *key)
508 struct info_hash_entry *entry;
510 entry = (struct info_hash_entry*) bfd_hash_lookup (&hash_table->base, key,
511 FALSE, FALSE);
512 return entry ? entry->head : NULL;
515 /* Read a section into its appropriate place in the dwarf2_debug
516 struct (indicated by SECTION_BUFFER and SECTION_SIZE). If SYMS is
517 not NULL, use bfd_simple_get_relocated_section_contents to read the
518 section contents, otherwise use bfd_get_section_contents. Fail if
519 the located section does not contain at least OFFSET bytes. */
521 static bfd_boolean
522 read_section (bfd * abfd,
523 const struct dwarf_debug_section *sec,
524 asymbol ** syms,
525 bfd_uint64_t offset,
526 bfd_byte ** section_buffer,
527 bfd_size_type * section_size)
529 asection *msec;
530 const char *section_name = sec->uncompressed_name;
531 bfd_byte *contents = *section_buffer;
532 bfd_size_type amt;
534 /* The section may have already been read. */
535 if (contents == NULL)
537 msec = bfd_get_section_by_name (abfd, section_name);
538 if (! msec)
540 section_name = sec->compressed_name;
541 if (section_name != NULL)
542 msec = bfd_get_section_by_name (abfd, section_name);
544 if (! msec)
546 _bfd_error_handler (_("DWARF error: can't find %s section."),
547 sec->uncompressed_name);
548 bfd_set_error (bfd_error_bad_value);
549 return FALSE;
552 *section_size = msec->rawsize ? msec->rawsize : msec->size;
553 /* Paranoia - alloc one extra so that we can make sure a string
554 section is NUL terminated. */
555 amt = *section_size + 1;
556 if (amt == 0)
558 bfd_set_error (bfd_error_no_memory);
559 return FALSE;
561 contents = (bfd_byte *) bfd_malloc (amt);
562 if (contents == NULL)
563 return FALSE;
564 if (syms
565 ? !bfd_simple_get_relocated_section_contents (abfd, msec, contents,
566 syms)
567 : !bfd_get_section_contents (abfd, msec, contents, 0, *section_size))
569 free (contents);
570 return FALSE;
572 contents[*section_size] = 0;
573 *section_buffer = contents;
576 /* It is possible to get a bad value for the offset into the section
577 that the client wants. Validate it here to avoid trouble later. */
578 if (offset != 0 && offset >= *section_size)
580 /* xgettext: c-format */
581 _bfd_error_handler (_("DWARF error: offset (%" PRIu64 ")"
582 " greater than or equal to %s size (%" PRIu64 ")"),
583 (uint64_t) offset, section_name,
584 (uint64_t) *section_size);
585 bfd_set_error (bfd_error_bad_value);
586 return FALSE;
589 return TRUE;
592 /* Read dwarf information from a buffer. */
594 static unsigned int
595 read_1_byte (bfd *abfd ATTRIBUTE_UNUSED, bfd_byte *buf, bfd_byte *end)
597 if (buf + 1 > end)
598 return 0;
599 return bfd_get_8 (abfd, buf);
602 static int
603 read_1_signed_byte (bfd *abfd ATTRIBUTE_UNUSED, bfd_byte *buf, bfd_byte *end)
605 if (buf + 1 > end)
606 return 0;
607 return bfd_get_signed_8 (abfd, buf);
610 static unsigned int
611 read_2_bytes (bfd *abfd, bfd_byte *buf, bfd_byte *end)
613 if (buf + 2 > end)
614 return 0;
615 return bfd_get_16 (abfd, buf);
618 static unsigned int
619 read_4_bytes (bfd *abfd, bfd_byte *buf, bfd_byte *end)
621 if (buf + 4 > end)
622 return 0;
623 return bfd_get_32 (abfd, buf);
626 static bfd_uint64_t
627 read_8_bytes (bfd *abfd, bfd_byte *buf, bfd_byte *end)
629 if (buf + 8 > end)
630 return 0;
631 return bfd_get_64 (abfd, buf);
634 static bfd_byte *
635 read_n_bytes (bfd_byte * buf,
636 bfd_byte * end,
637 struct dwarf_block * block)
639 unsigned int size = block->size;
640 bfd_byte * block_end = buf + size;
642 if (block_end > end || block_end < buf)
644 block->data = NULL;
645 block->size = 0;
646 return end;
648 else
650 block->data = buf;
651 return block_end;
655 /* Scans a NUL terminated string starting at BUF, returning a pointer to it.
656 Returns the number of characters in the string, *including* the NUL byte,
657 in BYTES_READ_PTR. This value is set even if the function fails. Bytes
658 at or beyond BUF_END will not be read. Returns NULL if there was a
659 problem, or if the string is empty. */
661 static char *
662 read_string (bfd * abfd ATTRIBUTE_UNUSED,
663 bfd_byte * buf,
664 bfd_byte * buf_end,
665 unsigned int * bytes_read_ptr)
667 bfd_byte *str = buf;
669 if (buf >= buf_end)
671 * bytes_read_ptr = 0;
672 return NULL;
675 if (*str == '\0')
677 * bytes_read_ptr = 1;
678 return NULL;
681 while (buf < buf_end)
682 if (* buf ++ == 0)
684 * bytes_read_ptr = buf - str;
685 return (char *) str;
688 * bytes_read_ptr = buf - str;
689 return NULL;
692 /* Reads an offset from BUF and then locates the string at this offset
693 inside the debug string section. Returns a pointer to the string.
694 Returns the number of bytes read from BUF, *not* the length of the string,
695 in BYTES_READ_PTR. This value is set even if the function fails. Bytes
696 at or beyond BUF_END will not be read from BUF. Returns NULL if there was
697 a problem, or if the string is empty. Does not check for NUL termination
698 of the string. */
700 static char *
701 read_indirect_string (struct comp_unit * unit,
702 bfd_byte * buf,
703 bfd_byte * buf_end,
704 unsigned int * bytes_read_ptr)
706 bfd_uint64_t offset;
707 struct dwarf2_debug *stash = unit->stash;
708 char *str;
710 if (buf + unit->offset_size > buf_end)
712 * bytes_read_ptr = 0;
713 return NULL;
716 if (unit->offset_size == 4)
717 offset = read_4_bytes (unit->abfd, buf, buf_end);
718 else
719 offset = read_8_bytes (unit->abfd, buf, buf_end);
721 *bytes_read_ptr = unit->offset_size;
723 if (! read_section (unit->abfd, &stash->debug_sections[debug_str],
724 stash->syms, offset,
725 &stash->dwarf_str_buffer, &stash->dwarf_str_size))
726 return NULL;
728 if (offset >= stash->dwarf_str_size)
729 return NULL;
730 str = (char *) stash->dwarf_str_buffer + offset;
731 if (*str == '\0')
732 return NULL;
733 return str;
736 /* Like read_indirect_string but from .debug_line_str section. */
738 static char *
739 read_indirect_line_string (struct comp_unit * unit,
740 bfd_byte * buf,
741 bfd_byte * buf_end,
742 unsigned int * bytes_read_ptr)
744 bfd_uint64_t offset;
745 struct dwarf2_debug *stash = unit->stash;
746 char *str;
748 if (buf + unit->offset_size > buf_end)
750 * bytes_read_ptr = 0;
751 return NULL;
754 if (unit->offset_size == 4)
755 offset = read_4_bytes (unit->abfd, buf, buf_end);
756 else
757 offset = read_8_bytes (unit->abfd, buf, buf_end);
759 *bytes_read_ptr = unit->offset_size;
761 if (! read_section (unit->abfd, &stash->debug_sections[debug_line_str],
762 stash->syms, offset,
763 &stash->dwarf_line_str_buffer,
764 &stash->dwarf_line_str_size))
765 return NULL;
767 if (offset >= stash->dwarf_line_str_size)
768 return NULL;
769 str = (char *) stash->dwarf_line_str_buffer + offset;
770 if (*str == '\0')
771 return NULL;
772 return str;
775 /* Like read_indirect_string but uses a .debug_str located in
776 an alternate file pointed to by the .gnu_debugaltlink section.
777 Used to impement DW_FORM_GNU_strp_alt. */
779 static char *
780 read_alt_indirect_string (struct comp_unit * unit,
781 bfd_byte * buf,
782 bfd_byte * buf_end,
783 unsigned int * bytes_read_ptr)
785 bfd_uint64_t offset;
786 struct dwarf2_debug *stash = unit->stash;
787 char *str;
789 if (buf + unit->offset_size > buf_end)
791 * bytes_read_ptr = 0;
792 return NULL;
795 if (unit->offset_size == 4)
796 offset = read_4_bytes (unit->abfd, buf, buf_end);
797 else
798 offset = read_8_bytes (unit->abfd, buf, buf_end);
800 *bytes_read_ptr = unit->offset_size;
802 if (stash->alt_bfd_ptr == NULL)
804 bfd * debug_bfd;
805 char * debug_filename = bfd_follow_gnu_debugaltlink (unit->abfd, DEBUGDIR);
807 if (debug_filename == NULL)
808 return NULL;
810 if ((debug_bfd = bfd_openr (debug_filename, NULL)) == NULL
811 || ! bfd_check_format (debug_bfd, bfd_object))
813 if (debug_bfd)
814 bfd_close (debug_bfd);
816 /* FIXME: Should we report our failure to follow the debuglink ? */
817 free (debug_filename);
818 return NULL;
820 stash->alt_bfd_ptr = debug_bfd;
823 if (! read_section (unit->stash->alt_bfd_ptr,
824 stash->debug_sections + debug_str_alt,
825 NULL, /* FIXME: Do we need to load alternate symbols ? */
826 offset,
827 &stash->alt_dwarf_str_buffer,
828 &stash->alt_dwarf_str_size))
829 return NULL;
831 if (offset >= stash->alt_dwarf_str_size)
832 return NULL;
833 str = (char *) stash->alt_dwarf_str_buffer + offset;
834 if (*str == '\0')
835 return NULL;
837 return str;
840 /* Resolve an alternate reference from UNIT at OFFSET.
841 Returns a pointer into the loaded alternate CU upon success
842 or NULL upon failure. */
844 static bfd_byte *
845 read_alt_indirect_ref (struct comp_unit * unit,
846 bfd_uint64_t offset)
848 struct dwarf2_debug *stash = unit->stash;
850 if (stash->alt_bfd_ptr == NULL)
852 bfd * debug_bfd;
853 char * debug_filename = bfd_follow_gnu_debugaltlink (unit->abfd, DEBUGDIR);
855 if (debug_filename == NULL)
856 return FALSE;
858 if ((debug_bfd = bfd_openr (debug_filename, NULL)) == NULL
859 || ! bfd_check_format (debug_bfd, bfd_object))
861 if (debug_bfd)
862 bfd_close (debug_bfd);
864 /* FIXME: Should we report our failure to follow the debuglink ? */
865 free (debug_filename);
866 return NULL;
868 stash->alt_bfd_ptr = debug_bfd;
871 if (! read_section (unit->stash->alt_bfd_ptr,
872 stash->debug_sections + debug_info_alt,
873 NULL, /* FIXME: Do we need to load alternate symbols ? */
874 offset,
875 &stash->alt_dwarf_info_buffer,
876 &stash->alt_dwarf_info_size))
877 return NULL;
879 if (offset >= stash->alt_dwarf_info_size)
880 return NULL;
881 return stash->alt_dwarf_info_buffer + offset;
884 static bfd_uint64_t
885 read_address (struct comp_unit *unit, bfd_byte *buf, bfd_byte * buf_end)
887 int signed_vma = 0;
889 if (bfd_get_flavour (unit->abfd) == bfd_target_elf_flavour)
890 signed_vma = get_elf_backend_data (unit->abfd)->sign_extend_vma;
892 if (buf + unit->addr_size > buf_end)
893 return 0;
895 if (signed_vma)
897 switch (unit->addr_size)
899 case 8:
900 return bfd_get_signed_64 (unit->abfd, buf);
901 case 4:
902 return bfd_get_signed_32 (unit->abfd, buf);
903 case 2:
904 return bfd_get_signed_16 (unit->abfd, buf);
905 default:
906 abort ();
909 else
911 switch (unit->addr_size)
913 case 8:
914 return bfd_get_64 (unit->abfd, buf);
915 case 4:
916 return bfd_get_32 (unit->abfd, buf);
917 case 2:
918 return bfd_get_16 (unit->abfd, buf);
919 default:
920 abort ();
925 /* Lookup an abbrev_info structure in the abbrev hash table. */
927 static struct abbrev_info *
928 lookup_abbrev (unsigned int number, struct abbrev_info **abbrevs)
930 unsigned int hash_number;
931 struct abbrev_info *abbrev;
933 hash_number = number % ABBREV_HASH_SIZE;
934 abbrev = abbrevs[hash_number];
936 while (abbrev)
938 if (abbrev->number == number)
939 return abbrev;
940 else
941 abbrev = abbrev->next;
944 return NULL;
947 /* In DWARF version 2, the description of the debugging information is
948 stored in a separate .debug_abbrev section. Before we read any
949 dies from a section we read in all abbreviations and install them
950 in a hash table. */
952 static struct abbrev_info**
953 read_abbrevs (bfd *abfd, bfd_uint64_t offset, struct dwarf2_debug *stash)
955 struct abbrev_info **abbrevs;
956 bfd_byte *abbrev_ptr;
957 bfd_byte *abbrev_end;
958 struct abbrev_info *cur_abbrev;
959 unsigned int abbrev_number, bytes_read, abbrev_name;
960 unsigned int abbrev_form, hash_number;
961 bfd_size_type amt;
963 if (! read_section (abfd, &stash->debug_sections[debug_abbrev],
964 stash->syms, offset,
965 &stash->dwarf_abbrev_buffer, &stash->dwarf_abbrev_size))
966 return NULL;
968 if (offset >= stash->dwarf_abbrev_size)
969 return NULL;
971 amt = sizeof (struct abbrev_info*) * ABBREV_HASH_SIZE;
972 abbrevs = (struct abbrev_info **) bfd_zalloc (abfd, amt);
973 if (abbrevs == NULL)
974 return NULL;
976 abbrev_ptr = stash->dwarf_abbrev_buffer + offset;
977 abbrev_end = stash->dwarf_abbrev_buffer + stash->dwarf_abbrev_size;
978 abbrev_number = _bfd_safe_read_leb128 (abfd, abbrev_ptr, &bytes_read,
979 FALSE, abbrev_end);
980 abbrev_ptr += bytes_read;
982 /* Loop until we reach an abbrev number of 0. */
983 while (abbrev_number)
985 amt = sizeof (struct abbrev_info);
986 cur_abbrev = (struct abbrev_info *) bfd_zalloc (abfd, amt);
987 if (cur_abbrev == NULL)
988 return NULL;
990 /* Read in abbrev header. */
991 cur_abbrev->number = abbrev_number;
992 cur_abbrev->tag = (enum dwarf_tag)
993 _bfd_safe_read_leb128 (abfd, abbrev_ptr, &bytes_read,
994 FALSE, abbrev_end);
995 abbrev_ptr += bytes_read;
996 cur_abbrev->has_children = read_1_byte (abfd, abbrev_ptr, abbrev_end);
997 abbrev_ptr += 1;
999 /* Now read in declarations. */
1000 for (;;)
1002 /* Initialize it just to avoid a GCC false warning. */
1003 bfd_vma implicit_const = -1;
1005 abbrev_name = _bfd_safe_read_leb128 (abfd, abbrev_ptr, &bytes_read,
1006 FALSE, abbrev_end);
1007 abbrev_ptr += bytes_read;
1008 abbrev_form = _bfd_safe_read_leb128 (abfd, abbrev_ptr, &bytes_read,
1009 FALSE, abbrev_end);
1010 abbrev_ptr += bytes_read;
1011 if (abbrev_form == DW_FORM_implicit_const)
1013 implicit_const = _bfd_safe_read_leb128 (abfd, abbrev_ptr,
1014 &bytes_read, TRUE,
1015 abbrev_end);
1016 abbrev_ptr += bytes_read;
1019 if (abbrev_name == 0)
1020 break;
1022 if ((cur_abbrev->num_attrs % ATTR_ALLOC_CHUNK) == 0)
1024 struct attr_abbrev *tmp;
1026 amt = cur_abbrev->num_attrs + ATTR_ALLOC_CHUNK;
1027 amt *= sizeof (struct attr_abbrev);
1028 tmp = (struct attr_abbrev *) bfd_realloc (cur_abbrev->attrs, amt);
1029 if (tmp == NULL)
1031 size_t i;
1033 for (i = 0; i < ABBREV_HASH_SIZE; i++)
1035 struct abbrev_info *abbrev = abbrevs[i];
1037 while (abbrev)
1039 free (abbrev->attrs);
1040 abbrev = abbrev->next;
1043 return NULL;
1045 cur_abbrev->attrs = tmp;
1048 cur_abbrev->attrs[cur_abbrev->num_attrs].name
1049 = (enum dwarf_attribute) abbrev_name;
1050 cur_abbrev->attrs[cur_abbrev->num_attrs].form
1051 = (enum dwarf_form) abbrev_form;
1052 cur_abbrev->attrs[cur_abbrev->num_attrs].implicit_const
1053 = implicit_const;
1054 ++cur_abbrev->num_attrs;
1057 hash_number = abbrev_number % ABBREV_HASH_SIZE;
1058 cur_abbrev->next = abbrevs[hash_number];
1059 abbrevs[hash_number] = cur_abbrev;
1061 /* Get next abbreviation.
1062 Under Irix6 the abbreviations for a compilation unit are not
1063 always properly terminated with an abbrev number of 0.
1064 Exit loop if we encounter an abbreviation which we have
1065 already read (which means we are about to read the abbreviations
1066 for the next compile unit) or if the end of the abbreviation
1067 table is reached. */
1068 if ((unsigned int) (abbrev_ptr - stash->dwarf_abbrev_buffer)
1069 >= stash->dwarf_abbrev_size)
1070 break;
1071 abbrev_number = _bfd_safe_read_leb128 (abfd, abbrev_ptr,
1072 &bytes_read, FALSE, abbrev_end);
1073 abbrev_ptr += bytes_read;
1074 if (lookup_abbrev (abbrev_number, abbrevs) != NULL)
1075 break;
1078 return abbrevs;
1081 /* Returns true if the form is one which has a string value. */
1083 static inline bfd_boolean
1084 is_str_attr (enum dwarf_form form)
1086 return (form == DW_FORM_string || form == DW_FORM_strp
1087 || form == DW_FORM_line_strp || form == DW_FORM_GNU_strp_alt);
1090 /* Read and fill in the value of attribute ATTR as described by FORM.
1091 Read data starting from INFO_PTR, but never at or beyond INFO_PTR_END.
1092 Returns an updated INFO_PTR taking into account the amount of data read. */
1094 static bfd_byte *
1095 read_attribute_value (struct attribute * attr,
1096 unsigned form,
1097 bfd_vma implicit_const,
1098 struct comp_unit * unit,
1099 bfd_byte * info_ptr,
1100 bfd_byte * info_ptr_end)
1102 bfd *abfd = unit->abfd;
1103 unsigned int bytes_read;
1104 struct dwarf_block *blk;
1105 bfd_size_type amt;
1107 if (info_ptr >= info_ptr_end && form != DW_FORM_flag_present)
1109 _bfd_error_handler (_("DWARF error: info pointer extends beyond end of attributes"));
1110 bfd_set_error (bfd_error_bad_value);
1111 return info_ptr;
1114 attr->form = (enum dwarf_form) form;
1116 switch (form)
1118 case DW_FORM_ref_addr:
1119 /* DW_FORM_ref_addr is an address in DWARF2, and an offset in
1120 DWARF3. */
1121 if (unit->version == 3 || unit->version == 4)
1123 if (unit->offset_size == 4)
1124 attr->u.val = read_4_bytes (unit->abfd, info_ptr, info_ptr_end);
1125 else
1126 attr->u.val = read_8_bytes (unit->abfd, info_ptr, info_ptr_end);
1127 info_ptr += unit->offset_size;
1128 break;
1130 /* FALLTHROUGH */
1131 case DW_FORM_addr:
1132 attr->u.val = read_address (unit, info_ptr, info_ptr_end);
1133 info_ptr += unit->addr_size;
1134 break;
1135 case DW_FORM_GNU_ref_alt:
1136 case DW_FORM_sec_offset:
1137 if (unit->offset_size == 4)
1138 attr->u.val = read_4_bytes (unit->abfd, info_ptr, info_ptr_end);
1139 else
1140 attr->u.val = read_8_bytes (unit->abfd, info_ptr, info_ptr_end);
1141 info_ptr += unit->offset_size;
1142 break;
1143 case DW_FORM_block2:
1144 amt = sizeof (struct dwarf_block);
1145 blk = (struct dwarf_block *) bfd_alloc (abfd, amt);
1146 if (blk == NULL)
1147 return NULL;
1148 blk->size = read_2_bytes (abfd, info_ptr, info_ptr_end);
1149 info_ptr += 2;
1150 info_ptr = read_n_bytes (info_ptr, info_ptr_end, blk);
1151 attr->u.blk = blk;
1152 break;
1153 case DW_FORM_block4:
1154 amt = sizeof (struct dwarf_block);
1155 blk = (struct dwarf_block *) bfd_alloc (abfd, amt);
1156 if (blk == NULL)
1157 return NULL;
1158 blk->size = read_4_bytes (abfd, info_ptr, info_ptr_end);
1159 info_ptr += 4;
1160 info_ptr = read_n_bytes (info_ptr, info_ptr_end, blk);
1161 attr->u.blk = blk;
1162 break;
1163 case DW_FORM_data2:
1164 attr->u.val = read_2_bytes (abfd, info_ptr, info_ptr_end);
1165 info_ptr += 2;
1166 break;
1167 case DW_FORM_data4:
1168 attr->u.val = read_4_bytes (abfd, info_ptr, info_ptr_end);
1169 info_ptr += 4;
1170 break;
1171 case DW_FORM_data8:
1172 attr->u.val = read_8_bytes (abfd, info_ptr, info_ptr_end);
1173 info_ptr += 8;
1174 break;
1175 case DW_FORM_string:
1176 attr->u.str = read_string (abfd, info_ptr, info_ptr_end, &bytes_read);
1177 info_ptr += bytes_read;
1178 break;
1179 case DW_FORM_strp:
1180 attr->u.str = read_indirect_string (unit, info_ptr, info_ptr_end, &bytes_read);
1181 info_ptr += bytes_read;
1182 break;
1183 case DW_FORM_line_strp:
1184 attr->u.str = read_indirect_line_string (unit, info_ptr, info_ptr_end, &bytes_read);
1185 info_ptr += bytes_read;
1186 break;
1187 case DW_FORM_GNU_strp_alt:
1188 attr->u.str = read_alt_indirect_string (unit, info_ptr, info_ptr_end, &bytes_read);
1189 info_ptr += bytes_read;
1190 break;
1191 case DW_FORM_exprloc:
1192 case DW_FORM_block:
1193 amt = sizeof (struct dwarf_block);
1194 blk = (struct dwarf_block *) bfd_alloc (abfd, amt);
1195 if (blk == NULL)
1196 return NULL;
1197 blk->size = _bfd_safe_read_leb128 (abfd, info_ptr, &bytes_read,
1198 FALSE, info_ptr_end);
1199 info_ptr += bytes_read;
1200 info_ptr = read_n_bytes (info_ptr, info_ptr_end, blk);
1201 attr->u.blk = blk;
1202 break;
1203 case DW_FORM_block1:
1204 amt = sizeof (struct dwarf_block);
1205 blk = (struct dwarf_block *) bfd_alloc (abfd, amt);
1206 if (blk == NULL)
1207 return NULL;
1208 blk->size = read_1_byte (abfd, info_ptr, info_ptr_end);
1209 info_ptr += 1;
1210 info_ptr = read_n_bytes (info_ptr, info_ptr_end, blk);
1211 attr->u.blk = blk;
1212 break;
1213 case DW_FORM_data1:
1214 attr->u.val = read_1_byte (abfd, info_ptr, info_ptr_end);
1215 info_ptr += 1;
1216 break;
1217 case DW_FORM_flag:
1218 attr->u.val = read_1_byte (abfd, info_ptr, info_ptr_end);
1219 info_ptr += 1;
1220 break;
1221 case DW_FORM_flag_present:
1222 attr->u.val = 1;
1223 break;
1224 case DW_FORM_sdata:
1225 attr->u.sval = _bfd_safe_read_leb128 (abfd, info_ptr, &bytes_read,
1226 TRUE, info_ptr_end);
1227 info_ptr += bytes_read;
1228 break;
1229 case DW_FORM_udata:
1230 attr->u.val = _bfd_safe_read_leb128 (abfd, info_ptr, &bytes_read,
1231 FALSE, info_ptr_end);
1232 info_ptr += bytes_read;
1233 break;
1234 case DW_FORM_ref1:
1235 attr->u.val = read_1_byte (abfd, info_ptr, info_ptr_end);
1236 info_ptr += 1;
1237 break;
1238 case DW_FORM_ref2:
1239 attr->u.val = read_2_bytes (abfd, info_ptr, info_ptr_end);
1240 info_ptr += 2;
1241 break;
1242 case DW_FORM_ref4:
1243 attr->u.val = read_4_bytes (abfd, info_ptr, info_ptr_end);
1244 info_ptr += 4;
1245 break;
1246 case DW_FORM_ref8:
1247 attr->u.val = read_8_bytes (abfd, info_ptr, info_ptr_end);
1248 info_ptr += 8;
1249 break;
1250 case DW_FORM_ref_sig8:
1251 attr->u.val = read_8_bytes (abfd, info_ptr, info_ptr_end);
1252 info_ptr += 8;
1253 break;
1254 case DW_FORM_ref_udata:
1255 attr->u.val = _bfd_safe_read_leb128 (abfd, info_ptr, &bytes_read,
1256 FALSE, info_ptr_end);
1257 info_ptr += bytes_read;
1258 break;
1259 case DW_FORM_indirect:
1260 form = _bfd_safe_read_leb128 (abfd, info_ptr, &bytes_read,
1261 FALSE, info_ptr_end);
1262 info_ptr += bytes_read;
1263 if (form == DW_FORM_implicit_const)
1265 implicit_const = _bfd_safe_read_leb128 (abfd, info_ptr, &bytes_read,
1266 TRUE, info_ptr_end);
1267 info_ptr += bytes_read;
1269 info_ptr = read_attribute_value (attr, form, implicit_const, unit,
1270 info_ptr, info_ptr_end);
1271 break;
1272 case DW_FORM_implicit_const:
1273 attr->form = DW_FORM_sdata;
1274 attr->u.sval = implicit_const;
1275 break;
1276 default:
1277 _bfd_error_handler (_("DWARF error: invalid or unhandled FORM value: %#x"),
1278 form);
1279 bfd_set_error (bfd_error_bad_value);
1280 return NULL;
1282 return info_ptr;
1285 /* Read an attribute described by an abbreviated attribute. */
1287 static bfd_byte *
1288 read_attribute (struct attribute * attr,
1289 struct attr_abbrev * abbrev,
1290 struct comp_unit * unit,
1291 bfd_byte * info_ptr,
1292 bfd_byte * info_ptr_end)
1294 attr->name = abbrev->name;
1295 info_ptr = read_attribute_value (attr, abbrev->form, abbrev->implicit_const,
1296 unit, info_ptr, info_ptr_end);
1297 return info_ptr;
1300 /* Return whether DW_AT_name will return the same as DW_AT_linkage_name
1301 for a function. */
1303 static bfd_boolean
1304 non_mangled (int lang)
1306 switch (lang)
1308 default:
1309 return FALSE;
1311 case DW_LANG_C89:
1312 case DW_LANG_C:
1313 case DW_LANG_Ada83:
1314 case DW_LANG_Cobol74:
1315 case DW_LANG_Cobol85:
1316 case DW_LANG_Fortran77:
1317 case DW_LANG_Pascal83:
1318 case DW_LANG_C99:
1319 case DW_LANG_Ada95:
1320 case DW_LANG_PLI:
1321 case DW_LANG_UPC:
1322 case DW_LANG_C11:
1323 return TRUE;
1327 /* Source line information table routines. */
1329 #define FILE_ALLOC_CHUNK 5
1330 #define DIR_ALLOC_CHUNK 5
1332 struct line_info
1334 struct line_info * prev_line;
1335 bfd_vma address;
1336 char * filename;
1337 unsigned int line;
1338 unsigned int column;
1339 unsigned int discriminator;
1340 unsigned char op_index;
1341 unsigned char end_sequence; /* End of (sequential) code sequence. */
1344 struct fileinfo
1346 char * name;
1347 unsigned int dir;
1348 unsigned int time;
1349 unsigned int size;
1352 struct line_sequence
1354 bfd_vma low_pc;
1355 struct line_sequence* prev_sequence;
1356 struct line_info* last_line; /* Largest VMA. */
1357 struct line_info** line_info_lookup;
1358 bfd_size_type num_lines;
1361 struct line_info_table
1363 bfd * abfd;
1364 unsigned int num_files;
1365 unsigned int num_dirs;
1366 unsigned int num_sequences;
1367 char * comp_dir;
1368 char ** dirs;
1369 struct fileinfo* files;
1370 struct line_sequence* sequences;
1371 struct line_info* lcl_head; /* Local head; used in 'add_line_info'. */
1374 /* Remember some information about each function. If the function is
1375 inlined (DW_TAG_inlined_subroutine) it may have two additional
1376 attributes, DW_AT_call_file and DW_AT_call_line, which specify the
1377 source code location where this function was inlined. */
1379 struct funcinfo
1381 /* Pointer to previous function in list of all functions. */
1382 struct funcinfo * prev_func;
1383 /* Pointer to function one scope higher. */
1384 struct funcinfo * caller_func;
1385 /* Source location file name where caller_func inlines this func. */
1386 char * caller_file;
1387 /* Source location file name. */
1388 char * file;
1389 /* Source location line number where caller_func inlines this func. */
1390 int caller_line;
1391 /* Source location line number. */
1392 int line;
1393 int tag;
1394 bfd_boolean is_linkage;
1395 const char * name;
1396 struct arange arange;
1397 /* Where the symbol is defined. */
1398 asection * sec;
1401 struct lookup_funcinfo
1403 /* Function information corresponding to this lookup table entry. */
1404 struct funcinfo * funcinfo;
1406 /* The lowest address for this specific function. */
1407 bfd_vma low_addr;
1409 /* The highest address of this function before the lookup table is sorted.
1410 The highest address of all prior functions after the lookup table is
1411 sorted, which is used for binary search. */
1412 bfd_vma high_addr;
1415 struct varinfo
1417 /* Pointer to previous variable in list of all variables */
1418 struct varinfo *prev_var;
1419 /* Source location file name */
1420 char *file;
1421 /* Source location line number */
1422 int line;
1423 int tag;
1424 char *name;
1425 bfd_vma addr;
1426 /* Where the symbol is defined */
1427 asection *sec;
1428 /* Is this a stack variable? */
1429 unsigned int stack: 1;
1432 /* Return TRUE if NEW_LINE should sort after LINE. */
1434 static inline bfd_boolean
1435 new_line_sorts_after (struct line_info *new_line, struct line_info *line)
1437 return (new_line->address > line->address
1438 || (new_line->address == line->address
1439 && new_line->op_index > line->op_index));
1443 /* Adds a new entry to the line_info list in the line_info_table, ensuring
1444 that the list is sorted. Note that the line_info list is sorted from
1445 highest to lowest VMA (with possible duplicates); that is,
1446 line_info->prev_line always accesses an equal or smaller VMA. */
1448 static bfd_boolean
1449 add_line_info (struct line_info_table *table,
1450 bfd_vma address,
1451 unsigned char op_index,
1452 char *filename,
1453 unsigned int line,
1454 unsigned int column,
1455 unsigned int discriminator,
1456 int end_sequence)
1458 bfd_size_type amt = sizeof (struct line_info);
1459 struct line_sequence* seq = table->sequences;
1460 struct line_info* info = (struct line_info *) bfd_alloc (table->abfd, amt);
1462 if (info == NULL)
1463 return FALSE;
1465 /* Set member data of 'info'. */
1466 info->prev_line = NULL;
1467 info->address = address;
1468 info->op_index = op_index;
1469 info->line = line;
1470 info->column = column;
1471 info->discriminator = discriminator;
1472 info->end_sequence = end_sequence;
1474 if (filename && filename[0])
1476 info->filename = (char *) bfd_alloc (table->abfd, strlen (filename) + 1);
1477 if (info->filename == NULL)
1478 return FALSE;
1479 strcpy (info->filename, filename);
1481 else
1482 info->filename = NULL;
1484 /* Find the correct location for 'info'. Normally we will receive
1485 new line_info data 1) in order and 2) with increasing VMAs.
1486 However some compilers break the rules (cf. decode_line_info) and
1487 so we include some heuristics for quickly finding the correct
1488 location for 'info'. In particular, these heuristics optimize for
1489 the common case in which the VMA sequence that we receive is a
1490 list of locally sorted VMAs such as
1491 p...z a...j (where a < j < p < z)
1493 Note: table->lcl_head is used to head an *actual* or *possible*
1494 sub-sequence within the list (such as a...j) that is not directly
1495 headed by table->last_line
1497 Note: we may receive duplicate entries from 'decode_line_info'. */
1499 if (seq
1500 && seq->last_line->address == address
1501 && seq->last_line->op_index == op_index
1502 && seq->last_line->end_sequence == end_sequence)
1504 /* We only keep the last entry with the same address and end
1505 sequence. See PR ld/4986. */
1506 if (table->lcl_head == seq->last_line)
1507 table->lcl_head = info;
1508 info->prev_line = seq->last_line->prev_line;
1509 seq->last_line = info;
1511 else if (!seq || seq->last_line->end_sequence)
1513 /* Start a new line sequence. */
1514 amt = sizeof (struct line_sequence);
1515 seq = (struct line_sequence *) bfd_malloc (amt);
1516 if (seq == NULL)
1517 return FALSE;
1518 seq->low_pc = address;
1519 seq->prev_sequence = table->sequences;
1520 seq->last_line = info;
1521 table->lcl_head = info;
1522 table->sequences = seq;
1523 table->num_sequences++;
1525 else if (info->end_sequence
1526 || new_line_sorts_after (info, seq->last_line))
1528 /* Normal case: add 'info' to the beginning of the current sequence. */
1529 info->prev_line = seq->last_line;
1530 seq->last_line = info;
1532 /* lcl_head: initialize to head a *possible* sequence at the end. */
1533 if (!table->lcl_head)
1534 table->lcl_head = info;
1536 else if (!new_line_sorts_after (info, table->lcl_head)
1537 && (!table->lcl_head->prev_line
1538 || new_line_sorts_after (info, table->lcl_head->prev_line)))
1540 /* Abnormal but easy: lcl_head is the head of 'info'. */
1541 info->prev_line = table->lcl_head->prev_line;
1542 table->lcl_head->prev_line = info;
1544 else
1546 /* Abnormal and hard: Neither 'last_line' nor 'lcl_head'
1547 are valid heads for 'info'. Reset 'lcl_head'. */
1548 struct line_info* li2 = seq->last_line; /* Always non-NULL. */
1549 struct line_info* li1 = li2->prev_line;
1551 while (li1)
1553 if (!new_line_sorts_after (info, li2)
1554 && new_line_sorts_after (info, li1))
1555 break;
1557 li2 = li1; /* always non-NULL */
1558 li1 = li1->prev_line;
1560 table->lcl_head = li2;
1561 info->prev_line = table->lcl_head->prev_line;
1562 table->lcl_head->prev_line = info;
1563 if (address < seq->low_pc)
1564 seq->low_pc = address;
1566 return TRUE;
1569 /* Extract a fully qualified filename from a line info table.
1570 The returned string has been malloc'ed and it is the caller's
1571 responsibility to free it. */
1573 static char *
1574 concat_filename (struct line_info_table *table, unsigned int file)
1576 char *filename;
1578 if (table == NULL || file - 1 >= table->num_files)
1580 /* FILE == 0 means unknown. */
1581 if (file)
1582 _bfd_error_handler
1583 (_("DWARF error: mangled line number section (bad file number)"));
1584 return strdup ("<unknown>");
1587 filename = table->files[file - 1].name;
1588 if (filename == NULL)
1589 return strdup ("<unknown>");
1591 if (!IS_ABSOLUTE_PATH (filename))
1593 char *dir_name = NULL;
1594 char *subdir_name = NULL;
1595 char *name;
1596 size_t len;
1598 if (table->files[file - 1].dir
1599 /* PR 17512: file: 0317e960. */
1600 && table->files[file - 1].dir <= table->num_dirs
1601 /* PR 17512: file: 7f3d2e4b. */
1602 && table->dirs != NULL)
1603 subdir_name = table->dirs[table->files[file - 1].dir - 1];
1605 if (!subdir_name || !IS_ABSOLUTE_PATH (subdir_name))
1606 dir_name = table->comp_dir;
1608 if (!dir_name)
1610 dir_name = subdir_name;
1611 subdir_name = NULL;
1614 if (!dir_name)
1615 return strdup (filename);
1617 len = strlen (dir_name) + strlen (filename) + 2;
1619 if (subdir_name)
1621 len += strlen (subdir_name) + 1;
1622 name = (char *) bfd_malloc (len);
1623 if (name)
1624 sprintf (name, "%s/%s/%s", dir_name, subdir_name, filename);
1626 else
1628 name = (char *) bfd_malloc (len);
1629 if (name)
1630 sprintf (name, "%s/%s", dir_name, filename);
1633 return name;
1636 return strdup (filename);
1639 static bfd_boolean
1640 arange_add (const struct comp_unit *unit, struct arange *first_arange,
1641 bfd_vma low_pc, bfd_vma high_pc)
1643 struct arange *arange;
1645 /* Ignore empty ranges. */
1646 if (low_pc == high_pc)
1647 return TRUE;
1649 /* If the first arange is empty, use it. */
1650 if (first_arange->high == 0)
1652 first_arange->low = low_pc;
1653 first_arange->high = high_pc;
1654 return TRUE;
1657 /* Next see if we can cheaply extend an existing range. */
1658 arange = first_arange;
1661 if (low_pc == arange->high)
1663 arange->high = high_pc;
1664 return TRUE;
1666 if (high_pc == arange->low)
1668 arange->low = low_pc;
1669 return TRUE;
1671 arange = arange->next;
1673 while (arange);
1675 /* Need to allocate a new arange and insert it into the arange list.
1676 Order isn't significant, so just insert after the first arange. */
1677 arange = (struct arange *) bfd_alloc (unit->abfd, sizeof (*arange));
1678 if (arange == NULL)
1679 return FALSE;
1680 arange->low = low_pc;
1681 arange->high = high_pc;
1682 arange->next = first_arange->next;
1683 first_arange->next = arange;
1684 return TRUE;
1687 /* Compare function for line sequences. */
1689 static int
1690 compare_sequences (const void* a, const void* b)
1692 const struct line_sequence* seq1 = a;
1693 const struct line_sequence* seq2 = b;
1695 /* Sort by low_pc as the primary key. */
1696 if (seq1->low_pc < seq2->low_pc)
1697 return -1;
1698 if (seq1->low_pc > seq2->low_pc)
1699 return 1;
1701 /* If low_pc values are equal, sort in reverse order of
1702 high_pc, so that the largest region comes first. */
1703 if (seq1->last_line->address < seq2->last_line->address)
1704 return 1;
1705 if (seq1->last_line->address > seq2->last_line->address)
1706 return -1;
1708 if (seq1->last_line->op_index < seq2->last_line->op_index)
1709 return 1;
1710 if (seq1->last_line->op_index > seq2->last_line->op_index)
1711 return -1;
1713 return 0;
1716 /* Construct the line information table for quick lookup. */
1718 static bfd_boolean
1719 build_line_info_table (struct line_info_table * table,
1720 struct line_sequence * seq)
1722 bfd_size_type amt;
1723 struct line_info** line_info_lookup;
1724 struct line_info* each_line;
1725 unsigned int num_lines;
1726 unsigned int line_index;
1728 if (seq->line_info_lookup != NULL)
1729 return TRUE;
1731 /* Count the number of line information entries. We could do this while
1732 scanning the debug information, but some entries may be added via
1733 lcl_head without having a sequence handy to increment the number of
1734 lines. */
1735 num_lines = 0;
1736 for (each_line = seq->last_line; each_line; each_line = each_line->prev_line)
1737 num_lines++;
1739 if (num_lines == 0)
1740 return TRUE;
1742 /* Allocate space for the line information lookup table. */
1743 amt = sizeof (struct line_info*) * num_lines;
1744 line_info_lookup = (struct line_info**) bfd_alloc (table->abfd, amt);
1745 if (line_info_lookup == NULL)
1746 return FALSE;
1748 /* Create the line information lookup table. */
1749 line_index = num_lines;
1750 for (each_line = seq->last_line; each_line; each_line = each_line->prev_line)
1751 line_info_lookup[--line_index] = each_line;
1753 BFD_ASSERT (line_index == 0);
1755 seq->num_lines = num_lines;
1756 seq->line_info_lookup = line_info_lookup;
1758 return TRUE;
1761 /* Sort the line sequences for quick lookup. */
1763 static bfd_boolean
1764 sort_line_sequences (struct line_info_table* table)
1766 bfd_size_type amt;
1767 struct line_sequence* sequences;
1768 struct line_sequence* seq;
1769 unsigned int n = 0;
1770 unsigned int num_sequences = table->num_sequences;
1771 bfd_vma last_high_pc;
1773 if (num_sequences == 0)
1774 return TRUE;
1776 /* Allocate space for an array of sequences. */
1777 amt = sizeof (struct line_sequence) * num_sequences;
1778 sequences = (struct line_sequence *) bfd_alloc (table->abfd, amt);
1779 if (sequences == NULL)
1780 return FALSE;
1782 /* Copy the linked list into the array, freeing the original nodes. */
1783 seq = table->sequences;
1784 for (n = 0; n < num_sequences; n++)
1786 struct line_sequence* last_seq = seq;
1788 BFD_ASSERT (seq);
1789 sequences[n].low_pc = seq->low_pc;
1790 sequences[n].prev_sequence = NULL;
1791 sequences[n].last_line = seq->last_line;
1792 sequences[n].line_info_lookup = NULL;
1793 sequences[n].num_lines = 0;
1794 seq = seq->prev_sequence;
1795 free (last_seq);
1797 BFD_ASSERT (seq == NULL);
1799 qsort (sequences, n, sizeof (struct line_sequence), compare_sequences);
1801 /* Make the list binary-searchable by trimming overlapping entries
1802 and removing nested entries. */
1803 num_sequences = 1;
1804 last_high_pc = sequences[0].last_line->address;
1805 for (n = 1; n < table->num_sequences; n++)
1807 if (sequences[n].low_pc < last_high_pc)
1809 if (sequences[n].last_line->address <= last_high_pc)
1810 /* Skip nested entries. */
1811 continue;
1813 /* Trim overlapping entries. */
1814 sequences[n].low_pc = last_high_pc;
1816 last_high_pc = sequences[n].last_line->address;
1817 if (n > num_sequences)
1819 /* Close up the gap. */
1820 sequences[num_sequences].low_pc = sequences[n].low_pc;
1821 sequences[num_sequences].last_line = sequences[n].last_line;
1823 num_sequences++;
1826 table->sequences = sequences;
1827 table->num_sequences = num_sequences;
1828 return TRUE;
1831 /* Add directory to TABLE. CUR_DIR memory ownership is taken by TABLE. */
1833 static bfd_boolean
1834 line_info_add_include_dir (struct line_info_table *table, char *cur_dir)
1836 if ((table->num_dirs % DIR_ALLOC_CHUNK) == 0)
1838 char **tmp;
1839 bfd_size_type amt;
1841 amt = table->num_dirs + DIR_ALLOC_CHUNK;
1842 amt *= sizeof (char *);
1844 tmp = (char **) bfd_realloc (table->dirs, amt);
1845 if (tmp == NULL)
1846 return FALSE;
1847 table->dirs = tmp;
1850 table->dirs[table->num_dirs++] = cur_dir;
1851 return TRUE;
1854 static bfd_boolean
1855 line_info_add_include_dir_stub (struct line_info_table *table, char *cur_dir,
1856 unsigned int dir ATTRIBUTE_UNUSED,
1857 unsigned int xtime ATTRIBUTE_UNUSED,
1858 unsigned int size ATTRIBUTE_UNUSED)
1860 return line_info_add_include_dir (table, cur_dir);
1863 /* Add file to TABLE. CUR_FILE memory ownership is taken by TABLE. */
1865 static bfd_boolean
1866 line_info_add_file_name (struct line_info_table *table, char *cur_file,
1867 unsigned int dir, unsigned int xtime,
1868 unsigned int size)
1870 if ((table->num_files % FILE_ALLOC_CHUNK) == 0)
1872 struct fileinfo *tmp;
1873 bfd_size_type amt;
1875 amt = table->num_files + FILE_ALLOC_CHUNK;
1876 amt *= sizeof (struct fileinfo);
1878 tmp = (struct fileinfo *) bfd_realloc (table->files, amt);
1879 if (tmp == NULL)
1880 return FALSE;
1881 table->files = tmp;
1884 table->files[table->num_files].name = cur_file;
1885 table->files[table->num_files].dir = dir;
1886 table->files[table->num_files].time = xtime;
1887 table->files[table->num_files].size = size;
1888 table->num_files++;
1889 return TRUE;
1892 /* Read directory or file name entry format, starting with byte of
1893 format count entries, ULEB128 pairs of entry formats, ULEB128 of
1894 entries count and the entries themselves in the described entry
1895 format. */
1897 static bfd_boolean
1898 read_formatted_entries (struct comp_unit *unit, bfd_byte **bufp,
1899 bfd_byte *buf_end, struct line_info_table *table,
1900 bfd_boolean (*callback) (struct line_info_table *table,
1901 char *cur_file,
1902 unsigned int dir,
1903 unsigned int time,
1904 unsigned int size))
1906 bfd *abfd = unit->abfd;
1907 bfd_byte format_count, formati;
1908 bfd_vma data_count, datai;
1909 bfd_byte *buf = *bufp;
1910 bfd_byte *format_header_data;
1911 unsigned int bytes_read;
1913 format_count = read_1_byte (abfd, buf, buf_end);
1914 buf += 1;
1915 format_header_data = buf;
1916 for (formati = 0; formati < format_count; formati++)
1918 _bfd_safe_read_leb128 (abfd, buf, &bytes_read, FALSE, buf_end);
1919 buf += bytes_read;
1920 _bfd_safe_read_leb128 (abfd, buf, &bytes_read, FALSE, buf_end);
1921 buf += bytes_read;
1924 data_count = _bfd_safe_read_leb128 (abfd, buf, &bytes_read, FALSE, buf_end);
1925 buf += bytes_read;
1926 if (format_count == 0 && data_count != 0)
1928 _bfd_error_handler (_("DWARF error: zero format count"));
1929 bfd_set_error (bfd_error_bad_value);
1930 return FALSE;
1933 /* PR 22210. Paranoia check. Don't bother running the loop
1934 if we know that we are going to run out of buffer. */
1935 if (data_count > (bfd_vma) (buf_end - buf))
1937 _bfd_error_handler
1938 (_("DWARF error: data count (%" PRIx64 ") larger than buffer size"),
1939 (uint64_t) data_count);
1940 bfd_set_error (bfd_error_bad_value);
1941 return FALSE;
1944 for (datai = 0; datai < data_count; datai++)
1946 bfd_byte *format = format_header_data;
1947 struct fileinfo fe;
1949 memset (&fe, 0, sizeof fe);
1950 for (formati = 0; formati < format_count; formati++)
1952 bfd_vma content_type, form;
1953 char *string_trash;
1954 char **stringp = &string_trash;
1955 unsigned int uint_trash, *uintp = &uint_trash;
1956 struct attribute attr;
1958 content_type = _bfd_safe_read_leb128 (abfd, format, &bytes_read,
1959 FALSE, buf_end);
1960 format += bytes_read;
1961 switch (content_type)
1963 case DW_LNCT_path:
1964 stringp = &fe.name;
1965 break;
1966 case DW_LNCT_directory_index:
1967 uintp = &fe.dir;
1968 break;
1969 case DW_LNCT_timestamp:
1970 uintp = &fe.time;
1971 break;
1972 case DW_LNCT_size:
1973 uintp = &fe.size;
1974 break;
1975 case DW_LNCT_MD5:
1976 break;
1977 default:
1978 _bfd_error_handler
1979 (_("DWARF error: unknown format content type %" PRIu64),
1980 (uint64_t) content_type);
1981 bfd_set_error (bfd_error_bad_value);
1982 return FALSE;
1985 form = _bfd_safe_read_leb128 (abfd, format, &bytes_read, FALSE,
1986 buf_end);
1987 format += bytes_read;
1989 buf = read_attribute_value (&attr, form, 0, unit, buf, buf_end);
1990 if (buf == NULL)
1991 return FALSE;
1992 switch (form)
1994 case DW_FORM_string:
1995 case DW_FORM_line_strp:
1996 *stringp = attr.u.str;
1997 break;
1999 case DW_FORM_data1:
2000 case DW_FORM_data2:
2001 case DW_FORM_data4:
2002 case DW_FORM_data8:
2003 case DW_FORM_udata:
2004 *uintp = attr.u.val;
2005 break;
2009 if (!callback (table, fe.name, fe.dir, fe.time, fe.size))
2010 return FALSE;
2013 *bufp = buf;
2014 return TRUE;
2017 /* Decode the line number information for UNIT. */
2019 static struct line_info_table*
2020 decode_line_info (struct comp_unit *unit, struct dwarf2_debug *stash)
2022 bfd *abfd = unit->abfd;
2023 struct line_info_table* table;
2024 bfd_byte *line_ptr;
2025 bfd_byte *line_end;
2026 struct line_head lh;
2027 unsigned int i, bytes_read, offset_size;
2028 char *cur_file, *cur_dir;
2029 unsigned char op_code, extended_op, adj_opcode;
2030 unsigned int exop_len;
2031 bfd_size_type amt;
2033 if (! read_section (abfd, &stash->debug_sections[debug_line],
2034 stash->syms, unit->line_offset,
2035 &stash->dwarf_line_buffer, &stash->dwarf_line_size))
2036 return NULL;
2038 amt = sizeof (struct line_info_table);
2039 table = (struct line_info_table *) bfd_alloc (abfd, amt);
2040 if (table == NULL)
2041 return NULL;
2042 table->abfd = abfd;
2043 table->comp_dir = unit->comp_dir;
2045 table->num_files = 0;
2046 table->files = NULL;
2048 table->num_dirs = 0;
2049 table->dirs = NULL;
2051 table->num_sequences = 0;
2052 table->sequences = NULL;
2054 table->lcl_head = NULL;
2056 if (stash->dwarf_line_size < 16)
2058 _bfd_error_handler
2059 (_("DWARF error: line info section is too small (%" PRId64 ")"),
2060 (int64_t) stash->dwarf_line_size);
2061 bfd_set_error (bfd_error_bad_value);
2062 return NULL;
2064 line_ptr = stash->dwarf_line_buffer + unit->line_offset;
2065 line_end = stash->dwarf_line_buffer + stash->dwarf_line_size;
2067 /* Read in the prologue. */
2068 lh.total_length = read_4_bytes (abfd, line_ptr, line_end);
2069 line_ptr += 4;
2070 offset_size = 4;
2071 if (lh.total_length == 0xffffffff)
2073 lh.total_length = read_8_bytes (abfd, line_ptr, line_end);
2074 line_ptr += 8;
2075 offset_size = 8;
2077 else if (lh.total_length == 0 && unit->addr_size == 8)
2079 /* Handle (non-standard) 64-bit DWARF2 formats. */
2080 lh.total_length = read_4_bytes (abfd, line_ptr, line_end);
2081 line_ptr += 4;
2082 offset_size = 8;
2085 if (lh.total_length > (size_t) (line_end - line_ptr))
2087 _bfd_error_handler
2088 /* xgettext: c-format */
2089 (_("DWARF error: line info data is bigger (%#" PRIx64 ")"
2090 " than the space remaining in the section (%#lx)"),
2091 (uint64_t) lh.total_length, (unsigned long) (line_end - line_ptr));
2092 bfd_set_error (bfd_error_bad_value);
2093 return NULL;
2096 line_end = line_ptr + lh.total_length;
2098 lh.version = read_2_bytes (abfd, line_ptr, line_end);
2099 if (lh.version < 2 || lh.version > 5)
2101 _bfd_error_handler
2102 (_("DWARF error: unhandled .debug_line version %d"), lh.version);
2103 bfd_set_error (bfd_error_bad_value);
2104 return NULL;
2106 line_ptr += 2;
2108 if (line_ptr + offset_size + (lh.version >= 5 ? 8 : (lh.version >= 4 ? 6 : 5))
2109 >= line_end)
2111 _bfd_error_handler
2112 (_("DWARF error: ran out of room reading prologue"));
2113 bfd_set_error (bfd_error_bad_value);
2114 return NULL;
2117 if (lh.version >= 5)
2119 unsigned int segment_selector_size;
2121 /* Skip address size. */
2122 read_1_byte (abfd, line_ptr, line_end);
2123 line_ptr += 1;
2125 segment_selector_size = read_1_byte (abfd, line_ptr, line_end);
2126 line_ptr += 1;
2127 if (segment_selector_size != 0)
2129 _bfd_error_handler
2130 (_("DWARF error: line info unsupported segment selector size %u"),
2131 segment_selector_size);
2132 bfd_set_error (bfd_error_bad_value);
2133 return NULL;
2137 if (offset_size == 4)
2138 lh.prologue_length = read_4_bytes (abfd, line_ptr, line_end);
2139 else
2140 lh.prologue_length = read_8_bytes (abfd, line_ptr, line_end);
2141 line_ptr += offset_size;
2143 lh.minimum_instruction_length = read_1_byte (abfd, line_ptr, line_end);
2144 line_ptr += 1;
2146 if (lh.version >= 4)
2148 lh.maximum_ops_per_insn = read_1_byte (abfd, line_ptr, line_end);
2149 line_ptr += 1;
2151 else
2152 lh.maximum_ops_per_insn = 1;
2154 if (lh.maximum_ops_per_insn == 0)
2156 _bfd_error_handler
2157 (_("DWARF error: invalid maximum operations per instruction"));
2158 bfd_set_error (bfd_error_bad_value);
2159 return NULL;
2162 lh.default_is_stmt = read_1_byte (abfd, line_ptr, line_end);
2163 line_ptr += 1;
2165 lh.line_base = read_1_signed_byte (abfd, line_ptr, line_end);
2166 line_ptr += 1;
2168 lh.line_range = read_1_byte (abfd, line_ptr, line_end);
2169 line_ptr += 1;
2171 lh.opcode_base = read_1_byte (abfd, line_ptr, line_end);
2172 line_ptr += 1;
2174 if (line_ptr + (lh.opcode_base - 1) >= line_end)
2176 _bfd_error_handler (_("DWARF error: ran out of room reading opcodes"));
2177 bfd_set_error (bfd_error_bad_value);
2178 return NULL;
2181 amt = lh.opcode_base * sizeof (unsigned char);
2182 lh.standard_opcode_lengths = (unsigned char *) bfd_alloc (abfd, amt);
2184 lh.standard_opcode_lengths[0] = 1;
2186 for (i = 1; i < lh.opcode_base; ++i)
2188 lh.standard_opcode_lengths[i] = read_1_byte (abfd, line_ptr, line_end);
2189 line_ptr += 1;
2192 if (lh.version >= 5)
2194 /* Read directory table. */
2195 if (!read_formatted_entries (unit, &line_ptr, line_end, table,
2196 line_info_add_include_dir_stub))
2197 goto fail;
2199 /* Read file name table. */
2200 if (!read_formatted_entries (unit, &line_ptr, line_end, table,
2201 line_info_add_file_name))
2202 goto fail;
2204 else
2206 /* Read directory table. */
2207 while ((cur_dir = read_string (abfd, line_ptr, line_end, &bytes_read)) != NULL)
2209 line_ptr += bytes_read;
2211 if (!line_info_add_include_dir (table, cur_dir))
2212 goto fail;
2215 line_ptr += bytes_read;
2217 /* Read file name table. */
2218 while ((cur_file = read_string (abfd, line_ptr, line_end, &bytes_read)) != NULL)
2220 unsigned int dir, xtime, size;
2222 line_ptr += bytes_read;
2224 dir = _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read, FALSE, line_end);
2225 line_ptr += bytes_read;
2226 xtime = _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read, FALSE, line_end);
2227 line_ptr += bytes_read;
2228 size = _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read, FALSE, line_end);
2229 line_ptr += bytes_read;
2231 if (!line_info_add_file_name (table, cur_file, dir, xtime, size))
2232 goto fail;
2235 line_ptr += bytes_read;
2238 /* Read the statement sequences until there's nothing left. */
2239 while (line_ptr < line_end)
2241 /* State machine registers. */
2242 bfd_vma address = 0;
2243 unsigned char op_index = 0;
2244 char * filename = table->num_files ? concat_filename (table, 1) : NULL;
2245 unsigned int line = 1;
2246 unsigned int column = 0;
2247 unsigned int discriminator = 0;
2248 int is_stmt = lh.default_is_stmt;
2249 int end_sequence = 0;
2250 unsigned int dir, xtime, size;
2251 /* eraxxon@alumni.rice.edu: Against the DWARF2 specs, some
2252 compilers generate address sequences that are wildly out of
2253 order using DW_LNE_set_address (e.g. Intel C++ 6.0 compiler
2254 for ia64-Linux). Thus, to determine the low and high
2255 address, we must compare on every DW_LNS_copy, etc. */
2256 bfd_vma low_pc = (bfd_vma) -1;
2257 bfd_vma high_pc = 0;
2259 /* Decode the table. */
2260 while (!end_sequence && line_ptr < line_end)
2262 op_code = read_1_byte (abfd, line_ptr, line_end);
2263 line_ptr += 1;
2265 if (op_code >= lh.opcode_base)
2267 /* Special operand. */
2268 adj_opcode = op_code - lh.opcode_base;
2269 if (lh.line_range == 0)
2270 goto line_fail;
2271 if (lh.maximum_ops_per_insn == 1)
2272 address += (adj_opcode / lh.line_range
2273 * lh.minimum_instruction_length);
2274 else
2276 address += ((op_index + adj_opcode / lh.line_range)
2277 / lh.maximum_ops_per_insn
2278 * lh.minimum_instruction_length);
2279 op_index = ((op_index + adj_opcode / lh.line_range)
2280 % lh.maximum_ops_per_insn);
2282 line += lh.line_base + (adj_opcode % lh.line_range);
2283 /* Append row to matrix using current values. */
2284 if (!add_line_info (table, address, op_index, filename,
2285 line, column, discriminator, 0))
2286 goto line_fail;
2287 discriminator = 0;
2288 if (address < low_pc)
2289 low_pc = address;
2290 if (address > high_pc)
2291 high_pc = address;
2293 else switch (op_code)
2295 case DW_LNS_extended_op:
2296 exop_len = _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read,
2297 FALSE, line_end);
2298 line_ptr += bytes_read;
2299 extended_op = read_1_byte (abfd, line_ptr, line_end);
2300 line_ptr += 1;
2302 switch (extended_op)
2304 case DW_LNE_end_sequence:
2305 end_sequence = 1;
2306 if (!add_line_info (table, address, op_index, filename, line,
2307 column, discriminator, end_sequence))
2308 goto line_fail;
2309 discriminator = 0;
2310 if (address < low_pc)
2311 low_pc = address;
2312 if (address > high_pc)
2313 high_pc = address;
2314 if (!arange_add (unit, &unit->arange, low_pc, high_pc))
2315 goto line_fail;
2316 break;
2317 case DW_LNE_set_address:
2318 address = read_address (unit, line_ptr, line_end);
2319 op_index = 0;
2320 line_ptr += unit->addr_size;
2321 break;
2322 case DW_LNE_define_file:
2323 cur_file = read_string (abfd, line_ptr, line_end, &bytes_read);
2324 line_ptr += bytes_read;
2325 dir = _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read,
2326 FALSE, line_end);
2327 line_ptr += bytes_read;
2328 xtime = _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read,
2329 FALSE, line_end);
2330 line_ptr += bytes_read;
2331 size = _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read,
2332 FALSE, line_end);
2333 line_ptr += bytes_read;
2334 if (!line_info_add_file_name (table, cur_file, dir,
2335 xtime, size))
2336 goto line_fail;
2337 break;
2338 case DW_LNE_set_discriminator:
2339 discriminator =
2340 _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read,
2341 FALSE, line_end);
2342 line_ptr += bytes_read;
2343 break;
2344 case DW_LNE_HP_source_file_correlation:
2345 line_ptr += exop_len - 1;
2346 break;
2347 default:
2348 _bfd_error_handler
2349 (_("DWARF error: mangled line number section"));
2350 bfd_set_error (bfd_error_bad_value);
2351 line_fail:
2352 if (filename != NULL)
2353 free (filename);
2354 goto fail;
2356 break;
2357 case DW_LNS_copy:
2358 if (!add_line_info (table, address, op_index,
2359 filename, line, column, discriminator, 0))
2360 goto line_fail;
2361 discriminator = 0;
2362 if (address < low_pc)
2363 low_pc = address;
2364 if (address > high_pc)
2365 high_pc = address;
2366 break;
2367 case DW_LNS_advance_pc:
2368 if (lh.maximum_ops_per_insn == 1)
2369 address += (lh.minimum_instruction_length
2370 * _bfd_safe_read_leb128 (abfd, line_ptr,
2371 &bytes_read,
2372 FALSE, line_end));
2373 else
2375 bfd_vma adjust = _bfd_safe_read_leb128 (abfd, line_ptr,
2376 &bytes_read,
2377 FALSE, line_end);
2378 address = ((op_index + adjust) / lh.maximum_ops_per_insn
2379 * lh.minimum_instruction_length);
2380 op_index = (op_index + adjust) % lh.maximum_ops_per_insn;
2382 line_ptr += bytes_read;
2383 break;
2384 case DW_LNS_advance_line:
2385 line += _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read,
2386 TRUE, line_end);
2387 line_ptr += bytes_read;
2388 break;
2389 case DW_LNS_set_file:
2391 unsigned int file;
2393 /* The file and directory tables are 0
2394 based, the references are 1 based. */
2395 file = _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read,
2396 FALSE, line_end);
2397 line_ptr += bytes_read;
2398 if (filename)
2399 free (filename);
2400 filename = concat_filename (table, file);
2401 break;
2403 case DW_LNS_set_column:
2404 column = _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read,
2405 FALSE, line_end);
2406 line_ptr += bytes_read;
2407 break;
2408 case DW_LNS_negate_stmt:
2409 is_stmt = (!is_stmt);
2410 break;
2411 case DW_LNS_set_basic_block:
2412 break;
2413 case DW_LNS_const_add_pc:
2414 if (lh.line_range == 0)
2415 goto line_fail;
2416 if (lh.maximum_ops_per_insn == 1)
2417 address += (lh.minimum_instruction_length
2418 * ((255 - lh.opcode_base) / lh.line_range));
2419 else
2421 bfd_vma adjust = ((255 - lh.opcode_base) / lh.line_range);
2422 address += (lh.minimum_instruction_length
2423 * ((op_index + adjust)
2424 / lh.maximum_ops_per_insn));
2425 op_index = (op_index + adjust) % lh.maximum_ops_per_insn;
2427 break;
2428 case DW_LNS_fixed_advance_pc:
2429 address += read_2_bytes (abfd, line_ptr, line_end);
2430 op_index = 0;
2431 line_ptr += 2;
2432 break;
2433 default:
2434 /* Unknown standard opcode, ignore it. */
2435 for (i = 0; i < lh.standard_opcode_lengths[op_code]; i++)
2437 (void) _bfd_safe_read_leb128 (abfd, line_ptr, &bytes_read,
2438 FALSE, line_end);
2439 line_ptr += bytes_read;
2441 break;
2445 if (filename)
2446 free (filename);
2449 if (sort_line_sequences (table))
2450 return table;
2452 fail:
2453 while (table->sequences != NULL)
2455 struct line_sequence* seq = table->sequences;
2456 table->sequences = table->sequences->prev_sequence;
2457 free (seq);
2459 if (table->files != NULL)
2460 free (table->files);
2461 if (table->dirs != NULL)
2462 free (table->dirs);
2463 return NULL;
2466 /* If ADDR is within TABLE set the output parameters and return the
2467 range of addresses covered by the entry used to fill them out.
2468 Otherwise set * FILENAME_PTR to NULL and return 0.
2469 The parameters FILENAME_PTR, LINENUMBER_PTR and DISCRIMINATOR_PTR
2470 are pointers to the objects to be filled in. */
2472 static bfd_vma
2473 lookup_address_in_line_info_table (struct line_info_table *table,
2474 bfd_vma addr,
2475 const char **filename_ptr,
2476 unsigned int *linenumber_ptr,
2477 unsigned int *discriminator_ptr)
2479 struct line_sequence *seq = NULL;
2480 struct line_info *info;
2481 int low, high, mid;
2483 /* Binary search the array of sequences. */
2484 low = 0;
2485 high = table->num_sequences;
2486 while (low < high)
2488 mid = (low + high) / 2;
2489 seq = &table->sequences[mid];
2490 if (addr < seq->low_pc)
2491 high = mid;
2492 else if (addr >= seq->last_line->address)
2493 low = mid + 1;
2494 else
2495 break;
2498 /* Check for a valid sequence. */
2499 if (!seq || addr < seq->low_pc || addr >= seq->last_line->address)
2500 goto fail;
2502 if (!build_line_info_table (table, seq))
2503 goto fail;
2505 /* Binary search the array of line information. */
2506 low = 0;
2507 high = seq->num_lines;
2508 info = NULL;
2509 while (low < high)
2511 mid = (low + high) / 2;
2512 info = seq->line_info_lookup[mid];
2513 if (addr < info->address)
2514 high = mid;
2515 else if (addr >= seq->line_info_lookup[mid + 1]->address)
2516 low = mid + 1;
2517 else
2518 break;
2521 /* Check for a valid line information entry. */
2522 if (info
2523 && addr >= info->address
2524 && addr < seq->line_info_lookup[mid + 1]->address
2525 && !(info->end_sequence || info == seq->last_line))
2527 *filename_ptr = info->filename;
2528 *linenumber_ptr = info->line;
2529 if (discriminator_ptr)
2530 *discriminator_ptr = info->discriminator;
2531 return seq->last_line->address - seq->low_pc;
2534 fail:
2535 *filename_ptr = NULL;
2536 return 0;
2539 /* Read in the .debug_ranges section for future reference. */
2541 static bfd_boolean
2542 read_debug_ranges (struct comp_unit * unit)
2544 struct dwarf2_debug * stash = unit->stash;
2546 return read_section (unit->abfd, &stash->debug_sections[debug_ranges],
2547 stash->syms, 0,
2548 &stash->dwarf_ranges_buffer,
2549 &stash->dwarf_ranges_size);
2552 /* Function table functions. */
2554 static int
2555 compare_lookup_funcinfos (const void * a, const void * b)
2557 const struct lookup_funcinfo * lookup1 = a;
2558 const struct lookup_funcinfo * lookup2 = b;
2560 if (lookup1->low_addr < lookup2->low_addr)
2561 return -1;
2562 if (lookup1->low_addr > lookup2->low_addr)
2563 return 1;
2564 if (lookup1->high_addr < lookup2->high_addr)
2565 return -1;
2566 if (lookup1->high_addr > lookup2->high_addr)
2567 return 1;
2569 return 0;
2572 static bfd_boolean
2573 build_lookup_funcinfo_table (struct comp_unit * unit)
2575 struct lookup_funcinfo *lookup_funcinfo_table = unit->lookup_funcinfo_table;
2576 unsigned int number_of_functions = unit->number_of_functions;
2577 struct funcinfo *each;
2578 struct lookup_funcinfo *entry;
2579 size_t func_index;
2580 struct arange *range;
2581 bfd_vma low_addr, high_addr;
2583 if (lookup_funcinfo_table || number_of_functions == 0)
2584 return TRUE;
2586 /* Create the function info lookup table. */
2587 lookup_funcinfo_table = (struct lookup_funcinfo *)
2588 bfd_malloc (number_of_functions * sizeof (struct lookup_funcinfo));
2589 if (lookup_funcinfo_table == NULL)
2590 return FALSE;
2592 /* Populate the function info lookup table. */
2593 func_index = number_of_functions;
2594 for (each = unit->function_table; each; each = each->prev_func)
2596 entry = &lookup_funcinfo_table[--func_index];
2597 entry->funcinfo = each;
2599 /* Calculate the lowest and highest address for this function entry. */
2600 low_addr = entry->funcinfo->arange.low;
2601 high_addr = entry->funcinfo->arange.high;
2603 for (range = entry->funcinfo->arange.next; range; range = range->next)
2605 if (range->low < low_addr)
2606 low_addr = range->low;
2607 if (range->high > high_addr)
2608 high_addr = range->high;
2611 entry->low_addr = low_addr;
2612 entry->high_addr = high_addr;
2615 BFD_ASSERT (func_index == 0);
2617 /* Sort the function by address. */
2618 qsort (lookup_funcinfo_table,
2619 number_of_functions,
2620 sizeof (struct lookup_funcinfo),
2621 compare_lookup_funcinfos);
2623 /* Calculate the high watermark for each function in the lookup table. */
2624 high_addr = lookup_funcinfo_table[0].high_addr;
2625 for (func_index = 1; func_index < number_of_functions; func_index++)
2627 entry = &lookup_funcinfo_table[func_index];
2628 if (entry->high_addr > high_addr)
2629 high_addr = entry->high_addr;
2630 else
2631 entry->high_addr = high_addr;
2634 unit->lookup_funcinfo_table = lookup_funcinfo_table;
2635 return TRUE;
2638 /* If ADDR is within UNIT's function tables, set FUNCTION_PTR, and return
2639 TRUE. Note that we need to find the function that has the smallest range
2640 that contains ADDR, to handle inlined functions without depending upon
2641 them being ordered in TABLE by increasing range. */
2643 static bfd_boolean
2644 lookup_address_in_function_table (struct comp_unit *unit,
2645 bfd_vma addr,
2646 struct funcinfo **function_ptr)
2648 unsigned int number_of_functions = unit->number_of_functions;
2649 struct lookup_funcinfo* lookup_funcinfo = NULL;
2650 struct funcinfo* funcinfo = NULL;
2651 struct funcinfo* best_fit = NULL;
2652 bfd_vma best_fit_len = 0;
2653 bfd_size_type low, high, mid, first;
2654 struct arange *arange;
2656 if (number_of_functions == 0)
2657 return FALSE;
2659 if (!build_lookup_funcinfo_table (unit))
2660 return FALSE;
2662 if (unit->lookup_funcinfo_table[number_of_functions - 1].high_addr < addr)
2663 return FALSE;
2665 /* Find the first function in the lookup table which may contain the
2666 specified address. */
2667 low = 0;
2668 high = number_of_functions;
2669 first = high;
2670 while (low < high)
2672 mid = (low + high) / 2;
2673 lookup_funcinfo = &unit->lookup_funcinfo_table[mid];
2674 if (addr < lookup_funcinfo->low_addr)
2675 high = mid;
2676 else if (addr >= lookup_funcinfo->high_addr)
2677 low = mid + 1;
2678 else
2679 high = first = mid;
2682 /* Find the 'best' match for the address. The prior algorithm defined the
2683 best match as the function with the smallest address range containing
2684 the specified address. This definition should probably be changed to the
2685 innermost inline routine containing the address, but right now we want
2686 to get the same results we did before. */
2687 while (first < number_of_functions)
2689 if (addr < unit->lookup_funcinfo_table[first].low_addr)
2690 break;
2691 funcinfo = unit->lookup_funcinfo_table[first].funcinfo;
2693 for (arange = &funcinfo->arange; arange; arange = arange->next)
2695 if (addr < arange->low || addr >= arange->high)
2696 continue;
2698 if (!best_fit
2699 || arange->high - arange->low < best_fit_len
2700 /* The following comparison is designed to return the same
2701 match as the previous algorithm for routines which have the
2702 same best fit length. */
2703 || (arange->high - arange->low == best_fit_len
2704 && funcinfo > best_fit))
2706 best_fit = funcinfo;
2707 best_fit_len = arange->high - arange->low;
2711 first++;
2714 if (!best_fit)
2715 return FALSE;
2717 *function_ptr = best_fit;
2718 return TRUE;
2721 /* If SYM at ADDR is within function table of UNIT, set FILENAME_PTR
2722 and LINENUMBER_PTR, and return TRUE. */
2724 static bfd_boolean
2725 lookup_symbol_in_function_table (struct comp_unit *unit,
2726 asymbol *sym,
2727 bfd_vma addr,
2728 const char **filename_ptr,
2729 unsigned int *linenumber_ptr)
2731 struct funcinfo* each_func;
2732 struct funcinfo* best_fit = NULL;
2733 bfd_vma best_fit_len = 0;
2734 struct arange *arange;
2735 const char *name = bfd_asymbol_name (sym);
2736 asection *sec = bfd_get_section (sym);
2738 for (each_func = unit->function_table;
2739 each_func;
2740 each_func = each_func->prev_func)
2742 for (arange = &each_func->arange;
2743 arange;
2744 arange = arange->next)
2746 if ((!each_func->sec || each_func->sec == sec)
2747 && addr >= arange->low
2748 && addr < arange->high
2749 && each_func->name
2750 && strcmp (name, each_func->name) == 0
2751 && (!best_fit
2752 || arange->high - arange->low < best_fit_len))
2754 best_fit = each_func;
2755 best_fit_len = arange->high - arange->low;
2760 if (best_fit)
2762 best_fit->sec = sec;
2763 *filename_ptr = best_fit->file;
2764 *linenumber_ptr = best_fit->line;
2765 return TRUE;
2767 else
2768 return FALSE;
2771 /* Variable table functions. */
2773 /* If SYM is within variable table of UNIT, set FILENAME_PTR and
2774 LINENUMBER_PTR, and return TRUE. */
2776 static bfd_boolean
2777 lookup_symbol_in_variable_table (struct comp_unit *unit,
2778 asymbol *sym,
2779 bfd_vma addr,
2780 const char **filename_ptr,
2781 unsigned int *linenumber_ptr)
2783 const char *name = bfd_asymbol_name (sym);
2784 asection *sec = bfd_get_section (sym);
2785 struct varinfo* each;
2787 for (each = unit->variable_table; each; each = each->prev_var)
2788 if (each->stack == 0
2789 && each->file != NULL
2790 && each->name != NULL
2791 && each->addr == addr
2792 && (!each->sec || each->sec == sec)
2793 && strcmp (name, each->name) == 0)
2794 break;
2796 if (each)
2798 each->sec = sec;
2799 *filename_ptr = each->file;
2800 *linenumber_ptr = each->line;
2801 return TRUE;
2804 return FALSE;
2807 static bfd_boolean
2808 find_abstract_instance (struct comp_unit * unit,
2809 bfd_byte * orig_info_ptr,
2810 struct attribute * attr_ptr,
2811 const char ** pname,
2812 bfd_boolean * is_linkage,
2813 char ** filename_ptr,
2814 int * linenumber_ptr)
2816 bfd *abfd = unit->abfd;
2817 bfd_byte *info_ptr;
2818 bfd_byte *info_ptr_end;
2819 unsigned int abbrev_number, bytes_read, i;
2820 struct abbrev_info *abbrev;
2821 bfd_uint64_t die_ref = attr_ptr->u.val;
2822 struct attribute attr;
2823 const char *name = NULL;
2825 /* DW_FORM_ref_addr can reference an entry in a different CU. It
2826 is an offset from the .debug_info section, not the current CU. */
2827 if (attr_ptr->form == DW_FORM_ref_addr)
2829 /* We only support DW_FORM_ref_addr within the same file, so
2830 any relocations should be resolved already. Check this by
2831 testing for a zero die_ref; There can't be a valid reference
2832 to the header of a .debug_info section.
2833 DW_FORM_ref_addr is an offset relative to .debug_info.
2834 Normally when using the GNU linker this is accomplished by
2835 emitting a symbolic reference to a label, because .debug_info
2836 sections are linked at zero. When there are multiple section
2837 groups containing .debug_info, as there might be in a
2838 relocatable object file, it would be reasonable to assume that
2839 a symbolic reference to a label in any .debug_info section
2840 might be used. Since we lay out multiple .debug_info
2841 sections at non-zero VMAs (see place_sections), and read
2842 them contiguously into stash->info_ptr_memory, that means
2843 the reference is relative to stash->info_ptr_memory. */
2844 size_t total;
2846 info_ptr = unit->stash->info_ptr_memory;
2847 info_ptr_end = unit->stash->info_ptr_end;
2848 total = info_ptr_end - info_ptr;
2849 if (!die_ref)
2850 return TRUE;
2851 else if (die_ref >= total)
2853 _bfd_error_handler
2854 (_("DWARF error: invalid abstract instance DIE ref"));
2855 bfd_set_error (bfd_error_bad_value);
2856 return FALSE;
2858 info_ptr += die_ref;
2860 /* Now find the CU containing this pointer. */
2861 if (info_ptr >= unit->info_ptr_unit && info_ptr < unit->end_ptr)
2862 info_ptr_end = unit->end_ptr;
2863 else
2865 /* Check other CUs to see if they contain the abbrev. */
2866 struct comp_unit * u;
2868 for (u = unit->prev_unit; u != NULL; u = u->prev_unit)
2869 if (info_ptr >= u->info_ptr_unit && info_ptr < u->end_ptr)
2870 break;
2872 if (u == NULL)
2873 for (u = unit->next_unit; u != NULL; u = u->next_unit)
2874 if (info_ptr >= u->info_ptr_unit && info_ptr < u->end_ptr)
2875 break;
2877 if (u)
2879 unit = u;
2880 info_ptr_end = unit->end_ptr;
2882 /* else FIXME: What do we do now ? */
2885 else if (attr_ptr->form == DW_FORM_GNU_ref_alt)
2887 info_ptr = read_alt_indirect_ref (unit, die_ref);
2888 if (info_ptr == NULL)
2890 _bfd_error_handler
2891 (_("DWARF error: unable to read alt ref %" PRIu64),
2892 (uint64_t) die_ref);
2893 bfd_set_error (bfd_error_bad_value);
2894 return FALSE;
2896 info_ptr_end = (unit->stash->alt_dwarf_info_buffer
2897 + unit->stash->alt_dwarf_info_size);
2899 /* FIXME: Do we need to locate the correct CU, in a similar
2900 fashion to the code in the DW_FORM_ref_addr case above ? */
2902 else
2904 /* DW_FORM_ref1, DW_FORM_ref2, DW_FORM_ref4, DW_FORM_ref8 or
2905 DW_FORM_ref_udata. These are all references relative to the
2906 start of the current CU. */
2907 size_t total;
2909 info_ptr = unit->info_ptr_unit;
2910 info_ptr_end = unit->end_ptr;
2911 total = info_ptr_end - info_ptr;
2912 if (!die_ref || die_ref >= total)
2914 _bfd_error_handler
2915 (_("DWARF error: invalid abstract instance DIE ref"));
2916 bfd_set_error (bfd_error_bad_value);
2917 return FALSE;
2919 info_ptr += die_ref;
2922 abbrev_number = _bfd_safe_read_leb128 (abfd, info_ptr, &bytes_read,
2923 FALSE, info_ptr_end);
2924 info_ptr += bytes_read;
2926 if (abbrev_number)
2928 abbrev = lookup_abbrev (abbrev_number, unit->abbrevs);
2929 if (! abbrev)
2931 _bfd_error_handler
2932 (_("DWARF error: could not find abbrev number %u"), abbrev_number);
2933 bfd_set_error (bfd_error_bad_value);
2934 return FALSE;
2936 else
2938 for (i = 0; i < abbrev->num_attrs; ++i)
2940 info_ptr = read_attribute (&attr, &abbrev->attrs[i], unit,
2941 info_ptr, info_ptr_end);
2942 if (info_ptr == NULL)
2943 break;
2944 /* It doesn't ever make sense for DW_AT_specification to
2945 refer to the same DIE. Stop simple recursion. */
2946 if (info_ptr == orig_info_ptr)
2948 _bfd_error_handler
2949 (_("DWARF error: abstract instance recursion detected"));
2950 bfd_set_error (bfd_error_bad_value);
2951 return FALSE;
2953 switch (attr.name)
2955 case DW_AT_name:
2956 /* Prefer DW_AT_MIPS_linkage_name or DW_AT_linkage_name
2957 over DW_AT_name. */
2958 if (name == NULL && is_str_attr (attr.form))
2960 name = attr.u.str;
2961 if (non_mangled (unit->lang))
2962 *is_linkage = TRUE;
2964 break;
2965 case DW_AT_specification:
2966 if (!find_abstract_instance (unit, info_ptr, &attr,
2967 &name, is_linkage,
2968 filename_ptr, linenumber_ptr))
2969 return FALSE;
2970 break;
2971 case DW_AT_linkage_name:
2972 case DW_AT_MIPS_linkage_name:
2973 /* PR 16949: Corrupt debug info can place
2974 non-string forms into these attributes. */
2975 if (is_str_attr (attr.form))
2977 name = attr.u.str;
2978 *is_linkage = TRUE;
2980 break;
2981 case DW_AT_decl_file:
2982 *filename_ptr = concat_filename (unit->line_table,
2983 attr.u.val);
2984 break;
2985 case DW_AT_decl_line:
2986 *linenumber_ptr = attr.u.val;
2987 break;
2988 default:
2989 break;
2994 *pname = name;
2995 return TRUE;
2998 static bfd_boolean
2999 read_rangelist (struct comp_unit *unit, struct arange *arange,
3000 bfd_uint64_t offset)
3002 bfd_byte *ranges_ptr;
3003 bfd_byte *ranges_end;
3004 bfd_vma base_address = unit->base_address;
3006 if (! unit->stash->dwarf_ranges_buffer)
3008 if (! read_debug_ranges (unit))
3009 return FALSE;
3012 ranges_ptr = unit->stash->dwarf_ranges_buffer + offset;
3013 if (ranges_ptr < unit->stash->dwarf_ranges_buffer)
3014 return FALSE;
3015 ranges_end = unit->stash->dwarf_ranges_buffer + unit->stash->dwarf_ranges_size;
3017 for (;;)
3019 bfd_vma low_pc;
3020 bfd_vma high_pc;
3022 /* PR 17512: file: 62cada7d. */
3023 if (ranges_ptr + 2 * unit->addr_size > ranges_end)
3024 return FALSE;
3026 low_pc = read_address (unit, ranges_ptr, ranges_end);
3027 ranges_ptr += unit->addr_size;
3028 high_pc = read_address (unit, ranges_ptr, ranges_end);
3029 ranges_ptr += unit->addr_size;
3031 if (low_pc == 0 && high_pc == 0)
3032 break;
3033 if (low_pc == -1UL && high_pc != -1UL)
3034 base_address = high_pc;
3035 else
3037 if (!arange_add (unit, arange,
3038 base_address + low_pc, base_address + high_pc))
3039 return FALSE;
3042 return TRUE;
3045 /* DWARF2 Compilation unit functions. */
3047 /* Scan over each die in a comp. unit looking for functions to add
3048 to the function table and variables to the variable table. */
3050 static bfd_boolean
3051 scan_unit_for_symbols (struct comp_unit *unit)
3053 bfd *abfd = unit->abfd;
3054 bfd_byte *info_ptr = unit->first_child_die_ptr;
3055 bfd_byte *info_ptr_end = unit->stash->info_ptr_end;
3056 int nesting_level = 0;
3057 struct nest_funcinfo {
3058 struct funcinfo *func;
3059 } *nested_funcs;
3060 int nested_funcs_size;
3062 /* Maintain a stack of in-scope functions and inlined functions, which we
3063 can use to set the caller_func field. */
3064 nested_funcs_size = 32;
3065 nested_funcs = (struct nest_funcinfo *)
3066 bfd_malloc (nested_funcs_size * sizeof (*nested_funcs));
3067 if (nested_funcs == NULL)
3068 return FALSE;
3069 nested_funcs[nesting_level].func = 0;
3071 while (nesting_level >= 0)
3073 unsigned int abbrev_number, bytes_read, i;
3074 struct abbrev_info *abbrev;
3075 struct attribute attr;
3076 struct funcinfo *func;
3077 struct varinfo *var;
3078 bfd_vma low_pc = 0;
3079 bfd_vma high_pc = 0;
3080 bfd_boolean high_pc_relative = FALSE;
3082 /* PR 17512: file: 9f405d9d. */
3083 if (info_ptr >= info_ptr_end)
3084 goto fail;
3086 abbrev_number = _bfd_safe_read_leb128 (abfd, info_ptr, &bytes_read,
3087 FALSE, info_ptr_end);
3088 info_ptr += bytes_read;
3090 if (! abbrev_number)
3092 nesting_level--;
3093 continue;
3096 abbrev = lookup_abbrev (abbrev_number, unit->abbrevs);
3097 if (! abbrev)
3099 static unsigned int previous_failed_abbrev = -1U;
3101 /* Avoid multiple reports of the same missing abbrev. */
3102 if (abbrev_number != previous_failed_abbrev)
3104 _bfd_error_handler
3105 (_("DWARF error: could not find abbrev number %u"),
3106 abbrev_number);
3107 previous_failed_abbrev = abbrev_number;
3109 bfd_set_error (bfd_error_bad_value);
3110 goto fail;
3113 var = NULL;
3114 if (abbrev->tag == DW_TAG_subprogram
3115 || abbrev->tag == DW_TAG_entry_point
3116 || abbrev->tag == DW_TAG_inlined_subroutine)
3118 bfd_size_type amt = sizeof (struct funcinfo);
3119 func = (struct funcinfo *) bfd_zalloc (abfd, amt);
3120 if (func == NULL)
3121 goto fail;
3122 func->tag = abbrev->tag;
3123 func->prev_func = unit->function_table;
3124 unit->function_table = func;
3125 unit->number_of_functions++;
3126 BFD_ASSERT (!unit->cached);
3128 if (func->tag == DW_TAG_inlined_subroutine)
3129 for (i = nesting_level; i-- != 0; )
3130 if (nested_funcs[i].func)
3132 func->caller_func = nested_funcs[i].func;
3133 break;
3135 nested_funcs[nesting_level].func = func;
3137 else
3139 func = NULL;
3140 if (abbrev->tag == DW_TAG_variable)
3142 bfd_size_type amt = sizeof (struct varinfo);
3143 var = (struct varinfo *) bfd_zalloc (abfd, amt);
3144 if (var == NULL)
3145 goto fail;
3146 var->tag = abbrev->tag;
3147 var->stack = 1;
3148 var->prev_var = unit->variable_table;
3149 unit->variable_table = var;
3150 /* PR 18205: Missing debug information can cause this
3151 var to be attached to an already cached unit. */
3154 /* No inline function in scope at this nesting level. */
3155 nested_funcs[nesting_level].func = 0;
3158 for (i = 0; i < abbrev->num_attrs; ++i)
3160 info_ptr = read_attribute (&attr, &abbrev->attrs[i],
3161 unit, info_ptr, info_ptr_end);
3162 if (info_ptr == NULL)
3163 goto fail;
3165 if (func)
3167 switch (attr.name)
3169 case DW_AT_call_file:
3170 func->caller_file = concat_filename (unit->line_table,
3171 attr.u.val);
3172 break;
3174 case DW_AT_call_line:
3175 func->caller_line = attr.u.val;
3176 break;
3178 case DW_AT_abstract_origin:
3179 case DW_AT_specification:
3180 if (!find_abstract_instance (unit, info_ptr, &attr,
3181 &func->name,
3182 &func->is_linkage,
3183 &func->file,
3184 &func->line))
3185 goto fail;
3186 break;
3188 case DW_AT_name:
3189 /* Prefer DW_AT_MIPS_linkage_name or DW_AT_linkage_name
3190 over DW_AT_name. */
3191 if (func->name == NULL && is_str_attr (attr.form))
3193 func->name = attr.u.str;
3194 if (non_mangled (unit->lang))
3195 func->is_linkage = TRUE;
3197 break;
3199 case DW_AT_linkage_name:
3200 case DW_AT_MIPS_linkage_name:
3201 /* PR 16949: Corrupt debug info can place
3202 non-string forms into these attributes. */
3203 if (is_str_attr (attr.form))
3205 func->name = attr.u.str;
3206 func->is_linkage = TRUE;
3208 break;
3210 case DW_AT_low_pc:
3211 low_pc = attr.u.val;
3212 break;
3214 case DW_AT_high_pc:
3215 high_pc = attr.u.val;
3216 high_pc_relative = attr.form != DW_FORM_addr;
3217 break;
3219 case DW_AT_ranges:
3220 if (!read_rangelist (unit, &func->arange, attr.u.val))
3221 goto fail;
3222 break;
3224 case DW_AT_decl_file:
3225 func->file = concat_filename (unit->line_table,
3226 attr.u.val);
3227 break;
3229 case DW_AT_decl_line:
3230 func->line = attr.u.val;
3231 break;
3233 default:
3234 break;
3237 else if (var)
3239 switch (attr.name)
3241 case DW_AT_name:
3242 if (is_str_attr (attr.form))
3243 var->name = attr.u.str;
3244 break;
3246 case DW_AT_decl_file:
3247 var->file = concat_filename (unit->line_table,
3248 attr.u.val);
3249 break;
3251 case DW_AT_decl_line:
3252 var->line = attr.u.val;
3253 break;
3255 case DW_AT_external:
3256 if (attr.u.val != 0)
3257 var->stack = 0;
3258 break;
3260 case DW_AT_location:
3261 switch (attr.form)
3263 case DW_FORM_block:
3264 case DW_FORM_block1:
3265 case DW_FORM_block2:
3266 case DW_FORM_block4:
3267 case DW_FORM_exprloc:
3268 if (attr.u.blk->data != NULL
3269 && *attr.u.blk->data == DW_OP_addr)
3271 var->stack = 0;
3273 /* Verify that DW_OP_addr is the only opcode in the
3274 location, in which case the block size will be 1
3275 plus the address size. */
3276 /* ??? For TLS variables, gcc can emit
3277 DW_OP_addr <addr> DW_OP_GNU_push_tls_address
3278 which we don't handle here yet. */
3279 if (attr.u.blk->size == unit->addr_size + 1U)
3280 var->addr = bfd_get (unit->addr_size * 8,
3281 unit->abfd,
3282 attr.u.blk->data + 1);
3284 break;
3286 default:
3287 break;
3289 break;
3291 default:
3292 break;
3297 if (high_pc_relative)
3298 high_pc += low_pc;
3300 if (func && high_pc != 0)
3302 if (!arange_add (unit, &func->arange, low_pc, high_pc))
3303 goto fail;
3306 if (abbrev->has_children)
3308 nesting_level++;
3310 if (nesting_level >= nested_funcs_size)
3312 struct nest_funcinfo *tmp;
3314 nested_funcs_size *= 2;
3315 tmp = (struct nest_funcinfo *)
3316 bfd_realloc (nested_funcs,
3317 nested_funcs_size * sizeof (*nested_funcs));
3318 if (tmp == NULL)
3319 goto fail;
3320 nested_funcs = tmp;
3322 nested_funcs[nesting_level].func = 0;
3326 free (nested_funcs);
3327 return TRUE;
3329 fail:
3330 free (nested_funcs);
3331 return FALSE;
3334 /* Parse a DWARF2 compilation unit starting at INFO_PTR. This
3335 includes the compilation unit header that proceeds the DIE's, but
3336 does not include the length field that precedes each compilation
3337 unit header. END_PTR points one past the end of this comp unit.
3338 OFFSET_SIZE is the size of DWARF2 offsets (either 4 or 8 bytes).
3340 This routine does not read the whole compilation unit; only enough
3341 to get to the line number information for the compilation unit. */
3343 static struct comp_unit *
3344 parse_comp_unit (struct dwarf2_debug *stash,
3345 bfd_vma unit_length,
3346 bfd_byte *info_ptr_unit,
3347 unsigned int offset_size)
3349 struct comp_unit* unit;
3350 unsigned int version;
3351 bfd_uint64_t abbrev_offset = 0;
3352 /* Initialize it just to avoid a GCC false warning. */
3353 unsigned int addr_size = -1;
3354 struct abbrev_info** abbrevs;
3355 unsigned int abbrev_number, bytes_read, i;
3356 struct abbrev_info *abbrev;
3357 struct attribute attr;
3358 bfd_byte *info_ptr = stash->info_ptr;
3359 bfd_byte *end_ptr = info_ptr + unit_length;
3360 bfd_size_type amt;
3361 bfd_vma low_pc = 0;
3362 bfd_vma high_pc = 0;
3363 bfd *abfd = stash->bfd_ptr;
3364 bfd_boolean high_pc_relative = FALSE;
3365 enum dwarf_unit_type unit_type;
3367 version = read_2_bytes (abfd, info_ptr, end_ptr);
3368 info_ptr += 2;
3369 if (version < 2 || version > 5)
3371 /* PR 19872: A version number of 0 probably means that there is padding
3372 at the end of the .debug_info section. Gold puts it there when
3373 performing an incremental link, for example. So do not generate
3374 an error, just return a NULL. */
3375 if (version)
3377 _bfd_error_handler
3378 (_("DWARF error: found dwarf version '%u', this reader"
3379 " only handles version 2, 3, 4 and 5 information"), version);
3380 bfd_set_error (bfd_error_bad_value);
3382 return NULL;
3385 if (version < 5)
3386 unit_type = DW_UT_compile;
3387 else
3389 unit_type = read_1_byte (abfd, info_ptr, end_ptr);
3390 info_ptr += 1;
3392 addr_size = read_1_byte (abfd, info_ptr, end_ptr);
3393 info_ptr += 1;
3396 BFD_ASSERT (offset_size == 4 || offset_size == 8);
3397 if (offset_size == 4)
3398 abbrev_offset = read_4_bytes (abfd, info_ptr, end_ptr);
3399 else
3400 abbrev_offset = read_8_bytes (abfd, info_ptr, end_ptr);
3401 info_ptr += offset_size;
3403 if (version < 5)
3405 addr_size = read_1_byte (abfd, info_ptr, end_ptr);
3406 info_ptr += 1;
3409 if (unit_type == DW_UT_type)
3411 /* Skip type signature. */
3412 info_ptr += 8;
3414 /* Skip type offset. */
3415 info_ptr += offset_size;
3418 if (addr_size > sizeof (bfd_vma))
3420 _bfd_error_handler
3421 /* xgettext: c-format */
3422 (_("DWARF error: found address size '%u', this reader"
3423 " can not handle sizes greater than '%u'"),
3424 addr_size,
3425 (unsigned int) sizeof (bfd_vma));
3426 bfd_set_error (bfd_error_bad_value);
3427 return NULL;
3430 if (addr_size != 2 && addr_size != 4 && addr_size != 8)
3432 _bfd_error_handler
3433 ("DWARF error: found address size '%u', this reader"
3434 " can only handle address sizes '2', '4' and '8'", addr_size);
3435 bfd_set_error (bfd_error_bad_value);
3436 return NULL;
3439 /* Read the abbrevs for this compilation unit into a table. */
3440 abbrevs = read_abbrevs (abfd, abbrev_offset, stash);
3441 if (! abbrevs)
3442 return NULL;
3444 abbrev_number = _bfd_safe_read_leb128 (abfd, info_ptr, &bytes_read,
3445 FALSE, end_ptr);
3446 info_ptr += bytes_read;
3447 if (! abbrev_number)
3449 /* PR 19872: An abbrev number of 0 probably means that there is padding
3450 at the end of the .debug_abbrev section. Gold puts it there when
3451 performing an incremental link, for example. So do not generate
3452 an error, just return a NULL. */
3453 return NULL;
3456 abbrev = lookup_abbrev (abbrev_number, abbrevs);
3457 if (! abbrev)
3459 _bfd_error_handler (_("DWARF error: could not find abbrev number %u"),
3460 abbrev_number);
3461 bfd_set_error (bfd_error_bad_value);
3462 return NULL;
3465 amt = sizeof (struct comp_unit);
3466 unit = (struct comp_unit *) bfd_zalloc (abfd, amt);
3467 if (unit == NULL)
3468 return NULL;
3469 unit->abfd = abfd;
3470 unit->version = version;
3471 unit->addr_size = addr_size;
3472 unit->offset_size = offset_size;
3473 unit->abbrevs = abbrevs;
3474 unit->end_ptr = end_ptr;
3475 unit->stash = stash;
3476 unit->info_ptr_unit = info_ptr_unit;
3478 for (i = 0; i < abbrev->num_attrs; ++i)
3480 info_ptr = read_attribute (&attr, &abbrev->attrs[i], unit, info_ptr, end_ptr);
3481 if (info_ptr == NULL)
3482 return NULL;
3484 /* Store the data if it is of an attribute we want to keep in a
3485 partial symbol table. */
3486 switch (attr.name)
3488 case DW_AT_stmt_list:
3489 unit->stmtlist = 1;
3490 unit->line_offset = attr.u.val;
3491 break;
3493 case DW_AT_name:
3494 if (is_str_attr (attr.form))
3495 unit->name = attr.u.str;
3496 break;
3498 case DW_AT_low_pc:
3499 low_pc = attr.u.val;
3500 /* If the compilation unit DIE has a DW_AT_low_pc attribute,
3501 this is the base address to use when reading location
3502 lists or range lists. */
3503 if (abbrev->tag == DW_TAG_compile_unit)
3504 unit->base_address = low_pc;
3505 break;
3507 case DW_AT_high_pc:
3508 high_pc = attr.u.val;
3509 high_pc_relative = attr.form != DW_FORM_addr;
3510 break;
3512 case DW_AT_ranges:
3513 if (!read_rangelist (unit, &unit->arange, attr.u.val))
3514 return NULL;
3515 break;
3517 case DW_AT_comp_dir:
3519 char *comp_dir = attr.u.str;
3521 /* PR 17512: file: 1fe726be. */
3522 if (! is_str_attr (attr.form))
3524 _bfd_error_handler
3525 (_("DWARF error: DW_AT_comp_dir attribute encountered with a non-string form"));
3526 comp_dir = NULL;
3529 if (comp_dir)
3531 /* Irix 6.2 native cc prepends <machine>.: to the compilation
3532 directory, get rid of it. */
3533 char *cp = strchr (comp_dir, ':');
3535 if (cp && cp != comp_dir && cp[-1] == '.' && cp[1] == '/')
3536 comp_dir = cp + 1;
3538 unit->comp_dir = comp_dir;
3539 break;
3542 case DW_AT_language:
3543 unit->lang = attr.u.val;
3544 break;
3546 default:
3547 break;
3550 if (high_pc_relative)
3551 high_pc += low_pc;
3552 if (high_pc != 0)
3554 if (!arange_add (unit, &unit->arange, low_pc, high_pc))
3555 return NULL;
3558 unit->first_child_die_ptr = info_ptr;
3559 return unit;
3562 /* Return TRUE if UNIT may contain the address given by ADDR. When
3563 there are functions written entirely with inline asm statements, the
3564 range info in the compilation unit header may not be correct. We
3565 need to consult the line info table to see if a compilation unit
3566 really contains the given address. */
3568 static bfd_boolean
3569 comp_unit_contains_address (struct comp_unit *unit, bfd_vma addr)
3571 struct arange *arange;
3573 if (unit->error)
3574 return FALSE;
3576 arange = &unit->arange;
3579 if (addr >= arange->low && addr < arange->high)
3580 return TRUE;
3581 arange = arange->next;
3583 while (arange);
3585 return FALSE;
3588 /* If UNIT contains ADDR, set the output parameters to the values for
3589 the line containing ADDR. The output parameters, FILENAME_PTR,
3590 FUNCTION_PTR, and LINENUMBER_PTR, are pointers to the objects
3591 to be filled in.
3593 Returns the range of addresses covered by the entry that was used
3594 to fill in *LINENUMBER_PTR or 0 if it was not filled in. */
3596 static bfd_vma
3597 comp_unit_find_nearest_line (struct comp_unit *unit,
3598 bfd_vma addr,
3599 const char **filename_ptr,
3600 struct funcinfo **function_ptr,
3601 unsigned int *linenumber_ptr,
3602 unsigned int *discriminator_ptr,
3603 struct dwarf2_debug *stash)
3605 bfd_boolean func_p;
3607 if (unit->error)
3608 return FALSE;
3610 if (! unit->line_table)
3612 if (! unit->stmtlist)
3614 unit->error = 1;
3615 return FALSE;
3618 unit->line_table = decode_line_info (unit, stash);
3620 if (! unit->line_table)
3622 unit->error = 1;
3623 return FALSE;
3626 if (unit->first_child_die_ptr < unit->end_ptr
3627 && ! scan_unit_for_symbols (unit))
3629 unit->error = 1;
3630 return FALSE;
3634 *function_ptr = NULL;
3635 func_p = lookup_address_in_function_table (unit, addr, function_ptr);
3636 if (func_p && (*function_ptr)->tag == DW_TAG_inlined_subroutine)
3637 stash->inliner_chain = *function_ptr;
3639 return lookup_address_in_line_info_table (unit->line_table, addr,
3640 filename_ptr,
3641 linenumber_ptr,
3642 discriminator_ptr);
3645 /* Check to see if line info is already decoded in a comp_unit.
3646 If not, decode it. Returns TRUE if no errors were encountered;
3647 FALSE otherwise. */
3649 static bfd_boolean
3650 comp_unit_maybe_decode_line_info (struct comp_unit *unit,
3651 struct dwarf2_debug *stash)
3653 if (unit->error)
3654 return FALSE;
3656 if (! unit->line_table)
3658 if (! unit->stmtlist)
3660 unit->error = 1;
3661 return FALSE;
3664 unit->line_table = decode_line_info (unit, stash);
3666 if (! unit->line_table)
3668 unit->error = 1;
3669 return FALSE;
3672 if (unit->first_child_die_ptr < unit->end_ptr
3673 && ! scan_unit_for_symbols (unit))
3675 unit->error = 1;
3676 return FALSE;
3680 return TRUE;
3683 /* If UNIT contains SYM at ADDR, set the output parameters to the
3684 values for the line containing SYM. The output parameters,
3685 FILENAME_PTR, and LINENUMBER_PTR, are pointers to the objects to be
3686 filled in.
3688 Return TRUE if UNIT contains SYM, and no errors were encountered;
3689 FALSE otherwise. */
3691 static bfd_boolean
3692 comp_unit_find_line (struct comp_unit *unit,
3693 asymbol *sym,
3694 bfd_vma addr,
3695 const char **filename_ptr,
3696 unsigned int *linenumber_ptr,
3697 struct dwarf2_debug *stash)
3699 if (!comp_unit_maybe_decode_line_info (unit, stash))
3700 return FALSE;
3702 if (sym->flags & BSF_FUNCTION)
3703 return lookup_symbol_in_function_table (unit, sym, addr,
3704 filename_ptr,
3705 linenumber_ptr);
3707 return lookup_symbol_in_variable_table (unit, sym, addr,
3708 filename_ptr,
3709 linenumber_ptr);
3712 static struct funcinfo *
3713 reverse_funcinfo_list (struct funcinfo *head)
3715 struct funcinfo *rhead;
3716 struct funcinfo *temp;
3718 for (rhead = NULL; head; head = temp)
3720 temp = head->prev_func;
3721 head->prev_func = rhead;
3722 rhead = head;
3724 return rhead;
3727 static struct varinfo *
3728 reverse_varinfo_list (struct varinfo *head)
3730 struct varinfo *rhead;
3731 struct varinfo *temp;
3733 for (rhead = NULL; head; head = temp)
3735 temp = head->prev_var;
3736 head->prev_var = rhead;
3737 rhead = head;
3739 return rhead;
3742 /* Extract all interesting funcinfos and varinfos of a compilation
3743 unit into hash tables for faster lookup. Returns TRUE if no
3744 errors were enountered; FALSE otherwise. */
3746 static bfd_boolean
3747 comp_unit_hash_info (struct dwarf2_debug *stash,
3748 struct comp_unit *unit,
3749 struct info_hash_table *funcinfo_hash_table,
3750 struct info_hash_table *varinfo_hash_table)
3752 struct funcinfo* each_func;
3753 struct varinfo* each_var;
3754 bfd_boolean okay = TRUE;
3756 BFD_ASSERT (stash->info_hash_status != STASH_INFO_HASH_DISABLED);
3758 if (!comp_unit_maybe_decode_line_info (unit, stash))
3759 return FALSE;
3761 BFD_ASSERT (!unit->cached);
3763 /* To preserve the original search order, we went to visit the function
3764 infos in the reversed order of the list. However, making the list
3765 bi-directional use quite a bit of extra memory. So we reverse
3766 the list first, traverse the list in the now reversed order and
3767 finally reverse the list again to get back the original order. */
3768 unit->function_table = reverse_funcinfo_list (unit->function_table);
3769 for (each_func = unit->function_table;
3770 each_func && okay;
3771 each_func = each_func->prev_func)
3773 /* Skip nameless functions. */
3774 if (each_func->name)
3775 /* There is no need to copy name string into hash table as
3776 name string is either in the dwarf string buffer or
3777 info in the stash. */
3778 okay = insert_info_hash_table (funcinfo_hash_table, each_func->name,
3779 (void*) each_func, FALSE);
3781 unit->function_table = reverse_funcinfo_list (unit->function_table);
3782 if (!okay)
3783 return FALSE;
3785 /* We do the same for variable infos. */
3786 unit->variable_table = reverse_varinfo_list (unit->variable_table);
3787 for (each_var = unit->variable_table;
3788 each_var && okay;
3789 each_var = each_var->prev_var)
3791 /* Skip stack vars and vars with no files or names. */
3792 if (each_var->stack == 0
3793 && each_var->file != NULL
3794 && each_var->name != NULL)
3795 /* There is no need to copy name string into hash table as
3796 name string is either in the dwarf string buffer or
3797 info in the stash. */
3798 okay = insert_info_hash_table (varinfo_hash_table, each_var->name,
3799 (void*) each_var, FALSE);
3802 unit->variable_table = reverse_varinfo_list (unit->variable_table);
3803 unit->cached = TRUE;
3804 return okay;
3807 /* Locate a section in a BFD containing debugging info. The search starts
3808 from the section after AFTER_SEC, or from the first section in the BFD if
3809 AFTER_SEC is NULL. The search works by examining the names of the
3810 sections. There are three permissiable names. The first two are given
3811 by DEBUG_SECTIONS[debug_info] (whose standard DWARF2 names are .debug_info
3812 and .zdebug_info). The third is a prefix .gnu.linkonce.wi.
3813 This is a variation on the .debug_info section which has a checksum
3814 describing the contents appended onto the name. This allows the linker to
3815 identify and discard duplicate debugging sections for different
3816 compilation units. */
3817 #define GNU_LINKONCE_INFO ".gnu.linkonce.wi."
3819 static asection *
3820 find_debug_info (bfd *abfd, const struct dwarf_debug_section *debug_sections,
3821 asection *after_sec)
3823 asection *msec;
3824 const char *look;
3826 if (after_sec == NULL)
3828 look = debug_sections[debug_info].uncompressed_name;
3829 msec = bfd_get_section_by_name (abfd, look);
3830 if (msec != NULL)
3831 return msec;
3833 look = debug_sections[debug_info].compressed_name;
3834 if (look != NULL)
3836 msec = bfd_get_section_by_name (abfd, look);
3837 if (msec != NULL)
3838 return msec;
3841 for (msec = abfd->sections; msec != NULL; msec = msec->next)
3842 if (CONST_STRNEQ (msec->name, GNU_LINKONCE_INFO))
3843 return msec;
3845 return NULL;
3848 for (msec = after_sec->next; msec != NULL; msec = msec->next)
3850 look = debug_sections[debug_info].uncompressed_name;
3851 if (strcmp (msec->name, look) == 0)
3852 return msec;
3854 look = debug_sections[debug_info].compressed_name;
3855 if (look != NULL && strcmp (msec->name, look) == 0)
3856 return msec;
3858 if (CONST_STRNEQ (msec->name, GNU_LINKONCE_INFO))
3859 return msec;
3862 return NULL;
3865 /* Transfer VMAs from object file to separate debug file. */
3867 static void
3868 set_debug_vma (bfd *orig_bfd, bfd *debug_bfd)
3870 asection *s, *d;
3872 for (s = orig_bfd->sections, d = debug_bfd->sections;
3873 s != NULL && d != NULL;
3874 s = s->next, d = d->next)
3876 if ((d->flags & SEC_DEBUGGING) != 0)
3877 break;
3878 /* ??? Assumes 1-1 correspondence between sections in the
3879 two files. */
3880 if (strcmp (s->name, d->name) == 0)
3882 d->output_section = s->output_section;
3883 d->output_offset = s->output_offset;
3884 d->vma = s->vma;
3889 /* Unset vmas for adjusted sections in STASH. */
3891 static void
3892 unset_sections (struct dwarf2_debug *stash)
3894 int i;
3895 struct adjusted_section *p;
3897 i = stash->adjusted_section_count;
3898 p = stash->adjusted_sections;
3899 for (; i > 0; i--, p++)
3900 p->section->vma = 0;
3903 /* Set VMAs for allocated and .debug_info sections in ORIG_BFD, a
3904 relocatable object file. VMAs are normally all zero in relocatable
3905 object files, so if we want to distinguish locations in sections by
3906 address we need to set VMAs so the sections do not overlap. We
3907 also set VMA on .debug_info so that when we have multiple
3908 .debug_info sections (or the linkonce variant) they also do not
3909 overlap. The multiple .debug_info sections make up a single
3910 logical section. ??? We should probably do the same for other
3911 debug sections. */
3913 static bfd_boolean
3914 place_sections (bfd *orig_bfd, struct dwarf2_debug *stash)
3916 bfd *abfd;
3917 struct adjusted_section *p;
3918 int i;
3919 const char *debug_info_name;
3921 if (stash->adjusted_section_count != 0)
3923 i = stash->adjusted_section_count;
3924 p = stash->adjusted_sections;
3925 for (; i > 0; i--, p++)
3926 p->section->vma = p->adj_vma;
3927 return TRUE;
3930 debug_info_name = stash->debug_sections[debug_info].uncompressed_name;
3931 i = 0;
3932 abfd = orig_bfd;
3933 while (1)
3935 asection *sect;
3937 for (sect = abfd->sections; sect != NULL; sect = sect->next)
3939 int is_debug_info;
3941 if ((sect->output_section != NULL
3942 && sect->output_section != sect
3943 && (sect->flags & SEC_DEBUGGING) == 0)
3944 || sect->vma != 0)
3945 continue;
3947 is_debug_info = (strcmp (sect->name, debug_info_name) == 0
3948 || CONST_STRNEQ (sect->name, GNU_LINKONCE_INFO));
3950 if (!((sect->flags & SEC_ALLOC) != 0 && abfd == orig_bfd)
3951 && !is_debug_info)
3952 continue;
3954 i++;
3956 if (abfd == stash->bfd_ptr)
3957 break;
3958 abfd = stash->bfd_ptr;
3961 if (i <= 1)
3962 stash->adjusted_section_count = -1;
3963 else
3965 bfd_vma last_vma = 0, last_dwarf = 0;
3966 bfd_size_type amt = i * sizeof (struct adjusted_section);
3968 p = (struct adjusted_section *) bfd_malloc (amt);
3969 if (p == NULL)
3970 return FALSE;
3972 stash->adjusted_sections = p;
3973 stash->adjusted_section_count = i;
3975 abfd = orig_bfd;
3976 while (1)
3978 asection *sect;
3980 for (sect = abfd->sections; sect != NULL; sect = sect->next)
3982 bfd_size_type sz;
3983 int is_debug_info;
3985 if ((sect->output_section != NULL
3986 && sect->output_section != sect
3987 && (sect->flags & SEC_DEBUGGING) == 0)
3988 || sect->vma != 0)
3989 continue;
3991 is_debug_info = (strcmp (sect->name, debug_info_name) == 0
3992 || CONST_STRNEQ (sect->name, GNU_LINKONCE_INFO));
3994 if (!((sect->flags & SEC_ALLOC) != 0 && abfd == orig_bfd)
3995 && !is_debug_info)
3996 continue;
3998 sz = sect->rawsize ? sect->rawsize : sect->size;
4000 if (is_debug_info)
4002 BFD_ASSERT (sect->alignment_power == 0);
4003 sect->vma = last_dwarf;
4004 last_dwarf += sz;
4006 else
4008 /* Align the new address to the current section
4009 alignment. */
4010 last_vma = ((last_vma
4011 + ~(-((bfd_vma) 1 << sect->alignment_power)))
4012 & (-((bfd_vma) 1 << sect->alignment_power)));
4013 sect->vma = last_vma;
4014 last_vma += sz;
4017 p->section = sect;
4018 p->adj_vma = sect->vma;
4019 p++;
4021 if (abfd == stash->bfd_ptr)
4022 break;
4023 abfd = stash->bfd_ptr;
4027 if (orig_bfd != stash->bfd_ptr)
4028 set_debug_vma (orig_bfd, stash->bfd_ptr);
4030 return TRUE;
4033 /* Look up a funcinfo by name using the given info hash table. If found,
4034 also update the locations pointed to by filename_ptr and linenumber_ptr.
4036 This function returns TRUE if a funcinfo that matches the given symbol
4037 and address is found with any error; otherwise it returns FALSE. */
4039 static bfd_boolean
4040 info_hash_lookup_funcinfo (struct info_hash_table *hash_table,
4041 asymbol *sym,
4042 bfd_vma addr,
4043 const char **filename_ptr,
4044 unsigned int *linenumber_ptr)
4046 struct funcinfo* each_func;
4047 struct funcinfo* best_fit = NULL;
4048 bfd_vma best_fit_len = 0;
4049 struct info_list_node *node;
4050 struct arange *arange;
4051 const char *name = bfd_asymbol_name (sym);
4052 asection *sec = bfd_get_section (sym);
4054 for (node = lookup_info_hash_table (hash_table, name);
4055 node;
4056 node = node->next)
4058 each_func = (struct funcinfo *) node->info;
4059 for (arange = &each_func->arange;
4060 arange;
4061 arange = arange->next)
4063 if ((!each_func->sec || each_func->sec == sec)
4064 && addr >= arange->low
4065 && addr < arange->high
4066 && (!best_fit
4067 || arange->high - arange->low < best_fit_len))
4069 best_fit = each_func;
4070 best_fit_len = arange->high - arange->low;
4075 if (best_fit)
4077 best_fit->sec = sec;
4078 *filename_ptr = best_fit->file;
4079 *linenumber_ptr = best_fit->line;
4080 return TRUE;
4083 return FALSE;
4086 /* Look up a varinfo by name using the given info hash table. If found,
4087 also update the locations pointed to by filename_ptr and linenumber_ptr.
4089 This function returns TRUE if a varinfo that matches the given symbol
4090 and address is found with any error; otherwise it returns FALSE. */
4092 static bfd_boolean
4093 info_hash_lookup_varinfo (struct info_hash_table *hash_table,
4094 asymbol *sym,
4095 bfd_vma addr,
4096 const char **filename_ptr,
4097 unsigned int *linenumber_ptr)
4099 const char *name = bfd_asymbol_name (sym);
4100 asection *sec = bfd_get_section (sym);
4101 struct varinfo* each;
4102 struct info_list_node *node;
4104 for (node = lookup_info_hash_table (hash_table, name);
4105 node;
4106 node = node->next)
4108 each = (struct varinfo *) node->info;
4109 if (each->addr == addr
4110 && (!each->sec || each->sec == sec))
4112 each->sec = sec;
4113 *filename_ptr = each->file;
4114 *linenumber_ptr = each->line;
4115 return TRUE;
4119 return FALSE;
4122 /* Update the funcinfo and varinfo info hash tables if they are
4123 not up to date. Returns TRUE if there is no error; otherwise
4124 returns FALSE and disable the info hash tables. */
4126 static bfd_boolean
4127 stash_maybe_update_info_hash_tables (struct dwarf2_debug *stash)
4129 struct comp_unit *each;
4131 /* Exit if hash tables are up-to-date. */
4132 if (stash->all_comp_units == stash->hash_units_head)
4133 return TRUE;
4135 if (stash->hash_units_head)
4136 each = stash->hash_units_head->prev_unit;
4137 else
4138 each = stash->last_comp_unit;
4140 while (each)
4142 if (!comp_unit_hash_info (stash, each, stash->funcinfo_hash_table,
4143 stash->varinfo_hash_table))
4145 stash->info_hash_status = STASH_INFO_HASH_DISABLED;
4146 return FALSE;
4148 each = each->prev_unit;
4151 stash->hash_units_head = stash->all_comp_units;
4152 return TRUE;
4155 /* Check consistency of info hash tables. This is for debugging only. */
4157 static void ATTRIBUTE_UNUSED
4158 stash_verify_info_hash_table (struct dwarf2_debug *stash)
4160 struct comp_unit *each_unit;
4161 struct funcinfo *each_func;
4162 struct varinfo *each_var;
4163 struct info_list_node *node;
4164 bfd_boolean found;
4166 for (each_unit = stash->all_comp_units;
4167 each_unit;
4168 each_unit = each_unit->next_unit)
4170 for (each_func = each_unit->function_table;
4171 each_func;
4172 each_func = each_func->prev_func)
4174 if (!each_func->name)
4175 continue;
4176 node = lookup_info_hash_table (stash->funcinfo_hash_table,
4177 each_func->name);
4178 BFD_ASSERT (node);
4179 found = FALSE;
4180 while (node && !found)
4182 found = node->info == each_func;
4183 node = node->next;
4185 BFD_ASSERT (found);
4188 for (each_var = each_unit->variable_table;
4189 each_var;
4190 each_var = each_var->prev_var)
4192 if (!each_var->name || !each_var->file || each_var->stack)
4193 continue;
4194 node = lookup_info_hash_table (stash->varinfo_hash_table,
4195 each_var->name);
4196 BFD_ASSERT (node);
4197 found = FALSE;
4198 while (node && !found)
4200 found = node->info == each_var;
4201 node = node->next;
4203 BFD_ASSERT (found);
4208 /* Check to see if we want to enable the info hash tables, which consume
4209 quite a bit of memory. Currently we only check the number times
4210 bfd_dwarf2_find_line is called. In the future, we may also want to
4211 take the number of symbols into account. */
4213 static void
4214 stash_maybe_enable_info_hash_tables (bfd *abfd, struct dwarf2_debug *stash)
4216 BFD_ASSERT (stash->info_hash_status == STASH_INFO_HASH_OFF);
4218 if (stash->info_hash_count++ < STASH_INFO_HASH_TRIGGER)
4219 return;
4221 /* FIXME: Maybe we should check the reduce_memory_overheads
4222 and optimize fields in the bfd_link_info structure ? */
4224 /* Create hash tables. */
4225 stash->funcinfo_hash_table = create_info_hash_table (abfd);
4226 stash->varinfo_hash_table = create_info_hash_table (abfd);
4227 if (!stash->funcinfo_hash_table || !stash->varinfo_hash_table)
4229 /* Turn off info hashes if any allocation above fails. */
4230 stash->info_hash_status = STASH_INFO_HASH_DISABLED;
4231 return;
4233 /* We need a forced update so that the info hash tables will
4234 be created even though there is no compilation unit. That
4235 happens if STASH_INFO_HASH_TRIGGER is 0. */
4236 stash_maybe_update_info_hash_tables (stash);
4237 stash->info_hash_status = STASH_INFO_HASH_ON;
4240 /* Find the file and line associated with a symbol and address using the
4241 info hash tables of a stash. If there is a match, the function returns
4242 TRUE and update the locations pointed to by filename_ptr and linenumber_ptr;
4243 otherwise it returns FALSE. */
4245 static bfd_boolean
4246 stash_find_line_fast (struct dwarf2_debug *stash,
4247 asymbol *sym,
4248 bfd_vma addr,
4249 const char **filename_ptr,
4250 unsigned int *linenumber_ptr)
4252 BFD_ASSERT (stash->info_hash_status == STASH_INFO_HASH_ON);
4254 if (sym->flags & BSF_FUNCTION)
4255 return info_hash_lookup_funcinfo (stash->funcinfo_hash_table, sym, addr,
4256 filename_ptr, linenumber_ptr);
4257 return info_hash_lookup_varinfo (stash->varinfo_hash_table, sym, addr,
4258 filename_ptr, linenumber_ptr);
4261 /* Save current section VMAs. */
4263 static bfd_boolean
4264 save_section_vma (const bfd *abfd, struct dwarf2_debug *stash)
4266 asection *s;
4267 unsigned int i;
4269 if (abfd->section_count == 0)
4270 return TRUE;
4271 stash->sec_vma = bfd_malloc (sizeof (*stash->sec_vma) * abfd->section_count);
4272 if (stash->sec_vma == NULL)
4273 return FALSE;
4274 stash->sec_vma_count = abfd->section_count;
4275 for (i = 0, s = abfd->sections; i < abfd->section_count; i++, s = s->next)
4277 if (s->output_section != NULL)
4278 stash->sec_vma[i] = s->output_section->vma + s->output_offset;
4279 else
4280 stash->sec_vma[i] = s->vma;
4282 return TRUE;
4285 /* Compare current section VMAs against those at the time the stash
4286 was created. If find_nearest_line is used in linker warnings or
4287 errors early in the link process, the debug info stash will be
4288 invalid for later calls. This is because we relocate debug info
4289 sections, so the stashed section contents depend on symbol values,
4290 which in turn depend on section VMAs. */
4292 static bfd_boolean
4293 section_vma_same (const bfd *abfd, const struct dwarf2_debug *stash)
4295 asection *s;
4296 unsigned int i;
4298 /* PR 24334: If the number of sections in ABFD has changed between
4299 when the stash was created and now, then we cannot trust the
4300 stashed vma information. */
4301 if (abfd->section_count != stash->sec_vma_count)
4302 return FALSE;
4304 for (i = 0, s = abfd->sections; i < abfd->section_count; i++, s = s->next)
4306 bfd_vma vma;
4308 if (s->output_section != NULL)
4309 vma = s->output_section->vma + s->output_offset;
4310 else
4311 vma = s->vma;
4312 if (vma != stash->sec_vma[i])
4313 return FALSE;
4315 return TRUE;
4318 /* Read debug information from DEBUG_BFD when DEBUG_BFD is specified.
4319 If DEBUG_BFD is not specified, we read debug information from ABFD
4320 or its gnu_debuglink. The results will be stored in PINFO.
4321 The function returns TRUE iff debug information is ready. */
4323 bfd_boolean
4324 _bfd_dwarf2_slurp_debug_info (bfd *abfd, bfd *debug_bfd,
4325 const struct dwarf_debug_section *debug_sections,
4326 asymbol **symbols,
4327 void **pinfo,
4328 bfd_boolean do_place)
4330 bfd_size_type amt = sizeof (struct dwarf2_debug);
4331 bfd_size_type total_size;
4332 asection *msec;
4333 struct dwarf2_debug *stash = (struct dwarf2_debug *) *pinfo;
4335 if (stash != NULL)
4337 if (stash->orig_bfd == abfd
4338 && section_vma_same (abfd, stash))
4340 /* Check that we did previously find some debug information
4341 before attempting to make use of it. */
4342 if (stash->bfd_ptr != NULL)
4344 if (do_place && !place_sections (abfd, stash))
4345 return FALSE;
4346 return TRUE;
4349 return FALSE;
4351 _bfd_dwarf2_cleanup_debug_info (abfd, pinfo);
4352 memset (stash, 0, amt);
4354 else
4356 stash = (struct dwarf2_debug *) bfd_zalloc (abfd, amt);
4357 if (! stash)
4358 return FALSE;
4360 stash->orig_bfd = abfd;
4361 stash->debug_sections = debug_sections;
4362 stash->syms = symbols;
4363 if (!save_section_vma (abfd, stash))
4364 return FALSE;
4366 *pinfo = stash;
4368 if (debug_bfd == NULL)
4369 debug_bfd = abfd;
4371 msec = find_debug_info (debug_bfd, debug_sections, NULL);
4372 if (msec == NULL && abfd == debug_bfd)
4374 char * debug_filename;
4376 debug_filename = bfd_follow_build_id_debuglink (abfd, DEBUGDIR);
4377 if (debug_filename == NULL)
4378 debug_filename = bfd_follow_gnu_debuglink (abfd, DEBUGDIR);
4380 if (debug_filename == NULL)
4381 /* No dwarf2 info, and no gnu_debuglink to follow.
4382 Note that at this point the stash has been allocated, but
4383 contains zeros. This lets future calls to this function
4384 fail more quickly. */
4385 return FALSE;
4387 /* Set BFD_DECOMPRESS to decompress debug sections. */
4388 if ((debug_bfd = bfd_openr (debug_filename, NULL)) == NULL
4389 || !(debug_bfd->flags |= BFD_DECOMPRESS,
4390 bfd_check_format (debug_bfd, bfd_object))
4391 || (msec = find_debug_info (debug_bfd,
4392 debug_sections, NULL)) == NULL
4393 || !bfd_generic_link_read_symbols (debug_bfd))
4395 if (debug_bfd)
4396 bfd_close (debug_bfd);
4397 /* FIXME: Should we report our failure to follow the debuglink ? */
4398 free (debug_filename);
4399 return FALSE;
4402 symbols = bfd_get_outsymbols (debug_bfd);
4403 stash->syms = symbols;
4404 stash->close_on_cleanup = TRUE;
4406 stash->bfd_ptr = debug_bfd;
4408 if (do_place
4409 && !place_sections (abfd, stash))
4410 return FALSE;
4412 /* There can be more than one DWARF2 info section in a BFD these
4413 days. First handle the easy case when there's only one. If
4414 there's more than one, try case two: none of the sections is
4415 compressed. In that case, read them all in and produce one
4416 large stash. We do this in two passes - in the first pass we
4417 just accumulate the section sizes, and in the second pass we
4418 read in the section's contents. (The allows us to avoid
4419 reallocing the data as we add sections to the stash.) If
4420 some or all sections are compressed, then do things the slow
4421 way, with a bunch of reallocs. */
4423 if (! find_debug_info (debug_bfd, debug_sections, msec))
4425 /* Case 1: only one info section. */
4426 total_size = msec->size;
4427 if (! read_section (debug_bfd, &stash->debug_sections[debug_info],
4428 symbols, 0,
4429 &stash->info_ptr_memory, &total_size))
4430 return FALSE;
4432 else
4434 /* Case 2: multiple sections. */
4435 for (total_size = 0;
4436 msec;
4437 msec = find_debug_info (debug_bfd, debug_sections, msec))
4438 total_size += msec->size;
4440 stash->info_ptr_memory = (bfd_byte *) bfd_malloc (total_size);
4441 if (stash->info_ptr_memory == NULL)
4442 return FALSE;
4444 total_size = 0;
4445 for (msec = find_debug_info (debug_bfd, debug_sections, NULL);
4446 msec;
4447 msec = find_debug_info (debug_bfd, debug_sections, msec))
4449 bfd_size_type size;
4451 size = msec->size;
4452 if (size == 0)
4453 continue;
4455 if (!(bfd_simple_get_relocated_section_contents
4456 (debug_bfd, msec, stash->info_ptr_memory + total_size,
4457 symbols)))
4458 return FALSE;
4460 total_size += size;
4464 stash->info_ptr = stash->info_ptr_memory;
4465 stash->info_ptr_end = stash->info_ptr + total_size;
4466 stash->sec = find_debug_info (debug_bfd, debug_sections, NULL);
4467 stash->sec_info_ptr = stash->info_ptr;
4468 return TRUE;
4471 /* Scan the debug information in PINFO looking for a DW_TAG_subprogram
4472 abbrev with a DW_AT_low_pc attached to it. Then lookup that same
4473 symbol in SYMBOLS and return the difference between the low_pc and
4474 the symbol's address. Returns 0 if no suitable symbol could be found. */
4476 bfd_signed_vma
4477 _bfd_dwarf2_find_symbol_bias (asymbol ** symbols, void ** pinfo)
4479 struct dwarf2_debug *stash;
4480 struct comp_unit * unit;
4482 stash = (struct dwarf2_debug *) *pinfo;
4484 if (stash == NULL || symbols == NULL)
4485 return 0;
4487 for (unit = stash->all_comp_units; unit; unit = unit->next_unit)
4489 struct funcinfo * func;
4491 if (unit->function_table == NULL)
4493 if (unit->line_table == NULL)
4494 unit->line_table = decode_line_info (unit, stash);
4495 if (unit->line_table != NULL)
4496 scan_unit_for_symbols (unit);
4499 for (func = unit->function_table; func != NULL; func = func->prev_func)
4500 if (func->name && func->arange.low)
4502 asymbol ** psym;
4504 /* FIXME: Do we need to scan the aranges looking for the lowest pc value ? */
4506 for (psym = symbols; * psym != NULL; psym++)
4508 asymbol * sym = * psym;
4510 if (sym->flags & BSF_FUNCTION
4511 && sym->section != NULL
4512 && strcmp (sym->name, func->name) == 0)
4513 return ((bfd_signed_vma) func->arange.low) -
4514 ((bfd_signed_vma) (sym->value + sym->section->vma));
4519 return 0;
4522 /* Find the source code location of SYMBOL. If SYMBOL is NULL
4523 then find the nearest source code location corresponding to
4524 the address SECTION + OFFSET.
4525 Returns TRUE if the line is found without error and fills in
4526 FILENAME_PTR and LINENUMBER_PTR. In the case where SYMBOL was
4527 NULL the FUNCTIONNAME_PTR is also filled in.
4528 SYMBOLS contains the symbol table for ABFD.
4529 DEBUG_SECTIONS contains the name of the dwarf debug sections.
4530 ADDR_SIZE is the number of bytes in the initial .debug_info length
4531 field and in the abbreviation offset, or zero to indicate that the
4532 default value should be used. */
4534 bfd_boolean
4535 _bfd_dwarf2_find_nearest_line (bfd *abfd,
4536 asymbol **symbols,
4537 asymbol *symbol,
4538 asection *section,
4539 bfd_vma offset,
4540 const char **filename_ptr,
4541 const char **functionname_ptr,
4542 unsigned int *linenumber_ptr,
4543 unsigned int *discriminator_ptr,
4544 const struct dwarf_debug_section *debug_sections,
4545 unsigned int addr_size,
4546 void **pinfo)
4548 /* Read each compilation unit from the section .debug_info, and check
4549 to see if it contains the address we are searching for. If yes,
4550 lookup the address, and return the line number info. If no, go
4551 on to the next compilation unit.
4553 We keep a list of all the previously read compilation units, and
4554 a pointer to the next un-read compilation unit. Check the
4555 previously read units before reading more. */
4556 struct dwarf2_debug *stash;
4557 /* What address are we looking for? */
4558 bfd_vma addr;
4559 struct comp_unit* each;
4560 struct funcinfo *function = NULL;
4561 bfd_boolean found = FALSE;
4562 bfd_boolean do_line;
4564 *filename_ptr = NULL;
4565 if (functionname_ptr != NULL)
4566 *functionname_ptr = NULL;
4567 *linenumber_ptr = 0;
4568 if (discriminator_ptr)
4569 *discriminator_ptr = 0;
4571 if (! _bfd_dwarf2_slurp_debug_info (abfd, NULL, debug_sections,
4572 symbols, pinfo,
4573 (abfd->flags & (EXEC_P | DYNAMIC)) == 0))
4574 return FALSE;
4576 stash = (struct dwarf2_debug *) *pinfo;
4578 do_line = symbol != NULL;
4579 if (do_line)
4581 BFD_ASSERT (section == NULL && offset == 0 && functionname_ptr == NULL);
4582 section = bfd_get_section (symbol);
4583 addr = symbol->value;
4585 else
4587 BFD_ASSERT (section != NULL && functionname_ptr != NULL);
4588 addr = offset;
4590 /* If we have no SYMBOL but the section we're looking at is not a
4591 code section, then take a look through the list of symbols to see
4592 if we have a symbol at the address we're looking for. If we do
4593 then use this to look up line information. This will allow us to
4594 give file and line results for data symbols. We exclude code
4595 symbols here, if we look up a function symbol and then look up the
4596 line information we'll actually return the line number for the
4597 opening '{' rather than the function definition line. This is
4598 because looking up by symbol uses the line table, in which the
4599 first line for a function is usually the opening '{', while
4600 looking up the function by section + offset uses the
4601 DW_AT_decl_line from the function DW_TAG_subprogram for the line,
4602 which will be the line of the function name. */
4603 if (symbols != NULL && (section->flags & SEC_CODE) == 0)
4605 asymbol **tmp;
4607 for (tmp = symbols; (*tmp) != NULL; ++tmp)
4608 if ((*tmp)->the_bfd == abfd
4609 && (*tmp)->section == section
4610 && (*tmp)->value == offset
4611 && ((*tmp)->flags & BSF_SECTION_SYM) == 0)
4613 symbol = *tmp;
4614 do_line = TRUE;
4615 /* For local symbols, keep going in the hope we find a
4616 global. */
4617 if ((symbol->flags & BSF_GLOBAL) != 0)
4618 break;
4623 if (section->output_section)
4624 addr += section->output_section->vma + section->output_offset;
4625 else
4626 addr += section->vma;
4628 /* A null info_ptr indicates that there is no dwarf2 info
4629 (or that an error occured while setting up the stash). */
4630 if (! stash->info_ptr)
4631 return FALSE;
4633 stash->inliner_chain = NULL;
4635 /* Check the previously read comp. units first. */
4636 if (do_line)
4638 /* The info hash tables use quite a bit of memory. We may not want to
4639 always use them. We use some heuristics to decide if and when to
4640 turn it on. */
4641 if (stash->info_hash_status == STASH_INFO_HASH_OFF)
4642 stash_maybe_enable_info_hash_tables (abfd, stash);
4644 /* Keep info hash table up to date if they are available. Note that we
4645 may disable the hash tables if there is any error duing update. */
4646 if (stash->info_hash_status == STASH_INFO_HASH_ON)
4647 stash_maybe_update_info_hash_tables (stash);
4649 if (stash->info_hash_status == STASH_INFO_HASH_ON)
4651 found = stash_find_line_fast (stash, symbol, addr, filename_ptr,
4652 linenumber_ptr);
4653 if (found)
4654 goto done;
4656 else
4658 /* Check the previously read comp. units first. */
4659 for (each = stash->all_comp_units; each; each = each->next_unit)
4660 if ((symbol->flags & BSF_FUNCTION) == 0
4661 || each->arange.high == 0
4662 || comp_unit_contains_address (each, addr))
4664 found = comp_unit_find_line (each, symbol, addr, filename_ptr,
4665 linenumber_ptr, stash);
4666 if (found)
4667 goto done;
4671 else
4673 bfd_vma min_range = (bfd_vma) -1;
4674 const char * local_filename = NULL;
4675 struct funcinfo *local_function = NULL;
4676 unsigned int local_linenumber = 0;
4677 unsigned int local_discriminator = 0;
4679 for (each = stash->all_comp_units; each; each = each->next_unit)
4681 bfd_vma range = (bfd_vma) -1;
4683 found = ((each->arange.high == 0
4684 || comp_unit_contains_address (each, addr))
4685 && (range = comp_unit_find_nearest_line (each, addr,
4686 & local_filename,
4687 & local_function,
4688 & local_linenumber,
4689 & local_discriminator,
4690 stash)) != 0);
4691 if (found)
4693 /* PRs 15935 15994: Bogus debug information may have provided us
4694 with an erroneous match. We attempt to counter this by
4695 selecting the match that has the smallest address range
4696 associated with it. (We are assuming that corrupt debug info
4697 will tend to result in extra large address ranges rather than
4698 extra small ranges).
4700 This does mean that we scan through all of the CUs associated
4701 with the bfd each time this function is called. But this does
4702 have the benefit of producing consistent results every time the
4703 function is called. */
4704 if (range <= min_range)
4706 if (filename_ptr && local_filename)
4707 * filename_ptr = local_filename;
4708 if (local_function)
4709 function = local_function;
4710 if (discriminator_ptr && local_discriminator)
4711 * discriminator_ptr = local_discriminator;
4712 if (local_linenumber)
4713 * linenumber_ptr = local_linenumber;
4714 min_range = range;
4719 if (* linenumber_ptr)
4721 found = TRUE;
4722 goto done;
4726 /* The DWARF2 spec says that the initial length field, and the
4727 offset of the abbreviation table, should both be 4-byte values.
4728 However, some compilers do things differently. */
4729 if (addr_size == 0)
4730 addr_size = 4;
4731 BFD_ASSERT (addr_size == 4 || addr_size == 8);
4733 /* Read each remaining comp. units checking each as they are read. */
4734 while (stash->info_ptr < stash->info_ptr_end)
4736 bfd_vma length;
4737 unsigned int offset_size = addr_size;
4738 bfd_byte *info_ptr_unit = stash->info_ptr;
4740 length = read_4_bytes (stash->bfd_ptr, stash->info_ptr, stash->info_ptr_end);
4741 /* A 0xffffff length is the DWARF3 way of indicating
4742 we use 64-bit offsets, instead of 32-bit offsets. */
4743 if (length == 0xffffffff)
4745 offset_size = 8;
4746 length = read_8_bytes (stash->bfd_ptr, stash->info_ptr + 4, stash->info_ptr_end);
4747 stash->info_ptr += 12;
4749 /* A zero length is the IRIX way of indicating 64-bit offsets,
4750 mostly because the 64-bit length will generally fit in 32
4751 bits, and the endianness helps. */
4752 else if (length == 0)
4754 offset_size = 8;
4755 length = read_4_bytes (stash->bfd_ptr, stash->info_ptr + 4, stash->info_ptr_end);
4756 stash->info_ptr += 8;
4758 /* In the absence of the hints above, we assume 32-bit DWARF2
4759 offsets even for targets with 64-bit addresses, because:
4760 a) most of the time these targets will not have generated
4761 more than 2Gb of debug info and so will not need 64-bit
4762 offsets,
4764 b) if they do use 64-bit offsets but they are not using
4765 the size hints that are tested for above then they are
4766 not conforming to the DWARF3 standard anyway. */
4767 else if (addr_size == 8)
4769 offset_size = 4;
4770 stash->info_ptr += 4;
4772 else
4773 stash->info_ptr += 4;
4775 if (length > 0)
4777 bfd_byte * new_ptr;
4779 /* PR 21151 */
4780 if (stash->info_ptr + length > stash->info_ptr_end)
4781 return FALSE;
4783 each = parse_comp_unit (stash, length, info_ptr_unit,
4784 offset_size);
4785 if (!each)
4786 /* The dwarf information is damaged, don't trust it any
4787 more. */
4788 break;
4790 new_ptr = stash->info_ptr + length;
4791 /* PR 17512: file: 1500698c. */
4792 if (new_ptr < stash->info_ptr)
4794 /* A corrupt length value - do not trust the info any more. */
4795 found = FALSE;
4796 break;
4798 else
4799 stash->info_ptr = new_ptr;
4801 if (stash->all_comp_units)
4802 stash->all_comp_units->prev_unit = each;
4803 else
4804 stash->last_comp_unit = each;
4806 each->next_unit = stash->all_comp_units;
4807 stash->all_comp_units = each;
4809 /* DW_AT_low_pc and DW_AT_high_pc are optional for
4810 compilation units. If we don't have them (i.e.,
4811 unit->high == 0), we need to consult the line info table
4812 to see if a compilation unit contains the given
4813 address. */
4814 if (do_line)
4815 found = (((symbol->flags & BSF_FUNCTION) == 0
4816 || each->arange.high == 0
4817 || comp_unit_contains_address (each, addr))
4818 && comp_unit_find_line (each, symbol, addr,
4819 filename_ptr,
4820 linenumber_ptr,
4821 stash));
4822 else
4823 found = ((each->arange.high == 0
4824 || comp_unit_contains_address (each, addr))
4825 && comp_unit_find_nearest_line (each, addr,
4826 filename_ptr,
4827 &function,
4828 linenumber_ptr,
4829 discriminator_ptr,
4830 stash) != 0);
4832 if ((bfd_vma) (stash->info_ptr - stash->sec_info_ptr)
4833 == stash->sec->size)
4835 stash->sec = find_debug_info (stash->bfd_ptr, debug_sections,
4836 stash->sec);
4837 stash->sec_info_ptr = stash->info_ptr;
4840 if (found)
4841 goto done;
4845 done:
4846 if (function)
4848 if (!function->is_linkage)
4850 asymbol *fun;
4851 bfd_vma sec_vma;
4853 fun = _bfd_elf_find_function (abfd, symbols, section, offset,
4854 *filename_ptr ? NULL : filename_ptr,
4855 functionname_ptr);
4856 sec_vma = section->vma;
4857 if (section->output_section != NULL)
4858 sec_vma = section->output_section->vma + section->output_offset;
4859 if (fun != NULL
4860 && fun->value + sec_vma == function->arange.low)
4861 function->name = *functionname_ptr;
4862 /* Even if we didn't find a linkage name, say that we have
4863 to stop a repeated search of symbols. */
4864 function->is_linkage = TRUE;
4866 *functionname_ptr = function->name;
4868 if ((abfd->flags & (EXEC_P | DYNAMIC)) == 0)
4869 unset_sections (stash);
4871 return found;
4874 bfd_boolean
4875 _bfd_dwarf2_find_inliner_info (bfd *abfd ATTRIBUTE_UNUSED,
4876 const char **filename_ptr,
4877 const char **functionname_ptr,
4878 unsigned int *linenumber_ptr,
4879 void **pinfo)
4881 struct dwarf2_debug *stash;
4883 stash = (struct dwarf2_debug *) *pinfo;
4884 if (stash)
4886 struct funcinfo *func = stash->inliner_chain;
4888 if (func && func->caller_func)
4890 *filename_ptr = func->caller_file;
4891 *functionname_ptr = func->caller_func->name;
4892 *linenumber_ptr = func->caller_line;
4893 stash->inliner_chain = func->caller_func;
4894 return TRUE;
4898 return FALSE;
4901 void
4902 _bfd_dwarf2_cleanup_debug_info (bfd *abfd, void **pinfo)
4904 struct dwarf2_debug *stash = (struct dwarf2_debug *) *pinfo;
4905 struct comp_unit *each;
4907 if (abfd == NULL || stash == NULL)
4908 return;
4910 for (each = stash->all_comp_units; each; each = each->next_unit)
4912 struct abbrev_info **abbrevs = each->abbrevs;
4913 struct funcinfo *function_table = each->function_table;
4914 struct varinfo *variable_table = each->variable_table;
4915 size_t i;
4917 for (i = 0; i < ABBREV_HASH_SIZE; i++)
4919 struct abbrev_info *abbrev = abbrevs[i];
4921 while (abbrev)
4923 free (abbrev->attrs);
4924 abbrev = abbrev->next;
4928 if (each->line_table)
4930 free (each->line_table->dirs);
4931 free (each->line_table->files);
4934 while (function_table)
4936 if (function_table->file)
4938 free (function_table->file);
4939 function_table->file = NULL;
4942 if (function_table->caller_file)
4944 free (function_table->caller_file);
4945 function_table->caller_file = NULL;
4947 function_table = function_table->prev_func;
4950 if (each->lookup_funcinfo_table)
4952 free (each->lookup_funcinfo_table);
4953 each->lookup_funcinfo_table = NULL;
4956 while (variable_table)
4958 if (variable_table->file)
4960 free (variable_table->file);
4961 variable_table->file = NULL;
4964 variable_table = variable_table->prev_var;
4968 if (stash->funcinfo_hash_table)
4969 bfd_hash_table_free (&stash->funcinfo_hash_table->base);
4970 if (stash->varinfo_hash_table)
4971 bfd_hash_table_free (&stash->varinfo_hash_table->base);
4972 if (stash->dwarf_abbrev_buffer)
4973 free (stash->dwarf_abbrev_buffer);
4974 if (stash->dwarf_line_buffer)
4975 free (stash->dwarf_line_buffer);
4976 if (stash->dwarf_str_buffer)
4977 free (stash->dwarf_str_buffer);
4978 if (stash->dwarf_line_str_buffer)
4979 free (stash->dwarf_line_str_buffer);
4980 if (stash->dwarf_ranges_buffer)
4981 free (stash->dwarf_ranges_buffer);
4982 if (stash->info_ptr_memory)
4983 free (stash->info_ptr_memory);
4984 if (stash->close_on_cleanup)
4985 bfd_close (stash->bfd_ptr);
4986 if (stash->alt_dwarf_str_buffer)
4987 free (stash->alt_dwarf_str_buffer);
4988 if (stash->alt_dwarf_info_buffer)
4989 free (stash->alt_dwarf_info_buffer);
4990 if (stash->sec_vma)
4991 free (stash->sec_vma);
4992 if (stash->adjusted_sections)
4993 free (stash->adjusted_sections);
4994 if (stash->alt_bfd_ptr)
4995 bfd_close (stash->alt_bfd_ptr);
4998 /* Find the function to a particular section and offset,
4999 for error reporting. */
5001 asymbol *
5002 _bfd_elf_find_function (bfd *abfd,
5003 asymbol **symbols,
5004 asection *section,
5005 bfd_vma offset,
5006 const char **filename_ptr,
5007 const char **functionname_ptr)
5009 struct elf_find_function_cache
5011 asection *last_section;
5012 asymbol *func;
5013 const char *filename;
5014 bfd_size_type func_size;
5015 } *cache;
5017 if (symbols == NULL)
5018 return NULL;
5020 if (bfd_get_flavour (abfd) != bfd_target_elf_flavour)
5021 return NULL;
5023 cache = elf_tdata (abfd)->elf_find_function_cache;
5024 if (cache == NULL)
5026 cache = bfd_zalloc (abfd, sizeof (*cache));
5027 elf_tdata (abfd)->elf_find_function_cache = cache;
5028 if (cache == NULL)
5029 return NULL;
5031 if (cache->last_section != section
5032 || cache->func == NULL
5033 || offset < cache->func->value
5034 || offset >= cache->func->value + cache->func_size)
5036 asymbol *file;
5037 bfd_vma low_func;
5038 asymbol **p;
5039 /* ??? Given multiple file symbols, it is impossible to reliably
5040 choose the right file name for global symbols. File symbols are
5041 local symbols, and thus all file symbols must sort before any
5042 global symbols. The ELF spec may be interpreted to say that a
5043 file symbol must sort before other local symbols, but currently
5044 ld -r doesn't do this. So, for ld -r output, it is possible to
5045 make a better choice of file name for local symbols by ignoring
5046 file symbols appearing after a given local symbol. */
5047 enum { nothing_seen, symbol_seen, file_after_symbol_seen } state;
5048 const struct elf_backend_data *bed = get_elf_backend_data (abfd);
5050 file = NULL;
5051 low_func = 0;
5052 state = nothing_seen;
5053 cache->filename = NULL;
5054 cache->func = NULL;
5055 cache->func_size = 0;
5056 cache->last_section = section;
5058 for (p = symbols; *p != NULL; p++)
5060 asymbol *sym = *p;
5061 bfd_vma code_off;
5062 bfd_size_type size;
5064 if ((sym->flags & BSF_FILE) != 0)
5066 file = sym;
5067 if (state == symbol_seen)
5068 state = file_after_symbol_seen;
5069 continue;
5072 size = bed->maybe_function_sym (sym, section, &code_off);
5073 if (size != 0
5074 && code_off <= offset
5075 && (code_off > low_func
5076 || (code_off == low_func
5077 && size > cache->func_size)))
5079 cache->func = sym;
5080 cache->func_size = size;
5081 cache->filename = NULL;
5082 low_func = code_off;
5083 if (file != NULL
5084 && ((sym->flags & BSF_LOCAL) != 0
5085 || state != file_after_symbol_seen))
5086 cache->filename = bfd_asymbol_name (file);
5088 if (state == nothing_seen)
5089 state = symbol_seen;
5093 if (cache->func == NULL)
5094 return NULL;
5096 if (filename_ptr)
5097 *filename_ptr = cache->filename;
5098 if (functionname_ptr)
5099 *functionname_ptr = bfd_asymbol_name (cache->func);
5101 return cache->func;