| blob | b6937293e8fb0894977f7901213955edc58d426b |
1 /* ELF linking support for BFD.
2 Copyright (C) 1995-2020 Free Software Foundation, Inc.
4 This file is part of BFD, the Binary File Descriptor library.
6 This program is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3 of the License, or
9 (at your option) any later version.
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with this program; if not, write to the Free Software
18 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
19 MA 02110-1301, USA. */
25 #define ARCH_SIZE 0
30 #if BFD_SUPPORTS_PLUGINS
33 #endif
35 #ifdef HAVE_LIMITS_H
36 #include <limits.h>
37 #endif
38 #ifndef CHAR_BIT
39 #define CHAR_BIT 8
40 #endif
42 /* This struct is used to pass information to routines called via
43 elf_link_hash_traverse which must return failure. */
45 struct elf_info_failed
46 {
48 bfd_boolean failed;
49 };
51 /* This structure is used to pass information to
52 _bfd_elf_link_find_version_dependencies. */
54 struct elf_find_verdep_info
55 {
56 /* General link information. */
58 /* The number of dependencies. */
60 /* Whether we had a failure. */
61 bfd_boolean failed;
62 };
64 static bfd_boolean _bfd_elf_fix_symbol_flags
67 asection *
70 bfd_boolean discard)
71 {
74 {
87 else
89 }
90 else
91 {
92 /* It's not a relocation against a global symbol,
93 but it could be a relocation against a local
94 symbol for a discarded section. */
98 /* Need to: get the symbol; get the section. */
104 }
106 }
108 /* Define a symbol in a dynamic linkage section. */
115 {
122 {
123 /* Zap symbol defined in an as-needed lib that wasn't linked.
124 This is a symptom of a larger problem: Absolute symbols
125 defined in shared libraries can't be overridden, because we
126 lose the link to the bfd which is via the symbol section. */
129 }
130 else
149 }
151 bfd_boolean
153 {
154 flagword flags;
160 /* This function may be called more than once. */
183 {
189 }
191 /* The first bit of the global offset table is the header. */
195 {
196 /* Define the symbol _GLOBAL_OFFSET_TABLE_ at the start of the .got
197 (or .got.plt) section. We don't do this in the linker script
198 because we don't want to define the symbol if we are not creating
199 a global offset table. */
205 }
208 }
209 \f
210 /* Create a strtab to hold the dynamic symbol names. */
211 static bfd_boolean
213 {
218 {
219 /* We may not set dynobj, an input file holding linker created
220 dynamic sections to abfd, which may be a dynamic object with
221 its own dynamic sections. We need to find a normal input file
222 to hold linker created sections if possible. */
224 {
234 {
237 }
238 }
240 }
243 {
247 }
249 }
251 /* Create some sections which will be filled in with dynamic linking
252 information. ABFD is an input file which requires dynamic sections
253 to be created. The dynamic sections take up virtual memory space
254 when the final executable is run, so we need to create them before
255 addresses are assigned to the output sections. We work out the
256 actual contents and size of these sections later. */
258 bfd_boolean
260 {
261 flagword flags;
280 /* A dynamically linked executable has a .interp section, but a
281 shared library does not. */
283 {
288 }
290 /* Create sections to hold version informations. These are removed
291 if they are not needed. */
327 /* The special symbol _DYNAMIC is always set to the start of the
328 .dynamic section. We could set _DYNAMIC in a linker script, but we
329 only want to define it if we are, in fact, creating a .dynamic
330 section. We don't want to define it if there is no .dynamic
331 section, since on some ELF platforms the start up code examines it
332 to decide how to initialize the process. */
339 {
346 }
349 {
355 /* For 64-bit ELF, .gnu.hash is a non-uniform entity size section:
356 4 32-bit words followed by variable count of 64-bit words, then
357 variable count of 32-bit words. */
360 else
362 }
364 /* Let the backend create the rest of the sections. This lets the
365 backend set the right flags. The backend will normally create
366 the .got and .plt sections. */
374 }
376 /* Create dynamic sections when linking against a dynamic object. */
378 bfd_boolean
380 {
387 /* We need to create .plt, .rel[a].plt, .got, .got.plt, .dynbss, and
388 .rel[a].bss sections. */
393 /* We do not clear SEC_ALLOC here because we still want the OS to
394 allocate space for the section; it's just that there's nothing
395 to read in from the object file. */
397 else
408 /* Define the symbol _PROCEDURE_LINKAGE_TABLE_ at the start of the
409 .plt section. */
411 {
417 }
432 {
433 /* The .dynbss section is a place to put symbols which are defined
434 by dynamic objects, are referenced by regular objects, and are
435 not functions. We must allocate space for them in the process
436 image and use a R_*_COPY reloc to tell the dynamic linker to
437 initialize them at run time. The linker script puts the .dynbss
438 section into the .bss section of the final image. */
446 {
447 /* Similarly, but for symbols that were originally in read-only
448 sections. This section doesn't really need to have contents,
449 but make it like other .data.rel.ro sections. */
451 flags);
455 }
457 /* The .rel[a].bss section holds copy relocs. This section is not
458 normally needed. We need to create it here, though, so that the
459 linker will map it to an output section. We can't just create it
460 only if we need it, because we will not know whether we need it
461 until we have seen all the input files, and the first time the
462 main linker code calls BFD after examining all the input files
463 (size_dynamic_sections) the input sections have already been
464 mapped to the output sections. If the section turns out not to
465 be needed, we can discard it later. We will never need this
466 section when generating a shared object, since they do not use
467 copy relocs. */
469 {
480 {
481 s = (bfd_make_section_anyway_with_flags
489 }
490 }
491 }
494 }
495 \f
496 /* Record a new dynamic symbol. We record the dynamic symbols as we
497 read the input files, since we need to have a list of all of them
498 before we can determine the final sizes of the output sections.
499 Note that we may actually call this function even though we are not
500 going to output any dynamic symbols; in some cases we know that a
501 symbol should be in the dynamic symbol table, but only if there is
502 one. */
504 bfd_boolean
507 {
509 {
517 {
518 /* An IR symbol should not be made dynamic. */
523 }
525 /* XXX: The ABI draft says the linker must turn hidden and
526 internal symbols into STB_LOCAL symbols when producing the
527 DSO. However, if ld.so honors st_other in the dynamic table,
528 this would not be necessary. */
530 {
535 {
539 }
543 }
550 {
551 /* Create a strtab to hold the dynamic symbol names. */
555 }
557 /* We don't put any version information in the dynamic string
558 table. */
562 /* We know that the p points into writable memory. In fact,
563 there are only a few symbols that have read-only names, being
564 those like _GLOBAL_OFFSET_TABLE_ that are created specially
565 by the backends. Most symbols will have names pointing into
566 an ELF string table read from a file, or to objalloc memory. */
577 }
580 }
581 \f
582 /* Mark a symbol dynamic. */
584 static void
588 {
591 /* It may be called more than once on the same H. */
604 {
606 /* NB: If a symbol is made dynamic by --dynamic-list, it has
607 non-IR reference. */
609 }
610 }
612 /* Record an assignment to a symbol made by a linker script. We need
613 this in case some dynamic object refers to this symbol. */
615 bfd_boolean
619 bfd_boolean provide,
620 bfd_boolean hidden)
621 {
638 {
639 /* Set versioned if symbol version is unknown. */
642 {
645 else
647 }
648 }
650 /* Symbols defined in a linker script but not referenced anywhere
651 else will have non_elf set. */
653 {
656 }
659 {
666 /* Since we're defining the symbol, don't let it seem to have not
667 been defined. record_dynamic_symbol and size_dynamic_sections
668 may depend on this. */
676 /* We had a versioned symbol in a dynamic library. We make the
677 the versioned symbol point to this one. */
683 /* We don't need to update h->root.u since linker will set them
684 later. */
693 }
695 /* If this symbol is being provided by the linker script, and it is
696 currently defined by a dynamic object, but not by a regular
697 object, then mark it as undefined so that the generic linker will
698 force the correct value. */
704 /* If this symbol is currently defined by a dynamic object, but not
705 by a regular object, then clear out any version information because
706 the symbol will not be associated with the dynamic object any
707 more. */
711 /* Make sure this symbol is not garbage collected. */
717 {
722 }
724 /* STV_HIDDEN and STV_INTERNAL symbols must be STB_LOCAL in shared objects
725 and executables. */
738 {
742 /* If this is a weak defined symbol, and we know a corresponding
743 real symbol from the same dynamic object, make sure the real
744 symbol is also made into a dynamic symbol. */
746 {
752 }
753 }
756 }
758 /* Record a new local dynamic symbol. Returns 0 on failure, 1 on
759 success, and 2 on a failure caused by attempting to record a symbol
760 in a discarded section, eg. a discarded link-once section symbol. */
762 int
766 {
773 Elf_External_Sym_Shndx eshndx;
779 /* See if the entry exists already. */
789 /* Go find the symbol, so that we can find it's name. */
792 {
795 }
799 {
804 {
805 /* We can still bfd_release here as nothing has done another
806 bfd_alloc. We can't do this later in this function. */
809 }
810 }
812 name = (bfd_elf_string_from_elf_section
818 {
819 /* Create a strtab to hold the dynamic symbol names. */
823 }
838 /* Whatever binding the symbol had before, it's now local. */
842 /* The dynindx will be set at the end of size_dynamic_sections. */
845 }
847 /* Return the dynindex of a local dynamic symbol. */
849 long
853 {
860 }
862 /* This function is used to renumber the dynamic symbols, if some of
863 them are removed because they are marked as local. This is called
864 via elf_link_hash_traverse. */
866 static bfd_boolean
869 {
879 }
882 /* Like elf_link_renumber_hash_table_dynsyms, but just number symbols with
883 STB_LOCAL binding. */
885 static bfd_boolean
888 {
898 }
900 /* Return true if the dynamic symbol for a given section should be
901 omitted when creating a shared library. */
902 bfd_boolean
906 {
911 {
914 /* If sh_type is yet undecided, assume it could be
915 SHT_PROGBITS/SHT_NOBITS. */
925 /* There shouldn't be section relative relocations
926 against any other section. */
929 }
930 }
932 bfd_boolean
933 _bfd_elf_omit_section_dynsym_all
937 {
939 }
941 /* Assign dynsym indices. In a shared library we generate a section
942 symbol for each output section, which come first. Next come symbols
943 which have been forced to local binding. Then all of the back-end
944 allocated local dynamic syms, followed by the rest of the global
945 symbols. If SECTION_SYM_COUNT is NULL, section dynindx is not set.
946 (This prevents the early call before elf_backend_init_index_section
947 and strip_excluded_output_sections setting dynindx for sections
948 that are stripped.) */
950 static unsigned long
954 {
960 {
968 {
972 }
975 }
980 elf_link_renumber_local_hash_table_dynsyms,
984 {
988 }
992 elf_link_renumber_hash_table_dynsyms,
995 /* There is an unused NULL entry at the head of the table which we
996 must account for in our count even if the table is empty since it
997 is intended for the mandatory DT_SYMTAB tag (.dynsym section) in
998 .dynamic section. */
999 dynsymcount++;
1003 }
1005 /* Merge st_other field. */
1007 static void
1011 {
1014 /* If st_other has a processor-specific meaning, specific
1015 code might be needed here. */
1018 dynamic);
1021 {
1025 /* Keep the most constraining visibility. Leave the remainder
1026 of the st_other field to elf_backend_merge_symbol_attribute. */
1029 }
1034 }
1036 /* This function is called when we want to merge a new symbol with an
1037 existing symbol. It handles the various cases which arise when we
1038 find a definition in a dynamic object, or when there is already a
1039 definition in a dynamic object. The new symbol is described by
1040 NAME, SYM, PSEC, and PVALUE. We set SYM_HASH to the hash table
1041 entry. We set POLDBFD to the old symbol's BFD. We set POLD_WEAK
1042 if the old symbol was weak. We set POLD_ALIGNMENT to the alignment
1043 of an old common symbol. We set OVERRIDE if the old symbol is
1044 overriding a new definition. We set TYPE_CHANGE_OK if it is OK for
1045 the type to change. We set SIZE_CHANGE_OK if it is OK for the size
1046 to change. By OK to change, we mean that we shouldn't warn if the
1047 type or size does change. */
1049 static bfd_boolean
1065 {
1086 else
1095 /* NEW_VERSION is the symbol version of the new symbol. */
1097 {
1098 /* Symbol version is unknown or versioned. */
1101 {
1103 {
1106 else
1108 }
1112 }
1113 else
1115 }
1116 else
1119 /* For merging, we only care about real symbols. But we need to make
1120 sure that indirect symbol dynamic flags are updated. */
1127 {
1130 else
1131 {
1132 /* OLD_HIDDEN is true if the existing symbol is only visible
1133 to the symbol with the same symbol version. NEW_HIDDEN is
1134 true if the new symbol is only visible to the symbol with
1135 the same symbol version. */
1139 /* The new symbol matches the existing symbol if both
1140 aren't hidden. */
1142 else
1143 {
1144 /* OLD_VERSION is the symbol version of the existing
1145 symbol. */
1151 else
1154 /* The new symbol matches the existing symbol if they
1155 have the same symbol version. */
1160 }
1161 }
1162 }
1164 /* OLDBFD and OLDSEC are a BFD and an ASECTION associated with the
1165 existing symbol. */
1170 {
1191 }
1195 /* Differentiate strong and weak symbols. */
1202 /* We have to check it for every instance since the first few may be
1203 references and not all compilers emit symbol type for undefined
1204 symbols. */
1207 /* NEWDYN and OLDDYN indicate whether the new or old symbol,
1208 respectively, is from a dynamic object. */
1212 /* ref_dynamic_nonweak and dynamic_def flags track actual undefined
1213 syms and defined syms in dynamic libraries respectively.
1214 ref_dynamic on the other hand can be set for a symbol defined in
1215 a dynamic library, and def_dynamic may not be set; When the
1216 definition in a dynamic lib is overridden by a definition in the
1217 executable use of the symbol in the dynamic lib becomes a
1218 reference to the executable symbol. */
1220 {
1222 {
1224 {
1227 }
1228 }
1229 else
1230 {
1231 /* Update the existing symbol only if they match. */
1235 }
1236 }
1238 /* If we just created the symbol, mark it as being an ELF symbol.
1239 Other than that, there is nothing to do--there is no merge issue
1240 with a newly defined symbol--so we just return. */
1243 {
1246 }
1248 /* In cases involving weak versioned symbols, we may wind up trying
1249 to merge a symbol with itself. Catch that here, to avoid the
1250 confusion that results if we try to override a symbol with
1251 itself. The additional tests catch cases like
1252 _GLOBAL_OFFSET_TABLE_, which are regular symbols defined in a
1253 dynamic object, which we do want to handle here. */
1264 {
1265 /* This handles the special SHN_MIPS_{TEXT,DATA} section
1266 indices used by MIPS ELF. */
1268 }
1270 /* Handle a case where plugin_notice won't be called and thus won't
1271 set the non_ir_ref flags on the first pass over symbols. */
1275 {
1278 }
1280 /* NEWDEF and OLDDEF indicate whether the new or old symbol,
1281 respectively, appear to be a definition rather than reference. */
1289 /* NEWFUNC and OLDFUNC indicate whether the new or old symbol,
1290 respectively, appear to be a function. */
1304 {
1305 /* If creating a default indirect symbol ("foo" or "foo@") from
1306 a dynamic versioned definition ("foo@@") skip doing so if
1307 there is an existing regular definition with a different
1308 type. We don't want, for example, a "time" variable in the
1309 executable overriding a "time" function in a shared library. */
1312 {
1315 }
1317 /* When adding a symbol from a regular object file after we have
1318 created indirect symbols, undo the indirection and any
1319 dynamic state. */
1321 && !newdyn
1323 {
1331 {
1334 }
1335 else
1336 {
1339 }
1341 }
1342 }
1344 /* Check TLS symbols. We don't check undefined symbols introduced
1345 by "ld -u" which have no type (and oldbfd NULL), and we don't
1346 check symbols from plugins because they also have no type. */
1352 {
1358 {
1365 }
1366 else
1367 {
1374 }
1377 _bfd_error_handler
1378 /* xgettext:c-format */
1383 _bfd_error_handler
1384 /* xgettext:c-format */
1389 _bfd_error_handler
1390 /* xgettext:c-format */
1394 else
1395 _bfd_error_handler
1396 /* xgettext:c-format */
1403 }
1405 /* If the old symbol has non-default visibility, we ignore the new
1406 definition from a dynamic object. */
1410 {
1412 /* Make sure this symbol is dynamic. */
1415 /* A protected symbol has external availability. Make sure it is
1416 recorded as dynamic.
1418 FIXME: Should we check type and size for protected symbol? */
1421 else
1423 }
1427 {
1428 /* If the new symbol with non-default visibility comes from a
1429 relocatable file and the old definition comes from a dynamic
1430 object, we remove the old definition. */
1432 {
1433 /* Handle the case where the old dynamic definition is
1434 default versioned. We need to copy the symbol info from
1435 the symbol with default version to the normal one if it
1436 was referenced before. */
1438 {
1445 {
1446 /* If the new symbol is hidden or internal, completely undo
1447 any dynamic link state. */
1451 }
1452 else
1456 /* FIXME: Should we check type and size for protected symbol? */
1461 }
1462 else
1464 }
1466 /* If the old symbol was undefined before, then it will still be
1467 on the undefs list. If the new symbol is undefined or
1468 common, we can't make it bfd_link_hash_new here, because new
1469 undefined or common symbols will be added to the undefs list
1470 by _bfd_generic_link_add_one_symbol. Symbols may not be
1471 added twice to the undefs list. Also, if the new symbol is
1472 undefweak then we don't want to lose the strong undef. */
1474 {
1477 }
1478 else
1479 {
1482 }
1485 {
1486 /* If the new symbol is hidden or internal, completely undo
1487 any dynamic link state. */
1491 }
1492 else
1495 /* FIXME: Should we check type and size for protected symbol? */
1499 }
1501 /* If a new weak symbol definition comes from a regular file and the
1502 old symbol comes from a dynamic library, we treat the new one as
1503 strong. Similarly, an old weak symbol definition from a regular
1504 file is treated as strong when the new symbol comes from a dynamic
1505 library. Further, an old weak symbol from a dynamic library is
1506 treated as strong if the new symbol is from a dynamic library.
1507 This reflects the way glibc's ld.so works.
1509 Also allow a weak symbol to override a linker script symbol
1510 defined by an early pass over the script. This is done so the
1511 linker knows the symbol is defined in an object file, for the
1512 DEFINED script function.
1514 Do this before setting *type_change_ok or *size_change_ok so that
1515 we warn properly when dynamic library symbols are overridden. */
1522 /* Allow changes between different types of function symbol. */
1526 /* It's OK to change the type if either the existing symbol or the
1527 new symbol is weak. A type change is also OK if the old symbol
1528 is undefined and the new symbol is defined. */
1531 || newweak
1532 || (newdef
1536 /* It's OK to change the size if either the existing symbol or the
1537 new symbol is weak, or if the old symbol is undefined. */
1543 /* NEWDYNCOMMON and OLDDYNCOMMON indicate whether the new or old
1544 symbol, respectively, appears to be a common symbol in a dynamic
1545 object. If a symbol appears in an uninitialized section, and is
1546 not weak, and is not a function, then it may be a common symbol
1547 which was resolved when the dynamic object was created. We want
1548 to treat such symbols specially, because they raise special
1549 considerations when setting the symbol size: if the symbol
1550 appears as a common symbol in a regular object, and the size in
1551 the regular object is larger, we must make sure that we use the
1552 larger size. This problematic case can always be avoided in C,
1553 but it must be handled correctly when using Fortran shared
1554 libraries.
1556 Note that if NEWDYNCOMMON is set, NEWDEF will be set, and
1557 likewise for OLDDYNCOMMON and OLDDEF.
1559 Note that this test is just a heuristic, and that it is quite
1560 possible to have an uninitialized symbol in a shared object which
1561 is really a definition, rather than a common symbol. This could
1562 lead to some minor confusion when the symbol really is a common
1563 symbol in some regular object. However, I think it will be
1564 harmless. */
1567 && newdef
1568 && !newweak
1574 else
1578 && olddef
1586 else
1589 /* We now know everything about the old and new symbols. We ask the
1590 backend to check if we can merge them. */
1592 {
1596 }
1598 /* There are multiple definitions of a normal symbol. Skip the
1599 default symbol as well as definition from an IR object. */
1605 {
1606 /* Handle a multiple definition. */
1611 }
1613 /* If both the old and the new symbols look like common symbols in a
1614 dynamic object, set the size of the symbol to the larger of the
1615 two. */
1618 && newdyncommon
1620 {
1621 /* Since we think we have two common symbols, issue a multiple
1622 common warning if desired. Note that we only warn if the
1623 size is different. If the size is the same, we simply let
1624 the old symbol override the new one as normally happens with
1625 symbols defined in dynamic objects. */
1633 }
1635 /* If we are looking at a dynamic object, and we have found a
1636 definition, we need to see if the symbol was already defined by
1637 some other object. If so, we want to use the existing
1638 definition, and we do not want to report a multiple symbol
1639 definition error; we do this by clobbering *PSEC to be
1640 bfd_und_section_ptr.
1642 We treat a common symbol as a definition if the symbol in the
1643 shared library is a function, since common symbols always
1644 represent variables; this can cause confusion in principle, but
1645 any such confusion would seem to indicate an erroneous program or
1646 shared library. We also permit a common symbol in a regular
1647 object to override a weak symbol in a shared object. */
1650 && newdef
1651 && (olddef
1654 {
1662 /* If we get here when the old symbol is a common symbol, then
1663 we are explicitly letting it override a weak symbol or
1664 function in a dynamic object, and we don't want to warn about
1665 a type change. If the old symbol is a defined symbol, a type
1666 change warning may still be appropriate. */
1670 }
1672 /* Handle the special case of an old common symbol merging with a
1673 new symbol which looks like a common symbol in a shared object.
1674 We change *PSEC and *PVALUE to make the new symbol look like a
1675 common symbol, and let _bfd_generic_link_add_one_symbol do the
1676 right thing. */
1680 {
1687 }
1689 /* Skip weak definitions of symbols that are already defined. */
1691 {
1692 /* Don't skip new non-IR weak syms. */
1696 {
1699 }
1701 /* Merge st_other. If the symbol already has a dynamic index,
1702 but visibility says it should not be visible, turn it into a
1703 local symbol. */
1707 {
1712 }
1713 }
1715 /* If the old symbol is from a dynamic object, and the new symbol is
1716 a definition which is not from a dynamic object, then the new
1717 symbol overrides the old symbol. Symbols from regular files
1718 always take precedence over symbols from dynamic objects, even if
1719 they are defined after the dynamic object in the link.
1721 As above, we again permit a common symbol in a regular object to
1722 override a definition in a shared object if the shared object
1723 symbol is a function or is weak. */
1727 && (newdef
1730 && olddyn
1731 && olddef
1733 {
1734 /* Change the hash table entry to undefined, and let
1735 _bfd_generic_link_add_one_symbol do the right thing with the
1736 new definition. */
1745 /* We again permit a type change when a common symbol may be
1746 overriding a function. */
1749 {
1751 {
1752 /* If a common symbol overrides a function, make sure
1753 that it isn't defined dynamically nor has type
1754 function. */
1757 }
1759 }
1763 else
1764 /* This union may have been set to be non-NULL when this symbol
1765 was seen in a dynamic object. We must force the union to be
1766 NULL, so that it is correct for a regular symbol. */
1768 }
1770 /* Handle the special case of a new common symbol merging with an
1771 old symbol that looks like it might be a common symbol defined in
1772 a shared object. Note that we have already handled the case in
1773 which a new common symbol should simply override the definition
1774 in the shared library. */
1779 {
1780 /* It would be best if we could set the hash table entry to a
1781 common symbol, but we don't know what to use for the section
1782 or the alignment. */
1786 /* If the presumed common symbol in the dynamic object is
1787 larger, pretend that the new symbol has its size. */
1792 /* We need to remember the alignment required by the symbol
1793 in the dynamic object. */
1808 else
1810 }
1813 {
1814 /* Handle the case where we had a versioned symbol in a dynamic
1815 library and now find a definition in a normal object. In this
1816 case, we make the versioned symbol point to the normal one. */
1823 {
1826 }
1827 }
1830 }
1832 /* This function is called to create an indirect symbol from the
1833 default for the symbol with the default version if needed. The
1834 symbol is described by H, NAME, SYM, SEC, and VALUE. We
1835 set DYNSYM if the new indirect symbol is dynamic. */
1837 static bfd_boolean
1844 bfd_vma value,
1847 {
1848 bfd_boolean type_change_ok;
1849 bfd_boolean size_change_ok;
1850 bfd_boolean skip;
1855 bfd_boolean collect;
1856 bfd_boolean dynamic;
1861 bfd_boolean matched;
1866 /* If this symbol has a version, and it is the default version, we
1867 create an indirect symbol from the default name to the fully
1868 decorated name. This will cause external references which do not
1869 specify a version to be bound to this version of the symbol. */
1872 {
1874 {
1877 }
1878 else
1879 {
1881 {
1884 }
1885 else
1887 }
1888 }
1889 else
1890 {
1891 /* PR ld/19073: We may see an unversioned definition after the
1892 default version. */
1895 }
1908 /* We are going to create a new symbol. Merge it with any existing
1909 symbol with this name. For the purposes of the merge, act as
1910 though we were defining the symbol we just defined, although we
1911 actually going to define an indirect symbol. */
1925 {
1926 /* If the undecorated symbol will have a version added by a
1927 script different to H, then don't indirect to/from the
1928 undecorated symbol. This isn't ideal because we may not yet
1929 have seen symbol versions, if given by a script on the
1930 command line rather than via --version-script. */
1932 {
1933 bfd_boolean hide;
1939 {
1942 }
1943 }
1947 }
1950 {
1951 /* Add the default symbol if not performing a relocatable link. */
1953 {
1958 {
1959 /* Mark the previous definition from IR object as
1960 undefined so that the generic linker will override
1961 it. */
1964 }
1967 bfd_ind_section_ptr,
1971 }
1972 }
1973 else
1974 {
1975 /* In this case the symbol named SHORTNAME is overriding the
1976 indirect symbol we want to add. We were planning on making
1977 SHORTNAME an indirect symbol referring to NAME. SHORTNAME
1978 is the name without a version. NAME is the fully versioned
1979 name, and it is the default version.
1981 Overriding means that we already saw a definition for the
1982 symbol SHORTNAME in a regular object, and it is overriding
1983 the symbol defined in the dynamic object.
1985 When this happens, we actually want to change NAME, the
1986 symbol we just added, to refer to SHORTNAME. This will cause
1987 references to NAME in the shared object to become references
1988 to SHORTNAME in the regular object. This is what we expect
1989 when we override a function in a shared object: that the
1990 references in the shared object will be mapped to the
1991 definition in the regular object. */
2000 {
2005 {
2008 }
2009 }
2011 /* Now set HI to H, so that the following code will set the
2012 other fields correctly. */
2014 }
2016 /* Check if HI is a warning symbol. */
2020 /* If there is a duplicate definition somewhere, then HI may not
2021 point to an indirect symbol. We will have reported an error to
2022 the user in that case. */
2025 {
2031 /* A reference to the SHORTNAME symbol from a dynamic library
2032 will be satisfied by the versioned symbol at runtime. In
2033 effect, we have a reference to the versioned symbol. */
2037 /* See if the new flags lead us to realize that the symbol must
2038 be dynamic. */
2040 {
2042 {
2047 }
2048 else
2049 {
2052 }
2053 }
2054 }
2056 /* We also need to define an indirection from the nondefault version
2057 of the symbol. */
2059 nondefault:
2067 /* Once again, merge with any existing symbol. */
2080 {
2081 /* Here SHORTNAME is a versioned name, so we don't expect to see
2082 the type of override we do in the case above unless it is
2083 overridden by a versioned definition. */
2086 _bfd_error_handler
2087 /* xgettext:c-format */
2090 }
2091 else
2092 {
2100 /* If there is a duplicate definition somewhere, then HI may not
2101 point to an indirect symbol. We will have reported an error
2102 to the user in that case. */
2105 {
2110 /* See if the new flags lead us to realize that the symbol
2111 must be dynamic. */
2113 {
2115 {
2119 }
2120 else
2121 {
2124 }
2125 }
2126 }
2127 }
2130 }
2131 \f
2132 /* This routine is used to export all defined symbols into the dynamic
2133 symbol table. It is called via elf_link_hash_traverse. */
2135 static bfd_boolean
2137 {
2140 /* Ignore indirect symbols. These are added by the versioning code. */
2144 /* Ignore this if we won't export it. */
2152 {
2154 {
2157 }
2158 }
2161 }
2162 \f
2163 /* Look through the symbols which are defined in other shared
2164 libraries and referenced here. Update the list of version
2165 dependencies. This will be put into the .gnu.version_r section.
2166 This function is called via elf_link_hash_traverse. */
2168 static bfd_boolean
2171 {
2177 /* We only care about symbols defined in shared objects with version
2178 information. */
2187 /* See if we already know about this version. */
2191 {
2200 }
2202 /* This is a new version. Add it to tree we are building. */
2205 {
2209 {
2212 }
2217 }
2222 {
2225 }
2227 /* Note that we are copying a string pointer here, and testing it
2228 above. If bfd_elf_string_from_elf_section is ever changed to
2229 discard the string data when low in memory, this will have to be
2230 fixed. */
2244 }
2246 /* Return TRUE and set *HIDE to TRUE if the versioned symbol is
2247 hidden. Set *T_P to NULL if there is no match. */
2249 static bfd_boolean
2255 {
2258 /* Look for the version. If we find it, it is no longer weak. */
2260 {
2262 {
2283 /* See if there is anything to force this symbol to
2284 local scope. */
2286 {
2292 }
2296 }
2297 }
2302 }
2304 /* Return TRUE if the symbol H is hidden by version script. */
2306 bfd_boolean
2309 {
2315 /* Version script only hides symbols defined in regular objects. */
2321 {
2331 {
2335 }
2336 }
2338 /* If we don't have a version for this symbol, see if we can find
2339 something. */
2341 {
2346 {
2349 }
2350 }
2353 }
2355 /* Figure out appropriate versions for all the symbols. We may not
2356 have the version number script until we have read all of the input
2357 files, so until that point we don't know which symbols should be
2358 local. This function is called via elf_link_hash_traverse. */
2360 static bfd_boolean
2362 {
2368 bfd_boolean hide;
2373 /* Fix the symbol flags. */
2377 {
2381 }
2385 /* We only need version numbers for symbols defined in regular
2386 objects. */
2388 {
2389 /* Hide symbols defined in discarded input sections. */
2395 }
2400 {
2407 /* If there is no version string, we can just return out. */
2412 {
2415 }
2420 /* If we are building an application, we need to create a
2421 version node for this version. */
2423 {
2427 /* If we aren't going to export this symbol, we don't need
2428 to worry about it. */
2435 {
2438 }
2445 /* Don't count anonymous version tag. */
2458 }
2460 {
2461 /* We could not find the version for a symbol when
2462 generating a shared archive. Return an error. */
2463 _bfd_error_handler
2464 /* xgettext:c-format */
2470 }
2471 }
2473 /* If we don't have a version for this symbol, see if we can find
2474 something. */
2478 {
2484 }
2487 }
2488 \f
2489 /* Read and swap the relocs from the section indicated by SHDR. This
2490 may be either a REL or a RELA section. The relocations are
2491 translated into RELA relocations and stored in INTERNAL_RELOCS,
2492 which should have already been allocated to contain enough space.
2493 The EXTERNAL_RELOCS are a buffer where the external form of the
2494 relocations should be stored.
2496 Returns FALSE if something goes wrong. */
2498 static bfd_boolean
2504 {
2513 /* Position ourselves at the start of the section. */
2517 /* Read the relocations. */
2526 /* Convert the external relocations to the internal format. */
2531 else
2532 {
2535 }
2538 /* Setting erelaend like this and comparing with <= handles case of
2539 a fuzzed object with sh_size not a multiple of sh_entsize. */
2543 {
2544 bfd_vma r_symndx;
2551 {
2553 {
2554 _bfd_error_handler
2555 /* xgettext:c-format */
2562 }
2563 }
2565 {
2566 _bfd_error_handler
2567 /* xgettext:c-format */
2575 }
2578 }
2581 }
2583 /* Read and swap the relocs for a section O. They may have been
2584 cached. If the EXTERNAL_RELOCS and INTERNAL_RELOCS arguments are
2585 not NULL, they are used as buffers to read into. They are known to
2586 be large enough. If the INTERNAL_RELOCS relocs argument is NULL,
2587 the return value is allocated using either malloc or bfd_alloc,
2588 according to the KEEP_MEMORY argument. If O has two relocation
2589 sections (both REL and RELA relocations), then the REL_HDR
2590 relocations will appear first in INTERNAL_RELOCS, followed by the
2591 RELA_HDR relocations. */
2593 Elf_Internal_Rela *
2598 bfd_boolean keep_memory)
2599 {
2613 {
2614 bfd_size_type size;
2619 else
2623 }
2626 {
2638 }
2642 {
2644 external_relocs,
2645 internal_relocs))
2651 }
2655 external_relocs,
2656 internal_rela_relocs)))
2659 /* Cache the results for next time, if we can. */
2665 /* Don't free alloc2, since if it was allocated we are passing it
2666 back (under the name of internal_relocs). */
2670 error_return:
2673 {
2676 else
2678 }
2680 }
2682 /* Compute the size of, and allocate space for, REL_HDR which is the
2683 section header for a section containing relocations for O. */
2685 static bfd_boolean
2688 {
2691 /* That allows us to calculate the size of the section. */
2694 /* The contents field must last into write_object_contents, so we
2695 allocate it with bfd_alloc rather than malloc. Also since we
2696 cannot be sure that the contents will actually be filled in,
2697 we zero the allocated space. */
2703 {
2712 }
2715 }
2717 /* Copy the relocations indicated by the INTERNAL_RELOCS (which
2718 originated from the section given by INPUT_REL_HDR) to the
2719 OUTPUT_BFD. */
2721 bfd_boolean
2727 ATTRIBUTE_UNUSED)
2728 {
2743 {
2746 }
2749 {
2752 }
2753 else
2754 {
2755 _bfd_error_handler
2756 /* xgettext:c-format */
2761 }
2769 {
2773 }
2775 /* Bump the counter, so that we know where to add the next set of
2776 relocations. */
2780 }
2781 \f
2782 /* Make weak undefined symbols in PIE dynamic. */
2784 bfd_boolean
2787 {
2794 }
2796 /* Fix up the flags for a symbol. This handles various cases which
2797 can only be fixed after all the input files are seen. This is
2798 currently called by both adjust_dynamic_symbol and
2799 assign_sym_version, which is unnecessary but perhaps more robust in
2800 the face of future changes. */
2802 static bfd_boolean
2805 {
2808 /* If this symbol was mentioned in a non-ELF file, try to set
2809 DEF_REGULAR and REF_REGULAR correctly. This is the only way to
2810 permit a non-ELF file to correctly refer to a symbol defined in
2811 an ELF dynamic object. */
2813 {
2819 {
2822 }
2823 else
2824 {
2828 {
2831 }
2832 else
2834 }
2839 {
2841 {
2844 }
2845 }
2846 }
2847 else
2848 {
2849 /* Unfortunately, NON_ELF is only correct if the symbol
2850 was first seen in a non-ELF file. Fortunately, if the symbol
2851 was first seen in an ELF file, we're probably OK unless the
2852 symbol was defined in a non-ELF file. Catch that case here.
2853 FIXME: We're still in trouble if the symbol was first seen in
2854 a dynamic object, and then later in a non-ELF regular object. */
2864 }
2866 /* Backend specific symbol fixup. */
2872 /* If this is a final link, and the symbol was defined as a common
2873 symbol in a regular object file, and there was no definition in
2874 any dynamic object, then the linker will have allocated space for
2875 the symbol in a common section but the DEF_REGULAR
2876 flag will not have been set. */
2884 /* Symbols defined in discarded sections shouldn't be dynamic. */
2888 /* If a weak undefined symbol has non-default visibility, we also
2889 hide it from the dynamic linker. */
2894 /* A hidden versioned symbol in executable should be forced local if
2895 it is is locally defined, not referenced by shared library and not
2896 exported. */
2905 /* If -Bsymbolic was used (which means to bind references to global
2906 symbols to the definition within the shared object), and this
2907 symbol was defined in a regular object, then it actually doesn't
2908 need a PLT entry. Likewise, if the symbol has non-default
2909 visibility. If the symbol has hidden or internal visibility, we
2910 will force it local. */
2917 {
2918 bfd_boolean force_local;
2923 }
2925 /* If this is a weak defined symbol in a dynamic object, and we know
2926 the real definition in the dynamic object, copy interesting flags
2927 over to the real definition. */
2929 {
2932 /* If the real definition is defined by a regular object file,
2933 don't do anything special. See the longer description in
2934 _bfd_elf_adjust_dynamic_symbol, below. If the def is not
2935 bfd_link_hash_defined as it was when put on the alias list
2936 then it must have originally been a versioned symbol (for
2937 which a non-versioned indirect symbol is created) and later
2938 a definition for the non-versioned symbol is found. In that
2939 case the indirection is flipped with the versioned symbol
2940 becoming an indirect pointing at the non-versioned symbol.
2941 Thus, not an alias any more. */
2944 {
2948 }
2949 else
2950 {
2957 }
2958 }
2961 }
2963 /* Make the backend pick a good value for a dynamic symbol. This is
2964 called via elf_link_hash_traverse, and also calls itself
2965 recursively. */
2967 static bfd_boolean
2969 {
2977 /* Ignore indirect symbols. These are added by the versioning code. */
2981 /* Fix the symbol flags. */
2989 {
2997 {
2999 {
3002 }
3003 }
3004 }
3006 /* If this symbol does not require a PLT entry, and it is not
3007 defined by a dynamic object, or is not referenced by a regular
3008 object, ignore it. We do have to handle a weak defined symbol,
3009 even if no regular object refers to it, if we decided to add it
3010 to the dynamic symbol table. FIXME: Do we normally need to worry
3011 about symbols which are defined by one dynamic object and
3012 referenced by another one? */
3019 {
3022 }
3024 /* If we've already adjusted this symbol, don't do it again. This
3025 can happen via a recursive call. */
3029 /* Don't look at this symbol again. Note that we must set this
3030 after checking the above conditions, because we may look at a
3031 symbol once, decide not to do anything, and then get called
3032 recursively later after REF_REGULAR is set below. */
3035 /* If this is a weak definition, and we know a real definition, and
3036 the real symbol is not itself defined by a regular object file,
3037 then get a good value for the real definition. We handle the
3038 real symbol first, for the convenience of the backend routine.
3040 Note that there is a confusing case here. If the real definition
3041 is defined by a regular object file, we don't get the real symbol
3042 from the dynamic object, but we do get the weak symbol. If the
3043 processor backend uses a COPY reloc, then if some routine in the
3044 dynamic object changes the real symbol, we will not see that
3045 change in the corresponding weak symbol. This is the way other
3046 ELF linkers work as well, and seems to be a result of the shared
3047 library model.
3049 I will clarify this issue. Most SVR4 shared libraries define the
3050 variable _timezone and define timezone as a weak synonym. The
3051 tzset call changes _timezone. If you write
3052 extern int timezone;
3053 int _timezone = 5;
3054 int main () { tzset (); printf ("%d %d\n", timezone, _timezone); }
3055 you might expect that, since timezone is a synonym for _timezone,
3056 the same number will print both times. However, if the processor
3057 backend uses a COPY reloc, then actually timezone will be copied
3058 into your process image, and, since you define _timezone
3059 yourself, _timezone will not. Thus timezone and _timezone will
3060 wind up at different memory locations. The tzset call will set
3061 _timezone, leaving timezone unchanged. */
3064 {
3067 /* If we get to this point, there is an implicit reference to
3068 the alias by a regular object file via the weak symbol H. */
3071 /* Ensure that the backend adjust_dynamic_symbol function sees
3072 the strong alias before H by recursively calling ourselves. */
3075 }
3077 /* If a symbol has no type and no size and does not require a PLT
3078 entry, then we are probably about to do the wrong thing here: we
3079 are probably going to create a COPY reloc for an empty object.
3080 This case can arise when a shared object is built with assembly
3081 code, and the assembly code fails to set the symbol type. */
3085 _bfd_error_handler
3090 {
3093 }
3096 }
3098 /* Adjust the dynamic symbol, H, for copy in the dynamic bss section,
3099 DYNBSS. */
3101 bfd_boolean
3105 {
3107 bfd_vma mask;
3110 /* The section alignment of the definition is the maximum alignment
3111 requirement of symbols defined in the section. Since we don't
3112 know the symbol alignment requirement, we start with the
3113 maximum alignment and check low bits of the symbol address
3114 for the minimum alignment. */
3118 {
3121 }
3124 {
3125 /* Adjust the section alignment if needed. */
3128 }
3130 /* We make sure that the symbol will be aligned properly. */
3133 /* Define the symbol as being at this point in DYNBSS. */
3137 /* Increment the size of DYNBSS to make room for the symbol. */
3140 /* No error if extern_protected_data is true. */
3150 }
3152 /* Adjust all external symbols pointing into SEC_MERGE sections
3153 to reflect the object merging within the sections. */
3155 static bfd_boolean
3157 {
3164 {
3172 }
3175 }
3177 /* Returns false if the symbol referred to by H should be considered
3178 to resolve local to the current module, and true if it should be
3179 considered to bind dynamically. */
3181 bfd_boolean
3184 bfd_boolean not_local_protected)
3185 {
3186 bfd_boolean binding_stays_local_p;
3197 /* If it was forced local, then clearly it's not dynamic. */
3203 /* Identify the cases where name binding rules say that a
3204 visible symbol resolves locally. */
3209 {
3221 /* Proper resolution for function pointer equality may require
3222 that these symbols perhaps be resolved dynamically, even though
3223 we should be resolving them to the current module. */
3230 }
3232 /* If it isn't defined locally, then clearly it's dynamic. */
3236 /* Otherwise, the symbol is dynamic if binding rules don't tell
3237 us that it remains local. */
3239 }
3241 /* Return true if the symbol referred to by H should be considered
3242 to resolve local to the current module, and false otherwise. Differs
3243 from (the inverse of) _bfd_elf_dynamic_symbol_p in the treatment of
3244 undefined symbols. The two functions are virtually identical except
3245 for the place where dynindx == -1 is tested. If that test is true,
3246 _bfd_elf_dynamic_symbol_p will say the symbol is local, while
3247 _bfd_elf_symbol_refs_local_p will say the symbol is local only for
3248 defined symbols.
3249 It might seem that _bfd_elf_dynamic_symbol_p could be rewritten as
3250 !_bfd_elf_symbol_refs_local_p, except that targets differ in their
3251 treatment of undefined weak symbols. For those that do not make
3252 undefined weak symbols dynamic, both functions may return false. */
3254 bfd_boolean
3257 bfd_boolean local_protected)
3258 {
3262 /* If it's a local sym, of course we resolve locally. */
3266 /* STV_HIDDEN or STV_INTERNAL ones must be local. */
3271 /* Forced local symbols resolve locally. */
3275 /* Common symbols that become definitions don't get the DEF_REGULAR
3276 flag set, so test it first, and don't bail out. */
3279 /* If we don't have a definition in a regular file, then we can't
3280 resolve locally. The sym is either undefined or dynamic. */
3284 /* Non-dynamic symbols resolve locally. */
3288 /* At this point, we know the symbol is defined and dynamic. In an
3289 executable it must resolve locally, likewise when building symbolic
3290 shared libraries. */
3294 /* Now deal with defined dynamic symbols in shared libraries. Ones
3295 with default visibility might not resolve locally. */
3305 /* If extern_protected_data is false, STV_PROTECTED non-function
3306 symbols are local. */
3313 /* Function pointer equality tests may require that STV_PROTECTED
3314 symbols be treated as dynamic symbols. If the address of a
3315 function not defined in an executable is set to that function's
3316 plt entry in the executable, then the address of the function in
3317 a shared library must also be the plt entry in the executable. */
3319 }
3321 /* Caches some TLS segment info, and ensures that the TLS segment vma is
3322 aligned. Returns the first TLS output section. */
3326 {
3341 /* Ensure the alignment of the first section (usually .tdata) is the largest
3342 alignment, so that the tls segment starts aligned. */
3347 }
3349 /* Return TRUE iff this is a non-common, definition of a non-function symbol. */
3350 static bfd_boolean
3353 {
3356 /* Local symbols do not count, but target specific ones might. */
3362 /* Function symbols do not count. */
3366 /* If the section is undefined, then so is the symbol. */
3370 /* If the symbol is defined in the common section, then
3371 it is a common definition and so does not count. */
3375 /* If the symbol is in a target specific section then we
3376 must rely upon the backend to tell us what it is. */
3378 /* FIXME - this function is not coded yet:
3380 return _bfd_is_global_symbol_definition (abfd, sym);
3382 Instead for now assume that the definition is not global,
3383 Even if this is wrong, at least the linker will behave
3384 in the same way that it used to do. */
3388 }
3390 /* Search the symbol table of the archive element of the archive ABFD
3391 whose archive map contains a mention of SYMDEF, and determine if
3392 the symbol is defined in this element. */
3393 static bfd_boolean
3395 {
3403 bfd_boolean result;
3412 /* Select the appropriate symbol table. If we don't know if the
3413 object file is an IR object, give linker LTO plugin a chance to
3414 get the correct symbol table. */
3416 #if BFD_SUPPORTS_PLUGINS
3419 #endif
3420 )
3421 {
3422 /* Use the IR symbol table if the object has been claimed by
3423 plugin. */
3426 }
3429 else
3434 /* The sh_info field of the symtab header tells us where the
3435 external symbols start. We don't care about the local symbols. */
3437 {
3440 }
3441 else
3442 {
3445 }
3450 /* Read in the symbol table. */
3456 /* Scan the symbol table looking for SYMDEF. */
3459 {
3468 {
3471 }
3472 }
3477 }
3478 \f
3479 /* Add an entry to the .dynamic table. */
3481 bfd_boolean
3483 bfd_vma tag,
3484 bfd_vma val)
3485 {
3489 bfd_size_type newsize;
3491 Elf_Internal_Dyn dyn;
3517 }
3519 /* Strip zero-sized dynamic sections. */
3521 bfd_boolean
3523 {
3528 Elf_Internal_Dyn dyn;
3531 bfd_boolean strip_zero_sized;
3532 bfd_boolean strip_zero_sized_plt;
3554 /* Strip zero-sized dynamic sections. */
3563 {
3572 {
3575 }
3576 else
3580 }
3581 else
3588 {
3592 {
3598 /* Strip DT_PLTRELSZ, DT_JMPREL and DT_PLTREL entries if
3599 the procedure linkage table (the .plt section) has been
3600 removed. */
3604 }
3605 }
3608 {
3609 /* Regenerate program headers. */
3612 }
3615 }
3617 /* Add a DT_NEEDED entry for this dynamic object. Returns -1 on error,
3618 1 if a DT_NEEDED tag already exists, and 0 on success. */
3620 int
3622 {
3637 {
3648 {
3649 Elf_Internal_Dyn dyn;
3654 {
3657 }
3658 }
3659 }
3668 }
3670 /* Return true if SONAME is on the needed list between NEEDED and STOP
3671 (or the end of list if STOP is NULL), and needed by a library that
3672 will be loaded. */
3674 static bfd_boolean
3678 {
3683 /* If needed by a library that itself is not directly
3684 needed, recursively check whether that library is
3685 indirectly needed. Since we add DT_NEEDED entries to
3686 the end of the list, library dependencies appear after
3687 the library. Therefore search prior to the current
3688 LOOK, preventing possible infinite recursion. */
3693 }
3695 /* Sort symbol by value, section, size, and type. */
3696 static int
3698 {
3701 bfd_signed_vma vdiff;
3716 /* Sort so that sized symbols are selected over zero size symbols. */
3721 /* Sort so that STT_OBJECT is selected over STT_NOTYPE. */
3725 /* If symbols are properly sized and typed, and multiple strong
3726 aliases are not defined in a shared library by the user we
3727 shouldn't get here. Unfortunately linker script symbols like
3728 __bss_start sometimes match a user symbol defined at the start of
3729 .bss without proper size and type. We'd like to preference the
3730 user symbol over reserved system symbols. Sort on leading
3731 underscores. */
3735 {
3740 }
3746 /* Final sort on name selects user symbols like '_u' over reserved
3747 system symbols like '_Z' and also will avoid qsort instability. */
3749 }
3751 /* This function is used to adjust offsets into .dynstr for
3752 dynamic symbols. This is called via elf_link_hash_traverse. */
3754 static bfd_boolean
3756 {
3762 }
3764 /* Assign string offsets in .dynstr, update all structures referencing
3765 them. */
3767 static bfd_boolean
3769 {
3775 bfd_size_type size;
3786 /* Update all .dynamic entries referencing .dynstr strings. */
3790 {
3791 Elf_Internal_Dyn dyn;
3795 {
3811 }
3813 }
3815 /* Now update local dynamic symbols. */
3820 /* And the rest of dynamic symbols. */
3823 /* Adjust version definitions. */
3825 {
3829 Elf_Internal_Verdef def;
3830 Elf_Internal_Verdaux defaux;
3834 do
3835 {
3842 {
3850 }
3851 }
3853 }
3855 /* Adjust version references. */
3857 {
3861 Elf_Internal_Verneed need;
3862 Elf_Internal_Vernaux needaux;
3866 do
3867 {
3875 {
3884 }
3885 }
3887 }
3890 }
3891 \f
3892 /* Return TRUE iff relocations for INPUT are compatible with OUTPUT.
3893 The default is to only match when the INPUT and OUTPUT are exactly
3894 the same target. */
3896 bfd_boolean
3899 {
3901 }
3903 /* Return TRUE iff relocations for INPUT are compatible with OUTPUT.
3904 This version is used when different targets for the same architecture
3905 are virtually identical. */
3907 bfd_boolean
3910 {
3922 /* If both backends are using this function, deem them compatible. */
3924 }
3926 /* Make a special call to the linker "notice" function to tell it that
3927 we are about to handle an as-needed lib, or have finished
3928 processing the lib. */
3930 bfd_boolean
3934 {
3936 }
3938 /* Check relocations an ELF object file. */
3940 bfd_boolean
3942 {
3946 /* If this object is the same format as the output object, and it is
3947 not a shared library, then let the backend look through the
3948 relocs.
3950 This is required to build global offset table entries and to
3951 arrange for dynamic relocs. It is not required for the
3952 particular common case of linking non PIC code, even when linking
3953 against shared libraries, but unfortunately there is no way of
3954 knowing whether an object file has been compiled PIC or not.
3955 Looking through the relocs is not particularly time consuming.
3956 The problem is that we must either (1) keep the relocs in memory,
3957 which causes the linker to require additional runtime memory or
3958 (2) read the relocs twice from the input file, which wastes time.
3959 This would be a good case for using mmap.
3961 I have no idea how to handle linking PIC code into a file of a
3962 different format. It probably can't be done. */
3968 {
3972 {
3974 bfd_boolean ok;
3976 /* Don't check relocations in excluded sections. Don't do
3977 anything special with non-loaded, non-alloced sections.
3978 In particular, any relocs in such sections should not
3979 affect GOT and PLT reference counting (ie. we don't
3980 allow them to create GOT or PLT entries), there's no
3981 possibility or desire to optimize TLS relocs, and
3982 there's not much point in propagating relocs to shared
3983 libs that the dynamic linker won't relocate. */
4005 }
4006 }
4009 }
4011 /* Add symbols from an ELF object file to the linker hash table. */
4013 static bfd_boolean
4015 {
4022 bfd_boolean dynamic;
4033 bfd_boolean add_needed;
4046 bfd_boolean just_syms;
4053 else
4054 {
4057 /* You can't use -r against a dynamic object. Also, there's no
4058 hope of using a dynamic object which does not exactly match
4059 the format of the output file. */
4063 {
4066 else
4069 }
4070 }
4079 _bfd_error_handler
4080 /* xgettext:c-format */
4084 /* As a GNU extension, any input sections which are named
4085 .gnu.warning.SYMBOL are treated as warning symbols for the given
4086 symbol. This differs from .gnu.warning sections, which generate
4087 warnings when they are included in an output file. */
4088 /* PR 12761: Also generate this warning when building shared libraries. */
4090 {
4095 {
4097 bfd_size_type sz;
4101 /* If this is a shared object, then look up the symbol
4102 in the hash table. If it is there, and it is already
4103 been defined, then we will not be using the entry
4104 from this shared object, so we don't need to warn.
4105 FIXME: If we see the definition in a regular object
4106 later on, we will warn, but we shouldn't. The only
4107 fix is to keep track of what warnings we are supposed
4108 to emit, and then handle them all at the end of the
4109 link. */
4111 {
4116 /* FIXME: What about bfd_link_hash_common? */
4121 }
4139 {
4140 /* Clobber the section size so that the warning does
4141 not get copied into the output file. */
4144 /* Also set SEC_EXCLUDE, so that symbols defined in
4145 the warning section don't get copied to the output. */
4147 }
4148 }
4149 }
4156 {
4157 /* If we are creating a shared library, create all the dynamic
4158 sections immediately. We need to attach them to something,
4159 so we attach them to this BFD, provided it is the right
4160 format and is not from ld --just-symbols. Always create the
4161 dynamic sections for -E/--dynamic-list. FIXME: If there
4162 are no input BFD's of the same format as the output, we can't
4163 make a shared library. */
4172 {
4175 }
4176 }
4179 else
4180 {
4187 /* ld --just-symbols and dynamic objects don't mix very well.
4188 ld shouldn't allow it. */
4192 /* If this dynamic lib was specified on the command line with
4193 --as-needed in effect, then we don't want to add a DT_NEEDED
4194 tag unless the lib is actually used. Similary for libs brought
4195 in by another lib's DT_NEEDED. When --no-add-needed is used
4196 on a dynamic lib, we don't want to add a DT_NEEDED entry for
4197 any dynamic library in DT_NEEDED tags in the dynamic lib at
4198 all. */
4205 {
4212 {
4213 error_free_dyn:
4216 }
4226 {
4227 Elf_Internal_Dyn dyn;
4231 {
4236 }
4238 {
4257 ;
4259 }
4261 {
4282 ;
4284 }
4285 /* Ignore DT_RPATH if we have seen DT_RUNPATH. */
4287 {
4308 ;
4310 }
4312 {
4315 }
4316 }
4319 }
4321 /* DT_RUNPATH overrides DT_RPATH. Do _NOT_ bfd_release, as that
4322 frees all more recently bfd_alloc'd blocks as well. */
4327 {
4330 ;
4332 }
4334 /* If we have a PT_GNU_RELRO program header, mark as read-only
4335 all sections contained fully therein. This makes relro
4336 shared library sections appear as they will at run-time. */
4340 {
4342 {
4349 }
4351 }
4353 /* We do not want to include any of the sections in a dynamic
4354 object in the output file. We hack by simply clobbering the
4355 list of sections in the BFD. This could be handled more
4356 cleanly by, say, a new section flag; the existing
4357 SEC_NEVER_LOAD flag is not the one we want, because that one
4358 still implies that the section takes up space in the output
4359 file. */
4362 /* Find the name to use in a DT_NEEDED entry that refers to this
4363 object. If the object has a DT_SONAME entry, we use it.
4364 Otherwise, if the generic linker stuck something in
4365 elf_dt_name, we use that. Otherwise, we just use the file
4366 name. */
4368 {
4372 }
4374 /* Save the SONAME because sometimes the linker emulation code
4375 will need to know it. */
4378 /* If we have already included this dynamic object in the
4379 link, just ignore it. There is no reason to include a
4380 particular dynamic object more than once. */
4384 {
4387 }
4389 /* Create dynamic sections for backends that require that be done
4390 before setup_gnu_properties. */
4395 /* Save the DT_AUDIT entry for the linker emulation code. */
4397 }
4399 /* If this is a dynamic object, we always link against the .dynsym
4400 symbol table, not the .symtab symbol table. The dynamic linker
4401 will only see the .dynsym symbol table, so there is no reason to
4402 look at .symtab for a dynamic object. */
4406 else
4411 /* The sh_info field of the symtab header tells us where the
4412 external symbols start. We don't care about the local symbols at
4413 this point. */
4415 {
4418 }
4419 else
4420 {
4423 }
4427 {
4434 {
4435 /* We store a pointer to the hash table entry for each
4436 external symbol. */
4442 }
4443 }
4446 {
4447 /* Read in any version definitions. */
4452 /* Read in the symbol versions, but don't bother to convert them
4453 to internal format. */
4455 {
4466 }
4467 }
4469 /* If we are loading an as-needed shared lib, save the symbol table
4470 state before we start adding symbols. If the lib turns out
4471 to be unneeded, restore the state. */
4473 {
4478 {
4483 {
4487 {
4490 }
4493 }
4494 }
4501 /* Remember the current objalloc pointer, so that all mem for
4502 symbols added can later be reclaimed. */
4507 /* Make a special call to the linker "notice" function to
4508 tell it that we are about to handle an as-needed lib. */
4512 /* Clone the symbol table. Remember some pointers into the
4513 symbol table, and dynamic symbol count. */
4523 {
4527 }
4530 {
4535 {
4540 {
4544 }
4546 {
4549 }
4550 }
4551 }
4552 }
4559 else
4560 {
4561 /* xgettext:c-format */
4567 }
4571 {
4572 _bfd_error_handler
4574 }
4579 {
4581 bfd_vma value;
4583 flagword flags;
4587 bfd_boolean definition;
4588 bfd_boolean size_change_ok;
4589 bfd_boolean type_change_ok;
4590 bfd_boolean new_weak;
4591 bfd_boolean old_weak;
4593 bfd_boolean common;
4594 bfd_boolean discarded;
4598 bfd_boolean matched;
4607 {
4608 /* Treat common symbol as undefined for --no-define-common. */
4611 }
4616 {
4618 /* This should be impossible, since ELF requires that all
4619 global symbols follow all local symbols, and that sh_info
4620 point to the first global symbol. Unfortunately, Irix 5
4621 screws this up. */
4625 /* If we aren't prepared to handle locals within the globals
4626 then we'll likely segfault on a NULL symbol hash if the
4627 symbol is ever referenced in relocations. */
4635 /* Dynamic object relocations are not processed by ld, so
4636 ld won't run into the problem mentioned above. */
4656 /* Leave it up to the processor backend. */
4658 }
4665 {
4667 /* What ELF calls the size we call the value. What ELF
4668 calls the value we call the alignment. */
4670 }
4671 else
4672 {
4677 {
4678 /* Symbols from discarded section are undefined. We keep
4679 its visibility. */
4683 }
4686 }
4695 {
4699 {
4705 }
4707 }
4711 {
4715 {
4721 }
4723 }
4725 {
4730 /* The hook function sets the name to NULL if this symbol
4731 should be skipped for some reason. */
4734 }
4736 /* Sanity check that all possibilities were handled. */
4740 /* Silently discard TLS symbols from --just-syms. There's
4741 no way to combine a static TLS block with a new TLS block
4742 for this executable. */
4750 else
4762 {
4763 Elf_Internal_Versym iver;
4765 bfd_boolean skip;
4768 {
4770 /* Use the default symbol version created earlier. */
4772 else
4774 }
4776 {
4777 /* xgettext:c-format */
4779 abfd);
4782 }
4783 else
4788 /* If this is a hidden symbol, or if it is not version
4789 1, we append the version name to the symbol name.
4790 However, we do not modify a non-hidden absolute symbol
4791 if it is not a function, because it might be the version
4792 symbol itself. FIXME: What if it isn't? */
4797 {
4803 {
4807 verstr =
4809 else
4813 {
4814 _bfd_error_handler
4815 /* xgettext:c-format */
4821 }
4822 }
4823 else
4824 {
4825 /* We cannot simply test for the number of
4826 entries in the VERNEED section since the
4827 numbers for the needed versions do not start
4828 at 0. */
4835 {
4839 {
4841 {
4844 }
4845 }
4848 }
4850 {
4851 _bfd_error_handler
4852 /* xgettext:c-format */
4857 }
4858 }
4873 /* If this is a defined non-hidden version symbol,
4874 we add another @ to the name. This indicates the
4875 default version of the symbol. */
4882 }
4884 /* If this symbol has default visibility and the user has
4885 requested we not re-export it, then mark it as hidden. */
4887 && !dynamic
4903 /* Override a definition only if the new symbol matches the
4904 existing one. */
4917 }
4926 /* We need to make sure that indirect symbol dynamic flags are
4927 updated. */
4933 /* Setting the index to -3 tells elf_link_output_extsym that
4934 this symbol is defined in a discarded section. */
4942 && definition
4943 && new_weak
4947 {
4948 /* Keep a list of all weak defined non function symbols from
4949 a dynamic object, using the alias field. Later in this
4950 function we will set the alias field to the correct
4951 value. We only put non-function symbols from dynamic
4952 objects on this list, because that happens to be the only
4953 time we need to know the normal symbol corresponding to a
4954 weak symbol, and the information is time consuming to
4955 figure out. If the alias field is not already NULL,
4956 then this symbol was already defined by some previous
4957 dynamic object, and we will be using that previous
4958 definition anyhow. */
4962 }
4964 /* Set the alignment of a common symbol. */
4967 {
4972 else
4973 {
4974 /* The new symbol is a common symbol in a shared object.
4975 We need to get the alignment from the section. */
4977 }
4980 else
4982 }
4985 {
4986 /* Set a flag in the hash table entry indicating the type of
4987 reference or definition we just found. A dynamic symbol
4988 is one which is referenced or defined by both a regular
4989 object and a shared object. */
4993 {
4995 {
4999 }
5000 else
5001 {
5004 {
5007 }
5008 }
5010 /* If the indirect symbol has been forced local, don't
5011 make the real symbol dynamic. */
5017 }
5018 else
5019 {
5021 {
5024 }
5025 else
5026 {
5029 }
5031 /* If the indirect symbol has been forced local, don't
5032 make the real symbol dynamic. */
5039 }
5041 /* Check to see if we need to add an indirect symbol for
5042 the default name. */
5049 /* Check the alignment when a common symbol is involved. This
5050 can change when a common symbol is overridden by a normal
5051 definition or a common symbol is ignored due to the old
5052 normal definition. We need to make sure the maximum
5053 alignment is maintained. */
5056 {
5070 {
5074 }
5075 else
5079 {
5083 }
5084 else
5085 {
5089 }
5092 {
5093 /* PR binutils/2735 */
5095 _bfd_error_handler
5096 /* xgettext:c-format */
5101 else
5102 _bfd_error_handler
5103 /* xgettext:c-format */
5108 }
5109 }
5111 /* Remember the symbol size if it isn't undefined. */
5115 {
5119 _bfd_error_handler
5120 /* xgettext:c-format */
5127 }
5129 /* If this is a common symbol, then we always want H->SIZE
5130 to be the size of the common symbol. The code just above
5131 won't fix the size if a common symbol becomes larger. We
5132 don't warn about a size change here, because that is
5133 covered by --warn-common. Allow changes between different
5134 function types. */
5142 {
5145 /* Turn an IFUNC symbol from a DSO into a normal FUNC
5146 symbol. */
5152 {
5154 /* xgettext:c-format */
5155 _bfd_error_handler
5161 }
5162 }
5164 /* Merge st_other field. */
5167 /* We don't want to make debug symbol dynamic. */
5174 {
5177 }
5180 {
5183 {
5184 /* Queue non-default versions so that .symver x, x@FOO
5185 aliases can be checked. */
5187 {
5190 nondeflt_vers
5194 }
5196 }
5197 }
5200 {
5205 {
5208 }
5209 }
5211 /* If the symbol already has a dynamic index, but
5212 visibility says it should not be visible, turn it into
5213 a local symbol. */
5215 {
5221 }
5224 && matched
5225 && definition
5226 && ((dynsym
5232 {
5238 /* A symbol from a library loaded via DT_NEEDED of some
5239 other library is referenced by a regular object.
5240 Add a DT_NEEDED entry for it. Issue an error if
5241 --no-add-needed is used and the reference was not
5242 a weak one. */
5245 {
5246 _bfd_error_handler
5247 /* xgettext:c-format */
5252 }
5257 /* Create dynamic sections for backends that require
5258 that be done before setup_gnu_properties. */
5262 }
5263 }
5264 }
5269 && !just_syms
5271 {
5276 else
5279 /* If linker plugin is enabled, set non_ir_ref_regular on symbols
5280 referenced in regular objects so that linker plugin will get
5281 the correct symbol resolution. */
5285 {
5289 /* Don't check relocations in excluded sections. */
5299 NULL,
5307 {
5311 /* Skip local symbols. */
5318 }
5322 }
5323 }
5331 {
5334 /* Restore the symbol table. */
5349 {
5355 {
5356 /* Preserve non_ir_ref_dynamic so that this symbol
5357 will be exported when the dynamic lib becomes needed
5358 in the second pass. */
5368 {
5372 }
5374 {
5377 }
5379 }
5380 }
5382 /* Make a special call to the linker "notice" function to
5383 tell it that symbols added for crefs may need to be removed. */
5389 alloc_mark);
5392 }
5395 {
5400 }
5402 /* Now that all the symbols from this input file are created, if
5403 not performing a relocatable link, handle .symver foo, foo@BAR
5404 such that any relocs against foo become foo@BAR. */
5406 {
5410 {
5435 {
5444 {
5447 }
5448 }
5450 }
5453 }
5455 /* Now set the alias field correctly for all the weak defined
5456 symbols we found. The only way to do this is to search all the
5457 symbols. Since we only need the information for non functions in
5458 dynamic objects, that's the only time we actually put anything on
5459 the list WEAKS. We need this information so that if a regular
5460 object refers to a symbol defined weakly in a dynamic object, the
5461 real symbol in the dynamic object is also put in the dynamic
5462 symbols; we also must arrange for both symbols to point to the
5463 same memory location. We could handle the general case of symbol
5464 aliasing, but a general symbol alias can only be generated in
5465 assembler code, handling it correctly would be very time
5466 consuming, and other ELF linkers don't handle general aliasing
5467 either. */
5469 {
5476 /* Since we have to search the whole symbol list for each weak
5477 defined symbol, search time for N weak defined symbols will be
5478 O(N^2). Binary search will cut it down to O(NlogN). */
5488 {
5493 {
5495 sym_hash++;
5496 sym_count++;
5497 }
5498 }
5501 elf_sort_symbol);
5504 {
5507 bfd_vma vlook;
5524 {
5525 bfd_signed_vma vdiff;
5533 else
5534 {
5540 else
5542 }
5543 }
5545 /* We didn't find a value/section match. */
5549 /* With multiple aliases, or when the weak symbol is already
5550 strongly defined, we have multiple matching symbols and
5551 the binary search above may land on any of them. Step
5552 one past the matching symbol(s). */
5554 {
5559 }
5561 /* Now look back over the aliases. Since we sorted by size
5562 as well as value and section, we'll choose the one with
5563 the largest size. */
5565 {
5568 /* Stop if value or section doesn't match. */
5573 {
5584 /* If the weak definition is in the list of dynamic
5585 symbols, make sure the real definition is put
5586 there as well. */
5588 {
5590 {
5591 err_free_sym_hash:
5594 }
5595 }
5597 /* If the real definition is in the list of dynamic
5598 symbols, make sure the weak definition is put
5599 there as well. If we don't do this, then the
5600 dynamic loader might not merge the entries for the
5601 real definition and the weak definition. */
5603 {
5606 }
5608 }
5609 }
5610 }
5613 }
5619 /* If this is a non-traditional link, try to optimize the handling
5620 of the .stab/.stabstr sections. */
5625 {
5630 {
5640 {
5650 }
5651 }
5652 }
5655 {
5656 /* Add this bfd to the loaded list. */
5665 }
5672 error_free_vers:
5677 error_free_sym:
5679 error_return:
5681 }
5683 /* Return the linker hash table entry of a symbol that might be
5684 satisfied by an archive symbol. Return -1 on error. */
5690 {
5699 /* If this is a default version (the name contains @@), look up the
5700 symbol again with only one `@' as well as without the version.
5701 The effect is that references to the symbol with and without the
5702 version will be matched by the default symbol in the archive. */
5708 /* First check with only one `@'. */
5720 {
5721 /* We also need to check references to the symbol without the
5722 version. */
5726 }
5730 }
5732 /* Add symbols from an ELF archive file to the linker hash table. We
5733 don't use _bfd_generic_link_add_archive_symbols because we need to
5734 handle versioned symbols.
5736 Fortunately, ELF archive handling is simpler than that done by
5737 _bfd_generic_link_add_archive_symbols, which has to allow for a.out
5738 oddities. In ELF, if we find a symbol in the archive map, and the
5739 symbol is currently undefined, we know that we must pull in that
5740 object file.
5742 Unfortunately, we do have to make multiple passes over the symbol
5743 table until nothing further is resolved. */
5745 static bfd_boolean
5747 {
5748 symindex c;
5751 bfd_boolean loop;
5758 {
5759 /* An empty archive is a special case. */
5764 }
5766 /* Keep track of all symbols we know to be already defined, and all
5767 files we know to be already included. This is to speed up the
5768 second and subsequent passes. */
5781 do
5782 {
5783 file_ptr last;
5784 symindex i;
5794 {
5798 symindex mark;
5803 {
5806 }
5816 {
5817 /* If the archive element has already been loaded then one
5818 of the symbols defined by that element might have been
5819 made undefined due to being in a discarded section. */
5822 }
5824 {
5825 /* We currently have a common symbol. The archive map contains
5826 a reference to this symbol, so we may want to include it. We
5827 only want to include it however, if this archive element
5828 contains a definition of the symbol, not just another common
5829 declaration of it.
5831 Unfortunately some archivers (including GNU ar) will put
5832 declarations of common symbols into their archive maps, as
5833 well as real definitions, so we cannot just go by the archive
5834 map alone. Instead we must read in the element's symbol
5835 table and check that to see what kind of symbol definition
5836 this is. */
5839 }
5840 else
5841 {
5843 /* Symbol must be defined. Don't check it again. */
5846 }
5848 /* We need to include this archive member. */
5864 /* If there are any new undefined symbols, we need to make
5865 another pass through the archive in order to see whether
5866 they can be defined. FIXME: This isn't perfect, because
5867 common symbols wind up on undefs_tail and because an
5868 undefined symbol which is defined later on in this pass
5869 does not require another pass. This isn't a bug, but it
5870 does make the code less efficient than it could be. */
5874 /* Look backward to mark all symbols from this object file
5875 which we have already seen in this pass. */
5877 do
5878 {
5883 }
5886 /* We mark subsequent symbols from this object file as we go
5887 on through the loop. */
5889 }
5890 }
5896 error_return:
5899 }
5901 /* Given an ELF BFD, add symbols to the global hash table as
5902 appropriate. */
5904 bfd_boolean
5906 {
5908 {
5916 }
5917 }
5918 \f
5919 struct hash_codes_info
5920 {
5922 bfd_boolean error;
5923 };
5925 /* This function will be called though elf_link_hash_traverse to store
5926 all hash value of the exported symbols in an array. */
5928 static bfd_boolean
5930 {
5936 /* Ignore indirect symbols. These are added by the versioning code. */
5942 {
5945 {
5948 {
5951 }
5955 }
5956 }
5958 /* Compute the hash value. */
5961 /* Store the found hash value in the array given as the argument. */
5964 /* And store it in the struct so that we can put it in the hash table
5965 later. */
5970 }
5972 struct collect_gnu_hash_codes
5973 {
5984 bfd_size_type xlat;
5991 bfd_boolean error;
5992 };
5994 /* This function will be called though elf_link_hash_traverse to store
5995 all hash value of the exported symbols in an array. */
5997 static bfd_boolean
5999 {
6005 /* Ignore indirect symbols. These are added by the versioning code. */
6009 /* Ignore also local symbols and undefined symbols. */
6015 {
6018 {
6021 {
6024 }
6028 }
6029 }
6031 /* Compute the hash value. */
6034 /* Store the found hash value in the array for compute_bucket_count,
6035 and also for .dynsym reordering purposes. */
6044 }
6046 /* This function will be called though elf_link_hash_traverse to do
6047 final dynamic symbol renumbering in case of .gnu.hash.
6048 If using .MIPS.xhash, invoke record_xhash_symbol to add symbol index
6049 to the translation table. */
6051 static bfd_boolean
6053 {
6058 /* Ignore indirect symbols. */
6062 /* Ignore also local symbols and undefined symbols. */
6064 {
6066 {
6068 {
6071 }
6072 else
6074 }
6076 }
6086 /* Last element terminates the chain. */
6092 {
6096 }
6097 else
6100 }
6102 /* Return TRUE if symbol should be hashed in the `.gnu.hash' section. */
6104 bfd_boolean
6106 {
6113 }
6115 /* Array used to determine the number of hash table buckets to use
6116 based on the number of symbols there are. If there are fewer than
6117 3 symbols we use 1 bucket, fewer than 17 symbols we use 3 buckets,
6118 fewer than 37 we use 17 buckets, and so forth. We never use more
6119 than 32771 buckets. */
6122 {
6125 };
6127 /* Compute bucket count for hashing table. We do not use a static set
6128 of possible tables sizes anymore. Instead we determine for all
6129 possible reasonable sizes of the table the outcome (i.e., the
6130 number of collisions etc) and choose the best solution. The
6131 weighting functions are not too simple to allow the table to grow
6132 without bounds. Instead one of the weighting factors is the size.
6133 Therefore the result is always a good payoff between few collisions
6134 (= short chain lengths) and table size. */
6135 static size_t
6140 {
6144 /* We have a problem here. The following code to optimize the table
6145 size requires an integer type with more the 32 bits. If
6146 BFD_HOST_U_64_BIT is set we know about such a type. */
6147 #ifdef BFD_HOST_U_64_BIT
6149 {
6157 bfd_size_type amt;
6160 /* Possible optimization parameters: if we have NSYMS symbols we say
6161 that the hashing table must at least have NSYMS/4 and at most
6162 2*NSYMS buckets. */
6168 {
6173 }
6175 /* Create array where we count the collisions in. We must use bfd_malloc
6176 since the size could be large. */
6183 /* Compute the "optimal" size for the hash table. The criteria is a
6184 minimal chain length. The minor criteria is (of course) the size
6185 of the table. */
6187 {
6188 /* Walk through the array of hashcodes and count the collisions. */
6189 BFD_HOST_U_64_BIT max;
6198 /* Determine how often each hash bucket is used. */
6202 /* For the weight function we need some information about the
6203 pagesize on the target. This is information need not be 100%
6204 accurate. Since this information is not available (so far) we
6205 define it here to a reasonable default value. If it is crucial
6206 to have a better value some day simply define this value. */
6207 # ifndef BFD_TARGET_PAGESIZE
6208 # define BFD_TARGET_PAGESIZE (4096)
6209 # endif
6211 /* We in any case need 2 + DYNSYMCOUNT entries for the size values
6212 and the chains. */
6215 # if 1
6216 /* Variant 1: optimize for short chains. We add the squares
6217 of all the chain lengths (which favors many small chain
6218 over a few long chains). */
6222 /* This adds penalties for the overall size of the table. */
6225 # else
6226 /* Variant 2: Optimize a lot more for small table. Here we
6227 also add squares of the size but we also add penalties for
6228 empty slots (the +1 term). */
6232 /* The overall size of the table is considered, but not as
6233 strong as in variant 1, where it is squared. */
6236 # endif
6238 /* Compare with current best results. */
6240 {
6244 }
6245 /* PR 11843: Avoid futile long searches for the best bucket size
6246 when there are a large number of symbols. */
6249 }
6252 }
6253 else
6255 {
6256 /* This is the fallback solution if no 64bit type is available or if we
6257 are not supposed to spend much time on optimizations. We select the
6258 bucket count using a fixed set of numbers. */
6260 {
6264 }
6267 }
6270 }
6272 /* Size any SHT_GROUP section for ld -r. */
6274 bfd_boolean
6276 {
6287 }
6289 /* Set a default stack segment size. The value in INFO wins. If it
6290 is unset, LEGACY_SYMBOL's value is used, and if that symbol is
6291 undefined it is initialized. */
6293 bfd_boolean
6297 bfd_vma default_size)
6298 {
6301 /* Look for legacy symbol. */
6309 {
6310 /* The symbol has no type if specified on the command line. */
6313 /* xgettext:c-format */
6317 /* xgettext:c-format */
6320 else
6322 }
6325 /* If the user didn't set a size, or explicitly inhibit the
6326 size, set it now. */
6329 /* Provide the legacy symbol, if it is referenced. */
6332 {
6345 }
6348 }
6350 /* Sweep symbols in swept sections. Called via elf_link_hash_traverse. */
6352 struct elf_gc_sweep_symbol_info
6353 {
6356 bfd_boolean);
6357 };
6359 static bfd_boolean
6361 {
6369 {
6377 }
6380 }
6382 /* Set up the sizes and contents of the ELF dynamic sections. This is
6383 called by the ELF linker emulation before_allocation routine. We
6384 must set the sizes of the sections before the linker sets the
6385 addresses of the various sections. */
6387 bfd_boolean
6397 {
6409 {
6417 /* If we are supposed to export all symbols into the dynamic symbol
6418 table (this is not the normal case), then do so. */
6421 {
6427 _bfd_elf_export_symbol,
6431 }
6434 {
6440 }
6441 else
6444 /* Make all global versions with definition. */
6448 {
6467 /* Check the hidden versioned definition. */
6473 FALSE);
6477 {
6478 /* Check the default versioned definition. */
6483 FALSE);
6484 }
6487 /* Mark this version if there is a definition and it is
6488 not defined in a shared object. */
6494 }
6496 /* Attach all the symbols to their version information. */
6501 _bfd_elf_link_assign_sym_version,
6507 {
6508 /* Check if all global versions have a definition. */
6513 {
6514 _bfd_error_handler
6518 }
6521 {
6524 }
6525 }
6527 /* Set up the version definition section. */
6531 /* We may have created additional version definitions if we are
6532 just linking a regular application. */
6535 /* Skip anonymous version tag. */
6541 else
6542 {
6544 bfd_size_type size;
6546 Elf_Internal_Verdef def;
6547 Elf_Internal_Verdaux defaux;
6555 /* Make space for the base version. */
6560 /* Make space for the default version. */
6562 {
6565 }
6568 {
6571 /* Don't emit base version twice. */
6581 }
6588 /* Fill in the version definition section. */
6597 {
6600 }
6601 else
6602 {
6606 }
6609 {
6611 soname_indx);
6615 }
6616 else
6617 {
6627 }
6634 {
6635 /* Add a symbol representing this version. */
6651 /* Create a duplicate of the base version with the same
6652 aux block, but different flags. */
6659 else
6664 }
6670 {
6674 /* Don't emit the base version twice. */
6682 /* Add a symbol representing this version. */
6710 /* If a basever node is next, it *must* be the last node in
6711 the chain, otherwise Verdef construction breaks. */
6736 {
6738 {
6739 /* This can happen if there was an error in the
6740 version script. */
6742 }
6743 else
6744 {
6748 }
6751 else
6757 }
6758 }
6761 }
6762 }
6767 {
6770 /* Remove the symbols that were in the swept sections from the
6771 dynamic symbol table. */
6776 }
6779 {
6783 /* Work out the size of the version reference section. */
6795 _bfd_elf_link_find_version_dependencies,
6802 else
6803 {
6809 /* Build the version dependency section. */
6815 {
6822 }
6833 {
6849 FALSE);
6856 else
6865 {
6874 else
6880 }
6881 }
6884 }
6885 }
6887 /* Any syms created from now on start with -1 in
6888 got.refcount/offset and plt.refcount/offset. */
6898 /* The backend may have to create some sections regardless of whether
6899 we're dynamic or not. */
6904 /* Determine any GNU_STACK segment requirements, after the backend
6905 has had a chance to set a default segment size. */
6910 else
6911 {
6917 inputobj;
6919 {
6931 {
6935 }
6938 }
6944 }
6947 {
6957 {
6961 }
6964 {
6966 bfd_vma tag;
6969 TRUE);
6976 }
6979 {
6987 }
6990 {
6994 {
7002 }
7003 }
7006 {
7010 TRUE);
7014 }
7017 {
7021 TRUE);
7025 }
7030 /* Find all symbols which were defined in a dynamic object and make
7031 the backend pick a reasonable value for them. */
7033 _bfd_elf_adjust_dynamic_symbol,
7038 /* Add some entries to the .dynamic section. We fill in some of the
7039 values later, in bfd_elf_final_link, but we must add the entries
7040 now so that we know the final size of the .dynamic section. */
7042 /* If there are initialization and/or finalization functions to
7043 call then add the corresponding DT_INIT/DT_FINI entries. */
7052 {
7055 }
7064 {
7067 }
7071 {
7072 /* DT_PREINIT_ARRAY is not allowed in shared library. */
7074 {
7085 {
7086 _bfd_error_handler
7088 sub);
7090 }
7094 }
7099 }
7102 {
7106 }
7109 {
7113 }
7116 /* If .dynstr is excluded from the link, we don't want any of
7117 these tags. Strictly, we should be checking each section
7118 individually; This quick check covers for the case where
7119 someone does a /DISCARD/ : { *(*) }. */
7121 {
7122 bfd_size_type strsize;
7136 }
7137 }
7142 /* The backend must work out the sizes of all the other dynamic
7143 sections. */
7150 {
7152 {
7158 }
7161 {
7164 }
7166 {
7169 }
7172 {
7175 | DF_1_NODELETE
7179 }
7182 {
7188 }
7193 {
7198 }
7199 }
7201 }
7203 /* Find the first non-excluded output section. We'll use its
7204 section symbol for some emitted relocs. */
7205 void
7207 {
7214 {
7218 }
7220 }
7222 /* Find two non-excluded output sections, one for code, one for data.
7223 We'll use their section symbols for some emitted relocs. */
7224 void
7226 {
7230 /* Data first, since setting text_index_section changes
7231 _bfd_elf_omit_section_dynsym_default. */
7236 {
7240 }
7247 {
7250 }
7252 }
7254 #define GNU_HASH_SECTION_NAME(bed) \
7257 bfd_boolean
7259 {
7270 /* Assign dynsym indices. In a shared library we generate a section
7271 symbol for each output section, which come first. Next come all
7272 of the back-end allocated local dynamic syms, followed by the rest
7273 of the global symbols.
7275 This is usually not needed for static binaries, however backends
7276 can request to always do it, e.g. the MIPS backend uses dynamic
7277 symbol counts to lay out GOT, which will be produced in the
7278 presence of GOT relocations even in static binaries (holding fixed
7279 data in that case, to satisfy those relocations). */
7287 {
7294 /* Work out the size of the symbol version section. */
7298 {
7306 }
7308 /* Set the size of the .dynsym and .hash sections. We counted
7309 the number of dynamic symbols in elf_link_add_object_symbols.
7310 We will build the contents of .dynsym and .hash when we build
7311 the final symbol table, because until then we do not know the
7312 correct value to give the symbols. We built the .dynstr
7313 section as we went along in elf_link_add_object_symbols. */
7322 /* The first entry in .dynsym is a dummy symbol. Clear all the
7323 section syms, in case we don't output them all. */
7329 /* Compute the size of the hashing table. As a side effect this
7330 computes the hash values for all the names we export. */
7332 {
7335 bfd_size_type amt;
7340 /* Compute the hash values for all exported symbols. At the same
7341 time store the values in an array so that we could use them for
7342 optimizations. */
7350 /* Put all hash values in HASHCODES. */
7354 {
7357 }
7360 bucketcount
7380 }
7383 {
7387 bfd_size_type amt;
7392 /* Compute the hash values for all exported symbols. At the same
7393 time store the values in an array so that we could use them for
7394 optimizations. */
7405 /* Put all hash values in HASHCODES. */
7409 {
7412 }
7414 bucketcount
7418 {
7421 }
7427 {
7428 /* Empty .gnu.hash or .MIPS.xhash section is special. */
7436 /* 1 empty bucket. */
7438 /* SYMIDX above the special symbol 0. */
7440 /* Just one word for bitmask. */
7442 /* Only hash fn bloom filter. */
7444 /* No hashes are valid - empty bitmask. */
7446 /* No hashes in the only bucket. */
7449 }
7450 else
7451 {
7463 else
7466 {
7470 }
7471 else
7481 {
7484 }
7491 /* Determine how often each hash bucket is used. */
7498 {
7501 }
7512 {
7516 }
7526 {
7529 else
7532 }
7537 /* Renumber dynamic symbols, if populating .gnu.hash section.
7538 If using .MIPS.xhash, populate the translation table. */
7544 {
7546 contents);
7548 }
7552 }
7553 }
7565 }
7568 }
7569 \f
7570 /* Make sure sec_info_type is cleared if sec_info is cleared too. */
7572 static void
7575 {
7578 }
7580 /* Finish SHF_MERGE section merging. */
7582 bfd_boolean
7584 {
7599 {
7609 }
7613 merge_sections_remove_hook);
7615 }
7617 /* Create an entry in an ELF linker hash table. */
7623 {
7624 /* Allocate the structure if it has not already been allocated by a
7625 subclass. */
7627 {
7632 }
7634 /* Call the allocation method of the superclass. */
7637 {
7641 /* Set local fields. */
7648 /* Assume that we have been called by a non-ELF symbol reader.
7649 This flag is then reset by the code which reads an ELF input
7650 file. This ensures that a symbol created by a non-ELF symbol
7651 reader will have the flag set correctly. */
7653 }
7656 }
7658 /* Copy data from an indirect symbol to its direct symbol, hiding the
7659 old indirect symbol. Also used for copying flags to a weakdef. */
7661 void
7665 {
7669 {
7671 {
7675 /* Add reloc counts against the indirect sym to the direct sym
7676 list. Merge any entries against the same section. */
7678 {
7683 {
7688 }
7691 }
7693 }
7697 }
7699 /* Copy down any references that we may have already seen to the
7700 symbol which just became indirect. */
7713 /* Copy over the global and procedure linkage table refcount entries.
7714 These may have been already set up by a check_relocs routine. */
7717 {
7722 }
7725 {
7730 }
7733 {
7740 }
7741 }
7743 void
7746 bfd_boolean force_local)
7747 {
7748 /* STT_GNU_IFUNC symbol must go through PLT. */
7750 {
7753 }
7755 {
7758 {
7763 }
7764 }
7765 }
7767 /* Hide a symbol. */
7769 void
7773 {
7775 {
7784 }
7785 }
7787 /* Initialize an ELF linker hash table. *TABLE has been zeroed by our
7788 caller. */
7790 bfd_boolean
7791 _bfd_elf_link_hash_table_init
7799 {
7800 bfd_boolean ret;
7807 /* The first dynamic symbol is a dummy. */
7817 }
7819 /* Create an ELF linker hash table. */
7823 {
7833 GENERIC_ELF_DATA))
7834 {
7837 }
7841 }
7843 /* Destroy an ELF linker hash table. */
7845 void
7847 {
7855 }
7857 /* This is a hook for the ELF emulation code in the generic linker to
7858 tell the backend linker what file name to use for the DT_NEEDED
7859 entry for a dynamic object. */
7861 void
7863 {
7867 }
7869 int
7871 {
7876 else
7879 }
7881 void
7883 {
7887 }
7889 /* Get the list of DT_NEEDED entries for a link. This is a hook for
7890 the linker ELF emulation code. */
7895 {
7899 }
7901 /* Get the list of DT_RPATH/DT_RUNPATH entries for a link. This is a
7902 hook for the linker ELF emulation code. */
7907 {
7911 }
7913 /* Get the name actually used for a dynamic object for a link. This
7914 is the SONAME entry if there is one. Otherwise, it is the string
7915 passed to bfd_elf_set_dt_needed_name, or it is the filename. */
7919 {
7924 }
7926 /* Get the list of DT_NEEDED entries from a BFD. This is a hook for
7927 the ELF linker emulation code. */
7929 bfd_boolean
7932 {
7966 {
7967 Elf_Internal_Dyn dyn;
7975 {
7994 }
7995 }
8001 error_return:
8004 }
8006 struct elf_symbuf_symbol
8007 {
8011 };
8013 struct elf_symbuf_head
8014 {
8018 };
8020 struct elf_symbol
8021 {
8022 union
8023 {
8029 };
8031 /* Sort references to symbols by ascending section number. */
8033 static int
8035 {
8041 /* Final sort by the address of the sym in the symbuf ensures
8042 a stable sort. */
8046 }
8048 static int
8050 {
8059 }
8063 {
8080 elf_sort_elf_symbol);
8086 shndx_count++;
8092 {
8095 }
8102 {
8104 {
8105 ssymhead++;
8109 }
8114 }
8121 }
8123 /* Check if 2 sections define the same set of local and global
8124 symbols. */
8126 static bfd_boolean
8129 {
8140 bfd_boolean result;
8145 /* Both sections have to be in ELF. */
8175 {
8182 {
8185 }
8186 }
8189 {
8196 {
8199 }
8200 }
8203 {
8204 /* Optimized faster version. */
8211 ssymbuf1++;
8214 {
8220 else
8221 {
8225 }
8226 }
8230 ssymbuf2++;
8233 {
8239 else
8240 {
8244 }
8245 }
8250 symtable1
8252 symtable2
8260 {
8265 }
8270 {
8275 }
8277 /* Sort symbol by name. */
8279 elf_sym_name_compare);
8281 elf_sym_name_compare);
8284 /* Two symbols must have the same binding, type and name. */
8292 }
8301 /* Count definitions in the section. */
8325 /* Sort symbol by name. */
8327 elf_sym_name_compare);
8329 elf_sym_name_compare);
8332 /* Two symbols must have the same binding, type and name. */
8340 done:
8347 }
8349 /* Return TRUE if 2 section types are compatible. */
8351 bfd_boolean
8354 {
8362 }
8363 \f
8364 /* Final phase of ELF linker. */
8366 /* A structure we use to avoid passing large numbers of arguments. */
8368 struct elf_final_link_info
8369 {
8370 /* General link information. */
8372 /* Output BFD. */
8374 /* Symbol string table. */
8376 /* .hash section. */
8378 /* symbol version section (.gnu.version). */
8380 /* Buffer large enough to hold contents of any section. */
8382 /* Buffer large enough to hold external relocs of any section. */
8384 /* Buffer large enough to hold internal relocs of any section. */
8386 /* Buffer large enough to hold external local symbols of any input
8387 BFD. */
8389 /* And a buffer for symbol section indices. */
8391 /* Buffer large enough to hold internal local symbols of any input
8392 BFD. */
8394 /* Array large enough to hold a symbol index for each local symbol
8395 of any input BFD. */
8397 /* Array large enough to hold a section pointer for each local
8398 symbol of any input BFD. */
8400 /* Buffer for SHT_SYMTAB_SHNDX section. */
8402 /* Number of STT_FILE syms seen. */
8404 /* Local symbol hash table. */
8406 };
8408 struct local_hash_entry
8409 {
8410 /* Base hash table entry structure. */
8412 /* Size of the local symbol name. */
8414 /* Number of the duplicated local symbol names. */
8416 };
8418 /* Create an entry in the local symbol hash table. */
8424 {
8426 /* Allocate the structure if it has not already been allocated by a
8427 subclass. */
8429 {
8434 }
8436 /* Call the allocation method of the superclass. */
8439 {
8442 }
8445 }
8447 /* This struct is used to pass information to elf_link_output_extsym. */
8449 struct elf_outext_info
8450 {
8451 bfd_boolean failed;
8452 bfd_boolean localsyms;
8453 bfd_boolean file_sym_done;
8455 };
8458 /* Support for evaluating a complex relocation.
8460 Complex relocations are generalized, self-describing relocations. The
8461 implementation of them consists of two parts: complex symbols, and the
8462 relocations themselves.
8464 The relocations use a reserved elf-wide relocation type code (R_RELC
8465 external / BFD_RELOC_RELC internal) and an encoding of relocation field
8466 information (start bit, end bit, word width, etc) into the addend. This
8467 information is extracted from CGEN-generated operand tables within gas.
8469 Complex symbols are mangled symbols (STT_RELC external / BSF_RELC
8470 internal) representing prefix-notation expressions, including but not
8471 limited to those sorts of expressions normally encoded as addends in the
8472 addend field. The symbol mangling format is:
8474 <node> := <literal>
8475 | <unary-operator> ':' <node>
8476 | <binary-operator> ':' <node> ':' <node>
8477 ;
8479 <literal> := 's' <digits=N> ':' <N character symbol name>
8480 | 'S' <digits=N> ':' <N character section name>
8481 | '#' <hexdigits>
8482 ;
8484 <binary-operator> := as in C
8485 <unary-operator> := as in C, plus "0-" for unambiguous negation. */
8487 static void
8492 bfd_vma val)
8493 {
8499 {
8504 {
8505 /* It is a local symbol: move it to the
8506 "absolute" section and give it a value. */
8510 }
8513 }
8515 /* It is a global symbol: set its link type
8516 to "defined" and give it a value. */
8526 }
8528 static bfd_boolean
8535 {
8545 {
8554 #ifdef DEBUG
8557 #endif
8559 {
8564 #ifdef DEBUG
8567 #endif
8569 }
8570 }
8572 /* Hmm, haven't found it yet. perhaps it is a global. */
8580 {
8584 #ifdef DEBUG
8587 #endif
8589 }
8592 }
8594 /* Looks up NAME in SECTIONS. If found sets RESULT to NAME's address (in
8595 bytes) and returns TRUE, otherwise returns FALSE. Accepts pseudo-section
8596 names like "foo.end" which is the end address of section "foo". */
8598 static bfd_boolean
8603 {
8609 {
8612 }
8614 /* Hmm. still haven't found it. try pseudo-section names. */
8615 /* FIXME: This could be coded more efficiently... */
8617 {
8623 {
8625 {
8629 }
8631 /* Insert more pseudo-section names here, if you like. */
8632 }
8633 }
8636 }
8638 static void
8640 {
8641 /* xgettext:c-format */
8645 }
8647 static bfd_boolean
8652 bfd_vma dot,
8656 {
8659 bfd_vma a;
8660 bfd_vma b;
8670 {
8673 }
8676 {
8689 /* Fall through. */
8696 {
8699 }
8705 /* Is it always possible, with complex symbols, that gas "mis-guessed"
8706 the symbol as a section, or vice-versa. so we're pretty liberal in our
8707 interpretation here; section means "try section first", not "must be a
8708 section", and likewise with symbol. */
8711 {
8715 {
8718 }
8719 }
8720 else
8721 {
8726 {
8729 }
8730 }
8734 /* All that remains are operators. */
8736 #define UNARY_OP(op) \
8737 if (strncmp (sym, #op, strlen (#op)) == 0) \
8738 { \
8739 sym += strlen (#op); \
8741 ++sym; \
8742 *symp = sym; \
8743 if (!eval_symbol (&a, symp, input_bfd, flinfo, dot, \
8744 isymbuf, locsymcount, signed_p)) \
8745 return FALSE; \
8746 if (signed_p) \
8747 *result = op ((bfd_signed_vma) a); \
8748 else \
8749 *result = op a; \
8750 return TRUE; \
8751 }
8753 #define BINARY_OP_HEAD(op) \
8754 if (strncmp (sym, #op, strlen (#op)) == 0) \
8755 { \
8756 sym += strlen (#op); \
8758 ++sym; \
8759 *symp = sym; \
8760 if (!eval_symbol (&a, symp, input_bfd, flinfo, dot, \
8761 isymbuf, locsymcount, signed_p)) \
8762 return FALSE; \
8763 ++*symp; \
8764 if (!eval_symbol (&b, symp, input_bfd, flinfo, dot, \
8765 isymbuf, locsymcount, signed_p)) \
8766 return FALSE;
8767 #define BINARY_OP_TAIL(op) \
8768 if (signed_p) \
8769 *result = ((bfd_signed_vma) a) op ((bfd_signed_vma) b); \
8770 else \
8771 *result = a op b; \
8772 return TRUE; \
8773 }
8774 #define BINARY_OP(op) BINARY_OP_HEAD(op) BINARY_OP_TAIL(op)
8780 {
8783 }
8788 {
8791 }
8804 {
8808 }
8812 {
8816 }
8825 #undef UNARY_OP
8826 #undef BINARY_OP
8830 }
8831 }
8833 static void
8837 bfd_vma x,
8839 {
8843 {
8845 {
8856 /* Computed this way because x >>= 32 is undefined if x is a 32-bit value. */
8860 #ifdef BFD64
8863 /* Computed this way because x >>= 64 is undefined if x is a 64-bit value. */
8867 #endif
8871 }
8872 }
8873 }
8875 static bfd_vma
8880 {
8884 /* Sanity checks. */
8893 {
8896 /* Make sure that we do not perform an undefined shift operation.
8897 We know that size == chunksz so there will only be one iteration
8898 of the loop below. */
8900 }
8901 else
8905 {
8907 {
8917 #ifdef BFD64
8921 #endif
8924 }
8925 }
8927 }
8929 static void
8939 {
8948 }
8950 bfd_reloc_status_type
8955 bfd_vma relocation)
8956 {
8959 bfd_reloc_status_type r;
8960 bfd_size_type octets;
8962 /* Perform this reloc, since it is complex.
8963 (this is not to say that it necessarily refers to a complex
8964 symbol; merely that it is a self-describing CGEN based reloc.
8965 i.e. the addend has the complete reloc information (bit start, end,
8966 word size, etc) encoded within it.). */
8976 else
8982 #ifdef DEBUG
8984 "lsb0? %ld, signed? %ld, trunc? %ld, wordsz %ld, "
8990 #endif
8994 /* Now do an overflow check. */
8996 ? complain_overflow_signed
8999 relocation);
9001 /* Do the deed. */
9004 #ifdef DEBUG
9011 #endif
9014 }
9016 /* Functions to read r_offset from external (target order) reloc
9017 entry. Faster than bfd_getl32 et al, because we let the compiler
9018 know the value is aligned. */
9020 static bfd_vma
9022 {
9023 union aligned32
9024 {
9027 };
9036 }
9038 static bfd_vma
9040 {
9041 union aligned32
9042 {
9045 };
9054 }
9056 #ifdef BFD_HOST_64_BIT
9057 static bfd_vma
9059 {
9060 union aligned64
9061 {
9064 };
9077 }
9079 static bfd_vma
9081 {
9082 union aligned64
9083 {
9086 };
9099 }
9100 #endif
9102 /* When performing a relocatable link, the input relocations are
9103 preserved. But, if they reference global symbols, the indices
9104 referenced must be updated. Update all the relocations found in
9105 RELDATA. */
9107 static bfd_boolean
9111 bfd_boolean sort,
9113 {
9119 bfd_vma r_type_mask;
9125 {
9128 }
9130 {
9133 }
9134 else
9141 {
9144 }
9145 else
9146 {
9149 }
9153 {
9163 {
9164 /* PR 21524: Let the user know if a symbol was removed by garbage collection. */
9165 _bfd_error_handler (_("%pB:%pA: error: relocation references symbol %s which was removed by garbage collection"),
9172 }
9180 }
9186 {
9188 bfd_vma r_off;
9194 {
9199 else
9201 }
9202 else
9203 {
9204 #ifdef BFD_HOST_64_BIT
9209 else
9210 #endif
9212 }
9214 /* Must use a stable sort here. A modified insertion sort,
9215 since the relocs are mostly sorted already. */
9222 /* Ensure the first element is lowest. This acts as a sentinel,
9223 speeding the main loop below. */
9226 {
9229 {
9232 }
9233 }
9235 {
9236 /* Don't just swap *base and *loc as that changes the order
9237 of the original base[0] and base[1] if they happen to
9238 have the same r_offset. */
9243 }
9246 {
9247 /* base to p is sorted, *p is next to insert. */
9249 /* Search the sorted region for location to insert. */
9255 {
9256 /* Chances are there is a run of relocs to insert here,
9257 from one of more input files. Files are not always
9258 linked in order due to the way elf_link_input_bfd is
9259 called. See pr17666. */
9270 {
9274 }
9276 {
9280 }
9281 else
9282 {
9286 }
9288 }
9289 }
9290 /* Hashes are no longer valid. */
9294 }
9296 }
9298 struct elf_link_sort_rela
9299 {
9301 bfd_vma offset;
9302 bfd_vma sym_mask;
9305 /* We use this as an array of size int_rels_per_ext_rel. */
9307 };
9309 /* qsort stability here and for cmp2 is only an issue if multiple
9310 dynamic relocations are emitted at the same address. But targets
9311 that apply a series of dynamic relocations each operating on the
9312 result of the prior relocation can't use -z combreloc as
9313 implemented anyway. Such schemes tend to be broken by sorting on
9314 symbol index. That leaves dynamic NONE relocs as the only other
9315 case where ld might emit multiple relocs at the same address, and
9316 those are only emitted due to target bugs. */
9318 static int
9320 {
9341 }
9343 static int
9345 {
9362 }
9364 static size_t
9366 {
9380 bfd_vma r_sym_mask;
9381 bfd_boolean use_rela;
9383 /* Find a dynamic reloc section. */
9388 {
9391 /* This is just here to stop gcc from complaining.
9392 Its initialization checking code is not perfect. */
9395 /* Both sections are present. Examine the sizes
9396 of the indirect sections to help us choose. */
9399 {
9403 {
9405 /* Section size is divisible by both rel and rela sizes.
9406 It is of no help to us. */
9407 ;
9408 else
9409 {
9410 /* Section size is only divisible by rela. */
9412 {
9415 abfd);
9418 }
9419 else
9420 {
9423 }
9424 }
9425 }
9427 {
9428 /* Section size is only divisible by rel. */
9430 {
9433 abfd);
9436 }
9437 else
9438 {
9441 }
9442 }
9443 else
9444 {
9445 /* The section size is not divisible by either -
9446 something is wrong. */
9451 }
9452 }
9456 {
9460 {
9462 /* Section size is divisible by both rel and rela sizes.
9463 It is of no help to us. */
9464 ;
9465 else
9466 {
9467 /* Section size is only divisible by rela. */
9469 {
9472 abfd);
9475 }
9476 else
9477 {
9480 }
9481 }
9482 }
9484 {
9485 /* Section size is only divisible by rel. */
9487 {
9490 abfd);
9493 }
9494 else
9495 {
9498 }
9499 }
9500 else
9501 {
9502 /* The section size is not divisible by either -
9503 something is wrong. */
9508 }
9509 }
9512 /* Make a guess. */
9514 }
9519 else
9523 {
9528 }
9529 else
9530 {
9535 }
9554 {
9558 }
9562 else
9567 {
9572 {
9573 /* This is a reloc section that is being handled as a normal
9574 section. See bfd_section_from_shdr. We can't combine
9575 relocs in this case. */
9578 }
9584 {
9592 }
9593 }
9598 {
9602 }
9608 {
9613 }
9619 {
9620 /* We have plt relocs in .rela.dyn. */
9626 {
9628 /* Put srelplt link_order last. This is so the output_offset
9629 set in the next loop is correct for DT_JMPREL. */
9633 {
9636 }
9637 else
9642 }
9643 }
9648 {
9656 {
9661 }
9662 }
9667 }
9669 /* Add a symbol to the output symbol string table. */
9671 static int
9677 {
9683 bfd_size_type strtabsize;
9690 {
9694 }
9705 else
9706 {
9707 /* Call _bfd_elf_strtab_offset after _bfd_elf_strtab_finalize
9708 to get the final offset for st_name. */
9711 {
9713 {
9714 /* Keep only one '@' for versioned symbols defined in
9715 shared objects. */
9719 {
9729 }
9730 }
9731 }
9734 {
9737 {
9747 {
9748 /* Append ".COUNT" to duplicated local symbols. */
9754 {
9757 }
9767 }
9770 }
9771 }
9772 elfsym->st_name
9777 }
9782 {
9786 hash_table->strtab
9788 strtabsize);
9791 }
9802 }
9804 /* Swap symbols out to the symbol table and flush the output symbols to
9805 the file. */
9807 static bfd_boolean
9809 {
9816 file_ptr pos;
9817 bfd_boolean ret;
9832 {
9837 {
9840 }
9841 }
9844 {
9848 else
9858 }
9860 /* Allow the linker to examine the strtab and symtab now they are
9861 populated. */
9873 {
9876 }
9877 else
9886 }
9888 /* Return TRUE if the dynamic symbol SYM in ABFD is supported. */
9890 static bfd_boolean
9892 {
9895 {
9896 /* The gABI doesn't support dynamic symbols in output sections
9897 beyond 64k. */
9898 _bfd_error_handler
9899 /* xgettext:c-format */
9904 }
9906 }
9908 /* For DSOs loaded in via a DT_NEEDED entry, emulate ld.so in
9909 allowing an unsatisfied unversioned symbol in the DSO to match a
9910 versioned symbol that would normally require an explicit version.
9911 We also handle the case that a DSO references a hidden symbol
9912 which may be satisfied by a versioned symbol in another DSO. */
9914 static bfd_boolean
9918 {
9925 /* Check indirect symbol. */
9930 {
9952 }
9958 {
9973 /* We check each DSO for a possible hidden versioned definition. */
9982 {
9985 }
9986 else
9987 {
9990 }
10000 /* Read in any version definitions. */
10006 {
10009 }
10014 {
10016 Elf_Internal_Versym iver;
10034 {
10035 /* If we have a non-hidden versioned sym, then it should
10036 have provided a definition for the undefined sym unless
10037 it is defined in a non-shared object and forced local.
10038 */
10040 }
10044 {
10045 /* This is the base or first version. We can use it. */
10049 }
10050 }
10054 }
10057 }
10059 /* Convert ELF common symbol TYPE. */
10061 static int
10063 {
10064 /* Commom symbol can only appear in relocatable link. */
10068 {
10077 }
10079 }
10081 /* Add an external symbol to the symbol table. This is called from
10082 the hash table traversal routine. When generating a shared object,
10083 we go through the symbol table twice. The first time we output
10084 anything that might have been forced to local scope in a version
10085 script. The second time we output the symbols that are still
10086 global symbols. */
10088 static bfd_boolean
10090 {
10094 bfd_boolean strip;
10095 Elf_Internal_Sym sym;
10103 {
10107 }
10109 /* Decide whether to output this symbol in this pass. */
10111 {
10114 }
10115 else
10116 {
10119 }
10124 {
10125 /* If we have an undefined symbol reference here then it must have
10126 come from a shared library that is being linked in. (Undefined
10127 references in regular files have already been handled unless
10128 they are in unreferenced sections which are removed by garbage
10129 collection). */
10132 /* Some symbols may be special in that the fact that they're
10133 undefined can be safely ignored - let backend determine that. */
10137 /* If we are reporting errors for this situation then do so now. */
10143 {
10149 }
10151 /* Strip a global symbol defined in a discarded section. */
10154 }
10156 /* We should also warn if a forced local symbol is referenced from
10157 shared libraries. */
10165 {
10170 /* Check indirect symbol. */
10175 /* xgettext:c-format */
10178 /* xgettext:c-format */
10180 else
10181 /* xgettext:c-format */
10191 }
10193 /* We don't want to output symbols that have never been mentioned by
10194 a regular file, or that we have been told to strip. However, if
10195 h->indx is set to -2, the symbol is used by a reloc and we must
10196 output it. */
10199 ;
10228 /* If we're stripping it, and it's not a dynamic symbol, there's
10229 nothing else to do. However, if it is a forced local symbol or
10230 an ifunc symbol we need to give the backend finish_dynamic_symbol
10231 function a chance to make it dynamic. */
10242 {
10257 {
10260 {
10265 {
10266 _bfd_error_handler
10267 /* xgettext:c-format */
10273 }
10275 /* ELF symbols in relocatable files are section relative,
10276 but in nonrelocatable files they are virtual
10277 addresses. */
10280 {
10283 {
10287 }
10288 }
10289 }
10290 else
10291 {
10296 }
10297 }
10307 /* These symbols are created by symbol versioning. They point
10308 to the decorated version of the name. For example, if the
10309 symbol foo@@GNU_1.2 is the default, which should be used when
10310 foo is used with no version, then we add an indirect symbol
10311 foo which points to foo@@GNU_1.2. We ignore these symbols,
10312 since the indirected symbol is already in the hash table. */
10314 }
10318 {
10326 else
10334 }
10337 {
10339 /* Turn off visibility on local symbol. */
10341 }
10342 /* Set STB_GNU_UNIQUE only if symbol is defined in regular object. */
10348 else
10352 /* Give the processor backend a chance to tweak the symbol value,
10353 and also to finish up anything that needs to be done for this
10354 symbol. FIXME: Not calling elf_backend_finish_dynamic_symbol for
10355 forced local syms when non-shared is due to a historical quirk.
10356 STT_GNU_IFUNC symbol must go through PLT. */
10367 {
10370 {
10373 }
10374 }
10376 /* If we are marking the symbol as undefined, and there are no
10377 non-weak references to this symbol from a regular object, then
10378 mark the symbol as weak undefined; if there are non-weak
10379 references, mark the symbol as strong. We can't do this earlier,
10380 because it might not be marked as undefined until the
10381 finish_dynamic_symbol routine gets through with it. */
10386 {
10390 /* Turn an undefined IFUNC symbol into a normal FUNC symbol. */
10396 else
10399 }
10401 /* If this is a symbol defined in a dynamic library, don't use the
10402 symbol size from the dynamic library. Relinking an executable
10403 against a new library may introduce gratuitous changes in the
10404 executable's symbols if we keep the size. */
10410 /* If a non-weak symbol with non-default visibility is not defined
10411 locally, it is a fatal error. */
10417 {
10421 /* xgettext:c-format */
10424 /* xgettext:c-format */
10426 else
10427 /* xgettext:c-format */
10433 }
10435 /* If this symbol should be put in the .dynsym section, then put it
10436 there now. We already know the symbol index. We also fill in
10437 the entry in the .hash section. */
10442 {
10445 /* Since there is no version information in the dynamic string,
10446 if there is no version info in symbol version section, we will
10447 have a run-time problem if not linking executable, referenced
10448 by shared library, or not bound locally. */
10453 {
10457 {
10458 _bfd_error_handler
10459 /* xgettext:c-format */
10464 }
10465 }
10471 {
10474 }
10478 {
10481 bfd_vma chain;
10488 hash_entry_size
10494 bucketpos);
10498 }
10501 {
10502 Elf_Internal_Versym iversym;
10506 {
10511 else
10513 }
10514 else
10515 {
10518 else
10522 }
10524 /* Turn on VERSYM_HIDDEN only if the hidden versioned symbol is
10525 defined locally. */
10532 }
10533 }
10535 /* If the symbol is undefined, and we didn't output it to .dynsym,
10536 strip it from .symtab too. Obviously we can't do this for
10537 relocatable output or when needed for --emit-relocs. */
10540 /* PR 22319 Do not strip global undefined symbols marked as being needed. */
10545 /* Also strip others that we couldn't earlier due to dynamic symbol
10546 processing. */
10552 /* Output a FILE symbol so that following locals are not associated
10553 with the wrong input file. We need one for forced local symbols
10554 if we've seen more than one FILE symbol or when we have exactly
10555 one FILE symbol but global symbols are present in a file other
10556 than the one with the FILE symbol. We also need one if linker
10557 defined symbols are present. In practice these conditions are
10558 always met, so just emit the FILE symbol unconditionally. */
10562 {
10563 Elf_Internal_Sym fsym;
10573 }
10579 {
10582 }
10589 }
10591 /* Return TRUE if special handling is done for relocs in SEC against
10592 symbols defined in discarded sections. */
10594 static bfd_boolean
10596 {
10600 {
10607 }
10615 }
10617 /* Return a mask saying how ld should treat relocations in SEC against
10618 symbols defined in discarded sections. If this function returns
10619 COMPLAIN set, ld will issue a warning message. If this function
10620 returns PRETEND set, and the discarded section was link-once and the
10621 same size as the kept link-once section, ld will pretend that the
10622 symbol was actually defined in the kept section. Otherwise ld will
10623 zero the reloc (at least that is the intent, but some cooperation by
10624 the target dependent code is needed, particularly for REL targets). */
10626 unsigned int
10628 {
10639 }
10641 /* Find a match between a section and a member of a section group. */
10646 {
10651 {
10658 }
10661 }
10663 /* Check if the kept section of a discarded section SEC can be used
10664 to replace it. Return the replacement if it is OK. Otherwise return
10665 NULL. */
10667 asection *
10669 {
10674 {
10682 }
10684 }
10686 /* Link an input file into the linker output file. This function
10687 handles all the sections and relocations of the input file at once.
10688 This is so that we only have to read the local symbols once, and
10689 don't have to keep them in memory. */
10691 static bfd_boolean
10693 {
10709 bfd_size_type address_size;
10710 bfd_vma r_type_mask;
10718 /* If this is a dynamic object, we don't want to do anything here:
10719 we don't want the local symbols, and we don't want the section
10720 contents. */
10726 {
10729 }
10730 else
10731 {
10734 }
10736 /* Read the local symbols. */
10739 {
10746 }
10748 /* Find local symbol sections and adjust values of symbols in
10749 SEC_MERGE sections. Write out those local symbols we know are
10750 going into the output file. */
10755 {
10758 Elf_Internal_Sym osym;
10765 {
10767 {
10770 }
10771 }
10779 else
10780 {
10783 {
10784 /* Don't attempt to output symbols with st_shnx in the
10785 reserved range other than SHN_ABS and SHN_COMMON. */
10787 }
10794 }
10798 /* Don't output the first, undefined, symbol. In fact, don't
10799 output any undefined local symbol. */
10804 {
10805 /* We never output section symbols. Instead, we use the
10806 section symbol of the corresponding section in the output
10807 file. */
10809 }
10811 /* If we are stripping all symbols, we don't want to output this
10812 one. */
10816 /* If we are discarding all local symbols, we don't want to
10817 output this one. If we are generating a relocatable output
10818 file, then some of the local symbols may be required by
10819 relocs; we output them below as we discover that they are
10820 needed. */
10824 /* If this symbol is defined in a section which we are
10825 discarding, we don't need to keep it. */
10831 {
10836 }
10844 /* Get the name of the symbol. */
10850 /* See if we are discarding symbols with this name. */
10862 {
10864 /* -flto puts a temp file name here. This means builds
10865 are not reproducible. Discard the symbol. */
10869 }
10871 {
10872 /* In the absence of debug info, bfd_find_nearest_line uses
10873 FILE symbols to determine the source file for local
10874 function symbols. Provide a FILE symbol here if input
10875 files lack such, so that their symbols won't be
10876 associated with a previous input file. It's not the
10877 source file, but the best we can do. */
10887 NULL))
10889 }
10893 /* Adjust the section index for the output file. */
10899 /* ELF symbols in relocatable files are section relative, but
10900 in executable files they are virtual addresses. Note that
10901 this code assumes that all ELF sections have an associated
10902 BFD section with a reasonable value for output_offset; below
10903 we assume that they also have a reasonable value for
10904 output_section. Any special sections must be set up to meet
10905 these requirements. */
10908 {
10911 {
10912 /* STT_TLS symbols are relative to PT_TLS segment base. */
10915 else
10917 STT_NOTYPE);
10918 }
10919 }
10927 }
10930 {
10934 }
10935 else
10936 {
10940 }
10942 /* Relocate the contents of each section. */
10945 {
10949 {
10950 /* This section was omitted from the link. */
10952 }
10956 {
10957 /* Deal with the group signature symbol. */
10966 {
10971 /* Arrange for symbol to be output. */
10974 }
10976 {
10977 /* We'll use the output section target_index. */
10980 }
10981 else
10982 {
10984 {
10985 /* Otherwise output the local symbol now. */
10999 sec);
11007 NULL);
11012 else
11014 }
11017 }
11018 }
11025 {
11026 /* Section was created by _bfd_elf_link_create_dynamic_sections
11027 or somesuch. */
11029 }
11031 /* Get the contents of the section. They have been cached by a
11032 relaxation routine. Note that o is a section in an input
11033 file, so the contents field will not have been set by any of
11034 the routines which work on output files. */
11036 {
11041 {
11044 }
11045 }
11046 else
11047 {
11051 }
11054 {
11060 /* Get the swapped relocs. */
11061 internal_relocs
11068 /* We need to reverse-copy input .ctors/.dtors sections if
11069 they are placed in .init_array/.finit_array for output. */
11078 {
11081 {
11082 _bfd_error_handler
11083 /* xgettext:c-format */
11089 }
11091 }
11097 /* Run through the relocs evaluating complex reloc symbols and
11098 looking for relocs against symbols from discarded sections
11099 or section symbols from removed link-once sections.
11100 Complain about relocs against discarded sections. Zero
11101 relocs against removed link-once sections. */
11106 {
11119 {
11122 /* Badly formatted input files can contain relocs that
11123 reference non-existant symbols. Check here so that
11124 we do not seg fault. */
11126 {
11127 _bfd_error_handler
11128 /* xgettext:c-format */
11134 }
11142 /* If a plugin symbol is referenced from a non-IR file,
11143 mark the symbol as undefined. Note that the
11144 linker may attach linker created dynamic sections
11145 to the plugin bfd. Symbols defined in linker
11146 created sections are not plugin symbols. */
11156 {
11159 }
11167 }
11168 else
11169 {
11176 }
11180 {
11181 bfd_vma val;
11184 #ifdef DEBUG
11194 #endif
11199 /* Symbol evaluated OK. Update to absolute value. */
11203 }
11206 {
11207 /* Complain if the definition comes from a
11208 discarded section. */
11210 {
11214 /* xgettext:c-format */
11219 /* Try to do the best we can to support buggy old
11220 versions of gcc. Pretend that the symbol is
11221 really defined in the kept linkonce section.
11222 FIXME: This is quite broken. Modifying the
11223 symbol here means we will be changing all later
11224 uses of the symbol, not just in this section. */
11226 {
11232 {
11235 }
11236 }
11237 }
11238 }
11239 }
11241 /* Relocate the section by invoking a back end routine.
11243 The back end routine is responsible for adjusting the
11244 section contents as necessary, and (if using Rela relocs
11245 and generating a relocatable output file) adjusting the
11246 reloc addend as necessary.
11248 The back end routine does not have to worry about setting
11249 the reloc address or the reloc symbol index.
11251 The back end routine is given a pointer to the swapped in
11252 internal symbols, and can access the hash table entries
11253 for the external symbols via elf_sym_hashes (input_bfd).
11255 When generating relocatable output, the back end routine
11256 must handle STB_LOCAL/STT_SECTION symbols specially. The
11257 output symbol is going to be a section symbol
11258 corresponding to the output section, which will require
11259 the addend to be adjusted. */
11263 internal_relocs,
11264 isymbuf,
11272 {
11275 bfd_vma last_offset;
11280 bfd_boolean rela_normal;
11287 /* Adjust the reloc addresses and symbol indices. */
11292 /* We start processing the REL relocs, if any. When we reach
11293 IRELAMID in the loop, we switch to the RELA relocs. */
11304 {
11307 Elf_Internal_Sym sym;
11310 {
11311 rel_hash++;
11313 }
11316 {
11320 }
11326 {
11327 /* This is a reloc for a deleted entry or somesuch.
11328 Turn it into an R_*_NONE reloc, at the same
11329 offset as the last reloc. elf_eh_frame.c and
11330 bfd_elf_discard_info rely on reloc offsets
11331 being ordered. */
11336 }
11340 /* Relocs in an executable have to be virtual addresses. */
11353 {
11357 /* This is a reloc against a global symbol. We
11358 have not yet output all the local symbols, so
11359 we do not know the symbol index of any global
11360 symbol. We set the rel_hash entry for this
11361 reloc to point to the global hash table entry
11362 for this symbol. The symbol index is then
11363 set at the end of bfd_elf_final_link. */
11370 /* Setting the index to -2 tells
11371 elf_link_output_extsym that this symbol is
11372 used by a reloc. */
11378 }
11380 /* This is a reloc against a local symbol. */
11386 {
11387 /* I suppose the backend ought to fill in the
11388 section of any STT_SECTION symbol against a
11389 processor specific section. */
11392 ;
11394 {
11397 }
11398 else
11399 {
11402 /* If we have discarded a section, the output
11403 section will be the absolute section. In
11404 case of discarded SEC_MERGE sections, use
11405 the kept section. relocate_section should
11406 have already handled discarded linkonce
11407 sections. */
11411 {
11414 }
11417 {
11420 {
11426 }
11427 }
11428 }
11430 /* Adjust the addend according to where the
11431 section winds up in the output section. */
11434 }
11435 else
11436 {
11438 {
11445 {
11446 /* You can't do ld -r -s. */
11449 }
11451 /* This symbol was skipped earlier, but
11452 since it is needed by a reloc, we
11453 must output it now. */
11455 name = (bfd_elf_string_from_elf_section
11463 osec);
11469 {
11472 {
11476 /* STT_TLS symbols are relative to PT_TLS
11477 segment base. */
11480 else
11481 sym.st_info
11483 STT_NOTYPE);
11484 }
11485 }
11490 NULL);
11495 else
11497 }
11500 }
11504 }
11506 /* Swap out the relocs. */
11509 {
11511 input_rel_hdr,
11512 internal_relocs,
11513 rel_hash_list))
11518 }
11522 {
11524 input_rela_hdr,
11525 internal_relocs,
11526 rela_hash_list))
11528 }
11529 }
11530 }
11532 /* Write out the modified section contents. */
11535 contents))
11536 {
11537 /* Section written out. */
11538 }
11540 {
11554 {
11558 }
11561 {
11566 }
11569 {
11571 {
11578 {
11579 /* Reverse-copy input section to output. */
11580 do
11581 {
11586 offset,
11587 address_size))
11592 }
11594 }
11597 contents,
11600 }
11601 }
11603 }
11604 }
11607 }
11609 /* Generate a reloc when linking an ELF file. This is a reloc
11610 requested by the linker, and does not come from any input file. This
11611 is used to build constructor and destructor tables when linking
11612 with -Ur. */
11614 static bfd_boolean
11619 {
11622 bfd_vma offset;
11623 bfd_vma addend;
11635 {
11638 }
11646 else
11647 {
11650 }
11652 /* Figure out the symbol index. */
11655 {
11659 }
11660 else
11661 {
11664 /* Treat a reloc against a defined symbol as though it were
11665 actually against the section. */
11673 {
11679 /* It seems that we ought to add the symbol value to the
11680 addend here, but in practice it has already been added
11681 because it was passed to constructor_callback. */
11683 }
11685 {
11686 /* Setting the index to -2 tells elf_link_output_extsym that
11687 this symbol is used by a reloc. */
11691 }
11692 else
11693 {
11697 }
11698 }
11700 /* If this is an inplace reloc, we must write the addend into the
11701 object file. */
11703 {
11704 bfd_size_type size;
11705 bfd_reloc_status_type rstat;
11707 bfd_boolean ok;
11709 bfd_size_type octets;
11717 {
11728 else
11734 }
11737 output_section);
11743 }
11745 /* The address of a reloc is relative to the section in a
11746 relocatable file, and is a virtual address in an executable
11747 file. */
11753 {
11757 }
11760 else
11766 {
11769 }
11770 else
11771 {
11775 }
11780 }
11783 /* Compare two sections based on the locations of the sections they are
11784 linked to. Used by elf_fixup_link_order. */
11786 static int
11788 {
11801 /* The only way we should get matching LMAs is when the first of two
11802 sections has zero size. */
11808 /* If they are both zero size then they almost certainly have the same
11809 VMA and thus are not ordered with respect to each other. Test VMA
11810 anyway, and fall back to id to make the result reproducible across
11811 qsort implementations. */
11820 }
11823 /* Looks for sections with SHF_LINK_ORDER set. Rearranges them into the same
11824 order as their linked sections. Returns false if this could not be done
11825 because an output section includes both ordered and unordered
11826 sections. Ideally we'd do this in the linker proper. */
11828 static bfd_boolean
11830 {
11845 {
11847 {
11854 {
11855 seen_linkorder++;
11857 }
11858 else
11859 {
11860 seen_other++;
11862 }
11863 }
11864 else
11865 seen_other++;
11868 {
11870 _bfd_error_handler
11871 /* xgettext:c-format */
11876 else
11877 _bfd_error_handler
11881 }
11882 }
11895 /* Sort the input sections in the order of their linked section. */
11898 /* Change the offsets of the sections. */
11901 {
11902 bfd_vma mask;
11910 }
11914 }
11916 /* Generate an import library in INFO->implib_bfd from symbols in ABFD.
11917 Returns TRUE upon success, FALSE otherwise. */
11919 static bfd_boolean
11921 {
11925 flagword flags;
11941 /* Use flag from executable but make it a relocatable object. */
11948 /* Copy architecture of output file to import library file. */
11956 /* Get symbol table size. */
11961 /* Read in the symbol table. */
11970 /* Allow the BFD backend to copy any private header data it
11971 understands from the output BFD to the import library BFD. */
11975 /* Filter symbols to appear in the import library. */
11978 symcount);
11979 else
11982 {
11985 implib_bfd);
11987 }
11990 /* Make symbols absolute. */
11997 {
12006 }
12010 /* Allow the BFD backend to copy any private data it understands
12011 from the output BFD to the import library BFD. This is done last
12012 to permit the routine to look at the filtered symbol table. */
12021 free_sym_buf:
12024 }
12026 static void
12028 {
12044 {
12048 }
12049 }
12051 /* Do the final step of an ELF link. */
12053 bfd_boolean
12055 {
12056 bfd_boolean dynamic;
12057 bfd_boolean emit_relocs;
12063 bfd_size_type max_contents_size;
12064 bfd_size_type max_external_reloc_size;
12065 bfd_size_type max_internal_reloc_count;
12066 bfd_size_type max_sym_count;
12067 bfd_size_type max_sym_shndx_count;
12068 Elf_Internal_Sym elfsym;
12074 bfd_boolean merged;
12077 bfd_size_type amt;
12082 bfd_boolean sections_removed;
12083 bfd_boolean ret;
12105 {
12108 }
12109 else
12110 {
12112 /* Note that dynsym_sec can be NULL (on VMS). */
12114 /* Note that it is OK if symver_sec is NULL. */
12115 }
12119 local_hash_newfunc,
12123 /* The object attributes have been merged. Remove the input
12124 sections from the link, and set the contents of the output
12125 section. */
12129 {
12134 {
12136 {
12142 /* Hack: reset the SEC_HAS_CONTENTS flag so that
12143 elf_link_input_bfd ignores this section. */
12145 }
12149 /* Skip this section later on. */
12153 else
12155 }
12157 {
12158 /* Remove empty group section from linker output. */
12160 }
12162 {
12167 }
12168 }
12172 /* Count up the number of relocations we will output for each output
12173 section, so that we know the sizes of the reloc sections. We
12174 also figure out some maximum sizes. */
12182 {
12187 {
12196 {
12201 /* Mark all sections which are to be included in the
12202 link. This will normally be every section. We need
12203 to do this so that we can identify any sections which
12204 the linker has decided to not include. */
12217 {
12220 /* We are interested in just local symbols, not all
12221 symbols. */
12225 else
12237 /* Some backends use reloc_count in relocation sections
12238 to count particular types of relocs. Of course,
12239 reloc sections themselves can't have relocations. */
12240 ;
12242 {
12245 {
12249 }
12250 }
12257 {
12269 }
12270 }
12271 }
12280 {
12282 {
12285 }
12287 {
12290 }
12291 }
12292 else
12293 {
12296 else
12298 }
12299 }
12303 else
12304 {
12305 /* Explicitly clear the SEC_RELOC flag. The linker tends to
12306 set it (this is probably a bug) and if it is set
12307 assign_section_numbers will create a reloc section. */
12309 }
12311 /* If the SEC_ALLOC flag is not set, force the section VMA to
12312 zero. This is done in elf_fake_sections as well, but forcing
12313 the VMA to 0 here will ensure that relocs against these
12314 sections are handled correctly. */
12318 }
12323 /* Figure out the file positions for everything but the symbol table
12324 and the relocs. We set symcount to force assign_section_numbers
12325 to create a symbol table. */
12331 /* Set sizes, and assign file positions for reloc sections. */
12333 {
12336 {
12344 }
12346 /* _bfd_elf_compute_section_file_positions makes temporary use
12347 of target_index. Reset it. */
12350 /* Now, reset REL_COUNT and REL_COUNT2 so that we can use them
12351 to count upwards while actually outputting the relocations. */
12357 {
12358 /* Cache the section contents so that they can be compressed
12359 later. Use bfd_malloc since it will be freed by
12360 bfd_compress_section_contents. */
12364 contents
12369 }
12370 }
12372 /* We have now assigned file positions for all the sections except .symtab,
12373 .strtab, and non-loaded reloc and compressed debugging sections. We start
12374 the .symtab section at the current file position, and write directly to it.
12375 We build the .strtab section in memory. */
12378 /* sh_name is set in prep_headers. */
12380 /* sh_flags, sh_addr and sh_size all start off zero. */
12382 /* sh_link is set in assign_section_numbers. */
12383 /* sh_info is set below. */
12384 /* sh_offset is set just below. */
12394 /* The real buffer will be allocated in elf_link_swap_symbols_out. */
12395 flinfo.symshndxbuf
12400 {
12401 bfd_boolean name_local_sections;
12408 /* Note that at this point elf_next_file_pos (abfd) is
12409 incorrect. We do not yet know the size of the .symtab section.
12410 We correct next_file_pos below, after we do know the size. */
12412 /* Start writing out the symbol table. The first symbol is always a
12413 dummy symbol. */
12424 /* Output a symbol for each section. We output these even if we are
12425 discarding local symbols, since they are used for relocs. These
12426 symbols usually have no names. We store the index of each one in
12427 the index field of the section, so that we can find it again when
12428 outputting relocs. */
12430 name_local_sections
12441 {
12444 {
12454 }
12455 }
12456 }
12458 /* On some targets like Irix 5 the symbol split between local and global
12459 ones recorded in the sh_info field needs to be done between section
12460 and all other symbols. */
12465 /* Allocate some memory to hold information read in from the input
12466 files. */
12468 {
12472 }
12475 {
12479 }
12482 {
12487 }
12490 {
12510 }
12513 {
12518 }
12521 {
12528 {
12534 {
12539 }
12541 }
12543 /* Only align end of TLS section if static TLS doesn't have special
12544 alignment requirements. */
12548 }
12550 /* Reorder SHF_LINK_ORDER sections. */
12552 {
12555 }
12560 /* Since ELF permits relocations to be against local symbols, we
12561 must have the local symbols available when we do the relocations.
12562 Since we would rather only read the local symbols once, and we
12563 would rather not keep them in memory, we handle all the
12564 relocations for a single input file at the same time.
12566 Unfortunately, there is no way to know the total number of local
12567 symbols until we have seen all of them, and the local symbol
12568 indices precede the global symbol indices. This means that when
12569 we are generating relocatable output, and we see a reloc against
12570 a global symbol, we can not know the symbol index until we have
12571 finished examining all the local symbols to see which ones we are
12572 going to output. To deal with this, we keep the relocations in
12573 memory, and don't output them until the end of the link. This is
12574 an unfortunate waste of memory, but I don't see a good way around
12575 it. Fortunately, it only happens when performing a relocatable
12576 link, which is not the common case. FIXME: If keep_memory is set
12577 we could write the relocs out and then read them again; I don't
12578 know how bad the memory loss will be. */
12583 {
12585 {
12590 {
12592 {
12596 }
12597 }
12600 {
12603 }
12604 else
12605 {
12607 {
12613 {
12617 {
12622 }
12625 {
12630 }
12633 _bfd_error_handler
12634 /* xgettext:c-format */
12637 }
12640 }
12641 }
12642 }
12643 }
12645 /* Free symbol buffer if needed. */
12647 {
12650 {
12653 }
12654 }
12658 /* Output any global symbols that got converted to local in a
12659 version script or due to symbol visibility. We do this in a
12660 separate step since ELF requires all local symbols to appear
12661 prior to any global symbols. FIXME: We should only do this if
12662 some global symbols were, in fact, converted to become local.
12663 FIXME: Will this work correctly with the Irix 5 linker? */
12670 {
12673 }
12675 /* If backend needs to output some local symbols not present in the hash
12676 table, do it now. */
12679 {
12687 {
12690 }
12691 }
12693 /* That wrote out all the local symbols. Finish up the symbol table
12694 with the global symbols. Even if we want to strip everything we
12695 can, we still need to deal with those global symbols that got
12696 converted to local in a version script. */
12698 /* The sh_info field records the index of the first non local symbol. */
12705 {
12706 Elf_Internal_Sym sym;
12712 /* Write out the section symbols for the output sections. */
12715 {
12725 {
12737 {
12740 }
12744 }
12745 }
12747 /* Write out the local dynsyms. */
12749 {
12752 {
12756 /* Copy the internal symbol and turn off visibility.
12757 Note that we saved a word of storage and overwrote
12758 the original st_name with the dynstr_index. */
12768 {
12772 {
12775 }
12779 }
12783 }
12784 }
12785 }
12787 /* We get the global symbols from the hash table. */
12793 {
12796 }
12798 /* If backend needs to output some symbols not present in the hash
12799 table, do it now. */
12802 {
12810 {
12813 }
12814 }
12816 /* Finalize the .strtab section. */
12819 /* Swap out the .strtab section. */
12821 {
12824 }
12826 /* Now we know the size of the symtab section. */
12828 {
12829 /* Finish up and write out the symbol string table (.strtab)
12830 section. */
12835 {
12839 {
12851 {
12854 }
12855 }
12856 }
12859 /* sh_name was set in prep_headers. */
12867 /* sh_offset is set just below. */
12876 {
12879 }
12880 }
12883 {
12888 }
12890 /* Adjust the relocs to have the correct symbol indices. */
12892 {
12894 bfd_boolean sort;
12902 {
12905 }
12908 {
12911 }
12913 /* Set the reloc_count field to 0 to prevent write_relocs from
12914 trying to swap the relocs out itself. */
12916 }
12921 /* If we are linking against a dynamic object, or generating a
12922 shared library, finish up the dynamic linking information. */
12924 {
12927 /* Fix up .dynamic entries. */
12934 {
12935 Elf_Internal_Dyn dyn;
12938 bfd_size_type sh_size;
12939 bfd_vma sh_addr;
12944 {
12949 {
12951 {
12955 }
12959 }
12967 get_sym:
12968 {
12975 {
12981 else
12982 {
12983 /* The symbol is imported from another shared
12984 library and does not apply to this one. */
12986 }
12988 }
12989 }
13000 get_out_size:
13003 {
13004 _bfd_error_handler
13007 }
13009 _bfd_error_handler
13022 get_out_vma:
13046 get_vma:
13048 do_vma:
13050 {
13051 _bfd_error_handler
13054 }
13056 {
13057 _bfd_error_handler
13061 }
13071 else
13076 {
13082 {
13087 }
13088 }
13091 {
13094 /* Don't count procedure linkage table relocs in the
13095 overall reloc count. */
13098 /* If the size is zero, make the address zero too.
13099 This is to avoid a glibc bug. If the backend
13100 emits DT_RELA/DT_RELASZ even when DT_RELASZ is
13101 zero, then we'll put DT_RELA at the end of
13102 DT_JMPREL. glibc will interpret the end of
13103 DT_RELA matching the end of DT_JMPREL as the
13104 case where DT_RELA includes DT_JMPREL, and for
13105 LD_BIND_NOW will decide that processing DT_RELA
13106 will process the PLT relocs too. Net result:
13107 No PLT relocs applied. */
13110 /* If .rela.plt is the first .rela section, exclude
13111 it from DT_RELA. */
13115 }
13119 else
13122 }
13124 }
13125 }
13127 /* If we have created any dynamic sections, then output them. */
13129 {
13133 /* Check for DT_TEXTREL (late, in case the backend removes it). */
13136 {
13142 {
13143 Elf_Internal_Dyn dyn;
13148 {
13155 else
13159 }
13160 }
13161 }
13164 {
13170 {
13171 /* At this point, we are only interested in sections
13172 created by _bfd_elf_link_create_dynamic_sections. */
13174 }
13180 {
13186 }
13187 else
13188 {
13189 /* The contents of the .dynstr section are actually in a
13190 stringtab. */
13191 file_ptr off;
13197 }
13198 }
13199 }
13202 {
13209 }
13211 /* If we have optimized stabs strings, output them. */
13213 {
13216 }
13227 {
13230 {
13231 /* Bail out and fail. */
13234 }
13238 }
13240 return_local_hash_table:
13245 error_return:
13249 }
13250 \f
13251 /* Initialize COOKIE for input bfd ABFD. */
13253 static bfd_boolean
13256 {
13267 {
13270 }
13271 else
13272 {
13275 }
13279 else
13284 {
13289 {
13292 }
13295 }
13297 }
13299 /* Free the memory allocated by init_reloc_cookie, if appropriate. */
13301 static void
13303 {
13309 }
13311 /* Initialize the relocation information in COOKIE for input section SEC
13312 of input bfd ABFD. */
13314 static bfd_boolean
13318 {
13320 {
13323 }
13324 else
13325 {
13332 }
13335 }
13337 /* Free the memory allocated by init_reloc_cookie_rels,
13338 if appropriate. */
13340 static void
13343 {
13346 }
13348 /* Initialize the whole of COOKIE for input section SEC. */
13350 static bfd_boolean
13354 {
13361 error2:
13363 error1:
13365 }
13367 /* Free the memory allocated by init_reloc_cookie_for_section,
13368 if appropriate. */
13370 static void
13373 {
13376 }
13377 \f
13378 /* Garbage collect unused sections. */
13380 /* Default gc_mark_hook. */
13382 asection *
13388 {
13390 {
13392 {
13402 }
13403 }
13404 else
13408 }
13410 /* Return the debug definition section. */
13418 {
13420 {
13421 /* Return the global debug definition section. */
13426 }
13427 else
13428 {
13429 /* Return the local debug definition section. */
13434 }
13437 }
13439 /* COOKIE->rel describes a relocation against section SEC, which is
13440 a section we've decided to keep. Return the section that contains
13441 the relocation symbol, or NULL if no section contains it. */
13443 asection *
13445 elf_gc_mark_hook_fn gc_mark_hook,
13448 {
13458 {
13461 {
13465 }
13470 /* Keep all aliases of the symbol too. If an object symbol
13471 needs to be copied into .dynbss then all of its aliases
13472 should be present as dynamic symbols, not just the one used
13473 on the copy relocation. */
13476 {
13479 }
13482 {
13483 /* To work around a glibc bug, mark XXX input sections
13484 when there is a reference to __start_XXX or __stop_XXX
13485 symbols. */
13487 {
13491 }
13492 }
13495 }
13499 }
13501 /* COOKIE->rel describes a relocation against section SEC, which is
13502 a section we've decided to keep. Mark the section that contains
13503 the relocation symbol. */
13505 bfd_boolean
13508 elf_gc_mark_hook_fn gc_mark_hook,
13510 {
13516 {
13518 {
13524 }
13528 }
13530 }
13532 /* The mark phase of garbage collection. For a given section, mark
13533 it and any sections in this section's group, and all the sections
13534 which define symbols to which it refers. */
13536 bfd_boolean
13539 elf_gc_mark_hook_fn gc_mark_hook)
13540 {
13541 bfd_boolean ret;
13546 /* Mark all the sections in the group. */
13552 /* Look through the section relocs. */
13558 {
13563 else
13564 {
13567 {
13570 }
13572 }
13573 }
13576 {
13581 else
13582 {
13587 }
13588 }
13596 }
13598 /* Scan and mark sections in a special or debug section group. */
13600 static void
13602 {
13603 /* Point to first section of section group. */
13605 /* Used to iterate the section group. */
13611 /* First scan to see if group contains any section other than debug
13612 and special section. */
13614 do
13615 {
13623 }
13626 /* If this is a pure debug section group or pure special section group,
13627 keep all sections in this group. */
13629 {
13630 do
13631 {
13634 }
13636 }
13637 }
13639 /* Keep debug and special sections. */
13641 bfd_boolean
13643 elf_gc_mark_hook_fn mark_hook)
13644 {
13648 {
13650 bfd_boolean some_kept;
13651 bfd_boolean debug_frag_seen;
13652 bfd_boolean has_kept_debug_info;
13660 /* Ensure all linker created sections are kept,
13661 see if any other section is already marked,
13662 and note if we have any fragmented debug sections. */
13665 {
13672 else
13673 {
13674 /* Since all sections, except for backend specific ones,
13675 have been garbage collected, call mark_hook on this
13676 section if any of its linked-to sections is marked. */
13681 {
13685 }
13686 }
13696 "need linked-to section "
13699 }
13701 /* If no non-note alloc section in this file will be kept, then
13702 we can toss out the debug and special sections. */
13706 /* Keep debug and special sections like .comment when they are
13707 not part of a group. Also keep section groups that contain
13708 just debug sections or special sections. NB: Sections with
13709 linked-to section has been handled above. */
13711 {
13721 }
13723 /* Look for CODE sections which are going to be discarded,
13724 and find and discard any fragmented debug sections which
13725 are associated with that code section. */
13730 {
13736 /* Association is determined by the name of the debug
13737 section containing the name of the code section as
13738 a suffix. For example .debug_line.text.foo is a
13739 debug section associated with .text.foo. */
13741 {
13754 }
13755 }
13757 /* Mark debug sections referenced by kept debug sections. */
13763 elf_gc_mark_debug_section))
13765 }
13767 }
13769 static bfd_boolean
13771 {
13776 {
13788 {
13789 /* When any section in a section group is kept, we keep all
13790 sections in the section group. If the first member of
13791 the section group is excluded, we will also exclude the
13792 group section. */
13794 {
13797 }
13802 /* Skip sweeping sections already excluded. */
13806 /* Since this is early in the link process, it is simple
13807 to remove a section from the output. */
13811 /* xgettext:c-format */
13814 }
13815 }
13818 }
13820 /* Propagate collected vtable information. This is called through
13821 elf_link_hash_traverse. */
13823 static bfd_boolean
13825 {
13826 /* Those that are not vtables. */
13832 /* Those vtables that do not have parents, we cannot merge. */
13836 /* If we've already been done, exit. */
13840 /* Make sure the parent's table is up to date. */
13844 {
13845 /* None of this table's entries were referenced. Re-use the
13846 parent's table. */
13849 }
13850 else
13851 {
13855 /* Or the parent's entries into ours. */
13860 {
13868 {
13871 pu++;
13872 cu++;
13873 }
13874 }
13875 }
13878 }
13880 static bfd_boolean
13882 {
13889 /* Take care of both those symbols that do not describe vtables as
13890 well as those that are not loaded. */
13913 {
13914 /* If the entry is in use, do nothing. */
13917 {
13921 }
13922 /* Otherwise, kill it. */
13924 }
13927 }
13929 /* Mark sections containing dynamically referenced symbols. When
13930 building shared libraries, we must assume that any visible symbol is
13931 referenced. */
13933 bfd_boolean
13935 {
13957 }
13959 /* Keep all sections containing symbols undefined on the command-line,
13960 and the section containing the entry symbol. */
13962 void
13964 {
13968 {
13979 }
13980 }
13982 bfd_boolean
13985 {
13989 {
14003 {
14006 {
14009 }
14010 }
14011 }
14013 }
14015 /* Do mark and sweep of unused sections. */
14017 bfd_boolean
14019 {
14022 elf_gc_mark_hook_fn gc_mark_hook;
14028 {
14031 }
14036 /* Try to parse each bfd's .eh_frame section. Point elf_eh_frame_section
14037 at the .eh_frame section if we can mark the FDEs individually. */
14041 {
14050 {
14057 }
14058 }
14060 /* Apply transitive closure to the vtable entry usage info. */
14065 /* Kill the vtable relocations that were not used. */
14070 /* Mark dynamically referenced symbols. */
14074 /* Grovel through relocs to find out who stays ... */
14077 {
14089 /* Start at sections marked with SEC_KEEP (ref _bfd_elf_gc_keep).
14090 Also treat note sections as a root, if the section is not part
14091 of a group. We must keep all PREINIT_ARRAY, INIT_ARRAY as
14092 well as FINI_ARRAY sections for ld -r. */
14106 {
14109 }
14110 }
14112 /* Allow the backend to mark additional target specific sections. */
14115 /* ... and mark SEC_EXCLUDE for those that go. */
14117 }
14118 \f
14119 /* Called from check_relocs to record the existence of a VTINHERIT reloc. */
14121 bfd_boolean
14125 bfd_vma offset)
14126 {
14132 /* The sh_info field of the symtab header tells us where the
14133 external symbols start. We don't care about the local symbols at
14134 this point. */
14142 /* Hunt down the child symbol, which is in this section at the same
14143 offset as the relocation. */
14145 {
14152 }
14154 /* xgettext:c-format */
14160 win:
14162 {
14167 }
14169 {
14170 /* This *should* only be the absolute section. It could potentially
14171 be that someone has defined a non-global vtable though, which
14172 would be bad. It isn't worth paging in the local symbols to be
14173 sure though; that case should simply be handled by the assembler. */
14176 }
14177 else
14181 }
14183 /* Called from check_relocs to record the existence of a VTENTRY reloc. */
14185 bfd_boolean
14188 bfd_vma addend)
14189 {
14194 {
14195 /* xgettext:c-format */
14200 }
14203 {
14208 }
14211 {
14215 /* While the symbol is undefined, we have to be prepared to handle
14216 a zero size. */
14220 else
14221 {
14224 {
14225 /* Oops! We've got a reference past the defined end of
14226 the table. This is probably a bug -- shall we warn? */
14228 }
14229 }
14232 /* Allocate one extra entry for use as a "done" flag for the
14233 consolidation pass. */
14237 {
14241 {
14247 }
14248 }
14249 else
14255 /* And arrange for that done flag to be at index -1. */
14258 }
14263 }
14265 /* Map an ELF section header flag to its corresponding string. */
14267 {
14269 flagword flag_value;
14273 {
14286 };
14288 /* Returns TRUE if the section is to be included, otherwise FALSE. */
14289 bfd_boolean
14293 {
14297 {
14305 {
14311 {
14315 {
14322 }
14323 }
14325 {
14327 {
14334 }
14335 }
14337 {
14341 }
14342 }
14346 }
14355 }
14358 bfd_vma gotoff;
14360 };
14362 /* We need a special top-level link routine to convert got reference counts
14363 to real got offsets. */
14365 static bfd_boolean
14367 {
14373 {
14376 }
14377 else
14381 }
14383 /* And an accompanying bit to work out final got entry offsets once
14384 we're done. Should be called from final_link. */
14386 bfd_boolean
14389 {
14392 bfd_vma gotoff;
14400 /* The GOT offset is relative to the .got section, but the GOT header is
14401 put into the .got.plt section, if the backend uses it. */
14404 else
14407 /* Do the local .got entries first. */
14409 {
14424 else
14428 {
14430 {
14433 }
14434 else
14436 }
14437 }
14439 /* Then the global .got entries. .plt refcounts are handled by
14440 adjust_dynamic_symbol */
14444 elf_gc_allocate_got_offsets,
14447 }
14449 /* Many folk need no more in the way of final link than this, once
14450 got entry reference counting is enabled. */
14452 bfd_boolean
14454 {
14458 /* Invoke the regular ELF backend linker to do all the work. */
14460 }
14462 bfd_boolean
14464 {
14471 {
14486 {
14501 }
14502 else
14503 {
14504 /* It's not a relocation against a global symbol,
14505 but it could be a relocation against a local
14506 symbol for a discarded section. */
14510 /* Need to: get the symbol; get the section. */
14517 }
14519 }
14521 }
14523 /* Discard unneeded references to discarded sections.
14524 Returns -1 on error, 1 if any section's size was changed, 0 if
14525 nothing changed. This function assumes that the relocations are in
14526 sorted order, which is true for all known assemblers. */
14528 int
14530 {
14542 {
14546 {
14561 bfd_elf_reloc_symbol_deleted_p,
14566 }
14567 }
14573 {
14579 {
14592 bfd_elf_reloc_symbol_deleted_p,
14594 {
14598 }
14601 }
14605 /* Skip over zero terminator, and prevent empty sections from
14606 adding alignment padding at the end. */
14612 /* The last non-empty eh_frame section doesn't need padding. */
14615 /* Any prior sections must pad the last FDE out to the output
14616 section alignment. Otherwise we might have zero padding
14617 between sections, which would be seen as a terminator. */
14620 /* All but the last zero terminator should have been removed. */
14622 else
14623 {
14624 bfd_size_type size
14627 {
14631 }
14632 }
14636 }
14639 {
14652 {
14660 }
14661 }
14672 }
14674 bfd_boolean
14678 {
14679 flagword flags;
14689 /* Return if it isn't a linkonce section. A comdat group section
14690 also has SEC_LINK_ONCE set. */
14694 /* Don't put group member sections on our list of already linked
14695 sections. They are handled as a group via their group section. */
14699 /* For a SHT_GROUP section, use the group signature as the key. */
14705 else
14706 {
14707 /* Otherwise we should have a .gnu.linkonce.<type>.<key> section. */
14710 key++;
14711 else
14712 /* Must be a user linkonce section that doesn't follow gcc's
14713 naming convention. In this case we won't be matching
14714 single member groups. */
14716 }
14721 {
14722 /* We may have 2 different types of sections on the list: group
14723 sections with a signature of <key> (<key> is some string),
14724 and linkonce sections named .gnu.linkonce.<type>.<key>.
14725 Match like sections. LTO plugin sections are an exception.
14726 They are always named .gnu.linkonce.t.<key> and match either
14727 type of section. */
14733 {
14734 /* The section has already been linked. See if we should
14735 issue a warning. */
14740 {
14745 {
14747 /* Record which group discards it. */
14750 /* These lists are circular. */
14753 }
14754 }
14757 }
14758 }
14760 /* A single member comdat group section may be discarded by a
14761 linkonce section and vice versa. */
14763 {
14767 /* Check this single member group against linkonce sections. */
14771 {
14776 }
14777 }
14778 else
14779 /* Check this linkonce section against single member groups. */
14782 {
14788 {
14792 }
14793 }
14795 /* Do not complain on unresolved relocations in `.gnu.linkonce.r.F'
14796 referencing its discarded `.gnu.linkonce.t.F' counterpart - g++-3.4
14797 specific as g++-4.x is using COMDAT groups (without the `.gnu.linkonce'
14798 prefix) instead. `.gnu.linkonce.r.*' were the `.rodata' part of its
14799 matching `.gnu.linkonce.t.*'. If `.gnu.linkonce.r.F' is not discarded
14800 but its `.gnu.linkonce.t.F' is discarded means we chose one-only
14801 `.gnu.linkonce.t.F' section from a different bfd not requiring any
14802 `.gnu.linkonce.r.F'. Thus `.gnu.linkonce.r.F' should be discarded.
14803 The reverse order cannot happen as there is never a bfd with only the
14804 `.gnu.linkonce.r.F' section. The order of sections in a bfd does not
14805 matter as here were are looking only for cross-bfd sections. */
14811 {
14815 }
14817 /* This is the first section with this name. Record it. */
14821 }
14823 bfd_boolean
14825 {
14827 }
14829 unsigned int
14831 {
14833 }
14835 asection *
14837 {
14839 }
14841 bfd_vma
14847 {
14850 }
14852 /* Routines to support the creation of dynamic relocs. */
14854 /* Returns the name of the dynamic reloc section associated with SEC. */
14859 bfd_boolean is_rela)
14860 {
14872 }
14874 /* Returns the dynamic reloc section associated with SEC.
14875 If necessary compute the name of the dynamic reloc section based
14876 on SEC's name (looked up in ABFD's string table) and the setting
14877 of IS_RELA. */
14879 asection *
14882 bfd_boolean is_rela)
14883 {
14887 {
14891 {
14896 }
14897 }
14900 }
14902 /* Returns the dynamic reloc section associated with SEC. If the
14903 section does not exist it is created and attached to the DYNOBJ
14904 bfd and stored in the SRELOC field of SEC's elf_section_data
14905 structure.
14907 ALIGNMENT is the alignment for the newly created section and
14908 IS_RELA defines whether the name should be .rela.<SEC's name>
14909 or .rel.<SEC's name>. The section name is looked up in the
14910 string table associated with ABFD. */
14912 asection *
14917 bfd_boolean is_rela)
14918 {
14922 {
14931 {
14939 {
14940 /* _bfd_elf_get_sec_type_attr chooses a section type by
14941 name. Override as it may be wrong, eg. for a user
14942 section named "auto" we'll get ".relauto" which is
14943 seen to be a .rela section. */
14947 }
14948 }
14951 }
14954 }
14956 /* Copy the ELF symbol type and other attributes for a linker script
14957 assignment from HSRC to HDEST. Generally this should be treated as
14958 if we found a strong non-dynamic definition for HDEST (except that
14959 ld ignores multiple definition errors). */
14960 void
14964 {
14967 Elf_Internal_Sym isym;
14974 }
14976 /* Append a RELA relocation REL to section S in BFD. */
14978 void
14980 {
14985 }
14987 /* Append a REL relocation REL to section S in BFD. */
14989 void
14991 {
14996 }
14998 /* Define __start, __stop, .startof. or .sizeof. symbol. */
15003 {
15008 /* NB: Common symbols will be turned into definition later. */
15015 {
15026 {
15027 /* .startof. and .sizeof. symbols are local. */
15031 }
15032 else
15033 {
15039 }
15041 }
15043 }
15045 /* Find dynamic relocs for H that apply to read-only sections. */
15047 asection *
15049 {
15053 {
15058 }
15060 }
15062 /* Set DF_TEXTREL if we find any dynamic relocs that apply to
15063 read-only sections. */
15065 bfd_boolean
15067 {
15075 {
15079 /* xgettext:c-format */
15085 /* xgettext:c-format */
15090 /* Not an error, just cut short the traversal. */
15092 }
15094 }
15096 /* Add dynamic tags. */
15098 bfd_boolean
15100 bfd_boolean need_dynamic_reloc)
15101 {
15105 {
15106 /* Add some entries to the .dynamic section. We fill in the
15107 values later, in finish_dynamic_sections, but we must add
15108 the entries now so that we get the correct size for the
15109 .dynamic section. The DT_DEBUG entry is filled in by the
15110 dynamic linker and used by the debugger. */
15111 #define add_dynamic_entry(TAG, VAL) \
15112 _bfd_elf_add_dynamic_entry (info, TAG, VAL)
15118 {
15121 }
15124 {
15125 /* DT_PLTGOT is used by prelink even if there is no PLT
15126 relocation. */
15129 }
15132 {
15139 }
15147 {
15149 {
15155 }
15156 else
15157 {
15163 }
15165 /* If any dynamic relocs apply to a read-only section,
15166 then we need a DT_TEXTREL entry. */
15169 info);
15172 {
15181 }
15182 }
15183 }
15184 #undef add_dynamic_entry
15187 }