Speed up bfd_dwarf2_find_line.
[binutils-gdb.git] / bfd / dwarf2.c
1 /* DWARF 2 support.
2 Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
3 2004, 2005, 2006, 2007 Free Software Foundation, Inc.
4
5 Adapted from gdb/dwarf2read.c by Gavin Koch of Cygnus Solutions
6 (gavin@cygnus.com).
7
8 From the dwarf2read.c header:
9 Adapted by Gary Funck (gary@intrepid.com), Intrepid Technology,
10 Inc. with support from Florida State University (under contract
11 with the Ada Joint Program Office), and Silicon Graphics, Inc.
12 Initial contribution by Brent Benson, Harris Computer Systems, Inc.,
13 based on Fred Fish's (Cygnus Support) implementation of DWARF 1
14 support in dwarfread.c
15
16 This file is part of BFD.
17
18 This program is free software; you can redistribute it and/or modify
19 it under the terms of the GNU General Public License as published by
20 the Free Software Foundation; either version 3 of the License, or (at
21 your option) any later version.
22
23 This program is distributed in the hope that it will be useful, but
24 WITHOUT ANY WARRANTY; without even the implied warranty of
25 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
26 General Public License for more details.
27
28 You should have received a copy of the GNU General Public License
29 along with this program; if not, write to the Free Software
30 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
31 MA 02110-1301, USA. */
32
33 #include "sysdep.h"
34 #include "bfd.h"
35 #include "libiberty.h"
36 #include "libbfd.h"
37 #include "elf-bfd.h"
38 #include "elf/dwarf2.h"
39
40 /* The data in the .debug_line statement prologue looks like this. */
41
42 struct line_head
43 {
44 bfd_vma total_length;
45 unsigned short version;
46 bfd_vma prologue_length;
47 unsigned char minimum_instruction_length;
48 unsigned char default_is_stmt;
49 int line_base;
50 unsigned char line_range;
51 unsigned char opcode_base;
52 unsigned char *standard_opcode_lengths;
53 };
54
55 /* Attributes have a name and a value. */
56
57 struct attribute
58 {
59 enum dwarf_attribute name;
60 enum dwarf_form form;
61 union
62 {
63 char *str;
64 struct dwarf_block *blk;
65 bfd_uint64_t val;
66 bfd_int64_t sval;
67 }
68 u;
69 };
70
71 /* Blocks are a bunch of untyped bytes. */
72 struct dwarf_block
73 {
74 unsigned int size;
75 bfd_byte *data;
76 };
77
78 struct loadable_section
79 {
80 asection *section;
81 bfd_vma adj_vma;
82 };
83
84 struct dwarf2_debug
85 {
86 /* A list of all previously read comp_units. */
87 struct comp_unit *all_comp_units;
88
89 /* Last comp unit in list above. */
90 struct comp_unit *last_comp_unit;
91
92 /* The next unread compilation unit within the .debug_info section.
93 Zero indicates that the .debug_info section has not been loaded
94 into a buffer yet. */
95 bfd_byte *info_ptr;
96
97 /* Pointer to the end of the .debug_info section memory buffer. */
98 bfd_byte *info_ptr_end;
99
100 /* Pointer to the bfd, section and address of the beginning of the
101 section. The bfd might be different than expected because of
102 gnu_debuglink sections. */
103 bfd * bfd;
104 asection *sec;
105 bfd_byte *sec_info_ptr;
106
107 /* Pointer to the symbol table. */
108 asymbol **syms;
109
110 /* Pointer to the .debug_abbrev section loaded into memory. */
111 bfd_byte *dwarf_abbrev_buffer;
112
113 /* Length of the loaded .debug_abbrev section. */
114 unsigned long dwarf_abbrev_size;
115
116 /* Buffer for decode_line_info. */
117 bfd_byte *dwarf_line_buffer;
118
119 /* Length of the loaded .debug_line section. */
120 unsigned long dwarf_line_size;
121
122 /* Pointer to the .debug_str section loaded into memory. */
123 bfd_byte *dwarf_str_buffer;
124
125 /* Length of the loaded .debug_str section. */
126 unsigned long dwarf_str_size;
127
128 /* Pointer to the .debug_ranges section loaded into memory. */
129 bfd_byte *dwarf_ranges_buffer;
130
131 /* Length of the loaded .debug_ranges section. */
132 unsigned long dwarf_ranges_size;
133
134 /* If the most recent call to bfd_find_nearest_line was given an
135 address in an inlined function, preserve a pointer into the
136 calling chain for subsequent calls to bfd_find_inliner_info to
137 use. */
138 struct funcinfo *inliner_chain;
139
140 /* Number of loadable sections. */
141 unsigned int loadable_section_count;
142
143 /* Array of loadable sections. */
144 struct loadable_section *loadable_sections;
145
146 /* Number of times find_line is called. This is used in
147 the heuristic for enabling the info hash tables. */
148 int info_hash_count;
149
150 #define STASH_INFO_HASH_TRIGGER 100
151
152 /* Hash table mapping symbol names to function infos. */
153 struct info_hash_table *funcinfo_hash_table;
154
155 /* Hash table mapping symbol names to variable infos. */
156 struct info_hash_table *varinfo_hash_table;
157
158 /* Head of comp_unit list in the last hash table update. */
159 struct comp_unit *hash_units_head;
160
161 /* Status of info hash. */
162 int info_hash_status;
163 #define STASH_INFO_HASH_OFF 0
164 #define STASH_INFO_HASH_ON 1
165 #define STASH_INFO_HASH_DISABLED 2
166 };
167
168 struct arange
169 {
170 struct arange *next;
171 bfd_vma low;
172 bfd_vma high;
173 };
174
175 /* A minimal decoding of DWARF2 compilation units. We only decode
176 what's needed to get to the line number information. */
177
178 struct comp_unit
179 {
180 /* Chain the previously read compilation units. */
181 struct comp_unit *next_unit;
182
183 /* Likewise, chain the compilation unit read after this one.
184 The comp units are stored in reversed reading order. */
185 struct comp_unit *prev_unit;
186
187 /* Keep the bfd convenient (for memory allocation). */
188 bfd *abfd;
189
190 /* The lowest and highest addresses contained in this compilation
191 unit as specified in the compilation unit header. */
192 struct arange arange;
193
194 /* The DW_AT_name attribute (for error messages). */
195 char *name;
196
197 /* The abbrev hash table. */
198 struct abbrev_info **abbrevs;
199
200 /* Note that an error was found by comp_unit_find_nearest_line. */
201 int error;
202
203 /* The DW_AT_comp_dir attribute. */
204 char *comp_dir;
205
206 /* TRUE if there is a line number table associated with this comp. unit. */
207 int stmtlist;
208
209 /* Pointer to the current comp_unit so that we can find a given entry
210 by its reference. */
211 bfd_byte *info_ptr_unit;
212
213 /* The offset into .debug_line of the line number table. */
214 unsigned long line_offset;
215
216 /* Pointer to the first child die for the comp unit. */
217 bfd_byte *first_child_die_ptr;
218
219 /* The end of the comp unit. */
220 bfd_byte *end_ptr;
221
222 /* The decoded line number, NULL if not yet decoded. */
223 struct line_info_table *line_table;
224
225 /* A list of the functions found in this comp. unit. */
226 struct funcinfo *function_table;
227
228 /* A list of the variables found in this comp. unit. */
229 struct varinfo *variable_table;
230
231 /* Pointer to dwarf2_debug structure. */
232 struct dwarf2_debug *stash;
233
234 /* Address size for this unit - from unit header. */
235 unsigned char addr_size;
236
237 /* Offset size for this unit - from unit header. */
238 unsigned char offset_size;
239
240 /* Base address for this unit - from DW_AT_low_pc attribute of
241 DW_TAG_compile_unit DIE */
242 bfd_vma base_address;
243
244 /* TRUE if symbols are cached in hash table for faster lookup by name. */
245 bfd_boolean cached;
246 };
247
248 /* This data structure holds the information of an abbrev. */
249 struct abbrev_info
250 {
251 unsigned int number; /* Number identifying abbrev. */
252 enum dwarf_tag tag; /* DWARF tag. */
253 int has_children; /* Boolean. */
254 unsigned int num_attrs; /* Number of attributes. */
255 struct attr_abbrev *attrs; /* An array of attribute descriptions. */
256 struct abbrev_info *next; /* Next in chain. */
257 };
258
259 struct attr_abbrev
260 {
261 enum dwarf_attribute name;
262 enum dwarf_form form;
263 };
264
265 #ifndef ABBREV_HASH_SIZE
266 #define ABBREV_HASH_SIZE 121
267 #endif
268 #ifndef ATTR_ALLOC_CHUNK
269 #define ATTR_ALLOC_CHUNK 4
270 #endif
271
272 /* Variable and function hash tables. This is used to speed up look-up
273 in lookup_symbol_in_var_table() and lookup_symbol_in_function_table().
274 In order to share code between variable and function infos, we use
275 a list of untyped pointer for all variable/function info associated with
276 a symbol. We waste a bit of memory for list with one node but that
277 simplifies the code. */
278
279 struct info_list_node
280 {
281 struct info_list_node *next;
282 void *info;
283 };
284
285 /* Info hash entry. */
286 struct info_hash_entry
287 {
288 struct bfd_hash_entry root;
289 struct info_list_node *head;
290 };
291
292 struct info_hash_table
293 {
294 struct bfd_hash_table base;
295 };
296
297 /* Function to create a new entry in info hash table. */
298
299 static struct bfd_hash_entry *
300 info_hash_table_newfunc (struct bfd_hash_entry *entry,
301 struct bfd_hash_table *table,
302 const char *string)
303 {
304 struct info_hash_entry *ret = (struct info_hash_entry *) entry;
305
306 /* Allocate the structure if it has not already been allocated by a
307 derived class. */
308 if (ret == NULL)
309 {
310 ret = bfd_hash_allocate (table, sizeof (* ret));
311 if (ret == NULL)
312 return NULL;
313 }
314
315 /* Call the allocation method of the base class. */
316 ret = ((struct info_hash_entry *)
317 bfd_hash_newfunc ((struct bfd_hash_entry *) ret, table, string));
318
319 /* Initialize the local fields here. */
320 if (ret)
321 ret->head = NULL;
322
323 return (struct bfd_hash_entry *) ret;
324 }
325
326 /* Function to create a new info hash table. It returns a pointer to the
327 newly created table or NULL if there is any error. We need abfd
328 solely for memory allocation. */
329
330 static struct info_hash_table *
331 create_info_hash_table (bfd *abfd)
332 {
333 struct info_hash_table *hash_table;
334
335 hash_table = bfd_alloc (abfd, sizeof (struct info_hash_table));
336 if (!hash_table)
337 return hash_table;
338
339 if (!bfd_hash_table_init (&hash_table->base, info_hash_table_newfunc,
340 sizeof (struct info_hash_entry)))
341 {
342 bfd_release (abfd, hash_table);
343 return NULL;
344 }
345
346 return hash_table;
347 }
348
349 /* Insert an info entry into an info hash table. We do not check of
350 duplicate entries. Also, the caller need to guarantee that the
351 right type of info in inserted as info is passed as a void* pointer.
352 This function returns true if there is no error. */
353
354 static bfd_boolean
355 insert_info_hash_table (struct info_hash_table *hash_table,
356 const char *key,
357 void *info,
358 bfd_boolean copy_p)
359 {
360 struct info_hash_entry *entry;
361 struct info_list_node *node;
362
363 entry = (struct info_hash_entry*) bfd_hash_lookup (&hash_table->base,
364 key, TRUE, copy_p);
365 if (!entry)
366 return FALSE;
367
368 node = bfd_hash_allocate (&hash_table->base, sizeof (*node));
369 if (!node)
370 return FALSE;
371
372 node->info = info;
373 node->next = entry->head;
374 entry->head = node;
375
376 return TRUE;
377 }
378
379 /* Look up an info entry list from an info hash table. Return NULL
380 if there is none. */
381
382 static struct info_list_node *
383 lookup_info_hash_table (struct info_hash_table *hash_table, const char *key)
384 {
385 struct info_hash_entry *entry;
386
387 entry = (struct info_hash_entry*) bfd_hash_lookup (&hash_table->base, key,
388 FALSE, FALSE);
389 return entry ? entry->head : NULL;
390 }
391
392 /* VERBATIM
393 The following function up to the END VERBATIM mark are
394 copied directly from dwarf2read.c. */
395
396 /* Read dwarf information from a buffer. */
397
398 static unsigned int
399 read_1_byte (bfd *abfd ATTRIBUTE_UNUSED, bfd_byte *buf)
400 {
401 return bfd_get_8 (abfd, buf);
402 }
403
404 static int
405 read_1_signed_byte (bfd *abfd ATTRIBUTE_UNUSED, bfd_byte *buf)
406 {
407 return bfd_get_signed_8 (abfd, buf);
408 }
409
410 static unsigned int
411 read_2_bytes (bfd *abfd, bfd_byte *buf)
412 {
413 return bfd_get_16 (abfd, buf);
414 }
415
416 static unsigned int
417 read_4_bytes (bfd *abfd, bfd_byte *buf)
418 {
419 return bfd_get_32 (abfd, buf);
420 }
421
422 static bfd_uint64_t
423 read_8_bytes (bfd *abfd, bfd_byte *buf)
424 {
425 return bfd_get_64 (abfd, buf);
426 }
427
428 static bfd_byte *
429 read_n_bytes (bfd *abfd ATTRIBUTE_UNUSED,
430 bfd_byte *buf,
431 unsigned int size ATTRIBUTE_UNUSED)
432 {
433 /* If the size of a host char is 8 bits, we can return a pointer
434 to the buffer, otherwise we have to copy the data to a buffer
435 allocated on the temporary obstack. */
436 return buf;
437 }
438
439 static char *
440 read_string (bfd *abfd ATTRIBUTE_UNUSED,
441 bfd_byte *buf,
442 unsigned int *bytes_read_ptr)
443 {
444 /* Return a pointer to the embedded string. */
445 char *str = (char *) buf;
446 if (*str == '\0')
447 {
448 *bytes_read_ptr = 1;
449 return NULL;
450 }
451
452 *bytes_read_ptr = strlen (str) + 1;
453 return str;
454 }
455
456 static char *
457 read_indirect_string (struct comp_unit* unit,
458 bfd_byte *buf,
459 unsigned int *bytes_read_ptr)
460 {
461 bfd_uint64_t offset;
462 struct dwarf2_debug *stash = unit->stash;
463 char *str;
464
465 if (unit->offset_size == 4)
466 offset = read_4_bytes (unit->abfd, buf);
467 else
468 offset = read_8_bytes (unit->abfd, buf);
469 *bytes_read_ptr = unit->offset_size;
470
471 if (! stash->dwarf_str_buffer)
472 {
473 asection *msec;
474 bfd *abfd = unit->abfd;
475 bfd_size_type sz;
476
477 msec = bfd_get_section_by_name (abfd, ".debug_str");
478 if (! msec)
479 {
480 (*_bfd_error_handler)
481 (_("Dwarf Error: Can't find .debug_str section."));
482 bfd_set_error (bfd_error_bad_value);
483 return NULL;
484 }
485
486 sz = msec->rawsize ? msec->rawsize : msec->size;
487 stash->dwarf_str_size = sz;
488 stash->dwarf_str_buffer = bfd_alloc (abfd, sz);
489 if (! stash->dwarf_str_buffer)
490 return NULL;
491
492 if (! bfd_get_section_contents (abfd, msec, stash->dwarf_str_buffer,
493 0, sz))
494 return NULL;
495 }
496
497 if (offset >= stash->dwarf_str_size)
498 {
499 (*_bfd_error_handler) (_("Dwarf Error: DW_FORM_strp offset (%lu) greater than or equal to .debug_str size (%lu)."),
500 (unsigned long) offset, stash->dwarf_str_size);
501 bfd_set_error (bfd_error_bad_value);
502 return NULL;
503 }
504
505 str = (char *) stash->dwarf_str_buffer + offset;
506 if (*str == '\0')
507 return NULL;
508 return str;
509 }
510
511 /* END VERBATIM */
512
513 static bfd_uint64_t
514 read_address (struct comp_unit *unit, bfd_byte *buf)
515 {
516 int signed_vma = get_elf_backend_data (unit->abfd)->sign_extend_vma;
517
518 if (signed_vma)
519 {
520 switch (unit->addr_size)
521 {
522 case 8:
523 return bfd_get_signed_64 (unit->abfd, buf);
524 case 4:
525 return bfd_get_signed_32 (unit->abfd, buf);
526 case 2:
527 return bfd_get_signed_16 (unit->abfd, buf);
528 default:
529 abort ();
530 }
531 }
532 else
533 {
534 switch (unit->addr_size)
535 {
536 case 8:
537 return bfd_get_64 (unit->abfd, buf);
538 case 4:
539 return bfd_get_32 (unit->abfd, buf);
540 case 2:
541 return bfd_get_16 (unit->abfd, buf);
542 default:
543 abort ();
544 }
545 }
546 }
547
548 /* Lookup an abbrev_info structure in the abbrev hash table. */
549
550 static struct abbrev_info *
551 lookup_abbrev (unsigned int number, struct abbrev_info **abbrevs)
552 {
553 unsigned int hash_number;
554 struct abbrev_info *abbrev;
555
556 hash_number = number % ABBREV_HASH_SIZE;
557 abbrev = abbrevs[hash_number];
558
559 while (abbrev)
560 {
561 if (abbrev->number == number)
562 return abbrev;
563 else
564 abbrev = abbrev->next;
565 }
566
567 return NULL;
568 }
569
570 /* In DWARF version 2, the description of the debugging information is
571 stored in a separate .debug_abbrev section. Before we read any
572 dies from a section we read in all abbreviations and install them
573 in a hash table. */
574
575 static struct abbrev_info**
576 read_abbrevs (bfd *abfd, bfd_uint64_t offset, struct dwarf2_debug *stash)
577 {
578 struct abbrev_info **abbrevs;
579 bfd_byte *abbrev_ptr;
580 struct abbrev_info *cur_abbrev;
581 unsigned int abbrev_number, bytes_read, abbrev_name;
582 unsigned int abbrev_form, hash_number;
583 bfd_size_type amt;
584
585 if (! stash->dwarf_abbrev_buffer)
586 {
587 asection *msec;
588
589 msec = bfd_get_section_by_name (abfd, ".debug_abbrev");
590 if (! msec)
591 {
592 (*_bfd_error_handler) (_("Dwarf Error: Can't find .debug_abbrev section."));
593 bfd_set_error (bfd_error_bad_value);
594 return 0;
595 }
596
597 stash->dwarf_abbrev_size = msec->size;
598 stash->dwarf_abbrev_buffer
599 = bfd_simple_get_relocated_section_contents (abfd, msec, NULL,
600 stash->syms);
601 if (! stash->dwarf_abbrev_buffer)
602 return 0;
603 }
604
605 if (offset >= stash->dwarf_abbrev_size)
606 {
607 (*_bfd_error_handler) (_("Dwarf Error: Abbrev offset (%lu) greater than or equal to .debug_abbrev size (%lu)."),
608 (unsigned long) offset, stash->dwarf_abbrev_size);
609 bfd_set_error (bfd_error_bad_value);
610 return 0;
611 }
612
613 amt = sizeof (struct abbrev_info*) * ABBREV_HASH_SIZE;
614 abbrevs = bfd_zalloc (abfd, amt);
615
616 abbrev_ptr = stash->dwarf_abbrev_buffer + offset;
617 abbrev_number = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
618 abbrev_ptr += bytes_read;
619
620 /* Loop until we reach an abbrev number of 0. */
621 while (abbrev_number)
622 {
623 amt = sizeof (struct abbrev_info);
624 cur_abbrev = bfd_zalloc (abfd, amt);
625
626 /* Read in abbrev header. */
627 cur_abbrev->number = abbrev_number;
628 cur_abbrev->tag = (enum dwarf_tag)
629 read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
630 abbrev_ptr += bytes_read;
631 cur_abbrev->has_children = read_1_byte (abfd, abbrev_ptr);
632 abbrev_ptr += 1;
633
634 /* Now read in declarations. */
635 abbrev_name = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
636 abbrev_ptr += bytes_read;
637 abbrev_form = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
638 abbrev_ptr += bytes_read;
639
640 while (abbrev_name)
641 {
642 if ((cur_abbrev->num_attrs % ATTR_ALLOC_CHUNK) == 0)
643 {
644 struct attr_abbrev *tmp;
645
646 amt = cur_abbrev->num_attrs + ATTR_ALLOC_CHUNK;
647 amt *= sizeof (struct attr_abbrev);
648 tmp = bfd_realloc (cur_abbrev->attrs, amt);
649 if (tmp == NULL)
650 {
651 size_t i;
652
653 for (i = 0; i < ABBREV_HASH_SIZE; i++)
654 {
655 struct abbrev_info *abbrev = abbrevs[i];
656
657 while (abbrev)
658 {
659 free (abbrev->attrs);
660 abbrev = abbrev->next;
661 }
662 }
663 return NULL;
664 }
665 cur_abbrev->attrs = tmp;
666 }
667
668 cur_abbrev->attrs[cur_abbrev->num_attrs].name
669 = (enum dwarf_attribute) abbrev_name;
670 cur_abbrev->attrs[cur_abbrev->num_attrs++].form
671 = (enum dwarf_form) abbrev_form;
672 abbrev_name = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
673 abbrev_ptr += bytes_read;
674 abbrev_form = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
675 abbrev_ptr += bytes_read;
676 }
677
678 hash_number = abbrev_number % ABBREV_HASH_SIZE;
679 cur_abbrev->next = abbrevs[hash_number];
680 abbrevs[hash_number] = cur_abbrev;
681
682 /* Get next abbreviation.
683 Under Irix6 the abbreviations for a compilation unit are not
684 always properly terminated with an abbrev number of 0.
685 Exit loop if we encounter an abbreviation which we have
686 already read (which means we are about to read the abbreviations
687 for the next compile unit) or if the end of the abbreviation
688 table is reached. */
689 if ((unsigned int) (abbrev_ptr - stash->dwarf_abbrev_buffer)
690 >= stash->dwarf_abbrev_size)
691 break;
692 abbrev_number = read_unsigned_leb128 (abfd, abbrev_ptr, &bytes_read);
693 abbrev_ptr += bytes_read;
694 if (lookup_abbrev (abbrev_number,abbrevs) != NULL)
695 break;
696 }
697
698 return abbrevs;
699 }
700
701 /* Read an attribute value described by an attribute form. */
702
703 static bfd_byte *
704 read_attribute_value (struct attribute *attr,
705 unsigned form,
706 struct comp_unit *unit,
707 bfd_byte *info_ptr)
708 {
709 bfd *abfd = unit->abfd;
710 unsigned int bytes_read;
711 struct dwarf_block *blk;
712 bfd_size_type amt;
713
714 attr->form = (enum dwarf_form) form;
715
716 switch (form)
717 {
718 case DW_FORM_addr:
719 /* FIXME: DWARF3 draft says DW_FORM_ref_addr is offset_size. */
720 case DW_FORM_ref_addr:
721 attr->u.val = read_address (unit, info_ptr);
722 info_ptr += unit->addr_size;
723 break;
724 case DW_FORM_block2:
725 amt = sizeof (struct dwarf_block);
726 blk = bfd_alloc (abfd, amt);
727 blk->size = read_2_bytes (abfd, info_ptr);
728 info_ptr += 2;
729 blk->data = read_n_bytes (abfd, info_ptr, blk->size);
730 info_ptr += blk->size;
731 attr->u.blk = blk;
732 break;
733 case DW_FORM_block4:
734 amt = sizeof (struct dwarf_block);
735 blk = bfd_alloc (abfd, amt);
736 blk->size = read_4_bytes (abfd, info_ptr);
737 info_ptr += 4;
738 blk->data = read_n_bytes (abfd, info_ptr, blk->size);
739 info_ptr += blk->size;
740 attr->u.blk = blk;
741 break;
742 case DW_FORM_data2:
743 attr->u.val = read_2_bytes (abfd, info_ptr);
744 info_ptr += 2;
745 break;
746 case DW_FORM_data4:
747 attr->u.val = read_4_bytes (abfd, info_ptr);
748 info_ptr += 4;
749 break;
750 case DW_FORM_data8:
751 attr->u.val = read_8_bytes (abfd, info_ptr);
752 info_ptr += 8;
753 break;
754 case DW_FORM_string:
755 attr->u.str = read_string (abfd, info_ptr, &bytes_read);
756 info_ptr += bytes_read;
757 break;
758 case DW_FORM_strp:
759 attr->u.str = read_indirect_string (unit, info_ptr, &bytes_read);
760 info_ptr += bytes_read;
761 break;
762 case DW_FORM_block:
763 amt = sizeof (struct dwarf_block);
764 blk = bfd_alloc (abfd, amt);
765 blk->size = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
766 info_ptr += bytes_read;
767 blk->data = read_n_bytes (abfd, info_ptr, blk->size);
768 info_ptr += blk->size;
769 attr->u.blk = blk;
770 break;
771 case DW_FORM_block1:
772 amt = sizeof (struct dwarf_block);
773 blk = bfd_alloc (abfd, amt);
774 blk->size = read_1_byte (abfd, info_ptr);
775 info_ptr += 1;
776 blk->data = read_n_bytes (abfd, info_ptr, blk->size);
777 info_ptr += blk->size;
778 attr->u.blk = blk;
779 break;
780 case DW_FORM_data1:
781 attr->u.val = read_1_byte (abfd, info_ptr);
782 info_ptr += 1;
783 break;
784 case DW_FORM_flag:
785 attr->u.val = read_1_byte (abfd, info_ptr);
786 info_ptr += 1;
787 break;
788 case DW_FORM_sdata:
789 attr->u.sval = read_signed_leb128 (abfd, info_ptr, &bytes_read);
790 info_ptr += bytes_read;
791 break;
792 case DW_FORM_udata:
793 attr->u.val = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
794 info_ptr += bytes_read;
795 break;
796 case DW_FORM_ref1:
797 attr->u.val = read_1_byte (abfd, info_ptr);
798 info_ptr += 1;
799 break;
800 case DW_FORM_ref2:
801 attr->u.val = read_2_bytes (abfd, info_ptr);
802 info_ptr += 2;
803 break;
804 case DW_FORM_ref4:
805 attr->u.val = read_4_bytes (abfd, info_ptr);
806 info_ptr += 4;
807 break;
808 case DW_FORM_ref8:
809 attr->u.val = read_8_bytes (abfd, info_ptr);
810 info_ptr += 8;
811 break;
812 case DW_FORM_ref_udata:
813 attr->u.val = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
814 info_ptr += bytes_read;
815 break;
816 case DW_FORM_indirect:
817 form = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
818 info_ptr += bytes_read;
819 info_ptr = read_attribute_value (attr, form, unit, info_ptr);
820 break;
821 default:
822 (*_bfd_error_handler) (_("Dwarf Error: Invalid or unhandled FORM value: %u."),
823 form);
824 bfd_set_error (bfd_error_bad_value);
825 }
826 return info_ptr;
827 }
828
829 /* Read an attribute described by an abbreviated attribute. */
830
831 static bfd_byte *
832 read_attribute (struct attribute *attr,
833 struct attr_abbrev *abbrev,
834 struct comp_unit *unit,
835 bfd_byte *info_ptr)
836 {
837 attr->name = abbrev->name;
838 info_ptr = read_attribute_value (attr, abbrev->form, unit, info_ptr);
839 return info_ptr;
840 }
841
842 /* Source line information table routines. */
843
844 #define FILE_ALLOC_CHUNK 5
845 #define DIR_ALLOC_CHUNK 5
846
847 struct line_info
848 {
849 struct line_info* prev_line;
850 bfd_vma address;
851 char *filename;
852 unsigned int line;
853 unsigned int column;
854 int end_sequence; /* End of (sequential) code sequence. */
855 };
856
857 struct fileinfo
858 {
859 char *name;
860 unsigned int dir;
861 unsigned int time;
862 unsigned int size;
863 };
864
865 struct line_info_table
866 {
867 bfd* abfd;
868 unsigned int num_files;
869 unsigned int num_dirs;
870 char *comp_dir;
871 char **dirs;
872 struct fileinfo* files;
873 struct line_info* last_line; /* largest VMA */
874 struct line_info* lcl_head; /* local head; used in 'add_line_info' */
875 };
876
877 /* Remember some information about each function. If the function is
878 inlined (DW_TAG_inlined_subroutine) it may have two additional
879 attributes, DW_AT_call_file and DW_AT_call_line, which specify the
880 source code location where this function was inlined. */
881
882 struct funcinfo
883 {
884 struct funcinfo *prev_func; /* Pointer to previous function in list of all functions */
885 struct funcinfo *caller_func; /* Pointer to function one scope higher */
886 char *caller_file; /* Source location file name where caller_func inlines this func */
887 int caller_line; /* Source location line number where caller_func inlines this func */
888 char *file; /* Source location file name */
889 int line; /* Source location line number */
890 int tag;
891 char *name;
892 struct arange arange;
893 asection *sec; /* Where the symbol is defined */
894 };
895
896 struct varinfo
897 {
898 /* Pointer to previous variable in list of all variables */
899 struct varinfo *prev_var;
900 /* Source location file name */
901 char *file;
902 /* Source location line number */
903 int line;
904 int tag;
905 char *name;
906 bfd_vma addr;
907 /* Where the symbol is defined */
908 asection *sec;
909 /* Is this a stack variable? */
910 unsigned int stack: 1;
911 };
912
913 /* Return TRUE if NEW_LINE should sort after LINE. */
914
915 static inline bfd_boolean
916 new_line_sorts_after (struct line_info *new_line, struct line_info *line)
917 {
918 return (new_line->address > line->address
919 || (new_line->address == line->address
920 && new_line->end_sequence < line->end_sequence));
921 }
922
923
924 /* Adds a new entry to the line_info list in the line_info_table, ensuring
925 that the list is sorted. Note that the line_info list is sorted from
926 highest to lowest VMA (with possible duplicates); that is,
927 line_info->prev_line always accesses an equal or smaller VMA. */
928
929 static void
930 add_line_info (struct line_info_table *table,
931 bfd_vma address,
932 char *filename,
933 unsigned int line,
934 unsigned int column,
935 int end_sequence)
936 {
937 bfd_size_type amt = sizeof (struct line_info);
938 struct line_info* info = bfd_alloc (table->abfd, amt);
939
940 /* Set member data of 'info'. */
941 info->address = address;
942 info->line = line;
943 info->column = column;
944 info->end_sequence = end_sequence;
945
946 if (filename && filename[0])
947 {
948 info->filename = bfd_alloc (table->abfd, strlen (filename) + 1);
949 if (info->filename)
950 strcpy (info->filename, filename);
951 }
952 else
953 info->filename = NULL;
954
955 /* Find the correct location for 'info'. Normally we will receive
956 new line_info data 1) in order and 2) with increasing VMAs.
957 However some compilers break the rules (cf. decode_line_info) and
958 so we include some heuristics for quickly finding the correct
959 location for 'info'. In particular, these heuristics optimize for
960 the common case in which the VMA sequence that we receive is a
961 list of locally sorted VMAs such as
962 p...z a...j (where a < j < p < z)
963
964 Note: table->lcl_head is used to head an *actual* or *possible*
965 sequence within the list (such as a...j) that is not directly
966 headed by table->last_line
967
968 Note: we may receive duplicate entries from 'decode_line_info'. */
969
970 if (!table->last_line
971 || new_line_sorts_after (info, table->last_line))
972 {
973 /* Normal case: add 'info' to the beginning of the list */
974 info->prev_line = table->last_line;
975 table->last_line = info;
976
977 /* lcl_head: initialize to head a *possible* sequence at the end. */
978 if (!table->lcl_head)
979 table->lcl_head = info;
980 }
981 else if (!new_line_sorts_after (info, table->lcl_head)
982 && (!table->lcl_head->prev_line
983 || new_line_sorts_after (info, table->lcl_head->prev_line)))
984 {
985 /* Abnormal but easy: lcl_head is the head of 'info'. */
986 info->prev_line = table->lcl_head->prev_line;
987 table->lcl_head->prev_line = info;
988 }
989 else
990 {
991 /* Abnormal and hard: Neither 'last_line' nor 'lcl_head' are valid
992 heads for 'info'. Reset 'lcl_head'. */
993 struct line_info* li2 = table->last_line; /* always non-NULL */
994 struct line_info* li1 = li2->prev_line;
995
996 while (li1)
997 {
998 if (!new_line_sorts_after (info, li2)
999 && new_line_sorts_after (info, li1))
1000 break;
1001
1002 li2 = li1; /* always non-NULL */
1003 li1 = li1->prev_line;
1004 }
1005 table->lcl_head = li2;
1006 info->prev_line = table->lcl_head->prev_line;
1007 table->lcl_head->prev_line = info;
1008 }
1009 }
1010
1011 /* Extract a fully qualified filename from a line info table.
1012 The returned string has been malloc'ed and it is the caller's
1013 responsibility to free it. */
1014
1015 static char *
1016 concat_filename (struct line_info_table *table, unsigned int file)
1017 {
1018 char *filename;
1019
1020 if (file - 1 >= table->num_files)
1021 {
1022 /* FILE == 0 means unknown. */
1023 if (file)
1024 (*_bfd_error_handler)
1025 (_("Dwarf Error: mangled line number section (bad file number)."));
1026 return strdup ("<unknown>");
1027 }
1028
1029 filename = table->files[file - 1].name;
1030
1031 if (!IS_ABSOLUTE_PATH (filename))
1032 {
1033 char *dirname = NULL;
1034 char *subdirname = NULL;
1035 char *name;
1036 size_t len;
1037
1038 if (table->files[file - 1].dir)
1039 subdirname = table->dirs[table->files[file - 1].dir - 1];
1040
1041 if (!subdirname || !IS_ABSOLUTE_PATH (subdirname))
1042 dirname = table->comp_dir;
1043
1044 if (!dirname)
1045 {
1046 dirname = subdirname;
1047 subdirname = NULL;
1048 }
1049
1050 if (!dirname)
1051 return strdup (filename);
1052
1053 len = strlen (dirname) + strlen (filename) + 2;
1054
1055 if (subdirname)
1056 {
1057 len += strlen (subdirname) + 1;
1058 name = bfd_malloc (len);
1059 if (name)
1060 sprintf (name, "%s/%s/%s", dirname, subdirname, filename);
1061 }
1062 else
1063 {
1064 name = bfd_malloc (len);
1065 if (name)
1066 sprintf (name, "%s/%s", dirname, filename);
1067 }
1068
1069 return name;
1070 }
1071
1072 return strdup (filename);
1073 }
1074
1075 static void
1076 arange_add (bfd *abfd, struct arange *first_arange, bfd_vma low_pc, bfd_vma high_pc)
1077 {
1078 struct arange *arange;
1079
1080 /* If the first arange is empty, use it. */
1081 if (first_arange->high == 0)
1082 {
1083 first_arange->low = low_pc;
1084 first_arange->high = high_pc;
1085 return;
1086 }
1087
1088 /* Next see if we can cheaply extend an existing range. */
1089 arange = first_arange;
1090 do
1091 {
1092 if (low_pc == arange->high)
1093 {
1094 arange->high = high_pc;
1095 return;
1096 }
1097 if (high_pc == arange->low)
1098 {
1099 arange->low = low_pc;
1100 return;
1101 }
1102 arange = arange->next;
1103 }
1104 while (arange);
1105
1106 /* Need to allocate a new arange and insert it into the arange list.
1107 Order isn't significant, so just insert after the first arange. */
1108 arange = bfd_zalloc (abfd, sizeof (*arange));
1109 arange->low = low_pc;
1110 arange->high = high_pc;
1111 arange->next = first_arange->next;
1112 first_arange->next = arange;
1113 }
1114
1115 /* Decode the line number information for UNIT. */
1116
1117 static struct line_info_table*
1118 decode_line_info (struct comp_unit *unit, struct dwarf2_debug *stash)
1119 {
1120 bfd *abfd = unit->abfd;
1121 struct line_info_table* table;
1122 bfd_byte *line_ptr;
1123 bfd_byte *line_end;
1124 struct line_head lh;
1125 unsigned int i, bytes_read, offset_size;
1126 char *cur_file, *cur_dir;
1127 unsigned char op_code, extended_op, adj_opcode;
1128 bfd_size_type amt;
1129
1130 if (! stash->dwarf_line_buffer)
1131 {
1132 asection *msec;
1133
1134 msec = bfd_get_section_by_name (abfd, ".debug_line");
1135 if (! msec)
1136 {
1137 (*_bfd_error_handler) (_("Dwarf Error: Can't find .debug_line section."));
1138 bfd_set_error (bfd_error_bad_value);
1139 return 0;
1140 }
1141
1142 stash->dwarf_line_size = msec->size;
1143 stash->dwarf_line_buffer
1144 = bfd_simple_get_relocated_section_contents (abfd, msec, NULL,
1145 stash->syms);
1146 if (! stash->dwarf_line_buffer)
1147 return 0;
1148 }
1149
1150 /* It is possible to get a bad value for the line_offset. Validate
1151 it here so that we won't get a segfault below. */
1152 if (unit->line_offset >= stash->dwarf_line_size)
1153 {
1154 (*_bfd_error_handler) (_("Dwarf Error: Line offset (%lu) greater than or equal to .debug_line size (%lu)."),
1155 unit->line_offset, stash->dwarf_line_size);
1156 bfd_set_error (bfd_error_bad_value);
1157 return 0;
1158 }
1159
1160 amt = sizeof (struct line_info_table);
1161 table = bfd_alloc (abfd, amt);
1162 table->abfd = abfd;
1163 table->comp_dir = unit->comp_dir;
1164
1165 table->num_files = 0;
1166 table->files = NULL;
1167
1168 table->num_dirs = 0;
1169 table->dirs = NULL;
1170
1171 table->files = NULL;
1172 table->last_line = NULL;
1173 table->lcl_head = NULL;
1174
1175 line_ptr = stash->dwarf_line_buffer + unit->line_offset;
1176
1177 /* Read in the prologue. */
1178 lh.total_length = read_4_bytes (abfd, line_ptr);
1179 line_ptr += 4;
1180 offset_size = 4;
1181 if (lh.total_length == 0xffffffff)
1182 {
1183 lh.total_length = read_8_bytes (abfd, line_ptr);
1184 line_ptr += 8;
1185 offset_size = 8;
1186 }
1187 else if (lh.total_length == 0 && unit->addr_size == 8)
1188 {
1189 /* Handle (non-standard) 64-bit DWARF2 formats. */
1190 lh.total_length = read_4_bytes (abfd, line_ptr);
1191 line_ptr += 4;
1192 offset_size = 8;
1193 }
1194 line_end = line_ptr + lh.total_length;
1195 lh.version = read_2_bytes (abfd, line_ptr);
1196 line_ptr += 2;
1197 if (offset_size == 4)
1198 lh.prologue_length = read_4_bytes (abfd, line_ptr);
1199 else
1200 lh.prologue_length = read_8_bytes (abfd, line_ptr);
1201 line_ptr += offset_size;
1202 lh.minimum_instruction_length = read_1_byte (abfd, line_ptr);
1203 line_ptr += 1;
1204 lh.default_is_stmt = read_1_byte (abfd, line_ptr);
1205 line_ptr += 1;
1206 lh.line_base = read_1_signed_byte (abfd, line_ptr);
1207 line_ptr += 1;
1208 lh.line_range = read_1_byte (abfd, line_ptr);
1209 line_ptr += 1;
1210 lh.opcode_base = read_1_byte (abfd, line_ptr);
1211 line_ptr += 1;
1212 amt = lh.opcode_base * sizeof (unsigned char);
1213 lh.standard_opcode_lengths = bfd_alloc (abfd, amt);
1214
1215 lh.standard_opcode_lengths[0] = 1;
1216
1217 for (i = 1; i < lh.opcode_base; ++i)
1218 {
1219 lh.standard_opcode_lengths[i] = read_1_byte (abfd, line_ptr);
1220 line_ptr += 1;
1221 }
1222
1223 /* Read directory table. */
1224 while ((cur_dir = read_string (abfd, line_ptr, &bytes_read)) != NULL)
1225 {
1226 line_ptr += bytes_read;
1227
1228 if ((table->num_dirs % DIR_ALLOC_CHUNK) == 0)
1229 {
1230 char **tmp;
1231
1232 amt = table->num_dirs + DIR_ALLOC_CHUNK;
1233 amt *= sizeof (char *);
1234
1235 tmp = bfd_realloc (table->dirs, amt);
1236 if (tmp == NULL)
1237 {
1238 free (table->dirs);
1239 return NULL;
1240 }
1241 table->dirs = tmp;
1242 }
1243
1244 table->dirs[table->num_dirs++] = cur_dir;
1245 }
1246
1247 line_ptr += bytes_read;
1248
1249 /* Read file name table. */
1250 while ((cur_file = read_string (abfd, line_ptr, &bytes_read)) != NULL)
1251 {
1252 line_ptr += bytes_read;
1253
1254 if ((table->num_files % FILE_ALLOC_CHUNK) == 0)
1255 {
1256 struct fileinfo *tmp;
1257
1258 amt = table->num_files + FILE_ALLOC_CHUNK;
1259 amt *= sizeof (struct fileinfo);
1260
1261 tmp = bfd_realloc (table->files, amt);
1262 if (tmp == NULL)
1263 {
1264 free (table->files);
1265 free (table->dirs);
1266 return NULL;
1267 }
1268 table->files = tmp;
1269 }
1270
1271 table->files[table->num_files].name = cur_file;
1272 table->files[table->num_files].dir =
1273 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1274 line_ptr += bytes_read;
1275 table->files[table->num_files].time =
1276 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1277 line_ptr += bytes_read;
1278 table->files[table->num_files].size =
1279 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1280 line_ptr += bytes_read;
1281 table->num_files++;
1282 }
1283
1284 line_ptr += bytes_read;
1285
1286 /* Read the statement sequences until there's nothing left. */
1287 while (line_ptr < line_end)
1288 {
1289 /* State machine registers. */
1290 bfd_vma address = 0;
1291 char * filename = table->num_files ? concat_filename (table, 1) : NULL;
1292 unsigned int line = 1;
1293 unsigned int column = 0;
1294 int is_stmt = lh.default_is_stmt;
1295 int end_sequence = 0;
1296 /* eraxxon@alumni.rice.edu: Against the DWARF2 specs, some
1297 compilers generate address sequences that are wildly out of
1298 order using DW_LNE_set_address (e.g. Intel C++ 6.0 compiler
1299 for ia64-Linux). Thus, to determine the low and high
1300 address, we must compare on every DW_LNS_copy, etc. */
1301 bfd_vma low_pc = (bfd_vma) -1;
1302 bfd_vma high_pc = 0;
1303
1304 /* Decode the table. */
1305 while (! end_sequence)
1306 {
1307 op_code = read_1_byte (abfd, line_ptr);
1308 line_ptr += 1;
1309
1310 if (op_code >= lh.opcode_base)
1311 {
1312 /* Special operand. */
1313 adj_opcode = op_code - lh.opcode_base;
1314 address += (adj_opcode / lh.line_range)
1315 * lh.minimum_instruction_length;
1316 line += lh.line_base + (adj_opcode % lh.line_range);
1317 /* Append row to matrix using current values. */
1318 add_line_info (table, address, filename, line, column, 0);
1319 if (address < low_pc)
1320 low_pc = address;
1321 if (address > high_pc)
1322 high_pc = address;
1323 }
1324 else switch (op_code)
1325 {
1326 case DW_LNS_extended_op:
1327 /* Ignore length. */
1328 line_ptr += 1;
1329 extended_op = read_1_byte (abfd, line_ptr);
1330 line_ptr += 1;
1331
1332 switch (extended_op)
1333 {
1334 case DW_LNE_end_sequence:
1335 end_sequence = 1;
1336 add_line_info (table, address, filename, line, column,
1337 end_sequence);
1338 if (address < low_pc)
1339 low_pc = address;
1340 if (address > high_pc)
1341 high_pc = address;
1342 arange_add (unit->abfd, &unit->arange, low_pc, high_pc);
1343 break;
1344 case DW_LNE_set_address:
1345 address = read_address (unit, line_ptr);
1346 line_ptr += unit->addr_size;
1347 break;
1348 case DW_LNE_define_file:
1349 cur_file = read_string (abfd, line_ptr, &bytes_read);
1350 line_ptr += bytes_read;
1351 if ((table->num_files % FILE_ALLOC_CHUNK) == 0)
1352 {
1353 struct fileinfo *tmp;
1354
1355 amt = table->num_files + FILE_ALLOC_CHUNK;
1356 amt *= sizeof (struct fileinfo);
1357 tmp = bfd_realloc (table->files, amt);
1358 if (tmp == NULL)
1359 {
1360 free (table->files);
1361 free (table->dirs);
1362 free (filename);
1363 return NULL;
1364 }
1365 table->files = tmp;
1366 }
1367 table->files[table->num_files].name = cur_file;
1368 table->files[table->num_files].dir =
1369 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1370 line_ptr += bytes_read;
1371 table->files[table->num_files].time =
1372 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1373 line_ptr += bytes_read;
1374 table->files[table->num_files].size =
1375 read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1376 line_ptr += bytes_read;
1377 table->num_files++;
1378 break;
1379 default:
1380 (*_bfd_error_handler) (_("Dwarf Error: mangled line number section."));
1381 bfd_set_error (bfd_error_bad_value);
1382 free (filename);
1383 free (table->files);
1384 free (table->dirs);
1385 return NULL;
1386 }
1387 break;
1388 case DW_LNS_copy:
1389 add_line_info (table, address, filename, line, column, 0);
1390 if (address < low_pc)
1391 low_pc = address;
1392 if (address > high_pc)
1393 high_pc = address;
1394 break;
1395 case DW_LNS_advance_pc:
1396 address += lh.minimum_instruction_length
1397 * read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1398 line_ptr += bytes_read;
1399 break;
1400 case DW_LNS_advance_line:
1401 line += read_signed_leb128 (abfd, line_ptr, &bytes_read);
1402 line_ptr += bytes_read;
1403 break;
1404 case DW_LNS_set_file:
1405 {
1406 unsigned int file;
1407
1408 /* The file and directory tables are 0
1409 based, the references are 1 based. */
1410 file = read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1411 line_ptr += bytes_read;
1412 if (filename)
1413 free (filename);
1414 filename = concat_filename (table, file);
1415 break;
1416 }
1417 case DW_LNS_set_column:
1418 column = read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1419 line_ptr += bytes_read;
1420 break;
1421 case DW_LNS_negate_stmt:
1422 is_stmt = (!is_stmt);
1423 break;
1424 case DW_LNS_set_basic_block:
1425 break;
1426 case DW_LNS_const_add_pc:
1427 address += lh.minimum_instruction_length
1428 * ((255 - lh.opcode_base) / lh.line_range);
1429 break;
1430 case DW_LNS_fixed_advance_pc:
1431 address += read_2_bytes (abfd, line_ptr);
1432 line_ptr += 2;
1433 break;
1434 default:
1435 {
1436 int i;
1437
1438 /* Unknown standard opcode, ignore it. */
1439 for (i = 0; i < lh.standard_opcode_lengths[op_code]; i++)
1440 {
1441 (void) read_unsigned_leb128 (abfd, line_ptr, &bytes_read);
1442 line_ptr += bytes_read;
1443 }
1444 }
1445 }
1446 }
1447
1448 if (filename)
1449 free (filename);
1450 }
1451
1452 return table;
1453 }
1454
1455 /* If ADDR is within TABLE set the output parameters and return TRUE,
1456 otherwise return FALSE. The output parameters, FILENAME_PTR and
1457 LINENUMBER_PTR, are pointers to the objects to be filled in. */
1458
1459 static bfd_boolean
1460 lookup_address_in_line_info_table (struct line_info_table *table,
1461 bfd_vma addr,
1462 struct funcinfo *function,
1463 const char **filename_ptr,
1464 unsigned int *linenumber_ptr)
1465 {
1466 /* Note: table->last_line should be a descendingly sorted list. */
1467 struct line_info* next_line = table->last_line;
1468 struct line_info* each_line = NULL;
1469 *filename_ptr = NULL;
1470
1471 if (!next_line)
1472 return FALSE;
1473
1474 each_line = next_line->prev_line;
1475
1476 /* Check for large addresses */
1477 if (addr > next_line->address)
1478 each_line = NULL; /* ensure we skip over the normal case */
1479
1480 /* Normal case: search the list; save */
1481 while (each_line && next_line)
1482 {
1483 /* If we have an address match, save this info. This allows us
1484 to return as good as results as possible for strange debugging
1485 info. */
1486 bfd_boolean addr_match = FALSE;
1487 if (each_line->address <= addr && addr < next_line->address)
1488 {
1489 addr_match = TRUE;
1490
1491 /* If this line appears to span functions, and addr is in the
1492 later function, return the first line of that function instead
1493 of the last line of the earlier one. This check is for GCC
1494 2.95, which emits the first line number for a function late. */
1495
1496 if (function != NULL)
1497 {
1498 bfd_vma lowest_pc;
1499 struct arange *arange;
1500
1501 /* Find the lowest address in the function's range list */
1502 lowest_pc = function->arange.low;
1503 for (arange = &function->arange;
1504 arange;
1505 arange = arange->next)
1506 {
1507 if (function->arange.low < lowest_pc)
1508 lowest_pc = function->arange.low;
1509 }
1510 /* Check for spanning function and set outgoing line info */
1511 if (addr >= lowest_pc
1512 && each_line->address < lowest_pc
1513 && next_line->address > lowest_pc)
1514 {
1515 *filename_ptr = next_line->filename;
1516 *linenumber_ptr = next_line->line;
1517 }
1518 else
1519 {
1520 *filename_ptr = each_line->filename;
1521 *linenumber_ptr = each_line->line;
1522 }
1523 }
1524 else
1525 {
1526 *filename_ptr = each_line->filename;
1527 *linenumber_ptr = each_line->line;
1528 }
1529 }
1530
1531 if (addr_match && !each_line->end_sequence)
1532 return TRUE; /* we have definitely found what we want */
1533
1534 next_line = each_line;
1535 each_line = each_line->prev_line;
1536 }
1537
1538 /* At this point each_line is NULL but next_line is not. If we found
1539 a candidate end-of-sequence point in the loop above, we can return
1540 that (compatibility with a bug in the Intel compiler); otherwise,
1541 assuming that we found the containing function for this address in
1542 this compilation unit, return the first line we have a number for
1543 (compatibility with GCC 2.95). */
1544 if (*filename_ptr == NULL && function != NULL)
1545 {
1546 *filename_ptr = next_line->filename;
1547 *linenumber_ptr = next_line->line;
1548 return TRUE;
1549 }
1550
1551 return FALSE;
1552 }
1553
1554 /* Read in the .debug_ranges section for future reference */
1555
1556 static bfd_boolean
1557 read_debug_ranges (struct comp_unit *unit)
1558 {
1559 struct dwarf2_debug *stash = unit->stash;
1560 if (! stash->dwarf_ranges_buffer)
1561 {
1562 bfd *abfd = unit->abfd;
1563 asection *msec;
1564
1565 msec = bfd_get_section_by_name (abfd, ".debug_ranges");
1566 if (! msec)
1567 {
1568 (*_bfd_error_handler) (_("Dwarf Error: Can't find .debug_ranges section."));
1569 bfd_set_error (bfd_error_bad_value);
1570 return FALSE;
1571 }
1572
1573 stash->dwarf_ranges_size = msec->size;
1574 stash->dwarf_ranges_buffer
1575 = bfd_simple_get_relocated_section_contents (abfd, msec, NULL,
1576 stash->syms);
1577 if (! stash->dwarf_ranges_buffer)
1578 return FALSE;
1579 }
1580 return TRUE;
1581 }
1582
1583 /* Function table functions. */
1584
1585 /* If ADDR is within TABLE, set FUNCTIONNAME_PTR, and return TRUE.
1586 Note that we need to find the function that has the smallest
1587 range that contains ADDR, to handle inlined functions without
1588 depending upon them being ordered in TABLE by increasing range. */
1589
1590 static bfd_boolean
1591 lookup_address_in_function_table (struct comp_unit *unit,
1592 bfd_vma addr,
1593 struct funcinfo **function_ptr,
1594 const char **functionname_ptr)
1595 {
1596 struct funcinfo* each_func;
1597 struct funcinfo* best_fit = NULL;
1598 struct arange *arange;
1599
1600 for (each_func = unit->function_table;
1601 each_func;
1602 each_func = each_func->prev_func)
1603 {
1604 for (arange = &each_func->arange;
1605 arange;
1606 arange = arange->next)
1607 {
1608 if (addr >= arange->low && addr < arange->high)
1609 {
1610 if (!best_fit ||
1611 ((arange->high - arange->low) < (best_fit->arange.high - best_fit->arange.low)))
1612 best_fit = each_func;
1613 }
1614 }
1615 }
1616
1617 if (best_fit)
1618 {
1619 *functionname_ptr = best_fit->name;
1620 *function_ptr = best_fit;
1621 return TRUE;
1622 }
1623 else
1624 {
1625 return FALSE;
1626 }
1627 }
1628
1629 /* If SYM at ADDR is within function table of UNIT, set FILENAME_PTR
1630 and LINENUMBER_PTR, and return TRUE. */
1631
1632 static bfd_boolean
1633 lookup_symbol_in_function_table (struct comp_unit *unit,
1634 asymbol *sym,
1635 bfd_vma addr,
1636 const char **filename_ptr,
1637 unsigned int *linenumber_ptr)
1638 {
1639 struct funcinfo* each_func;
1640 struct funcinfo* best_fit = NULL;
1641 struct arange *arange;
1642 const char *name = bfd_asymbol_name (sym);
1643 asection *sec = bfd_get_section (sym);
1644
1645 for (each_func = unit->function_table;
1646 each_func;
1647 each_func = each_func->prev_func)
1648 {
1649 for (arange = &each_func->arange;
1650 arange;
1651 arange = arange->next)
1652 {
1653 if ((!each_func->sec || each_func->sec == sec)
1654 && addr >= arange->low
1655 && addr < arange->high
1656 && each_func->name
1657 && strcmp (name, each_func->name) == 0
1658 && (!best_fit
1659 || ((arange->high - arange->low)
1660 < (best_fit->arange.high - best_fit->arange.low))))
1661 best_fit = each_func;
1662 }
1663 }
1664
1665 if (best_fit)
1666 {
1667 best_fit->sec = sec;
1668 *filename_ptr = best_fit->file;
1669 *linenumber_ptr = best_fit->line;
1670 return TRUE;
1671 }
1672 else
1673 return FALSE;
1674 }
1675
1676 /* Variable table functions. */
1677
1678 /* If SYM is within variable table of UNIT, set FILENAME_PTR and
1679 LINENUMBER_PTR, and return TRUE. */
1680
1681 static bfd_boolean
1682 lookup_symbol_in_variable_table (struct comp_unit *unit,
1683 asymbol *sym,
1684 bfd_vma addr,
1685 const char **filename_ptr,
1686 unsigned int *linenumber_ptr)
1687 {
1688 const char *name = bfd_asymbol_name (sym);
1689 asection *sec = bfd_get_section (sym);
1690 struct varinfo* each;
1691
1692 for (each = unit->variable_table; each; each = each->prev_var)
1693 if (each->stack == 0
1694 && each->file != NULL
1695 && each->name != NULL
1696 && each->addr == addr
1697 && (!each->sec || each->sec == sec)
1698 && strcmp (name, each->name) == 0)
1699 break;
1700
1701 if (each)
1702 {
1703 each->sec = sec;
1704 *filename_ptr = each->file;
1705 *linenumber_ptr = each->line;
1706 return TRUE;
1707 }
1708 else
1709 return FALSE;
1710 }
1711
1712 static char *
1713 find_abstract_instance_name (struct comp_unit *unit, bfd_uint64_t die_ref)
1714 {
1715 bfd *abfd = unit->abfd;
1716 bfd_byte *info_ptr;
1717 unsigned int abbrev_number, bytes_read, i;
1718 struct abbrev_info *abbrev;
1719 struct attribute attr;
1720 char *name = 0;
1721
1722 info_ptr = unit->info_ptr_unit + die_ref;
1723 abbrev_number = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
1724 info_ptr += bytes_read;
1725
1726 if (abbrev_number)
1727 {
1728 abbrev = lookup_abbrev (abbrev_number, unit->abbrevs);
1729 if (! abbrev)
1730 {
1731 (*_bfd_error_handler) (_("Dwarf Error: Could not find abbrev number %u."),
1732 abbrev_number);
1733 bfd_set_error (bfd_error_bad_value);
1734 }
1735 else
1736 {
1737 for (i = 0; i < abbrev->num_attrs; ++i)
1738 {
1739 info_ptr = read_attribute (&attr, &abbrev->attrs[i], unit, info_ptr);
1740 switch (attr.name)
1741 {
1742 case DW_AT_name:
1743 /* Prefer DW_AT_MIPS_linkage_name over DW_AT_name. */
1744 if (name == NULL)
1745 name = attr.u.str;
1746 break;
1747 case DW_AT_specification:
1748 name = find_abstract_instance_name (unit, attr.u.val);
1749 break;
1750 case DW_AT_MIPS_linkage_name:
1751 name = attr.u.str;
1752 break;
1753 default:
1754 break;
1755 }
1756 }
1757 }
1758 }
1759 return (name);
1760 }
1761
1762 static void
1763 read_rangelist (struct comp_unit *unit, struct arange *arange, bfd_uint64_t offset)
1764 {
1765 bfd_byte *ranges_ptr;
1766 bfd_vma base_address = unit->base_address;
1767
1768 if (! unit->stash->dwarf_ranges_buffer)
1769 {
1770 if (! read_debug_ranges (unit))
1771 return;
1772 }
1773 ranges_ptr = unit->stash->dwarf_ranges_buffer + offset;
1774
1775 for (;;)
1776 {
1777 bfd_vma low_pc;
1778 bfd_vma high_pc;
1779
1780 if (unit->addr_size == 4)
1781 {
1782 low_pc = read_4_bytes (unit->abfd, ranges_ptr);
1783 ranges_ptr += 4;
1784 high_pc = read_4_bytes (unit->abfd, ranges_ptr);
1785 ranges_ptr += 4;
1786 }
1787 else
1788 {
1789 low_pc = read_8_bytes (unit->abfd, ranges_ptr);
1790 ranges_ptr += 8;
1791 high_pc = read_8_bytes (unit->abfd, ranges_ptr);
1792 ranges_ptr += 8;
1793 }
1794 if (low_pc == 0 && high_pc == 0)
1795 break;
1796 if (low_pc == -1UL && high_pc != -1UL)
1797 base_address = high_pc;
1798 else
1799 arange_add (unit->abfd, arange, base_address + low_pc, base_address + high_pc);
1800 }
1801 }
1802
1803 /* DWARF2 Compilation unit functions. */
1804
1805 /* Scan over each die in a comp. unit looking for functions to add
1806 to the function table and variables to the variable table. */
1807
1808 static bfd_boolean
1809 scan_unit_for_symbols (struct comp_unit *unit)
1810 {
1811 bfd *abfd = unit->abfd;
1812 bfd_byte *info_ptr = unit->first_child_die_ptr;
1813 int nesting_level = 1;
1814 struct funcinfo **nested_funcs;
1815 int nested_funcs_size;
1816
1817 /* Maintain a stack of in-scope functions and inlined functions, which we
1818 can use to set the caller_func field. */
1819 nested_funcs_size = 32;
1820 nested_funcs = bfd_malloc (nested_funcs_size * sizeof (struct funcinfo *));
1821 if (nested_funcs == NULL)
1822 return FALSE;
1823 nested_funcs[nesting_level] = 0;
1824
1825 while (nesting_level)
1826 {
1827 unsigned int abbrev_number, bytes_read, i;
1828 struct abbrev_info *abbrev;
1829 struct attribute attr;
1830 struct funcinfo *func;
1831 struct varinfo *var;
1832 bfd_vma low_pc = 0;
1833 bfd_vma high_pc = 0;
1834
1835 abbrev_number = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
1836 info_ptr += bytes_read;
1837
1838 if (! abbrev_number)
1839 {
1840 nesting_level--;
1841 continue;
1842 }
1843
1844 abbrev = lookup_abbrev (abbrev_number,unit->abbrevs);
1845 if (! abbrev)
1846 {
1847 (*_bfd_error_handler) (_("Dwarf Error: Could not find abbrev number %u."),
1848 abbrev_number);
1849 bfd_set_error (bfd_error_bad_value);
1850 free (nested_funcs);
1851 return FALSE;
1852 }
1853
1854 var = NULL;
1855 if (abbrev->tag == DW_TAG_subprogram
1856 || abbrev->tag == DW_TAG_entry_point
1857 || abbrev->tag == DW_TAG_inlined_subroutine)
1858 {
1859 bfd_size_type amt = sizeof (struct funcinfo);
1860 func = bfd_zalloc (abfd, amt);
1861 func->tag = abbrev->tag;
1862 func->prev_func = unit->function_table;
1863 unit->function_table = func;
1864 BFD_ASSERT (!unit->cached);
1865
1866 if (func->tag == DW_TAG_inlined_subroutine)
1867 for (i = nesting_level - 1; i >= 1; i--)
1868 if (nested_funcs[i])
1869 {
1870 func->caller_func = nested_funcs[i];
1871 break;
1872 }
1873 nested_funcs[nesting_level] = func;
1874 }
1875 else
1876 {
1877 func = NULL;
1878 if (abbrev->tag == DW_TAG_variable)
1879 {
1880 bfd_size_type amt = sizeof (struct varinfo);
1881 var = bfd_zalloc (abfd, amt);
1882 var->tag = abbrev->tag;
1883 var->stack = 1;
1884 var->prev_var = unit->variable_table;
1885 unit->variable_table = var;
1886 BFD_ASSERT (!unit->cached);
1887 }
1888
1889 /* No inline function in scope at this nesting level. */
1890 nested_funcs[nesting_level] = 0;
1891 }
1892
1893 for (i = 0; i < abbrev->num_attrs; ++i)
1894 {
1895 info_ptr = read_attribute (&attr, &abbrev->attrs[i], unit, info_ptr);
1896
1897 if (func)
1898 {
1899 switch (attr.name)
1900 {
1901 case DW_AT_call_file:
1902 func->caller_file = concat_filename (unit->line_table, attr.u.val);
1903 break;
1904
1905 case DW_AT_call_line:
1906 func->caller_line = attr.u.val;
1907 break;
1908
1909 case DW_AT_abstract_origin:
1910 func->name = find_abstract_instance_name (unit, attr.u.val);
1911 break;
1912
1913 case DW_AT_name:
1914 /* Prefer DW_AT_MIPS_linkage_name over DW_AT_name. */
1915 if (func->name == NULL)
1916 func->name = attr.u.str;
1917 break;
1918
1919 case DW_AT_MIPS_linkage_name:
1920 func->name = attr.u.str;
1921 break;
1922
1923 case DW_AT_low_pc:
1924 low_pc = attr.u.val;
1925 break;
1926
1927 case DW_AT_high_pc:
1928 high_pc = attr.u.val;
1929 break;
1930
1931 case DW_AT_ranges:
1932 read_rangelist (unit, &func->arange, attr.u.val);
1933 break;
1934
1935 case DW_AT_decl_file:
1936 func->file = concat_filename (unit->line_table,
1937 attr.u.val);
1938 break;
1939
1940 case DW_AT_decl_line:
1941 func->line = attr.u.val;
1942 break;
1943
1944 default:
1945 break;
1946 }
1947 }
1948 else if (var)
1949 {
1950 switch (attr.name)
1951 {
1952 case DW_AT_name:
1953 var->name = attr.u.str;
1954 break;
1955
1956 case DW_AT_decl_file:
1957 var->file = concat_filename (unit->line_table,
1958 attr.u.val);
1959 break;
1960
1961 case DW_AT_decl_line:
1962 var->line = attr.u.val;
1963 break;
1964
1965 case DW_AT_external:
1966 if (attr.u.val != 0)
1967 var->stack = 0;
1968 break;
1969
1970 case DW_AT_location:
1971 switch (attr.form)
1972 {
1973 case DW_FORM_block:
1974 case DW_FORM_block1:
1975 case DW_FORM_block2:
1976 case DW_FORM_block4:
1977 if (*attr.u.blk->data == DW_OP_addr)
1978 {
1979 var->stack = 0;
1980
1981 /* Verify that DW_OP_addr is the only opcode in the
1982 location, in which case the block size will be 1
1983 plus the address size. */
1984 /* ??? For TLS variables, gcc can emit
1985 DW_OP_addr <addr> DW_OP_GNU_push_tls_address
1986 which we don't handle here yet. */
1987 if (attr.u.blk->size == unit->addr_size + 1U)
1988 var->addr = bfd_get (unit->addr_size * 8,
1989 unit->abfd,
1990 attr.u.blk->data + 1);
1991 }
1992 break;
1993
1994 default:
1995 break;
1996 }
1997 break;
1998
1999 default:
2000 break;
2001 }
2002 }
2003 }
2004
2005 if (func && high_pc != 0)
2006 {
2007 arange_add (unit->abfd, &func->arange, low_pc, high_pc);
2008 }
2009
2010 if (abbrev->has_children)
2011 {
2012 nesting_level++;
2013
2014 if (nesting_level >= nested_funcs_size)
2015 {
2016 struct funcinfo **tmp;
2017
2018 nested_funcs_size *= 2;
2019 tmp = bfd_realloc (nested_funcs,
2020 (nested_funcs_size
2021 * sizeof (struct funcinfo *)));
2022 if (tmp == NULL)
2023 {
2024 free (nested_funcs);
2025 return FALSE;
2026 }
2027 nested_funcs = tmp;
2028 }
2029 nested_funcs[nesting_level] = 0;
2030 }
2031 }
2032
2033 free (nested_funcs);
2034 return TRUE;
2035 }
2036
2037 /* Parse a DWARF2 compilation unit starting at INFO_PTR. This
2038 includes the compilation unit header that proceeds the DIE's, but
2039 does not include the length field that precedes each compilation
2040 unit header. END_PTR points one past the end of this comp unit.
2041 OFFSET_SIZE is the size of DWARF2 offsets (either 4 or 8 bytes).
2042
2043 This routine does not read the whole compilation unit; only enough
2044 to get to the line number information for the compilation unit. */
2045
2046 static struct comp_unit *
2047 parse_comp_unit (struct dwarf2_debug *stash,
2048 bfd_vma unit_length,
2049 bfd_byte *info_ptr_unit,
2050 unsigned int offset_size)
2051 {
2052 struct comp_unit* unit;
2053 unsigned int version;
2054 bfd_uint64_t abbrev_offset = 0;
2055 unsigned int addr_size;
2056 struct abbrev_info** abbrevs;
2057 unsigned int abbrev_number, bytes_read, i;
2058 struct abbrev_info *abbrev;
2059 struct attribute attr;
2060 bfd_byte *info_ptr = stash->info_ptr;
2061 bfd_byte *end_ptr = info_ptr + unit_length;
2062 bfd_size_type amt;
2063 bfd_vma low_pc = 0;
2064 bfd_vma high_pc = 0;
2065 bfd *abfd = stash->bfd;
2066
2067 version = read_2_bytes (abfd, info_ptr);
2068 info_ptr += 2;
2069 BFD_ASSERT (offset_size == 4 || offset_size == 8);
2070 if (offset_size == 4)
2071 abbrev_offset = read_4_bytes (abfd, info_ptr);
2072 else
2073 abbrev_offset = read_8_bytes (abfd, info_ptr);
2074 info_ptr += offset_size;
2075 addr_size = read_1_byte (abfd, info_ptr);
2076 info_ptr += 1;
2077
2078 if (version != 2)
2079 {
2080 (*_bfd_error_handler) (_("Dwarf Error: found dwarf version '%u', this reader only handles version 2 information."), version);
2081 bfd_set_error (bfd_error_bad_value);
2082 return 0;
2083 }
2084
2085 if (addr_size > sizeof (bfd_vma))
2086 {
2087 (*_bfd_error_handler) (_("Dwarf Error: found address size '%u', this reader can not handle sizes greater than '%u'."),
2088 addr_size,
2089 (unsigned int) sizeof (bfd_vma));
2090 bfd_set_error (bfd_error_bad_value);
2091 return 0;
2092 }
2093
2094 if (addr_size != 2 && addr_size != 4 && addr_size != 8)
2095 {
2096 (*_bfd_error_handler) ("Dwarf Error: found address size '%u', this reader can only handle address sizes '2', '4' and '8'.", addr_size);
2097 bfd_set_error (bfd_error_bad_value);
2098 return 0;
2099 }
2100
2101 /* Read the abbrevs for this compilation unit into a table. */
2102 abbrevs = read_abbrevs (abfd, abbrev_offset, stash);
2103 if (! abbrevs)
2104 return 0;
2105
2106 abbrev_number = read_unsigned_leb128 (abfd, info_ptr, &bytes_read);
2107 info_ptr += bytes_read;
2108 if (! abbrev_number)
2109 {
2110 (*_bfd_error_handler) (_("Dwarf Error: Bad abbrev number: %u."),
2111 abbrev_number);
2112 bfd_set_error (bfd_error_bad_value);
2113 return 0;
2114 }
2115
2116 abbrev = lookup_abbrev (abbrev_number, abbrevs);
2117 if (! abbrev)
2118 {
2119 (*_bfd_error_handler) (_("Dwarf Error: Could not find abbrev number %u."),
2120 abbrev_number);
2121 bfd_set_error (bfd_error_bad_value);
2122 return 0;
2123 }
2124
2125 amt = sizeof (struct comp_unit);
2126 unit = bfd_zalloc (abfd, amt);
2127 unit->abfd = abfd;
2128 unit->addr_size = addr_size;
2129 unit->offset_size = offset_size;
2130 unit->abbrevs = abbrevs;
2131 unit->end_ptr = end_ptr;
2132 unit->stash = stash;
2133 unit->info_ptr_unit = info_ptr_unit;
2134
2135 for (i = 0; i < abbrev->num_attrs; ++i)
2136 {
2137 info_ptr = read_attribute (&attr, &abbrev->attrs[i], unit, info_ptr);
2138
2139 /* Store the data if it is of an attribute we want to keep in a
2140 partial symbol table. */
2141 switch (attr.name)
2142 {
2143 case DW_AT_stmt_list:
2144 unit->stmtlist = 1;
2145 unit->line_offset = attr.u.val;
2146 break;
2147
2148 case DW_AT_name:
2149 unit->name = attr.u.str;
2150 break;
2151
2152 case DW_AT_low_pc:
2153 low_pc = attr.u.val;
2154 /* If the compilation unit DIE has a DW_AT_low_pc attribute,
2155 this is the base address to use when reading location
2156 lists or range lists. */
2157 unit->base_address = low_pc;
2158 break;
2159
2160 case DW_AT_high_pc:
2161 high_pc = attr.u.val;
2162 break;
2163
2164 case DW_AT_ranges:
2165 read_rangelist (unit, &unit->arange, attr.u.val);
2166 break;
2167
2168 case DW_AT_comp_dir:
2169 {
2170 char *comp_dir = attr.u.str;
2171 if (comp_dir)
2172 {
2173 /* Irix 6.2 native cc prepends <machine>.: to the compilation
2174 directory, get rid of it. */
2175 char *cp = strchr (comp_dir, ':');
2176
2177 if (cp && cp != comp_dir && cp[-1] == '.' && cp[1] == '/')
2178 comp_dir = cp + 1;
2179 }
2180 unit->comp_dir = comp_dir;
2181 break;
2182 }
2183
2184 default:
2185 break;
2186 }
2187 }
2188 if (high_pc != 0)
2189 {
2190 arange_add (unit->abfd, &unit->arange, low_pc, high_pc);
2191 }
2192
2193 unit->first_child_die_ptr = info_ptr;
2194 return unit;
2195 }
2196
2197 /* Return TRUE if UNIT may contain the address given by ADDR. When
2198 there are functions written entirely with inline asm statements, the
2199 range info in the compilation unit header may not be correct. We
2200 need to consult the line info table to see if a compilation unit
2201 really contains the given address. */
2202
2203 static bfd_boolean
2204 comp_unit_contains_address (struct comp_unit *unit, bfd_vma addr)
2205 {
2206 struct arange *arange;
2207
2208 if (unit->error)
2209 return FALSE;
2210
2211 arange = &unit->arange;
2212 do
2213 {
2214 if (addr >= arange->low && addr < arange->high)
2215 return TRUE;
2216 arange = arange->next;
2217 }
2218 while (arange);
2219
2220 return FALSE;
2221 }
2222
2223 /* If UNIT contains ADDR, set the output parameters to the values for
2224 the line containing ADDR. The output parameters, FILENAME_PTR,
2225 FUNCTIONNAME_PTR, and LINENUMBER_PTR, are pointers to the objects
2226 to be filled in.
2227
2228 Return TRUE if UNIT contains ADDR, and no errors were encountered;
2229 FALSE otherwise. */
2230
2231 static bfd_boolean
2232 comp_unit_find_nearest_line (struct comp_unit *unit,
2233 bfd_vma addr,
2234 const char **filename_ptr,
2235 const char **functionname_ptr,
2236 unsigned int *linenumber_ptr,
2237 struct dwarf2_debug *stash)
2238 {
2239 bfd_boolean line_p;
2240 bfd_boolean func_p;
2241 struct funcinfo *function;
2242
2243 if (unit->error)
2244 return FALSE;
2245
2246 if (! unit->line_table)
2247 {
2248 if (! unit->stmtlist)
2249 {
2250 unit->error = 1;
2251 return FALSE;
2252 }
2253
2254 unit->line_table = decode_line_info (unit, stash);
2255
2256 if (! unit->line_table)
2257 {
2258 unit->error = 1;
2259 return FALSE;
2260 }
2261
2262 if (unit->first_child_die_ptr < unit->end_ptr
2263 && ! scan_unit_for_symbols (unit))
2264 {
2265 unit->error = 1;
2266 return FALSE;
2267 }
2268 }
2269
2270 function = NULL;
2271 func_p = lookup_address_in_function_table (unit, addr,
2272 &function, functionname_ptr);
2273 if (func_p && (function->tag == DW_TAG_inlined_subroutine))
2274 stash->inliner_chain = function;
2275 line_p = lookup_address_in_line_info_table (unit->line_table, addr,
2276 function, filename_ptr,
2277 linenumber_ptr);
2278 return line_p || func_p;
2279 }
2280
2281 /* Check to see if line info is already decoded in a comp_unit.
2282 If not, decode it. Returns TRUE if no errors were encountered;
2283 FALSE otherwise. */
2284
2285 static bfd_boolean
2286 comp_unit_maybe_decode_line_info (struct comp_unit *unit,
2287 struct dwarf2_debug *stash)
2288 {
2289 if (unit->error)
2290 return FALSE;
2291
2292 if (! unit->line_table)
2293 {
2294 if (! unit->stmtlist)
2295 {
2296 unit->error = 1;
2297 return FALSE;
2298 }
2299
2300 unit->line_table = decode_line_info (unit, stash);
2301
2302 if (! unit->line_table)
2303 {
2304 unit->error = 1;
2305 return FALSE;
2306 }
2307
2308 if (unit->first_child_die_ptr < unit->end_ptr
2309 && ! scan_unit_for_symbols (unit))
2310 {
2311 unit->error = 1;
2312 return FALSE;
2313 }
2314 }
2315
2316 return TRUE;
2317 }
2318
2319 /* If UNIT contains SYM at ADDR, set the output parameters to the
2320 values for the line containing SYM. The output parameters,
2321 FILENAME_PTR, and LINENUMBER_PTR, are pointers to the objects to be
2322 filled in.
2323
2324 Return TRUE if UNIT contains SYM, and no errors were encountered;
2325 FALSE otherwise. */
2326
2327 static bfd_boolean
2328 comp_unit_find_line (struct comp_unit *unit,
2329 asymbol *sym,
2330 bfd_vma addr,
2331 const char **filename_ptr,
2332 unsigned int *linenumber_ptr,
2333 struct dwarf2_debug *stash)
2334 {
2335 if (!comp_unit_maybe_decode_line_info (unit, stash))
2336 return FALSE;
2337
2338 if (sym->flags & BSF_FUNCTION)
2339 return lookup_symbol_in_function_table (unit, sym, addr,
2340 filename_ptr,
2341 linenumber_ptr);
2342
2343 return lookup_symbol_in_variable_table (unit, sym, addr,
2344 filename_ptr,
2345 linenumber_ptr);
2346 }
2347
2348 static struct funcinfo *
2349 reverse_funcinfo_list (struct funcinfo *head)
2350 {
2351 struct funcinfo *rhead;
2352 struct funcinfo *temp;
2353
2354 for (rhead = NULL; head; head = temp)
2355 {
2356 temp = head->prev_func;
2357 head->prev_func = rhead;
2358 rhead = head;
2359 }
2360 return rhead;
2361 }
2362
2363 static struct varinfo *
2364 reverse_varinfo_list (struct varinfo *head)
2365 {
2366 struct varinfo *rhead;
2367 struct varinfo *temp;
2368
2369 for (rhead = NULL; head; head = temp)
2370 {
2371 temp = head->prev_var;
2372 head->prev_var = rhead;
2373 rhead = head;
2374 }
2375 return rhead;
2376 }
2377
2378 /* Extract all interesting funcinfos and varinfos of a compilation
2379 unit into hash tables for faster lookup. Returns TRUE if no
2380 errors were enountered; FALSE otherwise. */
2381
2382 static bfd_boolean
2383 comp_unit_hash_info (struct dwarf2_debug *stash,
2384 struct comp_unit *unit,
2385 struct info_hash_table *funcinfo_hash_table,
2386 struct info_hash_table *varinfo_hash_table)
2387 {
2388 struct funcinfo* each_func;
2389 struct varinfo* each_var;
2390 bfd_boolean okay = TRUE;
2391
2392 BFD_ASSERT (stash->info_hash_status != STASH_INFO_HASH_DISABLED);
2393
2394 if (!comp_unit_maybe_decode_line_info (unit, stash))
2395 return FALSE;
2396
2397 BFD_ASSERT (!unit->cached);
2398
2399 /* To preserve the original search order, we went to visit the function
2400 infos in the reversed order of the list. However, making the list
2401 bi-directional use quite a bit of extra memory. So we reverse
2402 the list first, traverse the list in the now reversed order and
2403 finally reverse the list again to get back the original order. */
2404 unit->function_table = reverse_funcinfo_list (unit->function_table);
2405 for (each_func = unit->function_table;
2406 each_func && okay;
2407 each_func = each_func->prev_func)
2408 {
2409 /* Skip nameless functions. */
2410 if (each_func->name)
2411 /* There is no need to copy name string into hash table as
2412 name string is either in the dwarf string buffer or
2413 info in the stash. */
2414 okay = insert_info_hash_table (funcinfo_hash_table, each_func->name,
2415 (void*) each_func, FALSE);
2416 }
2417 unit->function_table = reverse_funcinfo_list (unit->function_table);
2418 if (!okay)
2419 return FALSE;
2420
2421 /* We do the same for variable infos. */
2422 unit->variable_table = reverse_varinfo_list (unit->variable_table);
2423 for (each_var = unit->variable_table;
2424 each_var && okay;
2425 each_var = each_var->prev_var)
2426 {
2427 /* Skip stack vars and vars with no files or names. */
2428 if (each_var->stack == 0
2429 && each_var->file != NULL
2430 && each_var->name != NULL)
2431 /* There is no need to copy name string into hash table as
2432 name string is either in the dwarf string buffer or
2433 info in the stash. */
2434 okay = insert_info_hash_table (varinfo_hash_table, each_var->name,
2435 (void*) each_var, FALSE);
2436 }
2437
2438 unit->variable_table = reverse_varinfo_list (unit->variable_table);
2439 unit->cached = TRUE;
2440 return okay;
2441 }
2442
2443 /* Locate a section in a BFD containing debugging info. The search starts
2444 from the section after AFTER_SEC, or from the first section in the BFD if
2445 AFTER_SEC is NULL. The search works by examining the names of the
2446 sections. There are two permissiable names. The first is .debug_info.
2447 This is the standard DWARF2 name. The second is a prefix .gnu.linkonce.wi.
2448 This is a variation on the .debug_info section which has a checksum
2449 describing the contents appended onto the name. This allows the linker to
2450 identify and discard duplicate debugging sections for different
2451 compilation units. */
2452 #define DWARF2_DEBUG_INFO ".debug_info"
2453 #define GNU_LINKONCE_INFO ".gnu.linkonce.wi."
2454
2455 static asection *
2456 find_debug_info (bfd *abfd, asection *after_sec)
2457 {
2458 asection * msec;
2459
2460 msec = after_sec != NULL ? after_sec->next : abfd->sections;
2461
2462 while (msec)
2463 {
2464 if (strcmp (msec->name, DWARF2_DEBUG_INFO) == 0)
2465 return msec;
2466
2467 if (CONST_STRNEQ (msec->name, GNU_LINKONCE_INFO))
2468 return msec;
2469
2470 msec = msec->next;
2471 }
2472
2473 return NULL;
2474 }
2475
2476 /* Unset vmas for loadable sections in STASH. */
2477
2478 static void
2479 unset_sections (struct dwarf2_debug *stash)
2480 {
2481 unsigned int i;
2482 struct loadable_section *p;
2483
2484 i = stash->loadable_section_count;
2485 p = stash->loadable_sections;
2486 for (; i > 0; i--, p++)
2487 p->section->vma = 0;
2488 }
2489
2490 /* Set unique vmas for loadable sections in ABFD and save vmas in
2491 STASH for unset_sections. */
2492
2493 static bfd_boolean
2494 place_sections (bfd *abfd, struct dwarf2_debug *stash)
2495 {
2496 struct loadable_section *p;
2497 unsigned int i;
2498
2499 if (stash->loadable_section_count != 0)
2500 {
2501 i = stash->loadable_section_count;
2502 p = stash->loadable_sections;
2503 for (; i > 0; i--, p++)
2504 p->section->vma = p->adj_vma;
2505 }
2506 else
2507 {
2508 asection *sect;
2509 bfd_vma last_vma = 0;
2510 bfd_size_type amt;
2511 struct loadable_section *p;
2512
2513 i = 0;
2514 for (sect = abfd->sections; sect != NULL; sect = sect->next)
2515 {
2516 bfd_size_type sz;
2517
2518 if (sect->vma != 0 || (sect->flags & SEC_LOAD) == 0)
2519 continue;
2520
2521 sz = sect->rawsize ? sect->rawsize : sect->size;
2522 if (sz == 0)
2523 continue;
2524
2525 i++;
2526 }
2527
2528 amt = i * sizeof (struct loadable_section);
2529 p = (struct loadable_section *) bfd_zalloc (abfd, amt);
2530 if (! p)
2531 return FALSE;
2532
2533 stash->loadable_sections = p;
2534 stash->loadable_section_count = i;
2535
2536 for (sect = abfd->sections; sect != NULL; sect = sect->next)
2537 {
2538 bfd_size_type sz;
2539
2540 if (sect->vma != 0 || (sect->flags & SEC_LOAD) == 0)
2541 continue;
2542
2543 sz = sect->rawsize ? sect->rawsize : sect->size;
2544 if (sz == 0)
2545 continue;
2546
2547 p->section = sect;
2548 if (last_vma != 0)
2549 {
2550 /* Align the new address to the current section
2551 alignment. */
2552 last_vma = ((last_vma
2553 + ~((bfd_vma) -1 << sect->alignment_power))
2554 & ((bfd_vma) -1 << sect->alignment_power));
2555 sect->vma = last_vma;
2556 }
2557 p->adj_vma = sect->vma;
2558 last_vma += sect->vma + sz;
2559
2560 p++;
2561 }
2562 }
2563
2564 return TRUE;
2565 }
2566
2567 /* Look up a funcinfo by name using the given info hash table. If found,
2568 also update the locations pointed to by filename_ptr and linenumber_ptr.
2569
2570 This function returns TRUE if a funcinfo that matches the given symbol
2571 and address is found with any error; otherwise it returns FALSE. */
2572
2573 static bfd_boolean
2574 info_hash_lookup_funcinfo (struct info_hash_table *hash_table,
2575 asymbol *sym,
2576 bfd_vma addr,
2577 const char **filename_ptr,
2578 unsigned int *linenumber_ptr)
2579 {
2580 struct funcinfo* each_func;
2581 struct funcinfo* best_fit = NULL;
2582 struct info_list_node *node;
2583 struct arange *arange;
2584 const char *name = bfd_asymbol_name (sym);
2585 asection *sec = bfd_get_section (sym);
2586
2587 for (node = lookup_info_hash_table (hash_table, name);
2588 node;
2589 node = node->next)
2590 {
2591 each_func = node->info;
2592 for (arange = &each_func->arange;
2593 arange;
2594 arange = arange->next)
2595 {
2596 if ((!each_func->sec || each_func->sec == sec)
2597 && addr >= arange->low
2598 && addr < arange->high
2599 && (!best_fit
2600 || ((arange->high - arange->low)
2601 < (best_fit->arange.high - best_fit->arange.low))))
2602 best_fit = each_func;
2603 }
2604 }
2605
2606 if (best_fit)
2607 {
2608 best_fit->sec = sec;
2609 *filename_ptr = best_fit->file;
2610 *linenumber_ptr = best_fit->line;
2611 return TRUE;
2612 }
2613
2614 return FALSE;
2615 }
2616
2617 /* Look up a varinfo by name using the given info hash table. If found,
2618 also update the locations pointed to by filename_ptr and linenumber_ptr.
2619
2620 This function returns TRUE if a varinfo that matches the given symbol
2621 and address is found with any error; otherwise it returns FALSE. */
2622
2623 static bfd_boolean
2624 info_hash_lookup_varinfo (struct info_hash_table *hash_table,
2625 asymbol *sym,
2626 bfd_vma addr,
2627 const char **filename_ptr,
2628 unsigned int *linenumber_ptr)
2629 {
2630 const char *name = bfd_asymbol_name (sym);
2631 asection *sec = bfd_get_section (sym);
2632 struct varinfo* each;
2633 struct info_list_node *node;
2634
2635 for (node = lookup_info_hash_table (hash_table, name);
2636 node;
2637 node = node->next)
2638 {
2639 each = node->info;
2640 if (each->addr == addr
2641 && (!each->sec || each->sec == sec))
2642 {
2643 each->sec = sec;
2644 *filename_ptr = each->file;
2645 *linenumber_ptr = each->line;
2646 return TRUE;
2647 }
2648 }
2649
2650 return FALSE;
2651 }
2652
2653 /* Update the funcinfo and varinfo info hash tables if they are
2654 not up to date. Returns TRUE if there is no error; otherwise
2655 returns FALSE and disable the info hash tables. */
2656
2657 static bfd_boolean
2658 stash_maybe_update_info_hash_tables (struct dwarf2_debug *stash)
2659 {
2660 struct comp_unit *each;
2661
2662 /* Exit if hash tables are up-to-date. */
2663 if (stash->all_comp_units == stash->hash_units_head)
2664 return TRUE;
2665
2666 if (stash->hash_units_head)
2667 each = stash->hash_units_head->prev_unit;
2668 else
2669 each = stash->last_comp_unit;
2670
2671 while (each)
2672 {
2673 if (!comp_unit_hash_info (stash, each, stash->funcinfo_hash_table,
2674 stash->varinfo_hash_table))
2675 {
2676 stash->info_hash_status = STASH_INFO_HASH_DISABLED;
2677 return FALSE;
2678 }
2679 each = each->prev_unit;
2680 }
2681
2682 stash->hash_units_head = stash->all_comp_units;
2683 return TRUE;
2684 }
2685
2686 /* Check consistency of info hash tables. This is for debugging only. */
2687
2688 static void ATTRIBUTE_UNUSED
2689 stash_verify_info_hash_table (struct dwarf2_debug *stash)
2690 {
2691 struct comp_unit *each_unit;
2692 struct funcinfo *each_func;
2693 struct varinfo *each_var;
2694 struct info_list_node *node;
2695 bfd_boolean found;
2696
2697 for (each_unit = stash->all_comp_units;
2698 each_unit;
2699 each_unit = each_unit->next_unit)
2700 {
2701 for (each_func = each_unit->function_table;
2702 each_func;
2703 each_func = each_func->prev_func)
2704 {
2705 if (!each_func->name)
2706 continue;
2707 node = lookup_info_hash_table (stash->funcinfo_hash_table,
2708 each_func->name);
2709 BFD_ASSERT (node);
2710 found = FALSE;
2711 while (node && !found)
2712 {
2713 found = node->info == each_func;
2714 node = node->next;
2715 }
2716 BFD_ASSERT (found);
2717 }
2718
2719 for (each_var = each_unit->variable_table;
2720 each_var;
2721 each_var = each_var->prev_var)
2722 {
2723 if (!each_var->name || !each_var->file || each_var->stack)
2724 continue;
2725 node = lookup_info_hash_table (stash->varinfo_hash_table,
2726 each_var->name);
2727 BFD_ASSERT (node);
2728 found = FALSE;
2729 while (node && !found)
2730 {
2731 found = node->info == each_var;
2732 node = node->next;
2733 }
2734 BFD_ASSERT (found);
2735 }
2736 }
2737 }
2738
2739 /* Check to see if we want to enable the info hash tables, which consume
2740 quite a bit of memory. Currently we only check the number times
2741 bfd_dwarf2_find_line is called. In the future, we may also want to
2742 take the number of symbols into account. */
2743
2744 static void
2745 stash_maybe_enable_info_hash_tables (bfd *abfd, struct dwarf2_debug *stash)
2746 {
2747 BFD_ASSERT (stash->info_hash_status == STASH_INFO_HASH_OFF);
2748
2749 if (stash->info_hash_count++ < STASH_INFO_HASH_TRIGGER)
2750 return;
2751
2752 /* FIXME: Maybe we should check the reduce_memory_overheads
2753 and optimize fields in the bfd_link_info structure ? */
2754
2755 /* Create hash tables. */
2756 stash->funcinfo_hash_table = create_info_hash_table (abfd);
2757 stash->varinfo_hash_table = create_info_hash_table (abfd);
2758 if (!stash->funcinfo_hash_table || !stash->varinfo_hash_table)
2759 {
2760 /* Turn off info hashes if any allocation above fails. */
2761 stash->info_hash_status = STASH_INFO_HASH_DISABLED;
2762 return;
2763 }
2764 /* We need a forced update so that the info hash tables will
2765 be created even though there is no compilation unit. That
2766 happens if STASH_INFO_HASH_TRIGGER is 0. */
2767 stash_maybe_update_info_hash_tables (stash);
2768 stash->info_hash_status = STASH_INFO_HASH_ON;
2769 }
2770
2771 /* Find the file and line associated with a symbol and address using the
2772 info hash tables of a stash. If there is a match, the function returns
2773 TRUE and update the locations pointed to by filename_ptr and linenumber_ptr;
2774 otherwise it returns FALSE. */
2775
2776 static bfd_boolean
2777 stash_find_line_fast (struct dwarf2_debug *stash,
2778 asymbol *sym,
2779 bfd_vma addr,
2780 const char **filename_ptr,
2781 unsigned int *linenumber_ptr)
2782 {
2783 BFD_ASSERT (stash->info_hash_status == STASH_INFO_HASH_ON);
2784
2785 if (sym->flags & BSF_FUNCTION)
2786 return info_hash_lookup_funcinfo (stash->funcinfo_hash_table, sym, addr,
2787 filename_ptr, linenumber_ptr);
2788 return info_hash_lookup_varinfo (stash->varinfo_hash_table, sym, addr,
2789 filename_ptr, linenumber_ptr);
2790 }
2791
2792 /* Find the source code location of SYMBOL. If SYMBOL is NULL
2793 then find the nearest source code location corresponding to
2794 the address SECTION + OFFSET.
2795 Returns TRUE if the line is found without error and fills in
2796 FILENAME_PTR and LINENUMBER_PTR. In the case where SYMBOL was
2797 NULL the FUNCTIONNAME_PTR is also filled in.
2798 SYMBOLS contains the symbol table for ABFD.
2799 ADDR_SIZE is the number of bytes in the initial .debug_info length
2800 field and in the abbreviation offset, or zero to indicate that the
2801 default value should be used. */
2802
2803 static bfd_boolean
2804 find_line (bfd *abfd,
2805 asection *section,
2806 bfd_vma offset,
2807 asymbol *symbol,
2808 asymbol **symbols,
2809 const char **filename_ptr,
2810 const char **functionname_ptr,
2811 unsigned int *linenumber_ptr,
2812 unsigned int addr_size,
2813 void **pinfo)
2814 {
2815 /* Read each compilation unit from the section .debug_info, and check
2816 to see if it contains the address we are searching for. If yes,
2817 lookup the address, and return the line number info. If no, go
2818 on to the next compilation unit.
2819
2820 We keep a list of all the previously read compilation units, and
2821 a pointer to the next un-read compilation unit. Check the
2822 previously read units before reading more. */
2823 struct dwarf2_debug *stash;
2824 /* What address are we looking for? */
2825 bfd_vma addr;
2826 struct comp_unit* each;
2827 bfd_vma found = FALSE;
2828 bfd_boolean do_line;
2829
2830 stash = *pinfo;
2831
2832 if (! stash)
2833 {
2834 bfd_size_type amt = sizeof (struct dwarf2_debug);
2835
2836 stash = bfd_zalloc (abfd, amt);
2837 if (! stash)
2838 return FALSE;
2839 }
2840
2841 /* In a relocatable file, 2 functions may have the same address.
2842 We change the section vma so that they won't overlap. */
2843 if ((abfd->flags & (EXEC_P | DYNAMIC)) == 0)
2844 {
2845 if (! place_sections (abfd, stash))
2846 return FALSE;
2847 }
2848
2849 do_line = (section == NULL
2850 && offset == 0
2851 && functionname_ptr == NULL
2852 && symbol != NULL);
2853 if (do_line)
2854 {
2855 addr = symbol->value;
2856 section = bfd_get_section (symbol);
2857 }
2858 else if (section != NULL
2859 && functionname_ptr != NULL
2860 && symbol == NULL)
2861 addr = offset;
2862 else
2863 abort ();
2864
2865 if (section->output_section)
2866 addr += section->output_section->vma + section->output_offset;
2867 else
2868 addr += section->vma;
2869 *filename_ptr = NULL;
2870 if (! do_line)
2871 *functionname_ptr = NULL;
2872 *linenumber_ptr = 0;
2873
2874 if (! *pinfo)
2875 {
2876 bfd *debug_bfd;
2877 bfd_size_type total_size;
2878 asection *msec;
2879
2880 *pinfo = stash;
2881
2882 msec = find_debug_info (abfd, NULL);
2883 if (msec == NULL)
2884 {
2885 char * debug_filename = bfd_follow_gnu_debuglink (abfd, DEBUGDIR);
2886
2887 if (debug_filename == NULL)
2888 /* No dwarf2 info, and no gnu_debuglink to follow.
2889 Note that at this point the stash has been allocated, but
2890 contains zeros. This lets future calls to this function
2891 fail more quickly. */
2892 goto done;
2893
2894 if ((debug_bfd = bfd_openr (debug_filename, NULL)) == NULL
2895 || ! bfd_check_format (debug_bfd, bfd_object)
2896 || (msec = find_debug_info (debug_bfd, NULL)) == NULL)
2897 {
2898 if (debug_bfd)
2899 bfd_close (debug_bfd);
2900 /* FIXME: Should we report our failure to follow the debuglink ? */
2901 free (debug_filename);
2902 goto done;
2903 }
2904 }
2905 else
2906 debug_bfd = abfd;
2907
2908 /* There can be more than one DWARF2 info section in a BFD these days.
2909 Read them all in and produce one large stash. We do this in two
2910 passes - in the first pass we just accumulate the section sizes.
2911 In the second pass we read in the section's contents. The allows
2912 us to avoid reallocing the data as we add sections to the stash. */
2913 for (total_size = 0; msec; msec = find_debug_info (debug_bfd, msec))
2914 total_size += msec->size;
2915
2916 stash->info_ptr = bfd_alloc (debug_bfd, total_size);
2917 if (stash->info_ptr == NULL)
2918 goto done;
2919
2920 stash->info_ptr_end = stash->info_ptr;
2921
2922 for (msec = find_debug_info (debug_bfd, NULL);
2923 msec;
2924 msec = find_debug_info (debug_bfd, msec))
2925 {
2926 bfd_size_type size;
2927 bfd_size_type start;
2928
2929 size = msec->size;
2930 if (size == 0)
2931 continue;
2932
2933 start = stash->info_ptr_end - stash->info_ptr;
2934
2935 if ((bfd_simple_get_relocated_section_contents
2936 (debug_bfd, msec, stash->info_ptr + start, symbols)) == NULL)
2937 continue;
2938
2939 stash->info_ptr_end = stash->info_ptr + start + size;
2940 }
2941
2942 BFD_ASSERT (stash->info_ptr_end == stash->info_ptr + total_size);
2943
2944 stash->sec = find_debug_info (debug_bfd, NULL);
2945 stash->sec_info_ptr = stash->info_ptr;
2946 stash->syms = symbols;
2947 stash->bfd = debug_bfd;
2948 }
2949
2950 /* A null info_ptr indicates that there is no dwarf2 info
2951 (or that an error occured while setting up the stash). */
2952 if (! stash->info_ptr)
2953 goto done;
2954
2955 stash->inliner_chain = NULL;
2956
2957 /* Check the previously read comp. units first. */
2958 if (do_line)
2959 {
2960 /* The info hash tables use quite a bit of memory. We may not want to
2961 always use them. We use some heuristics to decide if and when to
2962 turn it on. */
2963 if (stash->info_hash_status == STASH_INFO_HASH_OFF)
2964 stash_maybe_enable_info_hash_tables (abfd, stash);
2965
2966 /* Keep info hash table up to date if they are available. Note that we
2967 may disable the hash tables if there is any error duing update. */
2968 if (stash->info_hash_status == STASH_INFO_HASH_ON)
2969 stash_maybe_update_info_hash_tables (stash);
2970
2971 if (stash->info_hash_status == STASH_INFO_HASH_ON)
2972 {
2973 found = stash_find_line_fast (stash, symbol, addr, filename_ptr,
2974 linenumber_ptr);
2975 if (found)
2976 goto done;
2977 }
2978 else
2979 {
2980 /* Check the previously read comp. units first. */
2981 for (each = stash->all_comp_units; each; each = each->next_unit)
2982 if ((symbol->flags & BSF_FUNCTION) == 0
2983 || comp_unit_contains_address (each, addr))
2984 {
2985 found = comp_unit_find_line (each, symbol, addr, filename_ptr,
2986 linenumber_ptr, stash);
2987 if (found)
2988 goto done;
2989 }
2990 }
2991 }
2992 else
2993 {
2994 for (each = stash->all_comp_units; each; each = each->next_unit)
2995 {
2996 found = (comp_unit_contains_address (each, addr)
2997 && comp_unit_find_nearest_line (each, addr,
2998 filename_ptr,
2999 functionname_ptr,
3000 linenumber_ptr,
3001 stash));
3002 if (found)
3003 goto done;
3004 }
3005 }
3006
3007 /* The DWARF2 spec says that the initial length field, and the
3008 offset of the abbreviation table, should both be 4-byte values.
3009 However, some compilers do things differently. */
3010 if (addr_size == 0)
3011 addr_size = 4;
3012 BFD_ASSERT (addr_size == 4 || addr_size == 8);
3013
3014 /* Read each remaining comp. units checking each as they are read. */
3015 while (stash->info_ptr < stash->info_ptr_end)
3016 {
3017 bfd_vma length;
3018 unsigned int offset_size = addr_size;
3019 bfd_byte *info_ptr_unit = stash->info_ptr;
3020
3021 length = read_4_bytes (stash->bfd, stash->info_ptr);
3022 /* A 0xffffff length is the DWARF3 way of indicating
3023 we use 64-bit offsets, instead of 32-bit offsets. */
3024 if (length == 0xffffffff)
3025 {
3026 offset_size = 8;
3027 length = read_8_bytes (stash->bfd, stash->info_ptr + 4);
3028 stash->info_ptr += 12;
3029 }
3030 /* A zero length is the IRIX way of indicating 64-bit offsets,
3031 mostly because the 64-bit length will generally fit in 32
3032 bits, and the endianness helps. */
3033 else if (length == 0)
3034 {
3035 offset_size = 8;
3036 length = read_4_bytes (stash->bfd, stash->info_ptr + 4);
3037 stash->info_ptr += 8;
3038 }
3039 /* In the absence of the hints above, we assume 32-bit DWARF2
3040 offsets even for targets with 64-bit addresses, because:
3041 a) most of the time these targets will not have generated
3042 more than 2Gb of debug info and so will not need 64-bit
3043 offsets,
3044 and
3045 b) if they do use 64-bit offsets but they are not using
3046 the size hints that are tested for above then they are
3047 not conforming to the DWARF3 standard anyway. */
3048 else if (addr_size == 8)
3049 {
3050 offset_size = 4;
3051 stash->info_ptr += 4;
3052 }
3053 else
3054 stash->info_ptr += 4;
3055
3056 if (length > 0)
3057 {
3058 each = parse_comp_unit (stash, length, info_ptr_unit,
3059 offset_size);
3060 stash->info_ptr += length;
3061
3062 if ((bfd_vma) (stash->info_ptr - stash->sec_info_ptr)
3063 == stash->sec->size)
3064 {
3065 stash->sec = find_debug_info (stash->bfd, stash->sec);
3066 stash->sec_info_ptr = stash->info_ptr;
3067 }
3068
3069 if (each)
3070 {
3071 if (stash->all_comp_units)
3072 stash->all_comp_units->prev_unit = each;
3073 else
3074 stash->last_comp_unit = each;
3075
3076 each->next_unit = stash->all_comp_units;
3077 stash->all_comp_units = each;
3078
3079 /* DW_AT_low_pc and DW_AT_high_pc are optional for
3080 compilation units. If we don't have them (i.e.,
3081 unit->high == 0), we need to consult the line info
3082 table to see if a compilation unit contains the given
3083 address. */
3084 if (do_line)
3085 found = (((symbol->flags & BSF_FUNCTION) == 0
3086 || each->arange.high == 0
3087 || comp_unit_contains_address (each, addr))
3088 && comp_unit_find_line (each, symbol, addr,
3089 filename_ptr,
3090 linenumber_ptr,
3091 stash));
3092 else
3093 found = ((each->arange.high == 0
3094 || comp_unit_contains_address (each, addr))
3095 && comp_unit_find_nearest_line (each, addr,
3096 filename_ptr,
3097 functionname_ptr,
3098 linenumber_ptr,
3099 stash));
3100 if (found)
3101 goto done;
3102 }
3103 }
3104 }
3105
3106 done:
3107 if ((abfd->flags & (EXEC_P | DYNAMIC)) == 0)
3108 unset_sections (stash);
3109
3110 return found;
3111 }
3112
3113 /* The DWARF2 version of find_nearest_line.
3114 Return TRUE if the line is found without error. */
3115
3116 bfd_boolean
3117 _bfd_dwarf2_find_nearest_line (bfd *abfd,
3118 asection *section,
3119 asymbol **symbols,
3120 bfd_vma offset,
3121 const char **filename_ptr,
3122 const char **functionname_ptr,
3123 unsigned int *linenumber_ptr,
3124 unsigned int addr_size,
3125 void **pinfo)
3126 {
3127 return find_line (abfd, section, offset, NULL, symbols, filename_ptr,
3128 functionname_ptr, linenumber_ptr, addr_size,
3129 pinfo);
3130 }
3131
3132 /* The DWARF2 version of find_line.
3133 Return TRUE if the line is found without error. */
3134
3135 bfd_boolean
3136 _bfd_dwarf2_find_line (bfd *abfd,
3137 asymbol **symbols,
3138 asymbol *symbol,
3139 const char **filename_ptr,
3140 unsigned int *linenumber_ptr,
3141 unsigned int addr_size,
3142 void **pinfo)
3143 {
3144 return find_line (abfd, NULL, 0, symbol, symbols, filename_ptr,
3145 NULL, linenumber_ptr, addr_size,
3146 pinfo);
3147 }
3148
3149 bfd_boolean
3150 _bfd_dwarf2_find_inliner_info (bfd *abfd ATTRIBUTE_UNUSED,
3151 const char **filename_ptr,
3152 const char **functionname_ptr,
3153 unsigned int *linenumber_ptr,
3154 void **pinfo)
3155 {
3156 struct dwarf2_debug *stash;
3157
3158 stash = *pinfo;
3159 if (stash)
3160 {
3161 struct funcinfo *func = stash->inliner_chain;
3162
3163 if (func && func->caller_func)
3164 {
3165 *filename_ptr = func->caller_file;
3166 *functionname_ptr = func->caller_func->name;
3167 *linenumber_ptr = func->caller_line;
3168 stash->inliner_chain = func->caller_func;
3169 return TRUE;
3170 }
3171 }
3172
3173 return FALSE;
3174 }
3175
3176 void
3177 _bfd_dwarf2_cleanup_debug_info (bfd *abfd)
3178 {
3179 struct comp_unit *each;
3180 struct dwarf2_debug *stash;
3181
3182 if (abfd == NULL || elf_tdata (abfd) == NULL)
3183 return;
3184
3185 stash = elf_tdata (abfd)->dwarf2_find_line_info;
3186
3187 if (stash == NULL)
3188 return;
3189
3190 for (each = stash->all_comp_units; each; each = each->next_unit)
3191 {
3192 struct abbrev_info **abbrevs = each->abbrevs;
3193 size_t i;
3194
3195 for (i = 0; i < ABBREV_HASH_SIZE; i++)
3196 {
3197 struct abbrev_info *abbrev = abbrevs[i];
3198
3199 while (abbrev)
3200 {
3201 free (abbrev->attrs);
3202 abbrev = abbrev->next;
3203 }
3204 }
3205
3206 if (each->line_table)
3207 {
3208 free (each->line_table->dirs);
3209 free (each->line_table->files);
3210 }
3211 }
3212
3213 free (stash->dwarf_abbrev_buffer);
3214 free (stash->dwarf_line_buffer);
3215 free (stash->dwarf_ranges_buffer);
3216 }