Merge to branch:
[binutils.git] / bfd / dwarf2.c
blobf9cff9b89c9e3a71708f32a30f923a828f6dbf8b
1 /* DWARF 2 support.
2 Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
3 2004, 2005 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 2 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, MA 02110-1301, USA. */
32 #include "bfd.h"
33 #include "sysdep.h"
34 #include "libiberty.h"
35 #include "libbfd.h"
36 #include "elf-bfd.h"
37 #include "elf/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 default_is_stmt;
48 int line_base;
49 unsigned char line_range;
50 unsigned char opcode_base;
51 unsigned char *standard_opcode_lengths;
54 /* Attributes have a name and a value. */
56 struct attribute
58 enum dwarf_attribute name;
59 enum dwarf_form form;
60 union
62 char *str;
63 struct dwarf_block *blk;
64 bfd_uint64_t val;
65 bfd_int64_t sval;
70 /* Blocks are a bunch of untyped bytes. */
71 struct dwarf_block
73 unsigned int size;
74 bfd_byte *data;
77 struct dwarf2_debug
79 /* A list of all previously read comp_units. */
80 struct comp_unit *all_comp_units;
82 /* The next unread compilation unit within the .debug_info section.
83 Zero indicates that the .debug_info section has not been loaded
84 into a buffer yet. */
85 bfd_byte *info_ptr;
87 /* Pointer to the end of the .debug_info section memory buffer. */
88 bfd_byte *info_ptr_end;
90 /* Pointer to the section and address of the beginning of the
91 section. */
92 asection *sec;
93 bfd_byte *sec_info_ptr;
95 /* Pointer to the symbol table. */
96 asymbol **syms;
98 /* Pointer to the .debug_abbrev section loaded into memory. */
99 bfd_byte *dwarf_abbrev_buffer;
101 /* Length of the loaded .debug_abbrev section. */
102 unsigned long dwarf_abbrev_size;
104 /* Buffer for decode_line_info. */
105 bfd_byte *dwarf_line_buffer;
107 /* Length of the loaded .debug_line section. */
108 unsigned long dwarf_line_size;
110 /* Pointer to the .debug_str section loaded into memory. */
111 bfd_byte *dwarf_str_buffer;
113 /* Length of the loaded .debug_str section. */
114 unsigned long dwarf_str_size;
116 /* Pointer to the .debug_ranges section loaded into memory. */
117 bfd_byte *dwarf_ranges_buffer;
119 /* Length of the loaded .debug_ranges section. */
120 unsigned long dwarf_ranges_size;
122 /* If the most recent call to bfd_find_nearest_line was given an
123 address in an inlined function, preserve a pointer into the
124 calling chain for subsequent calls to bfd_find_inliner_info to
125 use. */
126 struct funcinfo *inliner_chain;
129 struct arange
131 struct arange *next;
132 bfd_vma low;
133 bfd_vma high;
136 /* A minimal decoding of DWARF2 compilation units. We only decode
137 what's needed to get to the line number information. */
139 struct comp_unit
141 /* Chain the previously read compilation units. */
142 struct comp_unit *next_unit;
144 /* Keep the bfd convenient (for memory allocation). */
145 bfd *abfd;
147 /* The lowest and highest addresses contained in this compilation
148 unit as specified in the compilation unit header. */
149 struct arange arange;
151 /* The DW_AT_name attribute (for error messages). */
152 char *name;
154 /* The abbrev hash table. */
155 struct abbrev_info **abbrevs;
157 /* Note that an error was found by comp_unit_find_nearest_line. */
158 int error;
160 /* The DW_AT_comp_dir attribute. */
161 char *comp_dir;
163 /* TRUE if there is a line number table associated with this comp. unit. */
164 int stmtlist;
166 /* Pointer to the current comp_unit so that we can find a given entry
167 by its reference. */
168 bfd_byte *info_ptr_unit;
170 /* The offset into .debug_line of the line number table. */
171 unsigned long line_offset;
173 /* Pointer to the first child die for the comp unit. */
174 bfd_byte *first_child_die_ptr;
176 /* The end of the comp unit. */
177 bfd_byte *end_ptr;
179 /* The decoded line number, NULL if not yet decoded. */
180 struct line_info_table *line_table;
182 /* A list of the functions found in this comp. unit. */
183 struct funcinfo *function_table;
185 /* A list of the variables found in this comp. unit. */
186 struct varinfo *variable_table;
188 /* Pointer to dwarf2_debug structure. */
189 struct dwarf2_debug *stash;
191 /* Address size for this unit - from unit header. */
192 unsigned char addr_size;
194 /* Offset size for this unit - from unit header. */
195 unsigned char offset_size;
197 /* Base address for this unit - from DW_AT_low_pc attribute of
198 DW_TAG_compile_unit DIE */
199 bfd_vma base_address;
202 /* This data structure holds the information of an abbrev. */
203 struct abbrev_info
205 unsigned int number; /* Number identifying abbrev. */
206 enum dwarf_tag tag; /* DWARF tag. */
207 int has_children; /* Boolean. */
208 unsigned int num_attrs; /* Number of attributes. */
209 struct attr_abbrev *attrs; /* An array of attribute descriptions. */
210 struct abbrev_info *next; /* Next in chain. */
213 struct attr_abbrev
215 enum dwarf_attribute name;
216 enum dwarf_form form;
219 #ifndef ABBREV_HASH_SIZE
220 #define ABBREV_HASH_SIZE 121
221 #endif
222 #ifndef ATTR_ALLOC_CHUNK
223 #define ATTR_ALLOC_CHUNK 4
224 #endif
226 /* VERBATIM
227 The following function up to the END VERBATIM mark are
228 copied directly from dwarf2read.c. */
230 /* Read dwarf information from a buffer. */
232 static unsigned int
233 read_1_byte (bfd *abfd ATTRIBUTE_UNUSED, bfd_byte *buf)
235 return bfd_get_8 (abfd, buf);
238 static int
239 read_1_signed_byte (bfd *abfd ATTRIBUTE_UNUSED, bfd_byte *buf)
241 return bfd_get_signed_8 (abfd, buf);
244 static unsigned int
245 read_2_bytes (bfd *abfd, bfd_byte *buf)
247 return bfd_get_16 (abfd, buf);
250 static unsigned int
251 read_4_bytes (bfd *abfd, bfd_byte *buf)
253 return bfd_get_32 (abfd, buf);
256 static bfd_uint64_t
257 read_8_bytes (bfd *abfd, bfd_byte *buf)
259 return bfd_get_64 (abfd, buf);
262 static bfd_byte *
263 read_n_bytes (bfd *abfd ATTRIBUTE_UNUSED,
264 bfd_byte *buf,
265 unsigned int size ATTRIBUTE_UNUSED)
267 /* If the size of a host char is 8 bits, we can return a pointer
268 to the buffer, otherwise we have to copy the data to a buffer
269 allocated on the temporary obstack. */
270 return buf;
273 static char *
274 read_string (bfd *abfd ATTRIBUTE_UNUSED,
275 bfd_byte *buf,
276 unsigned int *bytes_read_ptr)
278 /* Return a pointer to the embedded string. */
279 char *str = (char *) buf;
280 if (*str == '\0')
282 *bytes_read_ptr = 1;
283 return NULL;
286 *bytes_read_ptr = strlen (str) + 1;
287 return str;
290 static char *
291 read_indirect_string (struct comp_unit* unit,
292 bfd_byte *buf,
293 unsigned int *bytes_read_ptr)
295 bfd_uint64_t offset;
296 struct dwarf2_debug *stash = unit->stash;
297 char *str;
299 if (unit->offset_size == 4)
300 offset = read_4_bytes (unit->abfd, buf);
301 else
302 offset = read_8_bytes (unit->abfd, buf);
303 *bytes_read_ptr = unit->offset_size;
305 if (! stash->dwarf_str_buffer)
307 asection *msec;
308 bfd *abfd = unit->abfd;
309 bfd_size_type sz;
311 msec = bfd_get_section_by_name (abfd, ".debug_str");
312 if (! msec)
314 (*_bfd_error_handler)
315 (_("Dwarf Error: Can't find .debug_str section."));
316 bfd_set_error (bfd_error_bad_value);
317 return NULL;
320 sz = msec->rawsize ? msec->rawsize : msec->size;
321 stash->dwarf_str_size = sz;
322 stash->dwarf_str_buffer = bfd_alloc (abfd, sz);
323 if (! stash->dwarf_str_buffer)
324 return NULL;
326 if (! bfd_get_section_contents (abfd, msec, stash->dwarf_str_buffer,
327 0, sz))
328 return NULL;
331 if (offset >= stash->dwarf_str_size)
333 (*_bfd_error_handler) (_("Dwarf Error: DW_FORM_strp offset (%lu) greater than or equal to .debug_str size (%lu)."),
334 (unsigned long) offset, stash->dwarf_str_size);
335 bfd_set_error (bfd_error_bad_value);
336 return NULL;
339 str = (char *) stash->dwarf_str_buffer + offset;
340 if (*str == '\0')
341 return NULL;
342 return str;
345 /* END VERBATIM */
347 static bfd_uint64_t
348 read_address (struct comp_unit *unit, bfd_byte *buf)
350 int signed_vma = get_elf_backend_data (unit->abfd)->sign_extend_vma;
352 if (signed_vma)
354 switch (unit->addr_size)
356 case 8:
357 return bfd_get_signed_64 (unit->abfd, buf);
358 case 4:
359 return bfd_get_signed_32 (unit->abfd, buf);
360 case 2:
361 return bfd_get_signed_16 (unit->abfd, buf);
362 default:
363 abort ();
366 else
368 switch (unit->addr_size)
370 case 8:
371 return bfd_get_64 (unit->abfd, buf);
372 case 4:
373 return bfd_get_32 (unit->abfd, buf);
374 case 2:
375 return bfd_get_16 (unit->abfd, buf);
376 default:
377 abort ();
382 /* Lookup an abbrev_info structure in the abbrev hash table. */
384 static struct abbrev_info *
385 lookup_abbrev (unsigned int number, struct abbrev_info **abbrevs)
387 unsigned int hash_number;
388 struct abbrev_info *abbrev;
390 hash_number = number % ABBREV_HASH_SIZE;
391 abbrev = abbrevs[hash_number];
393 while (abbrev)
395 if (abbrev->number == number)
396 return abbrev;
397 else
398 abbrev = abbrev->next;
401 return NULL;
404 /* In DWARF version 2, the description of the debugging information is
405 stored in a separate .debug_abbrev section. Before we read any
406 dies from a section we read in all abbreviations and install them
407 in a hash table. */
409 static struct abbrev_info**
410 read_abbrevs (bfd *abfd, bfd_uint64_t offset, struct dwarf2_debug *stash)
412 struct abbrev_info **abbrevs;
413 bfd_byte *abbrev_ptr;
414 struct abbrev_info *cur_abbrev;
415 unsigned int abbrev_number, bytes_read, abbrev_name;
416 unsigned int abbrev_form, hash_number;
417 bfd_size_type amt;
419 if (! stash->dwarf_abbrev_buffer)
421 asection *msec;
423 msec = bfd_get_section_by_name (abfd, ".debug_abbrev");
424 if (! msec)
426 (*_bfd_error_handler) (_("Dwarf Error: Can't find .debug_abbrev section."));
427 bfd_set_error (bfd_error_bad_value);
428 return 0;
431 stash->dwarf_abbrev_size = msec->size;
432 stash->dwarf_abbrev_buffer
433 = bfd_simple_get_relocated_section_contents (abfd, msec, NULL,
434 stash->syms);
435 if (! stash->dwarf_abbrev_buffer)
436 return 0;
439 if (offset >= stash->dwarf_abbrev_size)
441 (*_bfd_error_handler) (_("Dwarf Error: Abbrev offset (%lu) greater than or equal to .debug_abbrev size (%lu)."),
442 (unsigned long) offset, stash->dwarf_abbrev_size);
443 bfd_set_error (bfd_error_bad_value);
444 return 0;
447 amt = sizeof (struct abbrev_info*) * ABBREV_HASH_SIZE;
448 abbrevs = bfd_zalloc (abfd, amt);
450 abbrev_ptr = stash->dwarf_abbrev_buffer + offset;
451 abbrev_number = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
452 abbrev_ptr += bytes_read;
454 /* Loop until we reach an abbrev number of 0. */
455 while (abbrev_number)
457 amt = sizeof (struct abbrev_info);
458 cur_abbrev = bfd_zalloc (abfd, amt);
460 /* Read in abbrev header. */
461 cur_abbrev->number = abbrev_number;
462 cur_abbrev->tag = (enum dwarf_tag)
463 read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
464 abbrev_ptr += bytes_read;
465 cur_abbrev->has_children = read_1_byte (abfd, abbrev_ptr);
466 abbrev_ptr += 1;
468 /* Now read in declarations. */
469 abbrev_name = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
470 abbrev_ptr += bytes_read;
471 abbrev_form = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
472 abbrev_ptr += bytes_read;
474 while (abbrev_name)
476 if ((cur_abbrev->num_attrs % ATTR_ALLOC_CHUNK) == 0)
478 struct attr_abbrev *tmp;
480 amt = cur_abbrev->num_attrs + ATTR_ALLOC_CHUNK;
481 amt *= sizeof (struct attr_abbrev);
482 tmp = bfd_realloc (cur_abbrev->attrs, amt);
483 if (tmp == NULL)
485 size_t i;
487 for (i = 0; i < ABBREV_HASH_SIZE; i++)
489 struct abbrev_info *abbrev = abbrevs[i];
491 while (abbrev)
493 free (abbrev->attrs);
494 abbrev = abbrev->next;
497 return NULL;
499 cur_abbrev->attrs = tmp;
502 cur_abbrev->attrs[cur_abbrev->num_attrs].name
503 = (enum dwarf_attribute) abbrev_name;
504 cur_abbrev->attrs[cur_abbrev->num_attrs++].form
505 = (enum dwarf_form) abbrev_form;
506 abbrev_name = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
507 abbrev_ptr += bytes_read;
508 abbrev_form = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
509 abbrev_ptr += bytes_read;
512 hash_number = abbrev_number % ABBREV_HASH_SIZE;
513 cur_abbrev->next = abbrevs[hash_number];
514 abbrevs[hash_number] = cur_abbrev;
516 /* Get next abbreviation.
517 Under Irix6 the abbreviations for a compilation unit are not
518 always properly terminated with an abbrev number of 0.
519 Exit loop if we encounter an abbreviation which we have
520 already read (which means we are about to read the abbreviations
521 for the next compile unit) or if the end of the abbreviation
522 table is reached. */
523 if ((unsigned int) (abbrev_ptr - stash->dwarf_abbrev_buffer)
524 >= stash->dwarf_abbrev_size)
525 break;
526 abbrev_number = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
527 abbrev_ptr += bytes_read;
528 if (lookup_abbrev (abbrev_number,abbrevs) != NULL)
529 break;
532 return abbrevs;
535 /* Read an attribute value described by an attribute form. */
537 static bfd_byte *
538 read_attribute_value (struct attribute *attr,
539 unsigned form,
540 struct comp_unit *unit,
541 bfd_byte *info_ptr)
543 bfd *abfd = unit->abfd;
544 unsigned int bytes_read;
545 struct dwarf_block *blk;
546 bfd_size_type amt;
548 attr->form = (enum dwarf_form) form;
550 switch (form)
552 case DW_FORM_addr:
553 /* FIXME: DWARF3 draft says DW_FORM_ref_addr is offset_size. */
554 case DW_FORM_ref_addr:
555 attr->u.val = read_address (unit, info_ptr);
556 info_ptr += unit->addr_size;
557 break;
558 case DW_FORM_block2:
559 amt = sizeof (struct dwarf_block);
560 blk = bfd_alloc (abfd, amt);
561 blk->size = read_2_bytes (abfd, info_ptr);
562 info_ptr += 2;
563 blk->data = read_n_bytes (abfd, info_ptr, blk->size);
564 info_ptr += blk->size;
565 attr->u.blk = blk;
566 break;
567 case DW_FORM_block4:
568 amt = sizeof (struct dwarf_block);
569 blk = bfd_alloc (abfd, amt);
570 blk->size = read_4_bytes (abfd, info_ptr);
571 info_ptr += 4;
572 blk->data = read_n_bytes (abfd, info_ptr, blk->size);
573 info_ptr += blk->size;
574 attr->u.blk = blk;
575 break;
576 case DW_FORM_data2:
577 attr->u.val = read_2_bytes (abfd, info_ptr);
578 info_ptr += 2;
579 break;
580 case DW_FORM_data4:
581 attr->u.val = read_4_bytes (abfd, info_ptr);
582 info_ptr += 4;
583 break;
584 case DW_FORM_data8:
585 attr->u.val = read_8_bytes (abfd, info_ptr);
586 info_ptr += 8;
587 break;
588 case DW_FORM_string:
589 attr->u.str = read_string (abfd, info_ptr, &bytes_read);
590 info_ptr += bytes_read;
591 break;
592 case DW_FORM_strp:
593 attr->u.str = read_indirect_string (unit, info_ptr, &bytes_read);
594 info_ptr += bytes_read;
595 break;
596 case DW_FORM_block:
597 amt = sizeof (struct dwarf_block);
598 blk = bfd_alloc (abfd, amt);
599 blk->size = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
600 info_ptr += bytes_read;
601 blk->data = read_n_bytes (abfd, info_ptr, blk->size);
602 info_ptr += blk->size;
603 attr->u.blk = blk;
604 break;
605 case DW_FORM_block1:
606 amt = sizeof (struct dwarf_block);
607 blk = bfd_alloc (abfd, amt);
608 blk->size = read_1_byte (abfd, info_ptr);
609 info_ptr += 1;
610 blk->data = read_n_bytes (abfd, info_ptr, blk->size);
611 info_ptr += blk->size;
612 attr->u.blk = blk;
613 break;
614 case DW_FORM_data1:
615 attr->u.val = read_1_byte (abfd, info_ptr);
616 info_ptr += 1;
617 break;
618 case DW_FORM_flag:
619 attr->u.val = read_1_byte (abfd, info_ptr);
620 info_ptr += 1;
621 break;
622 case DW_FORM_sdata:
623 attr->u.sval = read_signed_leb128 (abfd, info_ptr, &bytes_read);
624 info_ptr += bytes_read;
625 break;
626 case DW_FORM_udata:
627 attr->u.val = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
628 info_ptr += bytes_read;
629 break;
630 case DW_FORM_ref1:
631 attr->u.val = read_1_byte (abfd, info_ptr);
632 info_ptr += 1;
633 break;
634 case DW_FORM_ref2:
635 attr->u.val = read_2_bytes (abfd, info_ptr);
636 info_ptr += 2;
637 break;
638 case DW_FORM_ref4:
639 attr->u.val = read_4_bytes (abfd, info_ptr);
640 info_ptr += 4;
641 break;
642 case DW_FORM_ref8:
643 attr->u.val = read_8_bytes (abfd, info_ptr);
644 info_ptr += 8;
645 break;
646 case DW_FORM_ref_udata:
647 attr->u.val = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
648 info_ptr += bytes_read;
649 break;
650 case DW_FORM_indirect:
651 form = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
652 info_ptr += bytes_read;
653 info_ptr = read_attribute_value (attr, form, unit, info_ptr);
654 break;
655 default:
656 (*_bfd_error_handler) (_("Dwarf Error: Invalid or unhandled FORM value: %u."),
657 form);
658 bfd_set_error (bfd_error_bad_value);
660 return info_ptr;
663 /* Read an attribute described by an abbreviated attribute. */
665 static bfd_byte *
666 read_attribute (struct attribute *attr,
667 struct attr_abbrev *abbrev,
668 struct comp_unit *unit,
669 bfd_byte *info_ptr)
671 attr->name = abbrev->name;
672 info_ptr = read_attribute_value (attr, abbrev->form, unit, info_ptr);
673 return info_ptr;
676 /* Source line information table routines. */
678 #define FILE_ALLOC_CHUNK 5
679 #define DIR_ALLOC_CHUNK 5
681 struct line_info
683 struct line_info* prev_line;
684 bfd_vma address;
685 char *filename;
686 unsigned int line;
687 unsigned int column;
688 int end_sequence; /* End of (sequential) code sequence. */
691 struct fileinfo
693 char *name;
694 unsigned int dir;
695 unsigned int time;
696 unsigned int size;
699 struct line_info_table
701 bfd* abfd;
702 unsigned int num_files;
703 unsigned int num_dirs;
704 char *comp_dir;
705 char **dirs;
706 struct fileinfo* files;
707 struct line_info* last_line; /* largest VMA */
708 struct line_info* lcl_head; /* local head; used in 'add_line_info' */
711 /* Remember some information about each function. If the function is
712 inlined (DW_TAG_inlined_subroutine) it may have two additional
713 attributes, DW_AT_call_file and DW_AT_call_line, which specify the
714 source code location where this function was inlined. */
716 struct funcinfo
718 struct funcinfo *prev_func; /* Pointer to previous function in list of all functions */
719 struct funcinfo *caller_func; /* Pointer to function one scope higher */
720 char *caller_file; /* Source location file name where caller_func inlines this func */
721 int caller_line; /* Source location line number where caller_func inlines this func */
722 char *file; /* Source location file name */
723 int line; /* Source location line number */
724 int tag;
725 char *name;
726 struct arange arange;
727 asection *sec; /* Where the symbol is defined */
730 struct varinfo
732 /* Pointer to previous variable in list of all variables */
733 struct varinfo *prev_var;
734 /* Source location file name */
735 char *file;
736 /* Source location line number */
737 int line;
738 int tag;
739 char *name;
740 bfd_vma addr;
741 /* Where the symbol is defined */
742 asection *sec;
743 /* Is this a stack variable? */
744 unsigned int stack: 1;
747 /* Adds a new entry to the line_info list in the line_info_table, ensuring
748 that the list is sorted. Note that the line_info list is sorted from
749 highest to lowest VMA (with possible duplicates); that is,
750 line_info->prev_line always accesses an equal or smaller VMA. */
752 static void
753 add_line_info (struct line_info_table *table,
754 bfd_vma address,
755 char *filename,
756 unsigned int line,
757 unsigned int column,
758 int end_sequence)
760 bfd_size_type amt = sizeof (struct line_info);
761 struct line_info* info = bfd_alloc (table->abfd, amt);
763 /* Find the correct location for 'info'. Normally we will receive
764 new line_info data 1) in order and 2) with increasing VMAs.
765 However some compilers break the rules (cf. decode_line_info) and
766 so we include some heuristics for quickly finding the correct
767 location for 'info'. In particular, these heuristics optimize for
768 the common case in which the VMA sequence that we receive is a
769 list of locally sorted VMAs such as
770 p...z a...j (where a < j < p < z)
772 Note: table->lcl_head is used to head an *actual* or *possible*
773 sequence within the list (such as a...j) that is not directly
774 headed by table->last_line
776 Note: we may receive duplicate entries from 'decode_line_info'. */
778 while (1)
779 if (!table->last_line
780 || address >= table->last_line->address)
782 /* Normal case: add 'info' to the beginning of the list */
783 info->prev_line = table->last_line;
784 table->last_line = info;
786 /* lcl_head: initialize to head a *possible* sequence at the end. */
787 if (!table->lcl_head)
788 table->lcl_head = info;
789 break;
791 else if (!table->lcl_head->prev_line
792 && table->lcl_head->address > address)
794 /* Abnormal but easy: lcl_head is 1) at the *end* of the line
795 list and 2) the head of 'info'. */
796 info->prev_line = NULL;
797 table->lcl_head->prev_line = info;
798 break;
800 else if (table->lcl_head->prev_line
801 && table->lcl_head->address > address
802 && address >= table->lcl_head->prev_line->address)
804 /* Abnormal but easy: lcl_head is 1) in the *middle* of the line
805 list and 2) the head of 'info'. */
806 info->prev_line = table->lcl_head->prev_line;
807 table->lcl_head->prev_line = info;
808 break;
810 else
812 /* Abnormal and hard: Neither 'last_line' nor 'lcl_head' are valid
813 heads for 'info'. Reset 'lcl_head' and repeat. */
814 struct line_info* li2 = table->last_line; /* always non-NULL */
815 struct line_info* li1 = li2->prev_line;
817 while (li1)
819 if (li2->address > address && address >= li1->address)
820 break;
822 li2 = li1; /* always non-NULL */
823 li1 = li1->prev_line;
825 table->lcl_head = li2;
828 /* Set member data of 'info'. */
829 info->address = address;
830 info->line = line;
831 info->column = column;
832 info->end_sequence = end_sequence;
834 if (filename && filename[0])
836 info->filename = bfd_alloc (table->abfd, strlen (filename) + 1);
837 if (info->filename)
838 strcpy (info->filename, filename);
840 else
841 info->filename = NULL;
844 /* Extract a fully qualified filename from a line info table.
845 The returned string has been malloc'ed and it is the caller's
846 responsibility to free it. */
848 static char *
849 concat_filename (struct line_info_table *table, unsigned int file)
851 char *filename;
853 if (file - 1 >= table->num_files)
855 (*_bfd_error_handler)
856 (_("Dwarf Error: mangled line number section (bad file number)."));
857 return strdup ("<unknown>");
860 filename = table->files[file - 1].name;
862 if (! IS_ABSOLUTE_PATH (filename))
864 char *dirname = (table->files[file - 1].dir
865 ? table->dirs[table->files[file - 1].dir - 1]
866 : table->comp_dir);
868 /* Not all tools set DW_AT_comp_dir, so dirname may be unknown.
869 The best we can do is return the filename part. */
870 if (dirname != NULL)
872 unsigned int len = strlen (dirname) + strlen (filename) + 2;
873 char * name;
875 name = bfd_malloc (len);
876 if (name)
877 sprintf (name, "%s/%s", dirname, filename);
878 return name;
882 return strdup (filename);
885 static void
886 arange_add (bfd *abfd, struct arange *first_arange, bfd_vma low_pc, bfd_vma high_pc)
888 struct arange *arange;
890 /* If the first arange is empty, use it. */
891 if (first_arange->high == 0)
893 first_arange->low = low_pc;
894 first_arange->high = high_pc;
895 return;
898 /* Next see if we can cheaply extend an existing range. */
899 arange = first_arange;
902 if (low_pc == arange->high)
904 arange->high = high_pc;
905 return;
907 if (high_pc == arange->low)
909 arange->low = low_pc;
910 return;
912 arange = arange->next;
914 while (arange);
916 /* Need to allocate a new arange and insert it into the arange list.
917 Order isn't significant, so just insert after the first arange. */
918 arange = bfd_zalloc (abfd, sizeof (*arange));
919 arange->low = low_pc;
920 arange->high = high_pc;
921 arange->next = first_arange->next;
922 first_arange->next = arange;
925 /* Decode the line number information for UNIT. */
927 static struct line_info_table*
928 decode_line_info (struct comp_unit *unit, struct dwarf2_debug *stash)
930 bfd *abfd = unit->abfd;
931 struct line_info_table* table;
932 bfd_byte *line_ptr;
933 bfd_byte *line_end;
934 struct line_head lh;
935 unsigned int i, bytes_read, offset_size;
936 char *cur_file, *cur_dir;
937 unsigned char op_code, extended_op, adj_opcode;
938 bfd_size_type amt;
940 if (! stash->dwarf_line_buffer)
942 asection *msec;
944 msec = bfd_get_section_by_name (abfd, ".debug_line");
945 if (! msec)
947 (*_bfd_error_handler) (_("Dwarf Error: Can't find .debug_line section."));
948 bfd_set_error (bfd_error_bad_value);
949 return 0;
952 stash->dwarf_line_size = msec->size;
953 stash->dwarf_line_buffer
954 = bfd_simple_get_relocated_section_contents (abfd, msec, NULL,
955 stash->syms);
956 if (! stash->dwarf_line_buffer)
957 return 0;
960 /* It is possible to get a bad value for the line_offset. Validate
961 it here so that we won't get a segfault below. */
962 if (unit->line_offset >= stash->dwarf_line_size)
964 (*_bfd_error_handler) (_("Dwarf Error: Line offset (%lu) greater than or equal to .debug_line size (%lu)."),
965 unit->line_offset, stash->dwarf_line_size);
966 bfd_set_error (bfd_error_bad_value);
967 return 0;
970 amt = sizeof (struct line_info_table);
971 table = bfd_alloc (abfd, amt);
972 table->abfd = abfd;
973 table->comp_dir = unit->comp_dir;
975 table->num_files = 0;
976 table->files = NULL;
978 table->num_dirs = 0;
979 table->dirs = NULL;
981 table->files = NULL;
982 table->last_line = NULL;
983 table->lcl_head = NULL;
985 line_ptr = stash->dwarf_line_buffer + unit->line_offset;
987 /* Read in the prologue. */
988 lh.total_length = read_4_bytes (abfd, line_ptr);
989 line_ptr += 4;
990 offset_size = 4;
991 if (lh.total_length == 0xffffffff)
993 lh.total_length = read_8_bytes (abfd, line_ptr);
994 line_ptr += 8;
995 offset_size = 8;
997 else if (lh.total_length == 0 && unit->addr_size == 8)
999 /* Handle (non-standard) 64-bit DWARF2 formats. */
1000 lh.total_length = read_4_bytes (abfd, line_ptr);
1001 line_ptr += 4;
1002 offset_size = 8;
1004 line_end = line_ptr + lh.total_length;
1005 lh.version = read_2_bytes (abfd, line_ptr);
1006 line_ptr += 2;
1007 if (offset_size == 4)
1008 lh.prologue_length = read_4_bytes (abfd, line_ptr);
1009 else
1010 lh.prologue_length = read_8_bytes (abfd, line_ptr);
1011 line_ptr += offset_size;
1012 lh.minimum_instruction_length = read_1_byte (abfd, line_ptr);
1013 line_ptr += 1;
1014 lh.default_is_stmt = read_1_byte (abfd, line_ptr);
1015 line_ptr += 1;
1016 lh.line_base = read_1_signed_byte (abfd, line_ptr);
1017 line_ptr += 1;
1018 lh.line_range = read_1_byte (abfd, line_ptr);
1019 line_ptr += 1;
1020 lh.opcode_base = read_1_byte (abfd, line_ptr);
1021 line_ptr += 1;
1022 amt = lh.opcode_base * sizeof (unsigned char);
1023 lh.standard_opcode_lengths = bfd_alloc (abfd, amt);
1025 lh.standard_opcode_lengths[0] = 1;
1027 for (i = 1; i < lh.opcode_base; ++i)
1029 lh.standard_opcode_lengths[i] = read_1_byte (abfd, line_ptr);
1030 line_ptr += 1;
1033 /* Read directory table. */
1034 while ((cur_dir = read_string (abfd, line_ptr, &bytes_read)) != NULL)
1036 line_ptr += bytes_read;
1038 if ((table->num_dirs % DIR_ALLOC_CHUNK) == 0)
1040 char **tmp;
1042 amt = table->num_dirs + DIR_ALLOC_CHUNK;
1043 amt *= sizeof (char *);
1045 tmp = bfd_realloc (table->dirs, amt);
1046 if (tmp == NULL)
1048 free (table->dirs);
1049 return NULL;
1051 table->dirs = tmp;
1054 table->dirs[table->num_dirs++] = cur_dir;
1057 line_ptr += bytes_read;
1059 /* Read file name table. */
1060 while ((cur_file = read_string (abfd, line_ptr, &bytes_read)) != NULL)
1062 line_ptr += bytes_read;
1064 if ((table->num_files % FILE_ALLOC_CHUNK) == 0)
1066 struct fileinfo *tmp;
1068 amt = table->num_files + FILE_ALLOC_CHUNK;
1069 amt *= sizeof (struct fileinfo);
1071 tmp = bfd_realloc (table->files, amt);
1072 if (tmp == NULL)
1074 free (table->files);
1075 free (table->dirs);
1076 return NULL;
1078 table->files = tmp;
1081 table->files[table->num_files].name = cur_file;
1082 table->files[table->num_files].dir =
1083 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1084 line_ptr += bytes_read;
1085 table->files[table->num_files].time =
1086 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1087 line_ptr += bytes_read;
1088 table->files[table->num_files].size =
1089 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1090 line_ptr += bytes_read;
1091 table->num_files++;
1094 line_ptr += bytes_read;
1096 /* Read the statement sequences until there's nothing left. */
1097 while (line_ptr < line_end)
1099 /* State machine registers. */
1100 bfd_vma address = 0;
1101 char * filename = table->num_files ? concat_filename (table, 1) : NULL;
1102 unsigned int line = 1;
1103 unsigned int column = 0;
1104 int is_stmt = lh.default_is_stmt;
1105 int basic_block = 0;
1106 int end_sequence = 0;
1107 /* eraxxon@alumni.rice.edu: Against the DWARF2 specs, some
1108 compilers generate address sequences that are wildly out of
1109 order using DW_LNE_set_address (e.g. Intel C++ 6.0 compiler
1110 for ia64-Linux). Thus, to determine the low and high
1111 address, we must compare on every DW_LNS_copy, etc. */
1112 bfd_vma low_pc = (bfd_vma) -1;
1113 bfd_vma high_pc = 0;
1115 /* Decode the table. */
1116 while (! end_sequence)
1118 op_code = read_1_byte (abfd, line_ptr);
1119 line_ptr += 1;
1121 if (op_code >= lh.opcode_base)
1123 /* Special operand. */
1124 adj_opcode = op_code - lh.opcode_base;
1125 address += (adj_opcode / lh.line_range)
1126 * lh.minimum_instruction_length;
1127 line += lh.line_base + (adj_opcode % lh.line_range);
1128 /* Append row to matrix using current values. */
1129 add_line_info (table, address, filename, line, column, 0);
1130 basic_block = 1;
1131 if (address < low_pc)
1132 low_pc = address;
1133 if (address > high_pc)
1134 high_pc = address;
1136 else switch (op_code)
1138 case DW_LNS_extended_op:
1139 /* Ignore length. */
1140 line_ptr += 1;
1141 extended_op = read_1_byte (abfd, line_ptr);
1142 line_ptr += 1;
1144 switch (extended_op)
1146 case DW_LNE_end_sequence:
1147 end_sequence = 1;
1148 add_line_info (table, address, filename, line, column,
1149 end_sequence);
1150 if (address < low_pc)
1151 low_pc = address;
1152 if (address > high_pc)
1153 high_pc = address;
1154 arange_add (unit->abfd, &unit->arange, low_pc, high_pc);
1155 break;
1156 case DW_LNE_set_address:
1157 address = read_address (unit, line_ptr);
1158 line_ptr += unit->addr_size;
1159 break;
1160 case DW_LNE_define_file:
1161 cur_file = read_string (abfd, line_ptr, &bytes_read);
1162 line_ptr += bytes_read;
1163 if ((table->num_files % FILE_ALLOC_CHUNK) == 0)
1165 struct fileinfo *tmp;
1167 amt = table->num_files + FILE_ALLOC_CHUNK;
1168 amt *= sizeof (struct fileinfo);
1169 tmp = bfd_realloc (table->files, amt);
1170 if (tmp == NULL)
1172 free (table->files);
1173 free (table->dirs);
1174 free (filename);
1175 return NULL;
1177 table->files = tmp;
1179 table->files[table->num_files].name = cur_file;
1180 table->files[table->num_files].dir =
1181 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1182 line_ptr += bytes_read;
1183 table->files[table->num_files].time =
1184 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1185 line_ptr += bytes_read;
1186 table->files[table->num_files].size =
1187 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1188 line_ptr += bytes_read;
1189 table->num_files++;
1190 break;
1191 default:
1192 (*_bfd_error_handler) (_("Dwarf Error: mangled line number section."));
1193 bfd_set_error (bfd_error_bad_value);
1194 free (filename);
1195 free (table->files);
1196 free (table->dirs);
1197 return NULL;
1199 break;
1200 case DW_LNS_copy:
1201 add_line_info (table, address, filename, line, column, 0);
1202 basic_block = 0;
1203 if (address < low_pc)
1204 low_pc = address;
1205 if (address > high_pc)
1206 high_pc = address;
1207 break;
1208 case DW_LNS_advance_pc:
1209 address += lh.minimum_instruction_length
1210 * read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1211 line_ptr += bytes_read;
1212 break;
1213 case DW_LNS_advance_line:
1214 line += read_signed_leb128 (abfd, line_ptr, &bytes_read);
1215 line_ptr += bytes_read;
1216 break;
1217 case DW_LNS_set_file:
1219 unsigned int file;
1221 /* The file and directory tables are 0
1222 based, the references are 1 based. */
1223 file = read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1224 line_ptr += bytes_read;
1225 if (filename)
1226 free (filename);
1227 filename = concat_filename (table, file);
1228 break;
1230 case DW_LNS_set_column:
1231 column = read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1232 line_ptr += bytes_read;
1233 break;
1234 case DW_LNS_negate_stmt:
1235 is_stmt = (!is_stmt);
1236 break;
1237 case DW_LNS_set_basic_block:
1238 basic_block = 1;
1239 break;
1240 case DW_LNS_const_add_pc:
1241 address += lh.minimum_instruction_length
1242 * ((255 - lh.opcode_base) / lh.line_range);
1243 break;
1244 case DW_LNS_fixed_advance_pc:
1245 address += read_2_bytes (abfd, line_ptr);
1246 line_ptr += 2;
1247 break;
1248 default:
1250 int i;
1252 /* Unknown standard opcode, ignore it. */
1253 for (i = 0; i < lh.standard_opcode_lengths[op_code]; i++)
1255 (void) read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1256 line_ptr += bytes_read;
1262 if (filename)
1263 free (filename);
1266 return table;
1269 /* If ADDR is within TABLE set the output parameters and return TRUE,
1270 otherwise return FALSE. The output parameters, FILENAME_PTR and
1271 LINENUMBER_PTR, are pointers to the objects to be filled in. */
1273 static bfd_boolean
1274 lookup_address_in_line_info_table (struct line_info_table *table,
1275 bfd_vma addr,
1276 struct funcinfo *function,
1277 const char **filename_ptr,
1278 unsigned int *linenumber_ptr)
1280 /* Note: table->last_line should be a descendingly sorted list. */
1281 struct line_info* next_line = table->last_line;
1282 struct line_info* each_line = NULL;
1283 *filename_ptr = NULL;
1285 if (!next_line)
1286 return FALSE;
1288 each_line = next_line->prev_line;
1290 /* Check for large addresses */
1291 if (addr > next_line->address)
1292 each_line = NULL; /* ensure we skip over the normal case */
1294 /* Normal case: search the list; save */
1295 while (each_line && next_line)
1297 /* If we have an address match, save this info. This allows us
1298 to return as good as results as possible for strange debugging
1299 info. */
1300 bfd_boolean addr_match = FALSE;
1301 if (each_line->address <= addr && addr < next_line->address)
1303 addr_match = TRUE;
1305 /* If this line appears to span functions, and addr is in the
1306 later function, return the first line of that function instead
1307 of the last line of the earlier one. This check is for GCC
1308 2.95, which emits the first line number for a function late. */
1310 if (function != NULL)
1312 bfd_vma lowest_pc;
1313 struct arange *arange;
1315 /* Find the lowest address in the function's range list */
1316 lowest_pc = function->arange.low;
1317 for (arange = &function->arange;
1318 arange;
1319 arange = arange->next)
1321 if (function->arange.low < lowest_pc)
1322 lowest_pc = function->arange.low;
1324 /* Check for spanning function and set outgoing line info */
1325 if (addr >= lowest_pc
1326 && each_line->address < lowest_pc
1327 && next_line->address > lowest_pc)
1329 *filename_ptr = next_line->filename;
1330 *linenumber_ptr = next_line->line;
1332 else
1334 *filename_ptr = each_line->filename;
1335 *linenumber_ptr = each_line->line;
1338 else
1340 *filename_ptr = each_line->filename;
1341 *linenumber_ptr = each_line->line;
1345 if (addr_match && !each_line->end_sequence)
1346 return TRUE; /* we have definitely found what we want */
1348 next_line = each_line;
1349 each_line = each_line->prev_line;
1352 /* At this point each_line is NULL but next_line is not. If we found
1353 a candidate end-of-sequence point in the loop above, we can return
1354 that (compatibility with a bug in the Intel compiler); otherwise,
1355 assuming that we found the containing function for this address in
1356 this compilation unit, return the first line we have a number for
1357 (compatibility with GCC 2.95). */
1358 if (*filename_ptr == NULL && function != NULL)
1360 *filename_ptr = next_line->filename;
1361 *linenumber_ptr = next_line->line;
1362 return TRUE;
1365 return FALSE;
1368 /* Read in the .debug_ranges section for future reference */
1370 static bfd_boolean
1371 read_debug_ranges (struct comp_unit *unit)
1373 struct dwarf2_debug *stash = unit->stash;
1374 if (! stash->dwarf_ranges_buffer)
1376 bfd *abfd = unit->abfd;
1377 asection *msec;
1379 msec = bfd_get_section_by_name (abfd, ".debug_ranges");
1380 if (! msec)
1382 (*_bfd_error_handler) (_("Dwarf Error: Can't find .debug_ranges section."));
1383 bfd_set_error (bfd_error_bad_value);
1384 return FALSE;
1387 stash->dwarf_ranges_size = msec->size;
1388 stash->dwarf_ranges_buffer
1389 = bfd_simple_get_relocated_section_contents (abfd, msec, NULL,
1390 stash->syms);
1391 if (! stash->dwarf_ranges_buffer)
1392 return FALSE;
1394 return TRUE;
1397 /* Function table functions. */
1399 /* If ADDR is within TABLE, set FUNCTIONNAME_PTR, and return TRUE.
1400 Note that we need to find the function that has the smallest
1401 range that contains ADDR, to handle inlined functions without
1402 depending upon them being ordered in TABLE by increasing range. */
1404 static bfd_boolean
1405 lookup_address_in_function_table (struct comp_unit *unit,
1406 bfd_vma addr,
1407 struct funcinfo **function_ptr,
1408 const char **functionname_ptr)
1410 struct funcinfo* each_func;
1411 struct funcinfo* best_fit = NULL;
1412 struct arange *arange;
1414 for (each_func = unit->function_table;
1415 each_func;
1416 each_func = each_func->prev_func)
1418 for (arange = &each_func->arange;
1419 arange;
1420 arange = arange->next)
1422 if (addr >= arange->low && addr < arange->high)
1424 if (!best_fit ||
1425 ((arange->high - arange->low) < (best_fit->arange.high - best_fit->arange.low)))
1426 best_fit = each_func;
1431 if (best_fit)
1433 *functionname_ptr = best_fit->name;
1434 *function_ptr = best_fit;
1435 return TRUE;
1437 else
1439 return FALSE;
1443 /* If SYM at ADDR is within function table of UNIT, set FILENAME_PTR
1444 and LINENUMBER_PTR, and return TRUE. */
1446 static bfd_boolean
1447 lookup_symbol_in_function_table (struct comp_unit *unit,
1448 asymbol *sym,
1449 bfd_vma addr,
1450 const char **filename_ptr,
1451 unsigned int *linenumber_ptr)
1453 struct funcinfo* each_func;
1454 struct funcinfo* best_fit = NULL;
1455 struct arange *arange;
1456 const char *name = bfd_asymbol_name (sym);
1457 asection *sec = bfd_get_section (sym);
1459 for (each_func = unit->function_table;
1460 each_func;
1461 each_func = each_func->prev_func)
1463 for (arange = &each_func->arange;
1464 arange;
1465 arange = arange->next)
1467 if ((!each_func->sec || each_func->sec == sec)
1468 && addr >= arange->low
1469 && addr < arange->high
1470 && each_func->name
1471 && strcmp (name, each_func->name) == 0
1472 && (!best_fit
1473 || ((arange->high - arange->low)
1474 < (best_fit->arange.high - best_fit->arange.low))))
1475 best_fit = each_func;
1479 if (best_fit)
1481 best_fit->sec = sec;
1482 *filename_ptr = best_fit->file;
1483 *linenumber_ptr = best_fit->line;
1484 return TRUE;
1486 else
1487 return FALSE;
1490 /* Variable table functions. */
1492 /* If SYM is within variable table of UNIT, set FILENAME_PTR and
1493 LINENUMBER_PTR, and return TRUE. */
1495 static bfd_boolean
1496 lookup_symbol_in_variable_table (struct comp_unit *unit,
1497 asymbol *sym,
1498 bfd_vma addr,
1499 const char **filename_ptr,
1500 unsigned int *linenumber_ptr)
1502 const char *name = bfd_asymbol_name (sym);
1503 asection *sec = bfd_get_section (sym);
1504 struct varinfo* each;
1506 for (each = unit->variable_table; each; each = each->prev_var)
1507 if (each->stack == 0
1508 && each->file != NULL
1509 && each->name != NULL
1510 && each->addr == addr
1511 && (!each->sec || each->sec == sec)
1512 && strcmp (name, each->name) == 0)
1513 break;
1515 if (each)
1517 each->sec = sec;
1518 *filename_ptr = each->file;
1519 *linenumber_ptr = each->line;
1520 return TRUE;
1522 else
1523 return FALSE;
1526 static char *
1527 find_abstract_instance_name (struct comp_unit *unit, bfd_uint64_t die_ref)
1529 bfd *abfd = unit->abfd;
1530 bfd_byte *info_ptr;
1531 unsigned int abbrev_number, bytes_read, i;
1532 struct abbrev_info *abbrev;
1533 struct attribute attr;
1534 char *name = 0;
1536 info_ptr = unit->info_ptr_unit + die_ref;
1537 abbrev_number = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
1538 info_ptr += bytes_read;
1540 if (abbrev_number)
1542 abbrev = lookup_abbrev (abbrev_number, unit->abbrevs);
1543 if (! abbrev)
1545 (*_bfd_error_handler) (_("Dwarf Error: Could not find abbrev number %u."),
1546 abbrev_number);
1547 bfd_set_error (bfd_error_bad_value);
1549 else
1551 for (i = 0; i < abbrev->num_attrs; ++i)
1553 info_ptr = read_attribute (&attr, &abbrev->attrs[i], unit, info_ptr);
1554 switch (attr.name)
1556 case DW_AT_name:
1557 /* Prefer DW_AT_MIPS_linkage_name over DW_AT_name. */
1558 if (name == NULL)
1559 name = attr.u.str;
1560 break;
1561 case DW_AT_specification:
1562 name = find_abstract_instance_name (unit, attr.u.val);
1563 break;
1564 case DW_AT_MIPS_linkage_name:
1565 name = attr.u.str;
1566 break;
1567 default:
1568 break;
1573 return (name);
1576 static void
1577 read_rangelist (struct comp_unit *unit, struct arange *arange, bfd_uint64_t offset)
1579 bfd_byte *ranges_ptr;
1580 bfd_vma base_address = unit->base_address;
1582 if (! unit->stash->dwarf_ranges_buffer)
1584 if (! read_debug_ranges (unit))
1585 return;
1587 ranges_ptr = unit->stash->dwarf_ranges_buffer + offset;
1589 for (;;)
1591 bfd_vma low_pc;
1592 bfd_vma high_pc;
1594 if (unit->addr_size == 4)
1596 low_pc = read_4_bytes (unit->abfd, ranges_ptr);
1597 ranges_ptr += 4;
1598 high_pc = read_4_bytes (unit->abfd, ranges_ptr);
1599 ranges_ptr += 4;
1601 else
1603 low_pc = read_8_bytes (unit->abfd, ranges_ptr);
1604 ranges_ptr += 8;
1605 high_pc = read_8_bytes (unit->abfd, ranges_ptr);
1606 ranges_ptr += 8;
1608 if (low_pc == 0 && high_pc == 0)
1609 break;
1610 if (low_pc == -1UL && high_pc != -1UL)
1611 base_address = high_pc;
1612 else
1613 arange_add (unit->abfd, arange, base_address + low_pc, base_address + high_pc);
1617 /* DWARF2 Compilation unit functions. */
1619 /* Scan over each die in a comp. unit looking for functions to add
1620 to the function table and variables to the variable table. */
1622 static bfd_boolean
1623 scan_unit_for_symbols (struct comp_unit *unit)
1625 bfd *abfd = unit->abfd;
1626 bfd_byte *info_ptr = unit->first_child_die_ptr;
1627 int nesting_level = 1;
1628 struct funcinfo **nested_funcs;
1629 int nested_funcs_size;
1631 /* Maintain a stack of in-scope functions and inlined functions, which we
1632 can use to set the caller_func field. */
1633 nested_funcs_size = 32;
1634 nested_funcs = bfd_malloc (nested_funcs_size * sizeof (struct funcinfo *));
1635 if (nested_funcs == NULL)
1636 return FALSE;
1637 nested_funcs[nesting_level] = 0;
1639 while (nesting_level)
1641 unsigned int abbrev_number, bytes_read, i;
1642 struct abbrev_info *abbrev;
1643 struct attribute attr;
1644 struct funcinfo *func;
1645 struct varinfo *var;
1646 bfd_vma low_pc = 0;
1647 bfd_vma high_pc = 0;
1649 abbrev_number = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
1650 info_ptr += bytes_read;
1652 if (! abbrev_number)
1654 nesting_level--;
1655 continue;
1658 abbrev = lookup_abbrev (abbrev_number,unit->abbrevs);
1659 if (! abbrev)
1661 (*_bfd_error_handler) (_("Dwarf Error: Could not find abbrev number %u."),
1662 abbrev_number);
1663 bfd_set_error (bfd_error_bad_value);
1664 free (nested_funcs);
1665 return FALSE;
1668 var = NULL;
1669 if (abbrev->tag == DW_TAG_subprogram
1670 || abbrev->tag == DW_TAG_entry_point
1671 || abbrev->tag == DW_TAG_inlined_subroutine)
1673 bfd_size_type amt = sizeof (struct funcinfo);
1674 func = bfd_zalloc (abfd, amt);
1675 func->tag = abbrev->tag;
1676 func->prev_func = unit->function_table;
1677 unit->function_table = func;
1679 if (func->tag == DW_TAG_inlined_subroutine)
1680 for (i = nesting_level - 1; i >= 1; i--)
1681 if (nested_funcs[i])
1683 func->caller_func = nested_funcs[i];
1684 break;
1686 nested_funcs[nesting_level] = func;
1688 else
1690 func = NULL;
1691 if (abbrev->tag == DW_TAG_variable)
1693 bfd_size_type amt = sizeof (struct varinfo);
1694 var = bfd_zalloc (abfd, amt);
1695 var->tag = abbrev->tag;
1696 var->stack = 1;
1697 var->prev_var = unit->variable_table;
1698 unit->variable_table = var;
1701 /* No inline function in scope at this nesting level. */
1702 nested_funcs[nesting_level] = 0;
1705 for (i = 0; i < abbrev->num_attrs; ++i)
1707 info_ptr = read_attribute (&attr, &abbrev->attrs[i], unit, info_ptr);
1709 if (func)
1711 switch (attr.name)
1713 case DW_AT_call_file:
1714 func->caller_file = concat_filename (unit->line_table, attr.u.val);
1715 break;
1717 case DW_AT_call_line:
1718 func->caller_line = attr.u.val;
1719 break;
1721 case DW_AT_abstract_origin:
1722 func->name = find_abstract_instance_name (unit, attr.u.val);
1723 break;
1725 case DW_AT_name:
1726 /* Prefer DW_AT_MIPS_linkage_name over DW_AT_name. */
1727 if (func->name == NULL)
1728 func->name = attr.u.str;
1729 break;
1731 case DW_AT_MIPS_linkage_name:
1732 func->name = attr.u.str;
1733 break;
1735 case DW_AT_low_pc:
1736 low_pc = attr.u.val;
1737 break;
1739 case DW_AT_high_pc:
1740 high_pc = attr.u.val;
1741 break;
1743 case DW_AT_ranges:
1744 read_rangelist (unit, &func->arange, attr.u.val);
1745 break;
1747 case DW_AT_decl_file:
1748 func->file = concat_filename (unit->line_table,
1749 attr.u.val);
1750 break;
1752 case DW_AT_decl_line:
1753 func->line = attr.u.val;
1754 break;
1756 default:
1757 break;
1760 else if (var)
1762 switch (attr.name)
1764 case DW_AT_name:
1765 var->name = attr.u.str;
1766 break;
1768 case DW_AT_decl_file:
1769 var->file = concat_filename (unit->line_table,
1770 attr.u.val);
1771 break;
1773 case DW_AT_decl_line:
1774 var->line = attr.u.val;
1775 break;
1777 case DW_AT_external:
1778 if (attr.u.val != 0)
1779 var->stack = 0;
1780 break;
1782 case DW_AT_location:
1783 switch (attr.form)
1785 case DW_FORM_block:
1786 case DW_FORM_block1:
1787 case DW_FORM_block2:
1788 case DW_FORM_block4:
1789 if (*attr.u.blk->data == DW_OP_addr)
1791 var->stack = 0;
1793 /* Verify that DW_OP_addr is the only opcode in the
1794 location, in which case the block size will be 1
1795 plus the address size. */
1796 /* ??? For TLS variables, gcc can emit
1797 DW_OP_addr <addr> DW_OP_GNU_push_tls_address
1798 which we don't handle here yet. */
1799 if (attr.u.blk->size == unit->addr_size + 1U)
1800 var->addr = bfd_get (unit->addr_size * 8,
1801 unit->abfd,
1802 attr.u.blk->data + 1);
1804 break;
1806 default:
1807 break;
1809 break;
1811 default:
1812 break;
1817 if (func && high_pc != 0)
1819 arange_add (unit->abfd, &func->arange, low_pc, high_pc);
1822 if (abbrev->has_children)
1824 nesting_level++;
1826 if (nesting_level >= nested_funcs_size)
1828 struct funcinfo **tmp;
1830 nested_funcs_size *= 2;
1831 tmp = bfd_realloc (nested_funcs,
1832 (nested_funcs_size
1833 * sizeof (struct funcinfo *)));
1834 if (tmp == NULL)
1836 free (nested_funcs);
1837 return FALSE;
1839 nested_funcs = tmp;
1841 nested_funcs[nesting_level] = 0;
1845 free (nested_funcs);
1846 return TRUE;
1849 /* Parse a DWARF2 compilation unit starting at INFO_PTR. This
1850 includes the compilation unit header that proceeds the DIE's, but
1851 does not include the length field that precedes each compilation
1852 unit header. END_PTR points one past the end of this comp unit.
1853 OFFSET_SIZE is the size of DWARF2 offsets (either 4 or 8 bytes).
1855 This routine does not read the whole compilation unit; only enough
1856 to get to the line number information for the compilation unit. */
1858 static struct comp_unit *
1859 parse_comp_unit (bfd *abfd,
1860 struct dwarf2_debug *stash,
1861 bfd_vma unit_length,
1862 bfd_byte *info_ptr_unit,
1863 unsigned int offset_size)
1865 struct comp_unit* unit;
1866 unsigned int version;
1867 bfd_uint64_t abbrev_offset = 0;
1868 unsigned int addr_size;
1869 struct abbrev_info** abbrevs;
1870 unsigned int abbrev_number, bytes_read, i;
1871 struct abbrev_info *abbrev;
1872 struct attribute attr;
1873 bfd_byte *info_ptr = stash->info_ptr;
1874 bfd_byte *end_ptr = info_ptr + unit_length;
1875 bfd_size_type amt;
1876 bfd_vma low_pc = 0;
1877 bfd_vma high_pc = 0;
1879 version = read_2_bytes (abfd, info_ptr);
1880 info_ptr += 2;
1881 BFD_ASSERT (offset_size == 4 || offset_size == 8);
1882 if (offset_size == 4)
1883 abbrev_offset = read_4_bytes (abfd, info_ptr);
1884 else
1885 abbrev_offset = read_8_bytes (abfd, info_ptr);
1886 info_ptr += offset_size;
1887 addr_size = read_1_byte (abfd, info_ptr);
1888 info_ptr += 1;
1890 if (version != 2)
1892 (*_bfd_error_handler) (_("Dwarf Error: found dwarf version '%u', this reader only handles version 2 information."), version);
1893 bfd_set_error (bfd_error_bad_value);
1894 return 0;
1897 if (addr_size > sizeof (bfd_vma))
1899 (*_bfd_error_handler) (_("Dwarf Error: found address size '%u', this reader can not handle sizes greater than '%u'."),
1900 addr_size,
1901 (unsigned int) sizeof (bfd_vma));
1902 bfd_set_error (bfd_error_bad_value);
1903 return 0;
1906 if (addr_size != 2 && addr_size != 4 && addr_size != 8)
1908 (*_bfd_error_handler) ("Dwarf Error: found address size '%u', this reader can only handle address sizes '2', '4' and '8'.", addr_size);
1909 bfd_set_error (bfd_error_bad_value);
1910 return 0;
1913 /* Read the abbrevs for this compilation unit into a table. */
1914 abbrevs = read_abbrevs (abfd, abbrev_offset, stash);
1915 if (! abbrevs)
1916 return 0;
1918 abbrev_number = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
1919 info_ptr += bytes_read;
1920 if (! abbrev_number)
1922 (*_bfd_error_handler) (_("Dwarf Error: Bad abbrev number: %u."),
1923 abbrev_number);
1924 bfd_set_error (bfd_error_bad_value);
1925 return 0;
1928 abbrev = lookup_abbrev (abbrev_number, abbrevs);
1929 if (! abbrev)
1931 (*_bfd_error_handler) (_("Dwarf Error: Could not find abbrev number %u."),
1932 abbrev_number);
1933 bfd_set_error (bfd_error_bad_value);
1934 return 0;
1937 amt = sizeof (struct comp_unit);
1938 unit = bfd_zalloc (abfd, amt);
1939 unit->abfd = abfd;
1940 unit->addr_size = addr_size;
1941 unit->offset_size = offset_size;
1942 unit->abbrevs = abbrevs;
1943 unit->end_ptr = end_ptr;
1944 unit->stash = stash;
1945 unit->info_ptr_unit = info_ptr_unit;
1947 for (i = 0; i < abbrev->num_attrs; ++i)
1949 info_ptr = read_attribute (&attr, &abbrev->attrs[i], unit, info_ptr);
1951 /* Store the data if it is of an attribute we want to keep in a
1952 partial symbol table. */
1953 switch (attr.name)
1955 case DW_AT_stmt_list:
1956 unit->stmtlist = 1;
1957 unit->line_offset = attr.u.val;
1958 break;
1960 case DW_AT_name:
1961 unit->name = attr.u.str;
1962 break;
1964 case DW_AT_low_pc:
1965 low_pc = attr.u.val;
1966 /* If the compilation unit DIE has a DW_AT_low_pc attribute,
1967 this is the base address to use when reading location
1968 lists or range lists. */
1969 unit->base_address = low_pc;
1970 break;
1972 case DW_AT_high_pc:
1973 high_pc = attr.u.val;
1974 break;
1976 case DW_AT_ranges:
1977 read_rangelist (unit, &unit->arange, attr.u.val);
1978 break;
1980 case DW_AT_comp_dir:
1982 char *comp_dir = attr.u.str;
1983 if (comp_dir)
1985 /* Irix 6.2 native cc prepends <machine>.: to the compilation
1986 directory, get rid of it. */
1987 char *cp = strchr (comp_dir, ':');
1989 if (cp && cp != comp_dir && cp[-1] == '.' && cp[1] == '/')
1990 comp_dir = cp + 1;
1992 unit->comp_dir = comp_dir;
1993 break;
1996 default:
1997 break;
2000 if (high_pc != 0)
2002 arange_add (unit->abfd, &unit->arange, low_pc, high_pc);
2005 unit->first_child_die_ptr = info_ptr;
2006 return unit;
2009 /* Return TRUE if UNIT may contain the address given by ADDR. When
2010 there are functions written entirely with inline asm statements, the
2011 range info in the compilation unit header may not be correct. We
2012 need to consult the line info table to see if a compilation unit
2013 really contains the given address. */
2015 static bfd_boolean
2016 comp_unit_contains_address (struct comp_unit *unit, bfd_vma addr)
2018 struct arange *arange;
2020 if (unit->error)
2021 return FALSE;
2023 arange = &unit->arange;
2026 if (addr >= arange->low && addr < arange->high)
2027 return TRUE;
2028 arange = arange->next;
2030 while (arange);
2032 return FALSE;
2035 /* If UNIT contains ADDR, set the output parameters to the values for
2036 the line containing ADDR. The output parameters, FILENAME_PTR,
2037 FUNCTIONNAME_PTR, and LINENUMBER_PTR, are pointers to the objects
2038 to be filled in.
2040 Return TRUE if UNIT contains ADDR, and no errors were encountered;
2041 FALSE otherwise. */
2043 static bfd_boolean
2044 comp_unit_find_nearest_line (struct comp_unit *unit,
2045 bfd_vma addr,
2046 const char **filename_ptr,
2047 const char **functionname_ptr,
2048 unsigned int *linenumber_ptr,
2049 struct dwarf2_debug *stash)
2051 bfd_boolean line_p;
2052 bfd_boolean func_p;
2053 struct funcinfo *function;
2055 if (unit->error)
2056 return FALSE;
2058 if (! unit->line_table)
2060 if (! unit->stmtlist)
2062 unit->error = 1;
2063 return FALSE;
2066 unit->line_table = decode_line_info (unit, stash);
2068 if (! unit->line_table)
2070 unit->error = 1;
2071 return FALSE;
2074 if (unit->first_child_die_ptr < unit->end_ptr
2075 && ! scan_unit_for_symbols (unit))
2077 unit->error = 1;
2078 return FALSE;
2082 function = NULL;
2083 func_p = lookup_address_in_function_table (unit, addr,
2084 &function, functionname_ptr);
2085 if (func_p && (function->tag == DW_TAG_inlined_subroutine))
2086 stash->inliner_chain = function;
2087 line_p = lookup_address_in_line_info_table (unit->line_table, addr,
2088 function, filename_ptr,
2089 linenumber_ptr);
2090 return line_p || func_p;
2093 /* If UNIT contains SYM at ADDR, set the output parameters to the
2094 values for the line containing SYM. The output parameters,
2095 FILENAME_PTR, and LINENUMBER_PTR, are pointers to the objects to be
2096 filled in.
2098 Return TRUE if UNIT contains SYM, and no errors were encountered;
2099 FALSE otherwise. */
2101 static bfd_boolean
2102 comp_unit_find_line (struct comp_unit *unit,
2103 asymbol *sym,
2104 bfd_vma addr,
2105 const char **filename_ptr,
2106 unsigned int *linenumber_ptr,
2107 struct dwarf2_debug *stash)
2109 if (unit->error)
2110 return FALSE;
2112 if (! unit->line_table)
2114 if (! unit->stmtlist)
2116 unit->error = 1;
2117 return FALSE;
2120 unit->line_table = decode_line_info (unit, stash);
2122 if (! unit->line_table)
2124 unit->error = 1;
2125 return FALSE;
2128 if (unit->first_child_die_ptr < unit->end_ptr
2129 && ! scan_unit_for_symbols (unit))
2131 unit->error = 1;
2132 return FALSE;
2136 if (sym->flags & BSF_FUNCTION)
2137 return lookup_symbol_in_function_table (unit, sym, addr,
2138 filename_ptr,
2139 linenumber_ptr);
2140 else
2141 return lookup_symbol_in_variable_table (unit, sym, addr,
2142 filename_ptr,
2143 linenumber_ptr);
2146 /* Locate a section in a BFD containing debugging info. The search starts
2147 from the section after AFTER_SEC, or from the first section in the BFD if
2148 AFTER_SEC is NULL. The search works by examining the names of the
2149 sections. There are two permissiable names. The first is .debug_info.
2150 This is the standard DWARF2 name. The second is a prefix .gnu.linkonce.wi.
2151 This is a variation on the .debug_info section which has a checksum
2152 describing the contents appended onto the name. This allows the linker to
2153 identify and discard duplicate debugging sections for different
2154 compilation units. */
2155 #define DWARF2_DEBUG_INFO ".debug_info"
2156 #define GNU_LINKONCE_INFO ".gnu.linkonce.wi."
2158 static asection *
2159 find_debug_info (bfd *abfd, asection *after_sec)
2161 asection * msec;
2163 if (after_sec)
2164 msec = after_sec->next;
2165 else
2166 msec = abfd->sections;
2168 while (msec)
2170 if (strcmp (msec->name, DWARF2_DEBUG_INFO) == 0)
2171 return msec;
2173 if (strncmp (msec->name, GNU_LINKONCE_INFO, strlen (GNU_LINKONCE_INFO)) == 0)
2174 return msec;
2176 msec = msec->next;
2179 return NULL;
2182 /* Return TRUE if there is no mismatch bewteen function FUNC and
2183 section SECTION from symbol table SYMBOLS in ABFD. */
2185 static bfd_boolean
2186 check_function_name (bfd *abfd, asection *section, asymbol **symbols,
2187 const char *func)
2189 /* Mismatch can only happen when we have 2 functions with the same
2190 address. It can only occur in a relocatable file. */
2191 if ((abfd->flags & (EXEC_P | DYNAMIC)) == 0
2192 && func != NULL
2193 && section != NULL
2194 && symbols != NULL)
2196 asymbol **p;
2198 for (p = symbols; *p != NULL; p++)
2200 if (((*p)->flags & BSF_FUNCTION) != 0
2201 && (*p)->name != NULL
2202 && strcmp ((*p)->name, func) == 0)
2203 return (*p)->section == section;
2207 return TRUE;
2210 /* The DWARF2 version of find_nearest_line. Return TRUE if the line
2211 is found without error. ADDR_SIZE is the number of bytes in the
2212 initial .debug_info length field and in the abbreviation offset.
2213 You may use zero to indicate that the default value should be
2214 used. */
2216 bfd_boolean
2217 _bfd_dwarf2_find_nearest_line (bfd *abfd,
2218 asection *section,
2219 asymbol **symbols,
2220 bfd_vma offset,
2221 const char **filename_ptr,
2222 const char **functionname_ptr,
2223 unsigned int *linenumber_ptr,
2224 unsigned int addr_size,
2225 void **pinfo)
2227 /* Read each compilation unit from the section .debug_info, and check
2228 to see if it contains the address we are searching for. If yes,
2229 lookup the address, and return the line number info. If no, go
2230 on to the next compilation unit.
2232 We keep a list of all the previously read compilation units, and
2233 a pointer to the next un-read compilation unit. Check the
2234 previously read units before reading more. */
2235 struct dwarf2_debug *stash;
2237 /* What address are we looking for? */
2238 bfd_vma addr;
2240 struct comp_unit* each;
2242 stash = *pinfo;
2243 addr = offset;
2244 if (section->output_section)
2245 addr += section->output_section->vma + section->output_offset;
2246 else
2247 addr += section->vma;
2248 *filename_ptr = NULL;
2249 *functionname_ptr = NULL;
2250 *linenumber_ptr = 0;
2252 /* The DWARF2 spec says that the initial length field, and the
2253 offset of the abbreviation table, should both be 4-byte values.
2254 However, some compilers do things differently. */
2255 if (addr_size == 0)
2256 addr_size = 4;
2257 BFD_ASSERT (addr_size == 4 || addr_size == 8);
2259 if (! stash)
2261 bfd_size_type total_size;
2262 asection *msec;
2263 bfd_size_type amt = sizeof (struct dwarf2_debug);
2265 stash = bfd_zalloc (abfd, amt);
2266 if (! stash)
2267 return FALSE;
2269 *pinfo = stash;
2271 msec = find_debug_info (abfd, NULL);
2272 if (! msec)
2273 /* No dwarf2 info. Note that at this point the stash
2274 has been allocated, but contains zeros, this lets
2275 future calls to this function fail quicker. */
2276 return FALSE;
2278 /* There can be more than one DWARF2 info section in a BFD these days.
2279 Read them all in and produce one large stash. We do this in two
2280 passes - in the first pass we just accumulate the section sizes.
2281 In the second pass we read in the section's contents. The allows
2282 us to avoid reallocing the data as we add sections to the stash. */
2283 for (total_size = 0; msec; msec = find_debug_info (abfd, msec))
2284 total_size += msec->size;
2286 stash->info_ptr = bfd_alloc (abfd, total_size);
2287 if (stash->info_ptr == NULL)
2288 return FALSE;
2290 stash->info_ptr_end = stash->info_ptr;
2292 for (msec = find_debug_info (abfd, NULL);
2293 msec;
2294 msec = find_debug_info (abfd, msec))
2296 bfd_size_type size;
2297 bfd_size_type start;
2299 size = msec->size;
2300 if (size == 0)
2301 continue;
2303 start = stash->info_ptr_end - stash->info_ptr;
2305 if ((bfd_simple_get_relocated_section_contents
2306 (abfd, msec, stash->info_ptr + start, symbols)) == NULL)
2307 continue;
2309 stash->info_ptr_end = stash->info_ptr + start + size;
2312 BFD_ASSERT (stash->info_ptr_end == stash->info_ptr + total_size);
2314 stash->sec = find_debug_info (abfd, NULL);
2315 stash->sec_info_ptr = stash->info_ptr;
2316 stash->syms = symbols;
2319 /* A null info_ptr indicates that there is no dwarf2 info
2320 (or that an error occured while setting up the stash). */
2321 if (! stash->info_ptr)
2322 return FALSE;
2324 stash->inliner_chain = NULL;
2326 /* Check the previously read comp. units first. */
2327 for (each = stash->all_comp_units; each; each = each->next_unit)
2328 if (comp_unit_contains_address (each, addr)
2329 && comp_unit_find_nearest_line (each, addr, filename_ptr,
2330 functionname_ptr,
2331 linenumber_ptr, stash)
2332 && check_function_name (abfd, section, symbols,
2333 *functionname_ptr))
2334 return TRUE;
2336 /* Read each remaining comp. units checking each as they are read. */
2337 while (stash->info_ptr < stash->info_ptr_end)
2339 bfd_vma length;
2340 unsigned int offset_size = addr_size;
2341 bfd_byte *info_ptr_unit = stash->info_ptr;
2343 length = read_4_bytes (abfd, stash->info_ptr);
2344 /* A 0xffffff length is the DWARF3 way of indicating we use
2345 64-bit offsets, instead of 32-bit offsets. */
2346 if (length == 0xffffffff)
2348 offset_size = 8;
2349 length = read_8_bytes (abfd, stash->info_ptr + 4);
2350 stash->info_ptr += 12;
2352 /* A zero length is the IRIX way of indicating 64-bit offsets,
2353 mostly because the 64-bit length will generally fit in 32
2354 bits, and the endianness helps. */
2355 else if (length == 0)
2357 offset_size = 8;
2358 length = read_4_bytes (abfd, stash->info_ptr + 4);
2359 stash->info_ptr += 8;
2361 /* In the absence of the hints above, we assume addr_size-sized
2362 offsets, for backward-compatibility with pre-DWARF3 64-bit
2363 platforms. */
2364 else if (addr_size == 8)
2366 length = read_8_bytes (abfd, stash->info_ptr);
2367 stash->info_ptr += 8;
2369 else
2370 stash->info_ptr += 4;
2372 if (length > 0)
2374 each = parse_comp_unit (abfd, stash, length, info_ptr_unit,
2375 offset_size);
2376 stash->info_ptr += length;
2378 if ((bfd_vma) (stash->info_ptr - stash->sec_info_ptr)
2379 == stash->sec->size)
2381 stash->sec = find_debug_info (abfd, stash->sec);
2382 stash->sec_info_ptr = stash->info_ptr;
2385 if (each)
2387 each->next_unit = stash->all_comp_units;
2388 stash->all_comp_units = each;
2390 /* DW_AT_low_pc and DW_AT_high_pc are optional for
2391 compilation units. If we don't have them (i.e.,
2392 unit->high == 0), we need to consult the line info
2393 table to see if a compilation unit contains the given
2394 address. */
2395 if ((each->arange.high == 0
2396 || comp_unit_contains_address (each, addr))
2397 && comp_unit_find_nearest_line (each, addr,
2398 filename_ptr,
2399 functionname_ptr,
2400 linenumber_ptr,
2401 stash)
2402 && check_function_name (abfd, section, symbols,
2403 *functionname_ptr))
2404 return TRUE;
2409 return FALSE;
2412 /* The DWARF2 version of find_line. Return TRUE if the line is found
2413 without error. */
2415 bfd_boolean
2416 _bfd_dwarf2_find_line (bfd *abfd,
2417 asymbol **symbols,
2418 asymbol *symbol,
2419 const char **filename_ptr,
2420 unsigned int *linenumber_ptr,
2421 unsigned int addr_size,
2422 void **pinfo)
2424 /* Read each compilation unit from the section .debug_info, and check
2425 to see if it contains the address we are searching for. If yes,
2426 lookup the address, and return the line number info. If no, go
2427 on to the next compilation unit.
2429 We keep a list of all the previously read compilation units, and
2430 a pointer to the next un-read compilation unit. Check the
2431 previously read units before reading more. */
2432 struct dwarf2_debug *stash;
2434 /* What address are we looking for? */
2435 bfd_vma addr;
2437 struct comp_unit* each;
2439 asection *section;
2441 bfd_boolean found;
2443 section = bfd_get_section (symbol);
2445 addr = symbol->value;
2446 if (section->output_section)
2447 addr += section->output_section->vma + section->output_offset;
2448 else
2449 addr += section->vma;
2451 *filename_ptr = NULL;
2452 stash = *pinfo;
2453 *filename_ptr = NULL;
2454 *linenumber_ptr = 0;
2456 if (! stash)
2458 bfd_size_type total_size;
2459 asection *msec;
2460 bfd_size_type amt = sizeof (struct dwarf2_debug);
2462 stash = bfd_zalloc (abfd, amt);
2463 if (! stash)
2464 return FALSE;
2466 *pinfo = stash;
2468 msec = find_debug_info (abfd, NULL);
2469 if (! msec)
2470 /* No dwarf2 info. Note that at this point the stash
2471 has been allocated, but contains zeros, this lets
2472 future calls to this function fail quicker. */
2473 return FALSE;
2475 /* There can be more than one DWARF2 info section in a BFD these days.
2476 Read them all in and produce one large stash. We do this in two
2477 passes - in the first pass we just accumulate the section sizes.
2478 In the second pass we read in the section's contents. The allows
2479 us to avoid reallocing the data as we add sections to the stash. */
2480 for (total_size = 0; msec; msec = find_debug_info (abfd, msec))
2481 total_size += msec->size;
2483 stash->info_ptr = bfd_alloc (abfd, total_size);
2484 if (stash->info_ptr == NULL)
2485 return FALSE;
2487 stash->info_ptr_end = stash->info_ptr;
2489 for (msec = find_debug_info (abfd, NULL);
2490 msec;
2491 msec = find_debug_info (abfd, msec))
2493 bfd_size_type size;
2494 bfd_size_type start;
2496 size = msec->size;
2497 if (size == 0)
2498 continue;
2500 start = stash->info_ptr_end - stash->info_ptr;
2502 if ((bfd_simple_get_relocated_section_contents
2503 (abfd, msec, stash->info_ptr + start, symbols)) == NULL)
2504 continue;
2506 stash->info_ptr_end = stash->info_ptr + start + size;
2509 BFD_ASSERT (stash->info_ptr_end == stash->info_ptr + total_size);
2511 stash->sec = find_debug_info (abfd, NULL);
2512 stash->sec_info_ptr = stash->info_ptr;
2513 stash->syms = symbols;
2516 /* A null info_ptr indicates that there is no dwarf2 info
2517 (or that an error occured while setting up the stash). */
2518 if (! stash->info_ptr)
2519 return FALSE;
2521 stash->inliner_chain = NULL;
2523 /* Check the previously read comp. units first. */
2524 for (each = stash->all_comp_units; each; each = each->next_unit)
2525 if ((symbol->flags & BSF_FUNCTION) == 0
2526 || comp_unit_contains_address (each, addr))
2528 found = comp_unit_find_line (each, symbol, addr, filename_ptr,
2529 linenumber_ptr, stash);
2530 if (found)
2531 return found;
2534 /* The DWARF2 spec says that the initial length field, and the
2535 offset of the abbreviation table, should both be 4-byte values.
2536 However, some compilers do things differently. */
2537 if (addr_size == 0)
2538 addr_size = 4;
2539 BFD_ASSERT (addr_size == 4 || addr_size == 8);
2541 /* Read each remaining comp. units checking each as they are read. */
2542 while (stash->info_ptr < stash->info_ptr_end)
2544 bfd_vma length;
2545 unsigned int offset_size = addr_size;
2546 bfd_byte *info_ptr_unit = stash->info_ptr;
2548 length = read_4_bytes (abfd, stash->info_ptr);
2549 /* A 0xffffff length is the DWARF3 way of indicating we use
2550 64-bit offsets, instead of 32-bit offsets. */
2551 if (length == 0xffffffff)
2553 offset_size = 8;
2554 length = read_8_bytes (abfd, stash->info_ptr + 4);
2555 stash->info_ptr += 12;
2557 /* A zero length is the IRIX way of indicating 64-bit offsets,
2558 mostly because the 64-bit length will generally fit in 32
2559 bits, and the endianness helps. */
2560 else if (length == 0)
2562 offset_size = 8;
2563 length = read_4_bytes (abfd, stash->info_ptr + 4);
2564 stash->info_ptr += 8;
2566 /* In the absence of the hints above, we assume addr_size-sized
2567 offsets, for backward-compatibility with pre-DWARF3 64-bit
2568 platforms. */
2569 else if (addr_size == 8)
2571 length = read_8_bytes (abfd, stash->info_ptr);
2572 stash->info_ptr += 8;
2574 else
2575 stash->info_ptr += 4;
2577 if (length > 0)
2579 each = parse_comp_unit (abfd, stash, length, info_ptr_unit,
2580 offset_size);
2581 stash->info_ptr += length;
2583 if ((bfd_vma) (stash->info_ptr - stash->sec_info_ptr)
2584 == stash->sec->size)
2586 stash->sec = find_debug_info (abfd, stash->sec);
2587 stash->sec_info_ptr = stash->info_ptr;
2590 if (each)
2592 each->next_unit = stash->all_comp_units;
2593 stash->all_comp_units = each;
2595 /* DW_AT_low_pc and DW_AT_high_pc are optional for
2596 compilation units. If we don't have them (i.e.,
2597 unit->high == 0), we need to consult the line info
2598 table to see if a compilation unit contains the given
2599 address. */
2600 found = (((symbol->flags & BSF_FUNCTION) == 0
2601 || each->arange.high <= 0
2602 || comp_unit_contains_address (each, addr))
2603 && comp_unit_find_line (each, symbol, addr,
2604 filename_ptr,
2605 linenumber_ptr,
2606 stash));
2607 if (found)
2608 return TRUE;
2613 return FALSE;
2616 bfd_boolean
2617 _bfd_dwarf2_find_inliner_info (bfd *abfd ATTRIBUTE_UNUSED,
2618 const char **filename_ptr,
2619 const char **functionname_ptr,
2620 unsigned int *linenumber_ptr,
2621 void **pinfo)
2623 struct dwarf2_debug *stash;
2625 stash = *pinfo;
2626 if (stash)
2628 struct funcinfo *func = stash->inliner_chain;
2629 if (func && func->caller_func)
2631 *filename_ptr = func->caller_file;
2632 *functionname_ptr = func->caller_func->name;
2633 *linenumber_ptr = func->caller_line;
2634 stash->inliner_chain = func->caller_func;
2635 return (TRUE);
2639 return (FALSE);
2642 void
2643 _bfd_dwarf2_cleanup_debug_info (bfd *abfd)
2645 struct comp_unit *each;
2646 struct dwarf2_debug *stash;
2648 if (abfd == NULL || elf_tdata (abfd) == NULL)
2649 return;
2651 stash = elf_tdata (abfd)->dwarf2_find_line_info;
2653 if (stash == NULL)
2654 return;
2656 for (each = stash->all_comp_units; each; each = each->next_unit)
2658 struct abbrev_info **abbrevs = each->abbrevs;
2659 size_t i;
2661 for (i = 0; i < ABBREV_HASH_SIZE; i++)
2663 struct abbrev_info *abbrev = abbrevs[i];
2665 while (abbrev)
2667 free (abbrev->attrs);
2668 abbrev = abbrev->next;
2672 if (each->line_table)
2674 free (each->line_table->dirs);
2675 free (each->line_table->files);
2679 free (stash->dwarf_abbrev_buffer);
2680 free (stash->dwarf_line_buffer);
2681 free (stash->dwarf_ranges_buffer);