* config/cplus-dem.c: Removed. It isn't used. Even if it was,
[deliverable/binutils-gdb.git] / bfd / linker.c
CommitLineData
da6b2d99 1/* linker.c -- BFD linker routines
9783e04a 2 Copyright (C) 1993, 94 Free Software Foundation, Inc.
da6b2d99
ILT
3 Written by Steve Chamberlain and Ian Lance Taylor, Cygnus Support
4
9783e04a 5This file is part of BFD, the Binary File Descriptor library.
da6b2d99 6
9783e04a 7This program is free software; you can redistribute it and/or modify
da6b2d99 8it under the terms of the GNU General Public License as published by
9783e04a
DM
9the Free Software Foundation; either version 2 of the License, or
10(at your option) any later version.
da6b2d99 11
9783e04a 12This program is distributed in the hope that it will be useful,
da6b2d99
ILT
13but WITHOUT ANY WARRANTY; without even the implied warranty of
14MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15GNU General Public License for more details.
16
17You should have received a copy of the GNU General Public License
9783e04a
DM
18along with this program; if not, write to the Free Software
19Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
da6b2d99
ILT
20
21#include "bfd.h"
22#include "sysdep.h"
23#include "libbfd.h"
24#include "bfdlink.h"
25#include "genlink.h"
26
d4366f97
ILT
27/*
28SECTION
29 Linker Functions
30
31@cindex Linker
32 The linker uses three special entry points in the BFD target
33 vector. It is not necessary to write special routines for
34 these entry points when creating a new BFD back end, since
35 generic versions are provided. However, writing them can
36 speed up linking and make it use significantly less runtime
37 memory.
38
39 The first routine creates a hash table used by the other
40 routines. The second routine adds the symbols from an object
41 file to the hash table. The third routine takes all the
42 object files and links them together to create the output
43 file. These routines are designed so that the linker proper
44 does not need to know anything about the symbols in the object
45 files that it is linking. The linker merely arranges the
46 sections as directed by the linker script and lets BFD handle
47 the details of symbols and relocs.
48
49 The second routine and third routines are passed a pointer to
50 a <<struct bfd_link_info>> structure (defined in
51 <<bfdlink.h>>) which holds information relevant to the link,
52 including the linker hash table (which was created by the
53 first routine) and a set of callback functions to the linker
54 proper.
55
56 The generic linker routines are in <<linker.c>>, and use the
57 header file <<genlink.h>>. As of this writing, the only back
58 ends which have implemented versions of these routines are
59 a.out (in <<aoutx.h>>) and ECOFF (in <<ecoff.c>>). The a.out
60 routines are used as examples throughout this section.
61
62@menu
63@* Creating a Linker Hash Table::
64@* Adding Symbols to the Hash Table::
65@* Performing the Final Link::
66@end menu
67
68INODE
69Creating a Linker Hash Table, Adding Symbols to the Hash Table, Linker Functions, Linker Functions
70SUBSECTION
71 Creating a linker hash table
72
73@cindex _bfd_link_hash_table_create in target vector
74@cindex target vector (_bfd_link_hash_table_create)
75 The linker routines must create a hash table, which must be
76 derived from <<struct bfd_link_hash_table>> described in
77 <<bfdlink.c>>. @xref{Hash Tables} for information on how to
78 create a derived hash table. This entry point is called using
79 the target vector of the linker output file.
80
81 The <<_bfd_link_hash_table_create>> entry point must allocate
82 and initialize an instance of the desired hash table. If the
83 back end does not require any additional information to be
84 stored with the entries in the hash table, the entry point may
85 simply create a <<struct bfd_link_hash_table>>. Most likely,
86 however, some additional information will be needed.
87
88 For example, with each entry in the hash table the a.out
89 linker keeps the index the symbol has in the final output file
90 (this index number is used so that when doing a relocateable
91 link the symbol index used in the output file can be quickly
92 filled in when copying over a reloc). The a.out linker code
93 defines the required structures and functions for a hash table
94 derived from <<struct bfd_link_hash_table>>. The a.out linker
95 hash table is created by the function
96 <<NAME(aout,link_hash_table_create)>>; it simply allocates
97 space for the hash table, initializes it, and returns a
98 pointer to it.
99
100 When writing the linker routines for a new back end, you will
101 generally not know exactly which fields will be required until
102 you have finished. You should simply create a new hash table
103 which defines no additional fields, and then simply add fields
104 as they become necessary.
105
106INODE
107Adding Symbols to the Hash Table, Performing the Final Link, Creating a Linker Hash Table, Linker Functions
108SUBSECTION
109 Adding symbols to the hash table
110
111@cindex _bfd_link_add_symbols in target vector
112@cindex target vector (_bfd_link_add_symbols)
113 The linker proper will call the <<_bfd_link_add_symbols>>
114 entry point for each object file or archive which is to be
115 linked (typically these are the files named on the command
116 line, but some may also come from the linker script). The
117 entry point is responsible for examining the file. For an
118 object file, BFD must add any relevant symbol information to
119 the hash table. For an archive, BFD must determine which
120 elements of the archive should be used and adding them to the
121 link.
122
123 The a.out version of this entry point is
124 <<NAME(aout,link_add_symbols)>>.
125
126@menu
127@* Differing file formats::
128@* Adding symbols from an object file::
129@* Adding symbols from an archive::
130@end menu
131
132INODE
133Differing file formats, Adding symbols from an object file, Adding Symbols to the Hash Table, Adding Symbols to the Hash Table
134SUBSUBSECTION
135 Differing file formats
136
137 Normally all the files involved in a link will be of the same
138 format, but it is also possible to link together different
139 format object files, and the back end must support that. The
140 <<_bfd_link_add_symbols>> entry point is called via the target
141 vector of the file to be added. This has an important
142 consequence: the function may not assume that the hash table
143 is the type created by the corresponding
144 <<_bfd_link_hash_table_create>> vector. All the
145 <<_bfd_link_add_symbols>> function can assume about the hash
146 table is that it is derived from <<struct
147 bfd_link_hash_table>>.
148
149 Sometimes the <<_bfd_link_add_symbols>> function must store
150 some information in the hash table entry to be used by the
151 <<_bfd_final_link>> function. In such a case the <<creator>>
152 field of the hash table must be checked to make sure that the
153 hash table was created by an object file of the same format.
154
155 The <<_bfd_final_link>> routine must be prepared to handle a
156 hash entry without any extra information added by the
157 <<_bfd_link_add_symbols>> function. A hash entry without
158 extra information will also occur when the linker script
159 directs the linker to create a symbol. Note that, regardless
160 of how a hash table entry is added, all the fields will be
161 initialized to some sort of null value by the hash table entry
162 initialization function.
163
164 See <<ecoff_link_add_externals>> for an example of how to
165 check the <<creator>> field before saving information (in this
166 case, the ECOFF external symbol debugging information) in a
167 hash table entry.
168
169INODE
170Adding symbols from an object file, Adding symbols from an archive, Differing file formats, Adding Symbols to the Hash Table
171SUBSUBSECTION
172 Adding symbols from an object file
173
174 When the <<_bfd_link_add_symbols>> routine is passed an object
175 file, it must add all externally visible symbols in that
176 object file to the hash table. The actual work of adding the
177 symbol to the hash table is normally handled by the function
178 <<_bfd_generic_link_add_one_symbol>>. The
179 <<_bfd_link_add_symbols>> routine is responsible for reading
180 all the symbols from the object file and passing the correct
181 information to <<_bfd_generic_link_add_one_symbol>>.
182
183 The <<_bfd_link_add_symbols>> routine should not use
184 <<bfd_canonicalize_symtab>> to read the symbols. The point of
185 providing this routine is to avoid the overhead of converting
186 the symbols into generic <<asymbol>> structures.
187
188@findex _bfd_generic_link_add_one_symbol
189 <<_bfd_generic_link_add_one_symbol>> handles the details of
190 combining common symbols, warning about multiple definitions,
191 and so forth. It takes arguments which describe the symbol to
192 add, notably symbol flags, a section, and an offset. The
193 symbol flags include such things as <<BSF_WEAK>> or
194 <<BSF_INDIRECT>>. The section is a section in the object
a537cb21
ILT
195 file, or something like <<bfd_und_section_ptr>> for an undefined
196 symbol or <<bfd_com_section_ptr>> for a common symbol.
d4366f97
ILT
197
198 If the <<_bfd_final_link>> routine is also going to need to
199 read the symbol information, the <<_bfd_link_add_symbols>>
200 routine should save it somewhere attached to the object file
201 BFD. However, the information should only be saved if the
202 <<keep_memory>> field of the <<info>> argument is true, so
203 that the <<-no-keep-memory>> linker switch is effective.
204
205 The a.out function which adds symbols from an object file is
206 <<aout_link_add_object_symbols>>, and most of the interesting
207 work is in <<aout_link_add_symbols>>. The latter saves
208 pointers to the hash tables entries created by
209 <<_bfd_generic_link_add_one_symbol>> indexed by symbol number,
210 so that the <<_bfd_final_link>> routine does not have to call
211 the hash table lookup routine to locate the entry.
212
213INODE
214Adding symbols from an archive, , Adding symbols from an object file, Adding Symbols to the Hash Table
215SUBSUBSECTION
216 Adding symbols from an archive
217
218 When the <<_bfd_link_add_symbols>> routine is passed an
219 archive, it must look through the symbols defined by the
220 archive and decide which elements of the archive should be
221 included in the link. For each such element it must call the
222 <<add_archive_element>> linker callback, and it must add the
223 symbols from the object file to the linker hash table.
224
225@findex _bfd_generic_link_add_archive_symbols
226 In most cases the work of looking through the symbols in the
227 archive should be done by the
228 <<_bfd_generic_link_add_archive_symbols>> function. This
229 function builds a hash table from the archive symbol table and
230 looks through the list of undefined symbols to see which
231 elements should be included.
232 <<_bfd_generic_link_add_archive_symbols>> is passed a function
233 to call to make the final decision about adding an archive
234 element to the link and to do the actual work of adding the
235 symbols to the linker hash table.
236
237 The function passed to
238 <<_bfd_generic_link_add_archive_symbols>> must read the
239 symbols of the archive element and decide whether the archive
240 element should be included in the link. If the element is to
241 be included, the <<add_archive_element>> linker callback
242 routine must be called with the element as an argument, and
243 the elements symbols must be added to the linker hash table
244 just as though the element had itself been passed to the
245 <<_bfd_link_add_symbols>> function.
246
247 When the a.out <<_bfd_link_add_symbols>> function receives an
248 archive, it calls <<_bfd_generic_link_add_archive_symbols>>
249 passing <<aout_link_check_archive_element>> as the function
250 argument. <<aout_link_check_archive_element>> calls
251 <<aout_link_check_ar_symbols>>. If the latter decides to add
252 the element (an element is only added if it provides a real,
253 non-common, definition for a previously undefined or common
254 symbol) it calls the <<add_archive_element>> callback and then
255 <<aout_link_check_archive_element>> calls
256 <<aout_link_add_symbols>> to actually add the symbols to the
257 linker hash table.
258
259 The ECOFF back end is unusual in that it does not normally
260 call <<_bfd_generic_link_add_archive_symbols>>, because ECOFF
261 archives already contain a hash table of symbols. The ECOFF
262 back end searches the archive itself to avoid the overhead of
263 creating a new hash table.
264
265INODE
266Performing the Final Link, , Adding Symbols to the Hash Table, Linker Functions
267SUBSECTION
268 Performing the final link
269
270@cindex _bfd_link_final_link in target vector
271@cindex target vector (_bfd_final_link)
272 When all the input files have been processed, the linker calls
273 the <<_bfd_final_link>> entry point of the output BFD. This
274 routine is responsible for producing the final output file,
275 which has several aspects. It must relocate the contents of
276 the input sections and copy the data into the output sections.
277 It must build an output symbol table including any local
278 symbols from the input files and the global symbols from the
279 hash table. When producing relocateable output, it must
280 modify the input relocs and write them into the output file.
281 There may also be object format dependent work to be done.
282
283 The linker will also call the <<write_object_contents>> entry
284 point when the BFD is closed. The two entry points must work
285 together in order to produce the correct output file.
286
287 The details of how this works are inevitably dependent upon
288 the specific object file format. The a.out
289 <<_bfd_final_link>> routine is <<NAME(aout,final_link)>>.
290
291@menu
292@* Information provided by the linker::
293@* Relocating the section contents::
294@* Writing the symbol table::
295@end menu
296
297INODE
298Information provided by the linker, Relocating the section contents, Performing the Final Link, Performing the Final Link
299SUBSUBSECTION
300 Information provided by the linker
301
302 Before the linker calls the <<_bfd_final_link>> entry point,
303 it sets up some data structures for the function to use.
304
305 The <<input_bfds>> field of the <<bfd_link_info>> structure
306 will point to a list of all the input files included in the
307 link. These files are linked through the <<link_next>> field
308 of the <<bfd>> structure.
309
310 Each section in the output file will have a list of
311 <<link_order>> structures attached to the <<link_order_head>>
312 field (the <<link_order>> structure is defined in
313 <<bfdlink.h>>). These structures describe how to create the
314 contents of the output section in terms of the contents of
315 various input sections, fill constants, and, eventually, other
4335ce64
ILT
316 types of information. They also describe relocs that must be
317 created by the BFD backend, but do not correspond to any input
318 file; this is used to support -Ur, which builds constructors
319 while generating a relocateable object file.
d4366f97
ILT
320
321INODE
322Relocating the section contents, Writing the symbol table, Information provided by the linker, Performing the Final Link
323SUBSUBSECTION
324 Relocating the section contents
325
326 The <<_bfd_final_link>> function should look through the
327 <<link_order>> structures attached to each section of the
328 output file. Each <<link_order>> structure should either be
329 handled specially, or it should be passed to the function
330 <<_bfd_default_link_order>> which will do the right thing
331 (<<_bfd_default_link_order>> is defined in <<linker.c>>).
332
333 For efficiency, a <<link_order>> of type
334 <<bfd_indirect_link_order>> whose associated section belongs
335 to a BFD of the same format as the output BFD must be handled
336 specially. This type of <<link_order>> describes part of an
337 output section in terms of a section belonging to one of the
338 input files. The <<_bfd_final_link>> function should read the
339 contents of the section and any associated relocs, apply the
340 relocs to the section contents, and write out the modified
341 section contents. If performing a relocateable link, the
342 relocs themselves must also be modified and written out.
343
344@findex _bfd_relocate_contents
345@findex _bfd_final_link_relocate
346 The functions <<_bfd_relocate_contents>> and
347 <<_bfd_final_link_relocate>> provide some general support for
348 performing the actual relocations, notably overflow checking.
349 Their arguments include information about the symbol the
350 relocation is against and a <<reloc_howto_type>> argument
351 which describes the relocation to perform. These functions
352 are defined in <<reloc.c>>.
353
354 The a.out function which handles reading, relocating, and
355 writing section contents is <<aout_link_input_section>>. The
356 actual relocation is done in <<aout_link_input_section_std>>
357 and <<aout_link_input_section_ext>>.
358
359INODE
360Writing the symbol table, , Relocating the section contents, Performing the Final Link
361SUBSUBSECTION
362 Writing the symbol table
363
364 The <<_bfd_final_link>> function must gather all the symbols
365 in the input files and write them out. It must also write out
366 all the symbols in the global hash table. This must be
367 controlled by the <<strip>> and <<discard>> fields of the
368 <<bfd_link_info>> structure.
369
370 The local symbols of the input files will not have been
371 entered into the linker hash table. The <<_bfd_final_link>>
372 routine must consider each input file and include the symbols
373 in the output file. It may be convenient to do this when
374 looking through the <<link_order>> structures, or it may be
375 done by stepping through the <<input_bfds>> list.
376
377 The <<_bfd_final_link>> routine must also traverse the global
378 hash table to gather all the externally visible symbols. It
379 is possible that most of the externally visible symbols may be
380 written out when considering the symbols of each input file,
381 but it is still necessary to traverse the hash table since the
382 linker script may have defined some symbols that are not in
383 any of the input files. The <<written>> field in the
384 <<bfd_link_hash_entry>> structure may be used to determine
385 which entries in the hash table have not already been written
386 out.
387
388 The <<strip>> field of the <<bfd_link_info>> structure
389 controls which symbols are written out. The possible values
390 are listed in <<bfdlink.h>>. If the value is <<strip_some>>,
391 then the <<keep_hash>> field of the <<bfd_link_info>>
392 structure is a hash table of symbols to keep; each symbol
393 should be looked up in this hash table, and only symbols which
394 are present should be included in the output file.
395
396 If the <<strip>> field of the <<bfd_link_info>> structure
397 permits local symbols to be written out, the <<discard>> field
398 is used to further controls which local symbols are included
399 in the output file. If the value is <<discard_l>>, then all
400 local symbols which begin with a certain prefix are discarded;
401 this prefix is described by the <<lprefix>> and
402 <<lprefix_len>> fields of the <<bfd_link_info>> structure.
403
404 The a.out backend handles symbols by calling
405 <<aout_link_write_symbols>> on each input BFD and then
406 traversing the global hash table with the function
407 <<aout_link_write_other_symbol>>. It builds a string table
408 while writing out the symbols, which is written to the output
409 file at the end of <<NAME(aout,final_link)>>.
410*/
411
da6b2d99
ILT
412static struct bfd_hash_entry *generic_link_hash_newfunc
413 PARAMS ((struct bfd_hash_entry *, struct bfd_hash_table *,
414 const char *));
8e5090ce
ILT
415static boolean generic_link_read_symbols
416 PARAMS ((bfd *));
4335ce64
ILT
417static boolean generic_link_add_symbols
418 PARAMS ((bfd *, struct bfd_link_info *, boolean collect));
da6b2d99 419static boolean generic_link_add_object_symbols
4335ce64
ILT
420 PARAMS ((bfd *, struct bfd_link_info *, boolean collect));
421static boolean generic_link_check_archive_element_no_collect
422 PARAMS ((bfd *, struct bfd_link_info *, boolean *pneeded));
423static boolean generic_link_check_archive_element_collect
da6b2d99 424 PARAMS ((bfd *, struct bfd_link_info *, boolean *pneeded));
4335ce64
ILT
425static boolean generic_link_check_archive_element
426 PARAMS ((bfd *, struct bfd_link_info *, boolean *pneeded, boolean collect));
da6b2d99 427static boolean generic_link_add_symbol_list
4335ce64
ILT
428 PARAMS ((bfd *, struct bfd_link_info *, bfd_size_type count, asymbol **,
429 boolean collect));
da6b2d99
ILT
430static boolean generic_add_output_symbol
431 PARAMS ((bfd *, size_t *psymalloc, asymbol *));
432static boolean default_fill_link_order
433 PARAMS ((bfd *, struct bfd_link_info *, asection *,
434 struct bfd_link_order *));
6e07e54f
ILT
435static boolean default_indirect_link_order
436 PARAMS ((bfd *, struct bfd_link_info *, asection *,
437 struct bfd_link_order *));
da6b2d99
ILT
438
439/* The link hash table structure is defined in bfdlink.h. It provides
440 a base hash table which the backend specific hash tables are built
441 upon. */
442
443/* Routine to create an entry in the link hash table. */
444
445struct bfd_hash_entry *
446_bfd_link_hash_newfunc (entry, table, string)
447 struct bfd_hash_entry *entry;
448 struct bfd_hash_table *table;
449 const char *string;
450{
451 struct bfd_link_hash_entry *ret = (struct bfd_link_hash_entry *) entry;
452
453 /* Allocate the structure if it has not already been allocated by a
454 subclass. */
455 if (ret == (struct bfd_link_hash_entry *) NULL)
456 ret = ((struct bfd_link_hash_entry *)
457 bfd_hash_allocate (table, sizeof (struct bfd_link_hash_entry)));
9783e04a
DM
458 if (ret == (struct bfd_link_hash_entry *) NULL)
459 {
d1ad85a6 460 bfd_set_error (bfd_error_no_memory);
9783e04a
DM
461 return NULL;
462 }
da6b2d99
ILT
463
464 /* Call the allocation method of the superclass. */
465 ret = ((struct bfd_link_hash_entry *)
466 bfd_hash_newfunc ((struct bfd_hash_entry *) ret, table, string));
467
9783e04a
DM
468 if (ret)
469 {
470 /* Initialize the local fields. */
471 ret->type = bfd_link_hash_new;
9783e04a
DM
472 ret->next = NULL;
473 }
da6b2d99
ILT
474
475 return (struct bfd_hash_entry *) ret;
476}
477
478/* Initialize a link hash table. The BFD argument is the one
479 responsible for creating this table. */
480
481boolean
482_bfd_link_hash_table_init (table, abfd, newfunc)
483 struct bfd_link_hash_table *table;
484 bfd *abfd;
485 struct bfd_hash_entry *(*newfunc) PARAMS ((struct bfd_hash_entry *,
486 struct bfd_hash_table *,
487 const char *));
488{
489 table->creator = abfd->xvec;
490 table->undefs = NULL;
491 table->undefs_tail = NULL;
492 return bfd_hash_table_init (&table->table, newfunc);
493}
494
495/* Look up a symbol in a link hash table. If follow is true, we
496 follow bfd_link_hash_indirect and bfd_link_hash_warning links to
497 the real symbol. */
498
499struct bfd_link_hash_entry *
500bfd_link_hash_lookup (table, string, create, copy, follow)
501 struct bfd_link_hash_table *table;
502 const char *string;
503 boolean create;
504 boolean copy;
505 boolean follow;
506{
507 struct bfd_link_hash_entry *ret;
508
509 ret = ((struct bfd_link_hash_entry *)
510 bfd_hash_lookup (&table->table, string, create, copy));
511
512 if (follow && ret != (struct bfd_link_hash_entry *) NULL)
513 {
514 while (ret->type == bfd_link_hash_indirect
515 || ret->type == bfd_link_hash_warning)
516 ret = ret->u.i.link;
517 }
518
519 return ret;
520}
521
522/* Traverse a generic link hash table. The only reason this is not a
523 macro is to do better type checking. This code presumes that an
d4366f97 524 argument passed as a struct bfd_hash_entry * may be caught as a
da6b2d99
ILT
525 struct bfd_link_hash_entry * with no explicit cast required on the
526 call. */
527
528void
529bfd_link_hash_traverse (table, func, info)
530 struct bfd_link_hash_table *table;
531 boolean (*func) PARAMS ((struct bfd_link_hash_entry *, PTR));
532 PTR info;
533{
534 bfd_hash_traverse (&table->table,
535 ((boolean (*) PARAMS ((struct bfd_hash_entry *, PTR)))
536 func),
537 info);
538}
539
540/* Add a symbol to the linker hash table undefs list. */
541
542INLINE void
543bfd_link_add_undef (table, h)
544 struct bfd_link_hash_table *table;
545 struct bfd_link_hash_entry *h;
546{
547 BFD_ASSERT (h->next == NULL);
548 if (table->undefs_tail != (struct bfd_link_hash_entry *) NULL)
549 table->undefs_tail->next = h;
550 if (table->undefs == (struct bfd_link_hash_entry *) NULL)
551 table->undefs = h;
552 table->undefs_tail = h;
553}
554\f
555/* Routine to create an entry in an generic link hash table. */
556
557static struct bfd_hash_entry *
558generic_link_hash_newfunc (entry, table, string)
559 struct bfd_hash_entry *entry;
560 struct bfd_hash_table *table;
561 const char *string;
562{
563 struct generic_link_hash_entry *ret =
564 (struct generic_link_hash_entry *) entry;
565
566 /* Allocate the structure if it has not already been allocated by a
567 subclass. */
568 if (ret == (struct generic_link_hash_entry *) NULL)
569 ret = ((struct generic_link_hash_entry *)
570 bfd_hash_allocate (table, sizeof (struct generic_link_hash_entry)));
9783e04a
DM
571 if (ret == (struct generic_link_hash_entry *) NULL)
572 {
d1ad85a6 573 bfd_set_error (bfd_error_no_memory);
9783e04a
DM
574 return NULL;
575 }
da6b2d99
ILT
576
577 /* Call the allocation method of the superclass. */
578 ret = ((struct generic_link_hash_entry *)
579 _bfd_link_hash_newfunc ((struct bfd_hash_entry *) ret,
580 table, string));
581
9783e04a
DM
582 if (ret)
583 {
584 /* Set local fields. */
35fee729 585 ret->written = false;
9783e04a
DM
586 ret->sym = NULL;
587 }
da6b2d99
ILT
588
589 return (struct bfd_hash_entry *) ret;
590}
591
592/* Create an generic link hash table. */
593
594struct bfd_link_hash_table *
595_bfd_generic_link_hash_table_create (abfd)
596 bfd *abfd;
597{
598 struct generic_link_hash_table *ret;
599
600 ret = ((struct generic_link_hash_table *)
9783e04a
DM
601 malloc (sizeof (struct generic_link_hash_table)));
602 if (!ret)
603 {
d1ad85a6 604 bfd_set_error (bfd_error_no_memory);
9783e04a
DM
605 return (struct bfd_link_hash_table *) NULL;
606 }
da6b2d99
ILT
607 if (! _bfd_link_hash_table_init (&ret->root, abfd,
608 generic_link_hash_newfunc))
609 {
610 free (ret);
611 return (struct bfd_link_hash_table *) NULL;
612 }
613 return &ret->root;
614}
8e5090ce
ILT
615
616/* Grab the symbols for an object file when doing a generic link. We
617 store the symbols in the outsymbols field. We need to keep them
618 around for the entire link to ensure that we only read them once.
619 If we read them multiple times, we might wind up with relocs and
620 the hash table pointing to different instances of the symbol
621 structure. */
622
623static boolean
624generic_link_read_symbols (abfd)
625 bfd *abfd;
626{
627 if (abfd->outsymbols == (asymbol **) NULL)
628 {
629 long symsize;
630 long symcount;
631
632 symsize = bfd_get_symtab_upper_bound (abfd);
633 if (symsize < 0)
634 return false;
635 abfd->outsymbols = (asymbol **) bfd_alloc (abfd, symsize);
636 if (abfd->outsymbols == NULL && symsize != 0)
637 {
638 bfd_set_error (bfd_error_no_memory);
639 return false;
640 }
641 symcount = bfd_canonicalize_symtab (abfd, abfd->outsymbols);
642 if (symcount < 0)
643 return false;
644 abfd->symcount = symcount;
645 }
646
647 return true;
648}
da6b2d99 649\f
4335ce64
ILT
650/* Generic function to add symbols to from an object file to the
651 global hash table. This version does not automatically collect
652 constructors by name. */
da6b2d99
ILT
653
654boolean
655_bfd_generic_link_add_symbols (abfd, info)
656 bfd *abfd;
657 struct bfd_link_info *info;
4335ce64
ILT
658{
659 return generic_link_add_symbols (abfd, info, false);
660}
661
662/* Generic function to add symbols from an object file to the global
663 hash table. This version automatically collects constructors by
664 name, as the collect2 program does. It should be used for any
665 target which does not provide some other mechanism for setting up
666 constructors and destructors; these are approximately those targets
667 for which gcc uses collect2 and do not support stabs. */
668
669boolean
670_bfd_generic_link_add_symbols_collect (abfd, info)
671 bfd *abfd;
672 struct bfd_link_info *info;
673{
674 return generic_link_add_symbols (abfd, info, true);
675}
676
677/* Add symbols from an object file to the global hash table. */
678
679static boolean
680generic_link_add_symbols (abfd, info, collect)
681 bfd *abfd;
682 struct bfd_link_info *info;
683 boolean collect;
da6b2d99
ILT
684{
685 boolean ret;
686
687 switch (bfd_get_format (abfd))
688 {
689 case bfd_object:
4335ce64 690 ret = generic_link_add_object_symbols (abfd, info, collect);
da6b2d99
ILT
691 break;
692 case bfd_archive:
4335ce64
ILT
693 ret = (_bfd_generic_link_add_archive_symbols
694 (abfd, info,
695 (collect
696 ? generic_link_check_archive_element_collect
697 : generic_link_check_archive_element_no_collect)));
da6b2d99
ILT
698 break;
699 default:
d1ad85a6 700 bfd_set_error (bfd_error_wrong_format);
da6b2d99
ILT
701 ret = false;
702 }
703
da6b2d99
ILT
704 return ret;
705}
706
707/* Add symbols from an object file to the global hash table. */
708
709static boolean
4335ce64 710generic_link_add_object_symbols (abfd, info, collect)
da6b2d99
ILT
711 bfd *abfd;
712 struct bfd_link_info *info;
4335ce64 713 boolean collect;
da6b2d99 714{
8e5090ce
ILT
715 if (! generic_link_read_symbols (abfd))
716 return false;
717 return generic_link_add_symbol_list (abfd, info,
718 _bfd_generic_link_get_symcount (abfd),
719 _bfd_generic_link_get_symbols (abfd),
720 collect);
da6b2d99
ILT
721}
722\f
723/* We build a hash table of all symbols defined in an archive. */
724
725/* An archive symbol may be defined by multiple archive elements.
726 This linked list is used to hold the elements. */
727
728struct archive_list
729{
730 struct archive_list *next;
731 int indx;
732};
733
734/* An entry in an archive hash table. */
735
736struct archive_hash_entry
737{
738 struct bfd_hash_entry root;
739 /* Where the symbol is defined. */
740 struct archive_list *defs;
741};
742
743/* An archive hash table itself. */
744
745struct archive_hash_table
746{
747 struct bfd_hash_table table;
748};
749
750static struct bfd_hash_entry *archive_hash_newfunc
751 PARAMS ((struct bfd_hash_entry *, struct bfd_hash_table *, const char *));
752static boolean archive_hash_table_init
753 PARAMS ((struct archive_hash_table *,
754 struct bfd_hash_entry *(*) (struct bfd_hash_entry *,
755 struct bfd_hash_table *,
756 const char *)));
757
758/* Create a new entry for an archive hash table. */
759
760static struct bfd_hash_entry *
761archive_hash_newfunc (entry, table, string)
762 struct bfd_hash_entry *entry;
763 struct bfd_hash_table *table;
764 const char *string;
765{
766 struct archive_hash_entry *ret = (struct archive_hash_entry *) entry;
767
768 /* Allocate the structure if it has not already been allocated by a
769 subclass. */
770 if (ret == (struct archive_hash_entry *) NULL)
771 ret = ((struct archive_hash_entry *)
772 bfd_hash_allocate (table, sizeof (struct archive_hash_entry)));
9783e04a
DM
773 if (ret == (struct archive_hash_entry *) NULL)
774 {
d1ad85a6 775 bfd_set_error (bfd_error_no_memory);
9783e04a
DM
776 return NULL;
777 }
da6b2d99
ILT
778
779 /* Call the allocation method of the superclass. */
780 ret = ((struct archive_hash_entry *)
781 bfd_hash_newfunc ((struct bfd_hash_entry *) ret, table, string));
782
9783e04a
DM
783 if (ret)
784 {
785 /* Initialize the local fields. */
786 ret->defs = (struct archive_list *) NULL;
787 }
da6b2d99
ILT
788
789 return (struct bfd_hash_entry *) ret;
790}
791
792/* Initialize an archive hash table. */
793
794static boolean
795archive_hash_table_init (table, newfunc)
796 struct archive_hash_table *table;
797 struct bfd_hash_entry *(*newfunc) PARAMS ((struct bfd_hash_entry *,
798 struct bfd_hash_table *,
799 const char *));
800{
801 return bfd_hash_table_init (&table->table, newfunc);
802}
803
804/* Look up an entry in an archive hash table. */
805
806#define archive_hash_lookup(t, string, create, copy) \
807 ((struct archive_hash_entry *) \
808 bfd_hash_lookup (&(t)->table, (string), (create), (copy)))
809
a537cb21
ILT
810/* Allocate space in an archive hash table. */
811
812#define archive_hash_allocate(t, size) bfd_hash_allocate (&(t)->table, (size))
813
da6b2d99
ILT
814/* Free an archive hash table. */
815
816#define archive_hash_table_free(t) bfd_hash_table_free (&(t)->table)
817
818/* Generic function to add symbols from an archive file to the global
819 hash file. This function presumes that the archive symbol table
820 has already been read in (this is normally done by the
821 bfd_check_format entry point). It looks through the undefined and
822 common symbols and searches the archive symbol table for them. If
823 it finds an entry, it includes the associated object file in the
824 link.
825
826 The old linker looked through the archive symbol table for
827 undefined symbols. We do it the other way around, looking through
828 undefined symbols for symbols defined in the archive. The
829 advantage of the newer scheme is that we only have to look through
830 the list of undefined symbols once, whereas the old method had to
831 re-search the symbol table each time a new object file was added.
832
833 The CHECKFN argument is used to see if an object file should be
834 included. CHECKFN should set *PNEEDED to true if the object file
835 should be included, and must also call the bfd_link_info
836 add_archive_element callback function and handle adding the symbols
837 to the global hash table. CHECKFN should only return false if some
838 sort of error occurs.
839
840 For some formats, such as a.out, it is possible to look through an
841 object file but not actually include it in the link. The
842 archive_pass field in a BFD is used to avoid checking the symbols
843 of an object files too many times. When an object is included in
844 the link, archive_pass is set to -1. If an object is scanned but
845 not included, archive_pass is set to the pass number. The pass
846 number is incremented each time a new object file is included. The
847 pass number is used because when a new object file is included it
848 may create new undefined symbols which cause a previously examined
849 object file to be included. */
850
851boolean
852_bfd_generic_link_add_archive_symbols (abfd, info, checkfn)
853 bfd *abfd;
854 struct bfd_link_info *info;
855 boolean (*checkfn) PARAMS ((bfd *, struct bfd_link_info *,
856 boolean *pneeded));
857{
858 carsym *arsyms;
859 carsym *arsym_end;
860 register carsym *arsym;
861 int pass;
862 struct archive_hash_table arsym_hash;
863 int indx;
864 struct bfd_link_hash_entry **pundef;
865
866 if (! bfd_has_map (abfd))
867 {
d1ad85a6 868 bfd_set_error (bfd_error_no_symbols);
da6b2d99
ILT
869 return false;
870 }
871
872 arsyms = bfd_ardata (abfd)->symdefs;
873 arsym_end = arsyms + bfd_ardata (abfd)->symdef_count;
874
875 /* In order to quickly determine whether an symbol is defined in
876 this archive, we build a hash table of the symbols. */
877 if (! archive_hash_table_init (&arsym_hash, archive_hash_newfunc))
878 return false;
879 for (arsym = arsyms, indx = 0; arsym < arsym_end; arsym++, indx++)
880 {
881 struct archive_hash_entry *arh;
ecff0ffe 882 struct archive_list *l, **pp;
da6b2d99
ILT
883
884 arh = archive_hash_lookup (&arsym_hash, arsym->name, true, false);
885 if (arh == (struct archive_hash_entry *) NULL)
f1cca647 886 goto error_return;
a537cb21
ILT
887 l = ((struct archive_list *)
888 archive_hash_allocate (&arsym_hash, sizeof (struct archive_list)));
f1cca647 889 if (l == NULL)
a537cb21 890 goto error_return;
da6b2d99 891 l->indx = indx;
ecff0ffe
ILT
892 for (pp = &arh->defs;
893 *pp != (struct archive_list *) NULL;
894 pp = &(*pp)->next)
895 ;
896 *pp = l;
897 l->next = NULL;
da6b2d99
ILT
898 }
899
900 pass = 1;
901
902 /* New undefined symbols are added to the end of the list, so we
903 only need to look through it once. */
904 pundef = &info->hash->undefs;
905 while (*pundef != (struct bfd_link_hash_entry *) NULL)
906 {
907 struct bfd_link_hash_entry *h;
908 struct archive_hash_entry *arh;
909 struct archive_list *l;
910
911 h = *pundef;
912
913 /* When a symbol is defined, it is not necessarily removed from
914 the list. */
915 if (h->type != bfd_link_hash_undefined
916 && h->type != bfd_link_hash_common)
917 {
918 /* Remove this entry from the list, for general cleanliness
919 and because we are going to look through the list again
920 if we search any more libraries. We can't remove the
921 entry if it is the tail, because that would lose any
22aabad5
ILT
922 entries we add to the list later on (it would also cause
923 us to lose track of whether the symbol has been
924 referenced). */
da6b2d99
ILT
925 if (*pundef != info->hash->undefs_tail)
926 *pundef = (*pundef)->next;
927 else
928 pundef = &(*pundef)->next;
929 continue;
930 }
931
932 /* Look for this symbol in the archive symbol map. */
933 arh = archive_hash_lookup (&arsym_hash, h->root.string, false, false);
934 if (arh == (struct archive_hash_entry *) NULL)
935 {
936 pundef = &(*pundef)->next;
937 continue;
938 }
939
940 /* Look at all the objects which define this symbol. */
941 for (l = arh->defs; l != (struct archive_list *) NULL; l = l->next)
942 {
943 bfd *element;
944 boolean needed;
945
946 /* If the symbol has gotten defined along the way, quit. */
947 if (h->type != bfd_link_hash_undefined
948 && h->type != bfd_link_hash_common)
949 break;
950
951 element = bfd_get_elt_at_index (abfd, l->indx);
952 if (element == (bfd *) NULL)
f1cca647 953 goto error_return;
da6b2d99
ILT
954
955 /* If we've already included this element, or if we've
956 already checked it on this pass, continue. */
957 if (element->archive_pass == -1
958 || element->archive_pass == pass)
959 continue;
960
961 /* If we can't figure this element out, just ignore it. */
962 if (! bfd_check_format (element, bfd_object))
963 {
964 element->archive_pass = -1;
965 continue;
966 }
967
968 /* CHECKFN will see if this element should be included, and
969 go ahead and include it if appropriate. */
970 if (! (*checkfn) (element, info, &needed))
f1cca647 971 goto error_return;
da6b2d99
ILT
972
973 if (! needed)
974 element->archive_pass = pass;
975 else
976 {
977 element->archive_pass = -1;
978
979 /* Increment the pass count to show that we may need to
980 recheck object files which were already checked. */
981 ++pass;
982 }
983 }
984
985 pundef = &(*pundef)->next;
986 }
987
988 archive_hash_table_free (&arsym_hash);
989
990 return true;
f1cca647
ILT
991
992 error_return:
993 archive_hash_table_free (&arsym_hash);
994 return false;
da6b2d99
ILT
995}
996\f
4335ce64
ILT
997/* See if we should include an archive element. This version is used
998 when we do not want to automatically collect constructors based on
999 the symbol name, presumably because we have some other mechanism
1000 for finding them. */
1001
1002static boolean
1003generic_link_check_archive_element_no_collect (abfd, info, pneeded)
1004 bfd *abfd;
1005 struct bfd_link_info *info;
1006 boolean *pneeded;
1007{
1008 return generic_link_check_archive_element (abfd, info, pneeded, false);
1009}
1010
1011/* See if we should include an archive element. This version is used
1012 when we want to automatically collect constructors based on the
1013 symbol name, as collect2 does. */
1014
1015static boolean
1016generic_link_check_archive_element_collect (abfd, info, pneeded)
1017 bfd *abfd;
1018 struct bfd_link_info *info;
1019 boolean *pneeded;
1020{
1021 return generic_link_check_archive_element (abfd, info, pneeded, true);
1022}
1023
1024/* See if we should include an archive element. Optionally collect
1025 constructors. */
da6b2d99
ILT
1026
1027static boolean
4335ce64 1028generic_link_check_archive_element (abfd, info, pneeded, collect)
da6b2d99
ILT
1029 bfd *abfd;
1030 struct bfd_link_info *info;
1031 boolean *pneeded;
4335ce64 1032 boolean collect;
da6b2d99 1033{
da6b2d99
ILT
1034 asymbol **pp, **ppend;
1035
1036 *pneeded = false;
1037
8e5090ce
ILT
1038 if (! generic_link_read_symbols (abfd))
1039 return false;
da6b2d99 1040
8e5090ce
ILT
1041 pp = _bfd_generic_link_get_symbols (abfd);
1042 ppend = pp + _bfd_generic_link_get_symcount (abfd);
da6b2d99
ILT
1043 for (; pp < ppend; pp++)
1044 {
1045 asymbol *p;
1046 struct bfd_link_hash_entry *h;
1047
1048 p = *pp;
1049
1050 /* We are only interested in globally visible symbols. */
1051 if (! bfd_is_com_section (p->section)
1052 && (p->flags & (BSF_GLOBAL | BSF_INDIRECT | BSF_WEAK)) == 0)
1053 continue;
1054
1055 /* We are only interested if we know something about this
1056 symbol, and it is undefined or common. An undefined weak
1057 symbol (type bfd_link_hash_weak) is not considered to be a
1058 reference when pulling files out of an archive. See the SVR4
1059 ABI, p. 4-27. */
1060 h = bfd_link_hash_lookup (info->hash, bfd_asymbol_name (p), false,
1061 false, true);
1062 if (h == (struct bfd_link_hash_entry *) NULL
1063 || (h->type != bfd_link_hash_undefined
1064 && h->type != bfd_link_hash_common))
1065 continue;
1066
1067 /* P is a symbol we are looking for. */
1068
1069 if (! bfd_is_com_section (p->section))
1070 {
8e5090ce
ILT
1071 bfd_size_type symcount;
1072 asymbol **symbols;
1073
da6b2d99
ILT
1074 /* This object file defines this symbol, so pull it in. */
1075 if (! (*info->callbacks->add_archive_element) (info, abfd,
1076 bfd_asymbol_name (p)))
8e5090ce
ILT
1077 return false;
1078 symcount = _bfd_generic_link_get_symcount (abfd);
1079 symbols = _bfd_generic_link_get_symbols (abfd);
1080 if (! generic_link_add_symbol_list (abfd, info, symcount,
4335ce64 1081 symbols, collect))
8e5090ce 1082 return false;
da6b2d99 1083 *pneeded = true;
8e5090ce 1084 return true;
da6b2d99
ILT
1085 }
1086
1087 /* P is a common symbol. */
1088
1089 if (h->type == bfd_link_hash_undefined)
1090 {
1091 bfd *symbfd;
1092
1093 symbfd = h->u.undef.abfd;
1094 if (symbfd == (bfd *) NULL)
1095 {
1096 /* This symbol was created as undefined from outside
1097 BFD. We assume that we should link in the object
1098 file. This is for the -u option in the linker. */
1099 if (! (*info->callbacks->add_archive_element)
1100 (info, abfd, bfd_asymbol_name (p)))
8e5090ce 1101 return false;
da6b2d99 1102 *pneeded = true;
8e5090ce 1103 return true;
da6b2d99
ILT
1104 }
1105
1106 /* Turn the symbol into a common symbol but do not link in
1107 the object file. This is how a.out works. Object
1108 formats that require different semantics must implement
1109 this function differently. This symbol is already on the
6e07e54f
ILT
1110 undefs list. We add the section to a common section
1111 attached to symbfd to ensure that it is in a BFD which
1112 will be linked in. */
da6b2d99
ILT
1113 h->type = bfd_link_hash_common;
1114 h->u.c.size = bfd_asymbol_value (p);
a537cb21 1115 if (p->section == bfd_com_section_ptr)
6e07e54f
ILT
1116 h->u.c.section = bfd_make_section_old_way (symbfd, "COMMON");
1117 else
1118 h->u.c.section = bfd_make_section_old_way (symbfd,
1119 p->section->name);
a20bdb43 1120 h->u.c.section->flags = SEC_ALLOC;
da6b2d99
ILT
1121 }
1122 else
1123 {
1124 /* Adjust the size of the common symbol if necessary. This
1125 is how a.out works. Object formats that require
1126 different semantics must implement this function
1127 differently. */
1128 if (bfd_asymbol_value (p) > h->u.c.size)
1129 h->u.c.size = bfd_asymbol_value (p);
1130 }
1131 }
1132
1133 /* This archive element is not needed. */
1134 return true;
1135}
1136
4335ce64
ILT
1137/* Add the symbols from an object file to the global hash table. ABFD
1138 is the object file. INFO is the linker information. SYMBOL_COUNT
1139 is the number of symbols. SYMBOLS is the list of symbols. COLLECT
1140 is true if constructors should be automatically collected by name
1141 as is done by collect2. */
da6b2d99
ILT
1142
1143static boolean
4335ce64 1144generic_link_add_symbol_list (abfd, info, symbol_count, symbols, collect)
da6b2d99
ILT
1145 bfd *abfd;
1146 struct bfd_link_info *info;
1147 bfd_size_type symbol_count;
1148 asymbol **symbols;
4335ce64 1149 boolean collect;
da6b2d99
ILT
1150{
1151 asymbol **pp, **ppend;
1152
1153 pp = symbols;
1154 ppend = symbols + symbol_count;
1155 for (; pp < ppend; pp++)
1156 {
1157 asymbol *p;
1158
1159 p = *pp;
1160
1161 if ((p->flags & (BSF_INDIRECT
1162 | BSF_WARNING
1163 | BSF_GLOBAL
1164 | BSF_CONSTRUCTOR
1165 | BSF_WEAK)) != 0
a537cb21 1166 || bfd_is_und_section (bfd_get_section (p))
da6b2d99 1167 || bfd_is_com_section (bfd_get_section (p))
a537cb21 1168 || bfd_is_ind_section (bfd_get_section (p)))
da6b2d99
ILT
1169 {
1170 const char *name;
1171 const char *string;
1172 struct generic_link_hash_entry *h;
1173
1174 name = bfd_asymbol_name (p);
1175 if ((p->flags & BSF_INDIRECT) != 0
a537cb21 1176 || bfd_is_ind_section (p->section))
da6b2d99
ILT
1177 string = bfd_asymbol_name ((asymbol *) p->value);
1178 else if ((p->flags & BSF_WARNING) != 0)
1179 {
1180 /* The name of P is actually the warning string, and the
1181 value is actually a pointer to the symbol to warn
1182 about. */
1183 string = name;
1184 name = bfd_asymbol_name ((asymbol *) p->value);
1185 }
1186 else
1187 string = NULL;
6e07e54f 1188
8e5090ce 1189 h = NULL;
da6b2d99
ILT
1190 if (! (_bfd_generic_link_add_one_symbol
1191 (info, abfd, name, p->flags, bfd_get_section (p),
4335ce64 1192 p->value, string, false, collect,
da6b2d99
ILT
1193 (struct bfd_link_hash_entry **) &h)))
1194 return false;
1195
1196 /* Save the BFD symbol so that we don't lose any backend
1197 specific information that may be attached to it. We only
1198 want this one if it gives more information than the
1199 existing one; we don't want to replace a defined symbol
1200 with an undefined one. This routine may be called with a
1201 hash table other than the generic hash table, so we only
1202 do this if we are certain that the hash table is a
1203 generic one. */
1204 if (info->hash->creator == abfd->xvec)
1205 {
1206 if (h->sym == (asymbol *) NULL
a537cb21 1207 || (! bfd_is_und_section (bfd_get_section (p))
da6b2d99 1208 && (! bfd_is_com_section (bfd_get_section (p))
a537cb21 1209 || bfd_is_und_section (bfd_get_section (h->sym)))))
c3156966
ILT
1210 {
1211 h->sym = p;
1212 /* BSF_OLD_COMMON is a hack to support COFF reloc
1213 reading, and it should go away when the COFF
1214 linker is switched to the new version. */
1215 if (bfd_is_com_section (bfd_get_section (p)))
1216 p->flags |= BSF_OLD_COMMON;
1217 }
8e5090ce
ILT
1218
1219 /* Store a back pointer from the symbol to the hash
1220 table entry for the benefit of relaxation code until
1221 it gets rewritten to not use asymbol structures. */
1222 p->udata = (PTR) h;
da6b2d99
ILT
1223 }
1224 }
1225 }
1226
1227 return true;
1228}
1229\f
1230/* We use a state table to deal with adding symbols from an object
1231 file. The first index into the state table describes the symbol
1232 from the object file. The second index into the state table is the
1233 type of the symbol in the hash table. */
1234
1235/* The symbol from the object file is turned into one of these row
1236 values. */
1237
1238enum link_row
1239{
1240 UNDEF_ROW, /* Undefined. */
1241 UNDEFW_ROW, /* Weak undefined. */
1242 DEF_ROW, /* Defined. */
1243 DEFW_ROW, /* Weak defined. */
1244 COMMON_ROW, /* Common. */
1245 INDR_ROW, /* Indirect. */
1246 WARN_ROW, /* Warning. */
1247 SET_ROW /* Member of set. */
1248};
1249
2e66a627
KR
1250/* apparently needed for Hitachi 3050R(HI-UX/WE2)? */
1251#undef FAIL
1252
da6b2d99
ILT
1253/* The actions to take in the state table. */
1254
1255enum link_action
1256{
1257 FAIL, /* Abort. */
1258 UND, /* Mark symbol undefined. */
1259 WEAK, /* Mark symbol weak undefined. */
1260 DEF, /* Mark symbol defined. */
1261 COM, /* Mark symbol common. */
22aabad5 1262 REF, /* Mark defined symbol referenced. */
da6b2d99
ILT
1263 CREF, /* Possibly warn about common reference to defined symbol. */
1264 CDEF, /* Define existing common symbol. */
1265 NOACT, /* No action. */
1266 BIG, /* Mark symbol common using largest size. */
1267 MDEF, /* Multiple definition error. */
22aabad5 1268 MIND, /* Multiple indirect symbols. */
da6b2d99
ILT
1269 IND, /* Make indirect symbol. */
1270 SET, /* Add value to set. */
1271 MWARN, /* Make warning symbol. */
1272 WARN, /* Issue warning. */
22aabad5 1273 CWARN, /* Warn if referenced, else MWARN. */
da6b2d99 1274 CYCLE, /* Repeat with symbol pointed to. */
22aabad5 1275 REFC, /* Mark indirect symbol referenced and then CYCLE. */
da6b2d99
ILT
1276 WARNC /* Issue warning and then CYCLE. */
1277};
1278
1279/* The state table itself. The first index is a link_row and the
1280 second index is a bfd_link_hash_type. */
1281
1282static const enum link_action link_action[8][7] =
1283{
1284 /* current\prev new undef weak def com indr warn */
22aabad5
ILT
1285 /* UNDEF_ROW */ {UND, NOACT, NOACT, REF, NOACT, REFC, WARNC },
1286 /* UNDEFW_ROW */ {WEAK, WEAK, NOACT, REF, NOACT, REFC, WARNC },
1287 /* DEF_ROW */ {DEF, DEF, DEF, MDEF, CDEF, MDEF, CYCLE },
1288 /* DEFW_ROW */ {DEF, DEF, DEF, NOACT, NOACT, NOACT, CYCLE },
1289 /* COMMON_ROW */ {COM, COM, COM, CREF, BIG, MDEF, WARNC },
1290 /* INDR_ROW */ {IND, IND, IND, MDEF, MDEF, MIND, CYCLE },
1291 /* WARN_ROW */ {MWARN, WARN, WARN, CWARN, WARN, CWARN, CYCLE },
1292 /* SET_ROW */ {SET, SET, SET, SET, SET, CYCLE, CYCLE }
da6b2d99
ILT
1293};
1294
22aabad5
ILT
1295/* Most of the entries in the LINK_ACTION table are straightforward,
1296 but a few are somewhat subtle.
1297
1298 A reference to an indirect symbol (UNDEF_ROW/indr or
1299 UNDEFW_ROW/indr) is counted as a reference both to the indirect
1300 symbol and to the symbol the indirect symbol points to.
1301
1302 A reference to a warning symbol (UNDEF_ROW/warn or UNDEFW_ROW/warn)
1303 causes the warning to be issued.
1304
1305 A common definition of an indirect symbol (COMMON_ROW/indr) is
1306 treated as a multiple definition error. Likewise for an indirect
1307 definition of a common symbol (INDR_ROW/com).
1308
1309 An indirect definition of a warning (INDR_ROW/warn) does not cause
1310 the warning to be issued.
1311
1312 If a warning is created for an indirect symbol (WARN_ROW/indr) no
1313 warning is created for the symbol the indirect symbol points to.
1314
1315 Adding an entry to a set does not count as a reference to a set,
1316 and no warning is issued (SET_ROW/warn). */
1317
da6b2d99
ILT
1318/* Add a symbol to the global hash table.
1319 ABFD is the BFD the symbol comes from.
1320 NAME is the name of the symbol.
1321 FLAGS is the BSF_* bits associated with the symbol.
1322 SECTION is the section in which the symbol is defined; this may be
a537cb21 1323 bfd_und_section_ptr or bfd_com_section_ptr.
da6b2d99
ILT
1324 VALUE is the value of the symbol, relative to the section.
1325 STRING is used for either an indirect symbol, in which case it is
1326 the name of the symbol to indirect to, or a warning symbol, in
1327 which case it is the warning string.
1328 COPY is true if NAME or STRING must be copied into locally
1329 allocated memory if they need to be saved.
4335ce64
ILT
1330 COLLECT is true if we should automatically collect gcc constructor
1331 or destructor names as collect2 does.
da6b2d99 1332 HASHP, if not NULL, is a place to store the created hash table
8e5090ce 1333 entry; if *HASHP is not NULL, the caller has already looked up
eeb8c187 1334 the hash table entry, and stored it in *HASHP. */
da6b2d99
ILT
1335
1336boolean
1337_bfd_generic_link_add_one_symbol (info, abfd, name, flags, section, value,
4335ce64 1338 string, copy, collect, hashp)
da6b2d99
ILT
1339 struct bfd_link_info *info;
1340 bfd *abfd;
1341 const char *name;
1342 flagword flags;
1343 asection *section;
1344 bfd_vma value;
1345 const char *string;
1346 boolean copy;
4335ce64 1347 boolean collect;
da6b2d99
ILT
1348 struct bfd_link_hash_entry **hashp;
1349{
1350 enum link_row row;
1351 struct bfd_link_hash_entry *h;
1352 boolean cycle;
1353
a537cb21 1354 if (bfd_is_ind_section (section)
da6b2d99
ILT
1355 || (flags & BSF_INDIRECT) != 0)
1356 row = INDR_ROW;
1357 else if ((flags & BSF_WARNING) != 0)
1358 row = WARN_ROW;
1359 else if ((flags & BSF_CONSTRUCTOR) != 0)
1360 row = SET_ROW;
a537cb21 1361 else if (bfd_is_und_section (section))
da6b2d99
ILT
1362 {
1363 if ((flags & BSF_WEAK) != 0)
1364 row = UNDEFW_ROW;
1365 else
1366 row = UNDEF_ROW;
1367 }
1368 else if ((flags & BSF_WEAK) != 0)
1369 row = DEFW_ROW;
1370 else if (bfd_is_com_section (section))
1371 row = COMMON_ROW;
1372 else
1373 row = DEF_ROW;
1374
8e5090ce 1375 if (hashp != NULL && *hashp != NULL)
da6b2d99 1376 {
8e5090ce 1377 h = *hashp;
420e63c6 1378 BFD_ASSERT (strcmp (h->root.string, name) == 0);
8e5090ce
ILT
1379 }
1380 else
1381 {
1382 h = bfd_link_hash_lookup (info->hash, name, true, copy, false);
1383 if (h == NULL)
1384 {
1385 if (hashp != NULL)
1386 *hashp = NULL;
1387 return false;
1388 }
da6b2d99
ILT
1389 }
1390
1391 if (info->notice_hash != (struct bfd_hash_table *) NULL
1392 && (bfd_hash_lookup (info->notice_hash, name, false, false)
1393 != (struct bfd_hash_entry *) NULL))
1394 {
1395 if (! (*info->callbacks->notice) (info, name, abfd, section, value))
1396 return false;
1397 }
1398
1399 if (hashp != (struct bfd_link_hash_entry **) NULL)
1400 *hashp = h;
1401
1402 do
1403 {
1404 enum link_action action;
1405
1406 cycle = false;
1407 action = link_action[(int) row][(int) h->type];
1408 switch (action)
1409 {
1410 case FAIL:
1411 abort ();
22aabad5
ILT
1412
1413 case NOACT:
1414 /* Do nothing. */
1415 break;
1416
da6b2d99 1417 case UND:
22aabad5 1418 /* Make a new undefined symbol. */
da6b2d99
ILT
1419 h->type = bfd_link_hash_undefined;
1420 h->u.undef.abfd = abfd;
1421 bfd_link_add_undef (info->hash, h);
1422 break;
22aabad5 1423
da6b2d99 1424 case WEAK:
22aabad5 1425 /* Make a new weak undefined symbol. */
da6b2d99
ILT
1426 h->type = bfd_link_hash_weak;
1427 h->u.undef.abfd = abfd;
1428 break;
22aabad5 1429
da6b2d99 1430 case CDEF:
22aabad5
ILT
1431 /* We have found a definition for a symbol which was
1432 previously common. */
da6b2d99
ILT
1433 BFD_ASSERT (h->type == bfd_link_hash_common);
1434 if (! ((*info->callbacks->multiple_common)
1435 (info, name,
1436 h->u.c.section->owner, bfd_link_hash_common, h->u.c.size,
1437 abfd, bfd_link_hash_defined, (bfd_vma) 0)))
1438 return false;
1439 /* Fall through. */
1440 case DEF:
22aabad5 1441 /* Define a symbol. */
da6b2d99
ILT
1442 h->type = bfd_link_hash_defined;
1443 h->u.def.section = section;
1444 h->u.def.value = value;
6e07e54f
ILT
1445
1446 /* If we have been asked to, we act like collect2 and
1447 identify all functions that might be global constructors
1448 and destructors and pass them up in a callback. We only
1449 do this for certain object file types, since many object
1450 file types can handle this automatically. */
4335ce64 1451 if (collect && name[0] == '_')
6e07e54f
ILT
1452 {
1453 const char *s;
1454
1455 /* A constructor or destructor name starts like this:
1456 _+GLOBAL_[_.$][ID][_.$]
1457 where the first [_.$] and the second are the same
1458 character (we accept any character there, in case a
1459 new object file format comes along with even worse
1460 naming restrictions). */
1461
1462#define CONS_PREFIX "GLOBAL_"
1463#define CONS_PREFIX_LEN (sizeof CONS_PREFIX - 1)
1464
1465 s = name + 1;
1466 while (*s == '_')
1467 ++s;
1468 if (s[0] == 'G'
1469 && strncmp (s, CONS_PREFIX, CONS_PREFIX_LEN - 1) == 0)
1470 {
1471 char c;
1472
1473 c = s[CONS_PREFIX_LEN + 1];
1474 if ((c == 'I' || c == 'D')
1475 && s[CONS_PREFIX_LEN] == s[CONS_PREFIX_LEN + 2])
1476 {
1477 if (! ((*info->callbacks->constructor)
1478 (info,
f1cca647 1479 c == 'I' ? true : false,
6e07e54f
ILT
1480 name, abfd, section, value)))
1481 return false;
1482 }
1483 }
1484 }
1485
da6b2d99 1486 break;
22aabad5 1487
da6b2d99 1488 case COM:
22aabad5 1489 /* We have found a common definition for a symbol. */
da6b2d99
ILT
1490 if (h->type == bfd_link_hash_new)
1491 bfd_link_add_undef (info->hash, h);
1492 h->type = bfd_link_hash_common;
1493 h->u.c.size = value;
a537cb21 1494 if (section == bfd_com_section_ptr)
a20bdb43
ILT
1495 {
1496 h->u.c.section = bfd_make_section_old_way (abfd, "COMMON");
1497 h->u.c.section->flags = SEC_ALLOC;
1498 }
da6b2d99 1499 else if (section->owner != abfd)
a20bdb43
ILT
1500 {
1501 h->u.c.section = bfd_make_section_old_way (abfd, section->name);
1502 h->u.c.section->flags = SEC_ALLOC;
1503 }
da6b2d99
ILT
1504 else
1505 h->u.c.section = section;
1506 break;
22aabad5
ILT
1507
1508 case REF:
1509 /* A reference to a defined symbol. */
1510 if (h->next == NULL && info->hash->undefs_tail != h)
1511 h->next = h;
da6b2d99 1512 break;
22aabad5 1513
da6b2d99 1514 case BIG:
22aabad5
ILT
1515 /* We have found a common definition for a symbol which
1516 already had a common definition. Use the maximum of the
1517 two sizes. */
da6b2d99
ILT
1518 BFD_ASSERT (h->type == bfd_link_hash_common);
1519 if (! ((*info->callbacks->multiple_common)
1520 (info, name,
1521 h->u.c.section->owner, bfd_link_hash_common, h->u.c.size,
1522 abfd, bfd_link_hash_common, value)))
1523 return false;
1524 if (value > h->u.c.size)
1525 h->u.c.size = value;
da6b2d99 1526 break;
22aabad5 1527
da6b2d99 1528 case CREF:
22aabad5
ILT
1529 /* We have found a common definition for a symbol which was
1530 already defined. */
da6b2d99
ILT
1531 BFD_ASSERT (h->type == bfd_link_hash_defined);
1532 if (! ((*info->callbacks->multiple_common)
1533 (info, name,
1534 h->u.def.section->owner, bfd_link_hash_defined, (bfd_vma) 0,
1535 abfd, bfd_link_hash_common, value)))
1536 return false;
1537 break;
22aabad5
ILT
1538
1539 case MIND:
1540 /* Multiple indirect symbols. This is OK if they both point
1541 to the same symbol. */
1542 if (strcmp (h->u.i.link->root.string, string) == 0)
1543 break;
1544 /* Fall through. */
da6b2d99 1545 case MDEF:
22aabad5 1546 /* Handle a multiple definition. */
da6b2d99
ILT
1547 {
1548 asection *msec;
1549 bfd_vma mval;
1550
1551 switch (h->type)
1552 {
1553 case bfd_link_hash_defined:
1554 msec = h->u.def.section;
1555 mval = h->u.def.value;
1556 break;
1557 case bfd_link_hash_common:
a537cb21 1558 msec = bfd_com_section_ptr;
da6b2d99
ILT
1559 mval = h->u.c.size;
1560 break;
1561 case bfd_link_hash_indirect:
a537cb21 1562 msec = bfd_ind_section_ptr;
da6b2d99
ILT
1563 mval = 0;
1564 break;
1565 default:
1566 abort ();
1567 }
1568
1569 if (! ((*info->callbacks->multiple_definition)
1570 (info, name, msec->owner, msec, mval, abfd, section,
1571 value)))
1572 return false;
1573 }
1574 break;
22aabad5 1575
da6b2d99 1576 case IND:
22aabad5 1577 /* Create an indirect symbol. */
da6b2d99
ILT
1578 {
1579 struct bfd_link_hash_entry *inh;
1580
1581 /* STRING is the name of the symbol we want to indirect
1582 to. */
1583 inh = bfd_link_hash_lookup (info->hash, string, true, copy,
1584 false);
1585 if (inh == (struct bfd_link_hash_entry *) NULL)
1586 return false;
1587 if (inh->type == bfd_link_hash_new)
1588 {
1589 inh->type = bfd_link_hash_undefined;
1590 inh->u.undef.abfd = abfd;
1591 bfd_link_add_undef (info->hash, inh);
1592 }
22aabad5
ILT
1593
1594 /* If the indirect symbol has been referenced, we need to
1595 push the reference down to the symbol we are
1596 referencing. */
1597 if (h->type != bfd_link_hash_new)
1598 {
1599 row = UNDEF_ROW;
1600 cycle = true;
1601 }
1602
da6b2d99
ILT
1603 h->type = bfd_link_hash_indirect;
1604 h->u.i.link = inh;
1605 }
1606 break;
22aabad5 1607
da6b2d99 1608 case SET:
22aabad5 1609 /* Add an entry to a set. */
f1cca647
ILT
1610 if (! (*info->callbacks->add_to_set) (info, h, BFD_RELOC_CTOR,
1611 abfd, section, value))
da6b2d99
ILT
1612 return false;
1613 break;
22aabad5 1614
da6b2d99 1615 case WARNC:
22aabad5 1616 /* Issue a warning and cycle. */
da6b2d99
ILT
1617 if (h->u.i.warning != NULL)
1618 {
1619 if (! (*info->callbacks->warning) (info, h->u.i.warning))
1620 return false;
1621 /* Only issue a warning once. */
1622 h->u.i.warning = NULL;
1623 }
da6b2d99
ILT
1624 /* Fall through. */
1625 case CYCLE:
22aabad5
ILT
1626 /* Try again with the referenced symbol. */
1627 h = h->u.i.link;
1628 cycle = true;
1629 break;
1630
1631 case REFC:
1632 /* A reference to an indirect symbol. */
1633 if (h->next == NULL && info->hash->undefs_tail != h)
1634 h->next = h;
da6b2d99
ILT
1635 h = h->u.i.link;
1636 cycle = true;
1637 break;
22aabad5
ILT
1638
1639 case WARN:
1640 /* Issue a warning. */
1641 if (! (*info->callbacks->warning) (info, string))
1642 return false;
1643 break;
1644
1645 case CWARN:
1646 /* Warn if this symbol has been referenced already,
1647 otherwise either add a warning or cycle. A symbol has
1648 been referenced if the next field is not NULL, or it is
1649 the tail of the undefined symbol list. The REF case
1650 above helps to ensure this. */
1651 if (h->next != NULL || info->hash->undefs_tail == h)
1652 {
1653 if (! (*info->callbacks->warning) (info, string))
1654 return false;
1655 break;
1656 }
1657 /* Fall through. */
da6b2d99 1658 case MWARN:
22aabad5 1659 /* Make a warning symbol. */
da6b2d99
ILT
1660 {
1661 struct bfd_link_hash_entry *sub;
1662
1663 /* STRING is the warning to give. */
1664 sub = ((struct bfd_link_hash_entry *)
1665 bfd_hash_allocate (&info->hash->table,
1666 sizeof (struct bfd_link_hash_entry)));
9783e04a
DM
1667 if (!sub)
1668 {
d1ad85a6 1669 bfd_set_error (bfd_error_no_memory);
9783e04a
DM
1670 return false;
1671 }
da6b2d99
ILT
1672 *sub = *h;
1673 h->type = bfd_link_hash_warning;
1674 h->u.i.link = sub;
1675 if (! copy)
1676 h->u.i.warning = string;
1677 else
1678 {
1679 char *w;
1680
1681 w = bfd_hash_allocate (&info->hash->table,
1682 strlen (string) + 1);
1683 strcpy (w, string);
1684 h->u.i.warning = w;
1685 }
1686 }
1687 break;
1688 }
1689 }
1690 while (cycle);
1691
1692 return true;
1693}
1694\f
1695/* Generic final link routine. */
1696
1697boolean
1698_bfd_generic_final_link (abfd, info)
1699 bfd *abfd;
1700 struct bfd_link_info *info;
1701{
1702 bfd *sub;
1703 asection *o;
1704 struct bfd_link_order *p;
1705 size_t outsymalloc;
1706 struct generic_write_global_symbol_info wginfo;
1707
1708 abfd->outsymbols = (asymbol **) NULL;
1709 abfd->symcount = 0;
1710 outsymalloc = 0;
1711
8e5090ce 1712 /* Build the output symbol table. */
da6b2d99
ILT
1713 for (sub = info->input_bfds; sub != (bfd *) NULL; sub = sub->link_next)
1714 if (! _bfd_generic_link_output_symbols (abfd, sub, info, &outsymalloc))
1715 return false;
1716
1717 /* Accumulate the global symbols. */
9783e04a 1718 wginfo.info = info;
da6b2d99
ILT
1719 wginfo.output_bfd = abfd;
1720 wginfo.psymalloc = &outsymalloc;
1721 _bfd_generic_link_hash_traverse (_bfd_generic_hash_table (info),
1722 _bfd_generic_link_write_global_symbol,
1723 (PTR) &wginfo);
1724
1725 if (info->relocateable)
1726 {
1727 /* Allocate space for the output relocs for each section. */
1728 for (o = abfd->sections;
1729 o != (asection *) NULL;
1730 o = o->next)
1731 {
4335ce64 1732 o->reloc_count = 0;
da6b2d99
ILT
1733 for (p = o->link_order_head;
1734 p != (struct bfd_link_order *) NULL;
1735 p = p->next)
1736 {
f1cca647
ILT
1737 if (p->type == bfd_section_reloc_link_order
1738 || p->type == bfd_symbol_reloc_link_order)
1739 ++o->reloc_count;
1740 else if (p->type == bfd_indirect_link_order)
da6b2d99
ILT
1741 {
1742 asection *input_section;
1743 bfd *input_bfd;
8e5090ce 1744 long relsize;
da6b2d99 1745 arelent **relocs;
8e5090ce
ILT
1746 asymbol **symbols;
1747 long reloc_count;
da6b2d99
ILT
1748
1749 input_section = p->u.indirect.section;
1750 input_bfd = input_section->owner;
1751 relsize = bfd_get_reloc_upper_bound (input_bfd,
1752 input_section);
8e5090ce
ILT
1753 if (relsize < 0)
1754 return false;
9783e04a 1755 relocs = (arelent **) malloc ((size_t) relsize);
f1cca647 1756 if (!relocs && relsize != 0)
9783e04a 1757 {
d1ad85a6 1758 bfd_set_error (bfd_error_no_memory);
9783e04a
DM
1759 return false;
1760 }
8e5090ce
ILT
1761 symbols = _bfd_generic_link_get_symbols (input_bfd);
1762 reloc_count = bfd_canonicalize_reloc (input_bfd,
1763 input_section,
1764 relocs,
1765 symbols);
1766 if (reloc_count < 0)
1767 return false;
da6b2d99
ILT
1768 BFD_ASSERT (reloc_count == input_section->reloc_count);
1769 o->reloc_count += reloc_count;
1770 free (relocs);
1771 }
1772 }
1773 if (o->reloc_count > 0)
1774 {
1775 o->orelocation = ((arelent **)
1776 bfd_alloc (abfd,
1777 (o->reloc_count
1778 * sizeof (arelent *))));
9783e04a
DM
1779 if (!o->orelocation)
1780 {
d1ad85a6 1781 bfd_set_error (bfd_error_no_memory);
9783e04a
DM
1782 return false;
1783 }
4335ce64 1784 o->flags |= SEC_RELOC;
da6b2d99
ILT
1785 /* Reset the count so that it can be used as an index
1786 when putting in the output relocs. */
1787 o->reloc_count = 0;
1788 }
1789 }
1790 }
1791
1792 /* Handle all the link order information for the sections. */
1793 for (o = abfd->sections;
1794 o != (asection *) NULL;
1795 o = o->next)
1796 {
1797 for (p = o->link_order_head;
1798 p != (struct bfd_link_order *) NULL;
1799 p = p->next)
1800 {
f1cca647
ILT
1801 switch (p->type)
1802 {
1803 case bfd_section_reloc_link_order:
1804 case bfd_symbol_reloc_link_order:
1805 if (! _bfd_generic_reloc_link_order (abfd, info, o, p))
1806 return false;
1807 break;
1808 default:
1809 if (! _bfd_default_link_order (abfd, info, o, p))
1810 return false;
1811 break;
1812 }
da6b2d99
ILT
1813 }
1814 }
1815
1816 return true;
1817}
1818
1819/* Add an output symbol to the output BFD. */
1820
1821static boolean
1822generic_add_output_symbol (output_bfd, psymalloc, sym)
1823 bfd *output_bfd;
1824 size_t *psymalloc;
1825 asymbol *sym;
1826{
1827 if (output_bfd->symcount >= *psymalloc)
1828 {
1829 asymbol **newsyms;
1830
1831 if (*psymalloc == 0)
1832 *psymalloc = 124;
1833 else
1834 *psymalloc *= 2;
1835 if (output_bfd->outsymbols == (asymbol **) NULL)
1836 newsyms = (asymbol **) malloc (*psymalloc * sizeof (asymbol *));
1837 else
1838 newsyms = (asymbol **) realloc (output_bfd->outsymbols,
1839 *psymalloc * sizeof (asymbol *));
1840 if (newsyms == (asymbol **) NULL)
1841 {
d1ad85a6 1842 bfd_set_error (bfd_error_no_memory);
da6b2d99
ILT
1843 return false;
1844 }
1845 output_bfd->outsymbols = newsyms;
1846 }
1847
1848 output_bfd->outsymbols[output_bfd->symcount] = sym;
1849 ++output_bfd->symcount;
1850
1851 return true;
1852}
1853
1854/* Handle the symbols for an input BFD. */
1855
1856boolean
1857_bfd_generic_link_output_symbols (output_bfd, input_bfd, info, psymalloc)
1858 bfd *output_bfd;
1859 bfd *input_bfd;
1860 struct bfd_link_info *info;
1861 size_t *psymalloc;
1862{
da6b2d99
ILT
1863 asymbol **sym_ptr;
1864 asymbol **sym_end;
1865
8e5090ce
ILT
1866 if (! generic_link_read_symbols (input_bfd))
1867 return false;
da6b2d99
ILT
1868
1869 /* Create a filename symbol if we are supposed to. */
1870 if (info->create_object_symbols_section != (asection *) NULL)
1871 {
1872 asection *sec;
1873
1874 for (sec = input_bfd->sections;
1875 sec != (asection *) NULL;
1876 sec = sec->next)
1877 {
1878 if (sec->output_section == info->create_object_symbols_section)
1879 {
1880 asymbol *newsym;
1881
1882 newsym = bfd_make_empty_symbol (input_bfd);
9783e04a
DM
1883 if (!newsym)
1884 return false;
da6b2d99
ILT
1885 newsym->name = input_bfd->filename;
1886 newsym->value = 0;
1887 newsym->flags = BSF_LOCAL | BSF_FILE;
1888 newsym->section = sec;
1889
1890 if (! generic_add_output_symbol (output_bfd, psymalloc,
1891 newsym))
1892 return false;
1893
1894 break;
1895 }
1896 }
1897 }
1898
1899 /* Adjust the values of the globally visible symbols, and write out
1900 local symbols. */
8e5090ce
ILT
1901 sym_ptr = _bfd_generic_link_get_symbols (input_bfd);
1902 sym_end = sym_ptr + _bfd_generic_link_get_symcount (input_bfd);
da6b2d99
ILT
1903 for (; sym_ptr < sym_end; sym_ptr++)
1904 {
1905 asymbol *sym;
1906 struct generic_link_hash_entry *h;
1907 boolean output;
1908
1909 h = (struct generic_link_hash_entry *) NULL;
1910 sym = *sym_ptr;
1911 if ((sym->flags & (BSF_INDIRECT
1912 | BSF_WARNING
1913 | BSF_GLOBAL
1914 | BSF_CONSTRUCTOR
1915 | BSF_WEAK)) != 0
a537cb21 1916 || bfd_is_und_section (bfd_get_section (sym))
da6b2d99 1917 || bfd_is_com_section (bfd_get_section (sym))
a537cb21 1918 || bfd_is_ind_section (bfd_get_section (sym)))
da6b2d99
ILT
1919 {
1920 h = _bfd_generic_link_hash_lookup (_bfd_generic_hash_table (info),
1921 bfd_asymbol_name (sym),
1922 false, false, true);
1923 if (h != (struct generic_link_hash_entry *) NULL)
1924 {
1925 /* Force all references to this symbol to point to
1926 the same area in memory. It is possible that
1927 this routine will be called with a hash table
1928 other than a generic hash table, so we double
1929 check that. */
1930 if (info->hash->creator == input_bfd->xvec)
1931 {
1932 if (h->sym != (asymbol *) NULL)
1933 *sym_ptr = sym = h->sym;
1934 }
1935
1936 switch (h->root.type)
1937 {
1938 default:
1939 case bfd_link_hash_new:
1940 abort ();
1941 case bfd_link_hash_undefined:
1942 case bfd_link_hash_weak:
1943 break;
1944 case bfd_link_hash_defined:
1945 sym->value = h->root.u.def.value;
1946 sym->section = h->root.u.def.section;
1947 sym->flags |= BSF_GLOBAL;
1948 break;
1949 case bfd_link_hash_common:
1950 sym->value = h->root.u.c.size;
1951 sym->flags |= BSF_GLOBAL;
5072b8e5
ILT
1952 if (! bfd_is_com_section (sym->section))
1953 {
a537cb21
ILT
1954 BFD_ASSERT (bfd_is_und_section (sym->section));
1955 sym->section = bfd_com_section_ptr;
5072b8e5 1956 }
da6b2d99 1957 /* We do not set the section of the symbol to
5072b8e5
ILT
1958 h->root.u.c.section. That value was saved so
1959 that we would know where to allocate the symbol
1960 if it was defined. In this case the type is
1961 still bfd_link_hash_common, so we did not define
1962 it, so we do not want to use that section. */
da6b2d99
ILT
1963 break;
1964 }
1965 }
1966 }
1967
1968 /* This switch is straight from the old code in
1969 write_file_locals in ldsym.c. */
1970 if (info->strip == strip_some
1971 && (bfd_hash_lookup (info->keep_hash, bfd_asymbol_name (sym),
1972 false, false)
1973 == (struct bfd_hash_entry *) NULL))
1974 output = false;
1975 else if ((sym->flags & (BSF_GLOBAL | BSF_WEAK)) != 0)
1976 {
1977 /* If this symbol is marked as occurring now, rather
1978 than at the end, output it now. This is used for
1979 COFF C_EXT FCN symbols. FIXME: There must be a
1980 better way. */
1981 if (bfd_asymbol_bfd (sym) == input_bfd
1982 && (sym->flags & BSF_NOT_AT_END) != 0)
1983 output = true;
1984 else
1985 output = false;
1986 }
a537cb21 1987 else if (bfd_is_ind_section (sym->section))
da6b2d99
ILT
1988 output = false;
1989 else if ((sym->flags & BSF_DEBUGGING) != 0)
1990 {
1991 if (info->strip == strip_none)
1992 output = true;
1993 else
1994 output = false;
1995 }
a537cb21 1996 else if (bfd_is_und_section (sym->section)
da6b2d99
ILT
1997 || bfd_is_com_section (sym->section))
1998 output = false;
1999 else if ((sym->flags & BSF_LOCAL) != 0)
2000 {
2001 if ((sym->flags & BSF_WARNING) != 0)
2002 output = false;
2003 else
2004 {
2005 switch (info->discard)
2006 {
2007 default:
2008 case discard_all:
2009 output = false;
2010 break;
2011 case discard_l:
2012 if (bfd_asymbol_name (sym)[0] == info->lprefix[0]
2013 && (info->lprefix_len == 1
2014 || strncmp (bfd_asymbol_name (sym), info->lprefix,
2015 info->lprefix_len) == 0))
2016 output = false;
2017 else
2018 output = true;
2019 break;
2020 case discard_none:
2021 output = true;
2022 break;
2023 }
2024 }
2025 }
2026 else if ((sym->flags & BSF_CONSTRUCTOR))
2027 {
2028 if (info->strip != strip_all)
2029 output = true;
2030 else
2031 output = false;
2032 }
2033 else
2034 abort ();
2035
2036 if (output)
2037 {
2038 if (! generic_add_output_symbol (output_bfd, psymalloc, sym))
2039 return false;
2040 if (h != (struct generic_link_hash_entry *) NULL)
35fee729 2041 h->written = true;
da6b2d99
ILT
2042 }
2043 }
2044
2045 return true;
2046}
2047
2048/* Write out a global symbol, if it hasn't already been written out.
2049 This is called for each symbol in the hash table. */
2050
2051boolean
2052_bfd_generic_link_write_global_symbol (h, data)
2053 struct generic_link_hash_entry *h;
2054 PTR data;
2055{
2056 struct generic_write_global_symbol_info *wginfo =
2057 (struct generic_write_global_symbol_info *) data;
2058 asymbol *sym;
2059
35fee729 2060 if (h->written)
da6b2d99
ILT
2061 return true;
2062
35fee729 2063 h->written = true;
9783e04a
DM
2064
2065 if (wginfo->info->strip == strip_all
2066 || (wginfo->info->strip == strip_some
2067 && bfd_hash_lookup (wginfo->info->keep_hash, h->root.root.string,
2068 false, false) == NULL))
2069 return true;
2070
da6b2d99
ILT
2071 if (h->sym != (asymbol *) NULL)
2072 {
2073 sym = h->sym;
2074 BFD_ASSERT (strcmp (bfd_asymbol_name (sym), h->root.root.string) == 0);
2075 }
2076 else
2077 {
2078 sym = bfd_make_empty_symbol (wginfo->output_bfd);
9783e04a
DM
2079 if (!sym)
2080 return false;
da6b2d99
ILT
2081 sym->name = h->root.root.string;
2082 sym->flags = 0;
2083 }
2084
2085 switch (h->root.type)
2086 {
2087 default:
2088 case bfd_link_hash_new:
2089 abort ();
2090 case bfd_link_hash_undefined:
a537cb21 2091 sym->section = bfd_und_section_ptr;
da6b2d99
ILT
2092 sym->value = 0;
2093 break;
2094 case bfd_link_hash_weak:
a537cb21 2095 sym->section = bfd_und_section_ptr;
da6b2d99
ILT
2096 sym->value = 0;
2097 sym->flags |= BSF_WEAK;
ecff0ffe 2098 break;
da6b2d99
ILT
2099 case bfd_link_hash_defined:
2100 sym->section = h->root.u.def.section;
2101 sym->value = h->root.u.def.value;
2102 break;
2103 case bfd_link_hash_common:
2104 sym->value = h->root.u.c.size;
22aabad5 2105 if (sym->section == NULL)
a537cb21 2106 sym->section = bfd_com_section_ptr;
22aabad5 2107 else if (! bfd_is_com_section (sym->section))
5072b8e5 2108 {
a537cb21
ILT
2109 BFD_ASSERT (bfd_is_und_section (sym->section));
2110 sym->section = bfd_com_section_ptr;
5072b8e5 2111 }
da6b2d99 2112 /* Do not set the section; see _bfd_generic_link_output_symbols. */
da6b2d99
ILT
2113 break;
2114 case bfd_link_hash_indirect:
2115 case bfd_link_hash_warning:
2116 /* FIXME: What should we do here? */
2117 break;
2118 }
2119
2120 sym->flags |= BSF_GLOBAL;
2121
2122 if (! generic_add_output_symbol (wginfo->output_bfd, wginfo->psymalloc,
2123 sym))
2124 {
2125 /* FIXME: No way to return failure. */
2126 abort ();
2127 }
2128
da6b2d99
ILT
2129 return true;
2130}
f1cca647
ILT
2131
2132/* Create a relocation. */
2133
2134boolean
2135_bfd_generic_reloc_link_order (abfd, info, sec, link_order)
2136 bfd *abfd;
2137 struct bfd_link_info *info;
2138 asection *sec;
2139 struct bfd_link_order *link_order;
2140{
2141 arelent *r;
2142
2143 if (! info->relocateable)
2144 abort ();
2145 if (sec->orelocation == (arelent **) NULL)
2146 abort ();
2147
2148 r = (arelent *) bfd_alloc (abfd, sizeof (arelent));
2149 if (r == (arelent *) NULL)
2150 {
2151 bfd_set_error (bfd_error_no_memory);
2152 return false;
2153 }
2154
2155 r->address = link_order->offset;
2156 r->howto = bfd_reloc_type_lookup (abfd, link_order->u.reloc.p->reloc);
2157 if (r->howto == (const reloc_howto_type *) NULL)
2158 {
2159 bfd_set_error (bfd_error_bad_value);
2160 return false;
2161 }
2162
2163 /* Get the symbol to use for the relocation. */
2164 if (link_order->type == bfd_section_reloc_link_order)
2165 r->sym_ptr_ptr = link_order->u.reloc.p->u.section->symbol_ptr_ptr;
2166 else
2167 {
2168 struct generic_link_hash_entry *h;
2169
2170 h = _bfd_generic_link_hash_lookup (_bfd_generic_hash_table (info),
2171 link_order->u.reloc.p->u.name,
2172 false, false, true);
2173 if (h == (struct generic_link_hash_entry *) NULL
35fee729 2174 || ! h->written)
f1cca647
ILT
2175 {
2176 if (! ((*info->callbacks->unattached_reloc)
2177 (info, link_order->u.reloc.p->u.name,
2178 (bfd *) NULL, (asection *) NULL, (bfd_vma) 0)))
2179 return false;
2180 bfd_set_error (bfd_error_bad_value);
2181 return false;
2182 }
2183 r->sym_ptr_ptr = &h->sym;
2184 }
2185
2186 /* If this is an inplace reloc, write the addend to the object file.
2187 Otherwise, store it in the reloc addend. */
2188 if (! r->howto->partial_inplace)
2189 r->addend = link_order->u.reloc.p->addend;
2190 else
2191 {
2192 bfd_size_type size;
2193 bfd_reloc_status_type rstat;
2194 bfd_byte *buf;
2195 boolean ok;
2196
2197 size = bfd_get_reloc_size (r->howto);
2198 buf = (bfd_byte *) bfd_zmalloc (size);
2199 if (buf == (bfd_byte *) NULL)
2200 {
2201 bfd_set_error (bfd_error_no_memory);
2202 return false;
2203 }
2204 rstat = _bfd_relocate_contents (r->howto, abfd,
2205 link_order->u.reloc.p->addend, buf);
2206 switch (rstat)
2207 {
2208 case bfd_reloc_ok:
2209 break;
2210 default:
2211 case bfd_reloc_outofrange:
2212 abort ();
2213 case bfd_reloc_overflow:
2214 if (! ((*info->callbacks->reloc_overflow)
2215 (info,
2216 (link_order->type == bfd_section_reloc_link_order
2217 ? bfd_section_name (abfd, link_order->u.reloc.p->u.section)
2218 : link_order->u.reloc.p->u.name),
2219 r->howto->name, link_order->u.reloc.p->addend,
2220 (bfd *) NULL, (asection *) NULL, (bfd_vma) 0)))
2221 {
2222 free (buf);
2223 return false;
2224 }
2225 break;
2226 }
2227 ok = bfd_set_section_contents (abfd, sec, (PTR) buf,
2228 (file_ptr) link_order->offset, size);
2229 free (buf);
2230 if (! ok)
2231 return false;
2232
2233 r->addend = 0;
2234 }
2235
2236 sec->orelocation[sec->reloc_count] = r;
2237 ++sec->reloc_count;
2238
2239 return true;
2240}
da6b2d99
ILT
2241\f
2242/* Allocate a new link_order for a section. */
2243
2244struct bfd_link_order *
2245bfd_new_link_order (abfd, section)
2246 bfd *abfd;
2247 asection *section;
2248{
2249 struct bfd_link_order *new;
2250
2251 new = ((struct bfd_link_order *)
2252 bfd_alloc_by_size_t (abfd, sizeof (struct bfd_link_order)));
9783e04a
DM
2253 if (!new)
2254 {
d1ad85a6 2255 bfd_set_error (bfd_error_no_memory);
9783e04a
DM
2256 return NULL;
2257 }
da6b2d99
ILT
2258
2259 new->type = bfd_undefined_link_order;
2260 new->offset = 0;
2261 new->size = 0;
2262 new->next = (struct bfd_link_order *) NULL;
2263
2264 if (section->link_order_tail != (struct bfd_link_order *) NULL)
2265 section->link_order_tail->next = new;
2266 else
2267 section->link_order_head = new;
2268 section->link_order_tail = new;
2269
2270 return new;
2271}
2272
f1cca647
ILT
2273/* Default link order processing routine. Note that we can not handle
2274 the reloc_link_order types here, since they depend upon the details
2275 of how the particular backends generates relocs. */
da6b2d99
ILT
2276
2277boolean
2278_bfd_default_link_order (abfd, info, sec, link_order)
2279 bfd *abfd;
2280 struct bfd_link_info *info;
2281 asection *sec;
2282 struct bfd_link_order *link_order;
2283{
2284 switch (link_order->type)
2285 {
2286 case bfd_undefined_link_order:
f1cca647
ILT
2287 case bfd_section_reloc_link_order:
2288 case bfd_symbol_reloc_link_order:
da6b2d99
ILT
2289 default:
2290 abort ();
2291 case bfd_indirect_link_order:
6e07e54f 2292 return default_indirect_link_order (abfd, info, sec, link_order);
da6b2d99
ILT
2293 case bfd_fill_link_order:
2294 return default_fill_link_order (abfd, info, sec, link_order);
4335ce64
ILT
2295 case bfd_data_link_order:
2296 return bfd_set_section_contents (abfd, sec,
2297 (PTR) link_order->u.data.contents,
2298 (file_ptr) link_order->offset,
2299 link_order->size);
da6b2d99
ILT
2300 }
2301}
2302
2303/* Default routine to handle a bfd_fill_link_order. */
2304
6e07e54f 2305/*ARGSUSED*/
da6b2d99
ILT
2306static boolean
2307default_fill_link_order (abfd, info, sec, link_order)
2308 bfd *abfd;
2309 struct bfd_link_info *info;
2310 asection *sec;
2311 struct bfd_link_order *link_order;
2312{
2313 size_t size;
2314 char *space;
2315 size_t i;
2316 int fill;
f1cca647 2317 boolean result;
da6b2d99
ILT
2318
2319 BFD_ASSERT ((sec->flags & SEC_HAS_CONTENTS) != 0);
2320
2321 size = (size_t) link_order->size;
f1cca647
ILT
2322 space = (char *) malloc (size);
2323 if (space == NULL && size != 0)
2324 {
2325 bfd_set_error (bfd_error_no_memory);
2326 return false;
2327 }
2328
da6b2d99
ILT
2329 fill = link_order->u.fill.value;
2330 for (i = 0; i < size; i += 2)
2331 space[i] = fill >> 8;
2332 for (i = 1; i < size; i += 2)
2333 space[i] = fill;
f1cca647
ILT
2334 result = bfd_set_section_contents (abfd, sec, space,
2335 (file_ptr) link_order->offset,
2336 link_order->size);
2337 free (space);
2338 return result;
da6b2d99 2339}
6e07e54f
ILT
2340
2341/* Default routine to handle a bfd_indirect_link_order. */
2342
2343static boolean
2344default_indirect_link_order (output_bfd, info, output_section, link_order)
2345 bfd *output_bfd;
2346 struct bfd_link_info *info;
2347 asection *output_section;
2348 struct bfd_link_order *link_order;
2349{
2350 asection *input_section;
2351 bfd *input_bfd;
f1cca647
ILT
2352 bfd_byte *contents = NULL;
2353 bfd_byte *new_contents;
6e07e54f
ILT
2354
2355 BFD_ASSERT ((output_section->flags & SEC_HAS_CONTENTS) != 0);
2356
2357 if (link_order->size == 0)
2358 return true;
2359
2360 input_section = link_order->u.indirect.section;
2361 input_bfd = input_section->owner;
2362
2363 BFD_ASSERT (input_section->output_section == output_section);
2364 BFD_ASSERT (input_section->output_offset == link_order->offset);
66d9f06f 2365 BFD_ASSERT (input_section->_cooked_size == link_order->size);
6e07e54f
ILT
2366
2367 if (info->relocateable
92f345b9 2368 && input_section->reloc_count > 0
6e07e54f
ILT
2369 && output_section->orelocation == (arelent **) NULL)
2370 {
2371 /* Space has not been allocated for the output relocations.
2372 This can happen when we are called by a specific backend
2373 because somebody is attempting to link together different
2374 types of object files. Handling this case correctly is
2375 difficult, and sometimes impossible. */
2376 abort ();
2377 }
2378
2379 /* Get the canonical symbols. The generic linker will always have
2380 retrieved them by this point, but we may be being called by a
2381 specific linker when linking different types of object files
2382 together. */
8e5090ce
ILT
2383 if (! generic_link_read_symbols (input_bfd))
2384 return false;
6e07e54f
ILT
2385
2386 /* Get and relocate the section contents. */
f1cca647
ILT
2387 contents = (bfd_byte *) malloc (bfd_section_size (input_bfd, input_section));
2388 if (contents == NULL && bfd_section_size (input_bfd, input_section) != 0)
2389 {
2390 bfd_set_error (bfd_error_no_memory);
2391 goto error_return;
2392 }
2393 new_contents = (bfd_get_relocated_section_contents
2394 (output_bfd, info, link_order, contents, info->relocateable,
8e5090ce 2395 _bfd_generic_link_get_symbols (input_bfd)));
f1cca647
ILT
2396 if (!new_contents)
2397 goto error_return;
6e07e54f
ILT
2398
2399 /* Output the section contents. */
f1cca647
ILT
2400 if (! bfd_set_section_contents (output_bfd, output_section,
2401 (PTR) new_contents,
6e07e54f 2402 link_order->offset, link_order->size))
f1cca647 2403 goto error_return;
6e07e54f 2404
f1cca647
ILT
2405 if (contents != NULL)
2406 free (contents);
6e07e54f 2407 return true;
f1cca647
ILT
2408
2409 error_return:
2410 if (contents != NULL)
2411 free (contents);
2412 return false;
2413}
2414
2415/* A little routine to count the number of relocs in a link_order
2416 list. */
2417
2418unsigned int
2419_bfd_count_link_order_relocs (link_order)
2420 struct bfd_link_order *link_order;
2421{
2422 register unsigned int c;
2423 register struct bfd_link_order *l;
2424
2425 c = 0;
2426 for (l = link_order; l != (struct bfd_link_order *) NULL; l = l->next)
2427 {
2428 if (l->type == bfd_section_reloc_link_order
2429 || l->type == bfd_symbol_reloc_link_order)
2430 ++c;
2431 }
2432
2433 return c;
6e07e54f 2434}
This page took 0.153422 seconds and 4 git commands to generate.