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