]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blob - bfd/dwarf2.c
bfd/Dwarf2: make find-nearest-line returned function name consistent
[thirdparty/binutils-gdb.git] / bfd / dwarf2.c
1 /* DWARF 2 support.
2 Copyright (C) 1994-2022 Free Software Foundation, Inc.
3
4 Adapted from gdb/dwarf2read.c by Gavin Koch of Cygnus Solutions
5 (gavin@cygnus.com).
6
7 From the dwarf2read.c header:
8 Adapted by Gary Funck (gary@intrepid.com), Intrepid Technology,
9 Inc. with support from Florida State University (under contract
10 with the Ada Joint Program Office), and Silicon Graphics, Inc.
11 Initial contribution by Brent Benson, Harris Computer Systems, Inc.,
12 based on Fred Fish's (Cygnus Support) implementation of DWARF 1
13 support in dwarfread.c
14
15 This file is part of BFD.
16
17 This program is free software; you can redistribute it and/or modify
18 it under the terms of the GNU General Public License as published by
19 the Free Software Foundation; either version 3 of the License, or (at
20 your option) any later version.
21
22 This program is distributed in the hope that it will be useful, but
23 WITHOUT ANY WARRANTY; without even the implied warranty of
24 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
25 General Public License for more details.
26
27 You should have received a copy of the GNU General Public License
28 along with this program; if not, write to the Free Software
29 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
30 MA 02110-1301, USA. */
31
32 #include "sysdep.h"
33 #include "bfd.h"
34 #include "libiberty.h"
35 #include "libbfd.h"
36 #include "elf-bfd.h"
37 #include "dwarf2.h"
38 #include "hashtab.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_file
86 {
87 /* The actual bfd from which debug info was loaded. Might be
88 different to orig_bfd because of gnu_debuglink sections. */
89 bfd *bfd_ptr;
90
91 /* Pointer to the symbol table. */
92 asymbol **syms;
93
94 /* The current info pointer for the .debug_info section being parsed. */
95 bfd_byte *info_ptr;
96
97 /* A pointer to the memory block allocated for .debug_info sections. */
98 bfd_byte *dwarf_info_buffer;
99
100 /* Length of the loaded .debug_info sections. */
101 bfd_size_type dwarf_info_size;
102
103 /* Pointer to the .debug_abbrev section loaded into memory. */
104 bfd_byte *dwarf_abbrev_buffer;
105
106 /* Length of the loaded .debug_abbrev section. */
107 bfd_size_type dwarf_abbrev_size;
108
109 /* Buffer for decode_line_info. */
110 bfd_byte *dwarf_line_buffer;
111
112 /* Length of the loaded .debug_line section. */
113 bfd_size_type dwarf_line_size;
114
115 /* Pointer to the .debug_str section loaded into memory. */
116 bfd_byte *dwarf_str_buffer;
117
118 /* Length of the loaded .debug_str section. */
119 bfd_size_type dwarf_str_size;
120
121 /* Pointer to the .debug_line_str section loaded into memory. */
122 bfd_byte *dwarf_line_str_buffer;
123
124 /* Length of the loaded .debug_line_str section. */
125 bfd_size_type dwarf_line_str_size;
126
127 /* Pointer to the .debug_ranges section loaded into memory. */
128 bfd_byte *dwarf_ranges_buffer;
129
130 /* Length of the loaded .debug_ranges section. */
131 bfd_size_type dwarf_ranges_size;
132
133 /* Pointer to the .debug_rnglists section loaded into memory. */
134 bfd_byte *dwarf_rnglists_buffer;
135
136 /* Length of the loaded .debug_rnglists section. */
137 bfd_size_type dwarf_rnglists_size;
138
139 /* A list of all previously read comp_units. */
140 struct comp_unit *all_comp_units;
141
142 /* Last comp unit in list above. */
143 struct comp_unit *last_comp_unit;
144
145 /* Line table at line_offset zero. */
146 struct line_info_table *line_table;
147
148 /* Hash table to map offsets to decoded abbrevs. */
149 htab_t abbrev_offsets;
150 };
151
152 struct dwarf2_debug
153 {
154 /* Names of the debug sections. */
155 const struct dwarf_debug_section *debug_sections;
156
157 /* Per-file stuff. */
158 struct dwarf2_debug_file f, alt;
159
160 /* Pointer to the original bfd for which debug was loaded. This is what
161 we use to compare and so check that the cached debug data is still
162 valid - it saves having to possibly dereference the gnu_debuglink each
163 time. */
164 bfd *orig_bfd;
165
166 /* If the most recent call to bfd_find_nearest_line was given an
167 address in an inlined function, preserve a pointer into the
168 calling chain for subsequent calls to bfd_find_inliner_info to
169 use. */
170 struct funcinfo *inliner_chain;
171
172 /* Section VMAs at the time the stash was built. */
173 bfd_vma *sec_vma;
174 /* Number of sections in the SEC_VMA table. */
175 unsigned int sec_vma_count;
176
177 /* Number of sections whose VMA we must adjust. */
178 int adjusted_section_count;
179
180 /* Array of sections with adjusted VMA. */
181 struct adjusted_section *adjusted_sections;
182
183 /* Number of times find_line is called. This is used in
184 the heuristic for enabling the info hash tables. */
185 int info_hash_count;
186
187 #define STASH_INFO_HASH_TRIGGER 100
188
189 /* Hash table mapping symbol names to function infos. */
190 struct info_hash_table *funcinfo_hash_table;
191
192 /* Hash table mapping symbol names to variable infos. */
193 struct info_hash_table *varinfo_hash_table;
194
195 /* Head of comp_unit list in the last hash table update. */
196 struct comp_unit *hash_units_head;
197
198 /* Status of info hash. */
199 int info_hash_status;
200 #define STASH_INFO_HASH_OFF 0
201 #define STASH_INFO_HASH_ON 1
202 #define STASH_INFO_HASH_DISABLED 2
203
204 /* True if we opened bfd_ptr. */
205 bool close_on_cleanup;
206 };
207
208 struct arange
209 {
210 struct arange *next;
211 bfd_vma low;
212 bfd_vma high;
213 };
214
215 /* A minimal decoding of DWARF2 compilation units. We only decode
216 what's needed to get to the line number information. */
217
218 struct comp_unit
219 {
220 /* Chain the previously read compilation units. */
221 struct comp_unit *next_unit;
222
223 /* Likewise, chain the compilation unit read after this one.
224 The comp units are stored in reversed reading order. */
225 struct comp_unit *prev_unit;
226
227 /* Keep the bfd convenient (for memory allocation). */
228 bfd *abfd;
229
230 /* The lowest and highest addresses contained in this compilation
231 unit as specified in the compilation unit header. */
232 struct arange arange;
233
234 /* The DW_AT_name attribute (for error messages). */
235 char *name;
236
237 /* The abbrev hash table. */
238 struct abbrev_info **abbrevs;
239
240 /* DW_AT_language. */
241 int lang;
242
243 /* Note that an error was found by comp_unit_find_nearest_line. */
244 int error;
245
246 /* The DW_AT_comp_dir attribute. */
247 char *comp_dir;
248
249 /* TRUE if there is a line number table associated with this comp. unit. */
250 int stmtlist;
251
252 /* Pointer to the current comp_unit so that we can find a given entry
253 by its reference. */
254 bfd_byte *info_ptr_unit;
255
256 /* The offset into .debug_line of the line number table. */
257 unsigned long line_offset;
258
259 /* Pointer to the first child die for the comp unit. */
260 bfd_byte *first_child_die_ptr;
261
262 /* The end of the comp unit. */
263 bfd_byte *end_ptr;
264
265 /* The decoded line number, NULL if not yet decoded. */
266 struct line_info_table *line_table;
267
268 /* A list of the functions found in this comp. unit. */
269 struct funcinfo *function_table;
270
271 /* A table of function information references searchable by address. */
272 struct lookup_funcinfo *lookup_funcinfo_table;
273
274 /* Number of functions in the function_table and sorted_function_table. */
275 bfd_size_type number_of_functions;
276
277 /* A list of the variables found in this comp. unit. */
278 struct varinfo *variable_table;
279
280 /* Pointers to dwarf2_debug structures. */
281 struct dwarf2_debug *stash;
282 struct dwarf2_debug_file *file;
283
284 /* DWARF format version for this unit - from unit header. */
285 int version;
286
287 /* Address size for this unit - from unit header. */
288 unsigned char addr_size;
289
290 /* Offset size for this unit - from unit header. */
291 unsigned char offset_size;
292
293 /* Base address for this unit - from DW_AT_low_pc attribute of
294 DW_TAG_compile_unit DIE */
295 bfd_vma base_address;
296
297 /* TRUE if symbols are cached in hash table for faster lookup by name. */
298 bool cached;
299 };
300
301 /* This data structure holds the information of an abbrev. */
302 struct abbrev_info
303 {
304 unsigned int number; /* Number identifying abbrev. */
305 enum dwarf_tag tag; /* DWARF tag. */
306 bool has_children; /* TRUE if the abbrev has children. */
307 unsigned int num_attrs; /* Number of attributes. */
308 struct attr_abbrev * attrs; /* An array of attribute descriptions. */
309 struct abbrev_info * next; /* Next in chain. */
310 };
311
312 struct attr_abbrev
313 {
314 enum dwarf_attribute name;
315 enum dwarf_form form;
316 bfd_vma implicit_const;
317 };
318
319 /* Map of uncompressed DWARF debug section name to compressed one. It
320 is terminated by NULL uncompressed_name. */
321
322 const struct dwarf_debug_section dwarf_debug_sections[] =
323 {
324 { ".debug_abbrev", ".zdebug_abbrev" },
325 { ".debug_aranges", ".zdebug_aranges" },
326 { ".debug_frame", ".zdebug_frame" },
327 { ".debug_info", ".zdebug_info" },
328 { ".debug_info", ".zdebug_info" },
329 { ".debug_line", ".zdebug_line" },
330 { ".debug_loc", ".zdebug_loc" },
331 { ".debug_macinfo", ".zdebug_macinfo" },
332 { ".debug_macro", ".zdebug_macro" },
333 { ".debug_pubnames", ".zdebug_pubnames" },
334 { ".debug_pubtypes", ".zdebug_pubtypes" },
335 { ".debug_ranges", ".zdebug_ranges" },
336 { ".debug_rnglists", ".zdebug_rnglist" },
337 { ".debug_static_func", ".zdebug_static_func" },
338 { ".debug_static_vars", ".zdebug_static_vars" },
339 { ".debug_str", ".zdebug_str", },
340 { ".debug_str", ".zdebug_str", },
341 { ".debug_line_str", ".zdebug_line_str", },
342 { ".debug_types", ".zdebug_types" },
343 /* GNU DWARF 1 extensions */
344 { ".debug_sfnames", ".zdebug_sfnames" },
345 { ".debug_srcinfo", ".zebug_srcinfo" },
346 /* SGI/MIPS DWARF 2 extensions */
347 { ".debug_funcnames", ".zdebug_funcnames" },
348 { ".debug_typenames", ".zdebug_typenames" },
349 { ".debug_varnames", ".zdebug_varnames" },
350 { ".debug_weaknames", ".zdebug_weaknames" },
351 { NULL, NULL },
352 };
353
354 /* NB/ Numbers in this enum must match up with indices
355 into the dwarf_debug_sections[] array above. */
356 enum dwarf_debug_section_enum
357 {
358 debug_abbrev = 0,
359 debug_aranges,
360 debug_frame,
361 debug_info,
362 debug_info_alt,
363 debug_line,
364 debug_loc,
365 debug_macinfo,
366 debug_macro,
367 debug_pubnames,
368 debug_pubtypes,
369 debug_ranges,
370 debug_rnglists,
371 debug_static_func,
372 debug_static_vars,
373 debug_str,
374 debug_str_alt,
375 debug_line_str,
376 debug_types,
377 debug_sfnames,
378 debug_srcinfo,
379 debug_funcnames,
380 debug_typenames,
381 debug_varnames,
382 debug_weaknames,
383 debug_max
384 };
385
386 /* A static assertion. */
387 extern int dwarf_debug_section_assert[ARRAY_SIZE (dwarf_debug_sections)
388 == debug_max + 1 ? 1 : -1];
389
390 #ifndef ABBREV_HASH_SIZE
391 #define ABBREV_HASH_SIZE 121
392 #endif
393 #ifndef ATTR_ALLOC_CHUNK
394 #define ATTR_ALLOC_CHUNK 4
395 #endif
396
397 /* Variable and function hash tables. This is used to speed up look-up
398 in lookup_symbol_in_var_table() and lookup_symbol_in_function_table().
399 In order to share code between variable and function infos, we use
400 a list of untyped pointer for all variable/function info associated with
401 a symbol. We waste a bit of memory for list with one node but that
402 simplifies the code. */
403
404 struct info_list_node
405 {
406 struct info_list_node *next;
407 void *info;
408 };
409
410 /* Info hash entry. */
411 struct info_hash_entry
412 {
413 struct bfd_hash_entry root;
414 struct info_list_node *head;
415 };
416
417 struct info_hash_table
418 {
419 struct bfd_hash_table base;
420 };
421
422 /* Function to create a new entry in info hash table. */
423
424 static struct bfd_hash_entry *
425 info_hash_table_newfunc (struct bfd_hash_entry *entry,
426 struct bfd_hash_table *table,
427 const char *string)
428 {
429 struct info_hash_entry *ret = (struct info_hash_entry *) entry;
430
431 /* Allocate the structure if it has not already been allocated by a
432 derived class. */
433 if (ret == NULL)
434 {
435 ret = (struct info_hash_entry *) bfd_hash_allocate (table,
436 sizeof (* ret));
437 if (ret == NULL)
438 return NULL;
439 }
440
441 /* Call the allocation method of the base class. */
442 ret = ((struct info_hash_entry *)
443 bfd_hash_newfunc ((struct bfd_hash_entry *) ret, table, string));
444
445 /* Initialize the local fields here. */
446 if (ret)
447 ret->head = NULL;
448
449 return (struct bfd_hash_entry *) ret;
450 }
451
452 /* Function to create a new info hash table. It returns a pointer to the
453 newly created table or NULL if there is any error. We need abfd
454 solely for memory allocation. */
455
456 static struct info_hash_table *
457 create_info_hash_table (bfd *abfd)
458 {
459 struct info_hash_table *hash_table;
460
461 hash_table = ((struct info_hash_table *)
462 bfd_alloc (abfd, sizeof (struct info_hash_table)));
463 if (!hash_table)
464 return hash_table;
465
466 if (!bfd_hash_table_init (&hash_table->base, info_hash_table_newfunc,
467 sizeof (struct info_hash_entry)))
468 {
469 bfd_release (abfd, hash_table);
470 return NULL;
471 }
472
473 return hash_table;
474 }
475
476 /* Insert an info entry into an info hash table. We do not check of
477 duplicate entries. Also, the caller need to guarantee that the
478 right type of info in inserted as info is passed as a void* pointer.
479 This function returns true if there is no error. */
480
481 static bool
482 insert_info_hash_table (struct info_hash_table *hash_table,
483 const char *key,
484 void *info,
485 bool copy_p)
486 {
487 struct info_hash_entry *entry;
488 struct info_list_node *node;
489
490 entry = (struct info_hash_entry*) bfd_hash_lookup (&hash_table->base,
491 key, true, copy_p);
492 if (!entry)
493 return false;
494
495 node = (struct info_list_node *) bfd_hash_allocate (&hash_table->base,
496 sizeof (*node));
497 if (!node)
498 return false;
499
500 node->info = info;
501 node->next = entry->head;
502 entry->head = node;
503
504 return true;
505 }
506
507 /* Look up an info entry list from an info hash table. Return NULL
508 if there is none. */
509
510 static struct info_list_node *
511 lookup_info_hash_table (struct info_hash_table *hash_table, const char *key)
512 {
513 struct info_hash_entry *entry;
514
515 entry = (struct info_hash_entry*) bfd_hash_lookup (&hash_table->base, key,
516 false, false);
517 return entry ? entry->head : NULL;
518 }
519
520 /* Read a section into its appropriate place in the dwarf2_debug
521 struct (indicated by SECTION_BUFFER and SECTION_SIZE). If SYMS is
522 not NULL, use bfd_simple_get_relocated_section_contents to read the
523 section contents, otherwise use bfd_get_section_contents. Fail if
524 the located section does not contain at least OFFSET bytes. */
525
526 static bool
527 read_section (bfd * abfd,
528 const struct dwarf_debug_section *sec,
529 asymbol ** syms,
530 bfd_uint64_t offset,
531 bfd_byte ** section_buffer,
532 bfd_size_type * section_size)
533 {
534 const char *section_name = sec->uncompressed_name;
535 bfd_byte *contents = *section_buffer;
536
537 /* The section may have already been read. */
538 if (contents == NULL)
539 {
540 bfd_size_type amt;
541 asection *msec;
542 ufile_ptr filesize;
543
544 msec = bfd_get_section_by_name (abfd, section_name);
545 if (msec == NULL)
546 {
547 section_name = sec->compressed_name;
548 msec = bfd_get_section_by_name (abfd, section_name);
549 }
550 if (msec == NULL)
551 {
552 _bfd_error_handler (_("DWARF error: can't find %s section."),
553 sec->uncompressed_name);
554 bfd_set_error (bfd_error_bad_value);
555 return false;
556 }
557
558 amt = bfd_get_section_limit_octets (abfd, msec);
559 filesize = bfd_get_file_size (abfd);
560 /* PR 28834: A compressed debug section could well decompress to a size
561 larger than the file, so we choose an arbitrary modifier of 10x in
562 the test below. If this ever turns out to be insufficient, it can
563 be changed by a future update. */
564 if (amt >= filesize * 10)
565 {
566 /* PR 26946 */
567 _bfd_error_handler (_("DWARF error: section %s is larger than 10x its filesize! (0x%lx vs 0x%lx)"),
568 section_name, (long) amt, (long) filesize);
569 bfd_set_error (bfd_error_bad_value);
570 return false;
571 }
572 *section_size = amt;
573 /* Paranoia - alloc one extra so that we can make sure a string
574 section is NUL terminated. */
575 amt += 1;
576 if (amt == 0)
577 {
578 /* Paranoia - this should never happen. */
579 bfd_set_error (bfd_error_no_memory);
580 return false;
581 }
582 contents = (bfd_byte *) bfd_malloc (amt);
583 if (contents == NULL)
584 return false;
585 if (syms
586 ? !bfd_simple_get_relocated_section_contents (abfd, msec, contents,
587 syms)
588 : !bfd_get_section_contents (abfd, msec, contents, 0, *section_size))
589 {
590 free (contents);
591 return false;
592 }
593 contents[*section_size] = 0;
594 *section_buffer = contents;
595 }
596
597 /* It is possible to get a bad value for the offset into the section
598 that the client wants. Validate it here to avoid trouble later. */
599 if (offset != 0 && offset >= *section_size)
600 {
601 /* xgettext: c-format */
602 _bfd_error_handler (_("DWARF error: offset (%" PRIu64 ")"
603 " greater than or equal to %s size (%" PRIu64 ")"),
604 (uint64_t) offset, section_name,
605 (uint64_t) *section_size);
606 bfd_set_error (bfd_error_bad_value);
607 return false;
608 }
609
610 return true;
611 }
612
613 /* Read dwarf information from a buffer. */
614
615 static inline uint64_t
616 read_n_bytes (bfd *abfd, bfd_byte **ptr, bfd_byte *end, int n)
617 {
618 bfd_byte *buf = *ptr;
619 if (end - buf < n)
620 {
621 *ptr = end;
622 return 0;
623 }
624 *ptr = buf + n;
625 return bfd_get (n * 8, abfd, buf);
626 }
627
628 static unsigned int
629 read_1_byte (bfd *abfd, bfd_byte **ptr, bfd_byte *end)
630 {
631 return read_n_bytes (abfd, ptr, end, 1);
632 }
633
634 static int
635 read_1_signed_byte (bfd *abfd ATTRIBUTE_UNUSED, bfd_byte **ptr, bfd_byte *end)
636 {
637 bfd_byte *buf = *ptr;
638 if (end - buf < 1)
639 {
640 *ptr = end;
641 return 0;
642 }
643 *ptr = buf + 1;
644 return bfd_get_signed_8 (abfd, buf);
645 }
646
647 static unsigned int
648 read_2_bytes (bfd *abfd, bfd_byte **ptr, bfd_byte *end)
649 {
650 return read_n_bytes (abfd, ptr, end, 2);
651 }
652
653 static unsigned int
654 read_3_bytes (bfd *abfd, bfd_byte **ptr, bfd_byte *end)
655 {
656 unsigned int val = read_1_byte (abfd, ptr, end);
657 val <<= 8;
658 val |= read_1_byte (abfd, ptr, end);
659 val <<= 8;
660 val |= read_1_byte (abfd, ptr, end);
661 if (bfd_little_endian (abfd))
662 val = (((val >> 16) & 0xff)
663 | (val & 0xff00)
664 | ((val & 0xff) << 16));
665 return val;
666 }
667
668 static unsigned int
669 read_4_bytes (bfd *abfd, bfd_byte **ptr, bfd_byte *end)
670 {
671 return read_n_bytes (abfd, ptr, end, 4);
672 }
673
674 static uint64_t
675 read_8_bytes (bfd *abfd, bfd_byte **ptr, bfd_byte *end)
676 {
677 return read_n_bytes (abfd, ptr, end, 8);
678 }
679
680 static struct dwarf_block *
681 read_blk (bfd *abfd, bfd_byte **ptr, bfd_byte *end, size_t size)
682 {
683 bfd_byte *buf = *ptr;
684 struct dwarf_block *block;
685
686 block = (struct dwarf_block *) bfd_alloc (abfd, sizeof (*block));
687 if (block == NULL)
688 return NULL;
689
690 if (size > (size_t) (end - buf))
691 {
692 *ptr = end;
693 block->data = NULL;
694 block->size = 0;
695 }
696 else
697 {
698 *ptr = buf + size;
699 block->data = buf;
700 block->size = size;
701 }
702 return block;
703 }
704
705 /* Scans a NUL terminated string starting at *PTR, returning a pointer to it.
706 Bytes at or beyond BUF_END will not be read. Returns NULL if the
707 terminator is not found or if the string is empty. *PTR is
708 incremented over the bytes scanned, including the terminator. */
709
710 static char *
711 read_string (bfd_byte **ptr,
712 bfd_byte *buf_end)
713 {
714 bfd_byte *buf = *ptr;
715 bfd_byte *str = buf;
716
717 while (buf < buf_end)
718 if (*buf++ == 0)
719 {
720 if (str == buf - 1)
721 break;
722 *ptr = buf;
723 return (char *) str;
724 }
725
726 *ptr = buf;
727 return NULL;
728 }
729
730 /* Reads an offset from *PTR and then locates the string at this offset
731 inside the debug string section. Returns a pointer to the string.
732 Increments *PTR by the number of bytes read for the offset. This
733 value is set even if the function fails. Bytes at or beyond
734 BUF_END will not be read. Returns NULL if there was a problem, or
735 if the string is empty. Does not check for NUL termination of the
736 string. */
737
738 static char *
739 read_indirect_string (struct comp_unit *unit,
740 bfd_byte **ptr,
741 bfd_byte *buf_end)
742 {
743 bfd_uint64_t offset;
744 struct dwarf2_debug *stash = unit->stash;
745 struct dwarf2_debug_file *file = unit->file;
746 char *str;
747
748 if (unit->offset_size > (size_t) (buf_end - *ptr))
749 {
750 *ptr = buf_end;
751 return NULL;
752 }
753
754 if (unit->offset_size == 4)
755 offset = read_4_bytes (unit->abfd, ptr, buf_end);
756 else
757 offset = read_8_bytes (unit->abfd, ptr, buf_end);
758
759 if (! read_section (unit->abfd, &stash->debug_sections[debug_str],
760 file->syms, offset,
761 &file->dwarf_str_buffer, &file->dwarf_str_size))
762 return NULL;
763
764 str = (char *) file->dwarf_str_buffer + offset;
765 if (*str == '\0')
766 return NULL;
767 return str;
768 }
769
770 /* Like read_indirect_string but from .debug_line_str section. */
771
772 static char *
773 read_indirect_line_string (struct comp_unit *unit,
774 bfd_byte **ptr,
775 bfd_byte *buf_end)
776 {
777 bfd_uint64_t offset;
778 struct dwarf2_debug *stash = unit->stash;
779 struct dwarf2_debug_file *file = unit->file;
780 char *str;
781
782 if (unit->offset_size > (size_t) (buf_end - *ptr))
783 {
784 *ptr = buf_end;
785 return NULL;
786 }
787
788 if (unit->offset_size == 4)
789 offset = read_4_bytes (unit->abfd, ptr, buf_end);
790 else
791 offset = read_8_bytes (unit->abfd, ptr, buf_end);
792
793 if (! read_section (unit->abfd, &stash->debug_sections[debug_line_str],
794 file->syms, offset,
795 &file->dwarf_line_str_buffer,
796 &file->dwarf_line_str_size))
797 return NULL;
798
799 str = (char *) file->dwarf_line_str_buffer + offset;
800 if (*str == '\0')
801 return NULL;
802 return str;
803 }
804
805 /* Like read_indirect_string but uses a .debug_str located in
806 an alternate file pointed to by the .gnu_debugaltlink section.
807 Used to impement DW_FORM_GNU_strp_alt. */
808
809 static char *
810 read_alt_indirect_string (struct comp_unit *unit,
811 bfd_byte **ptr,
812 bfd_byte *buf_end)
813 {
814 bfd_uint64_t offset;
815 struct dwarf2_debug *stash = unit->stash;
816 char *str;
817
818 if (unit->offset_size > (size_t) (buf_end - *ptr))
819 {
820 *ptr = buf_end;
821 return NULL;
822 }
823
824 if (unit->offset_size == 4)
825 offset = read_4_bytes (unit->abfd, ptr, buf_end);
826 else
827 offset = read_8_bytes (unit->abfd, ptr, buf_end);
828
829 if (stash->alt.bfd_ptr == NULL)
830 {
831 bfd *debug_bfd;
832 char *debug_filename = bfd_follow_gnu_debugaltlink (unit->abfd, DEBUGDIR);
833
834 if (debug_filename == NULL)
835 return NULL;
836
837 debug_bfd = bfd_openr (debug_filename, NULL);
838 free (debug_filename);
839 if (debug_bfd == NULL)
840 /* FIXME: Should we report our failure to follow the debuglink ? */
841 return NULL;
842
843 if (!bfd_check_format (debug_bfd, bfd_object))
844 {
845 bfd_close (debug_bfd);
846 return NULL;
847 }
848 stash->alt.bfd_ptr = debug_bfd;
849 }
850
851 if (! read_section (unit->stash->alt.bfd_ptr,
852 stash->debug_sections + debug_str_alt,
853 stash->alt.syms, offset,
854 &stash->alt.dwarf_str_buffer,
855 &stash->alt.dwarf_str_size))
856 return NULL;
857
858 str = (char *) stash->alt.dwarf_str_buffer + offset;
859 if (*str == '\0')
860 return NULL;
861
862 return str;
863 }
864
865 /* Resolve an alternate reference from UNIT at OFFSET.
866 Returns a pointer into the loaded alternate CU upon success
867 or NULL upon failure. */
868
869 static bfd_byte *
870 read_alt_indirect_ref (struct comp_unit * unit,
871 bfd_uint64_t offset)
872 {
873 struct dwarf2_debug *stash = unit->stash;
874
875 if (stash->alt.bfd_ptr == NULL)
876 {
877 bfd *debug_bfd;
878 char *debug_filename = bfd_follow_gnu_debugaltlink (unit->abfd, DEBUGDIR);
879
880 if (debug_filename == NULL)
881 return NULL;
882
883 debug_bfd = bfd_openr (debug_filename, NULL);
884 free (debug_filename);
885 if (debug_bfd == NULL)
886 /* FIXME: Should we report our failure to follow the debuglink ? */
887 return NULL;
888
889 if (!bfd_check_format (debug_bfd, bfd_object))
890 {
891 bfd_close (debug_bfd);
892 return NULL;
893 }
894 stash->alt.bfd_ptr = debug_bfd;
895 }
896
897 if (! read_section (unit->stash->alt.bfd_ptr,
898 stash->debug_sections + debug_info_alt,
899 stash->alt.syms, offset,
900 &stash->alt.dwarf_info_buffer,
901 &stash->alt.dwarf_info_size))
902 return NULL;
903
904 return stash->alt.dwarf_info_buffer + offset;
905 }
906
907 static bfd_uint64_t
908 read_address (struct comp_unit *unit, bfd_byte **ptr, bfd_byte *buf_end)
909 {
910 bfd_byte *buf = *ptr;
911 int signed_vma = 0;
912
913 if (bfd_get_flavour (unit->abfd) == bfd_target_elf_flavour)
914 signed_vma = get_elf_backend_data (unit->abfd)->sign_extend_vma;
915
916 if (unit->addr_size > (size_t) (buf_end - buf))
917 {
918 *ptr = buf_end;
919 return 0;
920 }
921
922 *ptr = buf + unit->addr_size;
923 if (signed_vma)
924 {
925 switch (unit->addr_size)
926 {
927 case 8:
928 return bfd_get_signed_64 (unit->abfd, buf);
929 case 4:
930 return bfd_get_signed_32 (unit->abfd, buf);
931 case 2:
932 return bfd_get_signed_16 (unit->abfd, buf);
933 default:
934 abort ();
935 }
936 }
937 else
938 {
939 switch (unit->addr_size)
940 {
941 case 8:
942 return bfd_get_64 (unit->abfd, buf);
943 case 4:
944 return bfd_get_32 (unit->abfd, buf);
945 case 2:
946 return bfd_get_16 (unit->abfd, buf);
947 default:
948 abort ();
949 }
950 }
951 }
952
953 /* Lookup an abbrev_info structure in the abbrev hash table. */
954
955 static struct abbrev_info *
956 lookup_abbrev (unsigned int number, struct abbrev_info **abbrevs)
957 {
958 unsigned int hash_number;
959 struct abbrev_info *abbrev;
960
961 hash_number = number % ABBREV_HASH_SIZE;
962 abbrev = abbrevs[hash_number];
963
964 while (abbrev)
965 {
966 if (abbrev->number == number)
967 return abbrev;
968 else
969 abbrev = abbrev->next;
970 }
971
972 return NULL;
973 }
974
975 /* We keep a hash table to map .debug_abbrev section offsets to the
976 array of abbrevs, so that compilation units using the same set of
977 abbrevs do not waste memory. */
978
979 struct abbrev_offset_entry
980 {
981 size_t offset;
982 struct abbrev_info **abbrevs;
983 };
984
985 static hashval_t
986 hash_abbrev (const void *p)
987 {
988 const struct abbrev_offset_entry *ent = p;
989 return htab_hash_pointer ((void *) ent->offset);
990 }
991
992 static int
993 eq_abbrev (const void *pa, const void *pb)
994 {
995 const struct abbrev_offset_entry *a = pa;
996 const struct abbrev_offset_entry *b = pb;
997 return a->offset == b->offset;
998 }
999
1000 static void
1001 del_abbrev (void *p)
1002 {
1003 struct abbrev_offset_entry *ent = p;
1004 struct abbrev_info **abbrevs = ent->abbrevs;
1005 size_t i;
1006
1007 for (i = 0; i < ABBREV_HASH_SIZE; i++)
1008 {
1009 struct abbrev_info *abbrev = abbrevs[i];
1010
1011 while (abbrev)
1012 {
1013 free (abbrev->attrs);
1014 abbrev = abbrev->next;
1015 }
1016 }
1017 free (ent);
1018 }
1019
1020 /* In DWARF version 2, the description of the debugging information is
1021 stored in a separate .debug_abbrev section. Before we read any
1022 dies from a section we read in all abbreviations and install them
1023 in a hash table. */
1024
1025 static struct abbrev_info**
1026 read_abbrevs (bfd *abfd, bfd_uint64_t offset, struct dwarf2_debug *stash,
1027 struct dwarf2_debug_file *file)
1028 {
1029 struct abbrev_info **abbrevs;
1030 bfd_byte *abbrev_ptr;
1031 bfd_byte *abbrev_end;
1032 struct abbrev_info *cur_abbrev;
1033 unsigned int abbrev_number, abbrev_name;
1034 unsigned int abbrev_form, hash_number;
1035 size_t amt;
1036 void **slot;
1037 struct abbrev_offset_entry ent = { offset, NULL };
1038
1039 if (ent.offset != offset)
1040 return NULL;
1041
1042 slot = htab_find_slot (file->abbrev_offsets, &ent, INSERT);
1043 if (slot == NULL)
1044 return NULL;
1045 if (*slot != NULL)
1046 return ((struct abbrev_offset_entry *) (*slot))->abbrevs;
1047
1048 if (! read_section (abfd, &stash->debug_sections[debug_abbrev],
1049 file->syms, offset,
1050 &file->dwarf_abbrev_buffer,
1051 &file->dwarf_abbrev_size))
1052 return NULL;
1053
1054 amt = sizeof (struct abbrev_info*) * ABBREV_HASH_SIZE;
1055 abbrevs = (struct abbrev_info **) bfd_zalloc (abfd, amt);
1056 if (abbrevs == NULL)
1057 return NULL;
1058
1059 abbrev_ptr = file->dwarf_abbrev_buffer + offset;
1060 abbrev_end = file->dwarf_abbrev_buffer + file->dwarf_abbrev_size;
1061 abbrev_number = _bfd_safe_read_leb128 (abfd, &abbrev_ptr,
1062 false, abbrev_end);
1063
1064 /* Loop until we reach an abbrev number of 0. */
1065 while (abbrev_number)
1066 {
1067 amt = sizeof (struct abbrev_info);
1068 cur_abbrev = (struct abbrev_info *) bfd_zalloc (abfd, amt);
1069 if (cur_abbrev == NULL)
1070 goto fail;
1071
1072 /* Read in abbrev header. */
1073 cur_abbrev->number = abbrev_number;
1074 cur_abbrev->tag = (enum dwarf_tag)
1075 _bfd_safe_read_leb128 (abfd, &abbrev_ptr,
1076 false, abbrev_end);
1077 cur_abbrev->has_children = read_1_byte (abfd, &abbrev_ptr, abbrev_end);
1078
1079 /* Now read in declarations. */
1080 for (;;)
1081 {
1082 /* Initialize it just to avoid a GCC false warning. */
1083 bfd_vma implicit_const = -1;
1084
1085 abbrev_name = _bfd_safe_read_leb128 (abfd, &abbrev_ptr,
1086 false, abbrev_end);
1087 abbrev_form = _bfd_safe_read_leb128 (abfd, &abbrev_ptr,
1088 false, abbrev_end);
1089 if (abbrev_form == DW_FORM_implicit_const)
1090 implicit_const = _bfd_safe_read_leb128 (abfd, &abbrev_ptr,
1091 true, abbrev_end);
1092 if (abbrev_name == 0)
1093 break;
1094
1095 if ((cur_abbrev->num_attrs % ATTR_ALLOC_CHUNK) == 0)
1096 {
1097 struct attr_abbrev *tmp;
1098
1099 amt = cur_abbrev->num_attrs + ATTR_ALLOC_CHUNK;
1100 amt *= sizeof (struct attr_abbrev);
1101 tmp = (struct attr_abbrev *) bfd_realloc (cur_abbrev->attrs, amt);
1102 if (tmp == NULL)
1103 goto fail;
1104 cur_abbrev->attrs = tmp;
1105 }
1106
1107 cur_abbrev->attrs[cur_abbrev->num_attrs].name
1108 = (enum dwarf_attribute) abbrev_name;
1109 cur_abbrev->attrs[cur_abbrev->num_attrs].form
1110 = (enum dwarf_form) abbrev_form;
1111 cur_abbrev->attrs[cur_abbrev->num_attrs].implicit_const
1112 = implicit_const;
1113 ++cur_abbrev->num_attrs;
1114 }
1115
1116 hash_number = abbrev_number % ABBREV_HASH_SIZE;
1117 cur_abbrev->next = abbrevs[hash_number];
1118 abbrevs[hash_number] = cur_abbrev;
1119
1120 /* Get next abbreviation.
1121 Under Irix6 the abbreviations for a compilation unit are not
1122 always properly terminated with an abbrev number of 0.
1123 Exit loop if we encounter an abbreviation which we have
1124 already read (which means we are about to read the abbreviations
1125 for the next compile unit) or if the end of the abbreviation
1126 table is reached. */
1127 if ((size_t) (abbrev_ptr - file->dwarf_abbrev_buffer)
1128 >= file->dwarf_abbrev_size)
1129 break;
1130 abbrev_number = _bfd_safe_read_leb128 (abfd, &abbrev_ptr,
1131 false, abbrev_end);
1132 if (lookup_abbrev (abbrev_number, abbrevs) != NULL)
1133 break;
1134 }
1135
1136 *slot = bfd_malloc (sizeof ent);
1137 if (!*slot)
1138 goto fail;
1139 ent.abbrevs = abbrevs;
1140 memcpy (*slot, &ent, sizeof ent);
1141 return abbrevs;
1142
1143 fail:
1144 if (abbrevs != NULL)
1145 {
1146 size_t i;
1147
1148 for (i = 0; i < ABBREV_HASH_SIZE; i++)
1149 {
1150 struct abbrev_info *abbrev = abbrevs[i];
1151
1152 while (abbrev)
1153 {
1154 free (abbrev->attrs);
1155 abbrev = abbrev->next;
1156 }
1157 }
1158 free (abbrevs);
1159 }
1160 return NULL;
1161 }
1162
1163 /* Returns true if the form is one which has a string value. */
1164
1165 static bool
1166 is_str_form (const struct attribute *attr)
1167 {
1168 switch (attr->form)
1169 {
1170 case DW_FORM_string:
1171 case DW_FORM_strp:
1172 case DW_FORM_strx:
1173 case DW_FORM_strx1:
1174 case DW_FORM_strx2:
1175 case DW_FORM_strx3:
1176 case DW_FORM_strx4:
1177 case DW_FORM_line_strp:
1178 case DW_FORM_GNU_strp_alt:
1179 return true;
1180
1181 default:
1182 return false;
1183 }
1184 }
1185
1186 /* Returns true if the form is one which has an integer value. */
1187
1188 static bool
1189 is_int_form (const struct attribute *attr)
1190 {
1191 switch (attr->form)
1192 {
1193 case DW_FORM_addr:
1194 case DW_FORM_data2:
1195 case DW_FORM_data4:
1196 case DW_FORM_data8:
1197 case DW_FORM_data1:
1198 case DW_FORM_flag:
1199 case DW_FORM_sdata:
1200 case DW_FORM_udata:
1201 case DW_FORM_ref_addr:
1202 case DW_FORM_ref1:
1203 case DW_FORM_ref2:
1204 case DW_FORM_ref4:
1205 case DW_FORM_ref8:
1206 case DW_FORM_ref_udata:
1207 case DW_FORM_sec_offset:
1208 case DW_FORM_flag_present:
1209 case DW_FORM_ref_sig8:
1210 case DW_FORM_addrx:
1211 case DW_FORM_implicit_const:
1212 case DW_FORM_addrx1:
1213 case DW_FORM_addrx2:
1214 case DW_FORM_addrx3:
1215 case DW_FORM_addrx4:
1216 case DW_FORM_GNU_ref_alt:
1217 return true;
1218
1219 default:
1220 return false;
1221 }
1222 }
1223
1224 static const char *
1225 read_indexed_string (bfd_uint64_t idx ATTRIBUTE_UNUSED,
1226 struct comp_unit * unit ATTRIBUTE_UNUSED)
1227 {
1228 /* FIXME: Add support for indexed strings. */
1229 return "<indexed strings not yet supported>";
1230 }
1231
1232 /* Read and fill in the value of attribute ATTR as described by FORM.
1233 Read data starting from INFO_PTR, but never at or beyond INFO_PTR_END.
1234 Returns an updated INFO_PTR taking into account the amount of data read. */
1235
1236 static bfd_byte *
1237 read_attribute_value (struct attribute * attr,
1238 unsigned form,
1239 bfd_vma implicit_const,
1240 struct comp_unit * unit,
1241 bfd_byte * info_ptr,
1242 bfd_byte * info_ptr_end)
1243 {
1244 bfd *abfd = unit->abfd;
1245 size_t amt;
1246
1247 if (info_ptr >= info_ptr_end && form != DW_FORM_flag_present)
1248 {
1249 _bfd_error_handler (_("DWARF error: info pointer extends beyond end of attributes"));
1250 bfd_set_error (bfd_error_bad_value);
1251 return NULL;
1252 }
1253
1254 attr->form = (enum dwarf_form) form;
1255
1256 switch (form)
1257 {
1258 case DW_FORM_flag_present:
1259 attr->u.val = 1;
1260 break;
1261 case DW_FORM_ref_addr:
1262 /* DW_FORM_ref_addr is an address in DWARF2, and an offset in
1263 DWARF3. */
1264 if (unit->version >= 3)
1265 {
1266 if (unit->offset_size == 4)
1267 attr->u.val = read_4_bytes (unit->abfd, &info_ptr, info_ptr_end);
1268 else
1269 attr->u.val = read_8_bytes (unit->abfd, &info_ptr, info_ptr_end);
1270 break;
1271 }
1272 /* FALLTHROUGH */
1273 case DW_FORM_addr:
1274 attr->u.val = read_address (unit, &info_ptr, info_ptr_end);
1275 break;
1276 case DW_FORM_GNU_ref_alt:
1277 case DW_FORM_sec_offset:
1278 if (unit->offset_size == 4)
1279 attr->u.val = read_4_bytes (unit->abfd, &info_ptr, info_ptr_end);
1280 else
1281 attr->u.val = read_8_bytes (unit->abfd, &info_ptr, info_ptr_end);
1282 break;
1283 case DW_FORM_block2:
1284 amt = read_2_bytes (abfd, &info_ptr, info_ptr_end);
1285 attr->u.blk = read_blk (abfd, &info_ptr, info_ptr_end, amt);
1286 if (attr->u.blk == NULL)
1287 return NULL;
1288 break;
1289 case DW_FORM_block4:
1290 amt = read_4_bytes (abfd, &info_ptr, info_ptr_end);
1291 attr->u.blk = read_blk (abfd, &info_ptr, info_ptr_end, amt);
1292 if (attr->u.blk == NULL)
1293 return NULL;
1294 break;
1295 case DW_FORM_ref1:
1296 case DW_FORM_flag:
1297 case DW_FORM_data1:
1298 case DW_FORM_addrx1:
1299 attr->u.val = read_1_byte (abfd, &info_ptr, info_ptr_end);
1300 break;
1301 case DW_FORM_data2:
1302 case DW_FORM_addrx2:
1303 case DW_FORM_ref2:
1304 attr->u.val = read_2_bytes (abfd, &info_ptr, info_ptr_end);
1305 break;
1306 case DW_FORM_addrx3:
1307 attr->u.val = read_3_bytes (abfd, &info_ptr, info_ptr_end);
1308 break;
1309 case DW_FORM_ref4:
1310 case DW_FORM_data4:
1311 case DW_FORM_addrx4:
1312 attr->u.val = read_4_bytes (abfd, &info_ptr, info_ptr_end);
1313 break;
1314 case DW_FORM_data8:
1315 case DW_FORM_ref8:
1316 case DW_FORM_ref_sig8:
1317 attr->u.val = read_8_bytes (abfd, &info_ptr, info_ptr_end);
1318 break;
1319 case DW_FORM_string:
1320 attr->u.str = read_string (&info_ptr, info_ptr_end);
1321 break;
1322 case DW_FORM_strp:
1323 attr->u.str = read_indirect_string (unit, &info_ptr, info_ptr_end);
1324 break;
1325 case DW_FORM_line_strp:
1326 attr->u.str = read_indirect_line_string (unit, &info_ptr, info_ptr_end);
1327 break;
1328 case DW_FORM_GNU_strp_alt:
1329 attr->u.str = read_alt_indirect_string (unit, &info_ptr, info_ptr_end);
1330 break;
1331 case DW_FORM_strx1:
1332 attr->u.val = read_1_byte (abfd, &info_ptr, info_ptr_end);
1333 attr->u.str = (char *) read_indexed_string (attr->u.val, unit);
1334 break;
1335 case DW_FORM_strx2:
1336 attr->u.val = read_2_bytes (abfd, &info_ptr, info_ptr_end);
1337 attr->u.str = (char *) read_indexed_string (attr->u.val, unit);
1338 break;
1339 case DW_FORM_strx3:
1340 attr->u.val = read_3_bytes (abfd, &info_ptr, info_ptr_end);
1341 attr->u.str = (char *) read_indexed_string (attr->u.val, unit);
1342 break;
1343 case DW_FORM_strx4:
1344 attr->u.val = read_4_bytes (abfd, &info_ptr, info_ptr_end);
1345 attr->u.str = (char *) read_indexed_string (attr->u.val, unit);
1346 break;
1347 case DW_FORM_strx:
1348 attr->u.val = _bfd_safe_read_leb128 (abfd, &info_ptr,
1349 false, info_ptr_end);
1350 attr->u.str = (char *) read_indexed_string (attr->u.val, unit);
1351 break;
1352 case DW_FORM_exprloc:
1353 case DW_FORM_block:
1354 amt = _bfd_safe_read_leb128 (abfd, &info_ptr,
1355 false, info_ptr_end);
1356 attr->u.blk = read_blk (abfd, &info_ptr, info_ptr_end, amt);
1357 if (attr->u.blk == NULL)
1358 return NULL;
1359 break;
1360 case DW_FORM_block1:
1361 amt = read_1_byte (abfd, &info_ptr, info_ptr_end);
1362 attr->u.blk = read_blk (abfd, &info_ptr, info_ptr_end, amt);
1363 if (attr->u.blk == NULL)
1364 return NULL;
1365 break;
1366 case DW_FORM_sdata:
1367 attr->u.sval = _bfd_safe_read_leb128 (abfd, &info_ptr,
1368 true, info_ptr_end);
1369 break;
1370 case DW_FORM_ref_udata:
1371 case DW_FORM_udata:
1372 case DW_FORM_addrx:
1373 attr->u.val = _bfd_safe_read_leb128 (abfd, &info_ptr,
1374 false, info_ptr_end);
1375 break;
1376 case DW_FORM_indirect:
1377 form = _bfd_safe_read_leb128 (abfd, &info_ptr,
1378 false, info_ptr_end);
1379 if (form == DW_FORM_implicit_const)
1380 implicit_const = _bfd_safe_read_leb128 (abfd, &info_ptr,
1381 true, info_ptr_end);
1382 info_ptr = read_attribute_value (attr, form, implicit_const, unit,
1383 info_ptr, info_ptr_end);
1384 break;
1385 case DW_FORM_implicit_const:
1386 attr->form = DW_FORM_sdata;
1387 attr->u.sval = implicit_const;
1388 break;
1389 case DW_FORM_data16:
1390 /* This is really a "constant", but there is no way to store that
1391 so pretend it is a 16 byte block instead. */
1392 attr->u.blk = read_blk (abfd, &info_ptr, info_ptr_end, 16);
1393 if (attr->u.blk == NULL)
1394 return NULL;
1395 break;
1396
1397 default:
1398 _bfd_error_handler (_("DWARF error: invalid or unhandled FORM value: %#x"),
1399 form);
1400 bfd_set_error (bfd_error_bad_value);
1401 return NULL;
1402 }
1403 return info_ptr;
1404 }
1405
1406 /* Read an attribute described by an abbreviated attribute. */
1407
1408 static bfd_byte *
1409 read_attribute (struct attribute * attr,
1410 struct attr_abbrev * abbrev,
1411 struct comp_unit * unit,
1412 bfd_byte * info_ptr,
1413 bfd_byte * info_ptr_end)
1414 {
1415 attr->name = abbrev->name;
1416 info_ptr = read_attribute_value (attr, abbrev->form, abbrev->implicit_const,
1417 unit, info_ptr, info_ptr_end);
1418 return info_ptr;
1419 }
1420
1421 /* Return whether DW_AT_name will return the same as DW_AT_linkage_name
1422 for a function. */
1423
1424 static bool
1425 non_mangled (int lang)
1426 {
1427 switch (lang)
1428 {
1429 default:
1430 return false;
1431
1432 case DW_LANG_C89:
1433 case DW_LANG_C:
1434 case DW_LANG_Ada83:
1435 case DW_LANG_Cobol74:
1436 case DW_LANG_Cobol85:
1437 case DW_LANG_Fortran77:
1438 case DW_LANG_Pascal83:
1439 case DW_LANG_C99:
1440 case DW_LANG_Ada95:
1441 case DW_LANG_PLI:
1442 case DW_LANG_UPC:
1443 case DW_LANG_C11:
1444 return true;
1445 }
1446 }
1447
1448 /* Source line information table routines. */
1449
1450 #define FILE_ALLOC_CHUNK 5
1451 #define DIR_ALLOC_CHUNK 5
1452
1453 struct line_info
1454 {
1455 struct line_info * prev_line;
1456 bfd_vma address;
1457 char * filename;
1458 unsigned int line;
1459 unsigned int column;
1460 unsigned int discriminator;
1461 unsigned char op_index;
1462 unsigned char end_sequence; /* End of (sequential) code sequence. */
1463 };
1464
1465 struct fileinfo
1466 {
1467 char * name;
1468 unsigned int dir;
1469 unsigned int time;
1470 unsigned int size;
1471 };
1472
1473 struct line_sequence
1474 {
1475 bfd_vma low_pc;
1476 struct line_sequence* prev_sequence;
1477 struct line_info* last_line; /* Largest VMA. */
1478 struct line_info** line_info_lookup;
1479 bfd_size_type num_lines;
1480 };
1481
1482 struct line_info_table
1483 {
1484 bfd * abfd;
1485 unsigned int num_files;
1486 unsigned int num_dirs;
1487 unsigned int num_sequences;
1488 char * comp_dir;
1489 char ** dirs;
1490 struct fileinfo* files;
1491 struct line_sequence* sequences;
1492 struct line_info* lcl_head; /* Local head; used in 'add_line_info'. */
1493 };
1494
1495 /* Remember some information about each function. If the function is
1496 inlined (DW_TAG_inlined_subroutine) it may have two additional
1497 attributes, DW_AT_call_file and DW_AT_call_line, which specify the
1498 source code location where this function was inlined. */
1499
1500 struct funcinfo
1501 {
1502 /* Pointer to previous function in list of all functions. */
1503 struct funcinfo * prev_func;
1504 /* Pointer to function one scope higher. */
1505 struct funcinfo * caller_func;
1506 /* Source location file name where caller_func inlines this func. */
1507 char * caller_file;
1508 /* Source location file name. */
1509 char * file;
1510 /* Source location line number where caller_func inlines this func. */
1511 int caller_line;
1512 /* Source location line number. */
1513 int line;
1514 int tag;
1515 bool is_linkage;
1516 const char * name;
1517 struct arange arange;
1518 /* Where the symbol is defined. */
1519 asection * sec;
1520 /* The offset of the funcinfo from the start of the unit. */
1521 bfd_uint64_t unit_offset;
1522 };
1523
1524 struct lookup_funcinfo
1525 {
1526 /* Function information corresponding to this lookup table entry. */
1527 struct funcinfo * funcinfo;
1528
1529 /* The lowest address for this specific function. */
1530 bfd_vma low_addr;
1531
1532 /* The highest address of this function before the lookup table is sorted.
1533 The highest address of all prior functions after the lookup table is
1534 sorted, which is used for binary search. */
1535 bfd_vma high_addr;
1536 /* Index of this function, used to ensure qsort is stable. */
1537 unsigned int idx;
1538 };
1539
1540 struct varinfo
1541 {
1542 /* Pointer to previous variable in list of all variables. */
1543 struct varinfo *prev_var;
1544 /* The offset of the varinfo from the start of the unit. */
1545 bfd_uint64_t unit_offset;
1546 /* Source location file name. */
1547 char *file;
1548 /* Source location line number. */
1549 int line;
1550 /* The type of this variable. */
1551 int tag;
1552 /* The name of the variable, if it has one. */
1553 char *name;
1554 /* The address of the variable. */
1555 bfd_vma addr;
1556 /* Where the symbol is defined. */
1557 asection *sec;
1558 /* Is this a stack variable? */
1559 bool stack;
1560 };
1561
1562 /* Return TRUE if NEW_LINE should sort after LINE. */
1563
1564 static inline bool
1565 new_line_sorts_after (struct line_info *new_line, struct line_info *line)
1566 {
1567 return (new_line->address > line->address
1568 || (new_line->address == line->address
1569 && new_line->op_index > line->op_index));
1570 }
1571
1572
1573 /* Adds a new entry to the line_info list in the line_info_table, ensuring
1574 that the list is sorted. Note that the line_info list is sorted from
1575 highest to lowest VMA (with possible duplicates); that is,
1576 line_info->prev_line always accesses an equal or smaller VMA. */
1577
1578 static bool
1579 add_line_info (struct line_info_table *table,
1580 bfd_vma address,
1581 unsigned char op_index,
1582 char *filename,
1583 unsigned int line,
1584 unsigned int column,
1585 unsigned int discriminator,
1586 int end_sequence)
1587 {
1588 size_t amt = sizeof (struct line_info);
1589 struct line_sequence* seq = table->sequences;
1590 struct line_info* info = (struct line_info *) bfd_alloc (table->abfd, amt);
1591
1592 if (info == NULL)
1593 return false;
1594
1595 /* Set member data of 'info'. */
1596 info->prev_line = NULL;
1597 info->address = address;
1598 info->op_index = op_index;
1599 info->line = line;
1600 info->column = column;
1601 info->discriminator = discriminator;
1602 info->end_sequence = end_sequence;
1603
1604 if (filename && filename[0])
1605 {
1606 info->filename = (char *) bfd_alloc (table->abfd, strlen (filename) + 1);
1607 if (info->filename == NULL)
1608 return false;
1609 strcpy (info->filename, filename);
1610 }
1611 else
1612 info->filename = NULL;
1613
1614 /* Find the correct location for 'info'. Normally we will receive
1615 new line_info data 1) in order and 2) with increasing VMAs.
1616 However some compilers break the rules (cf. decode_line_info) and
1617 so we include some heuristics for quickly finding the correct
1618 location for 'info'. In particular, these heuristics optimize for
1619 the common case in which the VMA sequence that we receive is a
1620 list of locally sorted VMAs such as
1621 p...z a...j (where a < j < p < z)
1622
1623 Note: table->lcl_head is used to head an *actual* or *possible*
1624 sub-sequence within the list (such as a...j) that is not directly
1625 headed by table->last_line
1626
1627 Note: we may receive duplicate entries from 'decode_line_info'. */
1628
1629 if (seq
1630 && seq->last_line->address == address
1631 && seq->last_line->op_index == op_index
1632 && seq->last_line->end_sequence == end_sequence)
1633 {
1634 /* We only keep the last entry with the same address and end
1635 sequence. See PR ld/4986. */
1636 if (table->lcl_head == seq->last_line)
1637 table->lcl_head = info;
1638 info->prev_line = seq->last_line->prev_line;
1639 seq->last_line = info;
1640 }
1641 else if (!seq || seq->last_line->end_sequence)
1642 {
1643 /* Start a new line sequence. */
1644 amt = sizeof (struct line_sequence);
1645 seq = (struct line_sequence *) bfd_malloc (amt);
1646 if (seq == NULL)
1647 return false;
1648 seq->low_pc = address;
1649 seq->prev_sequence = table->sequences;
1650 seq->last_line = info;
1651 table->lcl_head = info;
1652 table->sequences = seq;
1653 table->num_sequences++;
1654 }
1655 else if (info->end_sequence
1656 || new_line_sorts_after (info, seq->last_line))
1657 {
1658 /* Normal case: add 'info' to the beginning of the current sequence. */
1659 info->prev_line = seq->last_line;
1660 seq->last_line = info;
1661
1662 /* lcl_head: initialize to head a *possible* sequence at the end. */
1663 if (!table->lcl_head)
1664 table->lcl_head = info;
1665 }
1666 else if (!new_line_sorts_after (info, table->lcl_head)
1667 && (!table->lcl_head->prev_line
1668 || new_line_sorts_after (info, table->lcl_head->prev_line)))
1669 {
1670 /* Abnormal but easy: lcl_head is the head of 'info'. */
1671 info->prev_line = table->lcl_head->prev_line;
1672 table->lcl_head->prev_line = info;
1673 }
1674 else
1675 {
1676 /* Abnormal and hard: Neither 'last_line' nor 'lcl_head'
1677 are valid heads for 'info'. Reset 'lcl_head'. */
1678 struct line_info* li2 = seq->last_line; /* Always non-NULL. */
1679 struct line_info* li1 = li2->prev_line;
1680
1681 while (li1)
1682 {
1683 if (!new_line_sorts_after (info, li2)
1684 && new_line_sorts_after (info, li1))
1685 break;
1686
1687 li2 = li1; /* always non-NULL */
1688 li1 = li1->prev_line;
1689 }
1690 table->lcl_head = li2;
1691 info->prev_line = table->lcl_head->prev_line;
1692 table->lcl_head->prev_line = info;
1693 if (address < seq->low_pc)
1694 seq->low_pc = address;
1695 }
1696 return true;
1697 }
1698
1699 /* Extract a fully qualified filename from a line info table.
1700 The returned string has been malloc'ed and it is the caller's
1701 responsibility to free it. */
1702
1703 static char *
1704 concat_filename (struct line_info_table *table, unsigned int file)
1705 {
1706 char *filename;
1707
1708 if (table == NULL || file - 1 >= table->num_files)
1709 {
1710 /* FILE == 0 means unknown. */
1711 if (file)
1712 _bfd_error_handler
1713 (_("DWARF error: mangled line number section (bad file number)"));
1714 return strdup ("<unknown>");
1715 }
1716
1717 filename = table->files[file - 1].name;
1718 if (filename == NULL)
1719 return strdup ("<unknown>");
1720
1721 if (!IS_ABSOLUTE_PATH (filename))
1722 {
1723 char *dir_name = NULL;
1724 char *subdir_name = NULL;
1725 char *name;
1726 size_t len;
1727
1728 if (table->files[file - 1].dir
1729 /* PR 17512: file: 0317e960. */
1730 && table->files[file - 1].dir <= table->num_dirs
1731 /* PR 17512: file: 7f3d2e4b. */
1732 && table->dirs != NULL)
1733 subdir_name = table->dirs[table->files[file - 1].dir - 1];
1734
1735 if (!subdir_name || !IS_ABSOLUTE_PATH (subdir_name))
1736 dir_name = table->comp_dir;
1737
1738 if (!dir_name)
1739 {
1740 dir_name = subdir_name;
1741 subdir_name = NULL;
1742 }
1743
1744 if (!dir_name)
1745 return strdup (filename);
1746
1747 len = strlen (dir_name) + strlen (filename) + 2;
1748
1749 if (subdir_name)
1750 {
1751 len += strlen (subdir_name) + 1;
1752 name = (char *) bfd_malloc (len);
1753 if (name)
1754 sprintf (name, "%s/%s/%s", dir_name, subdir_name, filename);
1755 }
1756 else
1757 {
1758 name = (char *) bfd_malloc (len);
1759 if (name)
1760 sprintf (name, "%s/%s", dir_name, filename);
1761 }
1762
1763 return name;
1764 }
1765
1766 return strdup (filename);
1767 }
1768
1769 static bool
1770 arange_add (const struct comp_unit *unit, struct arange *first_arange,
1771 bfd_vma low_pc, bfd_vma high_pc)
1772 {
1773 struct arange *arange;
1774
1775 /* Ignore empty ranges. */
1776 if (low_pc == high_pc)
1777 return true;
1778
1779 /* If the first arange is empty, use it. */
1780 if (first_arange->high == 0)
1781 {
1782 first_arange->low = low_pc;
1783 first_arange->high = high_pc;
1784 return true;
1785 }
1786
1787 /* Next see if we can cheaply extend an existing range. */
1788 arange = first_arange;
1789 do
1790 {
1791 if (low_pc == arange->high)
1792 {
1793 arange->high = high_pc;
1794 return true;
1795 }
1796 if (high_pc == arange->low)
1797 {
1798 arange->low = low_pc;
1799 return true;
1800 }
1801 arange = arange->next;
1802 }
1803 while (arange);
1804
1805 /* Need to allocate a new arange and insert it into the arange list.
1806 Order isn't significant, so just insert after the first arange. */
1807 arange = (struct arange *) bfd_alloc (unit->abfd, sizeof (*arange));
1808 if (arange == NULL)
1809 return false;
1810 arange->low = low_pc;
1811 arange->high = high_pc;
1812 arange->next = first_arange->next;
1813 first_arange->next = arange;
1814 return true;
1815 }
1816
1817 /* Compare function for line sequences. */
1818
1819 static int
1820 compare_sequences (const void* a, const void* b)
1821 {
1822 const struct line_sequence* seq1 = a;
1823 const struct line_sequence* seq2 = b;
1824
1825 /* Sort by low_pc as the primary key. */
1826 if (seq1->low_pc < seq2->low_pc)
1827 return -1;
1828 if (seq1->low_pc > seq2->low_pc)
1829 return 1;
1830
1831 /* If low_pc values are equal, sort in reverse order of
1832 high_pc, so that the largest region comes first. */
1833 if (seq1->last_line->address < seq2->last_line->address)
1834 return 1;
1835 if (seq1->last_line->address > seq2->last_line->address)
1836 return -1;
1837
1838 if (seq1->last_line->op_index < seq2->last_line->op_index)
1839 return 1;
1840 if (seq1->last_line->op_index > seq2->last_line->op_index)
1841 return -1;
1842
1843 /* num_lines is initially an index, to make the sort stable. */
1844 if (seq1->num_lines < seq2->num_lines)
1845 return -1;
1846 if (seq1->num_lines > seq2->num_lines)
1847 return 1;
1848 return 0;
1849 }
1850
1851 /* Construct the line information table for quick lookup. */
1852
1853 static bool
1854 build_line_info_table (struct line_info_table * table,
1855 struct line_sequence * seq)
1856 {
1857 size_t amt;
1858 struct line_info **line_info_lookup;
1859 struct line_info *each_line;
1860 unsigned int num_lines;
1861 unsigned int line_index;
1862
1863 if (seq->line_info_lookup != NULL)
1864 return true;
1865
1866 /* Count the number of line information entries. We could do this while
1867 scanning the debug information, but some entries may be added via
1868 lcl_head without having a sequence handy to increment the number of
1869 lines. */
1870 num_lines = 0;
1871 for (each_line = seq->last_line; each_line; each_line = each_line->prev_line)
1872 num_lines++;
1873
1874 seq->num_lines = num_lines;
1875 if (num_lines == 0)
1876 return true;
1877
1878 /* Allocate space for the line information lookup table. */
1879 amt = sizeof (struct line_info*) * num_lines;
1880 line_info_lookup = (struct line_info**) bfd_alloc (table->abfd, amt);
1881 seq->line_info_lookup = line_info_lookup;
1882 if (line_info_lookup == NULL)
1883 return false;
1884
1885 /* Create the line information lookup table. */
1886 line_index = num_lines;
1887 for (each_line = seq->last_line; each_line; each_line = each_line->prev_line)
1888 line_info_lookup[--line_index] = each_line;
1889
1890 BFD_ASSERT (line_index == 0);
1891 return true;
1892 }
1893
1894 /* Sort the line sequences for quick lookup. */
1895
1896 static bool
1897 sort_line_sequences (struct line_info_table* table)
1898 {
1899 size_t amt;
1900 struct line_sequence *sequences;
1901 struct line_sequence *seq;
1902 unsigned int n = 0;
1903 unsigned int num_sequences = table->num_sequences;
1904 bfd_vma last_high_pc;
1905
1906 if (num_sequences == 0)
1907 return true;
1908
1909 /* Allocate space for an array of sequences. */
1910 amt = sizeof (struct line_sequence) * num_sequences;
1911 sequences = (struct line_sequence *) bfd_alloc (table->abfd, amt);
1912 if (sequences == NULL)
1913 return false;
1914
1915 /* Copy the linked list into the array, freeing the original nodes. */
1916 seq = table->sequences;
1917 for (n = 0; n < num_sequences; n++)
1918 {
1919 struct line_sequence* last_seq = seq;
1920
1921 BFD_ASSERT (seq);
1922 sequences[n].low_pc = seq->low_pc;
1923 sequences[n].prev_sequence = NULL;
1924 sequences[n].last_line = seq->last_line;
1925 sequences[n].line_info_lookup = NULL;
1926 sequences[n].num_lines = n;
1927 seq = seq->prev_sequence;
1928 free (last_seq);
1929 }
1930 BFD_ASSERT (seq == NULL);
1931
1932 qsort (sequences, n, sizeof (struct line_sequence), compare_sequences);
1933
1934 /* Make the list binary-searchable by trimming overlapping entries
1935 and removing nested entries. */
1936 num_sequences = 1;
1937 last_high_pc = sequences[0].last_line->address;
1938 for (n = 1; n < table->num_sequences; n++)
1939 {
1940 if (sequences[n].low_pc < last_high_pc)
1941 {
1942 if (sequences[n].last_line->address <= last_high_pc)
1943 /* Skip nested entries. */
1944 continue;
1945
1946 /* Trim overlapping entries. */
1947 sequences[n].low_pc = last_high_pc;
1948 }
1949 last_high_pc = sequences[n].last_line->address;
1950 if (n > num_sequences)
1951 {
1952 /* Close up the gap. */
1953 sequences[num_sequences].low_pc = sequences[n].low_pc;
1954 sequences[num_sequences].last_line = sequences[n].last_line;
1955 }
1956 num_sequences++;
1957 }
1958
1959 table->sequences = sequences;
1960 table->num_sequences = num_sequences;
1961 return true;
1962 }
1963
1964 /* Add directory to TABLE. CUR_DIR memory ownership is taken by TABLE. */
1965
1966 static bool
1967 line_info_add_include_dir (struct line_info_table *table, char *cur_dir)
1968 {
1969 if ((table->num_dirs % DIR_ALLOC_CHUNK) == 0)
1970 {
1971 char **tmp;
1972 size_t amt;
1973
1974 amt = table->num_dirs + DIR_ALLOC_CHUNK;
1975 amt *= sizeof (char *);
1976
1977 tmp = (char **) bfd_realloc (table->dirs, amt);
1978 if (tmp == NULL)
1979 return false;
1980 table->dirs = tmp;
1981 }
1982
1983 table->dirs[table->num_dirs++] = cur_dir;
1984 return true;
1985 }
1986
1987 static bool
1988 line_info_add_include_dir_stub (struct line_info_table *table, char *cur_dir,
1989 unsigned int dir ATTRIBUTE_UNUSED,
1990 unsigned int xtime ATTRIBUTE_UNUSED,
1991 unsigned int size ATTRIBUTE_UNUSED)
1992 {
1993 return line_info_add_include_dir (table, cur_dir);
1994 }
1995
1996 /* Add file to TABLE. CUR_FILE memory ownership is taken by TABLE. */
1997
1998 static bool
1999 line_info_add_file_name (struct line_info_table *table, char *cur_file,
2000 unsigned int dir, unsigned int xtime,
2001 unsigned int size)
2002 {
2003 if ((table->num_files % FILE_ALLOC_CHUNK) == 0)
2004 {
2005 struct fileinfo *tmp;
2006 size_t amt;
2007
2008 amt = table->num_files + FILE_ALLOC_CHUNK;
2009 amt *= sizeof (struct fileinfo);
2010
2011 tmp = (struct fileinfo *) bfd_realloc (table->files, amt);
2012 if (tmp == NULL)
2013 return false;
2014 table->files = tmp;
2015 }
2016
2017 table->files[table->num_files].name = cur_file;
2018 table->files[table->num_files].dir = dir;
2019 table->files[table->num_files].time = xtime;
2020 table->files[table->num_files].size = size;
2021 table->num_files++;
2022 return true;
2023 }
2024
2025 /* Read directory or file name entry format, starting with byte of
2026 format count entries, ULEB128 pairs of entry formats, ULEB128 of
2027 entries count and the entries themselves in the described entry
2028 format. */
2029
2030 static bool
2031 read_formatted_entries (struct comp_unit *unit, bfd_byte **bufp,
2032 bfd_byte *buf_end, struct line_info_table *table,
2033 bool (*callback) (struct line_info_table *table,
2034 char *cur_file,
2035 unsigned int dir,
2036 unsigned int time,
2037 unsigned int size))
2038 {
2039 bfd *abfd = unit->abfd;
2040 bfd_byte format_count, formati;
2041 bfd_vma data_count, datai;
2042 bfd_byte *buf = *bufp;
2043 bfd_byte *format_header_data;
2044
2045 format_count = read_1_byte (abfd, &buf, buf_end);
2046 format_header_data = buf;
2047 for (formati = 0; formati < format_count; formati++)
2048 {
2049 _bfd_safe_read_leb128 (abfd, &buf, false, buf_end);
2050 _bfd_safe_read_leb128 (abfd, &buf, false, buf_end);
2051 }
2052
2053 data_count = _bfd_safe_read_leb128 (abfd, &buf, false, buf_end);
2054 if (format_count == 0 && data_count != 0)
2055 {
2056 _bfd_error_handler (_("DWARF error: zero format count"));
2057 bfd_set_error (bfd_error_bad_value);
2058 return false;
2059 }
2060
2061 /* PR 22210. Paranoia check. Don't bother running the loop
2062 if we know that we are going to run out of buffer. */
2063 if (data_count > (bfd_vma) (buf_end - buf))
2064 {
2065 _bfd_error_handler
2066 (_("DWARF error: data count (%" PRIx64 ") larger than buffer size"),
2067 (uint64_t) data_count);
2068 bfd_set_error (bfd_error_bad_value);
2069 return false;
2070 }
2071
2072 for (datai = 0; datai < data_count; datai++)
2073 {
2074 bfd_byte *format = format_header_data;
2075 struct fileinfo fe;
2076
2077 memset (&fe, 0, sizeof fe);
2078 for (formati = 0; formati < format_count; formati++)
2079 {
2080 bfd_vma content_type, form;
2081 char *string_trash;
2082 char **stringp = &string_trash;
2083 unsigned int uint_trash, *uintp = &uint_trash;
2084 struct attribute attr;
2085
2086 content_type = _bfd_safe_read_leb128 (abfd, &format, false, buf_end);
2087 switch (content_type)
2088 {
2089 case DW_LNCT_path:
2090 stringp = &fe.name;
2091 break;
2092 case DW_LNCT_directory_index:
2093 uintp = &fe.dir;
2094 break;
2095 case DW_LNCT_timestamp:
2096 uintp = &fe.time;
2097 break;
2098 case DW_LNCT_size:
2099 uintp = &fe.size;
2100 break;
2101 case DW_LNCT_MD5:
2102 break;
2103 default:
2104 _bfd_error_handler
2105 (_("DWARF error: unknown format content type %" PRIu64),
2106 (uint64_t) content_type);
2107 bfd_set_error (bfd_error_bad_value);
2108 return false;
2109 }
2110
2111 form = _bfd_safe_read_leb128 (abfd, &format, false, buf_end);
2112 buf = read_attribute_value (&attr, form, 0, unit, buf, buf_end);
2113 if (buf == NULL)
2114 return false;
2115 switch (form)
2116 {
2117 case DW_FORM_string:
2118 case DW_FORM_line_strp:
2119 *stringp = attr.u.str;
2120 break;
2121
2122 case DW_FORM_data1:
2123 case DW_FORM_data2:
2124 case DW_FORM_data4:
2125 case DW_FORM_data8:
2126 case DW_FORM_udata:
2127 *uintp = attr.u.val;
2128 break;
2129
2130 case DW_FORM_data16:
2131 /* MD5 data is in the attr.blk, but we are ignoring those. */
2132 break;
2133 }
2134 }
2135
2136 /* Skip the first "zero entry", which is the compilation dir/file. */
2137 if (datai != 0)
2138 if (!callback (table, fe.name, fe.dir, fe.time, fe.size))
2139 return false;
2140 }
2141
2142 *bufp = buf;
2143 return true;
2144 }
2145
2146 /* Decode the line number information for UNIT. */
2147
2148 static struct line_info_table*
2149 decode_line_info (struct comp_unit *unit)
2150 {
2151 bfd *abfd = unit->abfd;
2152 struct dwarf2_debug *stash = unit->stash;
2153 struct dwarf2_debug_file *file = unit->file;
2154 struct line_info_table* table;
2155 bfd_byte *line_ptr;
2156 bfd_byte *line_end;
2157 struct line_head lh;
2158 unsigned int i, offset_size;
2159 char *cur_file, *cur_dir;
2160 unsigned char op_code, extended_op, adj_opcode;
2161 unsigned int exop_len;
2162 size_t amt;
2163
2164 if (unit->line_offset == 0 && file->line_table)
2165 return file->line_table;
2166
2167 if (! read_section (abfd, &stash->debug_sections[debug_line],
2168 file->syms, unit->line_offset,
2169 &file->dwarf_line_buffer, &file->dwarf_line_size))
2170 return NULL;
2171
2172 if (file->dwarf_line_size < 16)
2173 {
2174 _bfd_error_handler
2175 (_("DWARF error: line info section is too small (%" PRId64 ")"),
2176 (int64_t) file->dwarf_line_size);
2177 bfd_set_error (bfd_error_bad_value);
2178 return NULL;
2179 }
2180 line_ptr = file->dwarf_line_buffer + unit->line_offset;
2181 line_end = file->dwarf_line_buffer + file->dwarf_line_size;
2182
2183 /* Read in the prologue. */
2184 lh.total_length = read_4_bytes (abfd, &line_ptr, line_end);
2185 offset_size = 4;
2186 if (lh.total_length == 0xffffffff)
2187 {
2188 lh.total_length = read_8_bytes (abfd, &line_ptr, line_end);
2189 offset_size = 8;
2190 }
2191 else if (lh.total_length == 0 && unit->addr_size == 8)
2192 {
2193 /* Handle (non-standard) 64-bit DWARF2 formats. */
2194 lh.total_length = read_4_bytes (abfd, &line_ptr, line_end);
2195 offset_size = 8;
2196 }
2197
2198 if (lh.total_length > (size_t) (line_end - line_ptr))
2199 {
2200 _bfd_error_handler
2201 /* xgettext: c-format */
2202 (_("DWARF error: line info data is bigger (%#" PRIx64 ")"
2203 " than the space remaining in the section (%#lx)"),
2204 (uint64_t) lh.total_length, (unsigned long) (line_end - line_ptr));
2205 bfd_set_error (bfd_error_bad_value);
2206 return NULL;
2207 }
2208
2209 line_end = line_ptr + lh.total_length;
2210
2211 lh.version = read_2_bytes (abfd, &line_ptr, line_end);
2212 if (lh.version < 2 || lh.version > 5)
2213 {
2214 _bfd_error_handler
2215 (_("DWARF error: unhandled .debug_line version %d"), lh.version);
2216 bfd_set_error (bfd_error_bad_value);
2217 return NULL;
2218 }
2219
2220 if (line_ptr + offset_size + (lh.version >= 5 ? 8 : (lh.version >= 4 ? 6 : 5))
2221 >= line_end)
2222 {
2223 _bfd_error_handler
2224 (_("DWARF error: ran out of room reading prologue"));
2225 bfd_set_error (bfd_error_bad_value);
2226 return NULL;
2227 }
2228
2229 if (lh.version >= 5)
2230 {
2231 unsigned int segment_selector_size;
2232
2233 /* Skip address size. */
2234 read_1_byte (abfd, &line_ptr, line_end);
2235
2236 segment_selector_size = read_1_byte (abfd, &line_ptr, line_end);
2237 if (segment_selector_size != 0)
2238 {
2239 _bfd_error_handler
2240 (_("DWARF error: line info unsupported segment selector size %u"),
2241 segment_selector_size);
2242 bfd_set_error (bfd_error_bad_value);
2243 return NULL;
2244 }
2245 }
2246
2247 if (offset_size == 4)
2248 lh.prologue_length = read_4_bytes (abfd, &line_ptr, line_end);
2249 else
2250 lh.prologue_length = read_8_bytes (abfd, &line_ptr, line_end);
2251
2252 lh.minimum_instruction_length = read_1_byte (abfd, &line_ptr, line_end);
2253
2254 if (lh.version >= 4)
2255 lh.maximum_ops_per_insn = read_1_byte (abfd, &line_ptr, line_end);
2256 else
2257 lh.maximum_ops_per_insn = 1;
2258
2259 if (lh.maximum_ops_per_insn == 0)
2260 {
2261 _bfd_error_handler
2262 (_("DWARF error: invalid maximum operations per instruction"));
2263 bfd_set_error (bfd_error_bad_value);
2264 return NULL;
2265 }
2266
2267 lh.default_is_stmt = read_1_byte (abfd, &line_ptr, line_end);
2268 lh.line_base = read_1_signed_byte (abfd, &line_ptr, line_end);
2269 lh.line_range = read_1_byte (abfd, &line_ptr, line_end);
2270 lh.opcode_base = read_1_byte (abfd, &line_ptr, line_end);
2271
2272 if (line_ptr + (lh.opcode_base - 1) >= line_end)
2273 {
2274 _bfd_error_handler (_("DWARF error: ran out of room reading opcodes"));
2275 bfd_set_error (bfd_error_bad_value);
2276 return NULL;
2277 }
2278
2279 amt = lh.opcode_base * sizeof (unsigned char);
2280 lh.standard_opcode_lengths = (unsigned char *) bfd_alloc (abfd, amt);
2281
2282 lh.standard_opcode_lengths[0] = 1;
2283
2284 for (i = 1; i < lh.opcode_base; ++i)
2285 lh.standard_opcode_lengths[i] = read_1_byte (abfd, &line_ptr, line_end);
2286
2287 amt = sizeof (struct line_info_table);
2288 table = (struct line_info_table *) bfd_alloc (abfd, amt);
2289 if (table == NULL)
2290 return NULL;
2291 table->abfd = abfd;
2292 table->comp_dir = unit->comp_dir;
2293
2294 table->num_files = 0;
2295 table->files = NULL;
2296
2297 table->num_dirs = 0;
2298 table->dirs = NULL;
2299
2300 table->num_sequences = 0;
2301 table->sequences = NULL;
2302
2303 table->lcl_head = NULL;
2304
2305 if (lh.version >= 5)
2306 {
2307 /* Read directory table. */
2308 if (!read_formatted_entries (unit, &line_ptr, line_end, table,
2309 line_info_add_include_dir_stub))
2310 goto fail;
2311
2312 /* Read file name table. */
2313 if (!read_formatted_entries (unit, &line_ptr, line_end, table,
2314 line_info_add_file_name))
2315 goto fail;
2316 }
2317 else
2318 {
2319 /* Read directory table. */
2320 while ((cur_dir = read_string (&line_ptr, line_end)) != NULL)
2321 {
2322 if (!line_info_add_include_dir (table, cur_dir))
2323 goto fail;
2324 }
2325
2326 /* Read file name table. */
2327 while ((cur_file = read_string (&line_ptr, line_end)) != NULL)
2328 {
2329 unsigned int dir, xtime, size;
2330
2331 dir = _bfd_safe_read_leb128 (abfd, &line_ptr, false, line_end);
2332 xtime = _bfd_safe_read_leb128 (abfd, &line_ptr, false, line_end);
2333 size = _bfd_safe_read_leb128 (abfd, &line_ptr, false, line_end);
2334
2335 if (!line_info_add_file_name (table, cur_file, dir, xtime, size))
2336 goto fail;
2337 }
2338 }
2339
2340 /* Read the statement sequences until there's nothing left. */
2341 while (line_ptr < line_end)
2342 {
2343 /* State machine registers. */
2344 bfd_vma address = 0;
2345 unsigned char op_index = 0;
2346 char * filename = table->num_files ? concat_filename (table, 1) : NULL;
2347 unsigned int line = 1;
2348 unsigned int column = 0;
2349 unsigned int discriminator = 0;
2350 int is_stmt = lh.default_is_stmt;
2351 int end_sequence = 0;
2352 unsigned int dir, xtime, size;
2353 /* eraxxon@alumni.rice.edu: Against the DWARF2 specs, some
2354 compilers generate address sequences that are wildly out of
2355 order using DW_LNE_set_address (e.g. Intel C++ 6.0 compiler
2356 for ia64-Linux). Thus, to determine the low and high
2357 address, we must compare on every DW_LNS_copy, etc. */
2358 bfd_vma low_pc = (bfd_vma) -1;
2359 bfd_vma high_pc = 0;
2360
2361 /* Decode the table. */
2362 while (!end_sequence && line_ptr < line_end)
2363 {
2364 op_code = read_1_byte (abfd, &line_ptr, line_end);
2365
2366 if (op_code >= lh.opcode_base)
2367 {
2368 /* Special operand. */
2369 adj_opcode = op_code - lh.opcode_base;
2370 if (lh.line_range == 0)
2371 goto line_fail;
2372 if (lh.maximum_ops_per_insn == 1)
2373 address += (adj_opcode / lh.line_range
2374 * lh.minimum_instruction_length);
2375 else
2376 {
2377 address += ((op_index + adj_opcode / lh.line_range)
2378 / lh.maximum_ops_per_insn
2379 * lh.minimum_instruction_length);
2380 op_index = ((op_index + adj_opcode / lh.line_range)
2381 % lh.maximum_ops_per_insn);
2382 }
2383 line += lh.line_base + (adj_opcode % lh.line_range);
2384 /* Append row to matrix using current values. */
2385 if (!add_line_info (table, address, op_index, filename,
2386 line, column, discriminator, 0))
2387 goto line_fail;
2388 discriminator = 0;
2389 if (address < low_pc)
2390 low_pc = address;
2391 if (address > high_pc)
2392 high_pc = address;
2393 }
2394 else switch (op_code)
2395 {
2396 case DW_LNS_extended_op:
2397 exop_len = _bfd_safe_read_leb128 (abfd, &line_ptr,
2398 false, line_end);
2399 extended_op = read_1_byte (abfd, &line_ptr, line_end);
2400
2401 switch (extended_op)
2402 {
2403 case DW_LNE_end_sequence:
2404 end_sequence = 1;
2405 if (!add_line_info (table, address, op_index, filename, line,
2406 column, discriminator, end_sequence))
2407 goto line_fail;
2408 discriminator = 0;
2409 if (address < low_pc)
2410 low_pc = address;
2411 if (address > high_pc)
2412 high_pc = address;
2413 if (!arange_add (unit, &unit->arange, low_pc, high_pc))
2414 goto line_fail;
2415 break;
2416 case DW_LNE_set_address:
2417 address = read_address (unit, &line_ptr, line_end);
2418 op_index = 0;
2419 break;
2420 case DW_LNE_define_file:
2421 cur_file = read_string (&line_ptr, line_end);
2422 dir = _bfd_safe_read_leb128 (abfd, &line_ptr,
2423 false, line_end);
2424 xtime = _bfd_safe_read_leb128 (abfd, &line_ptr,
2425 false, line_end);
2426 size = _bfd_safe_read_leb128 (abfd, &line_ptr,
2427 false, line_end);
2428 if (!line_info_add_file_name (table, cur_file, dir,
2429 xtime, size))
2430 goto line_fail;
2431 break;
2432 case DW_LNE_set_discriminator:
2433 discriminator =
2434 _bfd_safe_read_leb128 (abfd, &line_ptr,
2435 false, line_end);
2436 break;
2437 case DW_LNE_HP_source_file_correlation:
2438 line_ptr += exop_len - 1;
2439 break;
2440 default:
2441 _bfd_error_handler
2442 (_("DWARF error: mangled line number section"));
2443 bfd_set_error (bfd_error_bad_value);
2444 line_fail:
2445 free (filename);
2446 goto fail;
2447 }
2448 break;
2449 case DW_LNS_copy:
2450 if (!add_line_info (table, address, op_index,
2451 filename, line, column, discriminator, 0))
2452 goto line_fail;
2453 discriminator = 0;
2454 if (address < low_pc)
2455 low_pc = address;
2456 if (address > high_pc)
2457 high_pc = address;
2458 break;
2459 case DW_LNS_advance_pc:
2460 if (lh.maximum_ops_per_insn == 1)
2461 address += (lh.minimum_instruction_length
2462 * _bfd_safe_read_leb128 (abfd, &line_ptr,
2463 false, line_end));
2464 else
2465 {
2466 bfd_vma adjust = _bfd_safe_read_leb128 (abfd, &line_ptr,
2467 false, line_end);
2468 address = ((op_index + adjust) / lh.maximum_ops_per_insn
2469 * lh.minimum_instruction_length);
2470 op_index = (op_index + adjust) % lh.maximum_ops_per_insn;
2471 }
2472 break;
2473 case DW_LNS_advance_line:
2474 line += _bfd_safe_read_leb128 (abfd, &line_ptr,
2475 true, line_end);
2476 break;
2477 case DW_LNS_set_file:
2478 {
2479 unsigned int filenum;
2480
2481 /* The file and directory tables are 0
2482 based, the references are 1 based. */
2483 filenum = _bfd_safe_read_leb128 (abfd, &line_ptr,
2484 false, line_end);
2485 free (filename);
2486 filename = concat_filename (table, filenum);
2487 break;
2488 }
2489 case DW_LNS_set_column:
2490 column = _bfd_safe_read_leb128 (abfd, &line_ptr,
2491 false, line_end);
2492 break;
2493 case DW_LNS_negate_stmt:
2494 is_stmt = (!is_stmt);
2495 break;
2496 case DW_LNS_set_basic_block:
2497 break;
2498 case DW_LNS_const_add_pc:
2499 if (lh.line_range == 0)
2500 goto line_fail;
2501 if (lh.maximum_ops_per_insn == 1)
2502 address += (lh.minimum_instruction_length
2503 * ((255 - lh.opcode_base) / lh.line_range));
2504 else
2505 {
2506 bfd_vma adjust = ((255 - lh.opcode_base) / lh.line_range);
2507 address += (lh.minimum_instruction_length
2508 * ((op_index + adjust)
2509 / lh.maximum_ops_per_insn));
2510 op_index = (op_index + adjust) % lh.maximum_ops_per_insn;
2511 }
2512 break;
2513 case DW_LNS_fixed_advance_pc:
2514 address += read_2_bytes (abfd, &line_ptr, line_end);
2515 op_index = 0;
2516 break;
2517 default:
2518 /* Unknown standard opcode, ignore it. */
2519 for (i = 0; i < lh.standard_opcode_lengths[op_code]; i++)
2520 (void) _bfd_safe_read_leb128 (abfd, &line_ptr,
2521 false, line_end);
2522 break;
2523 }
2524 }
2525
2526 free (filename);
2527 }
2528
2529 if (unit->line_offset == 0)
2530 file->line_table = table;
2531 if (sort_line_sequences (table))
2532 return table;
2533
2534 fail:
2535 while (table->sequences != NULL)
2536 {
2537 struct line_sequence* seq = table->sequences;
2538 table->sequences = table->sequences->prev_sequence;
2539 free (seq);
2540 }
2541 free (table->files);
2542 free (table->dirs);
2543 return NULL;
2544 }
2545
2546 /* If ADDR is within TABLE set the output parameters and return the
2547 range of addresses covered by the entry used to fill them out.
2548 Otherwise set * FILENAME_PTR to NULL and return 0.
2549 The parameters FILENAME_PTR, LINENUMBER_PTR and DISCRIMINATOR_PTR
2550 are pointers to the objects to be filled in. */
2551
2552 static bfd_vma
2553 lookup_address_in_line_info_table (struct line_info_table *table,
2554 bfd_vma addr,
2555 const char **filename_ptr,
2556 unsigned int *linenumber_ptr,
2557 unsigned int *discriminator_ptr)
2558 {
2559 struct line_sequence *seq = NULL;
2560 struct line_info *info;
2561 int low, high, mid;
2562
2563 /* Binary search the array of sequences. */
2564 low = 0;
2565 high = table->num_sequences;
2566 while (low < high)
2567 {
2568 mid = (low + high) / 2;
2569 seq = &table->sequences[mid];
2570 if (addr < seq->low_pc)
2571 high = mid;
2572 else if (addr >= seq->last_line->address)
2573 low = mid + 1;
2574 else
2575 break;
2576 }
2577
2578 /* Check for a valid sequence. */
2579 if (!seq || addr < seq->low_pc || addr >= seq->last_line->address)
2580 goto fail;
2581
2582 if (!build_line_info_table (table, seq))
2583 goto fail;
2584
2585 /* Binary search the array of line information. */
2586 low = 0;
2587 high = seq->num_lines;
2588 info = NULL;
2589 while (low < high)
2590 {
2591 mid = (low + high) / 2;
2592 info = seq->line_info_lookup[mid];
2593 if (addr < info->address)
2594 high = mid;
2595 else if (addr >= seq->line_info_lookup[mid + 1]->address)
2596 low = mid + 1;
2597 else
2598 break;
2599 }
2600
2601 /* Check for a valid line information entry. */
2602 if (info
2603 && addr >= info->address
2604 && addr < seq->line_info_lookup[mid + 1]->address
2605 && !(info->end_sequence || info == seq->last_line))
2606 {
2607 *filename_ptr = info->filename;
2608 *linenumber_ptr = info->line;
2609 if (discriminator_ptr)
2610 *discriminator_ptr = info->discriminator;
2611 return seq->last_line->address - seq->low_pc;
2612 }
2613
2614 fail:
2615 *filename_ptr = NULL;
2616 return 0;
2617 }
2618
2619 /* Read in the .debug_ranges section for future reference. */
2620
2621 static bool
2622 read_debug_ranges (struct comp_unit * unit)
2623 {
2624 struct dwarf2_debug *stash = unit->stash;
2625 struct dwarf2_debug_file *file = unit->file;
2626
2627 return read_section (unit->abfd, &stash->debug_sections[debug_ranges],
2628 file->syms, 0,
2629 &file->dwarf_ranges_buffer, &file->dwarf_ranges_size);
2630 }
2631
2632 /* Read in the .debug_rnglists section for future reference. */
2633
2634 static bool
2635 read_debug_rnglists (struct comp_unit * unit)
2636 {
2637 struct dwarf2_debug *stash = unit->stash;
2638 struct dwarf2_debug_file *file = unit->file;
2639
2640 return read_section (unit->abfd, &stash->debug_sections[debug_rnglists],
2641 file->syms, 0,
2642 &file->dwarf_rnglists_buffer, &file->dwarf_rnglists_size);
2643 }
2644
2645 /* Function table functions. */
2646
2647 static int
2648 compare_lookup_funcinfos (const void * a, const void * b)
2649 {
2650 const struct lookup_funcinfo * lookup1 = a;
2651 const struct lookup_funcinfo * lookup2 = b;
2652
2653 if (lookup1->low_addr < lookup2->low_addr)
2654 return -1;
2655 if (lookup1->low_addr > lookup2->low_addr)
2656 return 1;
2657 if (lookup1->high_addr < lookup2->high_addr)
2658 return -1;
2659 if (lookup1->high_addr > lookup2->high_addr)
2660 return 1;
2661
2662 if (lookup1->idx < lookup2->idx)
2663 return -1;
2664 if (lookup1->idx > lookup2->idx)
2665 return 1;
2666 return 0;
2667 }
2668
2669 static bool
2670 build_lookup_funcinfo_table (struct comp_unit * unit)
2671 {
2672 struct lookup_funcinfo *lookup_funcinfo_table = unit->lookup_funcinfo_table;
2673 unsigned int number_of_functions = unit->number_of_functions;
2674 struct funcinfo *each;
2675 struct lookup_funcinfo *entry;
2676 size_t func_index;
2677 struct arange *range;
2678 bfd_vma low_addr, high_addr;
2679
2680 if (lookup_funcinfo_table || number_of_functions == 0)
2681 return true;
2682
2683 /* Create the function info lookup table. */
2684 lookup_funcinfo_table = (struct lookup_funcinfo *)
2685 bfd_malloc (number_of_functions * sizeof (struct lookup_funcinfo));
2686 if (lookup_funcinfo_table == NULL)
2687 return false;
2688
2689 /* Populate the function info lookup table. */
2690 func_index = number_of_functions;
2691 for (each = unit->function_table; each; each = each->prev_func)
2692 {
2693 entry = &lookup_funcinfo_table[--func_index];
2694 entry->funcinfo = each;
2695 entry->idx = func_index;
2696
2697 /* Calculate the lowest and highest address for this function entry. */
2698 low_addr = entry->funcinfo->arange.low;
2699 high_addr = entry->funcinfo->arange.high;
2700
2701 for (range = entry->funcinfo->arange.next; range; range = range->next)
2702 {
2703 if (range->low < low_addr)
2704 low_addr = range->low;
2705 if (range->high > high_addr)
2706 high_addr = range->high;
2707 }
2708
2709 entry->low_addr = low_addr;
2710 entry->high_addr = high_addr;
2711 }
2712
2713 BFD_ASSERT (func_index == 0);
2714
2715 /* Sort the function by address. */
2716 qsort (lookup_funcinfo_table,
2717 number_of_functions,
2718 sizeof (struct lookup_funcinfo),
2719 compare_lookup_funcinfos);
2720
2721 /* Calculate the high watermark for each function in the lookup table. */
2722 high_addr = lookup_funcinfo_table[0].high_addr;
2723 for (func_index = 1; func_index < number_of_functions; func_index++)
2724 {
2725 entry = &lookup_funcinfo_table[func_index];
2726 if (entry->high_addr > high_addr)
2727 high_addr = entry->high_addr;
2728 else
2729 entry->high_addr = high_addr;
2730 }
2731
2732 unit->lookup_funcinfo_table = lookup_funcinfo_table;
2733 return true;
2734 }
2735
2736 /* If ADDR is within UNIT's function tables, set FUNCTION_PTR, and return
2737 TRUE. Note that we need to find the function that has the smallest range
2738 that contains ADDR, to handle inlined functions without depending upon
2739 them being ordered in TABLE by increasing range. */
2740
2741 static bool
2742 lookup_address_in_function_table (struct comp_unit *unit,
2743 bfd_vma addr,
2744 struct funcinfo **function_ptr)
2745 {
2746 unsigned int number_of_functions = unit->number_of_functions;
2747 struct lookup_funcinfo* lookup_funcinfo = NULL;
2748 struct funcinfo* funcinfo = NULL;
2749 struct funcinfo* best_fit = NULL;
2750 bfd_vma best_fit_len = 0;
2751 bfd_size_type low, high, mid, first;
2752 struct arange *arange;
2753
2754 if (number_of_functions == 0)
2755 return false;
2756
2757 if (!build_lookup_funcinfo_table (unit))
2758 return false;
2759
2760 if (unit->lookup_funcinfo_table[number_of_functions - 1].high_addr < addr)
2761 return false;
2762
2763 /* Find the first function in the lookup table which may contain the
2764 specified address. */
2765 low = 0;
2766 high = number_of_functions;
2767 first = high;
2768 while (low < high)
2769 {
2770 mid = (low + high) / 2;
2771 lookup_funcinfo = &unit->lookup_funcinfo_table[mid];
2772 if (addr < lookup_funcinfo->low_addr)
2773 high = mid;
2774 else if (addr >= lookup_funcinfo->high_addr)
2775 low = mid + 1;
2776 else
2777 high = first = mid;
2778 }
2779
2780 /* Find the 'best' match for the address. The prior algorithm defined the
2781 best match as the function with the smallest address range containing
2782 the specified address. This definition should probably be changed to the
2783 innermost inline routine containing the address, but right now we want
2784 to get the same results we did before. */
2785 while (first < number_of_functions)
2786 {
2787 if (addr < unit->lookup_funcinfo_table[first].low_addr)
2788 break;
2789 funcinfo = unit->lookup_funcinfo_table[first].funcinfo;
2790
2791 for (arange = &funcinfo->arange; arange; arange = arange->next)
2792 {
2793 if (addr < arange->low || addr >= arange->high)
2794 continue;
2795
2796 if (!best_fit
2797 || arange->high - arange->low < best_fit_len
2798 /* The following comparison is designed to return the same
2799 match as the previous algorithm for routines which have the
2800 same best fit length. */
2801 || (arange->high - arange->low == best_fit_len
2802 && funcinfo > best_fit))
2803 {
2804 best_fit = funcinfo;
2805 best_fit_len = arange->high - arange->low;
2806 }
2807 }
2808
2809 first++;
2810 }
2811
2812 if (!best_fit)
2813 return false;
2814
2815 *function_ptr = best_fit;
2816 return true;
2817 }
2818
2819 /* If SYM at ADDR is within function table of UNIT, set FILENAME_PTR
2820 and LINENUMBER_PTR, and return TRUE. */
2821
2822 static bool
2823 lookup_symbol_in_function_table (struct comp_unit *unit,
2824 asymbol *sym,
2825 bfd_vma addr,
2826 const char **filename_ptr,
2827 unsigned int *linenumber_ptr)
2828 {
2829 struct funcinfo* each_func;
2830 struct funcinfo* best_fit = NULL;
2831 bfd_vma best_fit_len = 0;
2832 struct arange *arange;
2833 const char *name = bfd_asymbol_name (sym);
2834 asection *sec = bfd_asymbol_section (sym);
2835
2836 for (each_func = unit->function_table;
2837 each_func;
2838 each_func = each_func->prev_func)
2839 {
2840 for (arange = &each_func->arange;
2841 arange;
2842 arange = arange->next)
2843 {
2844 if ((!each_func->sec || each_func->sec == sec)
2845 && addr >= arange->low
2846 && addr < arange->high
2847 && each_func->name
2848 && strcmp (name, each_func->name) == 0
2849 && (!best_fit
2850 || arange->high - arange->low < best_fit_len))
2851 {
2852 best_fit = each_func;
2853 best_fit_len = arange->high - arange->low;
2854 }
2855 }
2856 }
2857
2858 if (best_fit)
2859 {
2860 best_fit->sec = sec;
2861 *filename_ptr = best_fit->file;
2862 *linenumber_ptr = best_fit->line;
2863 return true;
2864 }
2865 else
2866 return false;
2867 }
2868
2869 /* Variable table functions. */
2870
2871 /* If SYM is within variable table of UNIT, set FILENAME_PTR and
2872 LINENUMBER_PTR, and return TRUE. */
2873
2874 static bool
2875 lookup_symbol_in_variable_table (struct comp_unit *unit,
2876 asymbol *sym,
2877 bfd_vma addr,
2878 const char **filename_ptr,
2879 unsigned int *linenumber_ptr)
2880 {
2881 const char *name = bfd_asymbol_name (sym);
2882 asection *sec = bfd_asymbol_section (sym);
2883 struct varinfo* each;
2884
2885 for (each = unit->variable_table; each; each = each->prev_var)
2886 if (! each->stack
2887 && each->file != NULL
2888 && each->name != NULL
2889 && each->addr == addr
2890 && (!each->sec || each->sec == sec)
2891 && strcmp (name, each->name) == 0)
2892 break;
2893
2894 if (each)
2895 {
2896 each->sec = sec;
2897 *filename_ptr = each->file;
2898 *linenumber_ptr = each->line;
2899 return true;
2900 }
2901
2902 return false;
2903 }
2904
2905 static struct comp_unit *stash_comp_unit (struct dwarf2_debug *,
2906 struct dwarf2_debug_file *);
2907 static bool comp_unit_maybe_decode_line_info (struct comp_unit *);
2908
2909 static bool
2910 find_abstract_instance (struct comp_unit *unit,
2911 struct attribute *attr_ptr,
2912 unsigned int recur_count,
2913 const char **pname,
2914 bool *is_linkage,
2915 char **filename_ptr,
2916 int *linenumber_ptr)
2917 {
2918 bfd *abfd = unit->abfd;
2919 bfd_byte *info_ptr = NULL;
2920 bfd_byte *info_ptr_end;
2921 unsigned int abbrev_number, i;
2922 struct abbrev_info *abbrev;
2923 bfd_uint64_t die_ref = attr_ptr->u.val;
2924 struct attribute attr;
2925 const char *name = NULL;
2926
2927 if (recur_count == 100)
2928 {
2929 _bfd_error_handler
2930 (_("DWARF error: abstract instance recursion detected"));
2931 bfd_set_error (bfd_error_bad_value);
2932 return false;
2933 }
2934
2935 /* DW_FORM_ref_addr can reference an entry in a different CU. It
2936 is an offset from the .debug_info section, not the current CU. */
2937 if (attr_ptr->form == DW_FORM_ref_addr)
2938 {
2939 /* We only support DW_FORM_ref_addr within the same file, so
2940 any relocations should be resolved already. Check this by
2941 testing for a zero die_ref; There can't be a valid reference
2942 to the header of a .debug_info section.
2943 DW_FORM_ref_addr is an offset relative to .debug_info.
2944 Normally when using the GNU linker this is accomplished by
2945 emitting a symbolic reference to a label, because .debug_info
2946 sections are linked at zero. When there are multiple section
2947 groups containing .debug_info, as there might be in a
2948 relocatable object file, it would be reasonable to assume that
2949 a symbolic reference to a label in any .debug_info section
2950 might be used. Since we lay out multiple .debug_info
2951 sections at non-zero VMAs (see place_sections), and read
2952 them contiguously into dwarf_info_buffer, that means the
2953 reference is relative to dwarf_info_buffer. */
2954 size_t total;
2955
2956 info_ptr = unit->file->dwarf_info_buffer;
2957 info_ptr_end = info_ptr + unit->file->dwarf_info_size;
2958 total = info_ptr_end - info_ptr;
2959 if (!die_ref)
2960 return true;
2961 else if (die_ref >= total)
2962 {
2963 _bfd_error_handler
2964 (_("DWARF error: invalid abstract instance DIE ref"));
2965 bfd_set_error (bfd_error_bad_value);
2966 return false;
2967 }
2968 info_ptr += die_ref;
2969 }
2970 else if (attr_ptr->form == DW_FORM_GNU_ref_alt)
2971 {
2972 bool first_time = unit->stash->alt.dwarf_info_buffer == NULL;
2973
2974 info_ptr = read_alt_indirect_ref (unit, die_ref);
2975 if (first_time)
2976 unit->stash->alt.info_ptr = unit->stash->alt.dwarf_info_buffer;
2977 if (info_ptr == NULL)
2978 {
2979 _bfd_error_handler
2980 (_("DWARF error: unable to read alt ref %" PRIu64),
2981 (uint64_t) die_ref);
2982 bfd_set_error (bfd_error_bad_value);
2983 return false;
2984 }
2985 info_ptr_end = (unit->stash->alt.dwarf_info_buffer
2986 + unit->stash->alt.dwarf_info_size);
2987 if (unit->stash->alt.all_comp_units)
2988 unit = unit->stash->alt.all_comp_units;
2989 }
2990
2991 if (attr_ptr->form == DW_FORM_ref_addr
2992 || attr_ptr->form == DW_FORM_GNU_ref_alt)
2993 {
2994 /* Now find the CU containing this pointer. */
2995 if (info_ptr >= unit->info_ptr_unit && info_ptr < unit->end_ptr)
2996 info_ptr_end = unit->end_ptr;
2997 else
2998 {
2999 /* Check other CUs to see if they contain the abbrev. */
3000 struct comp_unit *u;
3001
3002 for (u = unit->prev_unit; u != NULL; u = u->prev_unit)
3003 if (info_ptr >= u->info_ptr_unit && info_ptr < u->end_ptr)
3004 break;
3005
3006 if (u == NULL)
3007 for (u = unit->next_unit; u != NULL; u = u->next_unit)
3008 if (info_ptr >= u->info_ptr_unit && info_ptr < u->end_ptr)
3009 break;
3010
3011 if (attr_ptr->form == DW_FORM_ref_addr)
3012 while (u == NULL)
3013 {
3014 u = stash_comp_unit (unit->stash, &unit->stash->f);
3015 if (u == NULL)
3016 break;
3017 if (info_ptr >= u->info_ptr_unit && info_ptr < u->end_ptr)
3018 break;
3019 u = NULL;
3020 }
3021
3022 if (attr_ptr->form == DW_FORM_GNU_ref_alt)
3023 while (u == NULL)
3024 {
3025 u = stash_comp_unit (unit->stash, &unit->stash->alt);
3026 if (u == NULL)
3027 break;
3028 if (info_ptr >= u->info_ptr_unit && info_ptr < u->end_ptr)
3029 break;
3030 u = NULL;
3031 }
3032
3033 if (u == NULL)
3034 {
3035 _bfd_error_handler
3036 (_("DWARF error: unable to locate abstract instance DIE ref %"
3037 PRIu64), (uint64_t) die_ref);
3038 bfd_set_error (bfd_error_bad_value);
3039 return false;
3040 }
3041 unit = u;
3042 info_ptr_end = unit->end_ptr;
3043 }
3044 }
3045 else
3046 {
3047 /* DW_FORM_ref1, DW_FORM_ref2, DW_FORM_ref4, DW_FORM_ref8 or
3048 DW_FORM_ref_udata. These are all references relative to the
3049 start of the current CU. */
3050 size_t total;
3051
3052 info_ptr = unit->info_ptr_unit;
3053 info_ptr_end = unit->end_ptr;
3054 total = info_ptr_end - info_ptr;
3055 if (!die_ref || die_ref >= total)
3056 {
3057 _bfd_error_handler
3058 (_("DWARF error: invalid abstract instance DIE ref"));
3059 bfd_set_error (bfd_error_bad_value);
3060 return false;
3061 }
3062 info_ptr += die_ref;
3063 }
3064
3065 abbrev_number = _bfd_safe_read_leb128 (abfd, &info_ptr,
3066 false, info_ptr_end);
3067 if (abbrev_number)
3068 {
3069 abbrev = lookup_abbrev (abbrev_number, unit->abbrevs);
3070 if (! abbrev)
3071 {
3072 _bfd_error_handler
3073 (_("DWARF error: could not find abbrev number %u"), abbrev_number);
3074 bfd_set_error (bfd_error_bad_value);
3075 return false;
3076 }
3077 else
3078 {
3079 for (i = 0; i < abbrev->num_attrs; ++i)
3080 {
3081 info_ptr = read_attribute (&attr, &abbrev->attrs[i], unit,
3082 info_ptr, info_ptr_end);
3083 if (info_ptr == NULL)
3084 break;
3085 switch (attr.name)
3086 {
3087 case DW_AT_name:
3088 /* Prefer DW_AT_MIPS_linkage_name or DW_AT_linkage_name
3089 over DW_AT_name. */
3090 if (name == NULL && is_str_form (&attr))
3091 {
3092 name = attr.u.str;
3093 if (non_mangled (unit->lang))
3094 *is_linkage = true;
3095 }
3096 break;
3097 case DW_AT_specification:
3098 if (is_int_form (&attr)
3099 && !find_abstract_instance (unit, &attr, recur_count + 1,
3100 &name, is_linkage,
3101 filename_ptr, linenumber_ptr))
3102 return false;
3103 break;
3104 case DW_AT_linkage_name:
3105 case DW_AT_MIPS_linkage_name:
3106 /* PR 16949: Corrupt debug info can place
3107 non-string forms into these attributes. */
3108 if (is_str_form (&attr))
3109 {
3110 name = attr.u.str;
3111 *is_linkage = true;
3112 }
3113 break;
3114 case DW_AT_decl_file:
3115 if (!comp_unit_maybe_decode_line_info (unit))
3116 return false;
3117 if (is_int_form (&attr))
3118 *filename_ptr = concat_filename (unit->line_table,
3119 attr.u.val);
3120 break;
3121 case DW_AT_decl_line:
3122 if (is_int_form (&attr))
3123 *linenumber_ptr = attr.u.val;
3124 break;
3125 default:
3126 break;
3127 }
3128 }
3129 }
3130 }
3131 *pname = name;
3132 return true;
3133 }
3134
3135 static bool
3136 read_ranges (struct comp_unit *unit, struct arange *arange,
3137 bfd_uint64_t offset)
3138 {
3139 bfd_byte *ranges_ptr;
3140 bfd_byte *ranges_end;
3141 bfd_vma base_address = unit->base_address;
3142
3143 if (! unit->file->dwarf_ranges_buffer)
3144 {
3145 if (! read_debug_ranges (unit))
3146 return false;
3147 }
3148
3149 if (offset > unit->file->dwarf_ranges_size)
3150 return false;
3151 ranges_ptr = unit->file->dwarf_ranges_buffer + offset;
3152 ranges_end = unit->file->dwarf_ranges_buffer + unit->file->dwarf_ranges_size;
3153
3154 for (;;)
3155 {
3156 bfd_vma low_pc;
3157 bfd_vma high_pc;
3158
3159 /* PR 17512: file: 62cada7d. */
3160 if (2u * unit->addr_size > (size_t) (ranges_end - ranges_ptr))
3161 return false;
3162
3163 low_pc = read_address (unit, &ranges_ptr, ranges_end);
3164 high_pc = read_address (unit, &ranges_ptr, ranges_end);
3165
3166 if (low_pc == 0 && high_pc == 0)
3167 break;
3168 if (low_pc == -1UL && high_pc != -1UL)
3169 base_address = high_pc;
3170 else
3171 {
3172 if (!arange_add (unit, arange,
3173 base_address + low_pc, base_address + high_pc))
3174 return false;
3175 }
3176 }
3177 return true;
3178 }
3179
3180 static bool
3181 read_rnglists (struct comp_unit *unit, struct arange *arange,
3182 bfd_uint64_t offset)
3183 {
3184 bfd_byte *rngs_ptr;
3185 bfd_byte *rngs_end;
3186 bfd_vma base_address = unit->base_address;
3187 bfd_vma low_pc;
3188 bfd_vma high_pc;
3189 bfd *abfd = unit->abfd;
3190
3191 if (! unit->file->dwarf_rnglists_buffer)
3192 {
3193 if (! read_debug_rnglists (unit))
3194 return false;
3195 }
3196
3197 rngs_ptr = unit->file->dwarf_rnglists_buffer + offset;
3198 if (rngs_ptr < unit->file->dwarf_rnglists_buffer)
3199 return false;
3200 rngs_end = unit->file->dwarf_rnglists_buffer;
3201 rngs_end += unit->file->dwarf_rnglists_size;
3202
3203 for (;;)
3204 {
3205 enum dwarf_range_list_entry rlet;
3206
3207 if (rngs_ptr >= rngs_end)
3208 return false;
3209
3210 rlet = read_1_byte (abfd, &rngs_ptr, rngs_end);
3211
3212 switch (rlet)
3213 {
3214 case DW_RLE_end_of_list:
3215 return true;
3216
3217 case DW_RLE_base_address:
3218 if (unit->addr_size > (size_t) (rngs_end - rngs_ptr))
3219 return false;
3220 base_address = read_address (unit, &rngs_ptr, rngs_end);
3221 continue;
3222
3223 case DW_RLE_start_length:
3224 if (unit->addr_size > (size_t) (rngs_end - rngs_ptr))
3225 return false;
3226 low_pc = read_address (unit, &rngs_ptr, rngs_end);
3227 high_pc = low_pc;
3228 high_pc += _bfd_safe_read_leb128 (abfd, &rngs_ptr,
3229 false, rngs_end);
3230 break;
3231
3232 case DW_RLE_offset_pair:
3233 low_pc = base_address;
3234 low_pc += _bfd_safe_read_leb128 (abfd, &rngs_ptr,
3235 false, rngs_end);
3236 high_pc = base_address;
3237 high_pc += _bfd_safe_read_leb128 (abfd, &rngs_ptr,
3238 false, rngs_end);
3239 break;
3240
3241 case DW_RLE_start_end:
3242 if (2u * unit->addr_size > (size_t) (rngs_end - rngs_ptr))
3243 return false;
3244 low_pc = read_address (unit, &rngs_ptr, rngs_end);
3245 high_pc = read_address (unit, &rngs_ptr, rngs_end);
3246 break;
3247
3248 /* TODO x-variants need .debug_addr support used for split-dwarf. */
3249 case DW_RLE_base_addressx:
3250 case DW_RLE_startx_endx:
3251 case DW_RLE_startx_length:
3252 default:
3253 return false;
3254 }
3255
3256 if (!arange_add (unit, arange, low_pc, high_pc))
3257 return false;
3258 }
3259 }
3260
3261 static bool
3262 read_rangelist (struct comp_unit *unit, struct arange *arange,
3263 bfd_uint64_t offset)
3264 {
3265 if (unit->version <= 4)
3266 return read_ranges (unit, arange, offset);
3267 else
3268 return read_rnglists (unit, arange, offset);
3269 }
3270
3271 static struct funcinfo *
3272 lookup_func_by_offset (bfd_uint64_t offset, struct funcinfo * table)
3273 {
3274 for (; table != NULL; table = table->prev_func)
3275 if (table->unit_offset == offset)
3276 return table;
3277 return NULL;
3278 }
3279
3280 static struct varinfo *
3281 lookup_var_by_offset (bfd_uint64_t offset, struct varinfo * table)
3282 {
3283 while (table)
3284 {
3285 if (table->unit_offset == offset)
3286 return table;
3287 table = table->prev_var;
3288 }
3289
3290 return NULL;
3291 }
3292
3293
3294 /* DWARF2 Compilation unit functions. */
3295
3296 static struct funcinfo *
3297 reverse_funcinfo_list (struct funcinfo *head)
3298 {
3299 struct funcinfo *rhead;
3300 struct funcinfo *temp;
3301
3302 for (rhead = NULL; head; head = temp)
3303 {
3304 temp = head->prev_func;
3305 head->prev_func = rhead;
3306 rhead = head;
3307 }
3308 return rhead;
3309 }
3310
3311 static struct varinfo *
3312 reverse_varinfo_list (struct varinfo *head)
3313 {
3314 struct varinfo *rhead;
3315 struct varinfo *temp;
3316
3317 for (rhead = NULL; head; head = temp)
3318 {
3319 temp = head->prev_var;
3320 head->prev_var = rhead;
3321 rhead = head;
3322 }
3323 return rhead;
3324 }
3325
3326 /* Scan over each die in a comp. unit looking for functions to add
3327 to the function table and variables to the variable table. */
3328
3329 static bool
3330 scan_unit_for_symbols (struct comp_unit *unit)
3331 {
3332 bfd *abfd = unit->abfd;
3333 bfd_byte *info_ptr = unit->first_child_die_ptr;
3334 bfd_byte *info_ptr_end = unit->end_ptr;
3335 int nesting_level = 0;
3336 struct nest_funcinfo
3337 {
3338 struct funcinfo *func;
3339 } *nested_funcs;
3340 int nested_funcs_size;
3341 struct funcinfo *last_func;
3342 struct varinfo *last_var;
3343
3344 /* Maintain a stack of in-scope functions and inlined functions, which we
3345 can use to set the caller_func field. */
3346 nested_funcs_size = 32;
3347 nested_funcs = (struct nest_funcinfo *)
3348 bfd_malloc (nested_funcs_size * sizeof (*nested_funcs));
3349 if (nested_funcs == NULL)
3350 return false;
3351 nested_funcs[nesting_level].func = 0;
3352
3353 /* PR 27484: We must scan the DIEs twice. The first time we look for
3354 function and variable tags and accumulate them into their respective
3355 tables. The second time through we process the attributes of the
3356 functions/variables and augment the table entries. */
3357 while (nesting_level >= 0)
3358 {
3359 unsigned int abbrev_number, i;
3360 struct abbrev_info *abbrev;
3361 struct funcinfo *func;
3362 struct varinfo *var;
3363 bfd_uint64_t current_offset;
3364
3365 /* PR 17512: file: 9f405d9d. */
3366 if (info_ptr >= info_ptr_end)
3367 goto fail;
3368
3369 current_offset = info_ptr - unit->info_ptr_unit;
3370 abbrev_number = _bfd_safe_read_leb128 (abfd, &info_ptr,
3371 false, info_ptr_end);
3372 if (abbrev_number == 0)
3373 {
3374 nesting_level--;
3375 continue;
3376 }
3377
3378 abbrev = lookup_abbrev (abbrev_number, unit->abbrevs);
3379 if (! abbrev)
3380 {
3381 static unsigned int previous_failed_abbrev = -1U;
3382
3383 /* Avoid multiple reports of the same missing abbrev. */
3384 if (abbrev_number != previous_failed_abbrev)
3385 {
3386 _bfd_error_handler
3387 (_("DWARF error: could not find abbrev number %u"),
3388 abbrev_number);
3389 previous_failed_abbrev = abbrev_number;
3390 }
3391 bfd_set_error (bfd_error_bad_value);
3392 goto fail;
3393 }
3394
3395 if (abbrev->tag == DW_TAG_subprogram
3396 || abbrev->tag == DW_TAG_entry_point
3397 || abbrev->tag == DW_TAG_inlined_subroutine)
3398 {
3399 size_t amt = sizeof (struct funcinfo);
3400
3401 var = NULL;
3402 func = (struct funcinfo *) bfd_zalloc (abfd, amt);
3403 if (func == NULL)
3404 goto fail;
3405 func->tag = abbrev->tag;
3406 func->prev_func = unit->function_table;
3407 func->unit_offset = current_offset;
3408 unit->function_table = func;
3409 unit->number_of_functions++;
3410 BFD_ASSERT (!unit->cached);
3411
3412 if (func->tag == DW_TAG_inlined_subroutine)
3413 for (i = nesting_level; i-- != 0; )
3414 if (nested_funcs[i].func)
3415 {
3416 func->caller_func = nested_funcs[i].func;
3417 break;
3418 }
3419 nested_funcs[nesting_level].func = func;
3420 }
3421 else
3422 {
3423 func = NULL;
3424 if (abbrev->tag == DW_TAG_variable
3425 || abbrev->tag == DW_TAG_member)
3426 {
3427 size_t amt = sizeof (struct varinfo);
3428
3429 var = (struct varinfo *) bfd_zalloc (abfd, amt);
3430 if (var == NULL)
3431 goto fail;
3432 var->tag = abbrev->tag;
3433 var->stack = true;
3434 var->prev_var = unit->variable_table;
3435 unit->variable_table = var;
3436 var->unit_offset = current_offset;
3437 /* PR 18205: Missing debug information can cause this
3438 var to be attached to an already cached unit. */
3439 }
3440 else
3441 var = NULL;
3442
3443 /* No inline function in scope at this nesting level. */
3444 nested_funcs[nesting_level].func = 0;
3445 }
3446
3447 for (i = 0; i < abbrev->num_attrs; ++i)
3448 {
3449 struct attribute attr;
3450
3451 info_ptr = read_attribute (&attr, &abbrev->attrs[i],
3452 unit, info_ptr, info_ptr_end);
3453 if (info_ptr == NULL)
3454 goto fail;
3455 }
3456
3457 if (abbrev->has_children)
3458 {
3459 nesting_level++;
3460
3461 if (nesting_level >= nested_funcs_size)
3462 {
3463 struct nest_funcinfo *tmp;
3464
3465 nested_funcs_size *= 2;
3466 tmp = (struct nest_funcinfo *)
3467 bfd_realloc (nested_funcs,
3468 nested_funcs_size * sizeof (*nested_funcs));
3469 if (tmp == NULL)
3470 goto fail;
3471 nested_funcs = tmp;
3472 }
3473 nested_funcs[nesting_level].func = 0;
3474 }
3475 }
3476
3477 unit->function_table = reverse_funcinfo_list (unit->function_table);
3478 unit->variable_table = reverse_varinfo_list (unit->variable_table);
3479
3480 /* This is the second pass over the abbrevs. */
3481 info_ptr = unit->first_child_die_ptr;
3482 nesting_level = 0;
3483
3484 last_func = NULL;
3485 last_var = NULL;
3486
3487 while (nesting_level >= 0)
3488 {
3489 unsigned int abbrev_number, i;
3490 struct abbrev_info *abbrev;
3491 struct attribute attr;
3492 struct funcinfo *func;
3493 struct varinfo *var;
3494 bfd_vma low_pc = 0;
3495 bfd_vma high_pc = 0;
3496 bool high_pc_relative = false;
3497 bfd_uint64_t current_offset;
3498
3499 /* PR 17512: file: 9f405d9d. */
3500 if (info_ptr >= info_ptr_end)
3501 goto fail;
3502
3503 current_offset = info_ptr - unit->info_ptr_unit;
3504 abbrev_number = _bfd_safe_read_leb128 (abfd, &info_ptr,
3505 false, info_ptr_end);
3506 if (! abbrev_number)
3507 {
3508 nesting_level--;
3509 continue;
3510 }
3511
3512 abbrev = lookup_abbrev (abbrev_number, unit->abbrevs);
3513 /* This should have been handled above. */
3514 BFD_ASSERT (abbrev != NULL);
3515
3516 func = NULL;
3517 var = NULL;
3518 if (abbrev->tag == DW_TAG_subprogram
3519 || abbrev->tag == DW_TAG_entry_point
3520 || abbrev->tag == DW_TAG_inlined_subroutine)
3521 {
3522 if (last_func
3523 && last_func->prev_func
3524 && last_func->prev_func->unit_offset == current_offset)
3525 func = last_func->prev_func;
3526 else
3527 func = lookup_func_by_offset (current_offset, unit->function_table);
3528
3529 if (func == NULL)
3530 goto fail;
3531
3532 last_func = func;
3533 }
3534 else if (abbrev->tag == DW_TAG_variable
3535 || abbrev->tag == DW_TAG_member)
3536 {
3537 if (last_var
3538 && last_var->prev_var
3539 && last_var->prev_var->unit_offset == current_offset)
3540 var = last_var->prev_var;
3541 else
3542 var = lookup_var_by_offset (current_offset, unit->variable_table);
3543
3544 if (var == NULL)
3545 goto fail;
3546
3547 last_var = var;
3548 }
3549
3550 for (i = 0; i < abbrev->num_attrs; ++i)
3551 {
3552 info_ptr = read_attribute (&attr, &abbrev->attrs[i],
3553 unit, info_ptr, info_ptr_end);
3554 if (info_ptr == NULL)
3555 goto fail;
3556
3557 if (func)
3558 {
3559 switch (attr.name)
3560 {
3561 case DW_AT_call_file:
3562 if (is_int_form (&attr))
3563 func->caller_file = concat_filename (unit->line_table,
3564 attr.u.val);
3565 break;
3566
3567 case DW_AT_call_line:
3568 if (is_int_form (&attr))
3569 func->caller_line = attr.u.val;
3570 break;
3571
3572 case DW_AT_abstract_origin:
3573 case DW_AT_specification:
3574 if (is_int_form (&attr)
3575 && !find_abstract_instance (unit, &attr, 0,
3576 &func->name,
3577 &func->is_linkage,
3578 &func->file,
3579 &func->line))
3580 goto fail;
3581 break;
3582
3583 case DW_AT_name:
3584 /* Prefer DW_AT_MIPS_linkage_name or DW_AT_linkage_name
3585 over DW_AT_name. */
3586 if (func->name == NULL && is_str_form (&attr))
3587 {
3588 func->name = attr.u.str;
3589 if (non_mangled (unit->lang))
3590 func->is_linkage = true;
3591 }
3592 break;
3593
3594 case DW_AT_linkage_name:
3595 case DW_AT_MIPS_linkage_name:
3596 /* PR 16949: Corrupt debug info can place
3597 non-string forms into these attributes. */
3598 if (is_str_form (&attr))
3599 {
3600 func->name = attr.u.str;
3601 func->is_linkage = true;
3602 }
3603 break;
3604
3605 case DW_AT_low_pc:
3606 if (is_int_form (&attr))
3607 low_pc = attr.u.val;
3608 break;
3609
3610 case DW_AT_high_pc:
3611 if (is_int_form (&attr))
3612 {
3613 high_pc = attr.u.val;
3614 high_pc_relative = attr.form != DW_FORM_addr;
3615 }
3616 break;
3617
3618 case DW_AT_ranges:
3619 if (is_int_form (&attr)
3620 && !read_rangelist (unit, &func->arange, attr.u.val))
3621 goto fail;
3622 break;
3623
3624 case DW_AT_decl_file:
3625 if (is_int_form (&attr))
3626 func->file = concat_filename (unit->line_table,
3627 attr.u.val);
3628 break;
3629
3630 case DW_AT_decl_line:
3631 if (is_int_form (&attr))
3632 func->line = attr.u.val;
3633 break;
3634
3635 default:
3636 break;
3637 }
3638 }
3639 else if (var)
3640 {
3641 switch (attr.name)
3642 {
3643 case DW_AT_specification:
3644 if (is_int_form (&attr) && attr.u.val)
3645 {
3646 struct varinfo * spec_var;
3647
3648 spec_var = lookup_var_by_offset (attr.u.val,
3649 unit->variable_table);
3650 if (spec_var == NULL)
3651 {
3652 _bfd_error_handler (_("DWARF error: could not find "
3653 "variable specification "
3654 "at offset 0x%lx"),
3655 (unsigned long) attr.u.val);
3656 break;
3657 }
3658
3659 if (var->name == NULL)
3660 var->name = spec_var->name;
3661 if (var->file == NULL && spec_var->file != NULL)
3662 var->file = strdup (spec_var->file);
3663 if (var->line == 0)
3664 var->line = spec_var->line;
3665 if (var->sec == NULL)
3666 var->sec = spec_var->sec;
3667 }
3668 break;
3669
3670 case DW_AT_name:
3671 if (is_str_form (&attr))
3672 var->name = attr.u.str;
3673 break;
3674
3675 case DW_AT_decl_file:
3676 if (is_int_form (&attr))
3677 var->file = concat_filename (unit->line_table,
3678 attr.u.val);
3679 break;
3680
3681 case DW_AT_decl_line:
3682 if (is_int_form (&attr))
3683 var->line = attr.u.val;
3684 break;
3685
3686 case DW_AT_external:
3687 if (is_int_form (&attr) && attr.u.val != 0)
3688 var->stack = false;
3689 break;
3690
3691 case DW_AT_location:
3692 switch (attr.form)
3693 {
3694 case DW_FORM_block:
3695 case DW_FORM_block1:
3696 case DW_FORM_block2:
3697 case DW_FORM_block4:
3698 case DW_FORM_exprloc:
3699 if (attr.u.blk->data != NULL
3700 && *attr.u.blk->data == DW_OP_addr)
3701 {
3702 var->stack = false;
3703
3704 /* Verify that DW_OP_addr is the only opcode in the
3705 location, in which case the block size will be 1
3706 plus the address size. */
3707 /* ??? For TLS variables, gcc can emit
3708 DW_OP_addr <addr> DW_OP_GNU_push_tls_address
3709 which we don't handle here yet. */
3710 if (attr.u.blk->size == unit->addr_size + 1U)
3711 var->addr = bfd_get (unit->addr_size * 8,
3712 unit->abfd,
3713 attr.u.blk->data + 1);
3714 }
3715 break;
3716
3717 default:
3718 break;
3719 }
3720 break;
3721
3722 default:
3723 break;
3724 }
3725 }
3726 }
3727
3728 if (abbrev->has_children)
3729 nesting_level++;
3730
3731 if (high_pc_relative)
3732 high_pc += low_pc;
3733
3734 if (func && high_pc != 0)
3735 {
3736 if (!arange_add (unit, &func->arange, low_pc, high_pc))
3737 goto fail;
3738 }
3739 }
3740
3741 unit->function_table = reverse_funcinfo_list (unit->function_table);
3742 unit->variable_table = reverse_varinfo_list (unit->variable_table);
3743
3744 free (nested_funcs);
3745 return true;
3746
3747 fail:
3748 free (nested_funcs);
3749 return false;
3750 }
3751
3752 /* Parse a DWARF2 compilation unit starting at INFO_PTR. UNIT_LENGTH
3753 includes the compilation unit header that proceeds the DIE's, but
3754 does not include the length field that precedes each compilation
3755 unit header. END_PTR points one past the end of this comp unit.
3756 OFFSET_SIZE is the size of DWARF2 offsets (either 4 or 8 bytes).
3757
3758 This routine does not read the whole compilation unit; only enough
3759 to get to the line number information for the compilation unit. */
3760
3761 static struct comp_unit *
3762 parse_comp_unit (struct dwarf2_debug *stash,
3763 struct dwarf2_debug_file *file,
3764 bfd_byte *info_ptr,
3765 bfd_vma unit_length,
3766 bfd_byte *info_ptr_unit,
3767 unsigned int offset_size)
3768 {
3769 struct comp_unit* unit;
3770 unsigned int version;
3771 bfd_uint64_t abbrev_offset = 0;
3772 /* Initialize it just to avoid a GCC false warning. */
3773 unsigned int addr_size = -1;
3774 struct abbrev_info** abbrevs;
3775 unsigned int abbrev_number, i;
3776 struct abbrev_info *abbrev;
3777 struct attribute attr;
3778 bfd_byte *end_ptr = info_ptr + unit_length;
3779 size_t amt;
3780 bfd_vma low_pc = 0;
3781 bfd_vma high_pc = 0;
3782 bfd *abfd = file->bfd_ptr;
3783 bool high_pc_relative = false;
3784 enum dwarf_unit_type unit_type;
3785
3786 version = read_2_bytes (abfd, &info_ptr, end_ptr);
3787 if (version < 2 || version > 5)
3788 {
3789 /* PR 19872: A version number of 0 probably means that there is padding
3790 at the end of the .debug_info section. Gold puts it there when
3791 performing an incremental link, for example. So do not generate
3792 an error, just return a NULL. */
3793 if (version)
3794 {
3795 _bfd_error_handler
3796 (_("DWARF error: found dwarf version '%u', this reader"
3797 " only handles version 2, 3, 4 and 5 information"), version);
3798 bfd_set_error (bfd_error_bad_value);
3799 }
3800 return NULL;
3801 }
3802
3803 if (version < 5)
3804 unit_type = DW_UT_compile;
3805 else
3806 {
3807 unit_type = read_1_byte (abfd, &info_ptr, end_ptr);
3808 addr_size = read_1_byte (abfd, &info_ptr, end_ptr);
3809 }
3810
3811 BFD_ASSERT (offset_size == 4 || offset_size == 8);
3812 if (offset_size == 4)
3813 abbrev_offset = read_4_bytes (abfd, &info_ptr, end_ptr);
3814 else
3815 abbrev_offset = read_8_bytes (abfd, &info_ptr, end_ptr);
3816
3817 if (version < 5)
3818 addr_size = read_1_byte (abfd, &info_ptr, end_ptr);
3819
3820 if (unit_type == DW_UT_type)
3821 {
3822 /* Skip type signature. */
3823 info_ptr += 8;
3824
3825 /* Skip type offset. */
3826 info_ptr += offset_size;
3827 }
3828
3829 if (addr_size > sizeof (bfd_vma))
3830 {
3831 _bfd_error_handler
3832 /* xgettext: c-format */
3833 (_("DWARF error: found address size '%u', this reader"
3834 " can not handle sizes greater than '%u'"),
3835 addr_size,
3836 (unsigned int) sizeof (bfd_vma));
3837 bfd_set_error (bfd_error_bad_value);
3838 return NULL;
3839 }
3840
3841 if (addr_size != 2 && addr_size != 4 && addr_size != 8)
3842 {
3843 _bfd_error_handler
3844 ("DWARF error: found address size '%u', this reader"
3845 " can only handle address sizes '2', '4' and '8'", addr_size);
3846 bfd_set_error (bfd_error_bad_value);
3847 return NULL;
3848 }
3849
3850 /* Read the abbrevs for this compilation unit into a table. */
3851 abbrevs = read_abbrevs (abfd, abbrev_offset, stash, file);
3852 if (! abbrevs)
3853 return NULL;
3854
3855 abbrev_number = _bfd_safe_read_leb128 (abfd, &info_ptr,
3856 false, end_ptr);
3857 if (! abbrev_number)
3858 {
3859 /* PR 19872: An abbrev number of 0 probably means that there is padding
3860 at the end of the .debug_abbrev section. Gold puts it there when
3861 performing an incremental link, for example. So do not generate
3862 an error, just return a NULL. */
3863 return NULL;
3864 }
3865
3866 abbrev = lookup_abbrev (abbrev_number, abbrevs);
3867 if (! abbrev)
3868 {
3869 _bfd_error_handler (_("DWARF error: could not find abbrev number %u"),
3870 abbrev_number);
3871 bfd_set_error (bfd_error_bad_value);
3872 return NULL;
3873 }
3874
3875 amt = sizeof (struct comp_unit);
3876 unit = (struct comp_unit *) bfd_zalloc (abfd, amt);
3877 if (unit == NULL)
3878 return NULL;
3879 unit->abfd = abfd;
3880 unit->version = version;
3881 unit->addr_size = addr_size;
3882 unit->offset_size = offset_size;
3883 unit->abbrevs = abbrevs;
3884 unit->end_ptr = end_ptr;
3885 unit->stash = stash;
3886 unit->file = file;
3887 unit->info_ptr_unit = info_ptr_unit;
3888
3889 for (i = 0; i < abbrev->num_attrs; ++i)
3890 {
3891 info_ptr = read_attribute (&attr, &abbrev->attrs[i], unit, info_ptr, end_ptr);
3892 if (info_ptr == NULL)
3893 return NULL;
3894
3895 /* Store the data if it is of an attribute we want to keep in a
3896 partial symbol table. */
3897 switch (attr.name)
3898 {
3899 case DW_AT_stmt_list:
3900 if (is_int_form (&attr))
3901 {
3902 unit->stmtlist = 1;
3903 unit->line_offset = attr.u.val;
3904 }
3905 break;
3906
3907 case DW_AT_name:
3908 if (is_str_form (&attr))
3909 unit->name = attr.u.str;
3910 break;
3911
3912 case DW_AT_low_pc:
3913 if (is_int_form (&attr))
3914 {
3915 low_pc = attr.u.val;
3916 /* If the compilation unit DIE has a DW_AT_low_pc attribute,
3917 this is the base address to use when reading location
3918 lists or range lists. */
3919 if (abbrev->tag == DW_TAG_compile_unit)
3920 unit->base_address = low_pc;
3921 }
3922 break;
3923
3924 case DW_AT_high_pc:
3925 if (is_int_form (&attr))
3926 {
3927 high_pc = attr.u.val;
3928 high_pc_relative = attr.form != DW_FORM_addr;
3929 }
3930 break;
3931
3932 case DW_AT_ranges:
3933 if (is_int_form (&attr)
3934 && !read_rangelist (unit, &unit->arange, attr.u.val))
3935 return NULL;
3936 break;
3937
3938 case DW_AT_comp_dir:
3939 {
3940 char *comp_dir = attr.u.str;
3941
3942 /* PR 17512: file: 1fe726be. */
3943 if (!is_str_form (&attr))
3944 {
3945 _bfd_error_handler
3946 (_("DWARF error: DW_AT_comp_dir attribute encountered with a non-string form"));
3947 comp_dir = NULL;
3948 }
3949
3950 if (comp_dir)
3951 {
3952 /* Irix 6.2 native cc prepends <machine>.: to the compilation
3953 directory, get rid of it. */
3954 char *cp = strchr (comp_dir, ':');
3955
3956 if (cp && cp != comp_dir && cp[-1] == '.' && cp[1] == '/')
3957 comp_dir = cp + 1;
3958 }
3959 unit->comp_dir = comp_dir;
3960 break;
3961 }
3962
3963 case DW_AT_language:
3964 if (is_int_form (&attr))
3965 unit->lang = attr.u.val;
3966 break;
3967
3968 default:
3969 break;
3970 }
3971 }
3972 if (high_pc_relative)
3973 high_pc += low_pc;
3974 if (high_pc != 0)
3975 {
3976 if (!arange_add (unit, &unit->arange, low_pc, high_pc))
3977 return NULL;
3978 }
3979
3980 unit->first_child_die_ptr = info_ptr;
3981 return unit;
3982 }
3983
3984 /* Return TRUE if UNIT may contain the address given by ADDR. When
3985 there are functions written entirely with inline asm statements, the
3986 range info in the compilation unit header may not be correct. We
3987 need to consult the line info table to see if a compilation unit
3988 really contains the given address. */
3989
3990 static bool
3991 comp_unit_contains_address (struct comp_unit *unit, bfd_vma addr)
3992 {
3993 struct arange *arange;
3994
3995 if (unit->error)
3996 return false;
3997
3998 arange = &unit->arange;
3999 do
4000 {
4001 if (addr >= arange->low && addr < arange->high)
4002 return true;
4003 arange = arange->next;
4004 }
4005 while (arange);
4006
4007 return false;
4008 }
4009
4010 /* If UNIT contains ADDR, set the output parameters to the values for
4011 the line containing ADDR. The output parameters, FILENAME_PTR,
4012 FUNCTION_PTR, and LINENUMBER_PTR, are pointers to the objects
4013 to be filled in.
4014
4015 Returns the range of addresses covered by the entry that was used
4016 to fill in *LINENUMBER_PTR or 0 if it was not filled in. */
4017
4018 static bfd_vma
4019 comp_unit_find_nearest_line (struct comp_unit *unit,
4020 bfd_vma addr,
4021 const char **filename_ptr,
4022 struct funcinfo **function_ptr,
4023 unsigned int *linenumber_ptr,
4024 unsigned int *discriminator_ptr)
4025 {
4026 bool func_p;
4027
4028 if (!comp_unit_maybe_decode_line_info (unit))
4029 return false;
4030
4031 *function_ptr = NULL;
4032 func_p = lookup_address_in_function_table (unit, addr, function_ptr);
4033 if (func_p && (*function_ptr)->tag == DW_TAG_inlined_subroutine)
4034 unit->stash->inliner_chain = *function_ptr;
4035
4036 return lookup_address_in_line_info_table (unit->line_table, addr,
4037 filename_ptr,
4038 linenumber_ptr,
4039 discriminator_ptr);
4040 }
4041
4042 /* Check to see if line info is already decoded in a comp_unit.
4043 If not, decode it. Returns TRUE if no errors were encountered;
4044 FALSE otherwise. */
4045
4046 static bool
4047 comp_unit_maybe_decode_line_info (struct comp_unit *unit)
4048 {
4049 if (unit->error)
4050 return false;
4051
4052 if (! unit->line_table)
4053 {
4054 if (! unit->stmtlist)
4055 {
4056 unit->error = 1;
4057 return false;
4058 }
4059
4060 unit->line_table = decode_line_info (unit);
4061
4062 if (! unit->line_table)
4063 {
4064 unit->error = 1;
4065 return false;
4066 }
4067
4068 if (unit->first_child_die_ptr < unit->end_ptr
4069 && ! scan_unit_for_symbols (unit))
4070 {
4071 unit->error = 1;
4072 return false;
4073 }
4074 }
4075
4076 return true;
4077 }
4078
4079 /* If UNIT contains SYM at ADDR, set the output parameters to the
4080 values for the line containing SYM. The output parameters,
4081 FILENAME_PTR, and LINENUMBER_PTR, are pointers to the objects to be
4082 filled in.
4083
4084 Return TRUE if UNIT contains SYM, and no errors were encountered;
4085 FALSE otherwise. */
4086
4087 static bool
4088 comp_unit_find_line (struct comp_unit *unit,
4089 asymbol *sym,
4090 bfd_vma addr,
4091 const char **filename_ptr,
4092 unsigned int *linenumber_ptr)
4093 {
4094 if (!comp_unit_maybe_decode_line_info (unit))
4095 return false;
4096
4097 if (sym->flags & BSF_FUNCTION)
4098 return lookup_symbol_in_function_table (unit, sym, addr,
4099 filename_ptr,
4100 linenumber_ptr);
4101
4102 return lookup_symbol_in_variable_table (unit, sym, addr,
4103 filename_ptr,
4104 linenumber_ptr);
4105 }
4106
4107 /* Extract all interesting funcinfos and varinfos of a compilation
4108 unit into hash tables for faster lookup. Returns TRUE if no
4109 errors were enountered; FALSE otherwise. */
4110
4111 static bool
4112 comp_unit_hash_info (struct dwarf2_debug *stash,
4113 struct comp_unit *unit,
4114 struct info_hash_table *funcinfo_hash_table,
4115 struct info_hash_table *varinfo_hash_table)
4116 {
4117 struct funcinfo* each_func;
4118 struct varinfo* each_var;
4119 bool okay = true;
4120
4121 BFD_ASSERT (stash->info_hash_status != STASH_INFO_HASH_DISABLED);
4122
4123 if (!comp_unit_maybe_decode_line_info (unit))
4124 return false;
4125
4126 BFD_ASSERT (!unit->cached);
4127
4128 /* To preserve the original search order, we went to visit the function
4129 infos in the reversed order of the list. However, making the list
4130 bi-directional use quite a bit of extra memory. So we reverse
4131 the list first, traverse the list in the now reversed order and
4132 finally reverse the list again to get back the original order. */
4133 unit->function_table = reverse_funcinfo_list (unit->function_table);
4134 for (each_func = unit->function_table;
4135 each_func && okay;
4136 each_func = each_func->prev_func)
4137 {
4138 /* Skip nameless functions. */
4139 if (each_func->name)
4140 /* There is no need to copy name string into hash table as
4141 name string is either in the dwarf string buffer or
4142 info in the stash. */
4143 okay = insert_info_hash_table (funcinfo_hash_table, each_func->name,
4144 (void*) each_func, false);
4145 }
4146 unit->function_table = reverse_funcinfo_list (unit->function_table);
4147 if (!okay)
4148 return false;
4149
4150 /* We do the same for variable infos. */
4151 unit->variable_table = reverse_varinfo_list (unit->variable_table);
4152 for (each_var = unit->variable_table;
4153 each_var && okay;
4154 each_var = each_var->prev_var)
4155 {
4156 /* Skip stack vars and vars with no files or names. */
4157 if (! each_var->stack
4158 && each_var->file != NULL
4159 && each_var->name != NULL)
4160 /* There is no need to copy name string into hash table as
4161 name string is either in the dwarf string buffer or
4162 info in the stash. */
4163 okay = insert_info_hash_table (varinfo_hash_table, each_var->name,
4164 (void*) each_var, false);
4165 }
4166
4167 unit->variable_table = reverse_varinfo_list (unit->variable_table);
4168 unit->cached = true;
4169 return okay;
4170 }
4171
4172 /* Locate a section in a BFD containing debugging info. The search starts
4173 from the section after AFTER_SEC, or from the first section in the BFD if
4174 AFTER_SEC is NULL. The search works by examining the names of the
4175 sections. There are three permissiable names. The first two are given
4176 by DEBUG_SECTIONS[debug_info] (whose standard DWARF2 names are .debug_info
4177 and .zdebug_info). The third is a prefix .gnu.linkonce.wi.
4178 This is a variation on the .debug_info section which has a checksum
4179 describing the contents appended onto the name. This allows the linker to
4180 identify and discard duplicate debugging sections for different
4181 compilation units. */
4182 #define GNU_LINKONCE_INFO ".gnu.linkonce.wi."
4183
4184 static asection *
4185 find_debug_info (bfd *abfd, const struct dwarf_debug_section *debug_sections,
4186 asection *after_sec)
4187 {
4188 asection *msec;
4189 const char *look;
4190
4191 if (after_sec == NULL)
4192 {
4193 look = debug_sections[debug_info].uncompressed_name;
4194 msec = bfd_get_section_by_name (abfd, look);
4195 if (msec != NULL)
4196 return msec;
4197
4198 look = debug_sections[debug_info].compressed_name;
4199 msec = bfd_get_section_by_name (abfd, look);
4200 if (msec != NULL)
4201 return msec;
4202
4203 for (msec = abfd->sections; msec != NULL; msec = msec->next)
4204 if (startswith (msec->name, GNU_LINKONCE_INFO))
4205 return msec;
4206
4207 return NULL;
4208 }
4209
4210 for (msec = after_sec->next; msec != NULL; msec = msec->next)
4211 {
4212 look = debug_sections[debug_info].uncompressed_name;
4213 if (strcmp (msec->name, look) == 0)
4214 return msec;
4215
4216 look = debug_sections[debug_info].compressed_name;
4217 if (look != NULL && strcmp (msec->name, look) == 0)
4218 return msec;
4219
4220 if (startswith (msec->name, GNU_LINKONCE_INFO))
4221 return msec;
4222 }
4223
4224 return NULL;
4225 }
4226
4227 /* Transfer VMAs from object file to separate debug file. */
4228
4229 static void
4230 set_debug_vma (bfd *orig_bfd, bfd *debug_bfd)
4231 {
4232 asection *s, *d;
4233
4234 for (s = orig_bfd->sections, d = debug_bfd->sections;
4235 s != NULL && d != NULL;
4236 s = s->next, d = d->next)
4237 {
4238 if ((d->flags & SEC_DEBUGGING) != 0)
4239 break;
4240 /* ??? Assumes 1-1 correspondence between sections in the
4241 two files. */
4242 if (strcmp (s->name, d->name) == 0)
4243 {
4244 d->output_section = s->output_section;
4245 d->output_offset = s->output_offset;
4246 d->vma = s->vma;
4247 }
4248 }
4249 }
4250
4251 /* If the dwarf2 info was found in a separate debug file, return the
4252 debug file section corresponding to the section in the original file
4253 and the debug file symbols. */
4254
4255 static void
4256 _bfd_dwarf2_stash_syms (struct dwarf2_debug *stash, bfd *abfd,
4257 asection **sec, asymbol ***syms)
4258 {
4259 if (stash->f.bfd_ptr != abfd)
4260 {
4261 asection *s, *d;
4262
4263 if (*sec == NULL)
4264 {
4265 *syms = stash->f.syms;
4266 return;
4267 }
4268
4269 for (s = abfd->sections, d = stash->f.bfd_ptr->sections;
4270 s != NULL && d != NULL;
4271 s = s->next, d = d->next)
4272 {
4273 if ((d->flags & SEC_DEBUGGING) != 0)
4274 break;
4275 if (s == *sec
4276 && strcmp (s->name, d->name) == 0)
4277 {
4278 *sec = d;
4279 *syms = stash->f.syms;
4280 break;
4281 }
4282 }
4283 }
4284 }
4285
4286 /* Unset vmas for adjusted sections in STASH. */
4287
4288 static void
4289 unset_sections (struct dwarf2_debug *stash)
4290 {
4291 int i;
4292 struct adjusted_section *p;
4293
4294 i = stash->adjusted_section_count;
4295 p = stash->adjusted_sections;
4296 for (; i > 0; i--, p++)
4297 p->section->vma = 0;
4298 }
4299
4300 /* Set VMAs for allocated and .debug_info sections in ORIG_BFD, a
4301 relocatable object file. VMAs are normally all zero in relocatable
4302 object files, so if we want to distinguish locations in sections by
4303 address we need to set VMAs so the sections do not overlap. We
4304 also set VMA on .debug_info so that when we have multiple
4305 .debug_info sections (or the linkonce variant) they also do not
4306 overlap. The multiple .debug_info sections make up a single
4307 logical section. ??? We should probably do the same for other
4308 debug sections. */
4309
4310 static bool
4311 place_sections (bfd *orig_bfd, struct dwarf2_debug *stash)
4312 {
4313 bfd *abfd;
4314 struct adjusted_section *p;
4315 int i;
4316 const char *debug_info_name;
4317
4318 if (stash->adjusted_section_count != 0)
4319 {
4320 i = stash->adjusted_section_count;
4321 p = stash->adjusted_sections;
4322 for (; i > 0; i--, p++)
4323 p->section->vma = p->adj_vma;
4324 return true;
4325 }
4326
4327 debug_info_name = stash->debug_sections[debug_info].uncompressed_name;
4328 i = 0;
4329 abfd = orig_bfd;
4330 while (1)
4331 {
4332 asection *sect;
4333
4334 for (sect = abfd->sections; sect != NULL; sect = sect->next)
4335 {
4336 int is_debug_info;
4337
4338 if ((sect->output_section != NULL
4339 && sect->output_section != sect
4340 && (sect->flags & SEC_DEBUGGING) == 0)
4341 || sect->vma != 0)
4342 continue;
4343
4344 is_debug_info = (strcmp (sect->name, debug_info_name) == 0
4345 || startswith (sect->name, GNU_LINKONCE_INFO));
4346
4347 if (!((sect->flags & SEC_ALLOC) != 0 && abfd == orig_bfd)
4348 && !is_debug_info)
4349 continue;
4350
4351 i++;
4352 }
4353 if (abfd == stash->f.bfd_ptr)
4354 break;
4355 abfd = stash->f.bfd_ptr;
4356 }
4357
4358 if (i <= 1)
4359 stash->adjusted_section_count = -1;
4360 else
4361 {
4362 bfd_vma last_vma = 0, last_dwarf = 0;
4363 size_t amt = i * sizeof (struct adjusted_section);
4364
4365 p = (struct adjusted_section *) bfd_malloc (amt);
4366 if (p == NULL)
4367 return false;
4368
4369 stash->adjusted_sections = p;
4370 stash->adjusted_section_count = i;
4371
4372 abfd = orig_bfd;
4373 while (1)
4374 {
4375 asection *sect;
4376
4377 for (sect = abfd->sections; sect != NULL; sect = sect->next)
4378 {
4379 bfd_size_type sz;
4380 int is_debug_info;
4381
4382 if ((sect->output_section != NULL
4383 && sect->output_section != sect
4384 && (sect->flags & SEC_DEBUGGING) == 0)
4385 || sect->vma != 0)
4386 continue;
4387
4388 is_debug_info = (strcmp (sect->name, debug_info_name) == 0
4389 || startswith (sect->name, GNU_LINKONCE_INFO));
4390
4391 if (!((sect->flags & SEC_ALLOC) != 0 && abfd == orig_bfd)
4392 && !is_debug_info)
4393 continue;
4394
4395 sz = sect->rawsize ? sect->rawsize : sect->size;
4396
4397 if (is_debug_info)
4398 {
4399 BFD_ASSERT (sect->alignment_power == 0);
4400 sect->vma = last_dwarf;
4401 last_dwarf += sz;
4402 }
4403 else
4404 {
4405 /* Align the new address to the current section
4406 alignment. */
4407 last_vma = ((last_vma
4408 + ~(-((bfd_vma) 1 << sect->alignment_power)))
4409 & (-((bfd_vma) 1 << sect->alignment_power)));
4410 sect->vma = last_vma;
4411 last_vma += sz;
4412 }
4413
4414 p->section = sect;
4415 p->adj_vma = sect->vma;
4416 p++;
4417 }
4418 if (abfd == stash->f.bfd_ptr)
4419 break;
4420 abfd = stash->f.bfd_ptr;
4421 }
4422 }
4423
4424 if (orig_bfd != stash->f.bfd_ptr)
4425 set_debug_vma (orig_bfd, stash->f.bfd_ptr);
4426
4427 return true;
4428 }
4429
4430 /* Look up a funcinfo by name using the given info hash table. If found,
4431 also update the locations pointed to by filename_ptr and linenumber_ptr.
4432
4433 This function returns TRUE if a funcinfo that matches the given symbol
4434 and address is found with any error; otherwise it returns FALSE. */
4435
4436 static bool
4437 info_hash_lookup_funcinfo (struct info_hash_table *hash_table,
4438 asymbol *sym,
4439 bfd_vma addr,
4440 const char **filename_ptr,
4441 unsigned int *linenumber_ptr)
4442 {
4443 struct funcinfo* each_func;
4444 struct funcinfo* best_fit = NULL;
4445 bfd_vma best_fit_len = 0;
4446 struct info_list_node *node;
4447 struct arange *arange;
4448 const char *name = bfd_asymbol_name (sym);
4449 asection *sec = bfd_asymbol_section (sym);
4450
4451 for (node = lookup_info_hash_table (hash_table, name);
4452 node;
4453 node = node->next)
4454 {
4455 each_func = (struct funcinfo *) node->info;
4456 for (arange = &each_func->arange;
4457 arange;
4458 arange = arange->next)
4459 {
4460 if ((!each_func->sec || each_func->sec == sec)
4461 && addr >= arange->low
4462 && addr < arange->high
4463 && (!best_fit
4464 || arange->high - arange->low < best_fit_len))
4465 {
4466 best_fit = each_func;
4467 best_fit_len = arange->high - arange->low;
4468 }
4469 }
4470 }
4471
4472 if (best_fit)
4473 {
4474 best_fit->sec = sec;
4475 *filename_ptr = best_fit->file;
4476 *linenumber_ptr = best_fit->line;
4477 return true;
4478 }
4479
4480 return false;
4481 }
4482
4483 /* Look up a varinfo by name using the given info hash table. If found,
4484 also update the locations pointed to by filename_ptr and linenumber_ptr.
4485
4486 This function returns TRUE if a varinfo that matches the given symbol
4487 and address is found with any error; otherwise it returns FALSE. */
4488
4489 static bool
4490 info_hash_lookup_varinfo (struct info_hash_table *hash_table,
4491 asymbol *sym,
4492 bfd_vma addr,
4493 const char **filename_ptr,
4494 unsigned int *linenumber_ptr)
4495 {
4496 const char *name = bfd_asymbol_name (sym);
4497 asection *sec = bfd_asymbol_section (sym);
4498 struct varinfo* each;
4499 struct info_list_node *node;
4500
4501 for (node = lookup_info_hash_table (hash_table, name);
4502 node;
4503 node = node->next)
4504 {
4505 each = (struct varinfo *) node->info;
4506 if (each->addr == addr
4507 && (!each->sec || each->sec == sec))
4508 {
4509 each->sec = sec;
4510 *filename_ptr = each->file;
4511 *linenumber_ptr = each->line;
4512 return true;
4513 }
4514 }
4515
4516 return false;
4517 }
4518
4519 /* Update the funcinfo and varinfo info hash tables if they are
4520 not up to date. Returns TRUE if there is no error; otherwise
4521 returns FALSE and disable the info hash tables. */
4522
4523 static bool
4524 stash_maybe_update_info_hash_tables (struct dwarf2_debug *stash)
4525 {
4526 struct comp_unit *each;
4527
4528 /* Exit if hash tables are up-to-date. */
4529 if (stash->f.all_comp_units == stash->hash_units_head)
4530 return true;
4531
4532 if (stash->hash_units_head)
4533 each = stash->hash_units_head->prev_unit;
4534 else
4535 each = stash->f.last_comp_unit;
4536
4537 while (each)
4538 {
4539 if (!comp_unit_hash_info (stash, each, stash->funcinfo_hash_table,
4540 stash->varinfo_hash_table))
4541 {
4542 stash->info_hash_status = STASH_INFO_HASH_DISABLED;
4543 return false;
4544 }
4545 each = each->prev_unit;
4546 }
4547
4548 stash->hash_units_head = stash->f.all_comp_units;
4549 return true;
4550 }
4551
4552 /* Check consistency of info hash tables. This is for debugging only. */
4553
4554 static void ATTRIBUTE_UNUSED
4555 stash_verify_info_hash_table (struct dwarf2_debug *stash)
4556 {
4557 struct comp_unit *each_unit;
4558 struct funcinfo *each_func;
4559 struct varinfo *each_var;
4560 struct info_list_node *node;
4561 bool found;
4562
4563 for (each_unit = stash->f.all_comp_units;
4564 each_unit;
4565 each_unit = each_unit->next_unit)
4566 {
4567 for (each_func = each_unit->function_table;
4568 each_func;
4569 each_func = each_func->prev_func)
4570 {
4571 if (!each_func->name)
4572 continue;
4573 node = lookup_info_hash_table (stash->funcinfo_hash_table,
4574 each_func->name);
4575 BFD_ASSERT (node);
4576 found = false;
4577 while (node && !found)
4578 {
4579 found = node->info == each_func;
4580 node = node->next;
4581 }
4582 BFD_ASSERT (found);
4583 }
4584
4585 for (each_var = each_unit->variable_table;
4586 each_var;
4587 each_var = each_var->prev_var)
4588 {
4589 if (!each_var->name || !each_var->file || each_var->stack)
4590 continue;
4591 node = lookup_info_hash_table (stash->varinfo_hash_table,
4592 each_var->name);
4593 BFD_ASSERT (node);
4594 found = false;
4595 while (node && !found)
4596 {
4597 found = node->info == each_var;
4598 node = node->next;
4599 }
4600 BFD_ASSERT (found);
4601 }
4602 }
4603 }
4604
4605 /* Check to see if we want to enable the info hash tables, which consume
4606 quite a bit of memory. Currently we only check the number times
4607 bfd_dwarf2_find_line is called. In the future, we may also want to
4608 take the number of symbols into account. */
4609
4610 static void
4611 stash_maybe_enable_info_hash_tables (bfd *abfd, struct dwarf2_debug *stash)
4612 {
4613 BFD_ASSERT (stash->info_hash_status == STASH_INFO_HASH_OFF);
4614
4615 if (stash->info_hash_count++ < STASH_INFO_HASH_TRIGGER)
4616 return;
4617
4618 /* FIXME: Maybe we should check the reduce_memory_overheads
4619 and optimize fields in the bfd_link_info structure ? */
4620
4621 /* Create hash tables. */
4622 stash->funcinfo_hash_table = create_info_hash_table (abfd);
4623 stash->varinfo_hash_table = create_info_hash_table (abfd);
4624 if (!stash->funcinfo_hash_table || !stash->varinfo_hash_table)
4625 {
4626 /* Turn off info hashes if any allocation above fails. */
4627 stash->info_hash_status = STASH_INFO_HASH_DISABLED;
4628 return;
4629 }
4630 /* We need a forced update so that the info hash tables will
4631 be created even though there is no compilation unit. That
4632 happens if STASH_INFO_HASH_TRIGGER is 0. */
4633 if (stash_maybe_update_info_hash_tables (stash))
4634 stash->info_hash_status = STASH_INFO_HASH_ON;
4635 }
4636
4637 /* Find the file and line associated with a symbol and address using the
4638 info hash tables of a stash. If there is a match, the function returns
4639 TRUE and update the locations pointed to by filename_ptr and linenumber_ptr;
4640 otherwise it returns FALSE. */
4641
4642 static bool
4643 stash_find_line_fast (struct dwarf2_debug *stash,
4644 asymbol *sym,
4645 bfd_vma addr,
4646 const char **filename_ptr,
4647 unsigned int *linenumber_ptr)
4648 {
4649 BFD_ASSERT (stash->info_hash_status == STASH_INFO_HASH_ON);
4650
4651 if (sym->flags & BSF_FUNCTION)
4652 return info_hash_lookup_funcinfo (stash->funcinfo_hash_table, sym, addr,
4653 filename_ptr, linenumber_ptr);
4654 return info_hash_lookup_varinfo (stash->varinfo_hash_table, sym, addr,
4655 filename_ptr, linenumber_ptr);
4656 }
4657
4658 /* Save current section VMAs. */
4659
4660 static bool
4661 save_section_vma (const bfd *abfd, struct dwarf2_debug *stash)
4662 {
4663 asection *s;
4664 unsigned int i;
4665
4666 if (abfd->section_count == 0)
4667 return true;
4668 stash->sec_vma = bfd_malloc (sizeof (*stash->sec_vma) * abfd->section_count);
4669 if (stash->sec_vma == NULL)
4670 return false;
4671 stash->sec_vma_count = abfd->section_count;
4672 for (i = 0, s = abfd->sections;
4673 s != NULL && i < abfd->section_count;
4674 i++, s = s->next)
4675 {
4676 if (s->output_section != NULL)
4677 stash->sec_vma[i] = s->output_section->vma + s->output_offset;
4678 else
4679 stash->sec_vma[i] = s->vma;
4680 }
4681 return true;
4682 }
4683
4684 /* Compare current section VMAs against those at the time the stash
4685 was created. If find_nearest_line is used in linker warnings or
4686 errors early in the link process, the debug info stash will be
4687 invalid for later calls. This is because we relocate debug info
4688 sections, so the stashed section contents depend on symbol values,
4689 which in turn depend on section VMAs. */
4690
4691 static bool
4692 section_vma_same (const bfd *abfd, const struct dwarf2_debug *stash)
4693 {
4694 asection *s;
4695 unsigned int i;
4696
4697 /* PR 24334: If the number of sections in ABFD has changed between
4698 when the stash was created and now, then we cannot trust the
4699 stashed vma information. */
4700 if (abfd->section_count != stash->sec_vma_count)
4701 return false;
4702
4703 for (i = 0, s = abfd->sections;
4704 s != NULL && i < abfd->section_count;
4705 i++, s = s->next)
4706 {
4707 bfd_vma vma;
4708
4709 if (s->output_section != NULL)
4710 vma = s->output_section->vma + s->output_offset;
4711 else
4712 vma = s->vma;
4713 if (vma != stash->sec_vma[i])
4714 return false;
4715 }
4716 return true;
4717 }
4718
4719 /* Read debug information from DEBUG_BFD when DEBUG_BFD is specified.
4720 If DEBUG_BFD is not specified, we read debug information from ABFD
4721 or its gnu_debuglink. The results will be stored in PINFO.
4722 The function returns TRUE iff debug information is ready. */
4723
4724 bool
4725 _bfd_dwarf2_slurp_debug_info (bfd *abfd, bfd *debug_bfd,
4726 const struct dwarf_debug_section *debug_sections,
4727 asymbol **symbols,
4728 void **pinfo,
4729 bool do_place)
4730 {
4731 size_t amt = sizeof (struct dwarf2_debug);
4732 bfd_size_type total_size;
4733 asection *msec;
4734 struct dwarf2_debug *stash = (struct dwarf2_debug *) *pinfo;
4735
4736 if (stash != NULL)
4737 {
4738 if (stash->orig_bfd == abfd
4739 && section_vma_same (abfd, stash))
4740 {
4741 /* Check that we did previously find some debug information
4742 before attempting to make use of it. */
4743 if (stash->f.bfd_ptr != NULL)
4744 {
4745 if (do_place && !place_sections (abfd, stash))
4746 return false;
4747 return true;
4748 }
4749
4750 return false;
4751 }
4752 _bfd_dwarf2_cleanup_debug_info (abfd, pinfo);
4753 memset (stash, 0, amt);
4754 }
4755 else
4756 {
4757 stash = (struct dwarf2_debug *) bfd_zalloc (abfd, amt);
4758 if (! stash)
4759 return false;
4760 }
4761 stash->orig_bfd = abfd;
4762 stash->debug_sections = debug_sections;
4763 stash->f.syms = symbols;
4764 if (!save_section_vma (abfd, stash))
4765 return false;
4766
4767 stash->f.abbrev_offsets = htab_create_alloc (10, hash_abbrev, eq_abbrev,
4768 del_abbrev, calloc, free);
4769 if (!stash->f.abbrev_offsets)
4770 return false;
4771
4772 stash->alt.abbrev_offsets = htab_create_alloc (10, hash_abbrev, eq_abbrev,
4773 del_abbrev, calloc, free);
4774 if (!stash->alt.abbrev_offsets)
4775 return false;
4776
4777 *pinfo = stash;
4778
4779 if (debug_bfd == NULL)
4780 debug_bfd = abfd;
4781
4782 msec = find_debug_info (debug_bfd, debug_sections, NULL);
4783 if (msec == NULL && abfd == debug_bfd)
4784 {
4785 char * debug_filename;
4786
4787 debug_filename = bfd_follow_build_id_debuglink (abfd, DEBUGDIR);
4788 if (debug_filename == NULL)
4789 debug_filename = bfd_follow_gnu_debuglink (abfd, DEBUGDIR);
4790
4791 if (debug_filename == NULL)
4792 /* No dwarf2 info, and no gnu_debuglink to follow.
4793 Note that at this point the stash has been allocated, but
4794 contains zeros. This lets future calls to this function
4795 fail more quickly. */
4796 return false;
4797
4798 debug_bfd = bfd_openr (debug_filename, NULL);
4799 free (debug_filename);
4800 if (debug_bfd == NULL)
4801 /* FIXME: Should we report our failure to follow the debuglink ? */
4802 return false;
4803
4804 /* Set BFD_DECOMPRESS to decompress debug sections. */
4805 debug_bfd->flags |= BFD_DECOMPRESS;
4806 if (!bfd_check_format (debug_bfd, bfd_object)
4807 || (msec = find_debug_info (debug_bfd,
4808 debug_sections, NULL)) == NULL
4809 || !bfd_generic_link_read_symbols (debug_bfd))
4810 {
4811 bfd_close (debug_bfd);
4812 return false;
4813 }
4814
4815 symbols = bfd_get_outsymbols (debug_bfd);
4816 stash->f.syms = symbols;
4817 stash->close_on_cleanup = true;
4818 }
4819 stash->f.bfd_ptr = debug_bfd;
4820
4821 if (do_place
4822 && !place_sections (abfd, stash))
4823 return false;
4824
4825 /* There can be more than one DWARF2 info section in a BFD these
4826 days. First handle the easy case when there's only one. If
4827 there's more than one, try case two: none of the sections is
4828 compressed. In that case, read them all in and produce one
4829 large stash. We do this in two passes - in the first pass we
4830 just accumulate the section sizes, and in the second pass we
4831 read in the section's contents. (The allows us to avoid
4832 reallocing the data as we add sections to the stash.) If
4833 some or all sections are compressed, then do things the slow
4834 way, with a bunch of reallocs. */
4835
4836 if (! find_debug_info (debug_bfd, debug_sections, msec))
4837 {
4838 /* Case 1: only one info section. */
4839 total_size = msec->size;
4840 if (! read_section (debug_bfd, &stash->debug_sections[debug_info],
4841 symbols, 0,
4842 &stash->f.dwarf_info_buffer, &total_size))
4843 return false;
4844 }
4845 else
4846 {
4847 /* Case 2: multiple sections. */
4848 for (total_size = 0;
4849 msec;
4850 msec = find_debug_info (debug_bfd, debug_sections, msec))
4851 {
4852 /* Catch PR25070 testcase overflowing size calculation here. */
4853 if (total_size + msec->size < total_size
4854 || total_size + msec->size < msec->size)
4855 {
4856 bfd_set_error (bfd_error_no_memory);
4857 return false;
4858 }
4859 total_size += msec->size;
4860 }
4861
4862 stash->f.dwarf_info_buffer = (bfd_byte *) bfd_malloc (total_size);
4863 if (stash->f.dwarf_info_buffer == NULL)
4864 return false;
4865
4866 total_size = 0;
4867 for (msec = find_debug_info (debug_bfd, debug_sections, NULL);
4868 msec;
4869 msec = find_debug_info (debug_bfd, debug_sections, msec))
4870 {
4871 bfd_size_type size;
4872
4873 size = msec->size;
4874 if (size == 0)
4875 continue;
4876
4877 if (!(bfd_simple_get_relocated_section_contents
4878 (debug_bfd, msec, stash->f.dwarf_info_buffer + total_size,
4879 symbols)))
4880 return false;
4881
4882 total_size += size;
4883 }
4884 }
4885
4886 stash->f.info_ptr = stash->f.dwarf_info_buffer;
4887 stash->f.dwarf_info_size = total_size;
4888 return true;
4889 }
4890
4891 /* Parse the next DWARF2 compilation unit at FILE->INFO_PTR. */
4892
4893 static struct comp_unit *
4894 stash_comp_unit (struct dwarf2_debug *stash, struct dwarf2_debug_file *file)
4895 {
4896 bfd_size_type length;
4897 unsigned int offset_size;
4898 bfd_byte *info_ptr_unit = file->info_ptr;
4899 bfd_byte *info_ptr_end = file->dwarf_info_buffer + file->dwarf_info_size;
4900
4901 if (file->info_ptr >= info_ptr_end)
4902 return NULL;
4903
4904 length = read_4_bytes (file->bfd_ptr, &file->info_ptr, info_ptr_end);
4905 /* A 0xffffff length is the DWARF3 way of indicating
4906 we use 64-bit offsets, instead of 32-bit offsets. */
4907 if (length == 0xffffffff)
4908 {
4909 offset_size = 8;
4910 length = read_8_bytes (file->bfd_ptr, &file->info_ptr, info_ptr_end);
4911 }
4912 /* A zero length is the IRIX way of indicating 64-bit offsets,
4913 mostly because the 64-bit length will generally fit in 32
4914 bits, and the endianness helps. */
4915 else if (length == 0)
4916 {
4917 offset_size = 8;
4918 length = read_4_bytes (file->bfd_ptr, &file->info_ptr, info_ptr_end);
4919 }
4920 /* In the absence of the hints above, we assume 32-bit DWARF2
4921 offsets even for targets with 64-bit addresses, because:
4922 a) most of the time these targets will not have generated
4923 more than 2Gb of debug info and so will not need 64-bit
4924 offsets,
4925 and
4926 b) if they do use 64-bit offsets but they are not using
4927 the size hints that are tested for above then they are
4928 not conforming to the DWARF3 standard anyway. */
4929 else
4930 offset_size = 4;
4931
4932 if (length != 0
4933 && length <= (size_t) (info_ptr_end - file->info_ptr))
4934 {
4935 struct comp_unit *each = parse_comp_unit (stash, file,
4936 file->info_ptr, length,
4937 info_ptr_unit, offset_size);
4938 if (each)
4939 {
4940 if (file->all_comp_units)
4941 file->all_comp_units->prev_unit = each;
4942 else
4943 file->last_comp_unit = each;
4944
4945 each->next_unit = file->all_comp_units;
4946 file->all_comp_units = each;
4947
4948 file->info_ptr += length;
4949 return each;
4950 }
4951 }
4952
4953 /* Don't trust any of the DWARF info after a corrupted length or
4954 parse error. */
4955 file->info_ptr = info_ptr_end;
4956 return NULL;
4957 }
4958
4959 /* Hash function for an asymbol. */
4960
4961 static hashval_t
4962 hash_asymbol (const void *sym)
4963 {
4964 const asymbol *asym = sym;
4965 return htab_hash_string (asym->name);
4966 }
4967
4968 /* Equality function for asymbols. */
4969
4970 static int
4971 eq_asymbol (const void *a, const void *b)
4972 {
4973 const asymbol *sa = a;
4974 const asymbol *sb = b;
4975 return strcmp (sa->name, sb->name) == 0;
4976 }
4977
4978 /* Scan the debug information in PINFO looking for a DW_TAG_subprogram
4979 abbrev with a DW_AT_low_pc attached to it. Then lookup that same
4980 symbol in SYMBOLS and return the difference between the low_pc and
4981 the symbol's address. Returns 0 if no suitable symbol could be found. */
4982
4983 bfd_signed_vma
4984 _bfd_dwarf2_find_symbol_bias (asymbol ** symbols, void ** pinfo)
4985 {
4986 struct dwarf2_debug *stash;
4987 struct comp_unit * unit;
4988 htab_t sym_hash;
4989 bfd_signed_vma result = 0;
4990 asymbol ** psym;
4991
4992 stash = (struct dwarf2_debug *) *pinfo;
4993
4994 if (stash == NULL || symbols == NULL)
4995 return 0;
4996
4997 sym_hash = htab_create_alloc (10, hash_asymbol, eq_asymbol,
4998 NULL, xcalloc, free);
4999 for (psym = symbols; * psym != NULL; psym++)
5000 {
5001 asymbol * sym = * psym;
5002
5003 if (sym->flags & BSF_FUNCTION && sym->section != NULL)
5004 {
5005 void **slot = htab_find_slot (sym_hash, sym, INSERT);
5006 *slot = sym;
5007 }
5008 }
5009
5010 for (unit = stash->f.all_comp_units; unit; unit = unit->next_unit)
5011 {
5012 struct funcinfo * func;
5013
5014 comp_unit_maybe_decode_line_info (unit);
5015
5016 for (func = unit->function_table; func != NULL; func = func->prev_func)
5017 if (func->name && func->arange.low)
5018 {
5019 asymbol search, *sym;
5020
5021 /* FIXME: Do we need to scan the aranges looking for the lowest pc value ? */
5022
5023 search.name = func->name;
5024 sym = htab_find (sym_hash, &search);
5025 if (sym != NULL)
5026 {
5027 result = ((bfd_signed_vma) func->arange.low) -
5028 ((bfd_signed_vma) (sym->value + sym->section->vma));
5029 goto done;
5030 }
5031 }
5032 }
5033
5034 done:
5035 htab_delete (sym_hash);
5036 return result;
5037 }
5038
5039 /* Find the source code location of SYMBOL. If SYMBOL is NULL
5040 then find the nearest source code location corresponding to
5041 the address SECTION + OFFSET.
5042 Returns 1 if the line is found without error and fills in
5043 FILENAME_PTR and LINENUMBER_PTR. In the case where SYMBOL was
5044 NULL the FUNCTIONNAME_PTR is also filled in.
5045 Returns 2 if partial information from _bfd_elf_find_function is
5046 returned (function and maybe file) by looking at symbols. DWARF2
5047 info is present but not regarding the requested code location.
5048 Returns 0 otherwise.
5049 SYMBOLS contains the symbol table for ABFD.
5050 DEBUG_SECTIONS contains the name of the dwarf debug sections. */
5051
5052 int
5053 _bfd_dwarf2_find_nearest_line (bfd *abfd,
5054 asymbol **symbols,
5055 asymbol *symbol,
5056 asection *section,
5057 bfd_vma offset,
5058 const char **filename_ptr,
5059 const char **functionname_ptr,
5060 unsigned int *linenumber_ptr,
5061 unsigned int *discriminator_ptr,
5062 const struct dwarf_debug_section *debug_sections,
5063 void **pinfo)
5064 {
5065 /* Read each compilation unit from the section .debug_info, and check
5066 to see if it contains the address we are searching for. If yes,
5067 lookup the address, and return the line number info. If no, go
5068 on to the next compilation unit.
5069
5070 We keep a list of all the previously read compilation units, and
5071 a pointer to the next un-read compilation unit. Check the
5072 previously read units before reading more. */
5073 struct dwarf2_debug *stash;
5074 /* What address are we looking for? */
5075 bfd_vma addr;
5076 struct comp_unit* each;
5077 struct funcinfo *function = NULL;
5078 int found = false;
5079 bool do_line;
5080
5081 *filename_ptr = NULL;
5082 if (functionname_ptr != NULL)
5083 *functionname_ptr = NULL;
5084 *linenumber_ptr = 0;
5085 if (discriminator_ptr)
5086 *discriminator_ptr = 0;
5087
5088 if (! _bfd_dwarf2_slurp_debug_info (abfd, NULL, debug_sections,
5089 symbols, pinfo,
5090 (abfd->flags & (EXEC_P | DYNAMIC)) == 0))
5091 return false;
5092
5093 stash = (struct dwarf2_debug *) *pinfo;
5094
5095 do_line = symbol != NULL;
5096 if (do_line)
5097 {
5098 BFD_ASSERT (section == NULL && offset == 0 && functionname_ptr == NULL);
5099 section = bfd_asymbol_section (symbol);
5100 addr = symbol->value;
5101 }
5102 else
5103 {
5104 BFD_ASSERT (section != NULL && functionname_ptr != NULL);
5105 addr = offset;
5106
5107 /* If we have no SYMBOL but the section we're looking at is not a
5108 code section, then take a look through the list of symbols to see
5109 if we have a symbol at the address we're looking for. If we do
5110 then use this to look up line information. This will allow us to
5111 give file and line results for data symbols. We exclude code
5112 symbols here, if we look up a function symbol and then look up the
5113 line information we'll actually return the line number for the
5114 opening '{' rather than the function definition line. This is
5115 because looking up by symbol uses the line table, in which the
5116 first line for a function is usually the opening '{', while
5117 looking up the function by section + offset uses the
5118 DW_AT_decl_line from the function DW_TAG_subprogram for the line,
5119 which will be the line of the function name. */
5120 if (symbols != NULL && (section->flags & SEC_CODE) == 0)
5121 {
5122 asymbol **tmp;
5123
5124 for (tmp = symbols; (*tmp) != NULL; ++tmp)
5125 if ((*tmp)->the_bfd == abfd
5126 && (*tmp)->section == section
5127 && (*tmp)->value == offset
5128 && ((*tmp)->flags & BSF_SECTION_SYM) == 0)
5129 {
5130 symbol = *tmp;
5131 do_line = true;
5132 /* For local symbols, keep going in the hope we find a
5133 global. */
5134 if ((symbol->flags & BSF_GLOBAL) != 0)
5135 break;
5136 }
5137 }
5138 }
5139
5140 if (section->output_section)
5141 addr += section->output_section->vma + section->output_offset;
5142 else
5143 addr += section->vma;
5144
5145 /* A null info_ptr indicates that there is no dwarf2 info
5146 (or that an error occured while setting up the stash). */
5147 if (! stash->f.info_ptr)
5148 return false;
5149
5150 stash->inliner_chain = NULL;
5151
5152 /* Check the previously read comp. units first. */
5153 if (do_line)
5154 {
5155 /* The info hash tables use quite a bit of memory. We may not want to
5156 always use them. We use some heuristics to decide if and when to
5157 turn it on. */
5158 if (stash->info_hash_status == STASH_INFO_HASH_OFF)
5159 stash_maybe_enable_info_hash_tables (abfd, stash);
5160
5161 /* Keep info hash table up to date if they are available. Note that we
5162 may disable the hash tables if there is any error duing update. */
5163 if (stash->info_hash_status == STASH_INFO_HASH_ON)
5164 stash_maybe_update_info_hash_tables (stash);
5165
5166 if (stash->info_hash_status == STASH_INFO_HASH_ON)
5167 {
5168 found = stash_find_line_fast (stash, symbol, addr, filename_ptr,
5169 linenumber_ptr);
5170 if (found)
5171 goto done;
5172 }
5173 else
5174 {
5175 /* Check the previously read comp. units first. */
5176 for (each = stash->f.all_comp_units; each; each = each->next_unit)
5177 if ((symbol->flags & BSF_FUNCTION) == 0
5178 || each->arange.high == 0
5179 || comp_unit_contains_address (each, addr))
5180 {
5181 found = comp_unit_find_line (each, symbol, addr, filename_ptr,
5182 linenumber_ptr);
5183 if (found)
5184 goto done;
5185 }
5186 }
5187 }
5188 else
5189 {
5190 bfd_vma min_range = (bfd_vma) -1;
5191 const char * local_filename = NULL;
5192 struct funcinfo *local_function = NULL;
5193 unsigned int local_linenumber = 0;
5194 unsigned int local_discriminator = 0;
5195
5196 for (each = stash->f.all_comp_units; each; each = each->next_unit)
5197 {
5198 bfd_vma range = (bfd_vma) -1;
5199
5200 found = ((each->arange.high == 0
5201 || comp_unit_contains_address (each, addr))
5202 && (range = (comp_unit_find_nearest_line
5203 (each, addr, &local_filename,
5204 &local_function, &local_linenumber,
5205 &local_discriminator))) != 0);
5206 if (found)
5207 {
5208 /* PRs 15935 15994: Bogus debug information may have provided us
5209 with an erroneous match. We attempt to counter this by
5210 selecting the match that has the smallest address range
5211 associated with it. (We are assuming that corrupt debug info
5212 will tend to result in extra large address ranges rather than
5213 extra small ranges).
5214
5215 This does mean that we scan through all of the CUs associated
5216 with the bfd each time this function is called. But this does
5217 have the benefit of producing consistent results every time the
5218 function is called. */
5219 if (range <= min_range)
5220 {
5221 if (filename_ptr && local_filename)
5222 * filename_ptr = local_filename;
5223 if (local_function)
5224 function = local_function;
5225 if (discriminator_ptr && local_discriminator)
5226 * discriminator_ptr = local_discriminator;
5227 if (local_linenumber)
5228 * linenumber_ptr = local_linenumber;
5229 min_range = range;
5230 }
5231 }
5232 }
5233
5234 if (* linenumber_ptr)
5235 {
5236 found = true;
5237 goto done;
5238 }
5239 }
5240
5241 /* Read each remaining comp. units checking each as they are read. */
5242 while ((each = stash_comp_unit (stash, &stash->f)) != NULL)
5243 {
5244 /* DW_AT_low_pc and DW_AT_high_pc are optional for
5245 compilation units. If we don't have them (i.e.,
5246 unit->high == 0), we need to consult the line info table
5247 to see if a compilation unit contains the given
5248 address. */
5249 if (do_line)
5250 found = (((symbol->flags & BSF_FUNCTION) == 0
5251 || each->arange.high == 0
5252 || comp_unit_contains_address (each, addr))
5253 && comp_unit_find_line (each, symbol, addr,
5254 filename_ptr, linenumber_ptr));
5255 else
5256 found = ((each->arange.high == 0
5257 || comp_unit_contains_address (each, addr))
5258 && comp_unit_find_nearest_line (each, addr,
5259 filename_ptr,
5260 &function,
5261 linenumber_ptr,
5262 discriminator_ptr) != 0);
5263
5264 if (found)
5265 break;
5266 }
5267
5268 done:
5269 if (functionname_ptr && function && function->is_linkage)
5270 {
5271 *functionname_ptr = function->name;
5272 if (!found)
5273 found = 2;
5274 }
5275 else if (functionname_ptr
5276 && (!*functionname_ptr
5277 || (function && !function->is_linkage)))
5278 {
5279 asymbol *fun;
5280 asymbol **syms = symbols;
5281 asection *sec = section;
5282
5283 _bfd_dwarf2_stash_syms (stash, abfd, &sec, &syms);
5284 fun = _bfd_elf_find_function (abfd, syms, sec, offset,
5285 *filename_ptr ? NULL : filename_ptr,
5286 functionname_ptr);
5287
5288 if (!found && fun != NULL)
5289 found = 2;
5290
5291 if (function && !function->is_linkage)
5292 {
5293 bfd_vma sec_vma;
5294
5295 sec_vma = section->vma;
5296 if (section->output_section != NULL)
5297 sec_vma = section->output_section->vma + section->output_offset;
5298 if (fun == NULL)
5299 *functionname_ptr = function->name;
5300 else if (fun->value + sec_vma == function->arange.low)
5301 function->name = *functionname_ptr;
5302 /* Even if we didn't find a linkage name, say that we have
5303 to stop a repeated search of symbols. */
5304 function->is_linkage = true;
5305 }
5306 }
5307
5308 if ((abfd->flags & (EXEC_P | DYNAMIC)) == 0)
5309 unset_sections (stash);
5310
5311 return found;
5312 }
5313
5314 bool
5315 _bfd_dwarf2_find_inliner_info (bfd *abfd ATTRIBUTE_UNUSED,
5316 const char **filename_ptr,
5317 const char **functionname_ptr,
5318 unsigned int *linenumber_ptr,
5319 void **pinfo)
5320 {
5321 struct dwarf2_debug *stash;
5322
5323 stash = (struct dwarf2_debug *) *pinfo;
5324 if (stash)
5325 {
5326 struct funcinfo *func = stash->inliner_chain;
5327
5328 if (func && func->caller_func)
5329 {
5330 *filename_ptr = func->caller_file;
5331 *functionname_ptr = func->caller_func->name;
5332 *linenumber_ptr = func->caller_line;
5333 stash->inliner_chain = func->caller_func;
5334 return true;
5335 }
5336 }
5337
5338 return false;
5339 }
5340
5341 void
5342 _bfd_dwarf2_cleanup_debug_info (bfd *abfd, void **pinfo)
5343 {
5344 struct dwarf2_debug *stash = (struct dwarf2_debug *) *pinfo;
5345 struct comp_unit *each;
5346 struct dwarf2_debug_file *file;
5347
5348 if (abfd == NULL || stash == NULL)
5349 return;
5350
5351 if (stash->varinfo_hash_table)
5352 bfd_hash_table_free (&stash->varinfo_hash_table->base);
5353 if (stash->funcinfo_hash_table)
5354 bfd_hash_table_free (&stash->funcinfo_hash_table->base);
5355
5356 file = &stash->f;
5357 while (1)
5358 {
5359 for (each = file->all_comp_units; each; each = each->next_unit)
5360 {
5361 struct funcinfo *function_table = each->function_table;
5362 struct varinfo *variable_table = each->variable_table;
5363
5364 if (each->line_table && each->line_table != file->line_table)
5365 {
5366 free (each->line_table->files);
5367 free (each->line_table->dirs);
5368 }
5369
5370 free (each->lookup_funcinfo_table);
5371 each->lookup_funcinfo_table = NULL;
5372
5373 while (function_table)
5374 {
5375 free (function_table->file);
5376 function_table->file = NULL;
5377 free (function_table->caller_file);
5378 function_table->caller_file = NULL;
5379 function_table = function_table->prev_func;
5380 }
5381
5382 while (variable_table)
5383 {
5384 free (variable_table->file);
5385 variable_table->file = NULL;
5386 variable_table = variable_table->prev_var;
5387 }
5388 }
5389
5390 if (file->line_table)
5391 {
5392 free (file->line_table->files);
5393 free (file->line_table->dirs);
5394 }
5395 htab_delete (file->abbrev_offsets);
5396
5397 free (file->dwarf_line_str_buffer);
5398 free (file->dwarf_str_buffer);
5399 free (file->dwarf_ranges_buffer);
5400 free (file->dwarf_line_buffer);
5401 free (file->dwarf_abbrev_buffer);
5402 free (file->dwarf_info_buffer);
5403 if (file == &stash->alt)
5404 break;
5405 file = &stash->alt;
5406 }
5407 free (stash->sec_vma);
5408 free (stash->adjusted_sections);
5409 if (stash->close_on_cleanup)
5410 bfd_close (stash->f.bfd_ptr);
5411 if (stash->alt.bfd_ptr)
5412 bfd_close (stash->alt.bfd_ptr);
5413 }
5414
5415 /* Find the function to a particular section and offset,
5416 for error reporting. */
5417
5418 asymbol *
5419 _bfd_elf_find_function (bfd *abfd,
5420 asymbol **symbols,
5421 asection *section,
5422 bfd_vma offset,
5423 const char **filename_ptr,
5424 const char **functionname_ptr)
5425 {
5426 struct elf_find_function_cache
5427 {
5428 asection *last_section;
5429 asymbol *func;
5430 const char *filename;
5431 bfd_size_type func_size;
5432 } *cache;
5433
5434 if (symbols == NULL)
5435 return NULL;
5436
5437 if (bfd_get_flavour (abfd) != bfd_target_elf_flavour)
5438 return NULL;
5439
5440 cache = elf_tdata (abfd)->elf_find_function_cache;
5441 if (cache == NULL)
5442 {
5443 cache = bfd_zalloc (abfd, sizeof (*cache));
5444 elf_tdata (abfd)->elf_find_function_cache = cache;
5445 if (cache == NULL)
5446 return NULL;
5447 }
5448 if (cache->last_section != section
5449 || cache->func == NULL
5450 || offset < cache->func->value
5451 || offset >= cache->func->value + cache->func_size)
5452 {
5453 asymbol *file;
5454 bfd_vma low_func;
5455 asymbol **p;
5456 /* ??? Given multiple file symbols, it is impossible to reliably
5457 choose the right file name for global symbols. File symbols are
5458 local symbols, and thus all file symbols must sort before any
5459 global symbols. The ELF spec may be interpreted to say that a
5460 file symbol must sort before other local symbols, but currently
5461 ld -r doesn't do this. So, for ld -r output, it is possible to
5462 make a better choice of file name for local symbols by ignoring
5463 file symbols appearing after a given local symbol. */
5464 enum { nothing_seen, symbol_seen, file_after_symbol_seen } state;
5465 const struct elf_backend_data *bed = get_elf_backend_data (abfd);
5466
5467 file = NULL;
5468 low_func = 0;
5469 state = nothing_seen;
5470 cache->filename = NULL;
5471 cache->func = NULL;
5472 cache->func_size = 0;
5473 cache->last_section = section;
5474
5475 for (p = symbols; *p != NULL; p++)
5476 {
5477 asymbol *sym = *p;
5478 bfd_vma code_off;
5479 bfd_size_type size;
5480
5481 if ((sym->flags & BSF_FILE) != 0)
5482 {
5483 file = sym;
5484 if (state == symbol_seen)
5485 state = file_after_symbol_seen;
5486 continue;
5487 }
5488
5489 size = bed->maybe_function_sym (sym, section, &code_off);
5490 if (size != 0
5491 && code_off <= offset
5492 && (code_off > low_func
5493 || (code_off == low_func
5494 && size > cache->func_size)))
5495 {
5496 cache->func = sym;
5497 cache->func_size = size;
5498 cache->filename = NULL;
5499 low_func = code_off;
5500 if (file != NULL
5501 && ((sym->flags & BSF_LOCAL) != 0
5502 || state != file_after_symbol_seen))
5503 cache->filename = bfd_asymbol_name (file);
5504 }
5505 if (state == nothing_seen)
5506 state = symbol_seen;
5507 }
5508 }
5509
5510 if (cache->func == NULL)
5511 return NULL;
5512
5513 if (filename_ptr)
5514 *filename_ptr = cache->filename;
5515 if (functionname_ptr)
5516 *functionname_ptr = bfd_asymbol_name (cache->func);
5517
5518 return cache->func;
5519 }