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