Fix regression from change
[binutils.git] / ld / ldcref.c
blob2f6a46caead990ba5849c9db71f9f08f7222b330
1 /* ldcref.c -- output a cross reference table
2 Copyright 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
3 2007, 2008 Free Software Foundation, Inc.
4 Written by Ian Lance Taylor <ian@cygnus.com>
6 This file is part of the GNU Binutils.
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3 of the License, or
11 (at your option) any later version.
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
21 MA 02110-1301, USA. */
24 /* This file holds routines that manage the cross reference table.
25 The table is used to generate cross reference reports. It is also
26 used to implement the NOCROSSREFS command in the linker script. */
28 #include "sysdep.h"
29 #include "bfd.h"
30 #include "bfdlink.h"
31 #include "libiberty.h"
32 #include "demangle.h"
33 #include "objalloc.h"
35 #include "ld.h"
36 #include "ldmain.h"
37 #include "ldmisc.h"
38 #include "ldexp.h"
39 #include "ldlang.h"
41 /* We keep an instance of this structure for each reference to a
42 symbol from a given object. */
44 struct cref_ref {
45 /* The next reference. */
46 struct cref_ref *next;
47 /* The object. */
48 bfd *abfd;
49 /* True if the symbol is defined. */
50 unsigned int def : 1;
51 /* True if the symbol is common. */
52 unsigned int common : 1;
53 /* True if the symbol is undefined. */
54 unsigned int undef : 1;
57 /* We keep a hash table of symbols. Each entry looks like this. */
59 struct cref_hash_entry {
60 struct bfd_hash_entry root;
61 /* The demangled name. */
62 const char *demangled;
63 /* References to and definitions of this symbol. */
64 struct cref_ref *refs;
67 /* This is what the hash table looks like. */
69 struct cref_hash_table {
70 struct bfd_hash_table root;
73 /* Forward declarations. */
75 static void output_one_cref (FILE *, struct cref_hash_entry *);
76 static void check_local_sym_xref (lang_input_statement_type *);
77 static bfd_boolean check_nocrossref (struct cref_hash_entry *, void *);
78 static void check_refs (const char *, bfd_boolean, asection *, bfd *,
79 struct lang_nocrossrefs *);
80 static void check_reloc_refs (bfd *, asection *, void *);
82 /* Look up an entry in the cref hash table. */
84 #define cref_hash_lookup(table, string, create, copy) \
85 ((struct cref_hash_entry *) \
86 bfd_hash_lookup (&(table)->root, (string), (create), (copy)))
88 /* Traverse the cref hash table. */
90 #define cref_hash_traverse(table, func, info) \
91 (bfd_hash_traverse \
92 (&(table)->root, \
93 (bfd_boolean (*) (struct bfd_hash_entry *, void *)) (func), \
94 (info)))
96 /* The cref hash table. */
98 static struct cref_hash_table cref_table;
100 /* Whether the cref hash table has been initialized. */
102 static bfd_boolean cref_initialized;
104 /* The number of symbols seen so far. */
106 static size_t cref_symcount;
108 /* Used to take a snapshot of the cref hash table when starting to
109 add syms from an as-needed library. */
110 static struct bfd_hash_entry **old_table;
111 static unsigned int old_size;
112 static unsigned int old_count;
113 static void *old_tab;
114 static void *alloc_mark;
115 static size_t tabsize, entsize, refsize;
116 static size_t old_symcount;
118 /* Create an entry in a cref hash table. */
120 static struct bfd_hash_entry *
121 cref_hash_newfunc (struct bfd_hash_entry *entry,
122 struct bfd_hash_table *table,
123 const char *string)
125 struct cref_hash_entry *ret = (struct cref_hash_entry *) entry;
127 /* Allocate the structure if it has not already been allocated by a
128 subclass. */
129 if (ret == NULL)
130 ret = ((struct cref_hash_entry *)
131 bfd_hash_allocate (table, sizeof (struct cref_hash_entry)));
132 if (ret == NULL)
133 return NULL;
135 /* Call the allocation method of the superclass. */
136 ret = ((struct cref_hash_entry *)
137 bfd_hash_newfunc ((struct bfd_hash_entry *) ret, table, string));
138 if (ret != NULL)
140 /* Set local fields. */
141 ret->demangled = NULL;
142 ret->refs = NULL;
144 /* Keep a count of the number of entries created in the hash
145 table. */
146 ++cref_symcount;
149 return &ret->root;
152 /* Add a symbol to the cref hash table. This is called for every
153 global symbol that is seen during the link. */
155 void
156 add_cref (const char *name,
157 bfd *abfd,
158 asection *section,
159 bfd_vma value ATTRIBUTE_UNUSED)
161 struct cref_hash_entry *h;
162 struct cref_ref *r;
164 if (! cref_initialized)
166 if (!bfd_hash_table_init (&cref_table.root, cref_hash_newfunc,
167 sizeof (struct cref_hash_entry)))
168 einfo (_("%X%P: bfd_hash_table_init of cref table failed: %E\n"));
169 cref_initialized = TRUE;
172 h = cref_hash_lookup (&cref_table, name, TRUE, FALSE);
173 if (h == NULL)
174 einfo (_("%X%P: cref_hash_lookup failed: %E\n"));
176 for (r = h->refs; r != NULL; r = r->next)
177 if (r->abfd == abfd)
178 break;
180 if (r == NULL)
182 r = (struct cref_ref *) bfd_hash_allocate (&cref_table.root, sizeof *r);
183 if (r == NULL)
184 einfo (_("%X%P: cref alloc failed: %E\n"));
185 r->next = h->refs;
186 h->refs = r;
187 r->abfd = abfd;
188 r->def = FALSE;
189 r->common = FALSE;
190 r->undef = FALSE;
193 if (bfd_is_und_section (section))
194 r->undef = TRUE;
195 else if (bfd_is_com_section (section))
196 r->common = TRUE;
197 else
198 r->def = TRUE;
201 /* Called before loading an as-needed library to take a snapshot of
202 the cref hash table, and after we have loaded or found that the
203 library was not needed. */
205 bfd_boolean
206 handle_asneeded_cref (bfd *abfd ATTRIBUTE_UNUSED,
207 enum notice_asneeded_action act)
209 unsigned int i;
211 if (!cref_initialized)
212 return TRUE;
214 if (act == notice_as_needed)
216 char *old_ent, *old_ref;
218 for (i = 0; i < cref_table.root.size; i++)
220 struct bfd_hash_entry *p;
221 struct cref_hash_entry *c;
222 struct cref_ref *r;
224 for (p = cref_table.root.table[i]; p != NULL; p = p->next)
226 entsize += cref_table.root.entsize;
227 c = (struct cref_hash_entry *) p;
228 for (r = c->refs; r != NULL; r = r->next)
229 refsize += sizeof (struct cref_ref);
233 tabsize = cref_table.root.size * sizeof (struct bfd_hash_entry *);
234 old_tab = xmalloc (tabsize + entsize + refsize);
236 alloc_mark = bfd_hash_allocate (&cref_table.root, 1);
237 if (alloc_mark == NULL)
238 return FALSE;
240 memcpy (old_tab, cref_table.root.table, tabsize);
241 old_ent = (char *) old_tab + tabsize;
242 old_ref = (char *) old_ent + entsize;
243 old_table = cref_table.root.table;
244 old_size = cref_table.root.size;
245 old_count = cref_table.root.count;
246 old_symcount = cref_symcount;
248 for (i = 0; i < cref_table.root.size; i++)
250 struct bfd_hash_entry *p;
251 struct cref_hash_entry *c;
252 struct cref_ref *r;
254 for (p = cref_table.root.table[i]; p != NULL; p = p->next)
256 memcpy (old_ent, p, cref_table.root.entsize);
257 old_ent = (char *) old_ent + cref_table.root.entsize;
258 c = (struct cref_hash_entry *) p;
259 for (r = c->refs; r != NULL; r = r->next)
261 memcpy (old_ref, r, sizeof (struct cref_ref));
262 old_ref = (char *) old_ref + sizeof (struct cref_ref);
266 return TRUE;
269 if (act == notice_not_needed)
271 char *old_ent, *old_ref;
273 if (old_tab == NULL)
275 /* The only way old_tab can be NULL is if the cref hash table
276 had not been initialised when notice_as_needed. */
277 bfd_hash_table_free (&cref_table.root);
278 cref_initialized = FALSE;
279 return TRUE;
282 old_ent = (char *) old_tab + tabsize;
283 old_ref = (char *) old_ent + entsize;
284 cref_table.root.table = old_table;
285 cref_table.root.size = old_size;
286 cref_table.root.count = old_count;
287 memcpy (cref_table.root.table, old_tab, tabsize);
288 cref_symcount = old_symcount;
290 for (i = 0; i < cref_table.root.size; i++)
292 struct bfd_hash_entry *p;
293 struct cref_hash_entry *c;
294 struct cref_ref *r;
296 for (p = cref_table.root.table[i]; p != NULL; p = p->next)
298 memcpy (p, old_ent, cref_table.root.entsize);
299 old_ent = (char *) old_ent + cref_table.root.entsize;
300 c = (struct cref_hash_entry *) p;
301 for (r = c->refs; r != NULL; r = r->next)
303 memcpy (r, old_ref, sizeof (struct cref_ref));
304 old_ref = (char *) old_ref + sizeof (struct cref_ref);
309 objalloc_free_block ((struct objalloc *) cref_table.root.memory,
310 alloc_mark);
312 else if (act != notice_needed)
313 return FALSE;
315 free (old_tab);
316 old_tab = NULL;
317 return TRUE;
320 /* Copy the addresses of the hash table entries into an array. This
321 is called via cref_hash_traverse. We also fill in the demangled
322 name. */
324 static bfd_boolean
325 cref_fill_array (struct cref_hash_entry *h, void *data)
327 struct cref_hash_entry ***pph = (struct cref_hash_entry ***) data;
329 ASSERT (h->demangled == NULL);
330 h->demangled = bfd_demangle (link_info.output_bfd, h->root.string,
331 DMGL_ANSI | DMGL_PARAMS);
332 if (h->demangled == NULL)
333 h->demangled = h->root.string;
335 **pph = h;
337 ++*pph;
339 return TRUE;
342 /* Sort an array of cref hash table entries by name. */
344 static int
345 cref_sort_array (const void *a1, const void *a2)
347 const struct cref_hash_entry * const *p1 =
348 (const struct cref_hash_entry * const *) a1;
349 const struct cref_hash_entry * const *p2 =
350 (const struct cref_hash_entry * const *) a2;
352 return strcmp ((*p1)->demangled, (*p2)->demangled);
355 /* Write out the cref table. */
357 #define FILECOL (50)
359 void
360 output_cref (FILE *fp)
362 int len;
363 struct cref_hash_entry **csyms, **csym_fill, **csym, **csym_end;
364 const char *msg;
366 fprintf (fp, _("\nCross Reference Table\n\n"));
367 msg = _("Symbol");
368 fprintf (fp, "%s", msg);
369 len = strlen (msg);
370 while (len < FILECOL)
372 putc (' ', fp);
373 ++len;
375 fprintf (fp, _("File\n"));
377 if (! cref_initialized)
379 fprintf (fp, _("No symbols\n"));
380 return;
383 csyms = (struct cref_hash_entry **) xmalloc (cref_symcount * sizeof (*csyms));
385 csym_fill = csyms;
386 cref_hash_traverse (&cref_table, cref_fill_array, &csym_fill);
387 ASSERT ((size_t) (csym_fill - csyms) == cref_symcount);
389 qsort (csyms, cref_symcount, sizeof (*csyms), cref_sort_array);
391 csym_end = csyms + cref_symcount;
392 for (csym = csyms; csym < csym_end; csym++)
393 output_one_cref (fp, *csym);
396 /* Output one entry in the cross reference table. */
398 static void
399 output_one_cref (FILE *fp, struct cref_hash_entry *h)
401 int len;
402 struct bfd_link_hash_entry *hl;
403 struct cref_ref *r;
405 hl = bfd_link_hash_lookup (link_info.hash, h->root.string, FALSE,
406 FALSE, TRUE);
407 if (hl == NULL)
408 einfo ("%P: symbol `%T' missing from main hash table\n",
409 h->root.string);
410 else
412 /* If this symbol is defined in a dynamic object but never
413 referenced by a normal object, then don't print it. */
414 if (hl->type == bfd_link_hash_defined)
416 if (hl->u.def.section->output_section == NULL)
417 return;
418 if (hl->u.def.section->owner != NULL
419 && (hl->u.def.section->owner->flags & DYNAMIC) != 0)
421 for (r = h->refs; r != NULL; r = r->next)
422 if ((r->abfd->flags & DYNAMIC) == 0)
423 break;
424 if (r == NULL)
425 return;
430 fprintf (fp, "%s ", h->demangled);
431 len = strlen (h->demangled) + 1;
433 for (r = h->refs; r != NULL; r = r->next)
435 if (r->def)
437 while (len < FILECOL)
439 putc (' ', fp);
440 ++len;
442 lfinfo (fp, "%B\n", r->abfd);
443 len = 0;
447 for (r = h->refs; r != NULL; r = r->next)
449 if (! r->def)
451 while (len < FILECOL)
453 putc (' ', fp);
454 ++len;
456 lfinfo (fp, "%B\n", r->abfd);
457 len = 0;
461 ASSERT (len == 0);
464 /* Check for prohibited cross references. */
466 void
467 check_nocrossrefs (void)
469 if (! cref_initialized)
470 return;
472 cref_hash_traverse (&cref_table, check_nocrossref, NULL);
474 lang_for_each_file (check_local_sym_xref);
477 /* Check for prohibited cross references to local and section symbols. */
479 static void
480 check_local_sym_xref (lang_input_statement_type *statement)
482 bfd *abfd;
483 asymbol **syms;
485 abfd = statement->the_bfd;
486 if (abfd == NULL)
487 return;
489 if (!bfd_generic_link_read_symbols (abfd))
490 einfo (_("%B%F: could not read symbols: %E\n"), abfd);
492 for (syms = bfd_get_outsymbols (abfd); *syms; ++syms)
494 asymbol *sym = *syms;
495 if (sym->flags & (BSF_GLOBAL | BSF_WARNING | BSF_INDIRECT | BSF_FILE))
496 continue;
497 if ((sym->flags & (BSF_LOCAL | BSF_SECTION_SYM)) != 0
498 && sym->section->output_section != NULL)
500 const char *outsecname, *symname;
501 struct lang_nocrossrefs *ncrs;
502 struct lang_nocrossref *ncr;
504 outsecname = sym->section->output_section->name;
505 symname = NULL;
506 if ((sym->flags & BSF_SECTION_SYM) == 0)
507 symname = sym->name;
508 for (ncrs = nocrossref_list; ncrs != NULL; ncrs = ncrs->next)
509 for (ncr = ncrs->list; ncr != NULL; ncr = ncr->next)
510 if (strcmp (ncr->name, outsecname) == 0)
511 check_refs (symname, FALSE, sym->section, abfd, ncrs);
516 /* Check one symbol to see if it is a prohibited cross reference. */
518 static bfd_boolean
519 check_nocrossref (struct cref_hash_entry *h, void *ignore ATTRIBUTE_UNUSED)
521 struct bfd_link_hash_entry *hl;
522 asection *defsec;
523 const char *defsecname;
524 struct lang_nocrossrefs *ncrs;
525 struct lang_nocrossref *ncr;
526 struct cref_ref *ref;
528 hl = bfd_link_hash_lookup (link_info.hash, h->root.string, FALSE,
529 FALSE, TRUE);
530 if (hl == NULL)
532 einfo (_("%P: symbol `%T' missing from main hash table\n"),
533 h->root.string);
534 return TRUE;
537 if (hl->type != bfd_link_hash_defined
538 && hl->type != bfd_link_hash_defweak)
539 return TRUE;
541 defsec = hl->u.def.section->output_section;
542 if (defsec == NULL)
543 return TRUE;
544 defsecname = bfd_get_section_name (defsec->owner, defsec);
546 for (ncrs = nocrossref_list; ncrs != NULL; ncrs = ncrs->next)
547 for (ncr = ncrs->list; ncr != NULL; ncr = ncr->next)
548 if (strcmp (ncr->name, defsecname) == 0)
549 for (ref = h->refs; ref != NULL; ref = ref->next)
550 check_refs (hl->root.string, TRUE, hl->u.def.section,
551 ref->abfd, ncrs);
553 return TRUE;
556 /* The struct is used to pass information from check_refs to
557 check_reloc_refs through bfd_map_over_sections. */
559 struct check_refs_info {
560 const char *sym_name;
561 asection *defsec;
562 struct lang_nocrossrefs *ncrs;
563 asymbol **asymbols;
564 bfd_boolean global;
567 /* This function is called for each symbol defined in a section which
568 prohibits cross references. We need to look through all references
569 to this symbol, and ensure that the references are not from
570 prohibited sections. */
572 static void
573 check_refs (const char *name,
574 bfd_boolean global,
575 asection *sec,
576 bfd *abfd,
577 struct lang_nocrossrefs *ncrs)
579 struct check_refs_info info;
581 /* We need to look through the relocations for this BFD, to see
582 if any of the relocations which refer to this symbol are from
583 a prohibited section. Note that we need to do this even for
584 the BFD in which the symbol is defined, since even a single
585 BFD might contain a prohibited cross reference. */
587 if (!bfd_generic_link_read_symbols (abfd))
588 einfo (_("%B%F: could not read symbols: %E\n"), abfd);
590 info.sym_name = name;
591 info.global = global;
592 info.defsec = sec;
593 info.ncrs = ncrs;
594 info.asymbols = bfd_get_outsymbols (abfd);
595 bfd_map_over_sections (abfd, check_reloc_refs, &info);
598 /* This is called via bfd_map_over_sections. INFO->SYM_NAME is a symbol
599 defined in INFO->DEFSECNAME. If this section maps into any of the
600 sections listed in INFO->NCRS, other than INFO->DEFSECNAME, then we
601 look through the relocations. If any of the relocations are to
602 INFO->SYM_NAME, then we report a prohibited cross reference error. */
604 static void
605 check_reloc_refs (bfd *abfd, asection *sec, void *iarg)
607 struct check_refs_info *info = (struct check_refs_info *) iarg;
608 asection *outsec;
609 const char *outsecname;
610 asection *outdefsec;
611 const char *outdefsecname;
612 struct lang_nocrossref *ncr;
613 const char *symname;
614 bfd_boolean global;
615 long relsize;
616 arelent **relpp;
617 long relcount;
618 arelent **p, **pend;
620 outsec = sec->output_section;
621 outsecname = bfd_get_section_name (outsec->owner, outsec);
623 outdefsec = info->defsec->output_section;
624 outdefsecname = bfd_get_section_name (outdefsec->owner, outdefsec);
626 /* The section where the symbol is defined is permitted. */
627 if (strcmp (outsecname, outdefsecname) == 0)
628 return;
630 for (ncr = info->ncrs->list; ncr != NULL; ncr = ncr->next)
631 if (strcmp (outsecname, ncr->name) == 0)
632 break;
634 if (ncr == NULL)
635 return;
637 /* This section is one for which cross references are prohibited.
638 Look through the relocations, and see if any of them are to
639 INFO->SYM_NAME. If INFO->SYMNAME is NULL, check for relocations
640 against the section symbol. If INFO->GLOBAL is TRUE, the
641 definition is global, check for relocations against the global
642 symbols. Otherwise check for relocations against the local and
643 section symbols. */
645 symname = info->sym_name;
646 global = info->global;
648 relsize = bfd_get_reloc_upper_bound (abfd, sec);
649 if (relsize < 0)
650 einfo (_("%B%F: could not read relocs: %E\n"), abfd);
651 if (relsize == 0)
652 return;
654 relpp = (arelent **) xmalloc (relsize);
655 relcount = bfd_canonicalize_reloc (abfd, sec, relpp, info->asymbols);
656 if (relcount < 0)
657 einfo (_("%B%F: could not read relocs: %E\n"), abfd);
659 p = relpp;
660 pend = p + relcount;
661 for (; p < pend && *p != NULL; p++)
663 arelent *q = *p;
665 if (q->sym_ptr_ptr != NULL
666 && *q->sym_ptr_ptr != NULL
667 && ((global
668 && (bfd_is_und_section (bfd_get_section (*q->sym_ptr_ptr))
669 || bfd_is_com_section (bfd_get_section (*q->sym_ptr_ptr))
670 || ((*q->sym_ptr_ptr)->flags & (BSF_GLOBAL
671 | BSF_WEAK)) != 0))
672 || (!global
673 && ((*q->sym_ptr_ptr)->flags & (BSF_LOCAL
674 | BSF_SECTION_SYM)) != 0
675 && bfd_get_section (*q->sym_ptr_ptr) == info->defsec))
676 && (symname != NULL
677 ? strcmp (bfd_asymbol_name (*q->sym_ptr_ptr), symname) == 0
678 : ((*q->sym_ptr_ptr)->flags & BSF_SECTION_SYM) != 0))
680 /* We found a reloc for the symbol. The symbol is defined
681 in OUTSECNAME. This reloc is from a section which is
682 mapped into a section from which references to OUTSECNAME
683 are prohibited. We must report an error. */
684 einfo (_("%X%C: prohibited cross reference from %s to `%T' in %s\n"),
685 abfd, sec, q->address, outsecname,
686 bfd_asymbol_name (*q->sym_ptr_ptr), outdefsecname);
690 free (relpp);