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