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