1 /* DWARF 2 support. 2 Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 3 2004, 2005, 2006, 2007, 2008, 2009, 2010 Free Software Foundation, Inc. 4 5 Adapted from gdb/dwarf2read.c by Gavin Koch of Cygnus Solutions 6 (gavin@cygnus.com). 7 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 15 16 This file is part of BFD. 17 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. 22 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. 27 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. */ 32 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" 39 40 /* The data in the .debug_line statement prologue looks like this. */ 41 42 struct line_head 43 { 44 bfd_vma total_length; 45 unsigned short version; 46 bfd_vma prologue_length; 47 unsigned char minimum_instruction_length; 48 unsigned char maximum_ops_per_insn; 49 unsigned char default_is_stmt; 50 int line_base; 51 unsigned char line_range; 52 unsigned char opcode_base; 53 unsigned char *standard_opcode_lengths; 54 }; 55 56 /* Attributes have a name and a value. */ 57 58 struct attribute 59 { 60 enum dwarf_attribute name; 61 enum dwarf_form form; 62 union 63 { 64 char *str; 65 struct dwarf_block *blk; 66 bfd_uint64_t val; 67 bfd_int64_t sval; 68 } 69 u; 70 }; 71 72 /* Blocks are a bunch of untyped bytes. */ 73 struct dwarf_block 74 { 75 unsigned int size; 76 bfd_byte *data; 77 }; 78 79 struct adjusted_section 80 { 81 asection *section; 82 bfd_vma adj_vma; 83 }; 84 85 struct dwarf2_debug 86 { 87 /* A list of all previously read comp_units. */ 88 struct comp_unit *all_comp_units; 89 90 /* Last comp unit in list above. */ 91 struct comp_unit *last_comp_unit; 92 93 /* The next unread compilation unit within the .debug_info section. 94 Zero indicates that the .debug_info section has not been loaded 95 into a buffer yet. */ 96 bfd_byte *info_ptr; 97 98 /* Pointer to the end of the .debug_info section memory buffer. */ 99 bfd_byte *info_ptr_end; 100 101 /* Pointer to the bfd, section and address of the beginning of the 102 section. The bfd might be different than expected because of 103 gnu_debuglink sections. */ 104 bfd *bfd_ptr; 105 asection *sec; 106 bfd_byte *sec_info_ptr; 107 108 /* A pointer to the memory block allocated for info_ptr. Neither 109 info_ptr nor sec_info_ptr are guaranteed to stay pointing to the 110 beginning of the malloc block. This is used only to free the 111 memory later. */ 112 bfd_byte *info_ptr_memory; 113 114 /* Pointer to the symbol table. */ 115 asymbol **syms; 116 117 /* Pointer to the .debug_abbrev section loaded into memory. */ 118 bfd_byte *dwarf_abbrev_buffer; 119 120 /* Length of the loaded .debug_abbrev section. */ 121 bfd_size_type dwarf_abbrev_size; 122 123 /* Buffer for decode_line_info. */ 124 bfd_byte *dwarf_line_buffer; 125 126 /* Length of the loaded .debug_line section. */ 127 bfd_size_type dwarf_line_size; 128 129 /* Pointer to the .debug_str section loaded into memory. */ 130 bfd_byte *dwarf_str_buffer; 131 132 /* Length of the loaded .debug_str section. */ 133 bfd_size_type dwarf_str_size; 134 135 /* Pointer to the .debug_ranges section loaded into memory. */ 136 bfd_byte *dwarf_ranges_buffer; 137 138 /* Length of the loaded .debug_ranges section. */ 139 bfd_size_type dwarf_ranges_size; 140 141 /* If the most recent call to bfd_find_nearest_line was given an 142 address in an inlined function, preserve a pointer into the 143 calling chain for subsequent calls to bfd_find_inliner_info to 144 use. */ 145 struct funcinfo *inliner_chain; 146 147 /* Number of sections whose VMA we must adjust. */ 148 unsigned int adjusted_section_count; 149 150 /* Array of sections with adjusted VMA. */ 151 struct adjusted_section *adjusted_sections; 152 153 /* Number of times find_line is called. This is used in 154 the heuristic for enabling the info hash tables. */ 155 int info_hash_count; 156 157 #define STASH_INFO_HASH_TRIGGER 100 158 159 /* Hash table mapping symbol names to function infos. */ 160 struct info_hash_table *funcinfo_hash_table; 161 162 /* Hash table mapping symbol names to variable infos. */ 163 struct info_hash_table *varinfo_hash_table; 164 165 /* Head of comp_unit list in the last hash table update. */ 166 struct comp_unit *hash_units_head; 167 168 /* Status of info hash. */ 169 int info_hash_status; 170 #define STASH_INFO_HASH_OFF 0 171 #define STASH_INFO_HASH_ON 1 172 #define STASH_INFO_HASH_DISABLED 2 173 }; 174 175 struct arange 176 { 177 struct arange *next; 178 bfd_vma low; 179 bfd_vma high; 180 }; 181 182 /* A minimal decoding of DWARF2 compilation units. We only decode 183 what's needed to get to the line number information. */ 184 185 struct comp_unit 186 { 187 /* Chain the previously read compilation units. */ 188 struct comp_unit *next_unit; 189 190 /* Likewise, chain the compilation unit read after this one. 191 The comp units are stored in reversed reading order. */ 192 struct comp_unit *prev_unit; 193 194 /* Keep the bfd convenient (for memory allocation). */ 195 bfd *abfd; 196 197 /* The lowest and highest addresses contained in this compilation 198 unit as specified in the compilation unit header. */ 199 struct arange arange; 200 201 /* The DW_AT_name attribute (for error messages). */ 202 char *name; 203 204 /* The abbrev hash table. */ 205 struct abbrev_info **abbrevs; 206 207 /* Note that an error was found by comp_unit_find_nearest_line. */ 208 int error; 209 210 /* The DW_AT_comp_dir attribute. */ 211 char *comp_dir; 212 213 /* TRUE if there is a line number table associated with this comp. unit. */ 214 int stmtlist; 215 216 /* Pointer to the current comp_unit so that we can find a given entry 217 by its reference. */ 218 bfd_byte *info_ptr_unit; 219 220 /* Pointer to the start of the debug section, for DW_FORM_ref_addr. */ 221 bfd_byte *sec_info_ptr; 222 223 /* The offset into .debug_line of the line number table. */ 224 unsigned long line_offset; 225 226 /* Pointer to the first child die for the comp unit. */ 227 bfd_byte *first_child_die_ptr; 228 229 /* The end of the comp unit. */ 230 bfd_byte *end_ptr; 231 232 /* The decoded line number, NULL if not yet decoded. */ 233 struct line_info_table *line_table; 234 235 /* A list of the functions found in this comp. unit. */ 236 struct funcinfo *function_table; 237 238 /* A list of the variables found in this comp. unit. */ 239 struct varinfo *variable_table; 240 241 /* Pointer to dwarf2_debug structure. */ 242 struct dwarf2_debug *stash; 243 244 /* DWARF format version for this unit - from unit header. */ 245 int version; 246 247 /* Address size for this unit - from unit header. */ 248 unsigned char addr_size; 249 250 /* Offset size for this unit - from unit header. */ 251 unsigned char offset_size; 252 253 /* Base address for this unit - from DW_AT_low_pc attribute of 254 DW_TAG_compile_unit DIE */ 255 bfd_vma base_address; 256 257 /* TRUE if symbols are cached in hash table for faster lookup by name. */ 258 bfd_boolean cached; 259 }; 260 261 /* This data structure holds the information of an abbrev. */ 262 struct abbrev_info 263 { 264 unsigned int number; /* Number identifying abbrev. */ 265 enum dwarf_tag tag; /* DWARF tag. */ 266 int has_children; /* Boolean. */ 267 unsigned int num_attrs; /* Number of attributes. */ 268 struct attr_abbrev *attrs; /* An array of attribute descriptions. */ 269 struct abbrev_info *next; /* Next in chain. */ 270 }; 271 272 struct attr_abbrev 273 { 274 enum dwarf_attribute name; 275 enum dwarf_form form; 276 }; 277 278 /* Map of uncompressed DWARF debug section name to compressed one. It 279 is terminated by NULL uncompressed_name. */ 280 281 struct dwarf_debug_section dwarf_debug_sections[] = 282 { 283 { ".debug_abbrev", ".zdebug_abbrev" }, 284 { ".debug_aranges", ".zdebug_aranges" }, 285 { ".debug_frame", ".zdebug_frame" }, 286 { ".debug_info", ".zdebug_info" }, 287 { ".debug_line", ".zdebug_line" }, 288 { ".debug_loc", ".zdebug_loc" }, 289 { ".debug_macinfo", ".zdebug_macinfo" }, 290 { ".debug_pubnames", ".zdebug_pubnames" }, 291 { ".debug_pubtypes", ".zdebug_pubtypes" }, 292 { ".debug_ranges", ".zdebug_ranges" }, 293 { ".debug_static_func", ".zdebug_static_func" }, 294 { ".debug_static_vars", ".zdebug_static_vars" }, 295 { ".debug_str", ".zdebug_str", }, 296 { ".debug_types", ".zdebug_types" }, 297 /* GNU DWARF 1 extensions */ 298 { ".debug_sfnames", ".zdebug_sfnames" }, 299 { ".debug_srcinfo", ".zebug_srcinfo" }, 300 /* SGI/MIPS DWARF 2 extensions */ 301 { ".debug_funcnames", ".zdebug_funcnames" }, 302 { ".debug_typenames", ".zdebug_typenames" }, 303 { ".debug_varnames", ".zdebug_varnames" }, 304 { ".debug_weaknames", ".zdebug_weaknames" }, 305 { NULL, NULL }, 306 }; 307 308 enum dwarf_debug_section_enum 309 { 310 debug_abbrev = 0, 311 debug_aranges, 312 debug_frame, 313 debug_info, 314 debug_line, 315 debug_loc, 316 debug_macinfo, 317 debug_pubnames, 318 debug_pubtypes, 319 debug_ranges, 320 debug_static_func, 321 debug_static_vars, 322 debug_str, 323 debug_types, 324 debug_sfnames, 325 debug_srcinfo, 326 debug_funcnames, 327 debug_typenames, 328 debug_varnames, 329 debug_weaknames 330 }; 331 332 #ifndef ABBREV_HASH_SIZE 333 #define ABBREV_HASH_SIZE 121 334 #endif 335 #ifndef ATTR_ALLOC_CHUNK 336 #define ATTR_ALLOC_CHUNK 4 337 #endif 338 339 /* Variable and function hash tables. This is used to speed up look-up 340 in lookup_symbol_in_var_table() and lookup_symbol_in_function_table(). 341 In order to share code between variable and function infos, we use 342 a list of untyped pointer for all variable/function info associated with 343 a symbol. We waste a bit of memory for list with one node but that 344 simplifies the code. */ 345 346 struct info_list_node 347 { 348 struct info_list_node *next; 349 void *info; 350 }; 351 352 /* Info hash entry. */ 353 struct info_hash_entry 354 { 355 struct bfd_hash_entry root; 356 struct info_list_node *head; 357 }; 358 359 struct info_hash_table 360 { 361 struct bfd_hash_table base; 362 }; 363 364 /* Function to create a new entry in info hash table. */ 365 366 static struct bfd_hash_entry * 367 info_hash_table_newfunc (struct bfd_hash_entry *entry, 368 struct bfd_hash_table *table, 369 const char *string) 370 { 371 struct info_hash_entry *ret = (struct info_hash_entry *) entry; 372 373 /* Allocate the structure if it has not already been allocated by a 374 derived class. */ 375 if (ret == NULL) 376 { 377 ret = (struct info_hash_entry *) bfd_hash_allocate (table, 378 sizeof (* ret)); 379 if (ret == NULL) 380 return NULL; 381 } 382 383 /* Call the allocation method of the base class. */ 384 ret = ((struct info_hash_entry *) 385 bfd_hash_newfunc ((struct bfd_hash_entry *) ret, table, string)); 386 387 /* Initialize the local fields here. */ 388 if (ret) 389 ret->head = NULL; 390 391 return (struct bfd_hash_entry *) ret; 392 } 393 394 /* Function to create a new info hash table. It returns a pointer to the 395 newly created table or NULL if there is any error. We need abfd 396 solely for memory allocation. */ 397 398 static struct info_hash_table * 399 create_info_hash_table (bfd *abfd) 400 { 401 struct info_hash_table *hash_table; 402 403 hash_table = (struct info_hash_table *) 404 bfd_alloc (abfd, sizeof (struct info_hash_table)); 405 if (!hash_table) 406 return hash_table; 407 408 if (!bfd_hash_table_init (&hash_table->base, info_hash_table_newfunc, 409 sizeof (struct info_hash_entry))) 410 { 411 bfd_release (abfd, hash_table); 412 return NULL; 413 } 414 415 return hash_table; 416 } 417 418 /* Insert an info entry into an info hash table. We do not check of 419 duplicate entries. Also, the caller need to guarantee that the 420 right type of info in inserted as info is passed as a void* pointer. 421 This function returns true if there is no error. */ 422 423 static bfd_boolean 424 insert_info_hash_table (struct info_hash_table *hash_table, 425 const char *key, 426 void *info, 427 bfd_boolean copy_p) 428 { 429 struct info_hash_entry *entry; 430 struct info_list_node *node; 431 432 entry = (struct info_hash_entry*) bfd_hash_lookup (&hash_table->base, 433 key, TRUE, copy_p); 434 if (!entry) 435 return FALSE; 436 437 node = (struct info_list_node *) bfd_hash_allocate (&hash_table->base, 438 sizeof (*node)); 439 if (!node) 440 return FALSE; 441 442 node->info = info; 443 node->next = entry->head; 444 entry->head = node; 445 446 return TRUE; 447 } 448 449 /* Look up an info entry list from an info hash table. Return NULL 450 if there is none. */ 451 452 static struct info_list_node * 453 lookup_info_hash_table (struct info_hash_table *hash_table, const char *key) 454 { 455 struct info_hash_entry *entry; 456 457 entry = (struct info_hash_entry*) bfd_hash_lookup (&hash_table->base, key, 458 FALSE, FALSE); 459 return entry ? entry->head : NULL; 460 } 461 462 /* Read a section into its appropriate place in the dwarf2_debug 463 struct (indicated by SECTION_BUFFER and SECTION_SIZE). If SYMS is 464 not NULL, use bfd_simple_get_relocated_section_contents to read the 465 section contents, otherwise use bfd_get_section_contents. Fail if 466 the located section does not contain at least OFFSET bytes. */ 467 468 static bfd_boolean 469 read_section (bfd * abfd, 470 enum dwarf_debug_section_enum sec, 471 asymbol ** syms, 472 bfd_uint64_t offset, 473 bfd_byte ** section_buffer, 474 bfd_size_type * section_size) 475 { 476 asection *msec; 477 const char *section_name = dwarf_debug_sections[sec].uncompressed_name; 478 479 /* read_section is a noop if the section has already been read. */ 480 if (!*section_buffer) 481 { 482 msec = bfd_get_section_by_name (abfd, section_name); 483 if (! msec) 484 { 485 section_name = dwarf_debug_sections[sec].compressed_name; 486 msec = bfd_get_section_by_name (abfd, section_name); 487 } 488 if (! msec) 489 { 490 (*_bfd_error_handler) (_("Dwarf Error: Can't find %s section."), section_name); 491 bfd_set_error (bfd_error_bad_value); 492 return FALSE; 493 } 494 495 *section_size = msec->rawsize ? msec->rawsize : msec->size; 496 if (syms) 497 { 498 *section_buffer 499 = bfd_simple_get_relocated_section_contents (abfd, msec, NULL, syms); 500 if (! *section_buffer) 501 return FALSE; 502 } 503 else 504 { 505 *section_buffer = (bfd_byte *) bfd_malloc (*section_size); 506 if (! *section_buffer) 507 return FALSE; 508 if (! bfd_get_section_contents (abfd, msec, *section_buffer, 509 0, *section_size)) 510 return FALSE; 511 } 512 } 513 514 /* It is possible to get a bad value for the offset into the section 515 that the client wants. Validate it here to avoid trouble later. */ 516 if (offset != 0 && offset >= *section_size) 517 { 518 (*_bfd_error_handler) (_("Dwarf Error: Offset (%lu) greater than or equal to %s size (%lu)."), 519 (long) offset, section_name, *section_size); 520 bfd_set_error (bfd_error_bad_value); 521 return FALSE; 522 } 523 524 return TRUE; 525 } 526 527 /* VERBATIM 528 The following function up to the END VERBATIM mark are 529 copied directly from dwarf2read.c. */ 530 531 /* Read dwarf information from a buffer. */ 532 533 static unsigned int 534 read_1_byte (bfd *abfd ATTRIBUTE_UNUSED, bfd_byte *buf) 535 { 536 return bfd_get_8 (abfd, buf); 537 } 538 539 static int 540 read_1_signed_byte (bfd *abfd ATTRIBUTE_UNUSED, bfd_byte *buf) 541 { 542 return bfd_get_signed_8 (abfd, buf); 543 } 544 545 static unsigned int 546 read_2_bytes (bfd *abfd, bfd_byte *buf) 547 { 548 return bfd_get_16 (abfd, buf); 549 } 550 551 static unsigned int 552 read_4_bytes (bfd *abfd, bfd_byte *buf) 553 { 554 return bfd_get_32 (abfd, buf); 555 } 556 557 static bfd_uint64_t 558 read_8_bytes (bfd *abfd, bfd_byte *buf) 559 { 560 return bfd_get_64 (abfd, buf); 561 } 562 563 static bfd_byte * 564 read_n_bytes (bfd *abfd ATTRIBUTE_UNUSED, 565 bfd_byte *buf, 566 unsigned int size ATTRIBUTE_UNUSED) 567 { 568 return buf; 569 } 570 571 static char * 572 read_string (bfd *abfd ATTRIBUTE_UNUSED, 573 bfd_byte *buf, 574 unsigned int *bytes_read_ptr) 575 { 576 /* Return a pointer to the embedded string. */ 577 char *str = (char *) buf; 578 579 if (*str == '\0') 580 { 581 *bytes_read_ptr = 1; 582 return NULL; 583 } 584 585 *bytes_read_ptr = strlen (str) + 1; 586 return str; 587 } 588 589 /* END VERBATIM */ 590 591 static char * 592 read_indirect_string (struct comp_unit * unit, 593 bfd_byte * buf, 594 unsigned int * bytes_read_ptr) 595 { 596 bfd_uint64_t offset; 597 struct dwarf2_debug *stash = unit->stash; 598 char *str; 599 600 if (unit->offset_size == 4) 601 offset = read_4_bytes (unit->abfd, buf); 602 else 603 offset = read_8_bytes (unit->abfd, buf); 604 605 *bytes_read_ptr = unit->offset_size; 606 607 if (! read_section (unit->abfd, debug_str, stash->syms, offset, 608 &stash->dwarf_str_buffer, &stash->dwarf_str_size)) 609 return NULL; 610 611 str = (char *) stash->dwarf_str_buffer + offset; 612 if (*str == '\0') 613 return NULL; 614 return str; 615 } 616 617 static bfd_uint64_t 618 read_address (struct comp_unit *unit, bfd_byte *buf) 619 { 620 int signed_vma = get_elf_backend_data (unit->abfd)->sign_extend_vma; 621 622 if (signed_vma) 623 { 624 switch (unit->addr_size) 625 { 626 case 8: 627 return bfd_get_signed_64 (unit->abfd, buf); 628 case 4: 629 return bfd_get_signed_32 (unit->abfd, buf); 630 case 2: 631 return bfd_get_signed_16 (unit->abfd, buf); 632 default: 633 abort (); 634 } 635 } 636 else 637 { 638 switch (unit->addr_size) 639 { 640 case 8: 641 return bfd_get_64 (unit->abfd, buf); 642 case 4: 643 return bfd_get_32 (unit->abfd, buf); 644 case 2: 645 return bfd_get_16 (unit->abfd, buf); 646 default: 647 abort (); 648 } 649 } 650 } 651 652 /* Lookup an abbrev_info structure in the abbrev hash table. */ 653 654 static struct abbrev_info * 655 lookup_abbrev (unsigned int number, struct abbrev_info **abbrevs) 656 { 657 unsigned int hash_number; 658 struct abbrev_info *abbrev; 659 660 hash_number = number % ABBREV_HASH_SIZE; 661 abbrev = abbrevs[hash_number]; 662 663 while (abbrev) 664 { 665 if (abbrev->number == number) 666 return abbrev; 667 else 668 abbrev = abbrev->next; 669 } 670 671 return NULL; 672 } 673 674 /* In DWARF version 2, the description of the debugging information is 675 stored in a separate .debug_abbrev section. Before we read any 676 dies from a section we read in all abbreviations and install them 677 in a hash table. */ 678 679 static struct abbrev_info** 680 read_abbrevs (bfd *abfd, bfd_uint64_t offset, struct dwarf2_debug *stash) 681 { 682 struct abbrev_info **abbrevs; 683 bfd_byte *abbrev_ptr; 684 struct abbrev_info *cur_abbrev; 685 unsigned int abbrev_number, bytes_read, abbrev_name; 686 unsigned int abbrev_form, hash_number; 687 bfd_size_type amt; 688 689 if (! read_section (abfd, debug_abbrev, stash->syms, offset, 690 &stash->dwarf_abbrev_buffer, &stash->dwarf_abbrev_size)) 691 return NULL; 692 693 amt = sizeof (struct abbrev_info*) * ABBREV_HASH_SIZE; 694 abbrevs = (struct abbrev_info **) bfd_zalloc (abfd, amt); 695 if (abbrevs == NULL) 696 return NULL; 697 698 abbrev_ptr = stash->dwarf_abbrev_buffer + offset; 699 abbrev_number = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read); 700 abbrev_ptr += bytes_read; 701 702 /* Loop until we reach an abbrev number of 0. */ 703 while (abbrev_number) 704 { 705 amt = sizeof (struct abbrev_info); 706 cur_abbrev = (struct abbrev_info *) bfd_zalloc (abfd, amt); 707 if (cur_abbrev == NULL) 708 return NULL; 709 710 /* Read in abbrev header. */ 711 cur_abbrev->number = abbrev_number; 712 cur_abbrev->tag = (enum dwarf_tag) 713 read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read); 714 abbrev_ptr += bytes_read; 715 cur_abbrev->has_children = read_1_byte (abfd, abbrev_ptr); 716 abbrev_ptr += 1; 717 718 /* Now read in declarations. */ 719 abbrev_name = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read); 720 abbrev_ptr += bytes_read; 721 abbrev_form = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read); 722 abbrev_ptr += bytes_read; 723 724 while (abbrev_name) 725 { 726 if ((cur_abbrev->num_attrs % ATTR_ALLOC_CHUNK) == 0) 727 { 728 struct attr_abbrev *tmp; 729 730 amt = cur_abbrev->num_attrs + ATTR_ALLOC_CHUNK; 731 amt *= sizeof (struct attr_abbrev); 732 tmp = (struct attr_abbrev *) bfd_realloc (cur_abbrev->attrs, amt); 733 if (tmp == NULL) 734 { 735 size_t i; 736 737 for (i = 0; i < ABBREV_HASH_SIZE; i++) 738 { 739 struct abbrev_info *abbrev = abbrevs[i]; 740 741 while (abbrev) 742 { 743 free (abbrev->attrs); 744 abbrev = abbrev->next; 745 } 746 } 747 return NULL; 748 } 749 cur_abbrev->attrs = tmp; 750 } 751 752 cur_abbrev->attrs[cur_abbrev->num_attrs].name 753 = (enum dwarf_attribute) abbrev_name; 754 cur_abbrev->attrs[cur_abbrev->num_attrs++].form 755 = (enum dwarf_form) abbrev_form; 756 abbrev_name = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read); 757 abbrev_ptr += bytes_read; 758 abbrev_form = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read); 759 abbrev_ptr += bytes_read; 760 } 761 762 hash_number = abbrev_number % ABBREV_HASH_SIZE; 763 cur_abbrev->next = abbrevs[hash_number]; 764 abbrevs[hash_number] = cur_abbrev; 765 766 /* Get next abbreviation. 767 Under Irix6 the abbreviations for a compilation unit are not 768 always properly terminated with an abbrev number of 0. 769 Exit loop if we encounter an abbreviation which we have 770 already read (which means we are about to read the abbreviations 771 for the next compile unit) or if the end of the abbreviation 772 table is reached. */ 773 if ((unsigned int) (abbrev_ptr - stash->dwarf_abbrev_buffer) 774 >= stash->dwarf_abbrev_size) 775 break; 776 abbrev_number = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read); 777 abbrev_ptr += bytes_read; 778 if (lookup_abbrev (abbrev_number,abbrevs) != NULL) 779 break; 780 } 781 782 return abbrevs; 783 } 784 785 /* Read an attribute value described by an attribute form. */ 786 787 static bfd_byte * 788 read_attribute_value (struct attribute *attr, 789 unsigned form, 790 struct comp_unit *unit, 791 bfd_byte *info_ptr) 792 { 793 bfd *abfd = unit->abfd; 794 unsigned int bytes_read; 795 struct dwarf_block *blk; 796 bfd_size_type amt; 797 798 attr->form = (enum dwarf_form) form; 799 800 switch (form) 801 { 802 case DW_FORM_ref_addr: 803 /* DW_FORM_ref_addr is an address in DWARF2, and an offset in 804 DWARF3. */ 805 if (unit->version == 3 || unit->version == 4) 806 { 807 if (unit->offset_size == 4) 808 attr->u.val = read_4_bytes (unit->abfd, info_ptr); 809 else 810 attr->u.val = read_8_bytes (unit->abfd, info_ptr); 811 info_ptr += unit->offset_size; 812 break; 813 } 814 /* FALLTHROUGH */ 815 case DW_FORM_addr: 816 attr->u.val = read_address (unit, info_ptr); 817 info_ptr += unit->addr_size; 818 break; 819 case DW_FORM_sec_offset: 820 if (unit->offset_size == 4) 821 attr->u.val = read_4_bytes (unit->abfd, info_ptr); 822 else 823 attr->u.val = read_8_bytes (unit->abfd, info_ptr); 824 info_ptr += unit->offset_size; 825 break; 826 case DW_FORM_block2: 827 amt = sizeof (struct dwarf_block); 828 blk = (struct dwarf_block *) bfd_alloc (abfd, amt); 829 if (blk == NULL) 830 return NULL; 831 blk->size = read_2_bytes (abfd, info_ptr); 832 info_ptr += 2; 833 blk->data = read_n_bytes (abfd, info_ptr, blk->size); 834 info_ptr += blk->size; 835 attr->u.blk = blk; 836 break; 837 case DW_FORM_block4: 838 amt = sizeof (struct dwarf_block); 839 blk = (struct dwarf_block *) bfd_alloc (abfd, amt); 840 if (blk == NULL) 841 return NULL; 842 blk->size = read_4_bytes (abfd, info_ptr); 843 info_ptr += 4; 844 blk->data = read_n_bytes (abfd, info_ptr, blk->size); 845 info_ptr += blk->size; 846 attr->u.blk = blk; 847 break; 848 case DW_FORM_data2: 849 attr->u.val = read_2_bytes (abfd, info_ptr); 850 info_ptr += 2; 851 break; 852 case DW_FORM_data4: 853 attr->u.val = read_4_bytes (abfd, info_ptr); 854 info_ptr += 4; 855 break; 856 case DW_FORM_data8: 857 attr->u.val = read_8_bytes (abfd, info_ptr); 858 info_ptr += 8; 859 break; 860 case DW_FORM_string: 861 attr->u.str = read_string (abfd, info_ptr, &bytes_read); 862 info_ptr += bytes_read; 863 break; 864 case DW_FORM_strp: 865 attr->u.str = read_indirect_string (unit, info_ptr, &bytes_read); 866 info_ptr += bytes_read; 867 break; 868 case DW_FORM_exprloc: 869 case DW_FORM_block: 870 amt = sizeof (struct dwarf_block); 871 blk = (struct dwarf_block *) bfd_alloc (abfd, amt); 872 if (blk == NULL) 873 return NULL; 874 blk->size = read_unsigned_leb128 (abfd, info_ptr, &bytes_read); 875 info_ptr += bytes_read; 876 blk->data = read_n_bytes (abfd, info_ptr, blk->size); 877 info_ptr += blk->size; 878 attr->u.blk = blk; 879 break; 880 case DW_FORM_block1: 881 amt = sizeof (struct dwarf_block); 882 blk = (struct dwarf_block *) bfd_alloc (abfd, amt); 883 if (blk == NULL) 884 return NULL; 885 blk->size = read_1_byte (abfd, info_ptr); 886 info_ptr += 1; 887 blk->data = read_n_bytes (abfd, info_ptr, blk->size); 888 info_ptr += blk->size; 889 attr->u.blk = blk; 890 break; 891 case DW_FORM_data1: 892 attr->u.val = read_1_byte (abfd, info_ptr); 893 info_ptr += 1; 894 break; 895 case DW_FORM_flag: 896 attr->u.val = read_1_byte (abfd, info_ptr); 897 info_ptr += 1; 898 break; 899 case DW_FORM_flag_present: 900 attr->u.val = 1; 901 break; 902 case DW_FORM_sdata: 903 attr->u.sval = read_signed_leb128 (abfd, info_ptr, &bytes_read); 904 info_ptr += bytes_read; 905 break; 906 case DW_FORM_udata: 907 attr->u.val = read_unsigned_leb128 (abfd, info_ptr, &bytes_read); 908 info_ptr += bytes_read; 909 break; 910 case DW_FORM_ref1: 911 attr->u.val = read_1_byte (abfd, info_ptr); 912 info_ptr += 1; 913 break; 914 case DW_FORM_ref2: 915 attr->u.val = read_2_bytes (abfd, info_ptr); 916 info_ptr += 2; 917 break; 918 case DW_FORM_ref4: 919 attr->u.val = read_4_bytes (abfd, info_ptr); 920 info_ptr += 4; 921 break; 922 case DW_FORM_ref8: 923 attr->u.val = read_8_bytes (abfd, info_ptr); 924 info_ptr += 8; 925 break; 926 case DW_FORM_ref_sig8: 927 attr->u.val = read_8_bytes (abfd, info_ptr); 928 info_ptr += 8; 929 break; 930 case DW_FORM_ref_udata: 931 attr->u.val = read_unsigned_leb128 (abfd, info_ptr, &bytes_read); 932 info_ptr += bytes_read; 933 break; 934 case DW_FORM_indirect: 935 form = read_unsigned_leb128 (abfd, info_ptr, &bytes_read); 936 info_ptr += bytes_read; 937 info_ptr = read_attribute_value (attr, form, unit, info_ptr); 938 break; 939 default: 940 (*_bfd_error_handler) (_("Dwarf Error: Invalid or unhandled FORM value: %u."), 941 form); 942 bfd_set_error (bfd_error_bad_value); 943 return NULL; 944 } 945 return info_ptr; 946 } 947 948 /* Read an attribute described by an abbreviated attribute. */ 949 950 static bfd_byte * 951 read_attribute (struct attribute *attr, 952 struct attr_abbrev *abbrev, 953 struct comp_unit *unit, 954 bfd_byte *info_ptr) 955 { 956 attr->name = abbrev->name; 957 info_ptr = read_attribute_value (attr, abbrev->form, unit, info_ptr); 958 return info_ptr; 959 } 960 961 /* Source line information table routines. */ 962 963 #define FILE_ALLOC_CHUNK 5 964 #define DIR_ALLOC_CHUNK 5 965 966 struct line_info 967 { 968 struct line_info* prev_line; 969 bfd_vma address; 970 char *filename; 971 unsigned int line; 972 unsigned int column; 973 unsigned char op_index; 974 unsigned char end_sequence; /* End of (sequential) code sequence. */ 975 }; 976 977 struct fileinfo 978 { 979 char *name; 980 unsigned int dir; 981 unsigned int time; 982 unsigned int size; 983 }; 984 985 struct line_sequence 986 { 987 bfd_vma low_pc; 988 struct line_sequence* prev_sequence; 989 struct line_info* last_line; /* Largest VMA. */ 990 }; 991 992 struct line_info_table 993 { 994 bfd* abfd; 995 unsigned int num_files; 996 unsigned int num_dirs; 997 unsigned int num_sequences; 998 char * comp_dir; 999 char ** dirs; 1000 struct fileinfo* files; 1001 struct line_sequence* sequences; 1002 struct line_info* lcl_head; /* Local head; used in 'add_line_info'. */ 1003 }; 1004 1005 /* Remember some information about each function. If the function is 1006 inlined (DW_TAG_inlined_subroutine) it may have two additional 1007 attributes, DW_AT_call_file and DW_AT_call_line, which specify the 1008 source code location where this function was inlined. */ 1009 1010 struct funcinfo 1011 { 1012 struct funcinfo *prev_func; /* Pointer to previous function in list of all functions */ 1013 struct funcinfo *caller_func; /* Pointer to function one scope higher */ 1014 char *caller_file; /* Source location file name where caller_func inlines this func */ 1015 int caller_line; /* Source location line number where caller_func inlines this func */ 1016 char *file; /* Source location file name */ 1017 int line; /* Source location line number */ 1018 int tag; 1019 char *name; 1020 struct arange arange; 1021 asection *sec; /* Where the symbol is defined */ 1022 }; 1023 1024 struct varinfo 1025 { 1026 /* Pointer to previous variable in list of all variables */ 1027 struct varinfo *prev_var; 1028 /* Source location file name */ 1029 char *file; 1030 /* Source location line number */ 1031 int line; 1032 int tag; 1033 char *name; 1034 bfd_vma addr; 1035 /* Where the symbol is defined */ 1036 asection *sec; 1037 /* Is this a stack variable? */ 1038 unsigned int stack: 1; 1039 }; 1040 1041 /* Return TRUE if NEW_LINE should sort after LINE. */ 1042 1043 static inline bfd_boolean 1044 new_line_sorts_after (struct line_info *new_line, struct line_info *line) 1045 { 1046 return (new_line->address > line->address 1047 || (new_line->address == line->address 1048 && (new_line->op_index > line->op_index 1049 || (new_line->op_index == line->op_index 1050 && new_line->end_sequence < line->end_sequence)))); 1051 } 1052 1053 1054 /* Adds a new entry to the line_info list in the line_info_table, ensuring 1055 that the list is sorted. Note that the line_info list is sorted from 1056 highest to lowest VMA (with possible duplicates); that is, 1057 line_info->prev_line always accesses an equal or smaller VMA. */ 1058 1059 static bfd_boolean 1060 add_line_info (struct line_info_table *table, 1061 bfd_vma address, 1062 unsigned char op_index, 1063 char *filename, 1064 unsigned int line, 1065 unsigned int column, 1066 int end_sequence) 1067 { 1068 bfd_size_type amt = sizeof (struct line_info); 1069 struct line_sequence* seq = table->sequences; 1070 struct line_info* info = (struct line_info *) bfd_alloc (table->abfd, amt); 1071 1072 if (info == NULL) 1073 return FALSE; 1074 1075 /* Set member data of 'info'. */ 1076 info->prev_line = NULL; 1077 info->address = address; 1078 info->op_index = op_index; 1079 info->line = line; 1080 info->column = column; 1081 info->end_sequence = end_sequence; 1082 1083 if (filename && filename[0]) 1084 { 1085 info->filename = (char *) bfd_alloc (table->abfd, strlen (filename) + 1); 1086 if (info->filename == NULL) 1087 return FALSE; 1088 strcpy (info->filename, filename); 1089 } 1090 else 1091 info->filename = NULL; 1092 1093 /* Find the correct location for 'info'. Normally we will receive 1094 new line_info data 1) in order and 2) with increasing VMAs. 1095 However some compilers break the rules (cf. decode_line_info) and 1096 so we include some heuristics for quickly finding the correct 1097 location for 'info'. In particular, these heuristics optimize for 1098 the common case in which the VMA sequence that we receive is a 1099 list of locally sorted VMAs such as 1100 p...z a...j (where a < j < p < z) 1101 1102 Note: table->lcl_head is used to head an *actual* or *possible* 1103 sub-sequence within the list (such as a...j) that is not directly 1104 headed by table->last_line 1105 1106 Note: we may receive duplicate entries from 'decode_line_info'. */ 1107 1108 if (seq 1109 && seq->last_line->address == address 1110 && seq->last_line->op_index == op_index 1111 && seq->last_line->end_sequence == end_sequence) 1112 { 1113 /* We only keep the last entry with the same address and end 1114 sequence. See PR ld/4986. */ 1115 if (table->lcl_head == seq->last_line) 1116 table->lcl_head = info; 1117 info->prev_line = seq->last_line->prev_line; 1118 seq->last_line = info; 1119 } 1120 else if (!seq || seq->last_line->end_sequence) 1121 { 1122 /* Start a new line sequence. */ 1123 amt = sizeof (struct line_sequence); 1124 seq = (struct line_sequence *) bfd_malloc (amt); 1125 if (seq == NULL) 1126 return FALSE; 1127 seq->low_pc = address; 1128 seq->prev_sequence = table->sequences; 1129 seq->last_line = info; 1130 table->lcl_head = info; 1131 table->sequences = seq; 1132 table->num_sequences++; 1133 } 1134 else if (new_line_sorts_after (info, seq->last_line)) 1135 { 1136 /* Normal case: add 'info' to the beginning of the current sequence. */ 1137 info->prev_line = seq->last_line; 1138 seq->last_line = info; 1139 1140 /* lcl_head: initialize to head a *possible* sequence at the end. */ 1141 if (!table->lcl_head) 1142 table->lcl_head = info; 1143 } 1144 else if (!new_line_sorts_after (info, table->lcl_head) 1145 && (!table->lcl_head->prev_line 1146 || new_line_sorts_after (info, table->lcl_head->prev_line))) 1147 { 1148 /* Abnormal but easy: lcl_head is the head of 'info'. */ 1149 info->prev_line = table->lcl_head->prev_line; 1150 table->lcl_head->prev_line = info; 1151 } 1152 else 1153 { 1154 /* Abnormal and hard: Neither 'last_line' nor 'lcl_head' 1155 are valid heads for 'info'. Reset 'lcl_head'. */ 1156 struct line_info* li2 = seq->last_line; /* Always non-NULL. */ 1157 struct line_info* li1 = li2->prev_line; 1158 1159 while (li1) 1160 { 1161 if (!new_line_sorts_after (info, li2) 1162 && new_line_sorts_after (info, li1)) 1163 break; 1164 1165 li2 = li1; /* always non-NULL */ 1166 li1 = li1->prev_line; 1167 } 1168 table->lcl_head = li2; 1169 info->prev_line = table->lcl_head->prev_line; 1170 table->lcl_head->prev_line = info; 1171 if (address < seq->low_pc) 1172 seq->low_pc = address; 1173 } 1174 return TRUE; 1175 } 1176 1177 /* Extract a fully qualified filename from a line info table. 1178 The returned string has been malloc'ed and it is the caller's 1179 responsibility to free it. */ 1180 1181 static char * 1182 concat_filename (struct line_info_table *table, unsigned int file) 1183 { 1184 char *filename; 1185 1186 if (file - 1 >= table->num_files) 1187 { 1188 /* FILE == 0 means unknown. */ 1189 if (file) 1190 (*_bfd_error_handler) 1191 (_("Dwarf Error: mangled line number section (bad file number).")); 1192 return strdup ("<unknown>"); 1193 } 1194 1195 filename = table->files[file - 1].name; 1196 1197 if (!IS_ABSOLUTE_PATH (filename)) 1198 { 1199 char *dir_name = NULL; 1200 char *subdir_name = NULL; 1201 char *name; 1202 size_t len; 1203 1204 if (table->files[file - 1].dir) 1205 subdir_name = table->dirs[table->files[file - 1].dir - 1]; 1206 1207 if (!subdir_name || !IS_ABSOLUTE_PATH (subdir_name)) 1208 dir_name = table->comp_dir; 1209 1210 if (!dir_name) 1211 { 1212 dir_name = subdir_name; 1213 subdir_name = NULL; 1214 } 1215 1216 if (!dir_name) 1217 return strdup (filename); 1218 1219 len = strlen (dir_name) + strlen (filename) + 2; 1220 1221 if (subdir_name) 1222 { 1223 len += strlen (subdir_name) + 1; 1224 name = (char *) bfd_malloc (len); 1225 if (name) 1226 sprintf (name, "%s/%s/%s", dir_name, subdir_name, filename); 1227 } 1228 else 1229 { 1230 name = (char *) bfd_malloc (len); 1231 if (name) 1232 sprintf (name, "%s/%s", dir_name, filename); 1233 } 1234 1235 return name; 1236 } 1237 1238 return strdup (filename); 1239 } 1240 1241 static bfd_boolean 1242 arange_add (bfd *abfd, struct arange *first_arange, 1243 bfd_vma low_pc, bfd_vma high_pc) 1244 { 1245 struct arange *arange; 1246 1247 /* If the first arange is empty, use it. */ 1248 if (first_arange->high == 0) 1249 { 1250 first_arange->low = low_pc; 1251 first_arange->high = high_pc; 1252 return TRUE; 1253 } 1254 1255 /* Next see if we can cheaply extend an existing range. */ 1256 arange = first_arange; 1257 do 1258 { 1259 if (low_pc == arange->high) 1260 { 1261 arange->high = high_pc; 1262 return TRUE; 1263 } 1264 if (high_pc == arange->low) 1265 { 1266 arange->low = low_pc; 1267 return TRUE; 1268 } 1269 arange = arange->next; 1270 } 1271 while (arange); 1272 1273 /* Need to allocate a new arange and insert it into the arange list. 1274 Order isn't significant, so just insert after the first arange. */ 1275 arange = (struct arange *) bfd_zalloc (abfd, sizeof (*arange)); 1276 if (arange == NULL) 1277 return FALSE; 1278 arange->low = low_pc; 1279 arange->high = high_pc; 1280 arange->next = first_arange->next; 1281 first_arange->next = arange; 1282 return TRUE; 1283 } 1284 1285 /* Compare function for line sequences. */ 1286 1287 static int 1288 compare_sequences (const void* a, const void* b) 1289 { 1290 const struct line_sequence* seq1 = a; 1291 const struct line_sequence* seq2 = b; 1292 1293 /* Sort by low_pc as the primary key. */ 1294 if (seq1->low_pc < seq2->low_pc) 1295 return -1; 1296 if (seq1->low_pc > seq2->low_pc) 1297 return 1; 1298 1299 /* If low_pc values are equal, sort in reverse order of 1300 high_pc, so that the largest region comes first. */ 1301 if (seq1->last_line->address < seq2->last_line->address) 1302 return 1; 1303 if (seq1->last_line->address > seq2->last_line->address) 1304 return -1; 1305 1306 if (seq1->last_line->op_index < seq2->last_line->op_index) 1307 return 1; 1308 if (seq1->last_line->op_index > seq2->last_line->op_index) 1309 return -1; 1310 1311 return 0; 1312 } 1313 1314 /* Sort the line sequences for quick lookup. */ 1315 1316 static bfd_boolean 1317 sort_line_sequences (struct line_info_table* table) 1318 { 1319 bfd_size_type amt; 1320 struct line_sequence* sequences; 1321 struct line_sequence* seq; 1322 unsigned int n = 0; 1323 unsigned int num_sequences = table->num_sequences; 1324 bfd_vma last_high_pc; 1325 1326 if (num_sequences == 0) 1327 return TRUE; 1328 1329 /* Allocate space for an array of sequences. */ 1330 amt = sizeof (struct line_sequence) * num_sequences; 1331 sequences = (struct line_sequence *) bfd_alloc (table->abfd, amt); 1332 if (sequences == NULL) 1333 return FALSE; 1334 1335 /* Copy the linked list into the array, freeing the original nodes. */ 1336 seq = table->sequences; 1337 for (n = 0; n < num_sequences; n++) 1338 { 1339 struct line_sequence* last_seq = seq; 1340 1341 BFD_ASSERT (seq); 1342 sequences[n].low_pc = seq->low_pc; 1343 sequences[n].prev_sequence = NULL; 1344 sequences[n].last_line = seq->last_line; 1345 seq = seq->prev_sequence; 1346 free (last_seq); 1347 } 1348 BFD_ASSERT (seq == NULL); 1349 1350 qsort (sequences, n, sizeof (struct line_sequence), compare_sequences); 1351 1352 /* Make the list binary-searchable by trimming overlapping entries 1353 and removing nested entries. */ 1354 num_sequences = 1; 1355 last_high_pc = sequences[0].last_line->address; 1356 for (n = 1; n < table->num_sequences; n++) 1357 { 1358 if (sequences[n].low_pc < last_high_pc) 1359 { 1360 if (sequences[n].last_line->address <= last_high_pc) 1361 /* Skip nested entries. */ 1362 continue; 1363 1364 /* Trim overlapping entries. */ 1365 sequences[n].low_pc = last_high_pc; 1366 } 1367 last_high_pc = sequences[n].last_line->address; 1368 if (n > num_sequences) 1369 { 1370 /* Close up the gap. */ 1371 sequences[num_sequences].low_pc = sequences[n].low_pc; 1372 sequences[num_sequences].last_line = sequences[n].last_line; 1373 } 1374 num_sequences++; 1375 } 1376 1377 table->sequences = sequences; 1378 table->num_sequences = num_sequences; 1379 return TRUE; 1380 } 1381 1382 /* Decode the line number information for UNIT. */ 1383 1384 static struct line_info_table* 1385 decode_line_info (struct comp_unit *unit, struct dwarf2_debug *stash) 1386 { 1387 bfd *abfd = unit->abfd; 1388 struct line_info_table* table; 1389 bfd_byte *line_ptr; 1390 bfd_byte *line_end; 1391 struct line_head lh; 1392 unsigned int i, bytes_read, offset_size; 1393 char *cur_file, *cur_dir; 1394 unsigned char op_code, extended_op, adj_opcode; 1395 bfd_size_type amt; 1396 1397 if (! read_section (abfd, debug_line, stash->syms, unit->line_offset, 1398 &stash->dwarf_line_buffer, &stash->dwarf_line_size)) 1399 return NULL; 1400 1401 amt = sizeof (struct line_info_table); 1402 table = (struct line_info_table *) bfd_alloc (abfd, amt); 1403 if (table == NULL) 1404 return NULL; 1405 table->abfd = abfd; 1406 table->comp_dir = unit->comp_dir; 1407 1408 table->num_files = 0; 1409 table->files = NULL; 1410 1411 table->num_dirs = 0; 1412 table->dirs = NULL; 1413 1414 table->num_sequences = 0; 1415 table->sequences = NULL; 1416 1417 table->lcl_head = NULL; 1418 1419 line_ptr = stash->dwarf_line_buffer + unit->line_offset; 1420 1421 /* Read in the prologue. */ 1422 lh.total_length = read_4_bytes (abfd, line_ptr); 1423 line_ptr += 4; 1424 offset_size = 4; 1425 if (lh.total_length == 0xffffffff) 1426 { 1427 lh.total_length = read_8_bytes (abfd, line_ptr); 1428 line_ptr += 8; 1429 offset_size = 8; 1430 } 1431 else if (lh.total_length == 0 && unit->addr_size == 8) 1432 { 1433 /* Handle (non-standard) 64-bit DWARF2 formats. */ 1434 lh.total_length = read_4_bytes (abfd, line_ptr); 1435 line_ptr += 4; 1436 offset_size = 8; 1437 } 1438 line_end = line_ptr + lh.total_length; 1439 lh.version = read_2_bytes (abfd, line_ptr); 1440 if (lh.version < 2 || lh.version > 4) 1441 { 1442 (*_bfd_error_handler) 1443 (_("Dwarf Error: Unhandled .debug_line version %d."), lh.version); 1444 bfd_set_error (bfd_error_bad_value); 1445 return NULL; 1446 } 1447 line_ptr += 2; 1448 if (offset_size == 4) 1449 lh.prologue_length = read_4_bytes (abfd, line_ptr); 1450 else 1451 lh.prologue_length = read_8_bytes (abfd, line_ptr); 1452 line_ptr += offset_size; 1453 lh.minimum_instruction_length = read_1_byte (abfd, line_ptr); 1454 line_ptr += 1; 1455 if (lh.version >= 4) 1456 { 1457 lh.maximum_ops_per_insn = read_1_byte (abfd, line_ptr); 1458 line_ptr += 1; 1459 } 1460 else 1461 lh.maximum_ops_per_insn = 1; 1462 if (lh.maximum_ops_per_insn == 0) 1463 { 1464 (*_bfd_error_handler) 1465 (_("Dwarf Error: Invalid maximum operations per instruction.")); 1466 bfd_set_error (bfd_error_bad_value); 1467 return NULL; 1468 } 1469 lh.default_is_stmt = read_1_byte (abfd, line_ptr); 1470 line_ptr += 1; 1471 lh.line_base = read_1_signed_byte (abfd, line_ptr); 1472 line_ptr += 1; 1473 lh.line_range = read_1_byte (abfd, line_ptr); 1474 line_ptr += 1; 1475 lh.opcode_base = read_1_byte (abfd, line_ptr); 1476 line_ptr += 1; 1477 amt = lh.opcode_base * sizeof (unsigned char); 1478 lh.standard_opcode_lengths = (unsigned char *) bfd_alloc (abfd, amt); 1479 1480 lh.standard_opcode_lengths[0] = 1; 1481 1482 for (i = 1; i < lh.opcode_base; ++i) 1483 { 1484 lh.standard_opcode_lengths[i] = read_1_byte (abfd, line_ptr); 1485 line_ptr += 1; 1486 } 1487 1488 /* Read directory table. */ 1489 while ((cur_dir = read_string (abfd, line_ptr, &bytes_read)) != NULL) 1490 { 1491 line_ptr += bytes_read; 1492 1493 if ((table->num_dirs % DIR_ALLOC_CHUNK) == 0) 1494 { 1495 char **tmp; 1496 1497 amt = table->num_dirs + DIR_ALLOC_CHUNK; 1498 amt *= sizeof (char *); 1499 1500 tmp = (char **) bfd_realloc (table->dirs, amt); 1501 if (tmp == NULL) 1502 goto fail; 1503 table->dirs = tmp; 1504 } 1505 1506 table->dirs[table->num_dirs++] = cur_dir; 1507 } 1508 1509 line_ptr += bytes_read; 1510 1511 /* Read file name table. */ 1512 while ((cur_file = read_string (abfd, line_ptr, &bytes_read)) != NULL) 1513 { 1514 line_ptr += bytes_read; 1515 1516 if ((table->num_files % FILE_ALLOC_CHUNK) == 0) 1517 { 1518 struct fileinfo *tmp; 1519 1520 amt = table->num_files + FILE_ALLOC_CHUNK; 1521 amt *= sizeof (struct fileinfo); 1522 1523 tmp = (struct fileinfo *) bfd_realloc (table->files, amt); 1524 if (tmp == NULL) 1525 goto fail; 1526 table->files = tmp; 1527 } 1528 1529 table->files[table->num_files].name = cur_file; 1530 table->files[table->num_files].dir = 1531 read_unsigned_leb128 (abfd, line_ptr, &bytes_read); 1532 line_ptr += bytes_read; 1533 table->files[table->num_files].time = 1534 read_unsigned_leb128 (abfd, line_ptr, &bytes_read); 1535 line_ptr += bytes_read; 1536 table->files[table->num_files].size = 1537 read_unsigned_leb128 (abfd, line_ptr, &bytes_read); 1538 line_ptr += bytes_read; 1539 table->num_files++; 1540 } 1541 1542 line_ptr += bytes_read; 1543 1544 /* Read the statement sequences until there's nothing left. */ 1545 while (line_ptr < line_end) 1546 { 1547 /* State machine registers. */ 1548 bfd_vma address = 0; 1549 unsigned char op_index = 0; 1550 char * filename = table->num_files ? concat_filename (table, 1) : NULL; 1551 unsigned int line = 1; 1552 unsigned int column = 0; 1553 int is_stmt = lh.default_is_stmt; 1554 int end_sequence = 0; 1555 /* eraxxon@alumni.rice.edu: Against the DWARF2 specs, some 1556 compilers generate address sequences that are wildly out of 1557 order using DW_LNE_set_address (e.g. Intel C++ 6.0 compiler 1558 for ia64-Linux). Thus, to determine the low and high 1559 address, we must compare on every DW_LNS_copy, etc. */ 1560 bfd_vma low_pc = (bfd_vma) -1; 1561 bfd_vma high_pc = 0; 1562 1563 /* Decode the table. */ 1564 while (! end_sequence) 1565 { 1566 op_code = read_1_byte (abfd, line_ptr); 1567 line_ptr += 1; 1568 1569 if (op_code >= lh.opcode_base) 1570 { 1571 /* Special operand. */ 1572 adj_opcode = op_code - lh.opcode_base; 1573 if (lh.maximum_ops_per_insn == 1) 1574 address += (adj_opcode / lh.line_range) 1575 * lh.minimum_instruction_length; 1576 else 1577 { 1578 address += ((op_index + (adj_opcode / lh.line_range)) 1579 / lh.maximum_ops_per_insn) 1580 * lh.minimum_instruction_length; 1581 op_index = (op_index + (adj_opcode / lh.line_range)) 1582 % lh.maximum_ops_per_insn; 1583 } 1584 line += lh.line_base + (adj_opcode % lh.line_range); 1585 /* Append row to matrix using current values. */ 1586 if (!add_line_info (table, address, op_index, filename, 1587 line, column, 0)) 1588 goto line_fail; 1589 if (address < low_pc) 1590 low_pc = address; 1591 if (address > high_pc) 1592 high_pc = address; 1593 } 1594 else switch (op_code) 1595 { 1596 case DW_LNS_extended_op: 1597 /* Ignore length. */ 1598 line_ptr += 1; 1599 extended_op = read_1_byte (abfd, line_ptr); 1600 line_ptr += 1; 1601 1602 switch (extended_op) 1603 { 1604 case DW_LNE_end_sequence: 1605 end_sequence = 1; 1606 if (!add_line_info (table, address, op_index, filename, 1607 line, column, end_sequence)) 1608 goto line_fail; 1609 if (address < low_pc) 1610 low_pc = address; 1611 if (address > high_pc) 1612 high_pc = address; 1613 if (!arange_add (unit->abfd, &unit->arange, low_pc, high_pc)) 1614 goto line_fail; 1615 break; 1616 case DW_LNE_set_address: 1617 address = read_address (unit, line_ptr); 1618 op_index = 0; 1619 line_ptr += unit->addr_size; 1620 break; 1621 case DW_LNE_define_file: 1622 cur_file = read_string (abfd, line_ptr, &bytes_read); 1623 line_ptr += bytes_read; 1624 if ((table->num_files % FILE_ALLOC_CHUNK) == 0) 1625 { 1626 struct fileinfo *tmp; 1627 1628 amt = table->num_files + FILE_ALLOC_CHUNK; 1629 amt *= sizeof (struct fileinfo); 1630 tmp = (struct fileinfo *) bfd_realloc (table->files, amt); 1631 if (tmp == NULL) 1632 goto line_fail; 1633 table->files = tmp; 1634 } 1635 table->files[table->num_files].name = cur_file; 1636 table->files[table->num_files].dir = 1637 read_unsigned_leb128 (abfd, line_ptr, &bytes_read); 1638 line_ptr += bytes_read; 1639 table->files[table->num_files].time = 1640 read_unsigned_leb128 (abfd, line_ptr, &bytes_read); 1641 line_ptr += bytes_read; 1642 table->files[table->num_files].size = 1643 read_unsigned_leb128 (abfd, line_ptr, &bytes_read); 1644 line_ptr += bytes_read; 1645 table->num_files++; 1646 break; 1647 case DW_LNE_set_discriminator: 1648 (void) read_unsigned_leb128 (abfd, line_ptr, &bytes_read); 1649 line_ptr += bytes_read; 1650 break; 1651 default: 1652 (*_bfd_error_handler) (_("Dwarf Error: mangled line number section.")); 1653 bfd_set_error (bfd_error_bad_value); 1654 line_fail: 1655 if (filename != NULL) 1656 free (filename); 1657 goto fail; 1658 } 1659 break; 1660 case DW_LNS_copy: 1661 if (!add_line_info (table, address, op_index, 1662 filename, line, column, 0)) 1663 goto line_fail; 1664 if (address < low_pc) 1665 low_pc = address; 1666 if (address > high_pc) 1667 high_pc = address; 1668 break; 1669 case DW_LNS_advance_pc: 1670 if (lh.maximum_ops_per_insn == 1) 1671 address += lh.minimum_instruction_length 1672 * read_unsigned_leb128 (abfd, line_ptr, 1673 &bytes_read); 1674 else 1675 { 1676 bfd_vma adjust = read_unsigned_leb128 (abfd, line_ptr, 1677 &bytes_read); 1678 address = ((op_index + adjust) / lh.maximum_ops_per_insn) 1679 * lh.minimum_instruction_length; 1680 op_index = (op_index + adjust) % lh.maximum_ops_per_insn; 1681 } 1682 line_ptr += bytes_read; 1683 break; 1684 case DW_LNS_advance_line: 1685 line += read_signed_leb128 (abfd, line_ptr, &bytes_read); 1686 line_ptr += bytes_read; 1687 break; 1688 case DW_LNS_set_file: 1689 { 1690 unsigned int file; 1691 1692 /* The file and directory tables are 0 1693 based, the references are 1 based. */ 1694 file = read_unsigned_leb128 (abfd, line_ptr, &bytes_read); 1695 line_ptr += bytes_read; 1696 if (filename) 1697 free (filename); 1698 filename = concat_filename (table, file); 1699 break; 1700 } 1701 case DW_LNS_set_column: 1702 column = read_unsigned_leb128 (abfd, line_ptr, &bytes_read); 1703 line_ptr += bytes_read; 1704 break; 1705 case DW_LNS_negate_stmt: 1706 is_stmt = (!is_stmt); 1707 break; 1708 case DW_LNS_set_basic_block: 1709 break; 1710 case DW_LNS_const_add_pc: 1711 if (lh.maximum_ops_per_insn == 1) 1712 address += lh.minimum_instruction_length 1713 * ((255 - lh.opcode_base) / lh.line_range); 1714 else 1715 { 1716 bfd_vma adjust = ((255 - lh.opcode_base) / lh.line_range); 1717 address += lh.minimum_instruction_length 1718 * ((op_index + adjust) / lh.maximum_ops_per_insn); 1719 op_index = (op_index + adjust) % lh.maximum_ops_per_insn; 1720 } 1721 break; 1722 case DW_LNS_fixed_advance_pc: 1723 address += read_2_bytes (abfd, line_ptr); 1724 op_index = 0; 1725 line_ptr += 2; 1726 break; 1727 default: 1728 /* Unknown standard opcode, ignore it. */ 1729 for (i = 0; i < lh.standard_opcode_lengths[op_code]; i++) 1730 { 1731 (void) read_unsigned_leb128 (abfd, line_ptr, &bytes_read); 1732 line_ptr += bytes_read; 1733 } 1734 break; 1735 } 1736 } 1737 1738 if (filename) 1739 free (filename); 1740 } 1741 1742 if (sort_line_sequences (table)) 1743 return table; 1744 1745 fail: 1746 if (table->sequences != NULL) 1747 free (table->sequences); 1748 if (table->files != NULL) 1749 free (table->files); 1750 if (table->dirs != NULL) 1751 free (table->dirs); 1752 return NULL; 1753 } 1754 1755 /* If ADDR is within TABLE set the output parameters and return TRUE, 1756 otherwise return FALSE. The output parameters, FILENAME_PTR and 1757 LINENUMBER_PTR, are pointers to the objects to be filled in. */ 1758 1759 static bfd_boolean 1760 lookup_address_in_line_info_table (struct line_info_table *table, 1761 bfd_vma addr, 1762 const char **filename_ptr, 1763 unsigned int *linenumber_ptr) 1764 { 1765 struct line_sequence *seq = NULL; 1766 struct line_info *each_line; 1767 int low, high, mid; 1768 1769 /* Binary search the array of sequences. */ 1770 low = 0; 1771 high = table->num_sequences; 1772 while (low < high) 1773 { 1774 mid = (low + high) / 2; 1775 seq = &table->sequences[mid]; 1776 if (addr < seq->low_pc) 1777 high = mid; 1778 else if (addr >= seq->last_line->address) 1779 low = mid + 1; 1780 else 1781 break; 1782 } 1783 1784 if (seq && addr >= seq->low_pc && addr < seq->last_line->address) 1785 { 1786 /* Note: seq->last_line should be a descendingly sorted list. */ 1787 for (each_line = seq->last_line; 1788 each_line; 1789 each_line = each_line->prev_line) 1790 if (addr >= each_line->address) 1791 break; 1792 1793 if (each_line 1794 && !(each_line->end_sequence || each_line == seq->last_line)) 1795 { 1796 *filename_ptr = each_line->filename; 1797 *linenumber_ptr = each_line->line; 1798 return TRUE; 1799 } 1800 } 1801 1802 *filename_ptr = NULL; 1803 return FALSE; 1804 } 1805 1806 /* Read in the .debug_ranges section for future reference. */ 1807 1808 static bfd_boolean 1809 read_debug_ranges (struct comp_unit *unit) 1810 { 1811 struct dwarf2_debug *stash = unit->stash; 1812 return read_section (unit->abfd, debug_ranges, stash->syms, 0, 1813 &stash->dwarf_ranges_buffer, &stash->dwarf_ranges_size); 1814 } 1815 1816 /* Function table functions. */ 1817 1818 /* If ADDR is within TABLE, set FUNCTIONNAME_PTR, and return TRUE. 1819 Note that we need to find the function that has the smallest 1820 range that contains ADDR, to handle inlined functions without 1821 depending upon them being ordered in TABLE by increasing range. */ 1822 1823 static bfd_boolean 1824 lookup_address_in_function_table (struct comp_unit *unit, 1825 bfd_vma addr, 1826 struct funcinfo **function_ptr, 1827 const char **functionname_ptr) 1828 { 1829 struct funcinfo* each_func; 1830 struct funcinfo* best_fit = NULL; 1831 struct arange *arange; 1832 1833 for (each_func = unit->function_table; 1834 each_func; 1835 each_func = each_func->prev_func) 1836 { 1837 for (arange = &each_func->arange; 1838 arange; 1839 arange = arange->next) 1840 { 1841 if (addr >= arange->low && addr < arange->high) 1842 { 1843 if (!best_fit || 1844 ((arange->high - arange->low) < (best_fit->arange.high - best_fit->arange.low))) 1845 best_fit = each_func; 1846 } 1847 } 1848 } 1849 1850 if (best_fit) 1851 { 1852 *functionname_ptr = best_fit->name; 1853 *function_ptr = best_fit; 1854 return TRUE; 1855 } 1856 else 1857 { 1858 return FALSE; 1859 } 1860 } 1861 1862 /* If SYM at ADDR is within function table of UNIT, set FILENAME_PTR 1863 and LINENUMBER_PTR, and return TRUE. */ 1864 1865 static bfd_boolean 1866 lookup_symbol_in_function_table (struct comp_unit *unit, 1867 asymbol *sym, 1868 bfd_vma addr, 1869 const char **filename_ptr, 1870 unsigned int *linenumber_ptr) 1871 { 1872 struct funcinfo* each_func; 1873 struct funcinfo* best_fit = NULL; 1874 struct arange *arange; 1875 const char *name = bfd_asymbol_name (sym); 1876 asection *sec = bfd_get_section (sym); 1877 1878 for (each_func = unit->function_table; 1879 each_func; 1880 each_func = each_func->prev_func) 1881 { 1882 for (arange = &each_func->arange; 1883 arange; 1884 arange = arange->next) 1885 { 1886 if ((!each_func->sec || each_func->sec == sec) 1887 && addr >= arange->low 1888 && addr < arange->high 1889 && each_func->name 1890 && strcmp (name, each_func->name) == 0 1891 && (!best_fit 1892 || ((arange->high - arange->low) 1893 < (best_fit->arange.high - best_fit->arange.low)))) 1894 best_fit = each_func; 1895 } 1896 } 1897 1898 if (best_fit) 1899 { 1900 best_fit->sec = sec; 1901 *filename_ptr = best_fit->file; 1902 *linenumber_ptr = best_fit->line; 1903 return TRUE; 1904 } 1905 else 1906 return FALSE; 1907 } 1908 1909 /* Variable table functions. */ 1910 1911 /* If SYM is within variable table of UNIT, set FILENAME_PTR and 1912 LINENUMBER_PTR, and return TRUE. */ 1913 1914 static bfd_boolean 1915 lookup_symbol_in_variable_table (struct comp_unit *unit, 1916 asymbol *sym, 1917 bfd_vma addr, 1918 const char **filename_ptr, 1919 unsigned int *linenumber_ptr) 1920 { 1921 const char *name = bfd_asymbol_name (sym); 1922 asection *sec = bfd_get_section (sym); 1923 struct varinfo* each; 1924 1925 for (each = unit->variable_table; each; each = each->prev_var) 1926 if (each->stack == 0 1927 && each->file != NULL 1928 && each->name != NULL 1929 && each->addr == addr 1930 && (!each->sec || each->sec == sec) 1931 && strcmp (name, each->name) == 0) 1932 break; 1933 1934 if (each) 1935 { 1936 each->sec = sec; 1937 *filename_ptr = each->file; 1938 *linenumber_ptr = each->line; 1939 return TRUE; 1940 } 1941 else 1942 return FALSE; 1943 } 1944 1945 static char * 1946 find_abstract_instance_name (struct comp_unit *unit, 1947 struct attribute *attr_ptr) 1948 { 1949 bfd *abfd = unit->abfd; 1950 bfd_byte *info_ptr; 1951 unsigned int abbrev_number, bytes_read, i; 1952 struct abbrev_info *abbrev; 1953 bfd_uint64_t die_ref = attr_ptr->u.val; 1954 struct attribute attr; 1955 char *name = 0; 1956 1957 /* DW_FORM_ref_addr can reference an entry in a different CU. It 1958 is an offset from the .debug_info section, not the current CU. */ 1959 if (attr_ptr->form == DW_FORM_ref_addr) 1960 { 1961 /* We only support DW_FORM_ref_addr within the same file, so 1962 any relocations should be resolved already. */ 1963 if (!die_ref) 1964 abort (); 1965 1966 info_ptr = unit->sec_info_ptr + die_ref; 1967 } 1968 else 1969 info_ptr = unit->info_ptr_unit + die_ref; 1970 abbrev_number = read_unsigned_leb128 (abfd, info_ptr, &bytes_read); 1971 info_ptr += bytes_read; 1972 1973 if (abbrev_number) 1974 { 1975 abbrev = lookup_abbrev (abbrev_number, unit->abbrevs); 1976 if (! abbrev) 1977 { 1978 (*_bfd_error_handler) (_("Dwarf Error: Could not find abbrev number %u."), 1979 abbrev_number); 1980 bfd_set_error (bfd_error_bad_value); 1981 } 1982 else 1983 { 1984 for (i = 0; i < abbrev->num_attrs; ++i) 1985 { 1986 info_ptr = read_attribute (&attr, &abbrev->attrs[i], unit, 1987 info_ptr); 1988 if (info_ptr == NULL) 1989 break; 1990 switch (attr.name) 1991 { 1992 case DW_AT_name: 1993 /* Prefer DW_AT_MIPS_linkage_name or DW_AT_linkage_name 1994 over DW_AT_name. */ 1995 if (name == NULL) 1996 name = attr.u.str; 1997 break; 1998 case DW_AT_specification: 1999 name = find_abstract_instance_name (unit, &attr); 2000 break; 2001 case DW_AT_linkage_name: 2002 case DW_AT_MIPS_linkage_name: 2003 name = attr.u.str; 2004 break; 2005 default: 2006 break; 2007 } 2008 } 2009 } 2010 } 2011 return name; 2012 } 2013 2014 static bfd_boolean 2015 read_rangelist (struct comp_unit *unit, struct arange *arange, 2016 bfd_uint64_t offset) 2017 { 2018 bfd_byte *ranges_ptr; 2019 bfd_vma base_address = unit->base_address; 2020 2021 if (! unit->stash->dwarf_ranges_buffer) 2022 { 2023 if (! read_debug_ranges (unit)) 2024 return FALSE; 2025 } 2026 ranges_ptr = unit->stash->dwarf_ranges_buffer + offset; 2027 2028 for (;;) 2029 { 2030 bfd_vma low_pc; 2031 bfd_vma high_pc; 2032 2033 low_pc = read_address (unit, ranges_ptr); 2034 ranges_ptr += unit->addr_size; 2035 high_pc = read_address (unit, ranges_ptr); 2036 ranges_ptr += unit->addr_size; 2037 2038 if (low_pc == 0 && high_pc == 0) 2039 break; 2040 if (low_pc == -1UL && high_pc != -1UL) 2041 base_address = high_pc; 2042 else 2043 { 2044 if (!arange_add (unit->abfd, arange, 2045 base_address + low_pc, base_address + high_pc)) 2046 return FALSE; 2047 } 2048 } 2049 return TRUE; 2050 } 2051 2052 /* DWARF2 Compilation unit functions. */ 2053 2054 /* Scan over each die in a comp. unit looking for functions to add 2055 to the function table and variables to the variable table. */ 2056 2057 static bfd_boolean 2058 scan_unit_for_symbols (struct comp_unit *unit) 2059 { 2060 bfd *abfd = unit->abfd; 2061 bfd_byte *info_ptr = unit->first_child_die_ptr; 2062 int nesting_level = 1; 2063 struct funcinfo **nested_funcs; 2064 int nested_funcs_size; 2065 2066 /* Maintain a stack of in-scope functions and inlined functions, which we 2067 can use to set the caller_func field. */ 2068 nested_funcs_size = 32; 2069 nested_funcs = (struct funcinfo **) 2070 bfd_malloc (nested_funcs_size * sizeof (struct funcinfo *)); 2071 if (nested_funcs == NULL) 2072 return FALSE; 2073 nested_funcs[nesting_level] = 0; 2074 2075 while (nesting_level) 2076 { 2077 unsigned int abbrev_number, bytes_read, i; 2078 struct abbrev_info *abbrev; 2079 struct attribute attr; 2080 struct funcinfo *func; 2081 struct varinfo *var; 2082 bfd_vma low_pc = 0; 2083 bfd_vma high_pc = 0; 2084 2085 abbrev_number = read_unsigned_leb128 (abfd, info_ptr, &bytes_read); 2086 info_ptr += bytes_read; 2087 2088 if (! abbrev_number) 2089 { 2090 nesting_level--; 2091 continue; 2092 } 2093 2094 abbrev = lookup_abbrev (abbrev_number,unit->abbrevs); 2095 if (! abbrev) 2096 { 2097 (*_bfd_error_handler) 2098 (_("Dwarf Error: Could not find abbrev number %u."), 2099 abbrev_number); 2100 bfd_set_error (bfd_error_bad_value); 2101 goto fail; 2102 } 2103 2104 var = NULL; 2105 if (abbrev->tag == DW_TAG_subprogram 2106 || abbrev->tag == DW_TAG_entry_point 2107 || abbrev->tag == DW_TAG_inlined_subroutine) 2108 { 2109 bfd_size_type amt = sizeof (struct funcinfo); 2110 func = (struct funcinfo *) bfd_zalloc (abfd, amt); 2111 if (func == NULL) 2112 goto fail; 2113 func->tag = abbrev->tag; 2114 func->prev_func = unit->function_table; 2115 unit->function_table = func; 2116 BFD_ASSERT (!unit->cached); 2117 2118 if (func->tag == DW_TAG_inlined_subroutine) 2119 for (i = nesting_level - 1; i >= 1; i--) 2120 if (nested_funcs[i]) 2121 { 2122 func->caller_func = nested_funcs[i]; 2123 break; 2124 } 2125 nested_funcs[nesting_level] = func; 2126 } 2127 else 2128 { 2129 func = NULL; 2130 if (abbrev->tag == DW_TAG_variable) 2131 { 2132 bfd_size_type amt = sizeof (struct varinfo); 2133 var = (struct varinfo *) bfd_zalloc (abfd, amt); 2134 if (var == NULL) 2135 goto fail; 2136 var->tag = abbrev->tag; 2137 var->stack = 1; 2138 var->prev_var = unit->variable_table; 2139 unit->variable_table = var; 2140 BFD_ASSERT (!unit->cached); 2141 } 2142 2143 /* No inline function in scope at this nesting level. */ 2144 nested_funcs[nesting_level] = 0; 2145 } 2146 2147 for (i = 0; i < abbrev->num_attrs; ++i) 2148 { 2149 info_ptr = read_attribute (&attr, &abbrev->attrs[i], unit, info_ptr); 2150 if (info_ptr == NULL) 2151 goto fail; 2152 2153 if (func) 2154 { 2155 switch (attr.name) 2156 { 2157 case DW_AT_call_file: 2158 func->caller_file = concat_filename (unit->line_table, 2159 attr.u.val); 2160 break; 2161 2162 case DW_AT_call_line: 2163 func->caller_line = attr.u.val; 2164 break; 2165 2166 case DW_AT_abstract_origin: 2167 func->name = find_abstract_instance_name (unit, &attr); 2168 break; 2169 2170 case DW_AT_name: 2171 /* Prefer DW_AT_MIPS_linkage_name or DW_AT_linkage_name 2172 over DW_AT_name. */ 2173 if (func->name == NULL) 2174 func->name = attr.u.str; 2175 break; 2176 2177 case DW_AT_linkage_name: 2178 case DW_AT_MIPS_linkage_name: 2179 func->name = attr.u.str; 2180 break; 2181 2182 case DW_AT_low_pc: 2183 low_pc = attr.u.val; 2184 break; 2185 2186 case DW_AT_high_pc: 2187 high_pc = attr.u.val; 2188 break; 2189 2190 case DW_AT_ranges: 2191 if (!read_rangelist (unit, &func->arange, attr.u.val)) 2192 goto fail; 2193 break; 2194 2195 case DW_AT_decl_file: 2196 func->file = concat_filename (unit->line_table, 2197 attr.u.val); 2198 break; 2199 2200 case DW_AT_decl_line: 2201 func->line = attr.u.val; 2202 break; 2203 2204 default: 2205 break; 2206 } 2207 } 2208 else if (var) 2209 { 2210 switch (attr.name) 2211 { 2212 case DW_AT_name: 2213 var->name = attr.u.str; 2214 break; 2215 2216 case DW_AT_decl_file: 2217 var->file = concat_filename (unit->line_table, 2218 attr.u.val); 2219 break; 2220 2221 case DW_AT_decl_line: 2222 var->line = attr.u.val; 2223 break; 2224 2225 case DW_AT_external: 2226 if (attr.u.val != 0) 2227 var->stack = 0; 2228 break; 2229 2230 case DW_AT_location: 2231 switch (attr.form) 2232 { 2233 case DW_FORM_block: 2234 case DW_FORM_block1: 2235 case DW_FORM_block2: 2236 case DW_FORM_block4: 2237 case DW_FORM_exprloc: 2238 if (*attr.u.blk->data == DW_OP_addr) 2239 { 2240 var->stack = 0; 2241 2242 /* Verify that DW_OP_addr is the only opcode in the 2243 location, in which case the block size will be 1 2244 plus the address size. */ 2245 /* ??? For TLS variables, gcc can emit 2246 DW_OP_addr <addr> DW_OP_GNU_push_tls_address 2247 which we don't handle here yet. */ 2248 if (attr.u.blk->size == unit->addr_size + 1U) 2249 var->addr = bfd_get (unit->addr_size * 8, 2250 unit->abfd, 2251 attr.u.blk->data + 1); 2252 } 2253 break; 2254 2255 default: 2256 break; 2257 } 2258 break; 2259 2260 default: 2261 break; 2262 } 2263 } 2264 } 2265 2266 if (func && high_pc != 0) 2267 { 2268 if (!arange_add (unit->abfd, &func->arange, low_pc, high_pc)) 2269 goto fail; 2270 } 2271 2272 if (abbrev->has_children) 2273 { 2274 nesting_level++; 2275 2276 if (nesting_level >= nested_funcs_size) 2277 { 2278 struct funcinfo **tmp; 2279 2280 nested_funcs_size *= 2; 2281 tmp = (struct funcinfo **) 2282 bfd_realloc (nested_funcs, 2283 (nested_funcs_size * sizeof (struct funcinfo *))); 2284 if (tmp == NULL) 2285 goto fail; 2286 nested_funcs = tmp; 2287 } 2288 nested_funcs[nesting_level] = 0; 2289 } 2290 } 2291 2292 free (nested_funcs); 2293 return TRUE; 2294 2295 fail: 2296 free (nested_funcs); 2297 return FALSE; 2298 } 2299 2300 /* Parse a DWARF2 compilation unit starting at INFO_PTR. This 2301 includes the compilation unit header that proceeds the DIE's, but 2302 does not include the length field that precedes each compilation 2303 unit header. END_PTR points one past the end of this comp unit. 2304 OFFSET_SIZE is the size of DWARF2 offsets (either 4 or 8 bytes). 2305 2306 This routine does not read the whole compilation unit; only enough 2307 to get to the line number information for the compilation unit. */ 2308 2309 static struct comp_unit * 2310 parse_comp_unit (struct dwarf2_debug *stash, 2311 bfd_vma unit_length, 2312 bfd_byte *info_ptr_unit, 2313 unsigned int offset_size) 2314 { 2315 struct comp_unit* unit; 2316 unsigned int version; 2317 bfd_uint64_t abbrev_offset = 0; 2318 unsigned int addr_size; 2319 struct abbrev_info** abbrevs; 2320 unsigned int abbrev_number, bytes_read, i; 2321 struct abbrev_info *abbrev; 2322 struct attribute attr; 2323 bfd_byte *info_ptr = stash->info_ptr; 2324 bfd_byte *end_ptr = info_ptr + unit_length; 2325 bfd_size_type amt; 2326 bfd_vma low_pc = 0; 2327 bfd_vma high_pc = 0; 2328 bfd *abfd = stash->bfd_ptr; 2329 2330 version = read_2_bytes (abfd, info_ptr); 2331 info_ptr += 2; 2332 BFD_ASSERT (offset_size == 4 || offset_size == 8); 2333 if (offset_size == 4) 2334 abbrev_offset = read_4_bytes (abfd, info_ptr); 2335 else 2336 abbrev_offset = read_8_bytes (abfd, info_ptr); 2337 info_ptr += offset_size; 2338 addr_size = read_1_byte (abfd, info_ptr); 2339 info_ptr += 1; 2340 2341 if (version != 2 && version != 3 && version != 4) 2342 { 2343 (*_bfd_error_handler) (_("Dwarf Error: found dwarf version '%u', this reader only handles version 2, 3 and 4 information."), version); 2344 bfd_set_error (bfd_error_bad_value); 2345 return 0; 2346 } 2347 2348 if (addr_size > sizeof (bfd_vma)) 2349 { 2350 (*_bfd_error_handler) (_("Dwarf Error: found address size '%u', this reader can not handle sizes greater than '%u'."), 2351 addr_size, 2352 (unsigned int) sizeof (bfd_vma)); 2353 bfd_set_error (bfd_error_bad_value); 2354 return 0; 2355 } 2356 2357 if (addr_size != 2 && addr_size != 4 && addr_size != 8) 2358 { 2359 (*_bfd_error_handler) ("Dwarf Error: found address size '%u', this reader can only handle address sizes '2', '4' and '8'.", addr_size); 2360 bfd_set_error (bfd_error_bad_value); 2361 return 0; 2362 } 2363 2364 /* Read the abbrevs for this compilation unit into a table. */ 2365 abbrevs = read_abbrevs (abfd, abbrev_offset, stash); 2366 if (! abbrevs) 2367 return 0; 2368 2369 abbrev_number = read_unsigned_leb128 (abfd, info_ptr, &bytes_read); 2370 info_ptr += bytes_read; 2371 if (! abbrev_number) 2372 { 2373 (*_bfd_error_handler) (_("Dwarf Error: Bad abbrev number: %u."), 2374 abbrev_number); 2375 bfd_set_error (bfd_error_bad_value); 2376 return 0; 2377 } 2378 2379 abbrev = lookup_abbrev (abbrev_number, abbrevs); 2380 if (! abbrev) 2381 { 2382 (*_bfd_error_handler) (_("Dwarf Error: Could not find abbrev number %u."), 2383 abbrev_number); 2384 bfd_set_error (bfd_error_bad_value); 2385 return 0; 2386 } 2387 2388 amt = sizeof (struct comp_unit); 2389 unit = (struct comp_unit *) bfd_zalloc (abfd, amt); 2390 if (unit == NULL) 2391 return NULL; 2392 unit->abfd = abfd; 2393 unit->version = version; 2394 unit->addr_size = addr_size; 2395 unit->offset_size = offset_size; 2396 unit->abbrevs = abbrevs; 2397 unit->end_ptr = end_ptr; 2398 unit->stash = stash; 2399 unit->info_ptr_unit = info_ptr_unit; 2400 unit->sec_info_ptr = stash->sec_info_ptr; 2401 2402 for (i = 0; i < abbrev->num_attrs; ++i) 2403 { 2404 info_ptr = read_attribute (&attr, &abbrev->attrs[i], unit, info_ptr); 2405 if (info_ptr == NULL) 2406 return NULL; 2407 2408 /* Store the data if it is of an attribute we want to keep in a 2409 partial symbol table. */ 2410 switch (attr.name) 2411 { 2412 case DW_AT_stmt_list: 2413 unit->stmtlist = 1; 2414 unit->line_offset = attr.u.val; 2415 break; 2416 2417 case DW_AT_name: 2418 unit->name = attr.u.str; 2419 break; 2420 2421 case DW_AT_low_pc: 2422 low_pc = attr.u.val; 2423 /* If the compilation unit DIE has a DW_AT_low_pc attribute, 2424 this is the base address to use when reading location 2425 lists or range lists. */ 2426 unit->base_address = low_pc; 2427 break; 2428 2429 case DW_AT_high_pc: 2430 high_pc = attr.u.val; 2431 break; 2432 2433 case DW_AT_ranges: 2434 if (!read_rangelist (unit, &unit->arange, attr.u.val)) 2435 return NULL; 2436 break; 2437 2438 case DW_AT_comp_dir: 2439 { 2440 char *comp_dir = attr.u.str; 2441 if (comp_dir) 2442 { 2443 /* Irix 6.2 native cc prepends <machine>.: to the compilation 2444 directory, get rid of it. */ 2445 char *cp = strchr (comp_dir, ':'); 2446 2447 if (cp && cp != comp_dir && cp[-1] == '.' && cp[1] == '/') 2448 comp_dir = cp + 1; 2449 } 2450 unit->comp_dir = comp_dir; 2451 break; 2452 } 2453 2454 default: 2455 break; 2456 } 2457 } 2458 if (high_pc != 0) 2459 { 2460 if (!arange_add (unit->abfd, &unit->arange, low_pc, high_pc)) 2461 return NULL; 2462 } 2463 2464 unit->first_child_die_ptr = info_ptr; 2465 return unit; 2466 } 2467 2468 /* Return TRUE if UNIT may contain the address given by ADDR. When 2469 there are functions written entirely with inline asm statements, the 2470 range info in the compilation unit header may not be correct. We 2471 need to consult the line info table to see if a compilation unit 2472 really contains the given address. */ 2473 2474 static bfd_boolean 2475 comp_unit_contains_address (struct comp_unit *unit, bfd_vma addr) 2476 { 2477 struct arange *arange; 2478 2479 if (unit->error) 2480 return FALSE; 2481 2482 arange = &unit->arange; 2483 do 2484 { 2485 if (addr >= arange->low && addr < arange->high) 2486 return TRUE; 2487 arange = arange->next; 2488 } 2489 while (arange); 2490 2491 return FALSE; 2492 } 2493 2494 /* If UNIT contains ADDR, set the output parameters to the values for 2495 the line containing ADDR. The output parameters, FILENAME_PTR, 2496 FUNCTIONNAME_PTR, and LINENUMBER_PTR, are pointers to the objects 2497 to be filled in. 2498 2499 Return TRUE if UNIT contains ADDR, and no errors were encountered; 2500 FALSE otherwise. */ 2501 2502 static bfd_boolean 2503 comp_unit_find_nearest_line (struct comp_unit *unit, 2504 bfd_vma addr, 2505 const char **filename_ptr, 2506 const char **functionname_ptr, 2507 unsigned int *linenumber_ptr, 2508 struct dwarf2_debug *stash) 2509 { 2510 bfd_boolean line_p; 2511 bfd_boolean func_p; 2512 struct funcinfo *function; 2513 2514 if (unit->error) 2515 return FALSE; 2516 2517 if (! unit->line_table) 2518 { 2519 if (! unit->stmtlist) 2520 { 2521 unit->error = 1; 2522 return FALSE; 2523 } 2524 2525 unit->line_table = decode_line_info (unit, stash); 2526 2527 if (! unit->line_table) 2528 { 2529 unit->error = 1; 2530 return FALSE; 2531 } 2532 2533 if (unit->first_child_die_ptr < unit->end_ptr 2534 && ! scan_unit_for_symbols (unit)) 2535 { 2536 unit->error = 1; 2537 return FALSE; 2538 } 2539 } 2540 2541 function = NULL; 2542 func_p = lookup_address_in_function_table (unit, addr, 2543 &function, functionname_ptr); 2544 if (func_p && (function->tag == DW_TAG_inlined_subroutine)) 2545 stash->inliner_chain = function; 2546 line_p = lookup_address_in_line_info_table (unit->line_table, addr, 2547 filename_ptr, 2548 linenumber_ptr); 2549 return line_p || func_p; 2550 } 2551 2552 /* Check to see if line info is already decoded in a comp_unit. 2553 If not, decode it. Returns TRUE if no errors were encountered; 2554 FALSE otherwise. */ 2555 2556 static bfd_boolean 2557 comp_unit_maybe_decode_line_info (struct comp_unit *unit, 2558 struct dwarf2_debug *stash) 2559 { 2560 if (unit->error) 2561 return FALSE; 2562 2563 if (! unit->line_table) 2564 { 2565 if (! unit->stmtlist) 2566 { 2567 unit->error = 1; 2568 return FALSE; 2569 } 2570 2571 unit->line_table = decode_line_info (unit, stash); 2572 2573 if (! unit->line_table) 2574 { 2575 unit->error = 1; 2576 return FALSE; 2577 } 2578 2579 if (unit->first_child_die_ptr < unit->end_ptr 2580 && ! scan_unit_for_symbols (unit)) 2581 { 2582 unit->error = 1; 2583 return FALSE; 2584 } 2585 } 2586 2587 return TRUE; 2588 } 2589 2590 /* If UNIT contains SYM at ADDR, set the output parameters to the 2591 values for the line containing SYM. The output parameters, 2592 FILENAME_PTR, and LINENUMBER_PTR, are pointers to the objects to be 2593 filled in. 2594 2595 Return TRUE if UNIT contains SYM, and no errors were encountered; 2596 FALSE otherwise. */ 2597 2598 static bfd_boolean 2599 comp_unit_find_line (struct comp_unit *unit, 2600 asymbol *sym, 2601 bfd_vma addr, 2602 const char **filename_ptr, 2603 unsigned int *linenumber_ptr, 2604 struct dwarf2_debug *stash) 2605 { 2606 if (!comp_unit_maybe_decode_line_info (unit, stash)) 2607 return FALSE; 2608 2609 if (sym->flags & BSF_FUNCTION) 2610 return lookup_symbol_in_function_table (unit, sym, addr, 2611 filename_ptr, 2612 linenumber_ptr); 2613 2614 return lookup_symbol_in_variable_table (unit, sym, addr, 2615 filename_ptr, 2616 linenumber_ptr); 2617 } 2618 2619 static struct funcinfo * 2620 reverse_funcinfo_list (struct funcinfo *head) 2621 { 2622 struct funcinfo *rhead; 2623 struct funcinfo *temp; 2624 2625 for (rhead = NULL; head; head = temp) 2626 { 2627 temp = head->prev_func; 2628 head->prev_func = rhead; 2629 rhead = head; 2630 } 2631 return rhead; 2632 } 2633 2634 static struct varinfo * 2635 reverse_varinfo_list (struct varinfo *head) 2636 { 2637 struct varinfo *rhead; 2638 struct varinfo *temp; 2639 2640 for (rhead = NULL; head; head = temp) 2641 { 2642 temp = head->prev_var; 2643 head->prev_var = rhead; 2644 rhead = head; 2645 } 2646 return rhead; 2647 } 2648 2649 /* Extract all interesting funcinfos and varinfos of a compilation 2650 unit into hash tables for faster lookup. Returns TRUE if no 2651 errors were enountered; FALSE otherwise. */ 2652 2653 static bfd_boolean 2654 comp_unit_hash_info (struct dwarf2_debug *stash, 2655 struct comp_unit *unit, 2656 struct info_hash_table *funcinfo_hash_table, 2657 struct info_hash_table *varinfo_hash_table) 2658 { 2659 struct funcinfo* each_func; 2660 struct varinfo* each_var; 2661 bfd_boolean okay = TRUE; 2662 2663 BFD_ASSERT (stash->info_hash_status != STASH_INFO_HASH_DISABLED); 2664 2665 if (!comp_unit_maybe_decode_line_info (unit, stash)) 2666 return FALSE; 2667 2668 BFD_ASSERT (!unit->cached); 2669 2670 /* To preserve the original search order, we went to visit the function 2671 infos in the reversed order of the list. However, making the list 2672 bi-directional use quite a bit of extra memory. So we reverse 2673 the list first, traverse the list in the now reversed order and 2674 finally reverse the list again to get back the original order. */ 2675 unit->function_table = reverse_funcinfo_list (unit->function_table); 2676 for (each_func = unit->function_table; 2677 each_func && okay; 2678 each_func = each_func->prev_func) 2679 { 2680 /* Skip nameless functions. */ 2681 if (each_func->name) 2682 /* There is no need to copy name string into hash table as 2683 name string is either in the dwarf string buffer or 2684 info in the stash. */ 2685 okay = insert_info_hash_table (funcinfo_hash_table, each_func->name, 2686 (void*) each_func, FALSE); 2687 } 2688 unit->function_table = reverse_funcinfo_list (unit->function_table); 2689 if (!okay) 2690 return FALSE; 2691 2692 /* We do the same for variable infos. */ 2693 unit->variable_table = reverse_varinfo_list (unit->variable_table); 2694 for (each_var = unit->variable_table; 2695 each_var && okay; 2696 each_var = each_var->prev_var) 2697 { 2698 /* Skip stack vars and vars with no files or names. */ 2699 if (each_var->stack == 0 2700 && each_var->file != NULL 2701 && each_var->name != NULL) 2702 /* There is no need to copy name string into hash table as 2703 name string is either in the dwarf string buffer or 2704 info in the stash. */ 2705 okay = insert_info_hash_table (varinfo_hash_table, each_var->name, 2706 (void*) each_var, FALSE); 2707 } 2708 2709 unit->variable_table = reverse_varinfo_list (unit->variable_table); 2710 unit->cached = TRUE; 2711 return okay; 2712 } 2713 2714 /* Locate a section in a BFD containing debugging info. The search starts 2715 from the section after AFTER_SEC, or from the first section in the BFD if 2716 AFTER_SEC is NULL. The search works by examining the names of the 2717 sections. There are two permissiable names. The first is .debug_info. 2718 This is the standard DWARF2 name. The second is a prefix .gnu.linkonce.wi. 2719 This is a variation on the .debug_info section which has a checksum 2720 describing the contents appended onto the name. This allows the linker to 2721 identify and discard duplicate debugging sections for different 2722 compilation units. */ 2723 #define DWARF2_DEBUG_INFO ".debug_info" 2724 #define DWARF2_COMPRESSED_DEBUG_INFO ".zdebug_info" 2725 #define GNU_LINKONCE_INFO ".gnu.linkonce.wi." 2726 2727 static asection * 2728 find_debug_info (bfd *abfd, asection *after_sec) 2729 { 2730 asection * msec; 2731 2732 msec = after_sec != NULL ? after_sec->next : abfd->sections; 2733 2734 while (msec) 2735 { 2736 if (strcmp (msec->name, DWARF2_DEBUG_INFO) == 0) 2737 return msec; 2738 2739 if (strcmp (msec->name, DWARF2_COMPRESSED_DEBUG_INFO) == 0) 2740 return msec; 2741 2742 if (CONST_STRNEQ (msec->name, GNU_LINKONCE_INFO)) 2743 return msec; 2744 2745 msec = msec->next; 2746 } 2747 2748 return NULL; 2749 } 2750 2751 /* Unset vmas for adjusted sections in STASH. */ 2752 2753 static void 2754 unset_sections (struct dwarf2_debug *stash) 2755 { 2756 unsigned int i; 2757 struct adjusted_section *p; 2758 2759 i = stash->adjusted_section_count; 2760 p = stash->adjusted_sections; 2761 for (; i > 0; i--, p++) 2762 p->section->vma = 0; 2763 } 2764 2765 /* Set unique VMAs for loadable and DWARF sections in ABFD and save 2766 VMAs in STASH for unset_sections. */ 2767 2768 static bfd_boolean 2769 place_sections (bfd *abfd, struct dwarf2_debug *stash) 2770 { 2771 struct adjusted_section *p; 2772 unsigned int i; 2773 2774 if (stash->adjusted_section_count != 0) 2775 { 2776 i = stash->adjusted_section_count; 2777 p = stash->adjusted_sections; 2778 for (; i > 0; i--, p++) 2779 p->section->vma = p->adj_vma; 2780 } 2781 else 2782 { 2783 asection *sect; 2784 bfd_vma last_vma = 0, last_dwarf = 0; 2785 bfd_size_type amt; 2786 2787 i = 0; 2788 for (sect = abfd->sections; sect != NULL; sect = sect->next) 2789 { 2790 bfd_size_type sz; 2791 int is_debug_info; 2792 2793 if (sect->vma != 0) 2794 continue; 2795 2796 /* We need to adjust the VMAs of any .debug_info sections. 2797 Skip compressed ones, since no relocations could target 2798 them - they should not appear in object files anyway. */ 2799 if (strcmp (sect->name, DWARF2_DEBUG_INFO) == 0) 2800 is_debug_info = 1; 2801 else if (CONST_STRNEQ (sect->name, GNU_LINKONCE_INFO)) 2802 is_debug_info = 1; 2803 else 2804 is_debug_info = 0; 2805 2806 if (!is_debug_info && (sect->flags & SEC_LOAD) == 0) 2807 continue; 2808 2809 sz = sect->rawsize ? sect->rawsize : sect->size; 2810 if (sz == 0) 2811 continue; 2812 2813 i++; 2814 } 2815 2816 amt = i * sizeof (struct adjusted_section); 2817 p = (struct adjusted_section *) bfd_zalloc (abfd, amt); 2818 if (! p) 2819 return FALSE; 2820 2821 stash->adjusted_sections = p; 2822 stash->adjusted_section_count = i; 2823 2824 for (sect = abfd->sections; sect != NULL; sect = sect->next) 2825 { 2826 bfd_size_type sz; 2827 int is_debug_info; 2828 2829 if (sect->vma != 0) 2830 continue; 2831 2832 /* We need to adjust the VMAs of any .debug_info sections. 2833 Skip compressed ones, since no relocations could target 2834 them - they should not appear in object files anyway. */ 2835 if (strcmp (sect->name, DWARF2_DEBUG_INFO) == 0) 2836 is_debug_info = 1; 2837 else if (CONST_STRNEQ (sect->name, GNU_LINKONCE_INFO)) 2838 is_debug_info = 1; 2839 else 2840 is_debug_info = 0; 2841 2842 if (!is_debug_info && (sect->flags & SEC_LOAD) == 0) 2843 continue; 2844 2845 sz = sect->rawsize ? sect->rawsize : sect->size; 2846 if (sz == 0) 2847 continue; 2848 2849 p->section = sect; 2850 if (is_debug_info) 2851 { 2852 BFD_ASSERT (sect->alignment_power == 0); 2853 sect->vma = last_dwarf; 2854 last_dwarf += sz; 2855 } 2856 else if (last_vma != 0) 2857 { 2858 /* Align the new address to the current section 2859 alignment. */ 2860 last_vma = ((last_vma 2861 + ~((bfd_vma) -1 << sect->alignment_power)) 2862 & ((bfd_vma) -1 << sect->alignment_power)); 2863 sect->vma = last_vma; 2864 last_vma += sect->vma + sz; 2865 } 2866 else 2867 last_vma += sect->vma + sz; 2868 2869 p->adj_vma = sect->vma; 2870 2871 p++; 2872 } 2873 } 2874 2875 return TRUE; 2876 } 2877 2878 /* Look up a funcinfo by name using the given info hash table. If found, 2879 also update the locations pointed to by filename_ptr and linenumber_ptr. 2880 2881 This function returns TRUE if a funcinfo that matches the given symbol 2882 and address is found with any error; otherwise it returns FALSE. */ 2883 2884 static bfd_boolean 2885 info_hash_lookup_funcinfo (struct info_hash_table *hash_table, 2886 asymbol *sym, 2887 bfd_vma addr, 2888 const char **filename_ptr, 2889 unsigned int *linenumber_ptr) 2890 { 2891 struct funcinfo* each_func; 2892 struct funcinfo* best_fit = NULL; 2893 struct info_list_node *node; 2894 struct arange *arange; 2895 const char *name = bfd_asymbol_name (sym); 2896 asection *sec = bfd_get_section (sym); 2897 2898 for (node = lookup_info_hash_table (hash_table, name); 2899 node; 2900 node = node->next) 2901 { 2902 each_func = (struct funcinfo *) node->info; 2903 for (arange = &each_func->arange; 2904 arange; 2905 arange = arange->next) 2906 { 2907 if ((!each_func->sec || each_func->sec == sec) 2908 && addr >= arange->low 2909 && addr < arange->high 2910 && (!best_fit 2911 || ((arange->high - arange->low) 2912 < (best_fit->arange.high - best_fit->arange.low)))) 2913 best_fit = each_func; 2914 } 2915 } 2916 2917 if (best_fit) 2918 { 2919 best_fit->sec = sec; 2920 *filename_ptr = best_fit->file; 2921 *linenumber_ptr = best_fit->line; 2922 return TRUE; 2923 } 2924 2925 return FALSE; 2926 } 2927 2928 /* Look up a varinfo by name using the given info hash table. If found, 2929 also update the locations pointed to by filename_ptr and linenumber_ptr. 2930 2931 This function returns TRUE if a varinfo that matches the given symbol 2932 and address is found with any error; otherwise it returns FALSE. */ 2933 2934 static bfd_boolean 2935 info_hash_lookup_varinfo (struct info_hash_table *hash_table, 2936 asymbol *sym, 2937 bfd_vma addr, 2938 const char **filename_ptr, 2939 unsigned int *linenumber_ptr) 2940 { 2941 const char *name = bfd_asymbol_name (sym); 2942 asection *sec = bfd_get_section (sym); 2943 struct varinfo* each; 2944 struct info_list_node *node; 2945 2946 for (node = lookup_info_hash_table (hash_table, name); 2947 node; 2948 node = node->next) 2949 { 2950 each = (struct varinfo *) node->info; 2951 if (each->addr == addr 2952 && (!each->sec || each->sec == sec)) 2953 { 2954 each->sec = sec; 2955 *filename_ptr = each->file; 2956 *linenumber_ptr = each->line; 2957 return TRUE; 2958 } 2959 } 2960 2961 return FALSE; 2962 } 2963 2964 /* Update the funcinfo and varinfo info hash tables if they are 2965 not up to date. Returns TRUE if there is no error; otherwise 2966 returns FALSE and disable the info hash tables. */ 2967 2968 static bfd_boolean 2969 stash_maybe_update_info_hash_tables (struct dwarf2_debug *stash) 2970 { 2971 struct comp_unit *each; 2972 2973 /* Exit if hash tables are up-to-date. */ 2974 if (stash->all_comp_units == stash->hash_units_head) 2975 return TRUE; 2976 2977 if (stash->hash_units_head) 2978 each = stash->hash_units_head->prev_unit; 2979 else 2980 each = stash->last_comp_unit; 2981 2982 while (each) 2983 { 2984 if (!comp_unit_hash_info (stash, each, stash->funcinfo_hash_table, 2985 stash->varinfo_hash_table)) 2986 { 2987 stash->info_hash_status = STASH_INFO_HASH_DISABLED; 2988 return FALSE; 2989 } 2990 each = each->prev_unit; 2991 } 2992 2993 stash->hash_units_head = stash->all_comp_units; 2994 return TRUE; 2995 } 2996 2997 /* Check consistency of info hash tables. This is for debugging only. */ 2998 2999 static void ATTRIBUTE_UNUSED 3000 stash_verify_info_hash_table (struct dwarf2_debug *stash) 3001 { 3002 struct comp_unit *each_unit; 3003 struct funcinfo *each_func; 3004 struct varinfo *each_var; 3005 struct info_list_node *node; 3006 bfd_boolean found; 3007 3008 for (each_unit = stash->all_comp_units; 3009 each_unit; 3010 each_unit = each_unit->next_unit) 3011 { 3012 for (each_func = each_unit->function_table; 3013 each_func; 3014 each_func = each_func->prev_func) 3015 { 3016 if (!each_func->name) 3017 continue; 3018 node = lookup_info_hash_table (stash->funcinfo_hash_table, 3019 each_func->name); 3020 BFD_ASSERT (node); 3021 found = FALSE; 3022 while (node && !found) 3023 { 3024 found = node->info == each_func; 3025 node = node->next; 3026 } 3027 BFD_ASSERT (found); 3028 } 3029 3030 for (each_var = each_unit->variable_table; 3031 each_var; 3032 each_var = each_var->prev_var) 3033 { 3034 if (!each_var->name || !each_var->file || each_var->stack) 3035 continue; 3036 node = lookup_info_hash_table (stash->varinfo_hash_table, 3037 each_var->name); 3038 BFD_ASSERT (node); 3039 found = FALSE; 3040 while (node && !found) 3041 { 3042 found = node->info == each_var; 3043 node = node->next; 3044 } 3045 BFD_ASSERT (found); 3046 } 3047 } 3048 } 3049 3050 /* Check to see if we want to enable the info hash tables, which consume 3051 quite a bit of memory. Currently we only check the number times 3052 bfd_dwarf2_find_line is called. In the future, we may also want to 3053 take the number of symbols into account. */ 3054 3055 static void 3056 stash_maybe_enable_info_hash_tables (bfd *abfd, struct dwarf2_debug *stash) 3057 { 3058 BFD_ASSERT (stash->info_hash_status == STASH_INFO_HASH_OFF); 3059 3060 if (stash->info_hash_count++ < STASH_INFO_HASH_TRIGGER) 3061 return; 3062 3063 /* FIXME: Maybe we should check the reduce_memory_overheads 3064 and optimize fields in the bfd_link_info structure ? */ 3065 3066 /* Create hash tables. */ 3067 stash->funcinfo_hash_table = create_info_hash_table (abfd); 3068 stash->varinfo_hash_table = create_info_hash_table (abfd); 3069 if (!stash->funcinfo_hash_table || !stash->varinfo_hash_table) 3070 { 3071 /* Turn off info hashes if any allocation above fails. */ 3072 stash->info_hash_status = STASH_INFO_HASH_DISABLED; 3073 return; 3074 } 3075 /* We need a forced update so that the info hash tables will 3076 be created even though there is no compilation unit. That 3077 happens if STASH_INFO_HASH_TRIGGER is 0. */ 3078 stash_maybe_update_info_hash_tables (stash); 3079 stash->info_hash_status = STASH_INFO_HASH_ON; 3080 } 3081 3082 /* Find the file and line associated with a symbol and address using the 3083 info hash tables of a stash. If there is a match, the function returns 3084 TRUE and update the locations pointed to by filename_ptr and linenumber_ptr; 3085 otherwise it returns FALSE. */ 3086 3087 static bfd_boolean 3088 stash_find_line_fast (struct dwarf2_debug *stash, 3089 asymbol *sym, 3090 bfd_vma addr, 3091 const char **filename_ptr, 3092 unsigned int *linenumber_ptr) 3093 { 3094 BFD_ASSERT (stash->info_hash_status == STASH_INFO_HASH_ON); 3095 3096 if (sym->flags & BSF_FUNCTION) 3097 return info_hash_lookup_funcinfo (stash->funcinfo_hash_table, sym, addr, 3098 filename_ptr, linenumber_ptr); 3099 return info_hash_lookup_varinfo (stash->varinfo_hash_table, sym, addr, 3100 filename_ptr, linenumber_ptr); 3101 } 3102 3103 /* Find the source code location of SYMBOL. If SYMBOL is NULL 3104 then find the nearest source code location corresponding to 3105 the address SECTION + OFFSET. 3106 Returns TRUE if the line is found without error and fills in 3107 FILENAME_PTR and LINENUMBER_PTR. In the case where SYMBOL was 3108 NULL the FUNCTIONNAME_PTR is also filled in. 3109 SYMBOLS contains the symbol table for ABFD. 3110 ADDR_SIZE is the number of bytes in the initial .debug_info length 3111 field and in the abbreviation offset, or zero to indicate that the 3112 default value should be used. */ 3113 3114 static bfd_boolean 3115 find_line (bfd *abfd, 3116 asection *section, 3117 bfd_vma offset, 3118 asymbol *symbol, 3119 asymbol **symbols, 3120 const char **filename_ptr, 3121 const char **functionname_ptr, 3122 unsigned int *linenumber_ptr, 3123 unsigned int addr_size, 3124 void **pinfo) 3125 { 3126 /* Read each compilation unit from the section .debug_info, and check 3127 to see if it contains the address we are searching for. If yes, 3128 lookup the address, and return the line number info. If no, go 3129 on to the next compilation unit. 3130 3131 We keep a list of all the previously read compilation units, and 3132 a pointer to the next un-read compilation unit. Check the 3133 previously read units before reading more. */ 3134 struct dwarf2_debug *stash; 3135 /* What address are we looking for? */ 3136 bfd_vma addr; 3137 struct comp_unit* each; 3138 bfd_vma found = FALSE; 3139 bfd_boolean do_line; 3140 3141 stash = (struct dwarf2_debug *) *pinfo; 3142 3143 if (! stash) 3144 { 3145 bfd_size_type amt = sizeof (struct dwarf2_debug); 3146 3147 stash = (struct dwarf2_debug *) bfd_zalloc (abfd, amt); 3148 if (! stash) 3149 return FALSE; 3150 } 3151 3152 /* In a relocatable file, 2 functions may have the same address. 3153 We change the section vma so that they won't overlap. */ 3154 if ((abfd->flags & (EXEC_P | DYNAMIC)) == 0) 3155 { 3156 if (! place_sections (abfd, stash)) 3157 return FALSE; 3158 } 3159 3160 do_line = (section == NULL 3161 && offset == 0 3162 && functionname_ptr == NULL 3163 && symbol != NULL); 3164 if (do_line) 3165 { 3166 addr = symbol->value; 3167 section = bfd_get_section (symbol); 3168 } 3169 else if (section != NULL 3170 && functionname_ptr != NULL 3171 && symbol == NULL) 3172 addr = offset; 3173 else 3174 abort (); 3175 3176 if (section->output_section) 3177 addr += section->output_section->vma + section->output_offset; 3178 else 3179 addr += section->vma; 3180 *filename_ptr = NULL; 3181 if (! do_line) 3182 *functionname_ptr = NULL; 3183 *linenumber_ptr = 0; 3184 3185 if (! *pinfo) 3186 { 3187 bfd *debug_bfd; 3188 bfd_size_type total_size; 3189 asection *msec; 3190 3191 *pinfo = stash; 3192 3193 msec = find_debug_info (abfd, NULL); 3194 if (msec == NULL) 3195 { 3196 char * debug_filename = bfd_follow_gnu_debuglink (abfd, DEBUGDIR); 3197 3198 if (debug_filename == NULL) 3199 /* No dwarf2 info, and no gnu_debuglink to follow. 3200 Note that at this point the stash has been allocated, but 3201 contains zeros. This lets future calls to this function 3202 fail more quickly. */ 3203 goto done; 3204 3205 if ((debug_bfd = bfd_openr (debug_filename, NULL)) == NULL 3206 || ! bfd_check_format (debug_bfd, bfd_object) 3207 || (msec = find_debug_info (debug_bfd, NULL)) == NULL) 3208 { 3209 if (debug_bfd) 3210 bfd_close (debug_bfd); 3211 /* FIXME: Should we report our failure to follow the debuglink ? */ 3212 free (debug_filename); 3213 goto done; 3214 } 3215 } 3216 else 3217 debug_bfd = abfd; 3218 3219 /* There can be more than one DWARF2 info section in a BFD these 3220 days. First handle the easy case when there's only one. If 3221 there's more than one, try case two: none of the sections is 3222 compressed. In that case, read them all in and produce one 3223 large stash. We do this in two passes - in the first pass we 3224 just accumulate the section sizes, and in the second pass we 3225 read in the section's contents. (The allows us to avoid 3226 reallocing the data as we add sections to the stash.) If 3227 some or all sections are compressed, then do things the slow 3228 way, with a bunch of reallocs. */ 3229 3230 if (! find_debug_info (debug_bfd, msec)) 3231 { 3232 /* Case 1: only one info section. */ 3233 total_size = msec->size; 3234 if (! read_section (debug_bfd, debug_info, symbols, 0, 3235 &stash->info_ptr_memory, &total_size)) 3236 goto done; 3237 } 3238 else 3239 { 3240 /* Case 2: multiple sections. */ 3241 for (total_size = 0; msec; msec = find_debug_info (debug_bfd, msec)) 3242 total_size += msec->size; 3243 3244 stash->info_ptr_memory = (bfd_byte *) bfd_malloc (total_size); 3245 if (stash->info_ptr_memory == NULL) 3246 goto done; 3247 3248 total_size = 0; 3249 for (msec = find_debug_info (debug_bfd, NULL); 3250 msec; 3251 msec = find_debug_info (debug_bfd, msec)) 3252 { 3253 bfd_size_type size; 3254 3255 size = msec->size; 3256 if (size == 0) 3257 continue; 3258 3259 if (!(bfd_simple_get_relocated_section_contents 3260 (debug_bfd, msec, stash->info_ptr_memory + total_size, 3261 symbols))) 3262 goto done; 3263 3264 total_size += size; 3265 } 3266 } 3267 3268 stash->info_ptr = stash->info_ptr_memory; 3269 stash->info_ptr_end = stash->info_ptr + total_size; 3270 stash->sec = find_debug_info (debug_bfd, NULL); 3271 stash->sec_info_ptr = stash->info_ptr; 3272 stash->syms = symbols; 3273 stash->bfd_ptr = debug_bfd; 3274 } 3275 3276 /* A null info_ptr indicates that there is no dwarf2 info 3277 (or that an error occured while setting up the stash). */ 3278 if (! stash->info_ptr) 3279 goto done; 3280 3281 stash->inliner_chain = NULL; 3282 3283 /* Check the previously read comp. units first. */ 3284 if (do_line) 3285 { 3286 /* The info hash tables use quite a bit of memory. We may not want to 3287 always use them. We use some heuristics to decide if and when to 3288 turn it on. */ 3289 if (stash->info_hash_status == STASH_INFO_HASH_OFF) 3290 stash_maybe_enable_info_hash_tables (abfd, stash); 3291 3292 /* Keep info hash table up to date if they are available. Note that we 3293 may disable the hash tables if there is any error duing update. */ 3294 if (stash->info_hash_status == STASH_INFO_HASH_ON) 3295 stash_maybe_update_info_hash_tables (stash); 3296 3297 if (stash->info_hash_status == STASH_INFO_HASH_ON) 3298 { 3299 found = stash_find_line_fast (stash, symbol, addr, filename_ptr, 3300 linenumber_ptr); 3301 if (found) 3302 goto done; 3303 } 3304 else 3305 { 3306 /* Check the previously read comp. units first. */ 3307 for (each = stash->all_comp_units; each; each = each->next_unit) 3308 if ((symbol->flags & BSF_FUNCTION) == 0 3309 || comp_unit_contains_address (each, addr)) 3310 { 3311 found = comp_unit_find_line (each, symbol, addr, filename_ptr, 3312 linenumber_ptr, stash); 3313 if (found) 3314 goto done; 3315 } 3316 } 3317 } 3318 else 3319 { 3320 for (each = stash->all_comp_units; each; each = each->next_unit) 3321 { 3322 found = (comp_unit_contains_address (each, addr) 3323 && comp_unit_find_nearest_line (each, addr, 3324 filename_ptr, 3325 functionname_ptr, 3326 linenumber_ptr, 3327 stash)); 3328 if (found) 3329 goto done; 3330 } 3331 } 3332 3333 /* The DWARF2 spec says that the initial length field, and the 3334 offset of the abbreviation table, should both be 4-byte values. 3335 However, some compilers do things differently. */ 3336 if (addr_size == 0) 3337 addr_size = 4; 3338 BFD_ASSERT (addr_size == 4 || addr_size == 8); 3339 3340 /* Read each remaining comp. units checking each as they are read. */ 3341 while (stash->info_ptr < stash->info_ptr_end) 3342 { 3343 bfd_vma length; 3344 unsigned int offset_size = addr_size; 3345 bfd_byte *info_ptr_unit = stash->info_ptr; 3346 3347 length = read_4_bytes (stash->bfd_ptr, stash->info_ptr); 3348 /* A 0xffffff length is the DWARF3 way of indicating 3349 we use 64-bit offsets, instead of 32-bit offsets. */ 3350 if (length == 0xffffffff) 3351 { 3352 offset_size = 8; 3353 length = read_8_bytes (stash->bfd_ptr, stash->info_ptr + 4); 3354 stash->info_ptr += 12; 3355 } 3356 /* A zero length is the IRIX way of indicating 64-bit offsets, 3357 mostly because the 64-bit length will generally fit in 32 3358 bits, and the endianness helps. */ 3359 else if (length == 0) 3360 { 3361 offset_size = 8; 3362 length = read_4_bytes (stash->bfd_ptr, stash->info_ptr + 4); 3363 stash->info_ptr += 8; 3364 } 3365 /* In the absence of the hints above, we assume 32-bit DWARF2 3366 offsets even for targets with 64-bit addresses, because: 3367 a) most of the time these targets will not have generated 3368 more than 2Gb of debug info and so will not need 64-bit 3369 offsets, 3370 and 3371 b) if they do use 64-bit offsets but they are not using 3372 the size hints that are tested for above then they are 3373 not conforming to the DWARF3 standard anyway. */ 3374 else if (addr_size == 8) 3375 { 3376 offset_size = 4; 3377 stash->info_ptr += 4; 3378 } 3379 else 3380 stash->info_ptr += 4; 3381 3382 if (length > 0) 3383 { 3384 each = parse_comp_unit (stash, length, info_ptr_unit, 3385 offset_size); 3386 if (!each) 3387 /* The dwarf information is damaged, don't trust it any 3388 more. */ 3389 break; 3390 stash->info_ptr += length; 3391 3392 if (stash->all_comp_units) 3393 stash->all_comp_units->prev_unit = each; 3394 else 3395 stash->last_comp_unit = each; 3396 3397 each->next_unit = stash->all_comp_units; 3398 stash->all_comp_units = each; 3399 3400 /* DW_AT_low_pc and DW_AT_high_pc are optional for 3401 compilation units. If we don't have them (i.e., 3402 unit->high == 0), we need to consult the line info table 3403 to see if a compilation unit contains the given 3404 address. */ 3405 if (do_line) 3406 found = (((symbol->flags & BSF_FUNCTION) == 0 3407 || each->arange.high == 0 3408 || comp_unit_contains_address (each, addr)) 3409 && comp_unit_find_line (each, symbol, addr, 3410 filename_ptr, 3411 linenumber_ptr, 3412 stash)); 3413 else 3414 found = ((each->arange.high == 0 3415 || comp_unit_contains_address (each, addr)) 3416 && comp_unit_find_nearest_line (each, addr, 3417 filename_ptr, 3418 functionname_ptr, 3419 linenumber_ptr, 3420 stash)); 3421 3422 if ((bfd_vma) (stash->info_ptr - stash->sec_info_ptr) 3423 == stash->sec->size) 3424 { 3425 stash->sec = find_debug_info (stash->bfd_ptr, stash->sec); 3426 stash->sec_info_ptr = stash->info_ptr; 3427 } 3428 3429 if (found) 3430 goto done; 3431 } 3432 } 3433 3434 done: 3435 if ((abfd->flags & (EXEC_P | DYNAMIC)) == 0) 3436 unset_sections (stash); 3437 3438 return found; 3439 } 3440 3441 /* The DWARF2 version of find_nearest_line. 3442 Return TRUE if the line is found without error. */ 3443 3444 bfd_boolean 3445 _bfd_dwarf2_find_nearest_line (bfd *abfd, 3446 asection *section, 3447 asymbol **symbols, 3448 bfd_vma offset, 3449 const char **filename_ptr, 3450 const char **functionname_ptr, 3451 unsigned int *linenumber_ptr, 3452 unsigned int addr_size, 3453 void **pinfo) 3454 { 3455 return find_line (abfd, section, offset, NULL, symbols, filename_ptr, 3456 functionname_ptr, linenumber_ptr, addr_size, 3457 pinfo); 3458 } 3459 3460 /* The DWARF2 version of find_line. 3461 Return TRUE if the line is found without error. */ 3462 3463 bfd_boolean 3464 _bfd_dwarf2_find_line (bfd *abfd, 3465 asymbol **symbols, 3466 asymbol *symbol, 3467 const char **filename_ptr, 3468 unsigned int *linenumber_ptr, 3469 unsigned int addr_size, 3470 void **pinfo) 3471 { 3472 return find_line (abfd, NULL, 0, symbol, symbols, filename_ptr, 3473 NULL, linenumber_ptr, addr_size, 3474 pinfo); 3475 } 3476 3477 bfd_boolean 3478 _bfd_dwarf2_find_inliner_info (bfd *abfd ATTRIBUTE_UNUSED, 3479 const char **filename_ptr, 3480 const char **functionname_ptr, 3481 unsigned int *linenumber_ptr, 3482 void **pinfo) 3483 { 3484 struct dwarf2_debug *stash; 3485 3486 stash = (struct dwarf2_debug *) *pinfo; 3487 if (stash) 3488 { 3489 struct funcinfo *func = stash->inliner_chain; 3490 3491 if (func && func->caller_func) 3492 { 3493 *filename_ptr = func->caller_file; 3494 *functionname_ptr = func->caller_func->name; 3495 *linenumber_ptr = func->caller_line; 3496 stash->inliner_chain = func->caller_func; 3497 return TRUE; 3498 } 3499 } 3500 3501 return FALSE; 3502 } 3503 3504 void 3505 _bfd_dwarf2_cleanup_debug_info (bfd *abfd) 3506 { 3507 struct comp_unit *each; 3508 struct dwarf2_debug *stash; 3509 3510 if (abfd == NULL || elf_tdata (abfd) == NULL) 3511 return; 3512 3513 stash = (struct dwarf2_debug *) elf_tdata (abfd)->dwarf2_find_line_info; 3514 3515 if (stash == NULL) 3516 return; 3517 3518 for (each = stash->all_comp_units; each; each = each->next_unit) 3519 { 3520 struct abbrev_info **abbrevs = each->abbrevs; 3521 struct funcinfo *function_table = each->function_table; 3522 struct varinfo *variable_table = each->variable_table; 3523 size_t i; 3524 3525 for (i = 0; i < ABBREV_HASH_SIZE; i++) 3526 { 3527 struct abbrev_info *abbrev = abbrevs[i]; 3528 3529 while (abbrev) 3530 { 3531 free (abbrev->attrs); 3532 abbrev = abbrev->next; 3533 } 3534 } 3535 3536 if (each->line_table) 3537 { 3538 free (each->line_table->dirs); 3539 free (each->line_table->files); 3540 } 3541 3542 while (function_table) 3543 { 3544 if (function_table->file) 3545 { 3546 free (function_table->file); 3547 function_table->file = NULL; 3548 } 3549 3550 if (function_table->caller_file) 3551 { 3552 free (function_table->caller_file); 3553 function_table->caller_file = NULL; 3554 } 3555 function_table = function_table->prev_func; 3556 } 3557 3558 while (variable_table) 3559 { 3560 if (variable_table->file) 3561 { 3562 free (variable_table->file); 3563 variable_table->file = NULL; 3564 } 3565 3566 variable_table = variable_table->prev_var; 3567 } 3568 } 3569 3570 if (stash->dwarf_abbrev_buffer) 3571 free (stash->dwarf_abbrev_buffer); 3572 if (stash->dwarf_line_buffer) 3573 free (stash->dwarf_line_buffer); 3574 if (stash->dwarf_str_buffer) 3575 free (stash->dwarf_str_buffer); 3576 if (stash->dwarf_ranges_buffer) 3577 free (stash->dwarf_ranges_buffer); 3578 if (stash->info_ptr_memory) 3579 free (stash->info_ptr_memory); 3580 } 3581