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