PR binutils/10924
[binutils.git] / bfd / dwarf2.c
blob5d504c868cc6dd20141499b6c68e3c3211583a04
1 /* DWARF 2 support.
2 Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
3 2004, 2005, 2006, 2007, 2008, 2009 Free Software Foundation, Inc.
5 Adapted from gdb/dwarf2read.c by Gavin Koch of Cygnus Solutions
6 (gavin@cygnus.com).
8 From the dwarf2read.c header:
9 Adapted by Gary Funck (gary@intrepid.com), Intrepid Technology,
10 Inc. with support from Florida State University (under contract
11 with the Ada Joint Program Office), and Silicon Graphics, Inc.
12 Initial contribution by Brent Benson, Harris Computer Systems, Inc.,
13 based on Fred Fish's (Cygnus Support) implementation of DWARF 1
14 support in dwarfread.c
16 This file is part of BFD.
18 This program is free software; you can redistribute it and/or modify
19 it under the terms of the GNU General Public License as published by
20 the Free Software Foundation; either version 3 of the License, or (at
21 your option) any later version.
23 This program is distributed in the hope that it will be useful, but
24 WITHOUT ANY WARRANTY; without even the implied warranty of
25 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
26 General Public License for more details.
28 You should have received a copy of the GNU General Public License
29 along with this program; if not, write to the Free Software
30 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
31 MA 02110-1301, USA. */
33 #include "sysdep.h"
34 #include "bfd.h"
35 #include "libiberty.h"
36 #include "libbfd.h"
37 #include "elf-bfd.h"
38 #include "dwarf2.h"
40 /* The data in the .debug_line statement prologue looks like this. */
42 struct line_head
44 bfd_vma total_length;
45 unsigned short version;
46 bfd_vma prologue_length;
47 unsigned char minimum_instruction_length;
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 /* The next unread compilation unit within the .debug_info section.
93 Zero indicates that the .debug_info section has not been loaded
94 into a buffer yet. */
95 bfd_byte *info_ptr;
97 /* Pointer to the end of the .debug_info section memory buffer. */
98 bfd_byte *info_ptr_end;
100 /* Pointer to the bfd, section and address of the beginning of the
101 section. The bfd might be different than expected because of
102 gnu_debuglink sections. */
103 bfd *bfd_ptr;
104 asection *sec;
105 bfd_byte *sec_info_ptr;
107 /* A pointer to the memory block allocated for info_ptr. Neither
108 info_ptr nor sec_info_ptr are guaranteed to stay pointing to the
109 beginning of the malloc block. This is used only to free the
110 memory later. */
111 bfd_byte *info_ptr_memory;
113 /* Pointer to the symbol table. */
114 asymbol **syms;
116 /* Pointer to the .debug_abbrev section loaded into memory. */
117 bfd_byte *dwarf_abbrev_buffer;
119 /* Length of the loaded .debug_abbrev section. */
120 bfd_size_type dwarf_abbrev_size;
122 /* Buffer for decode_line_info. */
123 bfd_byte *dwarf_line_buffer;
125 /* Length of the loaded .debug_line section. */
126 bfd_size_type dwarf_line_size;
128 /* Pointer to the .debug_str section loaded into memory. */
129 bfd_byte *dwarf_str_buffer;
131 /* Length of the loaded .debug_str section. */
132 bfd_size_type dwarf_str_size;
134 /* Pointer to the .debug_ranges section loaded into memory. */
135 bfd_byte *dwarf_ranges_buffer;
137 /* Length of the loaded .debug_ranges section. */
138 bfd_size_type dwarf_ranges_size;
140 /* If the most recent call to bfd_find_nearest_line was given an
141 address in an inlined function, preserve a pointer into the
142 calling chain for subsequent calls to bfd_find_inliner_info to
143 use. */
144 struct funcinfo *inliner_chain;
146 /* Number of sections whose VMA we must adjust. */
147 unsigned int adjusted_section_count;
149 /* Array of sections with adjusted VMA. */
150 struct adjusted_section *adjusted_sections;
152 /* Number of times find_line is called. This is used in
153 the heuristic for enabling the info hash tables. */
154 int info_hash_count;
156 #define STASH_INFO_HASH_TRIGGER 100
158 /* Hash table mapping symbol names to function infos. */
159 struct info_hash_table *funcinfo_hash_table;
161 /* Hash table mapping symbol names to variable infos. */
162 struct info_hash_table *varinfo_hash_table;
164 /* Head of comp_unit list in the last hash table update. */
165 struct comp_unit *hash_units_head;
167 /* Status of info hash. */
168 int info_hash_status;
169 #define STASH_INFO_HASH_OFF 0
170 #define STASH_INFO_HASH_ON 1
171 #define STASH_INFO_HASH_DISABLED 2
174 struct arange
176 struct arange *next;
177 bfd_vma low;
178 bfd_vma high;
181 /* A minimal decoding of DWARF2 compilation units. We only decode
182 what's needed to get to the line number information. */
184 struct comp_unit
186 /* Chain the previously read compilation units. */
187 struct comp_unit *next_unit;
189 /* Likewise, chain the compilation unit read after this one.
190 The comp units are stored in reversed reading order. */
191 struct comp_unit *prev_unit;
193 /* Keep the bfd convenient (for memory allocation). */
194 bfd *abfd;
196 /* The lowest and highest addresses contained in this compilation
197 unit as specified in the compilation unit header. */
198 struct arange arange;
200 /* The DW_AT_name attribute (for error messages). */
201 char *name;
203 /* The abbrev hash table. */
204 struct abbrev_info **abbrevs;
206 /* Note that an error was found by comp_unit_find_nearest_line. */
207 int error;
209 /* The DW_AT_comp_dir attribute. */
210 char *comp_dir;
212 /* TRUE if there is a line number table associated with this comp. unit. */
213 int stmtlist;
215 /* Pointer to the current comp_unit so that we can find a given entry
216 by its reference. */
217 bfd_byte *info_ptr_unit;
219 /* The offset into .debug_line of the line number table. */
220 unsigned long line_offset;
222 /* Pointer to the first child die for the comp unit. */
223 bfd_byte *first_child_die_ptr;
225 /* The end of the comp unit. */
226 bfd_byte *end_ptr;
228 /* The decoded line number, NULL if not yet decoded. */
229 struct line_info_table *line_table;
231 /* A list of the functions found in this comp. unit. */
232 struct funcinfo *function_table;
234 /* A list of the variables found in this comp. unit. */
235 struct varinfo *variable_table;
237 /* Pointer to dwarf2_debug structure. */
238 struct dwarf2_debug *stash;
240 /* DWARF format version for this unit - from unit header. */
241 int version;
243 /* Address size for this unit - from unit header. */
244 unsigned char addr_size;
246 /* Offset size for this unit - from unit header. */
247 unsigned char offset_size;
249 /* Base address for this unit - from DW_AT_low_pc attribute of
250 DW_TAG_compile_unit DIE */
251 bfd_vma base_address;
253 /* TRUE if symbols are cached in hash table for faster lookup by name. */
254 bfd_boolean cached;
257 /* This data structure holds the information of an abbrev. */
258 struct abbrev_info
260 unsigned int number; /* Number identifying abbrev. */
261 enum dwarf_tag tag; /* DWARF tag. */
262 int has_children; /* Boolean. */
263 unsigned int num_attrs; /* Number of attributes. */
264 struct attr_abbrev *attrs; /* An array of attribute descriptions. */
265 struct abbrev_info *next; /* Next in chain. */
268 struct attr_abbrev
270 enum dwarf_attribute name;
271 enum dwarf_form form;
274 #ifndef ABBREV_HASH_SIZE
275 #define ABBREV_HASH_SIZE 121
276 #endif
277 #ifndef ATTR_ALLOC_CHUNK
278 #define ATTR_ALLOC_CHUNK 4
279 #endif
281 /* Variable and function hash tables. This is used to speed up look-up
282 in lookup_symbol_in_var_table() and lookup_symbol_in_function_table().
283 In order to share code between variable and function infos, we use
284 a list of untyped pointer for all variable/function info associated with
285 a symbol. We waste a bit of memory for list with one node but that
286 simplifies the code. */
288 struct info_list_node
290 struct info_list_node *next;
291 void *info;
294 /* Info hash entry. */
295 struct info_hash_entry
297 struct bfd_hash_entry root;
298 struct info_list_node *head;
301 struct info_hash_table
303 struct bfd_hash_table base;
306 /* Function to create a new entry in info hash table. */
308 static struct bfd_hash_entry *
309 info_hash_table_newfunc (struct bfd_hash_entry *entry,
310 struct bfd_hash_table *table,
311 const char *string)
313 struct info_hash_entry *ret = (struct info_hash_entry *) entry;
315 /* Allocate the structure if it has not already been allocated by a
316 derived class. */
317 if (ret == NULL)
319 ret = (struct info_hash_entry *) bfd_hash_allocate (table,
320 sizeof (* ret));
321 if (ret == NULL)
322 return NULL;
325 /* Call the allocation method of the base class. */
326 ret = ((struct info_hash_entry *)
327 bfd_hash_newfunc ((struct bfd_hash_entry *) ret, table, string));
329 /* Initialize the local fields here. */
330 if (ret)
331 ret->head = NULL;
333 return (struct bfd_hash_entry *) ret;
336 /* Function to create a new info hash table. It returns a pointer to the
337 newly created table or NULL if there is any error. We need abfd
338 solely for memory allocation. */
340 static struct info_hash_table *
341 create_info_hash_table (bfd *abfd)
343 struct info_hash_table *hash_table;
345 hash_table = (struct info_hash_table *)
346 bfd_alloc (abfd, sizeof (struct info_hash_table));
347 if (!hash_table)
348 return hash_table;
350 if (!bfd_hash_table_init (&hash_table->base, info_hash_table_newfunc,
351 sizeof (struct info_hash_entry)))
353 bfd_release (abfd, hash_table);
354 return NULL;
357 return hash_table;
360 /* Insert an info entry into an info hash table. We do not check of
361 duplicate entries. Also, the caller need to guarantee that the
362 right type of info in inserted as info is passed as a void* pointer.
363 This function returns true if there is no error. */
365 static bfd_boolean
366 insert_info_hash_table (struct info_hash_table *hash_table,
367 const char *key,
368 void *info,
369 bfd_boolean copy_p)
371 struct info_hash_entry *entry;
372 struct info_list_node *node;
374 entry = (struct info_hash_entry*) bfd_hash_lookup (&hash_table->base,
375 key, TRUE, copy_p);
376 if (!entry)
377 return FALSE;
379 node = (struct info_list_node *) bfd_hash_allocate (&hash_table->base,
380 sizeof (*node));
381 if (!node)
382 return FALSE;
384 node->info = info;
385 node->next = entry->head;
386 entry->head = node;
388 return TRUE;
391 /* Look up an info entry list from an info hash table. Return NULL
392 if there is none. */
394 static struct info_list_node *
395 lookup_info_hash_table (struct info_hash_table *hash_table, const char *key)
397 struct info_hash_entry *entry;
399 entry = (struct info_hash_entry*) bfd_hash_lookup (&hash_table->base, key,
400 FALSE, FALSE);
401 return entry ? entry->head : NULL;
404 /* Read a section into its appropriate place in the dwarf2_debug
405 struct (indicated by SECTION_BUFFER and SECTION_SIZE). If SYMS is
406 not NULL, use bfd_simple_get_relocated_section_contents to read the
407 section contents, otherwise use bfd_get_section_contents. Fail if
408 the located section does not contain at least OFFSET bytes. */
410 static bfd_boolean
411 read_section (bfd * abfd,
412 const char * section_name,
413 const char * compressed_section_name,
414 asymbol ** syms,
415 bfd_uint64_t offset,
416 bfd_byte ** section_buffer,
417 bfd_size_type * section_size)
419 asection *msec;
420 bfd_boolean section_is_compressed = FALSE;
422 /* read_section is a noop if the section has already been read. */
423 if (!*section_buffer)
425 msec = bfd_get_section_by_name (abfd, section_name);
426 if (! msec && compressed_section_name)
428 msec = bfd_get_section_by_name (abfd, compressed_section_name);
429 section_is_compressed = TRUE;
431 if (! msec)
433 (*_bfd_error_handler) (_("Dwarf Error: Can't find %s section."), section_name);
434 bfd_set_error (bfd_error_bad_value);
435 return FALSE;
438 *section_size = msec->rawsize ? msec->rawsize : msec->size;
439 if (syms)
441 *section_buffer
442 = bfd_simple_get_relocated_section_contents (abfd, msec, NULL, syms);
443 if (! *section_buffer)
444 return FALSE;
446 else
448 *section_buffer = (bfd_byte *) bfd_malloc (*section_size);
449 if (! *section_buffer)
450 return FALSE;
451 if (! bfd_get_section_contents (abfd, msec, *section_buffer,
452 0, *section_size))
453 return FALSE;
456 if (section_is_compressed)
458 if (! bfd_uncompress_section_contents (section_buffer, section_size))
460 (*_bfd_error_handler) (_("Dwarf Error: unable to decompress %s section."), compressed_section_name);
461 bfd_set_error (bfd_error_bad_value);
462 return FALSE;
467 /* It is possible to get a bad value for the offset into the section
468 that the client wants. Validate it here to avoid trouble later. */
469 if (offset != 0 && offset >= *section_size)
471 (*_bfd_error_handler) (_("Dwarf Error: Offset (%lu) greater than or equal to %s size (%lu)."),
472 (long) offset, section_name, *section_size);
473 bfd_set_error (bfd_error_bad_value);
474 return FALSE;
477 return TRUE;
480 /* VERBATIM
481 The following function up to the END VERBATIM mark are
482 copied directly from dwarf2read.c. */
484 /* Read dwarf information from a buffer. */
486 static unsigned int
487 read_1_byte (bfd *abfd ATTRIBUTE_UNUSED, bfd_byte *buf)
489 return bfd_get_8 (abfd, buf);
492 static int
493 read_1_signed_byte (bfd *abfd ATTRIBUTE_UNUSED, bfd_byte *buf)
495 return bfd_get_signed_8 (abfd, buf);
498 static unsigned int
499 read_2_bytes (bfd *abfd, bfd_byte *buf)
501 return bfd_get_16 (abfd, buf);
504 static unsigned int
505 read_4_bytes (bfd *abfd, bfd_byte *buf)
507 return bfd_get_32 (abfd, buf);
510 static bfd_uint64_t
511 read_8_bytes (bfd *abfd, bfd_byte *buf)
513 return bfd_get_64 (abfd, buf);
516 static bfd_byte *
517 read_n_bytes (bfd *abfd ATTRIBUTE_UNUSED,
518 bfd_byte *buf,
519 unsigned int size ATTRIBUTE_UNUSED)
521 return buf;
524 static char *
525 read_string (bfd *abfd ATTRIBUTE_UNUSED,
526 bfd_byte *buf,
527 unsigned int *bytes_read_ptr)
529 /* Return a pointer to the embedded string. */
530 char *str = (char *) buf;
532 if (*str == '\0')
534 *bytes_read_ptr = 1;
535 return NULL;
538 *bytes_read_ptr = strlen (str) + 1;
539 return str;
542 /* END VERBATIM */
544 static char *
545 read_indirect_string (struct comp_unit * unit,
546 bfd_byte * buf,
547 unsigned int * bytes_read_ptr)
549 bfd_uint64_t offset;
550 struct dwarf2_debug *stash = unit->stash;
551 char *str;
553 if (unit->offset_size == 4)
554 offset = read_4_bytes (unit->abfd, buf);
555 else
556 offset = read_8_bytes (unit->abfd, buf);
558 *bytes_read_ptr = unit->offset_size;
560 if (! read_section (unit->abfd, ".debug_str", ".zdebug_str",
561 stash->syms, offset,
562 &stash->dwarf_str_buffer, &stash->dwarf_str_size))
563 return NULL;
565 str = (char *) stash->dwarf_str_buffer + offset;
566 if (*str == '\0')
567 return NULL;
568 return str;
571 static bfd_uint64_t
572 read_address (struct comp_unit *unit, bfd_byte *buf)
574 int signed_vma = get_elf_backend_data (unit->abfd)->sign_extend_vma;
576 if (signed_vma)
578 switch (unit->addr_size)
580 case 8:
581 return bfd_get_signed_64 (unit->abfd, buf);
582 case 4:
583 return bfd_get_signed_32 (unit->abfd, buf);
584 case 2:
585 return bfd_get_signed_16 (unit->abfd, buf);
586 default:
587 abort ();
590 else
592 switch (unit->addr_size)
594 case 8:
595 return bfd_get_64 (unit->abfd, buf);
596 case 4:
597 return bfd_get_32 (unit->abfd, buf);
598 case 2:
599 return bfd_get_16 (unit->abfd, buf);
600 default:
601 abort ();
606 /* Lookup an abbrev_info structure in the abbrev hash table. */
608 static struct abbrev_info *
609 lookup_abbrev (unsigned int number, struct abbrev_info **abbrevs)
611 unsigned int hash_number;
612 struct abbrev_info *abbrev;
614 hash_number = number % ABBREV_HASH_SIZE;
615 abbrev = abbrevs[hash_number];
617 while (abbrev)
619 if (abbrev->number == number)
620 return abbrev;
621 else
622 abbrev = abbrev->next;
625 return NULL;
628 /* In DWARF version 2, the description of the debugging information is
629 stored in a separate .debug_abbrev section. Before we read any
630 dies from a section we read in all abbreviations and install them
631 in a hash table. */
633 static struct abbrev_info**
634 read_abbrevs (bfd *abfd, bfd_uint64_t offset, struct dwarf2_debug *stash)
636 struct abbrev_info **abbrevs;
637 bfd_byte *abbrev_ptr;
638 struct abbrev_info *cur_abbrev;
639 unsigned int abbrev_number, bytes_read, abbrev_name;
640 unsigned int abbrev_form, hash_number;
641 bfd_size_type amt;
643 if (! read_section (abfd, ".debug_abbrev", ".zdebug_abbrev",
644 stash->syms, offset,
645 &stash->dwarf_abbrev_buffer, &stash->dwarf_abbrev_size))
646 return 0;
648 amt = sizeof (struct abbrev_info*) * ABBREV_HASH_SIZE;
649 abbrevs = (struct abbrev_info **) bfd_zalloc (abfd, amt);
651 abbrev_ptr = stash->dwarf_abbrev_buffer + offset;
652 abbrev_number = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
653 abbrev_ptr += bytes_read;
655 /* Loop until we reach an abbrev number of 0. */
656 while (abbrev_number)
658 amt = sizeof (struct abbrev_info);
659 cur_abbrev = (struct abbrev_info *) bfd_zalloc (abfd, amt);
661 /* Read in abbrev header. */
662 cur_abbrev->number = abbrev_number;
663 cur_abbrev->tag = (enum dwarf_tag)
664 read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
665 abbrev_ptr += bytes_read;
666 cur_abbrev->has_children = read_1_byte (abfd, abbrev_ptr);
667 abbrev_ptr += 1;
669 /* Now read in declarations. */
670 abbrev_name = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
671 abbrev_ptr += bytes_read;
672 abbrev_form = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
673 abbrev_ptr += bytes_read;
675 while (abbrev_name)
677 if ((cur_abbrev->num_attrs % ATTR_ALLOC_CHUNK) == 0)
679 struct attr_abbrev *tmp;
681 amt = cur_abbrev->num_attrs + ATTR_ALLOC_CHUNK;
682 amt *= sizeof (struct attr_abbrev);
683 tmp = (struct attr_abbrev *) bfd_realloc (cur_abbrev->attrs, amt);
684 if (tmp == NULL)
686 size_t i;
688 for (i = 0; i < ABBREV_HASH_SIZE; i++)
690 struct abbrev_info *abbrev = abbrevs[i];
692 while (abbrev)
694 free (abbrev->attrs);
695 abbrev = abbrev->next;
698 return NULL;
700 cur_abbrev->attrs = tmp;
703 cur_abbrev->attrs[cur_abbrev->num_attrs].name
704 = (enum dwarf_attribute) abbrev_name;
705 cur_abbrev->attrs[cur_abbrev->num_attrs++].form
706 = (enum dwarf_form) abbrev_form;
707 abbrev_name = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
708 abbrev_ptr += bytes_read;
709 abbrev_form = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
710 abbrev_ptr += bytes_read;
713 hash_number = abbrev_number % ABBREV_HASH_SIZE;
714 cur_abbrev->next = abbrevs[hash_number];
715 abbrevs[hash_number] = cur_abbrev;
717 /* Get next abbreviation.
718 Under Irix6 the abbreviations for a compilation unit are not
719 always properly terminated with an abbrev number of 0.
720 Exit loop if we encounter an abbreviation which we have
721 already read (which means we are about to read the abbreviations
722 for the next compile unit) or if the end of the abbreviation
723 table is reached. */
724 if ((unsigned int) (abbrev_ptr - stash->dwarf_abbrev_buffer)
725 >= stash->dwarf_abbrev_size)
726 break;
727 abbrev_number = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
728 abbrev_ptr += bytes_read;
729 if (lookup_abbrev (abbrev_number,abbrevs) != NULL)
730 break;
733 return abbrevs;
736 /* Read an attribute value described by an attribute form. */
738 static bfd_byte *
739 read_attribute_value (struct attribute *attr,
740 unsigned form,
741 struct comp_unit *unit,
742 bfd_byte *info_ptr)
744 bfd *abfd = unit->abfd;
745 unsigned int bytes_read;
746 struct dwarf_block *blk;
747 bfd_size_type amt;
749 attr->form = (enum dwarf_form) form;
751 switch (form)
753 case DW_FORM_ref_addr:
754 /* DW_FORM_ref_addr is an address in DWARF2, and an offset in
755 DWARF3. */
756 if (unit->version == 3)
758 if (unit->offset_size == 4)
759 attr->u.val = read_4_bytes (unit->abfd, info_ptr);
760 else
761 attr->u.val = read_8_bytes (unit->abfd, info_ptr);
762 info_ptr += unit->offset_size;
763 break;
765 /* FALLTHROUGH */
766 case DW_FORM_addr:
767 attr->u.val = read_address (unit, info_ptr);
768 info_ptr += unit->addr_size;
769 break;
770 case DW_FORM_block2:
771 amt = sizeof (struct dwarf_block);
772 blk = (struct dwarf_block *) bfd_alloc (abfd, amt);
773 blk->size = read_2_bytes (abfd, info_ptr);
774 info_ptr += 2;
775 blk->data = read_n_bytes (abfd, info_ptr, blk->size);
776 info_ptr += blk->size;
777 attr->u.blk = blk;
778 break;
779 case DW_FORM_block4:
780 amt = sizeof (struct dwarf_block);
781 blk = (struct dwarf_block *) bfd_alloc (abfd, amt);
782 blk->size = read_4_bytes (abfd, info_ptr);
783 info_ptr += 4;
784 blk->data = read_n_bytes (abfd, info_ptr, blk->size);
785 info_ptr += blk->size;
786 attr->u.blk = blk;
787 break;
788 case DW_FORM_data2:
789 attr->u.val = read_2_bytes (abfd, info_ptr);
790 info_ptr += 2;
791 break;
792 case DW_FORM_data4:
793 attr->u.val = read_4_bytes (abfd, info_ptr);
794 info_ptr += 4;
795 break;
796 case DW_FORM_data8:
797 attr->u.val = read_8_bytes (abfd, info_ptr);
798 info_ptr += 8;
799 break;
800 case DW_FORM_string:
801 attr->u.str = read_string (abfd, info_ptr, &bytes_read);
802 info_ptr += bytes_read;
803 break;
804 case DW_FORM_strp:
805 attr->u.str = read_indirect_string (unit, info_ptr, &bytes_read);
806 info_ptr += bytes_read;
807 break;
808 case DW_FORM_block:
809 amt = sizeof (struct dwarf_block);
810 blk = (struct dwarf_block *) bfd_alloc (abfd, amt);
811 blk->size = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
812 info_ptr += bytes_read;
813 blk->data = read_n_bytes (abfd, info_ptr, blk->size);
814 info_ptr += blk->size;
815 attr->u.blk = blk;
816 break;
817 case DW_FORM_block1:
818 amt = sizeof (struct dwarf_block);
819 blk = (struct dwarf_block *) bfd_alloc (abfd, amt);
820 blk->size = read_1_byte (abfd, info_ptr);
821 info_ptr += 1;
822 blk->data = read_n_bytes (abfd, info_ptr, blk->size);
823 info_ptr += blk->size;
824 attr->u.blk = blk;
825 break;
826 case DW_FORM_data1:
827 attr->u.val = read_1_byte (abfd, info_ptr);
828 info_ptr += 1;
829 break;
830 case DW_FORM_flag:
831 attr->u.val = read_1_byte (abfd, info_ptr);
832 info_ptr += 1;
833 break;
834 case DW_FORM_sdata:
835 attr->u.sval = read_signed_leb128 (abfd, info_ptr, &bytes_read);
836 info_ptr += bytes_read;
837 break;
838 case DW_FORM_udata:
839 attr->u.val = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
840 info_ptr += bytes_read;
841 break;
842 case DW_FORM_ref1:
843 attr->u.val = read_1_byte (abfd, info_ptr);
844 info_ptr += 1;
845 break;
846 case DW_FORM_ref2:
847 attr->u.val = read_2_bytes (abfd, info_ptr);
848 info_ptr += 2;
849 break;
850 case DW_FORM_ref4:
851 attr->u.val = read_4_bytes (abfd, info_ptr);
852 info_ptr += 4;
853 break;
854 case DW_FORM_ref8:
855 attr->u.val = read_8_bytes (abfd, info_ptr);
856 info_ptr += 8;
857 break;
858 case DW_FORM_ref_udata:
859 attr->u.val = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
860 info_ptr += bytes_read;
861 break;
862 case DW_FORM_indirect:
863 form = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
864 info_ptr += bytes_read;
865 info_ptr = read_attribute_value (attr, form, unit, info_ptr);
866 break;
867 default:
868 (*_bfd_error_handler) (_("Dwarf Error: Invalid or unhandled FORM value: %u."),
869 form);
870 bfd_set_error (bfd_error_bad_value);
872 return info_ptr;
875 /* Read an attribute described by an abbreviated attribute. */
877 static bfd_byte *
878 read_attribute (struct attribute *attr,
879 struct attr_abbrev *abbrev,
880 struct comp_unit *unit,
881 bfd_byte *info_ptr)
883 attr->name = abbrev->name;
884 info_ptr = read_attribute_value (attr, abbrev->form, unit, info_ptr);
885 return info_ptr;
888 /* Source line information table routines. */
890 #define FILE_ALLOC_CHUNK 5
891 #define DIR_ALLOC_CHUNK 5
893 struct line_info
895 struct line_info* prev_line;
896 bfd_vma address;
897 char *filename;
898 unsigned int line;
899 unsigned int column;
900 int end_sequence; /* End of (sequential) code sequence. */
903 struct fileinfo
905 char *name;
906 unsigned int dir;
907 unsigned int time;
908 unsigned int size;
911 struct line_info_table
913 bfd* abfd;
914 unsigned int num_files;
915 unsigned int num_dirs;
916 char *comp_dir;
917 char **dirs;
918 struct fileinfo* files;
919 struct line_info* last_line; /* largest VMA */
920 struct line_info* lcl_head; /* local head; used in 'add_line_info' */
923 /* Remember some information about each function. If the function is
924 inlined (DW_TAG_inlined_subroutine) it may have two additional
925 attributes, DW_AT_call_file and DW_AT_call_line, which specify the
926 source code location where this function was inlined. */
928 struct funcinfo
930 struct funcinfo *prev_func; /* Pointer to previous function in list of all functions */
931 struct funcinfo *caller_func; /* Pointer to function one scope higher */
932 char *caller_file; /* Source location file name where caller_func inlines this func */
933 int caller_line; /* Source location line number where caller_func inlines this func */
934 char *file; /* Source location file name */
935 int line; /* Source location line number */
936 int tag;
937 char *name;
938 struct arange arange;
939 asection *sec; /* Where the symbol is defined */
942 struct varinfo
944 /* Pointer to previous variable in list of all variables */
945 struct varinfo *prev_var;
946 /* Source location file name */
947 char *file;
948 /* Source location line number */
949 int line;
950 int tag;
951 char *name;
952 bfd_vma addr;
953 /* Where the symbol is defined */
954 asection *sec;
955 /* Is this a stack variable? */
956 unsigned int stack: 1;
959 /* Return TRUE if NEW_LINE should sort after LINE. */
961 static inline bfd_boolean
962 new_line_sorts_after (struct line_info *new_line, struct line_info *line)
964 return (new_line->address > line->address
965 || (new_line->address == line->address
966 && new_line->end_sequence < line->end_sequence));
970 /* Adds a new entry to the line_info list in the line_info_table, ensuring
971 that the list is sorted. Note that the line_info list is sorted from
972 highest to lowest VMA (with possible duplicates); that is,
973 line_info->prev_line always accesses an equal or smaller VMA. */
975 static void
976 add_line_info (struct line_info_table *table,
977 bfd_vma address,
978 char *filename,
979 unsigned int line,
980 unsigned int column,
981 int end_sequence)
983 bfd_size_type amt = sizeof (struct line_info);
984 struct line_info* info = (struct line_info *) bfd_alloc (table->abfd, amt);
986 /* Set member data of 'info'. */
987 info->address = address;
988 info->line = line;
989 info->column = column;
990 info->end_sequence = end_sequence;
992 if (filename && filename[0])
994 info->filename = (char *) bfd_alloc (table->abfd, strlen (filename) + 1);
995 if (info->filename)
996 strcpy (info->filename, filename);
998 else
999 info->filename = NULL;
1001 /* Find the correct location for 'info'. Normally we will receive
1002 new line_info data 1) in order and 2) with increasing VMAs.
1003 However some compilers break the rules (cf. decode_line_info) and
1004 so we include some heuristics for quickly finding the correct
1005 location for 'info'. In particular, these heuristics optimize for
1006 the common case in which the VMA sequence that we receive is a
1007 list of locally sorted VMAs such as
1008 p...z a...j (where a < j < p < z)
1010 Note: table->lcl_head is used to head an *actual* or *possible*
1011 sequence within the list (such as a...j) that is not directly
1012 headed by table->last_line
1014 Note: we may receive duplicate entries from 'decode_line_info'. */
1016 if (table->last_line
1017 && table->last_line->address == address
1018 && table->last_line->end_sequence == end_sequence)
1020 /* We only keep the last entry with the same address and end
1021 sequence. See PR ld/4986. */
1022 if (table->lcl_head == table->last_line)
1023 table->lcl_head = info;
1024 info->prev_line = table->last_line->prev_line;
1025 table->last_line = info;
1027 else if (!table->last_line
1028 || new_line_sorts_after (info, table->last_line))
1030 /* Normal case: add 'info' to the beginning of the list */
1031 info->prev_line = table->last_line;
1032 table->last_line = info;
1034 /* lcl_head: initialize to head a *possible* sequence at the end. */
1035 if (!table->lcl_head)
1036 table->lcl_head = info;
1038 else if (!new_line_sorts_after (info, table->lcl_head)
1039 && (!table->lcl_head->prev_line
1040 || new_line_sorts_after (info, table->lcl_head->prev_line)))
1042 /* Abnormal but easy: lcl_head is the head of 'info'. */
1043 info->prev_line = table->lcl_head->prev_line;
1044 table->lcl_head->prev_line = info;
1046 else
1048 /* Abnormal and hard: Neither 'last_line' nor 'lcl_head' are valid
1049 heads for 'info'. Reset 'lcl_head'. */
1050 struct line_info* li2 = table->last_line; /* always non-NULL */
1051 struct line_info* li1 = li2->prev_line;
1053 while (li1)
1055 if (!new_line_sorts_after (info, li2)
1056 && new_line_sorts_after (info, li1))
1057 break;
1059 li2 = li1; /* always non-NULL */
1060 li1 = li1->prev_line;
1062 table->lcl_head = li2;
1063 info->prev_line = table->lcl_head->prev_line;
1064 table->lcl_head->prev_line = info;
1068 /* Extract a fully qualified filename from a line info table.
1069 The returned string has been malloc'ed and it is the caller's
1070 responsibility to free it. */
1072 static char *
1073 concat_filename (struct line_info_table *table, unsigned int file)
1075 char *filename;
1077 if (file - 1 >= table->num_files)
1079 /* FILE == 0 means unknown. */
1080 if (file)
1081 (*_bfd_error_handler)
1082 (_("Dwarf Error: mangled line number section (bad file number)."));
1083 return strdup ("<unknown>");
1086 filename = table->files[file - 1].name;
1088 if (!IS_ABSOLUTE_PATH (filename))
1090 char *dirname = NULL;
1091 char *subdirname = NULL;
1092 char *name;
1093 size_t len;
1095 if (table->files[file - 1].dir)
1096 subdirname = table->dirs[table->files[file - 1].dir - 1];
1098 if (!subdirname || !IS_ABSOLUTE_PATH (subdirname))
1099 dirname = table->comp_dir;
1101 if (!dirname)
1103 dirname = subdirname;
1104 subdirname = NULL;
1107 if (!dirname)
1108 return strdup (filename);
1110 len = strlen (dirname) + strlen (filename) + 2;
1112 if (subdirname)
1114 len += strlen (subdirname) + 1;
1115 name = (char *) bfd_malloc (len);
1116 if (name)
1117 sprintf (name, "%s/%s/%s", dirname, subdirname, filename);
1119 else
1121 name = (char *) bfd_malloc (len);
1122 if (name)
1123 sprintf (name, "%s/%s", dirname, filename);
1126 return name;
1129 return strdup (filename);
1132 static void
1133 arange_add (bfd *abfd, struct arange *first_arange, bfd_vma low_pc, bfd_vma high_pc)
1135 struct arange *arange;
1137 /* If the first arange is empty, use it. */
1138 if (first_arange->high == 0)
1140 first_arange->low = low_pc;
1141 first_arange->high = high_pc;
1142 return;
1145 /* Next see if we can cheaply extend an existing range. */
1146 arange = first_arange;
1149 if (low_pc == arange->high)
1151 arange->high = high_pc;
1152 return;
1154 if (high_pc == arange->low)
1156 arange->low = low_pc;
1157 return;
1159 arange = arange->next;
1161 while (arange);
1163 /* Need to allocate a new arange and insert it into the arange list.
1164 Order isn't significant, so just insert after the first arange. */
1165 arange = (struct arange *) bfd_zalloc (abfd, sizeof (*arange));
1166 arange->low = low_pc;
1167 arange->high = high_pc;
1168 arange->next = first_arange->next;
1169 first_arange->next = arange;
1172 /* Decode the line number information for UNIT. */
1174 static struct line_info_table*
1175 decode_line_info (struct comp_unit *unit, struct dwarf2_debug *stash)
1177 bfd *abfd = unit->abfd;
1178 struct line_info_table* table;
1179 bfd_byte *line_ptr;
1180 bfd_byte *line_end;
1181 struct line_head lh;
1182 unsigned int i, bytes_read, offset_size;
1183 char *cur_file, *cur_dir;
1184 unsigned char op_code, extended_op, adj_opcode;
1185 bfd_size_type amt;
1187 if (! read_section (abfd, ".debug_line", ".zdebug_line",
1188 stash->syms, unit->line_offset,
1189 &stash->dwarf_line_buffer, &stash->dwarf_line_size))
1190 return 0;
1192 amt = sizeof (struct line_info_table);
1193 table = (struct line_info_table *) bfd_alloc (abfd, amt);
1194 table->abfd = abfd;
1195 table->comp_dir = unit->comp_dir;
1197 table->num_files = 0;
1198 table->files = NULL;
1200 table->num_dirs = 0;
1201 table->dirs = NULL;
1203 table->files = NULL;
1204 table->last_line = NULL;
1205 table->lcl_head = NULL;
1207 line_ptr = stash->dwarf_line_buffer + unit->line_offset;
1209 /* Read in the prologue. */
1210 lh.total_length = read_4_bytes (abfd, line_ptr);
1211 line_ptr += 4;
1212 offset_size = 4;
1213 if (lh.total_length == 0xffffffff)
1215 lh.total_length = read_8_bytes (abfd, line_ptr);
1216 line_ptr += 8;
1217 offset_size = 8;
1219 else if (lh.total_length == 0 && unit->addr_size == 8)
1221 /* Handle (non-standard) 64-bit DWARF2 formats. */
1222 lh.total_length = read_4_bytes (abfd, line_ptr);
1223 line_ptr += 4;
1224 offset_size = 8;
1226 line_end = line_ptr + lh.total_length;
1227 lh.version = read_2_bytes (abfd, line_ptr);
1228 line_ptr += 2;
1229 if (offset_size == 4)
1230 lh.prologue_length = read_4_bytes (abfd, line_ptr);
1231 else
1232 lh.prologue_length = read_8_bytes (abfd, line_ptr);
1233 line_ptr += offset_size;
1234 lh.minimum_instruction_length = read_1_byte (abfd, line_ptr);
1235 line_ptr += 1;
1236 lh.default_is_stmt = read_1_byte (abfd, line_ptr);
1237 line_ptr += 1;
1238 lh.line_base = read_1_signed_byte (abfd, line_ptr);
1239 line_ptr += 1;
1240 lh.line_range = read_1_byte (abfd, line_ptr);
1241 line_ptr += 1;
1242 lh.opcode_base = read_1_byte (abfd, line_ptr);
1243 line_ptr += 1;
1244 amt = lh.opcode_base * sizeof (unsigned char);
1245 lh.standard_opcode_lengths = (unsigned char *) bfd_alloc (abfd, amt);
1247 lh.standard_opcode_lengths[0] = 1;
1249 for (i = 1; i < lh.opcode_base; ++i)
1251 lh.standard_opcode_lengths[i] = read_1_byte (abfd, line_ptr);
1252 line_ptr += 1;
1255 /* Read directory table. */
1256 while ((cur_dir = read_string (abfd, line_ptr, &bytes_read)) != NULL)
1258 line_ptr += bytes_read;
1260 if ((table->num_dirs % DIR_ALLOC_CHUNK) == 0)
1262 char **tmp;
1264 amt = table->num_dirs + DIR_ALLOC_CHUNK;
1265 amt *= sizeof (char *);
1267 tmp = (char **) bfd_realloc (table->dirs, amt);
1268 if (tmp == NULL)
1270 free (table->dirs);
1271 return NULL;
1273 table->dirs = tmp;
1276 table->dirs[table->num_dirs++] = cur_dir;
1279 line_ptr += bytes_read;
1281 /* Read file name table. */
1282 while ((cur_file = read_string (abfd, line_ptr, &bytes_read)) != NULL)
1284 line_ptr += bytes_read;
1286 if ((table->num_files % FILE_ALLOC_CHUNK) == 0)
1288 struct fileinfo *tmp;
1290 amt = table->num_files + FILE_ALLOC_CHUNK;
1291 amt *= sizeof (struct fileinfo);
1293 tmp = (struct fileinfo *) bfd_realloc (table->files, amt);
1294 if (tmp == NULL)
1296 free (table->files);
1297 free (table->dirs);
1298 return NULL;
1300 table->files = tmp;
1303 table->files[table->num_files].name = cur_file;
1304 table->files[table->num_files].dir =
1305 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1306 line_ptr += bytes_read;
1307 table->files[table->num_files].time =
1308 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1309 line_ptr += bytes_read;
1310 table->files[table->num_files].size =
1311 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1312 line_ptr += bytes_read;
1313 table->num_files++;
1316 line_ptr += bytes_read;
1318 /* Read the statement sequences until there's nothing left. */
1319 while (line_ptr < line_end)
1321 /* State machine registers. */
1322 bfd_vma address = 0;
1323 char * filename = table->num_files ? concat_filename (table, 1) : NULL;
1324 unsigned int line = 1;
1325 unsigned int column = 0;
1326 int is_stmt = lh.default_is_stmt;
1327 int end_sequence = 0;
1328 /* eraxxon@alumni.rice.edu: Against the DWARF2 specs, some
1329 compilers generate address sequences that are wildly out of
1330 order using DW_LNE_set_address (e.g. Intel C++ 6.0 compiler
1331 for ia64-Linux). Thus, to determine the low and high
1332 address, we must compare on every DW_LNS_copy, etc. */
1333 bfd_vma low_pc = (bfd_vma) -1;
1334 bfd_vma high_pc = 0;
1336 /* Decode the table. */
1337 while (! end_sequence)
1339 op_code = read_1_byte (abfd, line_ptr);
1340 line_ptr += 1;
1342 if (op_code >= lh.opcode_base)
1344 /* Special operand. */
1345 adj_opcode = op_code - lh.opcode_base;
1346 address += (adj_opcode / lh.line_range)
1347 * lh.minimum_instruction_length;
1348 line += lh.line_base + (adj_opcode % lh.line_range);
1349 /* Append row to matrix using current values. */
1350 add_line_info (table, address, filename, line, column, 0);
1351 if (address < low_pc)
1352 low_pc = address;
1353 if (address > high_pc)
1354 high_pc = address;
1356 else switch (op_code)
1358 case DW_LNS_extended_op:
1359 /* Ignore length. */
1360 line_ptr += 1;
1361 extended_op = read_1_byte (abfd, line_ptr);
1362 line_ptr += 1;
1364 switch (extended_op)
1366 case DW_LNE_end_sequence:
1367 end_sequence = 1;
1368 add_line_info (table, address, filename, line, column,
1369 end_sequence);
1370 if (address < low_pc)
1371 low_pc = address;
1372 if (address > high_pc)
1373 high_pc = address;
1374 arange_add (unit->abfd, &unit->arange, low_pc, high_pc);
1375 break;
1376 case DW_LNE_set_address:
1377 address = read_address (unit, line_ptr);
1378 line_ptr += unit->addr_size;
1379 break;
1380 case DW_LNE_define_file:
1381 cur_file = read_string (abfd, line_ptr, &bytes_read);
1382 line_ptr += bytes_read;
1383 if ((table->num_files % FILE_ALLOC_CHUNK) == 0)
1385 struct fileinfo *tmp;
1387 amt = table->num_files + FILE_ALLOC_CHUNK;
1388 amt *= sizeof (struct fileinfo);
1389 tmp = (struct fileinfo *) bfd_realloc (table->files, amt);
1390 if (tmp == NULL)
1392 free (table->files);
1393 free (table->dirs);
1394 free (filename);
1395 return NULL;
1397 table->files = tmp;
1399 table->files[table->num_files].name = cur_file;
1400 table->files[table->num_files].dir =
1401 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1402 line_ptr += bytes_read;
1403 table->files[table->num_files].time =
1404 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1405 line_ptr += bytes_read;
1406 table->files[table->num_files].size =
1407 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1408 line_ptr += bytes_read;
1409 table->num_files++;
1410 break;
1411 case DW_LNE_set_discriminator:
1412 (void) read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1413 line_ptr += bytes_read;
1414 break;
1415 default:
1416 (*_bfd_error_handler) (_("Dwarf Error: mangled line number section."));
1417 bfd_set_error (bfd_error_bad_value);
1418 free (filename);
1419 free (table->files);
1420 free (table->dirs);
1421 return NULL;
1423 break;
1424 case DW_LNS_copy:
1425 add_line_info (table, address, filename, line, column, 0);
1426 if (address < low_pc)
1427 low_pc = address;
1428 if (address > high_pc)
1429 high_pc = address;
1430 break;
1431 case DW_LNS_advance_pc:
1432 address += lh.minimum_instruction_length
1433 * read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1434 line_ptr += bytes_read;
1435 break;
1436 case DW_LNS_advance_line:
1437 line += read_signed_leb128 (abfd, line_ptr, &bytes_read);
1438 line_ptr += bytes_read;
1439 break;
1440 case DW_LNS_set_file:
1442 unsigned int file;
1444 /* The file and directory tables are 0
1445 based, the references are 1 based. */
1446 file = read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1447 line_ptr += bytes_read;
1448 if (filename)
1449 free (filename);
1450 filename = concat_filename (table, file);
1451 break;
1453 case DW_LNS_set_column:
1454 column = read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1455 line_ptr += bytes_read;
1456 break;
1457 case DW_LNS_negate_stmt:
1458 is_stmt = (!is_stmt);
1459 break;
1460 case DW_LNS_set_basic_block:
1461 break;
1462 case DW_LNS_const_add_pc:
1463 address += lh.minimum_instruction_length
1464 * ((255 - lh.opcode_base) / lh.line_range);
1465 break;
1466 case DW_LNS_fixed_advance_pc:
1467 address += read_2_bytes (abfd, line_ptr);
1468 line_ptr += 2;
1469 break;
1470 default:
1472 int i;
1474 /* Unknown standard opcode, ignore it. */
1475 for (i = 0; i < lh.standard_opcode_lengths[op_code]; i++)
1477 (void) read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1478 line_ptr += bytes_read;
1484 if (filename)
1485 free (filename);
1488 return table;
1491 /* If ADDR is within TABLE set the output parameters and return TRUE,
1492 otherwise return FALSE. The output parameters, FILENAME_PTR and
1493 LINENUMBER_PTR, are pointers to the objects to be filled in. */
1495 static bfd_boolean
1496 lookup_address_in_line_info_table (struct line_info_table *table,
1497 bfd_vma addr,
1498 const char **filename_ptr,
1499 unsigned int *linenumber_ptr)
1501 /* Note: table->last_line should be a descendingly sorted list. */
1502 struct line_info *each_line;
1504 for (each_line = table->last_line;
1505 each_line;
1506 each_line = each_line->prev_line)
1507 if (addr >= each_line->address)
1508 break;
1510 if (each_line
1511 && !(each_line->end_sequence || each_line == table->last_line))
1513 *filename_ptr = each_line->filename;
1514 *linenumber_ptr = each_line->line;
1515 return TRUE;
1518 *filename_ptr = NULL;
1519 return FALSE;
1522 /* Read in the .debug_ranges section for future reference */
1524 static bfd_boolean
1525 read_debug_ranges (struct comp_unit *unit)
1527 struct dwarf2_debug *stash = unit->stash;
1528 return read_section (unit->abfd, ".debug_ranges", ".zdebug_ranges",
1529 stash->syms, 0,
1530 &stash->dwarf_ranges_buffer, &stash->dwarf_ranges_size);
1533 /* Function table functions. */
1535 /* If ADDR is within TABLE, set FUNCTIONNAME_PTR, and return TRUE.
1536 Note that we need to find the function that has the smallest
1537 range that contains ADDR, to handle inlined functions without
1538 depending upon them being ordered in TABLE by increasing range. */
1540 static bfd_boolean
1541 lookup_address_in_function_table (struct comp_unit *unit,
1542 bfd_vma addr,
1543 struct funcinfo **function_ptr,
1544 const char **functionname_ptr)
1546 struct funcinfo* each_func;
1547 struct funcinfo* best_fit = NULL;
1548 struct arange *arange;
1550 for (each_func = unit->function_table;
1551 each_func;
1552 each_func = each_func->prev_func)
1554 for (arange = &each_func->arange;
1555 arange;
1556 arange = arange->next)
1558 if (addr >= arange->low && addr < arange->high)
1560 if (!best_fit ||
1561 ((arange->high - arange->low) < (best_fit->arange.high - best_fit->arange.low)))
1562 best_fit = each_func;
1567 if (best_fit)
1569 *functionname_ptr = best_fit->name;
1570 *function_ptr = best_fit;
1571 return TRUE;
1573 else
1575 return FALSE;
1579 /* If SYM at ADDR is within function table of UNIT, set FILENAME_PTR
1580 and LINENUMBER_PTR, and return TRUE. */
1582 static bfd_boolean
1583 lookup_symbol_in_function_table (struct comp_unit *unit,
1584 asymbol *sym,
1585 bfd_vma addr,
1586 const char **filename_ptr,
1587 unsigned int *linenumber_ptr)
1589 struct funcinfo* each_func;
1590 struct funcinfo* best_fit = NULL;
1591 struct arange *arange;
1592 const char *name = bfd_asymbol_name (sym);
1593 asection *sec = bfd_get_section (sym);
1595 for (each_func = unit->function_table;
1596 each_func;
1597 each_func = each_func->prev_func)
1599 for (arange = &each_func->arange;
1600 arange;
1601 arange = arange->next)
1603 if ((!each_func->sec || each_func->sec == sec)
1604 && addr >= arange->low
1605 && addr < arange->high
1606 && each_func->name
1607 && strcmp (name, each_func->name) == 0
1608 && (!best_fit
1609 || ((arange->high - arange->low)
1610 < (best_fit->arange.high - best_fit->arange.low))))
1611 best_fit = each_func;
1615 if (best_fit)
1617 best_fit->sec = sec;
1618 *filename_ptr = best_fit->file;
1619 *linenumber_ptr = best_fit->line;
1620 return TRUE;
1622 else
1623 return FALSE;
1626 /* Variable table functions. */
1628 /* If SYM is within variable table of UNIT, set FILENAME_PTR and
1629 LINENUMBER_PTR, and return TRUE. */
1631 static bfd_boolean
1632 lookup_symbol_in_variable_table (struct comp_unit *unit,
1633 asymbol *sym,
1634 bfd_vma addr,
1635 const char **filename_ptr,
1636 unsigned int *linenumber_ptr)
1638 const char *name = bfd_asymbol_name (sym);
1639 asection *sec = bfd_get_section (sym);
1640 struct varinfo* each;
1642 for (each = unit->variable_table; each; each = each->prev_var)
1643 if (each->stack == 0
1644 && each->file != NULL
1645 && each->name != NULL
1646 && each->addr == addr
1647 && (!each->sec || each->sec == sec)
1648 && strcmp (name, each->name) == 0)
1649 break;
1651 if (each)
1653 each->sec = sec;
1654 *filename_ptr = each->file;
1655 *linenumber_ptr = each->line;
1656 return TRUE;
1658 else
1659 return FALSE;
1662 static char *
1663 find_abstract_instance_name (struct comp_unit *unit,
1664 struct attribute *attr_ptr)
1666 bfd *abfd = unit->abfd;
1667 bfd_byte *info_ptr;
1668 unsigned int abbrev_number, bytes_read, i;
1669 struct abbrev_info *abbrev;
1670 bfd_uint64_t die_ref = attr_ptr->u.val;
1671 struct attribute attr;
1672 char *name = 0;
1674 /* DW_FORM_ref_addr can reference an entry in a different CU. It
1675 is an offset from the .debug_info section, not the current CU. */
1676 if (attr_ptr->form == DW_FORM_ref_addr)
1678 /* We only support DW_FORM_ref_addr within the same file, so
1679 any relocations should be resolved already. */
1680 if (!die_ref)
1681 abort ();
1683 info_ptr = unit->stash->sec_info_ptr + die_ref;
1685 else
1686 info_ptr = unit->info_ptr_unit + die_ref;
1687 abbrev_number = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
1688 info_ptr += bytes_read;
1690 if (abbrev_number)
1692 abbrev = lookup_abbrev (abbrev_number, unit->abbrevs);
1693 if (! abbrev)
1695 (*_bfd_error_handler) (_("Dwarf Error: Could not find abbrev number %u."),
1696 abbrev_number);
1697 bfd_set_error (bfd_error_bad_value);
1699 else
1701 for (i = 0; i < abbrev->num_attrs; ++i)
1703 info_ptr = read_attribute (&attr, &abbrev->attrs[i], unit, info_ptr);
1704 switch (attr.name)
1706 case DW_AT_name:
1707 /* Prefer DW_AT_MIPS_linkage_name over DW_AT_name. */
1708 if (name == NULL)
1709 name = attr.u.str;
1710 break;
1711 case DW_AT_specification:
1712 name = find_abstract_instance_name (unit, &attr);
1713 break;
1714 case DW_AT_MIPS_linkage_name:
1715 name = attr.u.str;
1716 break;
1717 default:
1718 break;
1723 return (name);
1726 static void
1727 read_rangelist (struct comp_unit *unit, struct arange *arange, bfd_uint64_t offset)
1729 bfd_byte *ranges_ptr;
1730 bfd_vma base_address = unit->base_address;
1732 if (! unit->stash->dwarf_ranges_buffer)
1734 if (! read_debug_ranges (unit))
1735 return;
1737 ranges_ptr = unit->stash->dwarf_ranges_buffer + offset;
1739 for (;;)
1741 bfd_vma low_pc;
1742 bfd_vma high_pc;
1744 low_pc = read_address (unit, ranges_ptr);
1745 ranges_ptr += unit->addr_size;
1746 high_pc = read_address (unit, ranges_ptr);
1747 ranges_ptr += unit->addr_size;
1749 if (low_pc == 0 && high_pc == 0)
1750 break;
1751 if (low_pc == -1UL && high_pc != -1UL)
1752 base_address = high_pc;
1753 else
1754 arange_add (unit->abfd, arange, base_address + low_pc, base_address + high_pc);
1758 /* DWARF2 Compilation unit functions. */
1760 /* Scan over each die in a comp. unit looking for functions to add
1761 to the function table and variables to the variable table. */
1763 static bfd_boolean
1764 scan_unit_for_symbols (struct comp_unit *unit)
1766 bfd *abfd = unit->abfd;
1767 bfd_byte *info_ptr = unit->first_child_die_ptr;
1768 int nesting_level = 1;
1769 struct funcinfo **nested_funcs;
1770 int nested_funcs_size;
1772 /* Maintain a stack of in-scope functions and inlined functions, which we
1773 can use to set the caller_func field. */
1774 nested_funcs_size = 32;
1775 nested_funcs = (struct funcinfo **)
1776 bfd_malloc (nested_funcs_size * sizeof (struct funcinfo *));
1777 if (nested_funcs == NULL)
1778 return FALSE;
1779 nested_funcs[nesting_level] = 0;
1781 while (nesting_level)
1783 unsigned int abbrev_number, bytes_read, i;
1784 struct abbrev_info *abbrev;
1785 struct attribute attr;
1786 struct funcinfo *func;
1787 struct varinfo *var;
1788 bfd_vma low_pc = 0;
1789 bfd_vma high_pc = 0;
1791 abbrev_number = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
1792 info_ptr += bytes_read;
1794 if (! abbrev_number)
1796 nesting_level--;
1797 continue;
1800 abbrev = lookup_abbrev (abbrev_number,unit->abbrevs);
1801 if (! abbrev)
1803 (*_bfd_error_handler) (_("Dwarf Error: Could not find abbrev number %u."),
1804 abbrev_number);
1805 bfd_set_error (bfd_error_bad_value);
1806 free (nested_funcs);
1807 return FALSE;
1810 var = NULL;
1811 if (abbrev->tag == DW_TAG_subprogram
1812 || abbrev->tag == DW_TAG_entry_point
1813 || abbrev->tag == DW_TAG_inlined_subroutine)
1815 bfd_size_type amt = sizeof (struct funcinfo);
1816 func = (struct funcinfo *) bfd_zalloc (abfd, amt);
1817 func->tag = abbrev->tag;
1818 func->prev_func = unit->function_table;
1819 unit->function_table = func;
1820 BFD_ASSERT (!unit->cached);
1822 if (func->tag == DW_TAG_inlined_subroutine)
1823 for (i = nesting_level - 1; i >= 1; i--)
1824 if (nested_funcs[i])
1826 func->caller_func = nested_funcs[i];
1827 break;
1829 nested_funcs[nesting_level] = func;
1831 else
1833 func = NULL;
1834 if (abbrev->tag == DW_TAG_variable)
1836 bfd_size_type amt = sizeof (struct varinfo);
1837 var = (struct varinfo *) bfd_zalloc (abfd, amt);
1838 var->tag = abbrev->tag;
1839 var->stack = 1;
1840 var->prev_var = unit->variable_table;
1841 unit->variable_table = var;
1842 BFD_ASSERT (!unit->cached);
1845 /* No inline function in scope at this nesting level. */
1846 nested_funcs[nesting_level] = 0;
1849 for (i = 0; i < abbrev->num_attrs; ++i)
1851 info_ptr = read_attribute (&attr, &abbrev->attrs[i], unit, info_ptr);
1853 if (func)
1855 switch (attr.name)
1857 case DW_AT_call_file:
1858 func->caller_file = concat_filename (unit->line_table, attr.u.val);
1859 break;
1861 case DW_AT_call_line:
1862 func->caller_line = attr.u.val;
1863 break;
1865 case DW_AT_abstract_origin:
1866 func->name = find_abstract_instance_name (unit, &attr);
1867 break;
1869 case DW_AT_name:
1870 /* Prefer DW_AT_MIPS_linkage_name over DW_AT_name. */
1871 if (func->name == NULL)
1872 func->name = attr.u.str;
1873 break;
1875 case DW_AT_MIPS_linkage_name:
1876 func->name = attr.u.str;
1877 break;
1879 case DW_AT_low_pc:
1880 low_pc = attr.u.val;
1881 break;
1883 case DW_AT_high_pc:
1884 high_pc = attr.u.val;
1885 break;
1887 case DW_AT_ranges:
1888 read_rangelist (unit, &func->arange, attr.u.val);
1889 break;
1891 case DW_AT_decl_file:
1892 func->file = concat_filename (unit->line_table,
1893 attr.u.val);
1894 break;
1896 case DW_AT_decl_line:
1897 func->line = attr.u.val;
1898 break;
1900 default:
1901 break;
1904 else if (var)
1906 switch (attr.name)
1908 case DW_AT_name:
1909 var->name = attr.u.str;
1910 break;
1912 case DW_AT_decl_file:
1913 var->file = concat_filename (unit->line_table,
1914 attr.u.val);
1915 break;
1917 case DW_AT_decl_line:
1918 var->line = attr.u.val;
1919 break;
1921 case DW_AT_external:
1922 if (attr.u.val != 0)
1923 var->stack = 0;
1924 break;
1926 case DW_AT_location:
1927 switch (attr.form)
1929 case DW_FORM_block:
1930 case DW_FORM_block1:
1931 case DW_FORM_block2:
1932 case DW_FORM_block4:
1933 if (*attr.u.blk->data == DW_OP_addr)
1935 var->stack = 0;
1937 /* Verify that DW_OP_addr is the only opcode in the
1938 location, in which case the block size will be 1
1939 plus the address size. */
1940 /* ??? For TLS variables, gcc can emit
1941 DW_OP_addr <addr> DW_OP_GNU_push_tls_address
1942 which we don't handle here yet. */
1943 if (attr.u.blk->size == unit->addr_size + 1U)
1944 var->addr = bfd_get (unit->addr_size * 8,
1945 unit->abfd,
1946 attr.u.blk->data + 1);
1948 break;
1950 default:
1951 break;
1953 break;
1955 default:
1956 break;
1961 if (func && high_pc != 0)
1963 arange_add (unit->abfd, &func->arange, low_pc, high_pc);
1966 if (abbrev->has_children)
1968 nesting_level++;
1970 if (nesting_level >= nested_funcs_size)
1972 struct funcinfo **tmp;
1974 nested_funcs_size *= 2;
1975 tmp = (struct funcinfo **)
1976 bfd_realloc (nested_funcs,
1977 (nested_funcs_size * sizeof (struct funcinfo *)));
1978 if (tmp == NULL)
1980 free (nested_funcs);
1981 return FALSE;
1983 nested_funcs = tmp;
1985 nested_funcs[nesting_level] = 0;
1989 free (nested_funcs);
1990 return TRUE;
1993 /* Parse a DWARF2 compilation unit starting at INFO_PTR. This
1994 includes the compilation unit header that proceeds the DIE's, but
1995 does not include the length field that precedes each compilation
1996 unit header. END_PTR points one past the end of this comp unit.
1997 OFFSET_SIZE is the size of DWARF2 offsets (either 4 or 8 bytes).
1999 This routine does not read the whole compilation unit; only enough
2000 to get to the line number information for the compilation unit. */
2002 static struct comp_unit *
2003 parse_comp_unit (struct dwarf2_debug *stash,
2004 bfd_vma unit_length,
2005 bfd_byte *info_ptr_unit,
2006 unsigned int offset_size)
2008 struct comp_unit* unit;
2009 unsigned int version;
2010 bfd_uint64_t abbrev_offset = 0;
2011 unsigned int addr_size;
2012 struct abbrev_info** abbrevs;
2013 unsigned int abbrev_number, bytes_read, i;
2014 struct abbrev_info *abbrev;
2015 struct attribute attr;
2016 bfd_byte *info_ptr = stash->info_ptr;
2017 bfd_byte *end_ptr = info_ptr + unit_length;
2018 bfd_size_type amt;
2019 bfd_vma low_pc = 0;
2020 bfd_vma high_pc = 0;
2021 bfd *abfd = stash->bfd_ptr;
2023 version = read_2_bytes (abfd, info_ptr);
2024 info_ptr += 2;
2025 BFD_ASSERT (offset_size == 4 || offset_size == 8);
2026 if (offset_size == 4)
2027 abbrev_offset = read_4_bytes (abfd, info_ptr);
2028 else
2029 abbrev_offset = read_8_bytes (abfd, info_ptr);
2030 info_ptr += offset_size;
2031 addr_size = read_1_byte (abfd, info_ptr);
2032 info_ptr += 1;
2034 if (version != 2 && version != 3)
2036 (*_bfd_error_handler) (_("Dwarf Error: found dwarf version '%u', this reader only handles version 2 and 3 information."), version);
2037 bfd_set_error (bfd_error_bad_value);
2038 return 0;
2041 if (addr_size > sizeof (bfd_vma))
2043 (*_bfd_error_handler) (_("Dwarf Error: found address size '%u', this reader can not handle sizes greater than '%u'."),
2044 addr_size,
2045 (unsigned int) sizeof (bfd_vma));
2046 bfd_set_error (bfd_error_bad_value);
2047 return 0;
2050 if (addr_size != 2 && addr_size != 4 && addr_size != 8)
2052 (*_bfd_error_handler) ("Dwarf Error: found address size '%u', this reader can only handle address sizes '2', '4' and '8'.", addr_size);
2053 bfd_set_error (bfd_error_bad_value);
2054 return 0;
2057 /* Read the abbrevs for this compilation unit into a table. */
2058 abbrevs = read_abbrevs (abfd, abbrev_offset, stash);
2059 if (! abbrevs)
2060 return 0;
2062 abbrev_number = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
2063 info_ptr += bytes_read;
2064 if (! abbrev_number)
2066 (*_bfd_error_handler) (_("Dwarf Error: Bad abbrev number: %u."),
2067 abbrev_number);
2068 bfd_set_error (bfd_error_bad_value);
2069 return 0;
2072 abbrev = lookup_abbrev (abbrev_number, abbrevs);
2073 if (! abbrev)
2075 (*_bfd_error_handler) (_("Dwarf Error: Could not find abbrev number %u."),
2076 abbrev_number);
2077 bfd_set_error (bfd_error_bad_value);
2078 return 0;
2081 amt = sizeof (struct comp_unit);
2082 unit = (struct comp_unit *) bfd_zalloc (abfd, amt);
2083 unit->abfd = abfd;
2084 unit->version = version;
2085 unit->addr_size = addr_size;
2086 unit->offset_size = offset_size;
2087 unit->abbrevs = abbrevs;
2088 unit->end_ptr = end_ptr;
2089 unit->stash = stash;
2090 unit->info_ptr_unit = info_ptr_unit;
2092 for (i = 0; i < abbrev->num_attrs; ++i)
2094 info_ptr = read_attribute (&attr, &abbrev->attrs[i], unit, info_ptr);
2096 /* Store the data if it is of an attribute we want to keep in a
2097 partial symbol table. */
2098 switch (attr.name)
2100 case DW_AT_stmt_list:
2101 unit->stmtlist = 1;
2102 unit->line_offset = attr.u.val;
2103 break;
2105 case DW_AT_name:
2106 unit->name = attr.u.str;
2107 break;
2109 case DW_AT_low_pc:
2110 low_pc = attr.u.val;
2111 /* If the compilation unit DIE has a DW_AT_low_pc attribute,
2112 this is the base address to use when reading location
2113 lists or range lists. */
2114 unit->base_address = low_pc;
2115 break;
2117 case DW_AT_high_pc:
2118 high_pc = attr.u.val;
2119 break;
2121 case DW_AT_ranges:
2122 read_rangelist (unit, &unit->arange, attr.u.val);
2123 break;
2125 case DW_AT_comp_dir:
2127 char *comp_dir = attr.u.str;
2128 if (comp_dir)
2130 /* Irix 6.2 native cc prepends <machine>.: to the compilation
2131 directory, get rid of it. */
2132 char *cp = strchr (comp_dir, ':');
2134 if (cp && cp != comp_dir && cp[-1] == '.' && cp[1] == '/')
2135 comp_dir = cp + 1;
2137 unit->comp_dir = comp_dir;
2138 break;
2141 default:
2142 break;
2145 if (high_pc != 0)
2147 arange_add (unit->abfd, &unit->arange, low_pc, high_pc);
2150 unit->first_child_die_ptr = info_ptr;
2151 return unit;
2154 /* Return TRUE if UNIT may contain the address given by ADDR. When
2155 there are functions written entirely with inline asm statements, the
2156 range info in the compilation unit header may not be correct. We
2157 need to consult the line info table to see if a compilation unit
2158 really contains the given address. */
2160 static bfd_boolean
2161 comp_unit_contains_address (struct comp_unit *unit, bfd_vma addr)
2163 struct arange *arange;
2165 if (unit->error)
2166 return FALSE;
2168 arange = &unit->arange;
2171 if (addr >= arange->low && addr < arange->high)
2172 return TRUE;
2173 arange = arange->next;
2175 while (arange);
2177 return FALSE;
2180 /* If UNIT contains ADDR, set the output parameters to the values for
2181 the line containing ADDR. The output parameters, FILENAME_PTR,
2182 FUNCTIONNAME_PTR, and LINENUMBER_PTR, are pointers to the objects
2183 to be filled in.
2185 Return TRUE if UNIT contains ADDR, and no errors were encountered;
2186 FALSE otherwise. */
2188 static bfd_boolean
2189 comp_unit_find_nearest_line (struct comp_unit *unit,
2190 bfd_vma addr,
2191 const char **filename_ptr,
2192 const char **functionname_ptr,
2193 unsigned int *linenumber_ptr,
2194 struct dwarf2_debug *stash)
2196 bfd_boolean line_p;
2197 bfd_boolean func_p;
2198 struct funcinfo *function;
2200 if (unit->error)
2201 return FALSE;
2203 if (! unit->line_table)
2205 if (! unit->stmtlist)
2207 unit->error = 1;
2208 return FALSE;
2211 unit->line_table = decode_line_info (unit, stash);
2213 if (! unit->line_table)
2215 unit->error = 1;
2216 return FALSE;
2219 if (unit->first_child_die_ptr < unit->end_ptr
2220 && ! scan_unit_for_symbols (unit))
2222 unit->error = 1;
2223 return FALSE;
2227 function = NULL;
2228 func_p = lookup_address_in_function_table (unit, addr,
2229 &function, functionname_ptr);
2230 if (func_p && (function->tag == DW_TAG_inlined_subroutine))
2231 stash->inliner_chain = function;
2232 line_p = lookup_address_in_line_info_table (unit->line_table, addr,
2233 filename_ptr,
2234 linenumber_ptr);
2235 return line_p || func_p;
2238 /* Check to see if line info is already decoded in a comp_unit.
2239 If not, decode it. Returns TRUE if no errors were encountered;
2240 FALSE otherwise. */
2242 static bfd_boolean
2243 comp_unit_maybe_decode_line_info (struct comp_unit *unit,
2244 struct dwarf2_debug *stash)
2246 if (unit->error)
2247 return FALSE;
2249 if (! unit->line_table)
2251 if (! unit->stmtlist)
2253 unit->error = 1;
2254 return FALSE;
2257 unit->line_table = decode_line_info (unit, stash);
2259 if (! unit->line_table)
2261 unit->error = 1;
2262 return FALSE;
2265 if (unit->first_child_die_ptr < unit->end_ptr
2266 && ! scan_unit_for_symbols (unit))
2268 unit->error = 1;
2269 return FALSE;
2273 return TRUE;
2276 /* If UNIT contains SYM at ADDR, set the output parameters to the
2277 values for the line containing SYM. The output parameters,
2278 FILENAME_PTR, and LINENUMBER_PTR, are pointers to the objects to be
2279 filled in.
2281 Return TRUE if UNIT contains SYM, and no errors were encountered;
2282 FALSE otherwise. */
2284 static bfd_boolean
2285 comp_unit_find_line (struct comp_unit *unit,
2286 asymbol *sym,
2287 bfd_vma addr,
2288 const char **filename_ptr,
2289 unsigned int *linenumber_ptr,
2290 struct dwarf2_debug *stash)
2292 if (!comp_unit_maybe_decode_line_info (unit, stash))
2293 return FALSE;
2295 if (sym->flags & BSF_FUNCTION)
2296 return lookup_symbol_in_function_table (unit, sym, addr,
2297 filename_ptr,
2298 linenumber_ptr);
2300 return lookup_symbol_in_variable_table (unit, sym, addr,
2301 filename_ptr,
2302 linenumber_ptr);
2305 static struct funcinfo *
2306 reverse_funcinfo_list (struct funcinfo *head)
2308 struct funcinfo *rhead;
2309 struct funcinfo *temp;
2311 for (rhead = NULL; head; head = temp)
2313 temp = head->prev_func;
2314 head->prev_func = rhead;
2315 rhead = head;
2317 return rhead;
2320 static struct varinfo *
2321 reverse_varinfo_list (struct varinfo *head)
2323 struct varinfo *rhead;
2324 struct varinfo *temp;
2326 for (rhead = NULL; head; head = temp)
2328 temp = head->prev_var;
2329 head->prev_var = rhead;
2330 rhead = head;
2332 return rhead;
2335 /* Extract all interesting funcinfos and varinfos of a compilation
2336 unit into hash tables for faster lookup. Returns TRUE if no
2337 errors were enountered; FALSE otherwise. */
2339 static bfd_boolean
2340 comp_unit_hash_info (struct dwarf2_debug *stash,
2341 struct comp_unit *unit,
2342 struct info_hash_table *funcinfo_hash_table,
2343 struct info_hash_table *varinfo_hash_table)
2345 struct funcinfo* each_func;
2346 struct varinfo* each_var;
2347 bfd_boolean okay = TRUE;
2349 BFD_ASSERT (stash->info_hash_status != STASH_INFO_HASH_DISABLED);
2351 if (!comp_unit_maybe_decode_line_info (unit, stash))
2352 return FALSE;
2354 BFD_ASSERT (!unit->cached);
2356 /* To preserve the original search order, we went to visit the function
2357 infos in the reversed order of the list. However, making the list
2358 bi-directional use quite a bit of extra memory. So we reverse
2359 the list first, traverse the list in the now reversed order and
2360 finally reverse the list again to get back the original order. */
2361 unit->function_table = reverse_funcinfo_list (unit->function_table);
2362 for (each_func = unit->function_table;
2363 each_func && okay;
2364 each_func = each_func->prev_func)
2366 /* Skip nameless functions. */
2367 if (each_func->name)
2368 /* There is no need to copy name string into hash table as
2369 name string is either in the dwarf string buffer or
2370 info in the stash. */
2371 okay = insert_info_hash_table (funcinfo_hash_table, each_func->name,
2372 (void*) each_func, FALSE);
2374 unit->function_table = reverse_funcinfo_list (unit->function_table);
2375 if (!okay)
2376 return FALSE;
2378 /* We do the same for variable infos. */
2379 unit->variable_table = reverse_varinfo_list (unit->variable_table);
2380 for (each_var = unit->variable_table;
2381 each_var && okay;
2382 each_var = each_var->prev_var)
2384 /* Skip stack vars and vars with no files or names. */
2385 if (each_var->stack == 0
2386 && each_var->file != NULL
2387 && each_var->name != NULL)
2388 /* There is no need to copy name string into hash table as
2389 name string is either in the dwarf string buffer or
2390 info in the stash. */
2391 okay = insert_info_hash_table (varinfo_hash_table, each_var->name,
2392 (void*) each_var, FALSE);
2395 unit->variable_table = reverse_varinfo_list (unit->variable_table);
2396 unit->cached = TRUE;
2397 return okay;
2400 /* Locate a section in a BFD containing debugging info. The search starts
2401 from the section after AFTER_SEC, or from the first section in the BFD if
2402 AFTER_SEC is NULL. The search works by examining the names of the
2403 sections. There are two permissiable names. The first is .debug_info.
2404 This is the standard DWARF2 name. The second is a prefix .gnu.linkonce.wi.
2405 This is a variation on the .debug_info section which has a checksum
2406 describing the contents appended onto the name. This allows the linker to
2407 identify and discard duplicate debugging sections for different
2408 compilation units. */
2409 #define DWARF2_DEBUG_INFO ".debug_info"
2410 #define DWARF2_COMPRESSED_DEBUG_INFO ".zdebug_info"
2411 #define GNU_LINKONCE_INFO ".gnu.linkonce.wi."
2413 static asection *
2414 find_debug_info (bfd *abfd, asection *after_sec)
2416 asection * msec;
2418 msec = after_sec != NULL ? after_sec->next : abfd->sections;
2420 while (msec)
2422 if (strcmp (msec->name, DWARF2_DEBUG_INFO) == 0)
2423 return msec;
2425 if (strcmp (msec->name, DWARF2_COMPRESSED_DEBUG_INFO) == 0)
2426 return msec;
2428 if (CONST_STRNEQ (msec->name, GNU_LINKONCE_INFO))
2429 return msec;
2431 msec = msec->next;
2434 return NULL;
2437 /* Unset vmas for adjusted sections in STASH. */
2439 static void
2440 unset_sections (struct dwarf2_debug *stash)
2442 unsigned int i;
2443 struct adjusted_section *p;
2445 i = stash->adjusted_section_count;
2446 p = stash->adjusted_sections;
2447 for (; i > 0; i--, p++)
2448 p->section->vma = 0;
2451 /* Set unique VMAs for loadable and DWARF sections in ABFD and save
2452 VMAs in STASH for unset_sections. */
2454 static bfd_boolean
2455 place_sections (bfd *abfd, struct dwarf2_debug *stash)
2457 struct adjusted_section *p;
2458 unsigned int i;
2460 if (stash->adjusted_section_count != 0)
2462 i = stash->adjusted_section_count;
2463 p = stash->adjusted_sections;
2464 for (; i > 0; i--, p++)
2465 p->section->vma = p->adj_vma;
2467 else
2469 asection *sect;
2470 bfd_vma last_vma = 0, last_dwarf = 0;
2471 bfd_size_type amt;
2472 struct adjusted_section *p;
2474 i = 0;
2475 for (sect = abfd->sections; sect != NULL; sect = sect->next)
2477 bfd_size_type sz;
2478 int is_debug_info;
2480 if (sect->vma != 0)
2481 continue;
2483 /* We need to adjust the VMAs of any .debug_info sections.
2484 Skip compressed ones, since no relocations could target
2485 them - they should not appear in object files anyway. */
2486 if (strcmp (sect->name, DWARF2_DEBUG_INFO) == 0)
2487 is_debug_info = 1;
2488 else if (CONST_STRNEQ (sect->name, GNU_LINKONCE_INFO))
2489 is_debug_info = 1;
2490 else
2491 is_debug_info = 0;
2493 if (!is_debug_info && (sect->flags & SEC_LOAD) == 0)
2494 continue;
2496 sz = sect->rawsize ? sect->rawsize : sect->size;
2497 if (sz == 0)
2498 continue;
2500 i++;
2503 amt = i * sizeof (struct adjusted_section);
2504 p = (struct adjusted_section *) bfd_zalloc (abfd, amt);
2505 if (! p)
2506 return FALSE;
2508 stash->adjusted_sections = p;
2509 stash->adjusted_section_count = i;
2511 for (sect = abfd->sections; sect != NULL; sect = sect->next)
2513 bfd_size_type sz;
2514 int is_debug_info;
2516 if (sect->vma != 0)
2517 continue;
2519 /* We need to adjust the VMAs of any .debug_info sections.
2520 Skip compressed ones, since no relocations could target
2521 them - they should not appear in object files anyway. */
2522 if (strcmp (sect->name, DWARF2_DEBUG_INFO) == 0)
2523 is_debug_info = 1;
2524 else if (CONST_STRNEQ (sect->name, GNU_LINKONCE_INFO))
2525 is_debug_info = 1;
2526 else
2527 is_debug_info = 0;
2529 if (!is_debug_info && (sect->flags & SEC_LOAD) == 0)
2530 continue;
2532 sz = sect->rawsize ? sect->rawsize : sect->size;
2533 if (sz == 0)
2534 continue;
2536 p->section = sect;
2537 if (is_debug_info)
2539 BFD_ASSERT (sect->alignment_power == 0);
2540 sect->vma = last_dwarf;
2541 last_dwarf += sz;
2543 else if (last_vma != 0)
2545 /* Align the new address to the current section
2546 alignment. */
2547 last_vma = ((last_vma
2548 + ~((bfd_vma) -1 << sect->alignment_power))
2549 & ((bfd_vma) -1 << sect->alignment_power));
2550 sect->vma = last_vma;
2551 last_vma += sect->vma + sz;
2553 else
2554 last_vma += sect->vma + sz;
2556 p->adj_vma = sect->vma;
2558 p++;
2562 return TRUE;
2565 /* Look up a funcinfo by name using the given info hash table. If found,
2566 also update the locations pointed to by filename_ptr and linenumber_ptr.
2568 This function returns TRUE if a funcinfo that matches the given symbol
2569 and address is found with any error; otherwise it returns FALSE. */
2571 static bfd_boolean
2572 info_hash_lookup_funcinfo (struct info_hash_table *hash_table,
2573 asymbol *sym,
2574 bfd_vma addr,
2575 const char **filename_ptr,
2576 unsigned int *linenumber_ptr)
2578 struct funcinfo* each_func;
2579 struct funcinfo* best_fit = NULL;
2580 struct info_list_node *node;
2581 struct arange *arange;
2582 const char *name = bfd_asymbol_name (sym);
2583 asection *sec = bfd_get_section (sym);
2585 for (node = lookup_info_hash_table (hash_table, name);
2586 node;
2587 node = node->next)
2589 each_func = (struct funcinfo *) node->info;
2590 for (arange = &each_func->arange;
2591 arange;
2592 arange = arange->next)
2594 if ((!each_func->sec || each_func->sec == sec)
2595 && addr >= arange->low
2596 && addr < arange->high
2597 && (!best_fit
2598 || ((arange->high - arange->low)
2599 < (best_fit->arange.high - best_fit->arange.low))))
2600 best_fit = each_func;
2604 if (best_fit)
2606 best_fit->sec = sec;
2607 *filename_ptr = best_fit->file;
2608 *linenumber_ptr = best_fit->line;
2609 return TRUE;
2612 return FALSE;
2615 /* Look up a varinfo by name using the given info hash table. If found,
2616 also update the locations pointed to by filename_ptr and linenumber_ptr.
2618 This function returns TRUE if a varinfo that matches the given symbol
2619 and address is found with any error; otherwise it returns FALSE. */
2621 static bfd_boolean
2622 info_hash_lookup_varinfo (struct info_hash_table *hash_table,
2623 asymbol *sym,
2624 bfd_vma addr,
2625 const char **filename_ptr,
2626 unsigned int *linenumber_ptr)
2628 const char *name = bfd_asymbol_name (sym);
2629 asection *sec = bfd_get_section (sym);
2630 struct varinfo* each;
2631 struct info_list_node *node;
2633 for (node = lookup_info_hash_table (hash_table, name);
2634 node;
2635 node = node->next)
2637 each = (struct varinfo *) node->info;
2638 if (each->addr == addr
2639 && (!each->sec || each->sec == sec))
2641 each->sec = sec;
2642 *filename_ptr = each->file;
2643 *linenumber_ptr = each->line;
2644 return TRUE;
2648 return FALSE;
2651 /* Update the funcinfo and varinfo info hash tables if they are
2652 not up to date. Returns TRUE if there is no error; otherwise
2653 returns FALSE and disable the info hash tables. */
2655 static bfd_boolean
2656 stash_maybe_update_info_hash_tables (struct dwarf2_debug *stash)
2658 struct comp_unit *each;
2660 /* Exit if hash tables are up-to-date. */
2661 if (stash->all_comp_units == stash->hash_units_head)
2662 return TRUE;
2664 if (stash->hash_units_head)
2665 each = stash->hash_units_head->prev_unit;
2666 else
2667 each = stash->last_comp_unit;
2669 while (each)
2671 if (!comp_unit_hash_info (stash, each, stash->funcinfo_hash_table,
2672 stash->varinfo_hash_table))
2674 stash->info_hash_status = STASH_INFO_HASH_DISABLED;
2675 return FALSE;
2677 each = each->prev_unit;
2680 stash->hash_units_head = stash->all_comp_units;
2681 return TRUE;
2684 /* Check consistency of info hash tables. This is for debugging only. */
2686 static void ATTRIBUTE_UNUSED
2687 stash_verify_info_hash_table (struct dwarf2_debug *stash)
2689 struct comp_unit *each_unit;
2690 struct funcinfo *each_func;
2691 struct varinfo *each_var;
2692 struct info_list_node *node;
2693 bfd_boolean found;
2695 for (each_unit = stash->all_comp_units;
2696 each_unit;
2697 each_unit = each_unit->next_unit)
2699 for (each_func = each_unit->function_table;
2700 each_func;
2701 each_func = each_func->prev_func)
2703 if (!each_func->name)
2704 continue;
2705 node = lookup_info_hash_table (stash->funcinfo_hash_table,
2706 each_func->name);
2707 BFD_ASSERT (node);
2708 found = FALSE;
2709 while (node && !found)
2711 found = node->info == each_func;
2712 node = node->next;
2714 BFD_ASSERT (found);
2717 for (each_var = each_unit->variable_table;
2718 each_var;
2719 each_var = each_var->prev_var)
2721 if (!each_var->name || !each_var->file || each_var->stack)
2722 continue;
2723 node = lookup_info_hash_table (stash->varinfo_hash_table,
2724 each_var->name);
2725 BFD_ASSERT (node);
2726 found = FALSE;
2727 while (node && !found)
2729 found = node->info == each_var;
2730 node = node->next;
2732 BFD_ASSERT (found);
2737 /* Check to see if we want to enable the info hash tables, which consume
2738 quite a bit of memory. Currently we only check the number times
2739 bfd_dwarf2_find_line is called. In the future, we may also want to
2740 take the number of symbols into account. */
2742 static void
2743 stash_maybe_enable_info_hash_tables (bfd *abfd, struct dwarf2_debug *stash)
2745 BFD_ASSERT (stash->info_hash_status == STASH_INFO_HASH_OFF);
2747 if (stash->info_hash_count++ < STASH_INFO_HASH_TRIGGER)
2748 return;
2750 /* FIXME: Maybe we should check the reduce_memory_overheads
2751 and optimize fields in the bfd_link_info structure ? */
2753 /* Create hash tables. */
2754 stash->funcinfo_hash_table = create_info_hash_table (abfd);
2755 stash->varinfo_hash_table = create_info_hash_table (abfd);
2756 if (!stash->funcinfo_hash_table || !stash->varinfo_hash_table)
2758 /* Turn off info hashes if any allocation above fails. */
2759 stash->info_hash_status = STASH_INFO_HASH_DISABLED;
2760 return;
2762 /* We need a forced update so that the info hash tables will
2763 be created even though there is no compilation unit. That
2764 happens if STASH_INFO_HASH_TRIGGER is 0. */
2765 stash_maybe_update_info_hash_tables (stash);
2766 stash->info_hash_status = STASH_INFO_HASH_ON;
2769 /* Find the file and line associated with a symbol and address using the
2770 info hash tables of a stash. If there is a match, the function returns
2771 TRUE and update the locations pointed to by filename_ptr and linenumber_ptr;
2772 otherwise it returns FALSE. */
2774 static bfd_boolean
2775 stash_find_line_fast (struct dwarf2_debug *stash,
2776 asymbol *sym,
2777 bfd_vma addr,
2778 const char **filename_ptr,
2779 unsigned int *linenumber_ptr)
2781 BFD_ASSERT (stash->info_hash_status == STASH_INFO_HASH_ON);
2783 if (sym->flags & BSF_FUNCTION)
2784 return info_hash_lookup_funcinfo (stash->funcinfo_hash_table, sym, addr,
2785 filename_ptr, linenumber_ptr);
2786 return info_hash_lookup_varinfo (stash->varinfo_hash_table, sym, addr,
2787 filename_ptr, linenumber_ptr);
2790 /* Find the source code location of SYMBOL. If SYMBOL is NULL
2791 then find the nearest source code location corresponding to
2792 the address SECTION + OFFSET.
2793 Returns TRUE if the line is found without error and fills in
2794 FILENAME_PTR and LINENUMBER_PTR. In the case where SYMBOL was
2795 NULL the FUNCTIONNAME_PTR is also filled in.
2796 SYMBOLS contains the symbol table for ABFD.
2797 ADDR_SIZE is the number of bytes in the initial .debug_info length
2798 field and in the abbreviation offset, or zero to indicate that the
2799 default value should be used. */
2801 static bfd_boolean
2802 find_line (bfd *abfd,
2803 asection *section,
2804 bfd_vma offset,
2805 asymbol *symbol,
2806 asymbol **symbols,
2807 const char **filename_ptr,
2808 const char **functionname_ptr,
2809 unsigned int *linenumber_ptr,
2810 unsigned int addr_size,
2811 void **pinfo)
2813 /* Read each compilation unit from the section .debug_info, and check
2814 to see if it contains the address we are searching for. If yes,
2815 lookup the address, and return the line number info. If no, go
2816 on to the next compilation unit.
2818 We keep a list of all the previously read compilation units, and
2819 a pointer to the next un-read compilation unit. Check the
2820 previously read units before reading more. */
2821 struct dwarf2_debug *stash;
2822 /* What address are we looking for? */
2823 bfd_vma addr;
2824 struct comp_unit* each;
2825 bfd_vma found = FALSE;
2826 bfd_boolean do_line;
2828 stash = (struct dwarf2_debug *) *pinfo;
2830 if (! stash)
2832 bfd_size_type amt = sizeof (struct dwarf2_debug);
2834 stash = (struct dwarf2_debug *) bfd_zalloc (abfd, amt);
2835 if (! stash)
2836 return FALSE;
2839 /* In a relocatable file, 2 functions may have the same address.
2840 We change the section vma so that they won't overlap. */
2841 if ((abfd->flags & (EXEC_P | DYNAMIC)) == 0)
2843 if (! place_sections (abfd, stash))
2844 return FALSE;
2847 do_line = (section == NULL
2848 && offset == 0
2849 && functionname_ptr == NULL
2850 && symbol != NULL);
2851 if (do_line)
2853 addr = symbol->value;
2854 section = bfd_get_section (symbol);
2856 else if (section != NULL
2857 && functionname_ptr != NULL
2858 && symbol == NULL)
2859 addr = offset;
2860 else
2861 abort ();
2863 if (section->output_section)
2864 addr += section->output_section->vma + section->output_offset;
2865 else
2866 addr += section->vma;
2867 *filename_ptr = NULL;
2868 if (! do_line)
2869 *functionname_ptr = NULL;
2870 *linenumber_ptr = 0;
2872 if (! *pinfo)
2874 bfd *debug_bfd;
2875 bfd_size_type total_size;
2876 asection *msec;
2878 *pinfo = stash;
2880 msec = find_debug_info (abfd, NULL);
2881 if (msec == NULL)
2883 char * debug_filename = bfd_follow_gnu_debuglink (abfd, DEBUGDIR);
2885 if (debug_filename == NULL)
2886 /* No dwarf2 info, and no gnu_debuglink to follow.
2887 Note that at this point the stash has been allocated, but
2888 contains zeros. This lets future calls to this function
2889 fail more quickly. */
2890 goto done;
2892 if ((debug_bfd = bfd_openr (debug_filename, NULL)) == NULL
2893 || ! bfd_check_format (debug_bfd, bfd_object)
2894 || (msec = find_debug_info (debug_bfd, NULL)) == NULL)
2896 if (debug_bfd)
2897 bfd_close (debug_bfd);
2898 /* FIXME: Should we report our failure to follow the debuglink ? */
2899 free (debug_filename);
2900 goto done;
2903 else
2904 debug_bfd = abfd;
2906 /* There can be more than one DWARF2 info section in a BFD these
2907 days. First handle the easy case when there's only one. If
2908 there's more than one, try case two: none of the sections is
2909 compressed. In that case, read them all in and produce one
2910 large stash. We do this in two passes - in the first pass we
2911 just accumulate the section sizes, and in the second pass we
2912 read in the section's contents. (The allows us to avoid
2913 reallocing the data as we add sections to the stash.) If
2914 some or all sections are compressed, then do things the slow
2915 way, with a bunch of reallocs. */
2917 if (! find_debug_info (debug_bfd, msec))
2919 /* Case 1: only one info section. */
2920 total_size = msec->size;
2921 if (! read_section (debug_bfd, ".debug_info", ".zdebug_info",
2922 symbols, 0,
2923 &stash->info_ptr_memory, &total_size))
2924 goto done;
2926 else
2928 int all_uncompressed = 1;
2929 for (total_size = 0; msec; msec = find_debug_info (debug_bfd, msec))
2931 total_size += msec->size;
2932 if (strcmp (msec->name, DWARF2_COMPRESSED_DEBUG_INFO) == 0)
2933 all_uncompressed = 0;
2935 if (all_uncompressed)
2937 /* Case 2: multiple sections, but none is compressed. */
2938 stash->info_ptr_memory = (bfd_byte *) bfd_malloc (total_size);
2939 if (stash->info_ptr_memory == NULL)
2940 goto done;
2942 total_size = 0;
2943 for (msec = find_debug_info (debug_bfd, NULL);
2944 msec;
2945 msec = find_debug_info (debug_bfd, msec))
2947 bfd_size_type size;
2949 size = msec->size;
2950 if (size == 0)
2951 continue;
2953 if (!(bfd_simple_get_relocated_section_contents
2954 (debug_bfd, msec, stash->info_ptr_memory + total_size,
2955 symbols)))
2956 goto done;
2958 total_size += size;
2961 else
2963 /* Case 3: multiple sections, some or all compressed. */
2964 stash->info_ptr_memory = NULL;
2965 total_size = 0;
2966 for (msec = find_debug_info (debug_bfd, NULL);
2967 msec;
2968 msec = find_debug_info (debug_bfd, msec))
2970 bfd_size_type size = msec->size;
2971 bfd_byte* buffer;
2973 if (size == 0)
2974 continue;
2976 buffer = (bfd_simple_get_relocated_section_contents
2977 (debug_bfd, msec, NULL, symbols));
2978 if (! buffer)
2979 goto done;
2981 if (strcmp (msec->name, DWARF2_COMPRESSED_DEBUG_INFO) == 0)
2983 if (! bfd_uncompress_section_contents (&buffer, &size))
2985 free (buffer);
2986 goto done;
2989 stash->info_ptr_memory = (bfd_byte *)
2990 bfd_realloc (stash->info_ptr_memory, total_size + size);
2991 memcpy (stash->info_ptr_memory + total_size, buffer, size);
2992 free (buffer);
2993 total_size += size;
2998 stash->info_ptr = stash->info_ptr_memory;
2999 stash->info_ptr_end = stash->info_ptr + total_size;
3000 stash->sec = find_debug_info (debug_bfd, NULL);
3001 stash->sec_info_ptr = stash->info_ptr;
3002 stash->syms = symbols;
3003 stash->bfd_ptr = debug_bfd;
3006 /* A null info_ptr indicates that there is no dwarf2 info
3007 (or that an error occured while setting up the stash). */
3008 if (! stash->info_ptr)
3009 goto done;
3011 stash->inliner_chain = NULL;
3013 /* Check the previously read comp. units first. */
3014 if (do_line)
3016 /* The info hash tables use quite a bit of memory. We may not want to
3017 always use them. We use some heuristics to decide if and when to
3018 turn it on. */
3019 if (stash->info_hash_status == STASH_INFO_HASH_OFF)
3020 stash_maybe_enable_info_hash_tables (abfd, stash);
3022 /* Keep info hash table up to date if they are available. Note that we
3023 may disable the hash tables if there is any error duing update. */
3024 if (stash->info_hash_status == STASH_INFO_HASH_ON)
3025 stash_maybe_update_info_hash_tables (stash);
3027 if (stash->info_hash_status == STASH_INFO_HASH_ON)
3029 found = stash_find_line_fast (stash, symbol, addr, filename_ptr,
3030 linenumber_ptr);
3031 if (found)
3032 goto done;
3034 else
3036 /* Check the previously read comp. units first. */
3037 for (each = stash->all_comp_units; each; each = each->next_unit)
3038 if ((symbol->flags & BSF_FUNCTION) == 0
3039 || comp_unit_contains_address (each, addr))
3041 found = comp_unit_find_line (each, symbol, addr, filename_ptr,
3042 linenumber_ptr, stash);
3043 if (found)
3044 goto done;
3048 else
3050 for (each = stash->all_comp_units; each; each = each->next_unit)
3052 found = (comp_unit_contains_address (each, addr)
3053 && comp_unit_find_nearest_line (each, addr,
3054 filename_ptr,
3055 functionname_ptr,
3056 linenumber_ptr,
3057 stash));
3058 if (found)
3059 goto done;
3063 /* The DWARF2 spec says that the initial length field, and the
3064 offset of the abbreviation table, should both be 4-byte values.
3065 However, some compilers do things differently. */
3066 if (addr_size == 0)
3067 addr_size = 4;
3068 BFD_ASSERT (addr_size == 4 || addr_size == 8);
3070 /* Read each remaining comp. units checking each as they are read. */
3071 while (stash->info_ptr < stash->info_ptr_end)
3073 bfd_vma length;
3074 unsigned int offset_size = addr_size;
3075 bfd_byte *info_ptr_unit = stash->info_ptr;
3077 length = read_4_bytes (stash->bfd_ptr, stash->info_ptr);
3078 /* A 0xffffff length is the DWARF3 way of indicating
3079 we use 64-bit offsets, instead of 32-bit offsets. */
3080 if (length == 0xffffffff)
3082 offset_size = 8;
3083 length = read_8_bytes (stash->bfd_ptr, stash->info_ptr + 4);
3084 stash->info_ptr += 12;
3086 /* A zero length is the IRIX way of indicating 64-bit offsets,
3087 mostly because the 64-bit length will generally fit in 32
3088 bits, and the endianness helps. */
3089 else if (length == 0)
3091 offset_size = 8;
3092 length = read_4_bytes (stash->bfd_ptr, stash->info_ptr + 4);
3093 stash->info_ptr += 8;
3095 /* In the absence of the hints above, we assume 32-bit DWARF2
3096 offsets even for targets with 64-bit addresses, because:
3097 a) most of the time these targets will not have generated
3098 more than 2Gb of debug info and so will not need 64-bit
3099 offsets,
3101 b) if they do use 64-bit offsets but they are not using
3102 the size hints that are tested for above then they are
3103 not conforming to the DWARF3 standard anyway. */
3104 else if (addr_size == 8)
3106 offset_size = 4;
3107 stash->info_ptr += 4;
3109 else
3110 stash->info_ptr += 4;
3112 if (length > 0)
3114 each = parse_comp_unit (stash, length, info_ptr_unit,
3115 offset_size);
3116 if (!each)
3117 /* The dwarf information is damaged, don't trust it any
3118 more. */
3119 break;
3120 stash->info_ptr += length;
3122 if (stash->all_comp_units)
3123 stash->all_comp_units->prev_unit = each;
3124 else
3125 stash->last_comp_unit = each;
3127 each->next_unit = stash->all_comp_units;
3128 stash->all_comp_units = each;
3130 /* DW_AT_low_pc and DW_AT_high_pc are optional for
3131 compilation units. If we don't have them (i.e.,
3132 unit->high == 0), we need to consult the line info table
3133 to see if a compilation unit contains the given
3134 address. */
3135 if (do_line)
3136 found = (((symbol->flags & BSF_FUNCTION) == 0
3137 || each->arange.high == 0
3138 || comp_unit_contains_address (each, addr))
3139 && comp_unit_find_line (each, symbol, addr,
3140 filename_ptr,
3141 linenumber_ptr,
3142 stash));
3143 else
3144 found = ((each->arange.high == 0
3145 || comp_unit_contains_address (each, addr))
3146 && comp_unit_find_nearest_line (each, addr,
3147 filename_ptr,
3148 functionname_ptr,
3149 linenumber_ptr,
3150 stash));
3152 if ((bfd_vma) (stash->info_ptr - stash->sec_info_ptr)
3153 == stash->sec->size)
3155 stash->sec = find_debug_info (stash->bfd_ptr, stash->sec);
3156 stash->sec_info_ptr = stash->info_ptr;
3159 if (found)
3160 goto done;
3164 done:
3165 if ((abfd->flags & (EXEC_P | DYNAMIC)) == 0)
3166 unset_sections (stash);
3168 return found;
3171 /* The DWARF2 version of find_nearest_line.
3172 Return TRUE if the line is found without error. */
3174 bfd_boolean
3175 _bfd_dwarf2_find_nearest_line (bfd *abfd,
3176 asection *section,
3177 asymbol **symbols,
3178 bfd_vma offset,
3179 const char **filename_ptr,
3180 const char **functionname_ptr,
3181 unsigned int *linenumber_ptr,
3182 unsigned int addr_size,
3183 void **pinfo)
3185 return find_line (abfd, section, offset, NULL, symbols, filename_ptr,
3186 functionname_ptr, linenumber_ptr, addr_size,
3187 pinfo);
3190 /* The DWARF2 version of find_line.
3191 Return TRUE if the line is found without error. */
3193 bfd_boolean
3194 _bfd_dwarf2_find_line (bfd *abfd,
3195 asymbol **symbols,
3196 asymbol *symbol,
3197 const char **filename_ptr,
3198 unsigned int *linenumber_ptr,
3199 unsigned int addr_size,
3200 void **pinfo)
3202 return find_line (abfd, NULL, 0, symbol, symbols, filename_ptr,
3203 NULL, linenumber_ptr, addr_size,
3204 pinfo);
3207 bfd_boolean
3208 _bfd_dwarf2_find_inliner_info (bfd *abfd ATTRIBUTE_UNUSED,
3209 const char **filename_ptr,
3210 const char **functionname_ptr,
3211 unsigned int *linenumber_ptr,
3212 void **pinfo)
3214 struct dwarf2_debug *stash;
3216 stash = (struct dwarf2_debug *) *pinfo;
3217 if (stash)
3219 struct funcinfo *func = stash->inliner_chain;
3221 if (func && func->caller_func)
3223 *filename_ptr = func->caller_file;
3224 *functionname_ptr = func->caller_func->name;
3225 *linenumber_ptr = func->caller_line;
3226 stash->inliner_chain = func->caller_func;
3227 return TRUE;
3231 return FALSE;
3234 void
3235 _bfd_dwarf2_cleanup_debug_info (bfd *abfd)
3237 struct comp_unit *each;
3238 struct dwarf2_debug *stash;
3240 if (abfd == NULL || elf_tdata (abfd) == NULL)
3241 return;
3243 stash = (struct dwarf2_debug *) elf_tdata (abfd)->dwarf2_find_line_info;
3245 if (stash == NULL)
3246 return;
3248 for (each = stash->all_comp_units; each; each = each->next_unit)
3250 struct abbrev_info **abbrevs = each->abbrevs;
3251 struct funcinfo *function_table = each->function_table;
3252 struct varinfo *variable_table = each->variable_table;
3253 size_t i;
3255 for (i = 0; i < ABBREV_HASH_SIZE; i++)
3257 struct abbrev_info *abbrev = abbrevs[i];
3259 while (abbrev)
3261 free (abbrev->attrs);
3262 abbrev = abbrev->next;
3266 if (each->line_table)
3268 free (each->line_table->dirs);
3269 free (each->line_table->files);
3272 while (function_table)
3274 if (function_table->file)
3276 free (function_table->file);
3277 function_table->file = NULL;
3280 if (function_table->caller_file)
3282 free (function_table->caller_file);
3283 function_table->caller_file = NULL;
3285 function_table = function_table->prev_func;
3288 while (variable_table)
3290 if (variable_table->file)
3292 free (variable_table->file);
3293 variable_table->file = NULL;
3296 variable_table = variable_table->prev_var;
3300 if (stash->dwarf_abbrev_buffer)
3301 free (stash->dwarf_abbrev_buffer);
3302 if (stash->dwarf_line_buffer)
3303 free (stash->dwarf_line_buffer);
3304 if (stash->dwarf_str_buffer)
3305 free (stash->dwarf_str_buffer);
3306 if (stash->dwarf_ranges_buffer)
3307 free (stash->dwarf_ranges_buffer);
3308 if (stash->info_ptr_memory)
3309 free (stash->info_ptr_memory);