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