* Makefile.am (Makefile): Remove dependency.
[deliverable/binutils-gdb.git] / bfd / linker.c
CommitLineData
252b5132 1/* linker.c -- BFD linker routines
b9cf773d 2 Copyright 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002,
77cfaee6 3 2003, 2004, 2005 Free Software Foundation, Inc.
252b5132
RH
4 Written by Steve Chamberlain and Ian Lance Taylor, Cygnus Support
5
5ed6aba4 6 This file is part of BFD, the Binary File Descriptor library.
252b5132 7
5ed6aba4
NC
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 2 of the License, or
11 (at your option) any later version.
252b5132 12
5ed6aba4
NC
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.
252b5132 17
5ed6aba4
NC
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
3e110533 20 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, MA 02110-1301, USA. */
252b5132
RH
21
22#include "bfd.h"
23#include "sysdep.h"
24#include "libbfd.h"
25#include "bfdlink.h"
26#include "genlink.h"
27
28/*
29SECTION
30 Linker Functions
31
32@cindex Linker
33 The linker uses three special entry points in the BFD target
34 vector. It is not necessary to write special routines for
35 these entry points when creating a new BFD back end, since
36 generic versions are provided. However, writing them can
37 speed up linking and make it use significantly less runtime
38 memory.
39
40 The first routine creates a hash table used by the other
41 routines. The second routine adds the symbols from an object
42 file to the hash table. The third routine takes all the
43 object files and links them together to create the output
44 file. These routines are designed so that the linker proper
45 does not need to know anything about the symbols in the object
46 files that it is linking. The linker merely arranges the
47 sections as directed by the linker script and lets BFD handle
48 the details of symbols and relocs.
49
50 The second routine and third routines are passed a pointer to
51 a <<struct bfd_link_info>> structure (defined in
52 <<bfdlink.h>>) which holds information relevant to the link,
53 including the linker hash table (which was created by the
54 first routine) and a set of callback functions to the linker
55 proper.
56
57 The generic linker routines are in <<linker.c>>, and use the
58 header file <<genlink.h>>. As of this writing, the only back
59 ends which have implemented versions of these routines are
60 a.out (in <<aoutx.h>>) and ECOFF (in <<ecoff.c>>). The a.out
61 routines are used as examples throughout this section.
62
509945ae 63@menu
252b5132
RH
64@* Creating a Linker Hash Table::
65@* Adding Symbols to the Hash Table::
66@* Performing the Final Link::
67@end menu
68
69INODE
70Creating a Linker Hash Table, Adding Symbols to the Hash Table, Linker Functions, Linker Functions
71SUBSECTION
72 Creating a linker hash table
73
74@cindex _bfd_link_hash_table_create in target vector
75@cindex target vector (_bfd_link_hash_table_create)
76 The linker routines must create a hash table, which must be
77 derived from <<struct bfd_link_hash_table>> described in
dc1bc0c9 78 <<bfdlink.c>>. @xref{Hash Tables}, for information on how to
252b5132
RH
79 create a derived hash table. This entry point is called using
80 the target vector of the linker output file.
81
82 The <<_bfd_link_hash_table_create>> entry point must allocate
83 and initialize an instance of the desired hash table. If the
84 back end does not require any additional information to be
85 stored with the entries in the hash table, the entry point may
86 simply create a <<struct bfd_link_hash_table>>. Most likely,
87 however, some additional information will be needed.
88
89 For example, with each entry in the hash table the a.out
90 linker keeps the index the symbol has in the final output file
1049f94e 91 (this index number is used so that when doing a relocatable
252b5132
RH
92 link the symbol index used in the output file can be quickly
93 filled in when copying over a reloc). The a.out linker code
94 defines the required structures and functions for a hash table
95 derived from <<struct bfd_link_hash_table>>. The a.out linker
96 hash table is created by the function
97 <<NAME(aout,link_hash_table_create)>>; it simply allocates
98 space for the hash table, initializes it, and returns a
99 pointer to it.
100
101 When writing the linker routines for a new back end, you will
102 generally not know exactly which fields will be required until
103 you have finished. You should simply create a new hash table
104 which defines no additional fields, and then simply add fields
105 as they become necessary.
106
107INODE
108Adding Symbols to the Hash Table, Performing the Final Link, Creating a Linker Hash Table, Linker Functions
109SUBSECTION
110 Adding symbols to the hash table
111
112@cindex _bfd_link_add_symbols in target vector
113@cindex target vector (_bfd_link_add_symbols)
114 The linker proper will call the <<_bfd_link_add_symbols>>
115 entry point for each object file or archive which is to be
116 linked (typically these are the files named on the command
117 line, but some may also come from the linker script). The
118 entry point is responsible for examining the file. For an
119 object file, BFD must add any relevant symbol information to
120 the hash table. For an archive, BFD must determine which
121 elements of the archive should be used and adding them to the
122 link.
123
124 The a.out version of this entry point is
125 <<NAME(aout,link_add_symbols)>>.
126
127@menu
128@* Differing file formats::
129@* Adding symbols from an object file::
130@* Adding symbols from an archive::
131@end menu
132
133INODE
134Differing file formats, Adding symbols from an object file, Adding Symbols to the Hash Table, Adding Symbols to the Hash Table
135SUBSUBSECTION
136 Differing file formats
137
138 Normally all the files involved in a link will be of the same
139 format, but it is also possible to link together different
140 format object files, and the back end must support that. The
141 <<_bfd_link_add_symbols>> entry point is called via the target
142 vector of the file to be added. This has an important
143 consequence: the function may not assume that the hash table
144 is the type created by the corresponding
145 <<_bfd_link_hash_table_create>> vector. All the
146 <<_bfd_link_add_symbols>> function can assume about the hash
147 table is that it is derived from <<struct
148 bfd_link_hash_table>>.
149
150 Sometimes the <<_bfd_link_add_symbols>> function must store
151 some information in the hash table entry to be used by the
152 <<_bfd_final_link>> function. In such a case the <<creator>>
153 field of the hash table must be checked to make sure that the
154 hash table was created by an object file of the same format.
155
156 The <<_bfd_final_link>> routine must be prepared to handle a
157 hash entry without any extra information added by the
158 <<_bfd_link_add_symbols>> function. A hash entry without
159 extra information will also occur when the linker script
160 directs the linker to create a symbol. Note that, regardless
161 of how a hash table entry is added, all the fields will be
162 initialized to some sort of null value by the hash table entry
163 initialization function.
164
165 See <<ecoff_link_add_externals>> for an example of how to
166 check the <<creator>> field before saving information (in this
167 case, the ECOFF external symbol debugging information) in a
168 hash table entry.
169
170INODE
171Adding symbols from an object file, Adding symbols from an archive, Differing file formats, Adding Symbols to the Hash Table
172SUBSUBSECTION
173 Adding symbols from an object file
174
175 When the <<_bfd_link_add_symbols>> routine is passed an object
176 file, it must add all externally visible symbols in that
177 object file to the hash table. The actual work of adding the
178 symbol to the hash table is normally handled by the function
179 <<_bfd_generic_link_add_one_symbol>>. The
180 <<_bfd_link_add_symbols>> routine is responsible for reading
181 all the symbols from the object file and passing the correct
182 information to <<_bfd_generic_link_add_one_symbol>>.
183
184 The <<_bfd_link_add_symbols>> routine should not use
185 <<bfd_canonicalize_symtab>> to read the symbols. The point of
186 providing this routine is to avoid the overhead of converting
187 the symbols into generic <<asymbol>> structures.
188
189@findex _bfd_generic_link_add_one_symbol
190 <<_bfd_generic_link_add_one_symbol>> handles the details of
191 combining common symbols, warning about multiple definitions,
192 and so forth. It takes arguments which describe the symbol to
193 add, notably symbol flags, a section, and an offset. The
194 symbol flags include such things as <<BSF_WEAK>> or
195 <<BSF_INDIRECT>>. The section is a section in the object
196 file, or something like <<bfd_und_section_ptr>> for an undefined
197 symbol or <<bfd_com_section_ptr>> for a common symbol.
198
199 If the <<_bfd_final_link>> routine is also going to need to
200 read the symbol information, the <<_bfd_link_add_symbols>>
201 routine should save it somewhere attached to the object file
202 BFD. However, the information should only be saved if the
b34976b6 203 <<keep_memory>> field of the <<info>> argument is TRUE, so
252b5132
RH
204 that the <<-no-keep-memory>> linker switch is effective.
205
206 The a.out function which adds symbols from an object file is
207 <<aout_link_add_object_symbols>>, and most of the interesting
208 work is in <<aout_link_add_symbols>>. The latter saves
209 pointers to the hash tables entries created by
210 <<_bfd_generic_link_add_one_symbol>> indexed by symbol number,
211 so that the <<_bfd_final_link>> routine does not have to call
212 the hash table lookup routine to locate the entry.
213
214INODE
215Adding symbols from an archive, , Adding symbols from an object file, Adding Symbols to the Hash Table
216SUBSUBSECTION
217 Adding symbols from an archive
218
219 When the <<_bfd_link_add_symbols>> routine is passed an
220 archive, it must look through the symbols defined by the
221 archive and decide which elements of the archive should be
222 included in the link. For each such element it must call the
223 <<add_archive_element>> linker callback, and it must add the
224 symbols from the object file to the linker hash table.
225
226@findex _bfd_generic_link_add_archive_symbols
227 In most cases the work of looking through the symbols in the
228 archive should be done by the
229 <<_bfd_generic_link_add_archive_symbols>> function. This
230 function builds a hash table from the archive symbol table and
231 looks through the list of undefined symbols to see which
232 elements should be included.
233 <<_bfd_generic_link_add_archive_symbols>> is passed a function
234 to call to make the final decision about adding an archive
235 element to the link and to do the actual work of adding the
236 symbols to the linker hash table.
237
238 The function passed to
239 <<_bfd_generic_link_add_archive_symbols>> must read the
240 symbols of the archive element and decide whether the archive
241 element should be included in the link. If the element is to
242 be included, the <<add_archive_element>> linker callback
243 routine must be called with the element as an argument, and
244 the elements symbols must be added to the linker hash table
245 just as though the element had itself been passed to the
246 <<_bfd_link_add_symbols>> function.
247
248 When the a.out <<_bfd_link_add_symbols>> function receives an
249 archive, it calls <<_bfd_generic_link_add_archive_symbols>>
250 passing <<aout_link_check_archive_element>> as the function
251 argument. <<aout_link_check_archive_element>> calls
252 <<aout_link_check_ar_symbols>>. If the latter decides to add
253 the element (an element is only added if it provides a real,
254 non-common, definition for a previously undefined or common
255 symbol) it calls the <<add_archive_element>> callback and then
256 <<aout_link_check_archive_element>> calls
257 <<aout_link_add_symbols>> to actually add the symbols to the
258 linker hash table.
259
260 The ECOFF back end is unusual in that it does not normally
261 call <<_bfd_generic_link_add_archive_symbols>>, because ECOFF
262 archives already contain a hash table of symbols. The ECOFF
263 back end searches the archive itself to avoid the overhead of
264 creating a new hash table.
265
266INODE
267Performing the Final Link, , Adding Symbols to the Hash Table, Linker Functions
268SUBSECTION
269 Performing the final link
270
271@cindex _bfd_link_final_link in target vector
272@cindex target vector (_bfd_final_link)
273 When all the input files have been processed, the linker calls
274 the <<_bfd_final_link>> entry point of the output BFD. This
275 routine is responsible for producing the final output file,
276 which has several aspects. It must relocate the contents of
277 the input sections and copy the data into the output sections.
278 It must build an output symbol table including any local
279 symbols from the input files and the global symbols from the
1049f94e 280 hash table. When producing relocatable output, it must
252b5132
RH
281 modify the input relocs and write them into the output file.
282 There may also be object format dependent work to be done.
283
284 The linker will also call the <<write_object_contents>> entry
285 point when the BFD is closed. The two entry points must work
286 together in order to produce the correct output file.
287
288 The details of how this works are inevitably dependent upon
289 the specific object file format. The a.out
290 <<_bfd_final_link>> routine is <<NAME(aout,final_link)>>.
291
292@menu
293@* Information provided by the linker::
294@* Relocating the section contents::
295@* Writing the symbol table::
296@end menu
297
298INODE
299Information provided by the linker, Relocating the section contents, Performing the Final Link, Performing the Final Link
300SUBSUBSECTION
301 Information provided by the linker
302
303 Before the linker calls the <<_bfd_final_link>> entry point,
304 it sets up some data structures for the function to use.
305
306 The <<input_bfds>> field of the <<bfd_link_info>> structure
307 will point to a list of all the input files included in the
308 link. These files are linked through the <<link_next>> field
309 of the <<bfd>> structure.
310
311 Each section in the output file will have a list of
8423293d 312 <<link_order>> structures attached to the <<map_head.link_order>>
252b5132
RH
313 field (the <<link_order>> structure is defined in
314 <<bfdlink.h>>). These structures describe how to create the
315 contents of the output section in terms of the contents of
316 various input sections, fill constants, and, eventually, other
317 types of information. They also describe relocs that must be
318 created by the BFD backend, but do not correspond to any input
319 file; this is used to support -Ur, which builds constructors
1049f94e 320 while generating a relocatable object file.
252b5132
RH
321
322INODE
323Relocating the section contents, Writing the symbol table, Information provided by the linker, Performing the Final Link
324SUBSUBSECTION
325 Relocating the section contents
326
327 The <<_bfd_final_link>> function should look through the
328 <<link_order>> structures attached to each section of the
329 output file. Each <<link_order>> structure should either be
330 handled specially, or it should be passed to the function
331 <<_bfd_default_link_order>> which will do the right thing
332 (<<_bfd_default_link_order>> is defined in <<linker.c>>).
333
334 For efficiency, a <<link_order>> of type
335 <<bfd_indirect_link_order>> whose associated section belongs
336 to a BFD of the same format as the output BFD must be handled
337 specially. This type of <<link_order>> describes part of an
338 output section in terms of a section belonging to one of the
339 input files. The <<_bfd_final_link>> function should read the
340 contents of the section and any associated relocs, apply the
341 relocs to the section contents, and write out the modified
1049f94e 342 section contents. If performing a relocatable link, the
252b5132
RH
343 relocs themselves must also be modified and written out.
344
345@findex _bfd_relocate_contents
346@findex _bfd_final_link_relocate
347 The functions <<_bfd_relocate_contents>> and
348 <<_bfd_final_link_relocate>> provide some general support for
349 performing the actual relocations, notably overflow checking.
350 Their arguments include information about the symbol the
351 relocation is against and a <<reloc_howto_type>> argument
352 which describes the relocation to perform. These functions
353 are defined in <<reloc.c>>.
354
355 The a.out function which handles reading, relocating, and
356 writing section contents is <<aout_link_input_section>>. The
357 actual relocation is done in <<aout_link_input_section_std>>
358 and <<aout_link_input_section_ext>>.
359
360INODE
361Writing the symbol table, , Relocating the section contents, Performing the Final Link
362SUBSUBSECTION
363 Writing the symbol table
364
365 The <<_bfd_final_link>> function must gather all the symbols
366 in the input files and write them out. It must also write out
367 all the symbols in the global hash table. This must be
368 controlled by the <<strip>> and <<discard>> fields of the
369 <<bfd_link_info>> structure.
370
371 The local symbols of the input files will not have been
372 entered into the linker hash table. The <<_bfd_final_link>>
373 routine must consider each input file and include the symbols
374 in the output file. It may be convenient to do this when
375 looking through the <<link_order>> structures, or it may be
376 done by stepping through the <<input_bfds>> list.
377
378 The <<_bfd_final_link>> routine must also traverse the global
379 hash table to gather all the externally visible symbols. It
380 is possible that most of the externally visible symbols may be
381 written out when considering the symbols of each input file,
382 but it is still necessary to traverse the hash table since the
383 linker script may have defined some symbols that are not in
384 any of the input files.
385
386 The <<strip>> field of the <<bfd_link_info>> structure
387 controls which symbols are written out. The possible values
388 are listed in <<bfdlink.h>>. If the value is <<strip_some>>,
389 then the <<keep_hash>> field of the <<bfd_link_info>>
390 structure is a hash table of symbols to keep; each symbol
391 should be looked up in this hash table, and only symbols which
392 are present should be included in the output file.
393
394 If the <<strip>> field of the <<bfd_link_info>> structure
395 permits local symbols to be written out, the <<discard>> field
396 is used to further controls which local symbols are included
397 in the output file. If the value is <<discard_l>>, then all
398 local symbols which begin with a certain prefix are discarded;
399 this is controlled by the <<bfd_is_local_label_name>> entry point.
400
401 The a.out backend handles symbols by calling
402 <<aout_link_write_symbols>> on each input BFD and then
403 traversing the global hash table with the function
404 <<aout_link_write_other_symbol>>. It builds a string table
405 while writing out the symbols, which is written to the output
406 file at the end of <<NAME(aout,final_link)>>.
407*/
408
b34976b6 409static bfd_boolean generic_link_add_object_symbols
c58b9523
AM
410 (bfd *, struct bfd_link_info *, bfd_boolean collect);
411static bfd_boolean generic_link_add_symbols
412 (bfd *, struct bfd_link_info *, bfd_boolean);
b34976b6 413static bfd_boolean generic_link_check_archive_element_no_collect
c58b9523 414 (bfd *, struct bfd_link_info *, bfd_boolean *);
b34976b6 415static bfd_boolean generic_link_check_archive_element_collect
c58b9523 416 (bfd *, struct bfd_link_info *, bfd_boolean *);
b34976b6 417static bfd_boolean generic_link_check_archive_element
c58b9523 418 (bfd *, struct bfd_link_info *, bfd_boolean *, bfd_boolean);
b34976b6 419static bfd_boolean generic_link_add_symbol_list
c58b9523
AM
420 (bfd *, struct bfd_link_info *, bfd_size_type count, asymbol **,
421 bfd_boolean);
b34976b6 422static bfd_boolean generic_add_output_symbol
c58b9523 423 (bfd *, size_t *psymalloc, asymbol *);
b34976b6 424static bfd_boolean default_data_link_order
c58b9523 425 (bfd *, struct bfd_link_info *, asection *, struct bfd_link_order *);
b34976b6 426static bfd_boolean default_indirect_link_order
c58b9523
AM
427 (bfd *, struct bfd_link_info *, asection *, struct bfd_link_order *,
428 bfd_boolean);
252b5132
RH
429
430/* The link hash table structure is defined in bfdlink.h. It provides
431 a base hash table which the backend specific hash tables are built
432 upon. */
433
434/* Routine to create an entry in the link hash table. */
435
436struct bfd_hash_entry *
c58b9523
AM
437_bfd_link_hash_newfunc (struct bfd_hash_entry *entry,
438 struct bfd_hash_table *table,
439 const char *string)
252b5132 440{
252b5132
RH
441 /* Allocate the structure if it has not already been allocated by a
442 subclass. */
51b64d56
AM
443 if (entry == NULL)
444 {
c58b9523 445 entry = bfd_hash_allocate (table, sizeof (struct bfd_link_hash_entry));
51b64d56
AM
446 if (entry == NULL)
447 return entry;
448 }
252b5132
RH
449
450 /* Call the allocation method of the superclass. */
51b64d56
AM
451 entry = bfd_hash_newfunc (entry, table, string);
452 if (entry)
252b5132 453 {
51b64d56
AM
454 struct bfd_link_hash_entry *h = (struct bfd_link_hash_entry *) entry;
455
252b5132 456 /* Initialize the local fields. */
51b64d56 457 h->type = bfd_link_hash_new;
10d86c8a
AM
458 memset (&h->u.undef.next, 0,
459 (sizeof (struct bfd_link_hash_entry)
460 - offsetof (struct bfd_link_hash_entry, u.undef.next)));
252b5132
RH
461 }
462
51b64d56 463 return entry;
252b5132
RH
464}
465
466/* Initialize a link hash table. The BFD argument is the one
467 responsible for creating this table. */
468
b34976b6 469bfd_boolean
c58b9523
AM
470_bfd_link_hash_table_init
471 (struct bfd_link_hash_table *table,
472 bfd *abfd,
473 struct bfd_hash_entry *(*newfunc) (struct bfd_hash_entry *,
474 struct bfd_hash_table *,
475 const char *))
252b5132
RH
476{
477 table->creator = abfd->xvec;
478 table->undefs = NULL;
479 table->undefs_tail = NULL;
8ea2e4bd
NC
480 table->type = bfd_link_generic_hash_table;
481
252b5132
RH
482 return bfd_hash_table_init (&table->table, newfunc);
483}
484
b34976b6 485/* Look up a symbol in a link hash table. If follow is TRUE, we
252b5132
RH
486 follow bfd_link_hash_indirect and bfd_link_hash_warning links to
487 the real symbol. */
488
489struct bfd_link_hash_entry *
c58b9523
AM
490bfd_link_hash_lookup (struct bfd_link_hash_table *table,
491 const char *string,
492 bfd_boolean create,
493 bfd_boolean copy,
494 bfd_boolean follow)
252b5132
RH
495{
496 struct bfd_link_hash_entry *ret;
497
498 ret = ((struct bfd_link_hash_entry *)
499 bfd_hash_lookup (&table->table, string, create, copy));
500
c58b9523 501 if (follow && ret != NULL)
252b5132
RH
502 {
503 while (ret->type == bfd_link_hash_indirect
504 || ret->type == bfd_link_hash_warning)
505 ret = ret->u.i.link;
506 }
507
508 return ret;
509}
510
511/* Look up a symbol in the main linker hash table if the symbol might
512 be wrapped. This should only be used for references to an
513 undefined symbol, not for definitions of a symbol. */
514
515struct bfd_link_hash_entry *
c58b9523
AM
516bfd_wrapped_link_hash_lookup (bfd *abfd,
517 struct bfd_link_info *info,
518 const char *string,
519 bfd_boolean create,
520 bfd_boolean copy,
521 bfd_boolean follow)
252b5132 522{
dc810e39
AM
523 bfd_size_type amt;
524
252b5132
RH
525 if (info->wrap_hash != NULL)
526 {
527 const char *l;
b9cf773d 528 char prefix = '\0';
252b5132
RH
529
530 l = string;
b9cf773d
AM
531 if (*l == bfd_get_symbol_leading_char (abfd) || *l == info->wrap_char)
532 {
533 prefix = *l;
534 ++l;
535 }
252b5132
RH
536
537#undef WRAP
538#define WRAP "__wrap_"
539
b34976b6 540 if (bfd_hash_lookup (info->wrap_hash, l, FALSE, FALSE) != NULL)
252b5132
RH
541 {
542 char *n;
543 struct bfd_link_hash_entry *h;
544
545 /* This symbol is being wrapped. We want to replace all
546 references to SYM with references to __wrap_SYM. */
547
dc810e39 548 amt = strlen (l) + sizeof WRAP + 1;
c58b9523 549 n = bfd_malloc (amt);
252b5132
RH
550 if (n == NULL)
551 return NULL;
552
b9cf773d 553 n[0] = prefix;
252b5132
RH
554 n[1] = '\0';
555 strcat (n, WRAP);
556 strcat (n, l);
b34976b6 557 h = bfd_link_hash_lookup (info->hash, n, create, TRUE, follow);
252b5132
RH
558 free (n);
559 return h;
560 }
561
562#undef WRAP
563
564#undef REAL
565#define REAL "__real_"
566
567 if (*l == '_'
568 && strncmp (l, REAL, sizeof REAL - 1) == 0
569 && bfd_hash_lookup (info->wrap_hash, l + sizeof REAL - 1,
b34976b6 570 FALSE, FALSE) != NULL)
252b5132
RH
571 {
572 char *n;
573 struct bfd_link_hash_entry *h;
574
575 /* This is a reference to __real_SYM, where SYM is being
576 wrapped. We want to replace all references to __real_SYM
577 with references to SYM. */
578
dc810e39 579 amt = strlen (l + sizeof REAL - 1) + 2;
c58b9523 580 n = bfd_malloc (amt);
252b5132
RH
581 if (n == NULL)
582 return NULL;
583
b9cf773d 584 n[0] = prefix;
252b5132
RH
585 n[1] = '\0';
586 strcat (n, l + sizeof REAL - 1);
b34976b6 587 h = bfd_link_hash_lookup (info->hash, n, create, TRUE, follow);
252b5132
RH
588 free (n);
589 return h;
590 }
591
592#undef REAL
593 }
594
595 return bfd_link_hash_lookup (info->hash, string, create, copy, follow);
596}
597
598/* Traverse a generic link hash table. The only reason this is not a
599 macro is to do better type checking. This code presumes that an
600 argument passed as a struct bfd_hash_entry * may be caught as a
601 struct bfd_link_hash_entry * with no explicit cast required on the
602 call. */
603
509945ae 604void
c58b9523
AM
605bfd_link_hash_traverse
606 (struct bfd_link_hash_table *table,
607 bfd_boolean (*func) (struct bfd_link_hash_entry *, void *),
608 void *info)
252b5132
RH
609{
610 bfd_hash_traverse (&table->table,
c58b9523 611 (bfd_boolean (*) (struct bfd_hash_entry *, void *)) func,
252b5132
RH
612 info);
613}
614
615/* Add a symbol to the linker hash table undefs list. */
616
c58b9523
AM
617void
618bfd_link_add_undef (struct bfd_link_hash_table *table,
619 struct bfd_link_hash_entry *h)
252b5132 620{
f6e332e6 621 BFD_ASSERT (h->u.undef.next == NULL);
c58b9523 622 if (table->undefs_tail != NULL)
f6e332e6 623 table->undefs_tail->u.undef.next = h;
c58b9523 624 if (table->undefs == NULL)
252b5132
RH
625 table->undefs = h;
626 table->undefs_tail = h;
627}
77cfaee6
AM
628
629/* The undefs list was designed so that in normal use we don't need to
630 remove entries. However, if symbols on the list are changed from
631 bfd_link_hash_undefined to either bfd_link_hash_undefweak or
632 bfd_link_hash_new for some reason, then they must be removed from the
633 list. Failure to do so might result in the linker attempting to add
634 the symbol to the list again at a later stage. */
635
636void
637bfd_link_repair_undef_list (struct bfd_link_hash_table *table)
638{
639 struct bfd_link_hash_entry **pun;
640
641 pun = &table->undefs;
642 while (*pun != NULL)
643 {
644 struct bfd_link_hash_entry *h = *pun;
645
646 if (h->type == bfd_link_hash_new
647 || h->type == bfd_link_hash_undefweak)
648 {
649 *pun = h->u.undef.next;
650 h->u.undef.next = NULL;
651 if (h == table->undefs_tail)
652 {
653 if (pun == &table->undefs)
654 table->undefs_tail = NULL;
655 else
656 /* pun points at an u.undef.next field. Go back to
657 the start of the link_hash_entry. */
658 table->undefs_tail = (struct bfd_link_hash_entry *)
659 ((char *) pun - ((char *) &h->u.undef.next - (char *) h));
660 break;
661 }
662 }
663 else
664 pun = &h->u.undef.next;
665 }
666}
252b5132 667\f
19852a2a 668/* Routine to create an entry in a generic link hash table. */
252b5132
RH
669
670struct bfd_hash_entry *
c58b9523
AM
671_bfd_generic_link_hash_newfunc (struct bfd_hash_entry *entry,
672 struct bfd_hash_table *table,
673 const char *string)
252b5132 674{
252b5132
RH
675 /* Allocate the structure if it has not already been allocated by a
676 subclass. */
51b64d56
AM
677 if (entry == NULL)
678 {
c58b9523 679 entry =
d45913a0 680 bfd_hash_allocate (table, sizeof (struct generic_link_hash_entry));
51b64d56
AM
681 if (entry == NULL)
682 return entry;
683 }
252b5132
RH
684
685 /* Call the allocation method of the superclass. */
51b64d56
AM
686 entry = _bfd_link_hash_newfunc (entry, table, string);
687 if (entry)
252b5132 688 {
51b64d56
AM
689 struct generic_link_hash_entry *ret;
690
252b5132 691 /* Set local fields. */
51b64d56 692 ret = (struct generic_link_hash_entry *) entry;
b34976b6 693 ret->written = FALSE;
252b5132
RH
694 ret->sym = NULL;
695 }
696
51b64d56 697 return entry;
252b5132
RH
698}
699
19852a2a 700/* Create a generic link hash table. */
252b5132
RH
701
702struct bfd_link_hash_table *
c58b9523 703_bfd_generic_link_hash_table_create (bfd *abfd)
252b5132
RH
704{
705 struct generic_link_hash_table *ret;
dc810e39 706 bfd_size_type amt = sizeof (struct generic_link_hash_table);
252b5132 707
c58b9523 708 ret = bfd_malloc (amt);
252b5132 709 if (ret == NULL)
c58b9523 710 return NULL;
252b5132
RH
711 if (! _bfd_link_hash_table_init (&ret->root, abfd,
712 _bfd_generic_link_hash_newfunc))
713 {
714 free (ret);
c58b9523 715 return NULL;
252b5132
RH
716 }
717 return &ret->root;
718}
719
e2d34d7d 720void
c58b9523 721_bfd_generic_link_hash_table_free (struct bfd_link_hash_table *hash)
e2d34d7d
DJ
722{
723 struct generic_link_hash_table *ret
724 = (struct generic_link_hash_table *) hash;
725
726 bfd_hash_table_free (&ret->root.table);
727 free (ret);
728}
729
252b5132
RH
730/* Grab the symbols for an object file when doing a generic link. We
731 store the symbols in the outsymbols field. We need to keep them
732 around for the entire link to ensure that we only read them once.
733 If we read them multiple times, we might wind up with relocs and
734 the hash table pointing to different instances of the symbol
735 structure. */
736
b34976b6 737static bfd_boolean
c58b9523 738generic_link_read_symbols (bfd *abfd)
252b5132 739{
c58b9523 740 if (bfd_get_outsymbols (abfd) == NULL)
252b5132
RH
741 {
742 long symsize;
743 long symcount;
744
745 symsize = bfd_get_symtab_upper_bound (abfd);
746 if (symsize < 0)
b34976b6 747 return FALSE;
c58b9523 748 bfd_get_outsymbols (abfd) = bfd_alloc (abfd, symsize);
252b5132 749 if (bfd_get_outsymbols (abfd) == NULL && symsize != 0)
b34976b6 750 return FALSE;
252b5132
RH
751 symcount = bfd_canonicalize_symtab (abfd, bfd_get_outsymbols (abfd));
752 if (symcount < 0)
b34976b6 753 return FALSE;
252b5132
RH
754 bfd_get_symcount (abfd) = symcount;
755 }
756
b34976b6 757 return TRUE;
252b5132
RH
758}
759\f
760/* Generic function to add symbols to from an object file to the
761 global hash table. This version does not automatically collect
762 constructors by name. */
763
b34976b6 764bfd_boolean
c58b9523 765_bfd_generic_link_add_symbols (bfd *abfd, struct bfd_link_info *info)
252b5132 766{
b34976b6 767 return generic_link_add_symbols (abfd, info, FALSE);
252b5132
RH
768}
769
770/* Generic function to add symbols from an object file to the global
771 hash table. This version automatically collects constructors by
772 name, as the collect2 program does. It should be used for any
773 target which does not provide some other mechanism for setting up
774 constructors and destructors; these are approximately those targets
775 for which gcc uses collect2 and do not support stabs. */
776
b34976b6 777bfd_boolean
c58b9523 778_bfd_generic_link_add_symbols_collect (bfd *abfd, struct bfd_link_info *info)
252b5132 779{
b34976b6 780 return generic_link_add_symbols (abfd, info, TRUE);
252b5132
RH
781}
782
2d653fc7
AM
783/* Indicate that we are only retrieving symbol values from this
784 section. We want the symbols to act as though the values in the
785 file are absolute. */
786
787void
c58b9523
AM
788_bfd_generic_link_just_syms (asection *sec,
789 struct bfd_link_info *info ATTRIBUTE_UNUSED)
2d653fc7
AM
790{
791 sec->output_section = bfd_abs_section_ptr;
792 sec->output_offset = sec->vma;
793}
794
252b5132
RH
795/* Add symbols from an object file to the global hash table. */
796
b34976b6 797static bfd_boolean
c58b9523
AM
798generic_link_add_symbols (bfd *abfd,
799 struct bfd_link_info *info,
800 bfd_boolean collect)
252b5132 801{
b34976b6 802 bfd_boolean ret;
252b5132
RH
803
804 switch (bfd_get_format (abfd))
805 {
806 case bfd_object:
807 ret = generic_link_add_object_symbols (abfd, info, collect);
808 break;
809 case bfd_archive:
810 ret = (_bfd_generic_link_add_archive_symbols
811 (abfd, info,
812 (collect
813 ? generic_link_check_archive_element_collect
814 : generic_link_check_archive_element_no_collect)));
815 break;
816 default:
817 bfd_set_error (bfd_error_wrong_format);
b34976b6 818 ret = FALSE;
252b5132
RH
819 }
820
821 return ret;
822}
823
824/* Add symbols from an object file to the global hash table. */
825
b34976b6 826static bfd_boolean
c58b9523
AM
827generic_link_add_object_symbols (bfd *abfd,
828 struct bfd_link_info *info,
829 bfd_boolean collect)
252b5132 830{
dc810e39 831 bfd_size_type symcount;
fc0a2244 832 struct bfd_symbol **outsyms;
dc810e39 833
252b5132 834 if (! generic_link_read_symbols (abfd))
b34976b6 835 return FALSE;
dc810e39
AM
836 symcount = _bfd_generic_link_get_symcount (abfd);
837 outsyms = _bfd_generic_link_get_symbols (abfd);
838 return generic_link_add_symbol_list (abfd, info, symcount, outsyms, collect);
252b5132
RH
839}
840\f
841/* We build a hash table of all symbols defined in an archive. */
842
843/* An archive symbol may be defined by multiple archive elements.
844 This linked list is used to hold the elements. */
845
846struct archive_list
847{
848 struct archive_list *next;
dc810e39 849 unsigned int indx;
252b5132
RH
850};
851
852/* An entry in an archive hash table. */
853
854struct archive_hash_entry
855{
856 struct bfd_hash_entry root;
857 /* Where the symbol is defined. */
858 struct archive_list *defs;
859};
860
861/* An archive hash table itself. */
862
863struct archive_hash_table
864{
865 struct bfd_hash_table table;
866};
867
252b5132
RH
868/* Create a new entry for an archive hash table. */
869
870static struct bfd_hash_entry *
c58b9523
AM
871archive_hash_newfunc (struct bfd_hash_entry *entry,
872 struct bfd_hash_table *table,
873 const char *string)
252b5132
RH
874{
875 struct archive_hash_entry *ret = (struct archive_hash_entry *) entry;
876
877 /* Allocate the structure if it has not already been allocated by a
878 subclass. */
c58b9523
AM
879 if (ret == NULL)
880 ret = bfd_hash_allocate (table, sizeof (struct archive_hash_entry));
881 if (ret == NULL)
252b5132
RH
882 return NULL;
883
884 /* Call the allocation method of the superclass. */
885 ret = ((struct archive_hash_entry *)
886 bfd_hash_newfunc ((struct bfd_hash_entry *) ret, table, string));
887
888 if (ret)
889 {
890 /* Initialize the local fields. */
c58b9523 891 ret->defs = NULL;
252b5132
RH
892 }
893
c58b9523 894 return &ret->root;
252b5132
RH
895}
896
897/* Initialize an archive hash table. */
898
b34976b6 899static bfd_boolean
c58b9523
AM
900archive_hash_table_init
901 (struct archive_hash_table *table,
902 struct bfd_hash_entry *(*newfunc) (struct bfd_hash_entry *,
903 struct bfd_hash_table *,
904 const char *))
252b5132
RH
905{
906 return bfd_hash_table_init (&table->table, newfunc);
907}
908
909/* Look up an entry in an archive hash table. */
910
911#define archive_hash_lookup(t, string, create, copy) \
912 ((struct archive_hash_entry *) \
913 bfd_hash_lookup (&(t)->table, (string), (create), (copy)))
914
915/* Allocate space in an archive hash table. */
916
917#define archive_hash_allocate(t, size) bfd_hash_allocate (&(t)->table, (size))
918
919/* Free an archive hash table. */
920
921#define archive_hash_table_free(t) bfd_hash_table_free (&(t)->table)
922
923/* Generic function to add symbols from an archive file to the global
924 hash file. This function presumes that the archive symbol table
925 has already been read in (this is normally done by the
926 bfd_check_format entry point). It looks through the undefined and
927 common symbols and searches the archive symbol table for them. If
928 it finds an entry, it includes the associated object file in the
929 link.
930
931 The old linker looked through the archive symbol table for
932 undefined symbols. We do it the other way around, looking through
933 undefined symbols for symbols defined in the archive. The
934 advantage of the newer scheme is that we only have to look through
935 the list of undefined symbols once, whereas the old method had to
936 re-search the symbol table each time a new object file was added.
937
938 The CHECKFN argument is used to see if an object file should be
b34976b6 939 included. CHECKFN should set *PNEEDED to TRUE if the object file
252b5132
RH
940 should be included, and must also call the bfd_link_info
941 add_archive_element callback function and handle adding the symbols
b34976b6 942 to the global hash table. CHECKFN should only return FALSE if some
252b5132
RH
943 sort of error occurs.
944
945 For some formats, such as a.out, it is possible to look through an
946 object file but not actually include it in the link. The
947 archive_pass field in a BFD is used to avoid checking the symbols
948 of an object files too many times. When an object is included in
949 the link, archive_pass is set to -1. If an object is scanned but
950 not included, archive_pass is set to the pass number. The pass
951 number is incremented each time a new object file is included. The
952 pass number is used because when a new object file is included it
953 may create new undefined symbols which cause a previously examined
954 object file to be included. */
955
b34976b6 956bfd_boolean
c58b9523
AM
957_bfd_generic_link_add_archive_symbols
958 (bfd *abfd,
959 struct bfd_link_info *info,
960 bfd_boolean (*checkfn) (bfd *, struct bfd_link_info *, bfd_boolean *))
252b5132
RH
961{
962 carsym *arsyms;
963 carsym *arsym_end;
964 register carsym *arsym;
965 int pass;
966 struct archive_hash_table arsym_hash;
dc810e39 967 unsigned int indx;
252b5132
RH
968 struct bfd_link_hash_entry **pundef;
969
970 if (! bfd_has_map (abfd))
971 {
972 /* An empty archive is a special case. */
c58b9523 973 if (bfd_openr_next_archived_file (abfd, NULL) == NULL)
b34976b6 974 return TRUE;
252b5132 975 bfd_set_error (bfd_error_no_armap);
b34976b6 976 return FALSE;
252b5132
RH
977 }
978
979 arsyms = bfd_ardata (abfd)->symdefs;
980 arsym_end = arsyms + bfd_ardata (abfd)->symdef_count;
981
982 /* In order to quickly determine whether an symbol is defined in
983 this archive, we build a hash table of the symbols. */
984 if (! archive_hash_table_init (&arsym_hash, archive_hash_newfunc))
b34976b6 985 return FALSE;
252b5132
RH
986 for (arsym = arsyms, indx = 0; arsym < arsym_end; arsym++, indx++)
987 {
988 struct archive_hash_entry *arh;
989 struct archive_list *l, **pp;
990
b34976b6 991 arh = archive_hash_lookup (&arsym_hash, arsym->name, TRUE, FALSE);
c58b9523 992 if (arh == NULL)
252b5132
RH
993 goto error_return;
994 l = ((struct archive_list *)
995 archive_hash_allocate (&arsym_hash, sizeof (struct archive_list)));
996 if (l == NULL)
997 goto error_return;
998 l->indx = indx;
c58b9523 999 for (pp = &arh->defs; *pp != NULL; pp = &(*pp)->next)
252b5132
RH
1000 ;
1001 *pp = l;
1002 l->next = NULL;
1003 }
1004
1005 /* The archive_pass field in the archive itself is used to
1006 initialize PASS, sine we may search the same archive multiple
1007 times. */
1008 pass = abfd->archive_pass + 1;
1009
1010 /* New undefined symbols are added to the end of the list, so we
1011 only need to look through it once. */
1012 pundef = &info->hash->undefs;
c58b9523 1013 while (*pundef != NULL)
252b5132
RH
1014 {
1015 struct bfd_link_hash_entry *h;
1016 struct archive_hash_entry *arh;
1017 struct archive_list *l;
1018
1019 h = *pundef;
1020
1021 /* When a symbol is defined, it is not necessarily removed from
1022 the list. */
1023 if (h->type != bfd_link_hash_undefined
1024 && h->type != bfd_link_hash_common)
1025 {
1026 /* Remove this entry from the list, for general cleanliness
1027 and because we are going to look through the list again
1028 if we search any more libraries. We can't remove the
1029 entry if it is the tail, because that would lose any
1030 entries we add to the list later on (it would also cause
1031 us to lose track of whether the symbol has been
1032 referenced). */
1033 if (*pundef != info->hash->undefs_tail)
f6e332e6 1034 *pundef = (*pundef)->u.undef.next;
252b5132 1035 else
f6e332e6 1036 pundef = &(*pundef)->u.undef.next;
252b5132
RH
1037 continue;
1038 }
1039
1040 /* Look for this symbol in the archive symbol map. */
b34976b6 1041 arh = archive_hash_lookup (&arsym_hash, h->root.string, FALSE, FALSE);
c58b9523 1042 if (arh == NULL)
252b5132 1043 {
dc810e39 1044 /* If we haven't found the exact symbol we're looking for,
8ceb7a1b
CW
1045 let's look for its import thunk */
1046 if (info->pei386_auto_import)
1047 {
dc810e39 1048 bfd_size_type amt = strlen (h->root.string) + 10;
c58b9523 1049 char *buf = bfd_malloc (amt);
f6be24f9 1050 if (buf == NULL)
b34976b6 1051 return FALSE;
f6be24f9 1052
8ceb7a1b 1053 sprintf (buf, "__imp_%s", h->root.string);
b34976b6 1054 arh = archive_hash_lookup (&arsym_hash, buf, FALSE, FALSE);
f6be24f9 1055 free(buf);
8ceb7a1b 1056 }
c58b9523 1057 if (arh == NULL)
8ceb7a1b 1058 {
f6e332e6 1059 pundef = &(*pundef)->u.undef.next;
8ceb7a1b
CW
1060 continue;
1061 }
252b5132 1062 }
252b5132 1063 /* Look at all the objects which define this symbol. */
c58b9523 1064 for (l = arh->defs; l != NULL; l = l->next)
252b5132
RH
1065 {
1066 bfd *element;
b34976b6 1067 bfd_boolean needed;
252b5132
RH
1068
1069 /* If the symbol has gotten defined along the way, quit. */
1070 if (h->type != bfd_link_hash_undefined
1071 && h->type != bfd_link_hash_common)
1072 break;
1073
1074 element = bfd_get_elt_at_index (abfd, l->indx);
c58b9523 1075 if (element == NULL)
252b5132
RH
1076 goto error_return;
1077
1078 /* If we've already included this element, or if we've
1079 already checked it on this pass, continue. */
1080 if (element->archive_pass == -1
1081 || element->archive_pass == pass)
1082 continue;
1083
1084 /* If we can't figure this element out, just ignore it. */
1085 if (! bfd_check_format (element, bfd_object))
1086 {
1087 element->archive_pass = -1;
1088 continue;
1089 }
1090
1091 /* CHECKFN will see if this element should be included, and
1092 go ahead and include it if appropriate. */
1093 if (! (*checkfn) (element, info, &needed))
1094 goto error_return;
1095
1096 if (! needed)
1097 element->archive_pass = pass;
1098 else
1099 {
1100 element->archive_pass = -1;
1101
1102 /* Increment the pass count to show that we may need to
1103 recheck object files which were already checked. */
1104 ++pass;
1105 }
1106 }
1107
f6e332e6 1108 pundef = &(*pundef)->u.undef.next;
252b5132
RH
1109 }
1110
1111 archive_hash_table_free (&arsym_hash);
1112
1113 /* Save PASS in case we are called again. */
1114 abfd->archive_pass = pass;
1115
b34976b6 1116 return TRUE;
252b5132
RH
1117
1118 error_return:
1119 archive_hash_table_free (&arsym_hash);
b34976b6 1120 return FALSE;
252b5132
RH
1121}
1122\f
1123/* See if we should include an archive element. This version is used
1124 when we do not want to automatically collect constructors based on
1125 the symbol name, presumably because we have some other mechanism
1126 for finding them. */
1127
b34976b6 1128static bfd_boolean
c58b9523
AM
1129generic_link_check_archive_element_no_collect (
1130 bfd *abfd,
1131 struct bfd_link_info *info,
1132 bfd_boolean *pneeded)
252b5132 1133{
b34976b6 1134 return generic_link_check_archive_element (abfd, info, pneeded, FALSE);
252b5132
RH
1135}
1136
1137/* See if we should include an archive element. This version is used
1138 when we want to automatically collect constructors based on the
1139 symbol name, as collect2 does. */
1140
b34976b6 1141static bfd_boolean
c58b9523
AM
1142generic_link_check_archive_element_collect (bfd *abfd,
1143 struct bfd_link_info *info,
1144 bfd_boolean *pneeded)
252b5132 1145{
b34976b6 1146 return generic_link_check_archive_element (abfd, info, pneeded, TRUE);
252b5132
RH
1147}
1148
1149/* See if we should include an archive element. Optionally collect
1150 constructors. */
1151
b34976b6 1152static bfd_boolean
c58b9523
AM
1153generic_link_check_archive_element (bfd *abfd,
1154 struct bfd_link_info *info,
1155 bfd_boolean *pneeded,
1156 bfd_boolean collect)
252b5132
RH
1157{
1158 asymbol **pp, **ppend;
1159
b34976b6 1160 *pneeded = FALSE;
252b5132
RH
1161
1162 if (! generic_link_read_symbols (abfd))
b34976b6 1163 return FALSE;
252b5132
RH
1164
1165 pp = _bfd_generic_link_get_symbols (abfd);
1166 ppend = pp + _bfd_generic_link_get_symcount (abfd);
1167 for (; pp < ppend; pp++)
1168 {
1169 asymbol *p;
1170 struct bfd_link_hash_entry *h;
1171
1172 p = *pp;
1173
1174 /* We are only interested in globally visible symbols. */
1175 if (! bfd_is_com_section (p->section)
1176 && (p->flags & (BSF_GLOBAL | BSF_INDIRECT | BSF_WEAK)) == 0)
1177 continue;
1178
1179 /* We are only interested if we know something about this
1180 symbol, and it is undefined or common. An undefined weak
1181 symbol (type bfd_link_hash_undefweak) is not considered to be
1182 a reference when pulling files out of an archive. See the
1183 SVR4 ABI, p. 4-27. */
b34976b6
AM
1184 h = bfd_link_hash_lookup (info->hash, bfd_asymbol_name (p), FALSE,
1185 FALSE, TRUE);
c58b9523 1186 if (h == NULL
252b5132
RH
1187 || (h->type != bfd_link_hash_undefined
1188 && h->type != bfd_link_hash_common))
1189 continue;
1190
1191 /* P is a symbol we are looking for. */
1192
1193 if (! bfd_is_com_section (p->section))
1194 {
1195 bfd_size_type symcount;
1196 asymbol **symbols;
1197
1198 /* This object file defines this symbol, so pull it in. */
1199 if (! (*info->callbacks->add_archive_element) (info, abfd,
1200 bfd_asymbol_name (p)))
b34976b6 1201 return FALSE;
252b5132
RH
1202 symcount = _bfd_generic_link_get_symcount (abfd);
1203 symbols = _bfd_generic_link_get_symbols (abfd);
1204 if (! generic_link_add_symbol_list (abfd, info, symcount,
1205 symbols, collect))
b34976b6
AM
1206 return FALSE;
1207 *pneeded = TRUE;
1208 return TRUE;
252b5132
RH
1209 }
1210
1211 /* P is a common symbol. */
1212
1213 if (h->type == bfd_link_hash_undefined)
1214 {
1215 bfd *symbfd;
1216 bfd_vma size;
1217 unsigned int power;
1218
1219 symbfd = h->u.undef.abfd;
c58b9523 1220 if (symbfd == NULL)
252b5132
RH
1221 {
1222 /* This symbol was created as undefined from outside
1223 BFD. We assume that we should link in the object
1224 file. This is for the -u option in the linker. */
1225 if (! (*info->callbacks->add_archive_element)
1226 (info, abfd, bfd_asymbol_name (p)))
b34976b6
AM
1227 return FALSE;
1228 *pneeded = TRUE;
1229 return TRUE;
252b5132
RH
1230 }
1231
1232 /* Turn the symbol into a common symbol but do not link in
1233 the object file. This is how a.out works. Object
1234 formats that require different semantics must implement
1235 this function differently. This symbol is already on the
1236 undefs list. We add the section to a common section
1237 attached to symbfd to ensure that it is in a BFD which
1238 will be linked in. */
1239 h->type = bfd_link_hash_common;
1240 h->u.c.p =
c58b9523
AM
1241 bfd_hash_allocate (&info->hash->table,
1242 sizeof (struct bfd_link_hash_common_entry));
252b5132 1243 if (h->u.c.p == NULL)
b34976b6 1244 return FALSE;
252b5132
RH
1245
1246 size = bfd_asymbol_value (p);
1247 h->u.c.size = size;
1248
1249 power = bfd_log2 (size);
1250 if (power > 4)
1251 power = 4;
1252 h->u.c.p->alignment_power = power;
1253
1254 if (p->section == bfd_com_section_ptr)
1255 h->u.c.p->section = bfd_make_section_old_way (symbfd, "COMMON");
1256 else
1257 h->u.c.p->section = bfd_make_section_old_way (symbfd,
1258 p->section->name);
1259 h->u.c.p->section->flags = SEC_ALLOC;
1260 }
1261 else
1262 {
1263 /* Adjust the size of the common symbol if necessary. This
1264 is how a.out works. Object formats that require
1265 different semantics must implement this function
1266 differently. */
1267 if (bfd_asymbol_value (p) > h->u.c.size)
1268 h->u.c.size = bfd_asymbol_value (p);
1269 }
1270 }
1271
1272 /* This archive element is not needed. */
b34976b6 1273 return TRUE;
252b5132
RH
1274}
1275
1276/* Add the symbols from an object file to the global hash table. ABFD
1277 is the object file. INFO is the linker information. SYMBOL_COUNT
1278 is the number of symbols. SYMBOLS is the list of symbols. COLLECT
b34976b6 1279 is TRUE if constructors should be automatically collected by name
252b5132
RH
1280 as is done by collect2. */
1281
b34976b6 1282static bfd_boolean
c58b9523
AM
1283generic_link_add_symbol_list (bfd *abfd,
1284 struct bfd_link_info *info,
1285 bfd_size_type symbol_count,
1286 asymbol **symbols,
1287 bfd_boolean collect)
252b5132
RH
1288{
1289 asymbol **pp, **ppend;
1290
1291 pp = symbols;
1292 ppend = symbols + symbol_count;
1293 for (; pp < ppend; pp++)
1294 {
1295 asymbol *p;
1296
1297 p = *pp;
1298
1299 if ((p->flags & (BSF_INDIRECT
1300 | BSF_WARNING
1301 | BSF_GLOBAL
1302 | BSF_CONSTRUCTOR
1303 | BSF_WEAK)) != 0
1304 || bfd_is_und_section (bfd_get_section (p))
1305 || bfd_is_com_section (bfd_get_section (p))
1306 || bfd_is_ind_section (bfd_get_section (p)))
1307 {
1308 const char *name;
1309 const char *string;
1310 struct generic_link_hash_entry *h;
14a793b2 1311 struct bfd_link_hash_entry *bh;
252b5132
RH
1312
1313 name = bfd_asymbol_name (p);
1314 if (((p->flags & BSF_INDIRECT) != 0
1315 || bfd_is_ind_section (p->section))
1316 && pp + 1 < ppend)
1317 {
1318 pp++;
1319 string = bfd_asymbol_name (*pp);
1320 }
1321 else if ((p->flags & BSF_WARNING) != 0
1322 && pp + 1 < ppend)
1323 {
1324 /* The name of P is actually the warning string, and the
1325 next symbol is the one to warn about. */
1326 string = name;
1327 pp++;
1328 name = bfd_asymbol_name (*pp);
1329 }
1330 else
1331 string = NULL;
1332
14a793b2 1333 bh = NULL;
252b5132
RH
1334 if (! (_bfd_generic_link_add_one_symbol
1335 (info, abfd, name, p->flags, bfd_get_section (p),
b34976b6
AM
1336 p->value, string, FALSE, collect, &bh)))
1337 return FALSE;
14a793b2 1338 h = (struct generic_link_hash_entry *) bh;
252b5132
RH
1339
1340 /* If this is a constructor symbol, and the linker didn't do
1341 anything with it, then we want to just pass the symbol
1342 through to the output file. This will happen when
1343 linking with -r. */
1344 if ((p->flags & BSF_CONSTRUCTOR) != 0
1345 && (h == NULL || h->root.type == bfd_link_hash_new))
1346 {
1347 p->udata.p = NULL;
1348 continue;
1349 }
1350
1351 /* Save the BFD symbol so that we don't lose any backend
1352 specific information that may be attached to it. We only
1353 want this one if it gives more information than the
1354 existing one; we don't want to replace a defined symbol
1355 with an undefined one. This routine may be called with a
1356 hash table other than the generic hash table, so we only
1357 do this if we are certain that the hash table is a
1358 generic one. */
1359 if (info->hash->creator == abfd->xvec)
1360 {
c58b9523 1361 if (h->sym == NULL
252b5132
RH
1362 || (! bfd_is_und_section (bfd_get_section (p))
1363 && (! bfd_is_com_section (bfd_get_section (p))
1364 || bfd_is_und_section (bfd_get_section (h->sym)))))
1365 {
1366 h->sym = p;
1367 /* BSF_OLD_COMMON is a hack to support COFF reloc
1368 reading, and it should go away when the COFF
1369 linker is switched to the new version. */
1370 if (bfd_is_com_section (bfd_get_section (p)))
1371 p->flags |= BSF_OLD_COMMON;
1372 }
1373 }
1374
1375 /* Store a back pointer from the symbol to the hash
1376 table entry for the benefit of relaxation code until
1377 it gets rewritten to not use asymbol structures.
1378 Setting this is also used to check whether these
1379 symbols were set up by the generic linker. */
c58b9523 1380 p->udata.p = h;
252b5132
RH
1381 }
1382 }
1383
b34976b6 1384 return TRUE;
252b5132
RH
1385}
1386\f
1387/* We use a state table to deal with adding symbols from an object
1388 file. The first index into the state table describes the symbol
1389 from the object file. The second index into the state table is the
1390 type of the symbol in the hash table. */
1391
1392/* The symbol from the object file is turned into one of these row
1393 values. */
1394
1395enum link_row
1396{
1397 UNDEF_ROW, /* Undefined. */
1398 UNDEFW_ROW, /* Weak undefined. */
1399 DEF_ROW, /* Defined. */
1400 DEFW_ROW, /* Weak defined. */
1401 COMMON_ROW, /* Common. */
1402 INDR_ROW, /* Indirect. */
1403 WARN_ROW, /* Warning. */
1404 SET_ROW /* Member of set. */
1405};
1406
1407/* apparently needed for Hitachi 3050R(HI-UX/WE2)? */
1408#undef FAIL
1409
1410/* The actions to take in the state table. */
1411
1412enum link_action
1413{
509945ae 1414 FAIL, /* Abort. */
252b5132
RH
1415 UND, /* Mark symbol undefined. */
1416 WEAK, /* Mark symbol weak undefined. */
1417 DEF, /* Mark symbol defined. */
1418 DEFW, /* Mark symbol weak defined. */
1419 COM, /* Mark symbol common. */
1420 REF, /* Mark defined symbol referenced. */
1421 CREF, /* Possibly warn about common reference to defined symbol. */
1422 CDEF, /* Define existing common symbol. */
1423 NOACT, /* No action. */
1424 BIG, /* Mark symbol common using largest size. */
1425 MDEF, /* Multiple definition error. */
1426 MIND, /* Multiple indirect symbols. */
1427 IND, /* Make indirect symbol. */
1428 CIND, /* Make indirect symbol from existing common symbol. */
1429 SET, /* Add value to set. */
1430 MWARN, /* Make warning symbol. */
1431 WARN, /* Issue warning. */
1432 CWARN, /* Warn if referenced, else MWARN. */
1433 CYCLE, /* Repeat with symbol pointed to. */
1434 REFC, /* Mark indirect symbol referenced and then CYCLE. */
1435 WARNC /* Issue warning and then CYCLE. */
1436};
1437
1438/* The state table itself. The first index is a link_row and the
1439 second index is a bfd_link_hash_type. */
1440
1441static const enum link_action link_action[8][8] =
1442{
1443 /* current\prev new undef undefw def defw com indr warn */
1444 /* UNDEF_ROW */ {UND, NOACT, UND, REF, REF, NOACT, REFC, WARNC },
1445 /* UNDEFW_ROW */ {WEAK, NOACT, NOACT, REF, REF, NOACT, REFC, WARNC },
1446 /* DEF_ROW */ {DEF, DEF, DEF, MDEF, DEF, CDEF, MDEF, CYCLE },
1447 /* DEFW_ROW */ {DEFW, DEFW, DEFW, NOACT, NOACT, NOACT, NOACT, CYCLE },
146f1a87 1448 /* COMMON_ROW */ {COM, COM, COM, CREF, COM, BIG, REFC, WARNC },
252b5132 1449 /* INDR_ROW */ {IND, IND, IND, MDEF, IND, CIND, MIND, CYCLE },
e92d460e 1450 /* WARN_ROW */ {MWARN, WARN, WARN, CWARN, CWARN, WARN, CWARN, NOACT },
252b5132
RH
1451 /* SET_ROW */ {SET, SET, SET, SET, SET, SET, CYCLE, CYCLE }
1452};
1453
1454/* Most of the entries in the LINK_ACTION table are straightforward,
1455 but a few are somewhat subtle.
1456
1457 A reference to an indirect symbol (UNDEF_ROW/indr or
1458 UNDEFW_ROW/indr) is counted as a reference both to the indirect
1459 symbol and to the symbol the indirect symbol points to.
1460
1461 A reference to a warning symbol (UNDEF_ROW/warn or UNDEFW_ROW/warn)
1462 causes the warning to be issued.
1463
1464 A common definition of an indirect symbol (COMMON_ROW/indr) is
1465 treated as a multiple definition error. Likewise for an indirect
1466 definition of a common symbol (INDR_ROW/com).
1467
1468 An indirect definition of a warning (INDR_ROW/warn) does not cause
1469 the warning to be issued.
1470
1471 If a warning is created for an indirect symbol (WARN_ROW/indr) no
1472 warning is created for the symbol the indirect symbol points to.
1473
1474 Adding an entry to a set does not count as a reference to a set,
1475 and no warning is issued (SET_ROW/warn). */
1476
1477/* Return the BFD in which a hash entry has been defined, if known. */
1478
1479static bfd *
c58b9523 1480hash_entry_bfd (struct bfd_link_hash_entry *h)
252b5132
RH
1481{
1482 while (h->type == bfd_link_hash_warning)
1483 h = h->u.i.link;
1484 switch (h->type)
1485 {
1486 default:
1487 return NULL;
1488 case bfd_link_hash_undefined:
1489 case bfd_link_hash_undefweak:
1490 return h->u.undef.abfd;
1491 case bfd_link_hash_defined:
1492 case bfd_link_hash_defweak:
1493 return h->u.def.section->owner;
1494 case bfd_link_hash_common:
1495 return h->u.c.p->section->owner;
1496 }
1497 /*NOTREACHED*/
1498}
1499
1500/* Add a symbol to the global hash table.
1501 ABFD is the BFD the symbol comes from.
1502 NAME is the name of the symbol.
1503 FLAGS is the BSF_* bits associated with the symbol.
1504 SECTION is the section in which the symbol is defined; this may be
1505 bfd_und_section_ptr or bfd_com_section_ptr.
1506 VALUE is the value of the symbol, relative to the section.
1507 STRING is used for either an indirect symbol, in which case it is
1508 the name of the symbol to indirect to, or a warning symbol, in
1509 which case it is the warning string.
b34976b6 1510 COPY is TRUE if NAME or STRING must be copied into locally
252b5132 1511 allocated memory if they need to be saved.
b34976b6 1512 COLLECT is TRUE if we should automatically collect gcc constructor
252b5132
RH
1513 or destructor names as collect2 does.
1514 HASHP, if not NULL, is a place to store the created hash table
1515 entry; if *HASHP is not NULL, the caller has already looked up
509945ae 1516 the hash table entry, and stored it in *HASHP. */
252b5132 1517
b34976b6 1518bfd_boolean
c58b9523
AM
1519_bfd_generic_link_add_one_symbol (struct bfd_link_info *info,
1520 bfd *abfd,
1521 const char *name,
1522 flagword flags,
1523 asection *section,
1524 bfd_vma value,
1525 const char *string,
1526 bfd_boolean copy,
1527 bfd_boolean collect,
1528 struct bfd_link_hash_entry **hashp)
252b5132
RH
1529{
1530 enum link_row row;
1531 struct bfd_link_hash_entry *h;
b34976b6 1532 bfd_boolean cycle;
252b5132
RH
1533
1534 if (bfd_is_ind_section (section)
1535 || (flags & BSF_INDIRECT) != 0)
1536 row = INDR_ROW;
1537 else if ((flags & BSF_WARNING) != 0)
1538 row = WARN_ROW;
1539 else if ((flags & BSF_CONSTRUCTOR) != 0)
1540 row = SET_ROW;
1541 else if (bfd_is_und_section (section))
1542 {
1543 if ((flags & BSF_WEAK) != 0)
1544 row = UNDEFW_ROW;
1545 else
1546 row = UNDEF_ROW;
1547 }
1548 else if ((flags & BSF_WEAK) != 0)
1549 row = DEFW_ROW;
1550 else if (bfd_is_com_section (section))
1551 row = COMMON_ROW;
1552 else
1553 row = DEF_ROW;
1554
1555 if (hashp != NULL && *hashp != NULL)
1556 h = *hashp;
1557 else
1558 {
1559 if (row == UNDEF_ROW || row == UNDEFW_ROW)
b34976b6 1560 h = bfd_wrapped_link_hash_lookup (abfd, info, name, TRUE, copy, FALSE);
252b5132 1561 else
b34976b6 1562 h = bfd_link_hash_lookup (info->hash, name, TRUE, copy, FALSE);
252b5132
RH
1563 if (h == NULL)
1564 {
1565 if (hashp != NULL)
1566 *hashp = NULL;
b34976b6 1567 return FALSE;
252b5132
RH
1568 }
1569 }
1570
1571 if (info->notice_all
c58b9523
AM
1572 || (info->notice_hash != NULL
1573 && bfd_hash_lookup (info->notice_hash, name, FALSE, FALSE) != NULL))
252b5132
RH
1574 {
1575 if (! (*info->callbacks->notice) (info, h->root.string, abfd, section,
1576 value))
b34976b6 1577 return FALSE;
252b5132
RH
1578 }
1579
c58b9523 1580 if (hashp != NULL)
252b5132
RH
1581 *hashp = h;
1582
1583 do
1584 {
1585 enum link_action action;
1586
b34976b6 1587 cycle = FALSE;
252b5132
RH
1588 action = link_action[(int) row][(int) h->type];
1589 switch (action)
1590 {
1591 case FAIL:
1592 abort ();
1593
1594 case NOACT:
1595 /* Do nothing. */
1596 break;
1597
1598 case UND:
1599 /* Make a new undefined symbol. */
1600 h->type = bfd_link_hash_undefined;
1601 h->u.undef.abfd = abfd;
1602 bfd_link_add_undef (info->hash, h);
1603 break;
1604
1605 case WEAK:
1606 /* Make a new weak undefined symbol. */
1607 h->type = bfd_link_hash_undefweak;
1608 h->u.undef.abfd = abfd;
11f25ea6 1609 h->u.undef.weak = abfd;
252b5132
RH
1610 break;
1611
1612 case CDEF:
1613 /* We have found a definition for a symbol which was
1614 previously common. */
1615 BFD_ASSERT (h->type == bfd_link_hash_common);
1616 if (! ((*info->callbacks->multiple_common)
1617 (info, h->root.string,
1618 h->u.c.p->section->owner, bfd_link_hash_common, h->u.c.size,
c58b9523 1619 abfd, bfd_link_hash_defined, 0)))
b34976b6 1620 return FALSE;
252b5132
RH
1621 /* Fall through. */
1622 case DEF:
1623 case DEFW:
1624 {
1625 enum bfd_link_hash_type oldtype;
1626
1627 /* Define a symbol. */
1628 oldtype = h->type;
1629 if (action == DEFW)
1630 h->type = bfd_link_hash_defweak;
1631 else
1632 h->type = bfd_link_hash_defined;
1633 h->u.def.section = section;
1634 h->u.def.value = value;
1635
1636 /* If we have been asked to, we act like collect2 and
1637 identify all functions that might be global
1638 constructors and destructors and pass them up in a
1639 callback. We only do this for certain object file
1640 types, since many object file types can handle this
1641 automatically. */
1642 if (collect && name[0] == '_')
1643 {
1644 const char *s;
1645
1646 /* A constructor or destructor name starts like this:
1647 _+GLOBAL_[_.$][ID][_.$] where the first [_.$] and
1648 the second are the same character (we accept any
1649 character there, in case a new object file format
1650 comes along with even worse naming restrictions). */
1651
1652#define CONS_PREFIX "GLOBAL_"
1653#define CONS_PREFIX_LEN (sizeof CONS_PREFIX - 1)
1654
1655 s = name + 1;
1656 while (*s == '_')
1657 ++s;
1658 if (s[0] == 'G'
1659 && strncmp (s, CONS_PREFIX, CONS_PREFIX_LEN - 1) == 0)
1660 {
1661 char c;
1662
1663 c = s[CONS_PREFIX_LEN + 1];
1664 if ((c == 'I' || c == 'D')
1665 && s[CONS_PREFIX_LEN] == s[CONS_PREFIX_LEN + 2])
1666 {
1667 /* If this is a definition of a symbol which
1668 was previously weakly defined, we are in
1669 trouble. We have already added a
1670 constructor entry for the weak defined
1671 symbol, and now we are trying to add one
1672 for the new symbol. Fortunately, this case
1673 should never arise in practice. */
1674 if (oldtype == bfd_link_hash_defweak)
1675 abort ();
1676
1677 if (! ((*info->callbacks->constructor)
82e51918 1678 (info, c == 'I',
252b5132 1679 h->root.string, abfd, section, value)))
b34976b6 1680 return FALSE;
252b5132
RH
1681 }
1682 }
1683 }
1684 }
1685
1686 break;
1687
1688 case COM:
1689 /* We have found a common definition for a symbol. */
1690 if (h->type == bfd_link_hash_new)
1691 bfd_link_add_undef (info->hash, h);
1692 h->type = bfd_link_hash_common;
1693 h->u.c.p =
c58b9523
AM
1694 bfd_hash_allocate (&info->hash->table,
1695 sizeof (struct bfd_link_hash_common_entry));
252b5132 1696 if (h->u.c.p == NULL)
b34976b6 1697 return FALSE;
252b5132
RH
1698
1699 h->u.c.size = value;
1700
1701 /* Select a default alignment based on the size. This may
1702 be overridden by the caller. */
1703 {
1704 unsigned int power;
1705
1706 power = bfd_log2 (value);
1707 if (power > 4)
1708 power = 4;
1709 h->u.c.p->alignment_power = power;
1710 }
1711
1712 /* The section of a common symbol is only used if the common
1713 symbol is actually allocated. It basically provides a
1714 hook for the linker script to decide which output section
1715 the common symbols should be put in. In most cases, the
1716 section of a common symbol will be bfd_com_section_ptr,
1717 the code here will choose a common symbol section named
1718 "COMMON", and the linker script will contain *(COMMON) in
1719 the appropriate place. A few targets use separate common
1720 sections for small symbols, and they require special
1721 handling. */
1722 if (section == bfd_com_section_ptr)
1723 {
1724 h->u.c.p->section = bfd_make_section_old_way (abfd, "COMMON");
1725 h->u.c.p->section->flags = SEC_ALLOC;
1726 }
1727 else if (section->owner != abfd)
1728 {
1729 h->u.c.p->section = bfd_make_section_old_way (abfd,
1730 section->name);
1731 h->u.c.p->section->flags = SEC_ALLOC;
1732 }
1733 else
1734 h->u.c.p->section = section;
1735 break;
1736
1737 case REF:
1738 /* A reference to a defined symbol. */
f6e332e6
AM
1739 if (h->u.undef.next == NULL && info->hash->undefs_tail != h)
1740 h->u.undef.next = h;
252b5132
RH
1741 break;
1742
1743 case BIG:
1744 /* We have found a common definition for a symbol which
1745 already had a common definition. Use the maximum of the
0a2afbc1 1746 two sizes, and use the section required by the larger symbol. */
252b5132
RH
1747 BFD_ASSERT (h->type == bfd_link_hash_common);
1748 if (! ((*info->callbacks->multiple_common)
1749 (info, h->root.string,
1750 h->u.c.p->section->owner, bfd_link_hash_common, h->u.c.size,
1751 abfd, bfd_link_hash_common, value)))
b34976b6 1752 return FALSE;
252b5132
RH
1753 if (value > h->u.c.size)
1754 {
1755 unsigned int power;
1756
1757 h->u.c.size = value;
1758
1759 /* Select a default alignment based on the size. This may
1760 be overridden by the caller. */
1761 power = bfd_log2 (value);
1762 if (power > 4)
1763 power = 4;
1764 h->u.c.p->alignment_power = power;
0a2afbc1
JW
1765
1766 /* Some systems have special treatment for small commons,
1767 hence we want to select the section used by the larger
1768 symbol. This makes sure the symbol does not go in a
1769 small common section if it is now too large. */
1770 if (section == bfd_com_section_ptr)
1771 {
1772 h->u.c.p->section
1773 = bfd_make_section_old_way (abfd, "COMMON");
1774 h->u.c.p->section->flags = SEC_ALLOC;
1775 }
1776 else if (section->owner != abfd)
1777 {
1778 h->u.c.p->section
1779 = bfd_make_section_old_way (abfd, section->name);
1780 h->u.c.p->section->flags = SEC_ALLOC;
1781 }
1782 else
1783 h->u.c.p->section = section;
252b5132
RH
1784 }
1785 break;
1786
1787 case CREF:
1788 {
1789 bfd *obfd;
1790
1791 /* We have found a common definition for a symbol which
1792 was already defined. FIXME: It would nice if we could
1793 report the BFD which defined an indirect symbol, but we
1794 don't have anywhere to store the information. */
1795 if (h->type == bfd_link_hash_defined
1796 || h->type == bfd_link_hash_defweak)
1797 obfd = h->u.def.section->owner;
1798 else
1799 obfd = NULL;
1800 if (! ((*info->callbacks->multiple_common)
c58b9523 1801 (info, h->root.string, obfd, h->type, 0,
252b5132 1802 abfd, bfd_link_hash_common, value)))
b34976b6 1803 return FALSE;
252b5132
RH
1804 }
1805 break;
1806
1807 case MIND:
1808 /* Multiple indirect symbols. This is OK if they both point
1809 to the same symbol. */
1810 if (strcmp (h->u.i.link->root.string, string) == 0)
1811 break;
1812 /* Fall through. */
1813 case MDEF:
1814 /* Handle a multiple definition. */
c5a43a5d
L
1815 if (!info->allow_multiple_definition)
1816 {
1817 asection *msec = NULL;
1818 bfd_vma mval = 0;
252b5132 1819
c5a43a5d
L
1820 switch (h->type)
1821 {
1822 case bfd_link_hash_defined:
1823 msec = h->u.def.section;
1824 mval = h->u.def.value;
1825 break;
1826 case bfd_link_hash_indirect:
1827 msec = bfd_ind_section_ptr;
1828 mval = 0;
1829 break;
1830 default:
1831 abort ();
1832 }
1833
1834 /* Ignore a redefinition of an absolute symbol to the
1835 same value; it's harmless. */
1836 if (h->type == bfd_link_hash_defined
1837 && bfd_is_abs_section (msec)
1838 && bfd_is_abs_section (section)
1839 && value == mval)
252b5132 1840 break;
252b5132 1841
c5a43a5d
L
1842 if (! ((*info->callbacks->multiple_definition)
1843 (info, h->root.string, msec->owner, msec, mval,
1844 abfd, section, value)))
b34976b6 1845 return FALSE;
c5a43a5d 1846 }
252b5132
RH
1847 break;
1848
1849 case CIND:
1850 /* Create an indirect symbol from an existing common symbol. */
1851 BFD_ASSERT (h->type == bfd_link_hash_common);
1852 if (! ((*info->callbacks->multiple_common)
1853 (info, h->root.string,
1854 h->u.c.p->section->owner, bfd_link_hash_common, h->u.c.size,
c58b9523 1855 abfd, bfd_link_hash_indirect, 0)))
b34976b6 1856 return FALSE;
252b5132
RH
1857 /* Fall through. */
1858 case IND:
1859 /* Create an indirect symbol. */
1860 {
1861 struct bfd_link_hash_entry *inh;
1862
1863 /* STRING is the name of the symbol we want to indirect
1864 to. */
b34976b6
AM
1865 inh = bfd_wrapped_link_hash_lookup (abfd, info, string, TRUE,
1866 copy, FALSE);
c58b9523 1867 if (inh == NULL)
b34976b6 1868 return FALSE;
689effed
L
1869 if (inh->type == bfd_link_hash_indirect
1870 && inh->u.i.link == h)
1871 {
1872 (*_bfd_error_handler)
d003868e
AM
1873 (_("%B: indirect symbol `%s' to `%s' is a loop"),
1874 abfd, name, string);
689effed 1875 bfd_set_error (bfd_error_invalid_operation);
b34976b6 1876 return FALSE;
689effed 1877 }
252b5132
RH
1878 if (inh->type == bfd_link_hash_new)
1879 {
1880 inh->type = bfd_link_hash_undefined;
1881 inh->u.undef.abfd = abfd;
1882 bfd_link_add_undef (info->hash, inh);
1883 }
1884
1885 /* If the indirect symbol has been referenced, we need to
1886 push the reference down to the symbol we are
1887 referencing. */
1888 if (h->type != bfd_link_hash_new)
1889 {
1890 row = UNDEF_ROW;
b34976b6 1891 cycle = TRUE;
252b5132
RH
1892 }
1893
1894 h->type = bfd_link_hash_indirect;
1895 h->u.i.link = inh;
1896 }
1897 break;
1898
1899 case SET:
1900 /* Add an entry to a set. */
1901 if (! (*info->callbacks->add_to_set) (info, h, BFD_RELOC_CTOR,
1902 abfd, section, value))
b34976b6 1903 return FALSE;
252b5132
RH
1904 break;
1905
1906 case WARNC:
1907 /* Issue a warning and cycle. */
1908 if (h->u.i.warning != NULL)
1909 {
1910 if (! (*info->callbacks->warning) (info, h->u.i.warning,
1911 h->root.string, abfd,
c58b9523 1912 NULL, 0))
b34976b6 1913 return FALSE;
252b5132
RH
1914 /* Only issue a warning once. */
1915 h->u.i.warning = NULL;
1916 }
1917 /* Fall through. */
1918 case CYCLE:
1919 /* Try again with the referenced symbol. */
1920 h = h->u.i.link;
b34976b6 1921 cycle = TRUE;
252b5132
RH
1922 break;
1923
1924 case REFC:
1925 /* A reference to an indirect symbol. */
f6e332e6
AM
1926 if (h->u.undef.next == NULL && info->hash->undefs_tail != h)
1927 h->u.undef.next = h;
252b5132 1928 h = h->u.i.link;
b34976b6 1929 cycle = TRUE;
252b5132
RH
1930 break;
1931
1932 case WARN:
1933 /* Issue a warning. */
1934 if (! (*info->callbacks->warning) (info, string, h->root.string,
c58b9523 1935 hash_entry_bfd (h), NULL, 0))
b34976b6 1936 return FALSE;
252b5132
RH
1937 break;
1938
1939 case CWARN:
1940 /* Warn if this symbol has been referenced already,
1941 otherwise add a warning. A symbol has been referenced if
f6e332e6 1942 the u.undef.next field is not NULL, or it is the tail of the
252b5132
RH
1943 undefined symbol list. The REF case above helps to
1944 ensure this. */
f6e332e6 1945 if (h->u.undef.next != NULL || info->hash->undefs_tail == h)
252b5132
RH
1946 {
1947 if (! (*info->callbacks->warning) (info, string, h->root.string,
c58b9523 1948 hash_entry_bfd (h), NULL, 0))
b34976b6 1949 return FALSE;
252b5132
RH
1950 break;
1951 }
1952 /* Fall through. */
1953 case MWARN:
1954 /* Make a warning symbol. */
1955 {
1956 struct bfd_link_hash_entry *sub;
1957
1958 /* STRING is the warning to give. */
1959 sub = ((struct bfd_link_hash_entry *)
1960 ((*info->hash->table.newfunc)
c58b9523 1961 (NULL, &info->hash->table, h->root.string)));
252b5132 1962 if (sub == NULL)
b34976b6 1963 return FALSE;
252b5132
RH
1964 *sub = *h;
1965 sub->type = bfd_link_hash_warning;
1966 sub->u.i.link = h;
1967 if (! copy)
1968 sub->u.i.warning = string;
1969 else
1970 {
1971 char *w;
d4c88bbb 1972 size_t len = strlen (string) + 1;
252b5132 1973
d4c88bbb 1974 w = bfd_hash_allocate (&info->hash->table, len);
252b5132 1975 if (w == NULL)
b34976b6 1976 return FALSE;
d4c88bbb 1977 memcpy (w, string, len);
252b5132
RH
1978 sub->u.i.warning = w;
1979 }
1980
1981 bfd_hash_replace (&info->hash->table,
1982 (struct bfd_hash_entry *) h,
1983 (struct bfd_hash_entry *) sub);
1984 if (hashp != NULL)
1985 *hashp = sub;
1986 }
1987 break;
1988 }
1989 }
1990 while (cycle);
1991
b34976b6 1992 return TRUE;
252b5132
RH
1993}
1994\f
1995/* Generic final link routine. */
1996
b34976b6 1997bfd_boolean
c58b9523 1998_bfd_generic_final_link (bfd *abfd, struct bfd_link_info *info)
252b5132
RH
1999{
2000 bfd *sub;
2001 asection *o;
2002 struct bfd_link_order *p;
2003 size_t outsymalloc;
2004 struct generic_write_global_symbol_info wginfo;
2005
c58b9523 2006 bfd_get_outsymbols (abfd) = NULL;
252b5132
RH
2007 bfd_get_symcount (abfd) = 0;
2008 outsymalloc = 0;
2009
2010 /* Mark all sections which will be included in the output file. */
2011 for (o = abfd->sections; o != NULL; o = o->next)
8423293d 2012 for (p = o->map_head.link_order; p != NULL; p = p->next)
252b5132 2013 if (p->type == bfd_indirect_link_order)
b34976b6 2014 p->u.indirect.section->linker_mark = TRUE;
252b5132
RH
2015
2016 /* Build the output symbol table. */
c58b9523 2017 for (sub = info->input_bfds; sub != NULL; sub = sub->link_next)
252b5132 2018 if (! _bfd_generic_link_output_symbols (abfd, sub, info, &outsymalloc))
b34976b6 2019 return FALSE;
252b5132
RH
2020
2021 /* Accumulate the global symbols. */
2022 wginfo.info = info;
2023 wginfo.output_bfd = abfd;
2024 wginfo.psymalloc = &outsymalloc;
2025 _bfd_generic_link_hash_traverse (_bfd_generic_hash_table (info),
2026 _bfd_generic_link_write_global_symbol,
c58b9523 2027 &wginfo);
252b5132
RH
2028
2029 /* Make sure we have a trailing NULL pointer on OUTSYMBOLS. We
2030 shouldn't really need one, since we have SYMCOUNT, but some old
2031 code still expects one. */
2032 if (! generic_add_output_symbol (abfd, &outsymalloc, NULL))
b34976b6 2033 return FALSE;
252b5132 2034
1049f94e 2035 if (info->relocatable)
252b5132
RH
2036 {
2037 /* Allocate space for the output relocs for each section. */
c58b9523 2038 for (o = abfd->sections; o != NULL; o = o->next)
252b5132
RH
2039 {
2040 o->reloc_count = 0;
8423293d 2041 for (p = o->map_head.link_order; p != NULL; p = p->next)
252b5132
RH
2042 {
2043 if (p->type == bfd_section_reloc_link_order
2044 || p->type == bfd_symbol_reloc_link_order)
2045 ++o->reloc_count;
2046 else if (p->type == bfd_indirect_link_order)
2047 {
2048 asection *input_section;
2049 bfd *input_bfd;
2050 long relsize;
2051 arelent **relocs;
2052 asymbol **symbols;
2053 long reloc_count;
2054
2055 input_section = p->u.indirect.section;
2056 input_bfd = input_section->owner;
2057 relsize = bfd_get_reloc_upper_bound (input_bfd,
2058 input_section);
2059 if (relsize < 0)
b34976b6 2060 return FALSE;
c58b9523 2061 relocs = bfd_malloc (relsize);
252b5132 2062 if (!relocs && relsize != 0)
b34976b6 2063 return FALSE;
252b5132
RH
2064 symbols = _bfd_generic_link_get_symbols (input_bfd);
2065 reloc_count = bfd_canonicalize_reloc (input_bfd,
2066 input_section,
2067 relocs,
2068 symbols);
5ed6aba4 2069 free (relocs);
252b5132 2070 if (reloc_count < 0)
b34976b6 2071 return FALSE;
252b5132
RH
2072 BFD_ASSERT ((unsigned long) reloc_count
2073 == input_section->reloc_count);
2074 o->reloc_count += reloc_count;
252b5132
RH
2075 }
2076 }
2077 if (o->reloc_count > 0)
2078 {
dc810e39
AM
2079 bfd_size_type amt;
2080
2081 amt = o->reloc_count;
2082 amt *= sizeof (arelent *);
c58b9523 2083 o->orelocation = bfd_alloc (abfd, amt);
252b5132 2084 if (!o->orelocation)
b34976b6 2085 return FALSE;
252b5132
RH
2086 o->flags |= SEC_RELOC;
2087 /* Reset the count so that it can be used as an index
2088 when putting in the output relocs. */
2089 o->reloc_count = 0;
2090 }
2091 }
2092 }
2093
2094 /* Handle all the link order information for the sections. */
c58b9523 2095 for (o = abfd->sections; o != NULL; o = o->next)
252b5132 2096 {
8423293d 2097 for (p = o->map_head.link_order; p != NULL; p = p->next)
252b5132
RH
2098 {
2099 switch (p->type)
2100 {
2101 case bfd_section_reloc_link_order:
2102 case bfd_symbol_reloc_link_order:
2103 if (! _bfd_generic_reloc_link_order (abfd, info, o, p))
b34976b6 2104 return FALSE;
252b5132
RH
2105 break;
2106 case bfd_indirect_link_order:
b34976b6
AM
2107 if (! default_indirect_link_order (abfd, info, o, p, TRUE))
2108 return FALSE;
252b5132
RH
2109 break;
2110 default:
2111 if (! _bfd_default_link_order (abfd, info, o, p))
b34976b6 2112 return FALSE;
252b5132
RH
2113 break;
2114 }
2115 }
2116 }
509945ae 2117
b34976b6 2118 return TRUE;
252b5132
RH
2119}
2120
2121/* Add an output symbol to the output BFD. */
2122
b34976b6 2123static bfd_boolean
c58b9523 2124generic_add_output_symbol (bfd *output_bfd, size_t *psymalloc, asymbol *sym)
252b5132
RH
2125{
2126 if (bfd_get_symcount (output_bfd) >= *psymalloc)
2127 {
2128 asymbol **newsyms;
dc810e39 2129 bfd_size_type amt;
252b5132
RH
2130
2131 if (*psymalloc == 0)
2132 *psymalloc = 124;
2133 else
2134 *psymalloc *= 2;
dc810e39
AM
2135 amt = *psymalloc;
2136 amt *= sizeof (asymbol *);
c58b9523
AM
2137 newsyms = bfd_realloc (bfd_get_outsymbols (output_bfd), amt);
2138 if (newsyms == NULL)
b34976b6 2139 return FALSE;
252b5132
RH
2140 bfd_get_outsymbols (output_bfd) = newsyms;
2141 }
2142
2143 bfd_get_outsymbols (output_bfd) [bfd_get_symcount (output_bfd)] = sym;
2144 if (sym != NULL)
2145 ++ bfd_get_symcount (output_bfd);
2146
b34976b6 2147 return TRUE;
252b5132
RH
2148}
2149
2150/* Handle the symbols for an input BFD. */
2151
b34976b6 2152bfd_boolean
c58b9523
AM
2153_bfd_generic_link_output_symbols (bfd *output_bfd,
2154 bfd *input_bfd,
2155 struct bfd_link_info *info,
2156 size_t *psymalloc)
252b5132
RH
2157{
2158 asymbol **sym_ptr;
2159 asymbol **sym_end;
2160
2161 if (! generic_link_read_symbols (input_bfd))
b34976b6 2162 return FALSE;
252b5132
RH
2163
2164 /* Create a filename symbol if we are supposed to. */
c58b9523 2165 if (info->create_object_symbols_section != NULL)
252b5132
RH
2166 {
2167 asection *sec;
2168
c58b9523 2169 for (sec = input_bfd->sections; sec != NULL; sec = sec->next)
252b5132
RH
2170 {
2171 if (sec->output_section == info->create_object_symbols_section)
2172 {
2173 asymbol *newsym;
2174
2175 newsym = bfd_make_empty_symbol (input_bfd);
2176 if (!newsym)
b34976b6 2177 return FALSE;
252b5132
RH
2178 newsym->name = input_bfd->filename;
2179 newsym->value = 0;
2180 newsym->flags = BSF_LOCAL | BSF_FILE;
2181 newsym->section = sec;
2182
2183 if (! generic_add_output_symbol (output_bfd, psymalloc,
2184 newsym))
b34976b6 2185 return FALSE;
252b5132
RH
2186
2187 break;
2188 }
2189 }
2190 }
2191
2192 /* Adjust the values of the globally visible symbols, and write out
2193 local symbols. */
2194 sym_ptr = _bfd_generic_link_get_symbols (input_bfd);
2195 sym_end = sym_ptr + _bfd_generic_link_get_symcount (input_bfd);
2196 for (; sym_ptr < sym_end; sym_ptr++)
2197 {
2198 asymbol *sym;
2199 struct generic_link_hash_entry *h;
b34976b6 2200 bfd_boolean output;
252b5132 2201
c58b9523 2202 h = NULL;
252b5132
RH
2203 sym = *sym_ptr;
2204 if ((sym->flags & (BSF_INDIRECT
2205 | BSF_WARNING
2206 | BSF_GLOBAL
2207 | BSF_CONSTRUCTOR
2208 | BSF_WEAK)) != 0
2209 || bfd_is_und_section (bfd_get_section (sym))
2210 || bfd_is_com_section (bfd_get_section (sym))
2211 || bfd_is_ind_section (bfd_get_section (sym)))
2212 {
2213 if (sym->udata.p != NULL)
c58b9523 2214 h = sym->udata.p;
252b5132
RH
2215 else if ((sym->flags & BSF_CONSTRUCTOR) != 0)
2216 {
2217 /* This case normally means that the main linker code
2218 deliberately ignored this constructor symbol. We
2219 should just pass it through. This will screw up if
2220 the constructor symbol is from a different,
2221 non-generic, object file format, but the case will
2222 only arise when linking with -r, which will probably
2223 fail anyhow, since there will be no way to represent
2224 the relocs in the output format being used. */
2225 h = NULL;
2226 }
2227 else if (bfd_is_und_section (bfd_get_section (sym)))
2228 h = ((struct generic_link_hash_entry *)
2229 bfd_wrapped_link_hash_lookup (output_bfd, info,
2230 bfd_asymbol_name (sym),
b34976b6 2231 FALSE, FALSE, TRUE));
252b5132
RH
2232 else
2233 h = _bfd_generic_link_hash_lookup (_bfd_generic_hash_table (info),
2234 bfd_asymbol_name (sym),
b34976b6 2235 FALSE, FALSE, TRUE);
252b5132 2236
c58b9523 2237 if (h != NULL)
252b5132
RH
2238 {
2239 /* Force all references to this symbol to point to
2240 the same area in memory. It is possible that
2241 this routine will be called with a hash table
2242 other than a generic hash table, so we double
2243 check that. */
2244 if (info->hash->creator == input_bfd->xvec)
2245 {
c58b9523 2246 if (h->sym != NULL)
252b5132
RH
2247 *sym_ptr = sym = h->sym;
2248 }
2249
2250 switch (h->root.type)
2251 {
2252 default:
2253 case bfd_link_hash_new:
2254 abort ();
2255 case bfd_link_hash_undefined:
2256 break;
2257 case bfd_link_hash_undefweak:
2258 sym->flags |= BSF_WEAK;
2259 break;
2260 case bfd_link_hash_indirect:
2261 h = (struct generic_link_hash_entry *) h->root.u.i.link;
2262 /* fall through */
2263 case bfd_link_hash_defined:
2264 sym->flags |= BSF_GLOBAL;
2265 sym->flags &=~ BSF_CONSTRUCTOR;
2266 sym->value = h->root.u.def.value;
2267 sym->section = h->root.u.def.section;
2268 break;
2269 case bfd_link_hash_defweak:
2270 sym->flags |= BSF_WEAK;
2271 sym->flags &=~ BSF_CONSTRUCTOR;
2272 sym->value = h->root.u.def.value;
2273 sym->section = h->root.u.def.section;
2274 break;
2275 case bfd_link_hash_common:
2276 sym->value = h->root.u.c.size;
2277 sym->flags |= BSF_GLOBAL;
2278 if (! bfd_is_com_section (sym->section))
2279 {
2280 BFD_ASSERT (bfd_is_und_section (sym->section));
2281 sym->section = bfd_com_section_ptr;
2282 }
2283 /* We do not set the section of the symbol to
2284 h->root.u.c.p->section. That value was saved so
2285 that we would know where to allocate the symbol
2286 if it was defined. In this case the type is
2287 still bfd_link_hash_common, so we did not define
2288 it, so we do not want to use that section. */
2289 break;
2290 }
2291 }
2292 }
2293
2294 /* This switch is straight from the old code in
2295 write_file_locals in ldsym.c. */
2296 if (info->strip == strip_all
2297 || (info->strip == strip_some
c58b9523
AM
2298 && bfd_hash_lookup (info->keep_hash, bfd_asymbol_name (sym),
2299 FALSE, FALSE) == NULL))
b34976b6 2300 output = FALSE;
252b5132
RH
2301 else if ((sym->flags & (BSF_GLOBAL | BSF_WEAK)) != 0)
2302 {
2303 /* If this symbol is marked as occurring now, rather
2304 than at the end, output it now. This is used for
2305 COFF C_EXT FCN symbols. FIXME: There must be a
2306 better way. */
2307 if (bfd_asymbol_bfd (sym) == input_bfd
2308 && (sym->flags & BSF_NOT_AT_END) != 0)
b34976b6 2309 output = TRUE;
252b5132 2310 else
b34976b6 2311 output = FALSE;
252b5132
RH
2312 }
2313 else if (bfd_is_ind_section (sym->section))
b34976b6 2314 output = FALSE;
252b5132
RH
2315 else if ((sym->flags & BSF_DEBUGGING) != 0)
2316 {
2317 if (info->strip == strip_none)
b34976b6 2318 output = TRUE;
252b5132 2319 else
b34976b6 2320 output = FALSE;
252b5132
RH
2321 }
2322 else if (bfd_is_und_section (sym->section)
2323 || bfd_is_com_section (sym->section))
b34976b6 2324 output = FALSE;
252b5132
RH
2325 else if ((sym->flags & BSF_LOCAL) != 0)
2326 {
2327 if ((sym->flags & BSF_WARNING) != 0)
b34976b6 2328 output = FALSE;
252b5132
RH
2329 else
2330 {
2331 switch (info->discard)
2332 {
2333 default:
2334 case discard_all:
b34976b6 2335 output = FALSE;
252b5132 2336 break;
f5fa8ca2 2337 case discard_sec_merge:
b34976b6 2338 output = TRUE;
1049f94e 2339 if (info->relocatable
f5fa8ca2
JJ
2340 || ! (sym->section->flags & SEC_MERGE))
2341 break;
2342 /* FALLTHROUGH */
252b5132
RH
2343 case discard_l:
2344 if (bfd_is_local_label (input_bfd, sym))
b34976b6 2345 output = FALSE;
252b5132 2346 else
b34976b6 2347 output = TRUE;
252b5132
RH
2348 break;
2349 case discard_none:
b34976b6 2350 output = TRUE;
252b5132
RH
2351 break;
2352 }
2353 }
2354 }
2355 else if ((sym->flags & BSF_CONSTRUCTOR))
2356 {
2357 if (info->strip != strip_all)
b34976b6 2358 output = TRUE;
252b5132 2359 else
b34976b6 2360 output = FALSE;
252b5132
RH
2361 }
2362 else
2363 abort ();
2364
2365 /* If this symbol is in a section which is not being included
ab82c5b9 2366 in the output file, then we don't want to output the
f02571c5
AM
2367 symbol. */
2368 if (!bfd_is_abs_section (sym->section)
2369 && bfd_section_removed_from_list (output_bfd,
ab82c5b9 2370 sym->section->output_section))
b34976b6 2371 output = FALSE;
252b5132
RH
2372
2373 if (output)
2374 {
2375 if (! generic_add_output_symbol (output_bfd, psymalloc, sym))
b34976b6 2376 return FALSE;
c58b9523 2377 if (h != NULL)
b34976b6 2378 h->written = TRUE;
252b5132
RH
2379 }
2380 }
2381
b34976b6 2382 return TRUE;
252b5132
RH
2383}
2384
2385/* Set the section and value of a generic BFD symbol based on a linker
2386 hash table entry. */
2387
2388static void
c58b9523 2389set_symbol_from_hash (asymbol *sym, struct bfd_link_hash_entry *h)
252b5132
RH
2390{
2391 switch (h->type)
2392 {
2393 default:
2394 abort ();
2395 break;
2396 case bfd_link_hash_new:
2397 /* This can happen when a constructor symbol is seen but we are
2398 not building constructors. */
2399 if (sym->section != NULL)
2400 {
2401 BFD_ASSERT ((sym->flags & BSF_CONSTRUCTOR) != 0);
2402 }
2403 else
2404 {
2405 sym->flags |= BSF_CONSTRUCTOR;
2406 sym->section = bfd_abs_section_ptr;
2407 sym->value = 0;
2408 }
2409 break;
2410 case bfd_link_hash_undefined:
2411 sym->section = bfd_und_section_ptr;
2412 sym->value = 0;
2413 break;
2414 case bfd_link_hash_undefweak:
2415 sym->section = bfd_und_section_ptr;
2416 sym->value = 0;
2417 sym->flags |= BSF_WEAK;
2418 break;
2419 case bfd_link_hash_defined:
2420 sym->section = h->u.def.section;
2421 sym->value = h->u.def.value;
2422 break;
2423 case bfd_link_hash_defweak:
2424 sym->flags |= BSF_WEAK;
2425 sym->section = h->u.def.section;
2426 sym->value = h->u.def.value;
2427 break;
2428 case bfd_link_hash_common:
2429 sym->value = h->u.c.size;
2430 if (sym->section == NULL)
2431 sym->section = bfd_com_section_ptr;
2432 else if (! bfd_is_com_section (sym->section))
2433 {
2434 BFD_ASSERT (bfd_is_und_section (sym->section));
2435 sym->section = bfd_com_section_ptr;
2436 }
2437 /* Do not set the section; see _bfd_generic_link_output_symbols. */
2438 break;
2439 case bfd_link_hash_indirect:
2440 case bfd_link_hash_warning:
2441 /* FIXME: What should we do here? */
2442 break;
2443 }
2444}
2445
2446/* Write out a global symbol, if it hasn't already been written out.
2447 This is called for each symbol in the hash table. */
2448
b34976b6 2449bfd_boolean
c58b9523
AM
2450_bfd_generic_link_write_global_symbol (struct generic_link_hash_entry *h,
2451 void *data)
252b5132 2452{
c58b9523 2453 struct generic_write_global_symbol_info *wginfo = data;
252b5132
RH
2454 asymbol *sym;
2455
e92d460e
AM
2456 if (h->root.type == bfd_link_hash_warning)
2457 h = (struct generic_link_hash_entry *) h->root.u.i.link;
2458
252b5132 2459 if (h->written)
b34976b6 2460 return TRUE;
252b5132 2461
b34976b6 2462 h->written = TRUE;
252b5132
RH
2463
2464 if (wginfo->info->strip == strip_all
2465 || (wginfo->info->strip == strip_some
2466 && bfd_hash_lookup (wginfo->info->keep_hash, h->root.root.string,
b34976b6
AM
2467 FALSE, FALSE) == NULL))
2468 return TRUE;
252b5132 2469
c58b9523 2470 if (h->sym != NULL)
252b5132
RH
2471 sym = h->sym;
2472 else
2473 {
2474 sym = bfd_make_empty_symbol (wginfo->output_bfd);
2475 if (!sym)
b34976b6 2476 return FALSE;
252b5132
RH
2477 sym->name = h->root.root.string;
2478 sym->flags = 0;
2479 }
2480
2481 set_symbol_from_hash (sym, &h->root);
2482
2483 sym->flags |= BSF_GLOBAL;
2484
2485 if (! generic_add_output_symbol (wginfo->output_bfd, wginfo->psymalloc,
2486 sym))
2487 {
2488 /* FIXME: No way to return failure. */
2489 abort ();
2490 }
2491
b34976b6 2492 return TRUE;
252b5132
RH
2493}
2494
2495/* Create a relocation. */
2496
b34976b6 2497bfd_boolean
c58b9523
AM
2498_bfd_generic_reloc_link_order (bfd *abfd,
2499 struct bfd_link_info *info,
2500 asection *sec,
2501 struct bfd_link_order *link_order)
252b5132
RH
2502{
2503 arelent *r;
2504
1049f94e 2505 if (! info->relocatable)
252b5132 2506 abort ();
c58b9523 2507 if (sec->orelocation == NULL)
252b5132
RH
2508 abort ();
2509
c58b9523
AM
2510 r = bfd_alloc (abfd, sizeof (arelent));
2511 if (r == NULL)
b34976b6 2512 return FALSE;
509945ae 2513
252b5132
RH
2514 r->address = link_order->offset;
2515 r->howto = bfd_reloc_type_lookup (abfd, link_order->u.reloc.p->reloc);
2516 if (r->howto == 0)
2517 {
2518 bfd_set_error (bfd_error_bad_value);
b34976b6 2519 return FALSE;
252b5132
RH
2520 }
2521
2522 /* Get the symbol to use for the relocation. */
2523 if (link_order->type == bfd_section_reloc_link_order)
2524 r->sym_ptr_ptr = link_order->u.reloc.p->u.section->symbol_ptr_ptr;
2525 else
2526 {
2527 struct generic_link_hash_entry *h;
2528
2529 h = ((struct generic_link_hash_entry *)
2530 bfd_wrapped_link_hash_lookup (abfd, info,
2531 link_order->u.reloc.p->u.name,
b34976b6 2532 FALSE, FALSE, TRUE));
c58b9523 2533 if (h == NULL
252b5132
RH
2534 || ! h->written)
2535 {
2536 if (! ((*info->callbacks->unattached_reloc)
c58b9523 2537 (info, link_order->u.reloc.p->u.name, NULL, NULL, 0)))
b34976b6 2538 return FALSE;
252b5132 2539 bfd_set_error (bfd_error_bad_value);
b34976b6 2540 return FALSE;
252b5132
RH
2541 }
2542 r->sym_ptr_ptr = &h->sym;
2543 }
2544
2545 /* If this is an inplace reloc, write the addend to the object file.
2546 Otherwise, store it in the reloc addend. */
2547 if (! r->howto->partial_inplace)
2548 r->addend = link_order->u.reloc.p->addend;
2549 else
2550 {
2551 bfd_size_type size;
2552 bfd_reloc_status_type rstat;
2553 bfd_byte *buf;
b34976b6 2554 bfd_boolean ok;
dc810e39 2555 file_ptr loc;
252b5132
RH
2556
2557 size = bfd_get_reloc_size (r->howto);
c58b9523
AM
2558 buf = bfd_zmalloc (size);
2559 if (buf == NULL)
b34976b6 2560 return FALSE;
252b5132 2561 rstat = _bfd_relocate_contents (r->howto, abfd,
dc810e39
AM
2562 (bfd_vma) link_order->u.reloc.p->addend,
2563 buf);
252b5132
RH
2564 switch (rstat)
2565 {
2566 case bfd_reloc_ok:
2567 break;
2568 default:
2569 case bfd_reloc_outofrange:
2570 abort ();
2571 case bfd_reloc_overflow:
2572 if (! ((*info->callbacks->reloc_overflow)
dfeffb9f 2573 (info, NULL,
252b5132
RH
2574 (link_order->type == bfd_section_reloc_link_order
2575 ? bfd_section_name (abfd, link_order->u.reloc.p->u.section)
2576 : link_order->u.reloc.p->u.name),
2577 r->howto->name, link_order->u.reloc.p->addend,
c58b9523 2578 NULL, NULL, 0)))
252b5132
RH
2579 {
2580 free (buf);
b34976b6 2581 return FALSE;
252b5132
RH
2582 }
2583 break;
2584 }
dc810e39 2585 loc = link_order->offset * bfd_octets_per_byte (abfd);
c58b9523 2586 ok = bfd_set_section_contents (abfd, sec, buf, loc, size);
252b5132
RH
2587 free (buf);
2588 if (! ok)
b34976b6 2589 return FALSE;
252b5132
RH
2590
2591 r->addend = 0;
2592 }
2593
2594 sec->orelocation[sec->reloc_count] = r;
2595 ++sec->reloc_count;
2596
b34976b6 2597 return TRUE;
252b5132
RH
2598}
2599\f
2600/* Allocate a new link_order for a section. */
2601
2602struct bfd_link_order *
c58b9523 2603bfd_new_link_order (bfd *abfd, asection *section)
252b5132 2604{
dc810e39 2605 bfd_size_type amt = sizeof (struct bfd_link_order);
fd96f80f
AM
2606 struct bfd_link_order *new;
2607
c58b9523 2608 new = bfd_zalloc (abfd, amt);
252b5132
RH
2609 if (!new)
2610 return NULL;
2611
2612 new->type = bfd_undefined_link_order;
252b5132 2613
8423293d
AM
2614 if (section->map_tail.link_order != NULL)
2615 section->map_tail.link_order->next = new;
252b5132 2616 else
8423293d
AM
2617 section->map_head.link_order = new;
2618 section->map_tail.link_order = new;
252b5132
RH
2619
2620 return new;
2621}
2622
2623/* Default link order processing routine. Note that we can not handle
2624 the reloc_link_order types here, since they depend upon the details
2625 of how the particular backends generates relocs. */
2626
b34976b6 2627bfd_boolean
c58b9523
AM
2628_bfd_default_link_order (bfd *abfd,
2629 struct bfd_link_info *info,
2630 asection *sec,
2631 struct bfd_link_order *link_order)
252b5132
RH
2632{
2633 switch (link_order->type)
2634 {
2635 case bfd_undefined_link_order:
2636 case bfd_section_reloc_link_order:
2637 case bfd_symbol_reloc_link_order:
2638 default:
2639 abort ();
2640 case bfd_indirect_link_order:
2641 return default_indirect_link_order (abfd, info, sec, link_order,
b34976b6 2642 FALSE);
252b5132 2643 case bfd_data_link_order:
fd96f80f 2644 return default_data_link_order (abfd, info, sec, link_order);
252b5132
RH
2645 }
2646}
2647
fd96f80f 2648/* Default routine to handle a bfd_data_link_order. */
252b5132 2649
b34976b6 2650static bfd_boolean
c58b9523
AM
2651default_data_link_order (bfd *abfd,
2652 struct bfd_link_info *info ATTRIBUTE_UNUSED,
2653 asection *sec,
2654 struct bfd_link_order *link_order)
252b5132 2655{
dc810e39 2656 bfd_size_type size;
fd96f80f
AM
2657 size_t fill_size;
2658 bfd_byte *fill;
0ac450b6 2659 file_ptr loc;
b34976b6 2660 bfd_boolean result;
252b5132
RH
2661
2662 BFD_ASSERT ((sec->flags & SEC_HAS_CONTENTS) != 0);
2663
dc810e39 2664 size = link_order->size;
0ac450b6 2665 if (size == 0)
b34976b6 2666 return TRUE;
0ac450b6 2667
fd96f80f
AM
2668 fill = link_order->u.data.contents;
2669 fill_size = link_order->u.data.size;
2670 if (fill_size != 0 && fill_size < size)
2671 {
2672 bfd_byte *p;
c58b9523 2673 fill = bfd_malloc (size);
fd96f80f 2674 if (fill == NULL)
b34976b6 2675 return FALSE;
fd96f80f
AM
2676 p = fill;
2677 if (fill_size == 1)
2678 memset (p, (int) link_order->u.data.contents[0], (size_t) size);
2679 else
2680 {
2681 do
2682 {
2683 memcpy (p, link_order->u.data.contents, fill_size);
2684 p += fill_size;
2685 size -= fill_size;
2686 }
2687 while (size >= fill_size);
2688 if (size != 0)
2689 memcpy (p, link_order->u.data.contents, (size_t) size);
2690 size = link_order->size;
2691 }
2692 }
0ac450b6 2693
dc810e39 2694 loc = link_order->offset * bfd_octets_per_byte (abfd);
fd96f80f 2695 result = bfd_set_section_contents (abfd, sec, fill, loc, size);
0ac450b6 2696
fd96f80f
AM
2697 if (fill != link_order->u.data.contents)
2698 free (fill);
252b5132
RH
2699 return result;
2700}
2701
2702/* Default routine to handle a bfd_indirect_link_order. */
2703
b34976b6 2704static bfd_boolean
c58b9523
AM
2705default_indirect_link_order (bfd *output_bfd,
2706 struct bfd_link_info *info,
2707 asection *output_section,
2708 struct bfd_link_order *link_order,
2709 bfd_boolean generic_linker)
252b5132
RH
2710{
2711 asection *input_section;
2712 bfd *input_bfd;
2713 bfd_byte *contents = NULL;
2714 bfd_byte *new_contents;
dc810e39
AM
2715 bfd_size_type sec_size;
2716 file_ptr loc;
252b5132
RH
2717
2718 BFD_ASSERT ((output_section->flags & SEC_HAS_CONTENTS) != 0);
2719
2720 if (link_order->size == 0)
b34976b6 2721 return TRUE;
252b5132
RH
2722
2723 input_section = link_order->u.indirect.section;
2724 input_bfd = input_section->owner;
2725
2726 BFD_ASSERT (input_section->output_section == output_section);
2727 BFD_ASSERT (input_section->output_offset == link_order->offset);
eea6121a 2728 BFD_ASSERT (input_section->size == link_order->size);
252b5132 2729
1049f94e 2730 if (info->relocatable
252b5132 2731 && input_section->reloc_count > 0
c58b9523 2732 && output_section->orelocation == NULL)
252b5132
RH
2733 {
2734 /* Space has not been allocated for the output relocations.
2735 This can happen when we are called by a specific backend
2736 because somebody is attempting to link together different
2737 types of object files. Handling this case correctly is
2738 difficult, and sometimes impossible. */
2739 (*_bfd_error_handler)
1049f94e 2740 (_("Attempt to do relocatable link with %s input and %s output"),
252b5132
RH
2741 bfd_get_target (input_bfd), bfd_get_target (output_bfd));
2742 bfd_set_error (bfd_error_wrong_format);
b34976b6 2743 return FALSE;
252b5132
RH
2744 }
2745
2746 if (! generic_linker)
2747 {
2748 asymbol **sympp;
2749 asymbol **symppend;
2750
2751 /* Get the canonical symbols. The generic linker will always
2752 have retrieved them by this point, but we are being called by
2753 a specific linker, presumably because we are linking
2754 different types of object files together. */
2755 if (! generic_link_read_symbols (input_bfd))
b34976b6 2756 return FALSE;
252b5132
RH
2757
2758 /* Since we have been called by a specific linker, rather than
2759 the generic linker, the values of the symbols will not be
2760 right. They will be the values as seen in the input file,
2761 not the values of the final link. We need to fix them up
2762 before we can relocate the section. */
2763 sympp = _bfd_generic_link_get_symbols (input_bfd);
2764 symppend = sympp + _bfd_generic_link_get_symcount (input_bfd);
2765 for (; sympp < symppend; sympp++)
2766 {
2767 asymbol *sym;
2768 struct bfd_link_hash_entry *h;
2769
2770 sym = *sympp;
2771
2772 if ((sym->flags & (BSF_INDIRECT
2773 | BSF_WARNING
2774 | BSF_GLOBAL
2775 | BSF_CONSTRUCTOR
2776 | BSF_WEAK)) != 0
2777 || bfd_is_und_section (bfd_get_section (sym))
2778 || bfd_is_com_section (bfd_get_section (sym))
2779 || bfd_is_ind_section (bfd_get_section (sym)))
2780 {
2781 /* sym->udata may have been set by
2782 generic_link_add_symbol_list. */
2783 if (sym->udata.p != NULL)
c58b9523 2784 h = sym->udata.p;
252b5132
RH
2785 else if (bfd_is_und_section (bfd_get_section (sym)))
2786 h = bfd_wrapped_link_hash_lookup (output_bfd, info,
2787 bfd_asymbol_name (sym),
b34976b6 2788 FALSE, FALSE, TRUE);
252b5132
RH
2789 else
2790 h = bfd_link_hash_lookup (info->hash,
2791 bfd_asymbol_name (sym),
b34976b6 2792 FALSE, FALSE, TRUE);
252b5132
RH
2793 if (h != NULL)
2794 set_symbol_from_hash (sym, h);
2795 }
509945ae 2796 }
252b5132
RH
2797 }
2798
2799 /* Get and relocate the section contents. */
1a23a9e6
AM
2800 sec_size = (input_section->rawsize > input_section->size
2801 ? input_section->rawsize
2802 : input_section->size);
c58b9523 2803 contents = bfd_malloc (sec_size);
dc810e39 2804 if (contents == NULL && sec_size != 0)
252b5132
RH
2805 goto error_return;
2806 new_contents = (bfd_get_relocated_section_contents
1049f94e 2807 (output_bfd, info, link_order, contents, info->relocatable,
252b5132
RH
2808 _bfd_generic_link_get_symbols (input_bfd)));
2809 if (!new_contents)
2810 goto error_return;
2811
2812 /* Output the section contents. */
dc810e39 2813 loc = link_order->offset * bfd_octets_per_byte (output_bfd);
252b5132 2814 if (! bfd_set_section_contents (output_bfd, output_section,
c58b9523 2815 new_contents, loc, link_order->size))
252b5132
RH
2816 goto error_return;
2817
2818 if (contents != NULL)
2819 free (contents);
b34976b6 2820 return TRUE;
252b5132
RH
2821
2822 error_return:
2823 if (contents != NULL)
2824 free (contents);
b34976b6 2825 return FALSE;
252b5132
RH
2826}
2827
2828/* A little routine to count the number of relocs in a link_order
2829 list. */
2830
2831unsigned int
c58b9523 2832_bfd_count_link_order_relocs (struct bfd_link_order *link_order)
252b5132
RH
2833{
2834 register unsigned int c;
2835 register struct bfd_link_order *l;
2836
2837 c = 0;
c58b9523 2838 for (l = link_order; l != NULL; l = l->next)
252b5132
RH
2839 {
2840 if (l->type == bfd_section_reloc_link_order
2841 || l->type == bfd_symbol_reloc_link_order)
2842 ++c;
2843 }
2844
2845 return c;
2846}
2847
2848/*
2849FUNCTION
2850 bfd_link_split_section
2851
2852SYNOPSIS
c58b9523 2853 bfd_boolean bfd_link_split_section (bfd *abfd, asection *sec);
252b5132
RH
2854
2855DESCRIPTION
2856 Return nonzero if @var{sec} should be split during a
2857 reloceatable or final link.
2858
2859.#define bfd_link_split_section(abfd, sec) \
2860. BFD_SEND (abfd, _bfd_link_split_section, (abfd, sec))
2861.
2862
2863*/
2864
b34976b6 2865bfd_boolean
c58b9523
AM
2866_bfd_generic_link_split_section (bfd *abfd ATTRIBUTE_UNUSED,
2867 asection *sec ATTRIBUTE_UNUSED)
252b5132 2868{
b34976b6 2869 return FALSE;
252b5132 2870}
082b7297
L
2871
2872/*
2873FUNCTION
2874 bfd_section_already_linked
2875
2876SYNOPSIS
2877 void bfd_section_already_linked (bfd *abfd, asection *sec);
2878
2879DESCRIPTION
2880 Check if @var{sec} has been already linked during a reloceatable
2881 or final link.
2882
2883.#define bfd_section_already_linked(abfd, sec) \
2884. BFD_SEND (abfd, _section_already_linked, (abfd, sec))
2885.
2886
2887*/
2888
2889/* Sections marked with the SEC_LINK_ONCE flag should only be linked
2890 once into the output. This routine checks each section, and
2891 arrange to discard it if a section of the same name has already
2892 been linked. This code assumes that all relevant sections have the
2893 SEC_LINK_ONCE flag set; that is, it does not depend solely upon the
2894 section name. bfd_section_already_linked is called via
2895 bfd_map_over_sections. */
2896
2897/* The hash table. */
2898
2899static struct bfd_hash_table _bfd_section_already_linked_table;
2900
2901/* Support routines for the hash table used by section_already_linked,
3d7f7666
L
2902 initialize the table, traverse, lookup, fill in an entry and remove
2903 the table. */
2904
2905void
2906bfd_section_already_linked_table_traverse
2907 (bfd_boolean (*func) (struct bfd_section_already_linked_hash_entry *,
2908 void *), void *info)
2909{
2910 bfd_hash_traverse (&_bfd_section_already_linked_table,
2911 (bfd_boolean (*) (struct bfd_hash_entry *,
2912 void *)) func,
2913 info);
2914}
082b7297
L
2915
2916struct bfd_section_already_linked_hash_entry *
2917bfd_section_already_linked_table_lookup (const char *name)
2918{
2919 return ((struct bfd_section_already_linked_hash_entry *)
2920 bfd_hash_lookup (&_bfd_section_already_linked_table, name,
2921 TRUE, FALSE));
2922}
2923
2924void
2925bfd_section_already_linked_table_insert
2926 (struct bfd_section_already_linked_hash_entry *already_linked_list,
2927 asection *sec)
2928{
2929 struct bfd_section_already_linked *l;
2930
2931 /* Allocate the memory from the same obstack as the hash table is
2932 kept in. */
2933 l = bfd_hash_allocate (&_bfd_section_already_linked_table, sizeof *l);
2934 l->sec = sec;
2935 l->next = already_linked_list->entry;
2936 already_linked_list->entry = l;
2937}
2938
2939static struct bfd_hash_entry *
2940already_linked_newfunc (struct bfd_hash_entry *entry ATTRIBUTE_UNUSED,
2941 struct bfd_hash_table *table,
2942 const char *string ATTRIBUTE_UNUSED)
2943{
2944 struct bfd_section_already_linked_hash_entry *ret =
2945 bfd_hash_allocate (table, sizeof *ret);
2946
2947 ret->entry = NULL;
2948
2949 return &ret->root;
2950}
2951
2952bfd_boolean
2953bfd_section_already_linked_table_init (void)
2954{
2955 return bfd_hash_table_init_n (&_bfd_section_already_linked_table,
2956 already_linked_newfunc, 42);
2957}
2958
2959void
2960bfd_section_already_linked_table_free (void)
2961{
2962 bfd_hash_table_free (&_bfd_section_already_linked_table);
2963}
2964
2965/* This is used on non-ELF inputs. */
2966
2967void
2968_bfd_generic_section_already_linked (bfd *abfd, asection *sec)
2969{
2970 flagword flags;
2971 const char *name;
2972 struct bfd_section_already_linked *l;
2973 struct bfd_section_already_linked_hash_entry *already_linked_list;
2974
2975 flags = sec->flags;
2976 if ((flags & SEC_LINK_ONCE) == 0)
2977 return;
2978
2979 /* FIXME: When doing a relocatable link, we may have trouble
2980 copying relocations in other sections that refer to local symbols
2981 in the section being discarded. Those relocations will have to
2982 be converted somehow; as of this writing I'm not sure that any of
2983 the backends handle that correctly.
2984
2985 It is tempting to instead not discard link once sections when
2986 doing a relocatable link (technically, they should be discarded
2987 whenever we are building constructors). However, that fails,
2988 because the linker winds up combining all the link once sections
2989 into a single large link once section, which defeats the purpose
2990 of having link once sections in the first place. */
2991
2992 name = bfd_get_section_name (abfd, sec);
2993
2994 already_linked_list = bfd_section_already_linked_table_lookup (name);
2995
2996 for (l = already_linked_list->entry; l != NULL; l = l->next)
2997 {
2998 bfd_boolean skip = FALSE;
2999 struct coff_comdat_info *s_comdat
3000 = bfd_coff_get_comdat_section (abfd, sec);
3001 struct coff_comdat_info *l_comdat
3002 = bfd_coff_get_comdat_section (l->sec->owner, l->sec);
3003
3004 /* We may have 3 different sections on the list: group section,
3005 comdat section and linkonce section. SEC may be a linkonce or
3006 comdat section. We always ignore group section. For non-COFF
3007 inputs, we also ignore comdat section.
3008
3009 FIXME: Is that safe to match a linkonce section with a comdat
3010 section for COFF inputs? */
3011 if ((l->sec->flags & SEC_GROUP) != 0)
3012 skip = TRUE;
3013 else if (bfd_get_flavour (abfd) == bfd_target_coff_flavour)
3014 {
3015 if (s_comdat != NULL
3016 && l_comdat != NULL
3017 && strcmp (s_comdat->name, l_comdat->name) != 0)
3018 skip = TRUE;
3019 }
3020 else if (l_comdat != NULL)
3021 skip = TRUE;
3022
3023 if (!skip)
3024 {
3025 /* The section has already been linked. See if we should
3026 issue a warning. */
3027 switch (flags & SEC_LINK_DUPLICATES)
3028 {
3029 default:
3030 abort ();
3031
3032 case SEC_LINK_DUPLICATES_DISCARD:
3033 break;
3034
3035 case SEC_LINK_DUPLICATES_ONE_ONLY:
d003868e
AM
3036 (*_bfd_error_handler)
3037 (_("%B: warning: ignoring duplicate section `%A'\n"),
3038 abfd, sec);
082b7297
L
3039 break;
3040
3041 case SEC_LINK_DUPLICATES_SAME_CONTENTS:
3042 /* FIXME: We should really dig out the contents of both
3043 sections and memcmp them. The COFF/PE spec says that
3044 the Microsoft linker does not implement this
3045 correctly, so I'm not going to bother doing it
3046 either. */
3047 /* Fall through. */
3048 case SEC_LINK_DUPLICATES_SAME_SIZE:
3049 if (sec->size != l->sec->size)
3050 (*_bfd_error_handler)
d003868e
AM
3051 (_("%B: warning: duplicate section `%A' has different size\n"),
3052 abfd, sec);
082b7297
L
3053 break;
3054 }
3055
3056 /* Set the output_section field so that lang_add_section
3057 does not create a lang_input_section structure for this
3058 section. Since there might be a symbol in the section
3059 being discarded, we must retain a pointer to the section
3060 which we are really going to use. */
3061 sec->output_section = bfd_abs_section_ptr;
3062 sec->kept_section = l->sec;
3063
3064 return;
3065 }
3066 }
3067
3068 /* This is the first section with this name. Record it. */
3069 bfd_section_already_linked_table_insert (already_linked_list, sec);
3070}
1e035701
AM
3071
3072/* Convert symbols in excluded output sections to absolute. */
3073
3074static bfd_boolean
3075fix_syms (struct bfd_link_hash_entry *h, void *data)
3076{
3077 bfd *obfd = (bfd *) data;
3078
3079 if (h->type == bfd_link_hash_warning)
3080 h = h->u.i.link;
3081
3082 if (h->type == bfd_link_hash_defined
3083 || h->type == bfd_link_hash_defweak)
3084 {
3085 asection *s = h->u.def.section;
3086 if (s != NULL
3087 && s->output_section != NULL
3088 && (s->output_section->flags & SEC_EXCLUDE) != 0
3089 && bfd_section_removed_from_list (obfd, s->output_section))
3090 {
3091 h->u.def.value += s->output_offset + s->output_section->vma;
3092 h->u.def.section = bfd_abs_section_ptr;
3093 }
3094 }
3095
3096 return TRUE;
3097}
3098
3099void
3100_bfd_fix_excluded_sec_syms (bfd *obfd, struct bfd_link_info *info)
3101{
3102 bfd_link_hash_traverse (info->hash, fix_syms, obfd);
3103}
This page took 0.488219 seconds and 4 git commands to generate.