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