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