Automatic date update in version.in
[binutils-gdb.git] / ld / ldelf.c
blob0c39eb6024f26465c416647b8b7439346670b14c
1 /* ELF emulation code for targets using elf.em.
2 Copyright (C) 1991-2021 Free Software Foundation, Inc.
4 This file is part of the GNU Binutils.
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. */
21 #include "sysdep.h"
22 #include "bfd.h"
23 #include "libiberty.h"
24 #include "filenames.h"
25 #include "safe-ctype.h"
26 #include "bfdlink.h"
27 #include "ctf-api.h"
28 #include "ld.h"
29 #include "ldmain.h"
30 #include "ldmisc.h"
31 #include "ldexp.h"
32 #include "ldlang.h"
33 #include "ldfile.h"
34 #include "ldemul.h"
35 #include "ldbuildid.h"
36 #include <ldgram.h>
37 #include "elf-bfd.h"
38 #ifdef HAVE_GLOB
39 #include <glob.h>
40 #endif
41 #include "ldelf.h"
43 struct dt_needed
45 bfd *by;
46 const char *name;
49 /* Style of .note.gnu.build-id section. */
50 const char *ldelf_emit_note_gnu_build_id;
52 /* These variables are required to pass information back and forth
53 between after_open and check_needed and stat_needed and vercheck. */
55 static struct bfd_link_needed_list *global_needed;
56 static lang_input_statement_type *global_found;
57 static struct stat global_stat;
58 static struct bfd_link_needed_list *global_vercheck_needed;
59 static bool global_vercheck_failed;
61 void
62 ldelf_after_parse (void)
64 if (bfd_link_pie (&link_info))
65 link_info.flags_1 |= (bfd_vma) DF_1_PIE;
67 if (bfd_link_executable (&link_info)
68 && link_info.nointerp)
70 if (link_info.dynamic_undefined_weak > 0)
71 einfo (_("%P: warning: -z dynamic-undefined-weak ignored\n"));
72 link_info.dynamic_undefined_weak = 0;
74 after_parse_default ();
77 /* Handle the generation of DT_NEEDED tags. */
79 bool
80 ldelf_load_symbols (lang_input_statement_type *entry)
82 int link_class = 0;
84 /* Tell the ELF linker that we don't want the output file to have a
85 DT_NEEDED entry for this file, unless it is used to resolve
86 references in a regular object. */
87 if (entry->flags.add_DT_NEEDED_for_regular)
88 link_class = DYN_AS_NEEDED;
90 /* Tell the ELF linker that we don't want the output file to have a
91 DT_NEEDED entry for any dynamic library in DT_NEEDED tags from
92 this file at all. */
93 if (!entry->flags.add_DT_NEEDED_for_dynamic)
94 link_class |= DYN_NO_ADD_NEEDED;
96 if (entry->flags.just_syms
97 && (bfd_get_file_flags (entry->the_bfd) & DYNAMIC) != 0)
98 einfo (_("%F%P: %pB: --just-symbols may not be used on DSO\n"),
99 entry->the_bfd);
101 if (link_class == 0
102 || (bfd_get_file_flags (entry->the_bfd) & DYNAMIC) == 0)
103 return false;
105 bfd_elf_set_dyn_lib_class (entry->the_bfd,
106 (enum dynamic_lib_link_class) link_class);
108 /* Continue on with normal load_symbols processing. */
109 return false;
112 /* On Linux, it's possible to have different versions of the same
113 shared library linked against different versions of libc. The
114 dynamic linker somehow tags which libc version to use in
115 /etc/ld.so.cache, and, based on the libc that it sees in the
116 executable, chooses which version of the shared library to use.
118 We try to do a similar check here by checking whether this shared
119 library needs any other shared libraries which may conflict with
120 libraries we have already included in the link. If it does, we
121 skip it, and try to find another shared library farther on down the
122 link path.
124 This is called via lang_for_each_input_file.
125 GLOBAL_VERCHECK_NEEDED is the list of objects needed by the object
126 which we are checking. This sets GLOBAL_VERCHECK_FAILED if we find
127 a conflicting version. */
129 static void
130 ldelf_vercheck (lang_input_statement_type *s)
132 const char *soname;
133 struct bfd_link_needed_list *l;
135 if (global_vercheck_failed)
136 return;
137 if (s->the_bfd == NULL
138 || (bfd_get_file_flags (s->the_bfd) & DYNAMIC) == 0)
139 return;
141 soname = bfd_elf_get_dt_soname (s->the_bfd);
142 if (soname == NULL)
143 soname = lbasename (bfd_get_filename (s->the_bfd));
145 for (l = global_vercheck_needed; l != NULL; l = l->next)
147 const char *suffix;
149 if (filename_cmp (soname, l->name) == 0)
151 /* Probably can't happen, but it's an easy check. */
152 continue;
155 if (strchr (l->name, '/') != NULL)
156 continue;
158 suffix = strstr (l->name, ".so.");
159 if (suffix == NULL)
160 continue;
162 suffix += sizeof ".so." - 1;
164 if (filename_ncmp (soname, l->name, suffix - l->name) == 0)
166 /* Here we know that S is a dynamic object FOO.SO.VER1, and
167 the object we are considering needs a dynamic object
168 FOO.SO.VER2, and VER1 and VER2 are different. This
169 appears to be a version mismatch, so we tell the caller
170 to try a different version of this library. */
171 global_vercheck_failed = true;
172 return;
178 /* See if an input file matches a DT_NEEDED entry by running stat on
179 the file. */
181 static void
182 ldelf_stat_needed (lang_input_statement_type *s)
184 struct stat st;
185 const char *suffix;
186 const char *soname;
188 if (global_found != NULL)
189 return;
190 if (s->the_bfd == NULL)
191 return;
193 /* If this input file was an as-needed entry, and wasn't found to be
194 needed at the stage it was linked, then don't say we have loaded it. */
195 if ((bfd_elf_get_dyn_lib_class (s->the_bfd) & DYN_AS_NEEDED) != 0)
196 return;
198 if (bfd_stat (s->the_bfd, &st) != 0)
200 einfo (_("%P: %pB: bfd_stat failed: %E\n"), s->the_bfd);
201 return;
204 /* Some operating systems, e.g. Windows, do not provide a meaningful
205 st_ino; they always set it to zero. (Windows does provide a
206 meaningful st_dev.) Do not indicate a duplicate library in that
207 case. While there is no guarantee that a system that provides
208 meaningful inode numbers will never set st_ino to zero, this is
209 merely an optimization, so we do not need to worry about false
210 negatives. */
211 if (st.st_dev == global_stat.st_dev
212 && st.st_ino == global_stat.st_ino
213 && st.st_ino != 0)
215 global_found = s;
216 return;
219 /* We issue a warning if it looks like we are including two
220 different versions of the same shared library. For example,
221 there may be a problem if -lc picks up libc.so.6 but some other
222 shared library has a DT_NEEDED entry of libc.so.5. This is a
223 heuristic test, and it will only work if the name looks like
224 NAME.so.VERSION. FIXME: Depending on file names is error-prone.
225 If we really want to issue warnings about mixing version numbers
226 of shared libraries, we need to find a better way. */
228 if (strchr (global_needed->name, '/') != NULL)
229 return;
230 suffix = strstr (global_needed->name, ".so.");
231 if (suffix == NULL)
232 return;
233 suffix += sizeof ".so." - 1;
235 soname = bfd_elf_get_dt_soname (s->the_bfd);
236 if (soname == NULL)
237 soname = lbasename (s->filename);
239 if (filename_ncmp (soname, global_needed->name,
240 suffix - global_needed->name) == 0)
241 einfo (_("%P: warning: %s, needed by %pB, may conflict with %s\n"),
242 global_needed->name, global_needed->by, soname);
245 /* This function is called for each possible name for a dynamic object
246 named by a DT_NEEDED entry. The FORCE parameter indicates whether
247 to skip the check for a conflicting version. */
249 static bool
250 ldelf_try_needed (struct dt_needed *needed, int force, int is_linux)
252 bfd *abfd;
253 const char *name = needed->name;
254 const char *soname;
255 int link_class;
257 abfd = bfd_openr (name, bfd_get_target (link_info.output_bfd));
258 if (abfd == NULL)
260 if (verbose)
261 info_msg (_("attempt to open %s failed\n"), name);
262 return false;
265 track_dependency_files (name);
267 /* Linker needs to decompress sections. */
268 abfd->flags |= BFD_DECOMPRESS;
270 if (! bfd_check_format (abfd, bfd_object))
272 bfd_close (abfd);
273 return false;
275 if ((bfd_get_file_flags (abfd) & DYNAMIC) == 0)
277 bfd_close (abfd);
278 return false;
281 /* For DT_NEEDED, they have to match. */
282 if (abfd->xvec != link_info.output_bfd->xvec)
284 bfd_close (abfd);
285 return false;
288 /* Check whether this object would include any conflicting library
289 versions. If FORCE is set, then we skip this check; we use this
290 the second time around, if we couldn't find any compatible
291 instance of the shared library. */
293 if (!force)
295 struct bfd_link_needed_list *needs;
297 if (! bfd_elf_get_bfd_needed_list (abfd, &needs))
298 einfo (_("%F%P: %pB: bfd_elf_get_bfd_needed_list failed: %E\n"), abfd);
300 if (needs != NULL)
302 global_vercheck_needed = needs;
303 global_vercheck_failed = false;
304 lang_for_each_input_file (ldelf_vercheck);
305 if (global_vercheck_failed)
307 bfd_close (abfd);
308 /* Return FALSE to force the caller to move on to try
309 another file on the search path. */
310 return false;
313 /* But wait! It gets much worse. On Linux, if a shared
314 library does not use libc at all, we are supposed to skip
315 it the first time around in case we encounter a shared
316 library later on with the same name which does use the
317 version of libc that we want. This is much too horrible
318 to use on any system other than Linux. */
319 if (is_linux)
321 struct bfd_link_needed_list *l;
323 for (l = needs; l != NULL; l = l->next)
324 if (startswith (l->name, "libc.so"))
325 break;
326 if (l == NULL)
328 bfd_close (abfd);
329 return false;
335 /* We've found a dynamic object matching the DT_NEEDED entry. */
337 /* We have already checked that there is no other input file of the
338 same name. We must now check again that we are not including the
339 same file twice. We need to do this because on many systems
340 libc.so is a symlink to, e.g., libc.so.1. The SONAME entry will
341 reference libc.so.1. If we have already included libc.so, we
342 don't want to include libc.so.1 if they are the same file, and we
343 can only check that using stat. */
345 if (bfd_stat (abfd, &global_stat) != 0)
346 einfo (_("%F%P: %pB: bfd_stat failed: %E\n"), abfd);
348 /* First strip off everything before the last '/'. */
349 soname = lbasename (bfd_get_filename (abfd));
351 if (verbose)
352 info_msg (_("found %s at %s\n"), soname, name);
354 global_found = NULL;
355 lang_for_each_input_file (ldelf_stat_needed);
356 if (global_found != NULL)
358 /* Return TRUE to indicate that we found the file, even though
359 we aren't going to do anything with it. */
360 return true;
363 /* Specify the soname to use. */
364 bfd_elf_set_dt_needed_name (abfd, soname);
366 /* Tell the ELF linker that we don't want the output file to have a
367 DT_NEEDED entry for this file, unless it is used to resolve
368 references in a regular object. */
369 link_class = DYN_DT_NEEDED;
371 /* Tell the ELF linker that we don't want the output file to have a
372 DT_NEEDED entry for this file at all if the entry is from a file
373 with DYN_NO_ADD_NEEDED. */
374 if (needed->by != NULL
375 && (bfd_elf_get_dyn_lib_class (needed->by) & DYN_NO_ADD_NEEDED) != 0)
376 link_class |= DYN_NO_NEEDED | DYN_NO_ADD_NEEDED;
378 bfd_elf_set_dyn_lib_class (abfd, (enum dynamic_lib_link_class) link_class);
380 *link_info.input_bfds_tail = abfd;
381 link_info.input_bfds_tail = &abfd->link.next;
383 /* Add this file into the symbol table. */
384 if (! bfd_link_add_symbols (abfd, &link_info))
385 einfo (_("%F%P: %pB: error adding symbols: %E\n"), abfd);
387 return true;
390 /* Search for a needed file in a path. */
392 static bool
393 ldelf_search_needed (const char *path, struct dt_needed *n, int force,
394 int is_linux, int elfsize)
396 const char *s;
397 const char *name = n->name;
398 size_t len;
399 struct dt_needed needed;
401 if (name[0] == '/')
402 return ldelf_try_needed (n, force, is_linux);
404 if (path == NULL || *path == '\0')
405 return false;
407 needed.by = n->by;
408 needed.name = n->name;
410 len = strlen (name);
411 while (1)
413 unsigned offset = 0;
414 char * var;
415 char *filename, *sset;
417 s = strchr (path, config.rpath_separator);
418 if (s == NULL)
419 s = path + strlen (path);
421 #if HAVE_DOS_BASED_FILE_SYSTEM
422 /* Assume a match on the second char is part of drive specifier. */
423 else if (config.rpath_separator == ':'
424 && s == path + 1
425 && ISALPHA (*path))
427 s = strchr (s + 1, config.rpath_separator);
428 if (s == NULL)
429 s = path + strlen (path);
431 #endif
432 filename = (char *) xmalloc (s - path + len + 2);
433 if (s == path)
434 sset = filename;
435 else
437 memcpy (filename, path, s - path);
438 filename[s - path] = '/';
439 sset = filename + (s - path) + 1;
441 strcpy (sset, name);
443 /* PR 20535: Support the same pseudo-environment variables that
444 are supported by ld.so. Namely, $ORIGIN, $LIB and $PLATFORM.
445 Since there can be more than one occurrence of these tokens in
446 the path we loop until no more are found. Since we might not
447 be able to substitute some of the tokens we maintain an offset
448 into the filename for where we should begin our scan. */
449 while ((var = strchr (filename + offset, '$')) != NULL)
451 /* The ld.so manual page does not say, but I am going to assume that
452 these tokens are terminated by a directory separator character
453 (/) or the end of the string. There is also an implication that
454 $ORIGIN should only be used at the start of a path, but that is
455 not enforced here.
457 The ld.so manual page also states that it allows ${ORIGIN},
458 ${LIB} and ${PLATFORM}, so these are supported as well.
460 FIXME: The code could be a lot cleverer about allocating space
461 for the processed string. */
462 char * end = strchr (var, '/');
463 const char *replacement = NULL;
464 char * v = var + 1;
465 char * freeme = NULL;
466 unsigned flen = strlen (filename);
468 if (end != NULL)
469 /* Temporarily terminate the filename at the end of the token. */
470 * end = 0;
472 if (*v == '{')
473 ++ v;
474 switch (*v++)
476 case 'O':
477 if (strcmp (v, "RIGIN") == 0 || strcmp (v, "RIGIN}") == 0)
479 /* ORIGIN - replace with the full path to the directory
480 containing the program or shared object. */
481 if (needed.by == NULL)
483 if (link_info.output_bfd == NULL)
485 break;
487 else
488 replacement = bfd_get_filename (link_info.output_bfd);
490 else
491 replacement = bfd_get_filename (needed.by);
493 if (replacement)
495 char * slash;
497 if (replacement[0] == '/')
498 freeme = xstrdup (replacement);
499 else
501 char * current_dir = getpwd ();
503 freeme = xmalloc (strlen (replacement)
504 + strlen (current_dir) + 2);
505 sprintf (freeme, "%s/%s", current_dir, replacement);
508 replacement = freeme;
509 if ((slash = strrchr (replacement, '/')) != NULL)
510 * slash = 0;
513 break;
515 case 'L':
516 if (strcmp (v, "IB") == 0 || strcmp (v, "IB}") == 0)
518 /* LIB - replace with "lib" in 32-bit environments
519 and "lib64" in 64-bit environments. */
521 switch (elfsize)
523 case 32: replacement = "lib"; break;
524 case 64: replacement = "lib64"; break;
525 default:
526 abort ();
529 break;
531 case 'P':
532 /* Supporting $PLATFORM in a cross-hosted environment is not
533 possible. Supporting it in a native environment involves
534 loading the <sys/auxv.h> header file which loads the
535 system <elf.h> header file, which conflicts with the
536 "include/elf/mips.h" header file. */
537 /* Fall through. */
538 default:
539 break;
542 if (replacement)
544 char * filename2 = xmalloc (flen + strlen (replacement));
546 if (end)
548 sprintf (filename2, "%.*s%s/%s",
549 (int)(var - filename), filename,
550 replacement, end + 1);
551 offset = (var - filename) + 1 + strlen (replacement);
553 else
555 sprintf (filename2, "%.*s%s",
556 (int)(var - filename), filename,
557 replacement);
558 offset = var - filename + strlen (replacement);
561 free (filename);
562 filename = filename2;
563 /* There is no need to restore the path separator (when
564 end != NULL) as we have replaced the entire string. */
566 else
568 if (verbose)
569 /* We only issue an "unrecognised" message in verbose mode
570 as the $<foo> token might be a legitimate component of
571 a path name in the target's file system. */
572 info_msg (_("unrecognised or unsupported token "
573 "'%s' in search path\n"), var);
574 if (end)
575 /* Restore the path separator. */
576 * end = '/';
578 /* PR 20784: Make sure that we resume the scan *after*
579 the token that we could not replace. */
580 offset = (var + 1) - filename;
583 free (freeme);
586 needed.name = filename;
588 if (ldelf_try_needed (&needed, force, is_linux))
589 return true;
591 free (filename);
593 if (*s == '\0')
594 break;
595 path = s + 1;
598 return false;
601 /* Prefix the sysroot to absolute paths in PATH, a string containing
602 paths separated by config.rpath_separator. If running on a DOS
603 file system, paths containing a drive spec won't have the sysroot
604 prefix added, unless the sysroot also specifies the same drive. */
606 static const char *
607 ldelf_add_sysroot (const char *path)
609 size_t len, extra;
610 const char *p;
611 char *ret, *q;
612 int dos_drive_sysroot = HAS_DRIVE_SPEC (ld_sysroot);
614 len = strlen (ld_sysroot);
615 for (extra = 0, p = path; ; )
617 int dos_drive = HAS_DRIVE_SPEC (p);
619 if (dos_drive)
620 p += 2;
621 if (IS_DIR_SEPARATOR (*p)
622 && (!dos_drive
623 || (dos_drive_sysroot
624 && ld_sysroot[0] == p[-2])))
626 if (dos_drive && dos_drive_sysroot)
627 extra += len - 2;
628 else
629 extra += len;
631 p = strchr (p, config.rpath_separator);
632 if (!p)
633 break;
634 ++p;
637 ret = xmalloc (strlen (path) + extra + 1);
639 for (q = ret, p = path; ; )
641 const char *end;
642 int dos_drive = HAS_DRIVE_SPEC (p);
644 if (dos_drive)
646 *q++ = *p++;
647 *q++ = *p++;
649 if (IS_DIR_SEPARATOR (*p)
650 && (!dos_drive
651 || (dos_drive_sysroot
652 && ld_sysroot[0] == p[-2])))
654 if (dos_drive && dos_drive_sysroot)
656 strcpy (q, ld_sysroot + 2);
657 q += len - 2;
659 else
661 strcpy (q, ld_sysroot);
662 q += len;
665 end = strchr (p, config.rpath_separator);
666 if (end)
668 size_t n = end - p + 1;
669 strncpy (q, p, n);
670 q += n;
671 p += n;
673 else
675 strcpy (q, p);
676 break;
680 return ret;
683 /* Read the system search path the FreeBSD way rather than the Linux way. */
684 #ifdef HAVE_ELF_HINTS_H
685 #include <elf-hints.h>
686 #else
687 #include "elf-hints-local.h"
688 #endif
690 static bool
691 ldelf_check_ld_elf_hints (const struct bfd_link_needed_list *l, int force,
692 int elfsize)
694 static bool initialized;
695 static const char *ld_elf_hints;
696 struct dt_needed needed;
698 if (!initialized)
700 FILE *f;
701 char *tmppath;
703 tmppath = concat (ld_sysroot, _PATH_ELF_HINTS, (const char *) NULL);
704 f = fopen (tmppath, FOPEN_RB);
705 free (tmppath);
706 if (f != NULL)
708 struct elfhints_hdr hdr;
710 if (fread (&hdr, 1, sizeof (hdr), f) == sizeof (hdr)
711 && hdr.magic == ELFHINTS_MAGIC
712 && hdr.version == 1)
714 if (fseek (f, hdr.strtab + hdr.dirlist, SEEK_SET) != -1)
716 char *b;
718 b = xmalloc (hdr.dirlistlen + 1);
719 if (fread (b, 1, hdr.dirlistlen + 1, f) ==
720 hdr.dirlistlen + 1)
721 ld_elf_hints = ldelf_add_sysroot (b);
723 free (b);
726 fclose (f);
729 initialized = true;
732 if (ld_elf_hints == NULL)
733 return false;
735 needed.by = l->by;
736 needed.name = l->name;
737 return ldelf_search_needed (ld_elf_hints, &needed, force, false, elfsize);
740 /* For a native linker, check the file /etc/ld.so.conf for directories
741 in which we may find shared libraries. /etc/ld.so.conf is really
742 only meaningful on Linux. */
744 struct ldelf_ld_so_conf
746 char *path;
747 size_t len, alloc;
750 static bool
751 ldelf_parse_ld_so_conf (struct ldelf_ld_so_conf *, const char *);
753 static void
754 ldelf_parse_ld_so_conf_include (struct ldelf_ld_so_conf *info,
755 const char *filename,
756 const char *pattern)
758 char *newp = NULL;
759 #ifdef HAVE_GLOB
760 glob_t gl;
761 #endif
763 if (pattern[0] != '/')
765 char *p = strrchr (filename, '/');
766 size_t patlen = strlen (pattern) + 1;
768 newp = xmalloc (p - filename + 1 + patlen);
769 memcpy (newp, filename, p - filename + 1);
770 memcpy (newp + (p - filename + 1), pattern, patlen);
771 pattern = newp;
774 #ifdef HAVE_GLOB
775 if (glob (pattern, 0, NULL, &gl) == 0)
777 size_t i;
779 for (i = 0; i < gl.gl_pathc; ++i)
780 ldelf_parse_ld_so_conf (info, gl.gl_pathv[i]);
781 globfree (&gl);
783 #else
784 /* If we do not have glob, treat the pattern as a literal filename. */
785 ldelf_parse_ld_so_conf (info, pattern);
786 #endif
788 free (newp);
791 static bool
792 ldelf_parse_ld_so_conf (struct ldelf_ld_so_conf *info, const char *filename)
794 FILE *f = fopen (filename, FOPEN_RT);
795 char *line;
796 size_t linelen;
798 if (f == NULL)
799 return false;
801 linelen = 256;
802 line = xmalloc (linelen);
805 char *p = line, *q;
807 /* Normally this would use getline(3), but we need to be portable. */
808 while ((q = fgets (p, linelen - (p - line), f)) != NULL
809 && strlen (q) == linelen - (p - line) - 1
810 && line[linelen - 2] != '\n')
812 line = xrealloc (line, 2 * linelen);
813 p = line + linelen - 1;
814 linelen += linelen;
817 if (q == NULL && p == line)
818 break;
820 p = strchr (line, '\n');
821 if (p)
822 *p = '\0';
824 /* Because the file format does not know any form of quoting we
825 can search forward for the next '#' character and if found
826 make it terminating the line. */
827 p = strchr (line, '#');
828 if (p)
829 *p = '\0';
831 /* Remove leading whitespace. NUL is no whitespace character. */
832 p = line;
833 while (*p == ' ' || *p == '\f' || *p == '\r' || *p == '\t' || *p == '\v')
834 ++p;
836 /* If the line is blank it is ignored. */
837 if (p[0] == '\0')
838 continue;
840 if (startswith (p, "include") && (p[7] == ' ' || p[7] == '\t'))
842 char *dir, c;
843 p += 8;
846 while (*p == ' ' || *p == '\t')
847 ++p;
849 if (*p == '\0')
850 break;
852 dir = p;
854 while (*p != ' ' && *p != '\t' && *p)
855 ++p;
857 c = *p;
858 *p++ = '\0';
859 if (dir[0] != '\0')
860 ldelf_parse_ld_so_conf_include (info, filename, dir);
862 while (c != '\0');
864 else
866 char *dir = p;
867 while (*p && *p != '=' && *p != ' ' && *p != '\t' && *p != '\f'
868 && *p != '\r' && *p != '\v')
869 ++p;
871 while (p != dir && p[-1] == '/')
872 --p;
873 if (info->path == NULL)
875 info->alloc = p - dir + 1 + 256;
876 info->path = xmalloc (info->alloc);
877 info->len = 0;
879 else
881 if (info->len + 1 + (p - dir) >= info->alloc)
883 info->alloc += p - dir + 256;
884 info->path = xrealloc (info->path, info->alloc);
886 info->path[info->len++] = config.rpath_separator;
888 memcpy (info->path + info->len, dir, p - dir);
889 info->len += p - dir;
890 info->path[info->len] = '\0';
893 while (! feof (f));
894 free (line);
895 fclose (f);
896 return true;
899 static bool
900 ldelf_check_ld_so_conf (const struct bfd_link_needed_list *l, int force,
901 int elfsize, const char *prefix)
903 static bool initialized;
904 static const char *ld_so_conf;
905 struct dt_needed needed;
907 if (! initialized)
909 char *tmppath;
910 struct ldelf_ld_so_conf info;
912 info.path = NULL;
913 info.len = info.alloc = 0;
914 tmppath = concat (ld_sysroot, prefix, "/etc/ld.so.conf",
915 (const char *) NULL);
916 if (!ldelf_parse_ld_so_conf (&info, tmppath))
918 free (tmppath);
919 tmppath = concat (ld_sysroot, "/etc/ld.so.conf",
920 (const char *) NULL);
921 ldelf_parse_ld_so_conf (&info, tmppath);
923 free (tmppath);
925 if (info.path)
927 ld_so_conf = ldelf_add_sysroot (info.path);
928 free (info.path);
930 initialized = true;
933 if (ld_so_conf == NULL)
934 return false;
937 needed.by = l->by;
938 needed.name = l->name;
939 return ldelf_search_needed (ld_so_conf, &needed, force, true, elfsize);
942 /* See if an input file matches a DT_NEEDED entry by name. */
944 static void
945 ldelf_check_needed (lang_input_statement_type *s)
947 const char *soname;
949 /* Stop looking if we've found a loaded lib. */
950 if (global_found != NULL
951 && (bfd_elf_get_dyn_lib_class (global_found->the_bfd)
952 & DYN_AS_NEEDED) == 0)
953 return;
955 if (s->filename == NULL || s->the_bfd == NULL)
956 return;
958 /* Don't look for a second non-loaded as-needed lib. */
959 if (global_found != NULL
960 && (bfd_elf_get_dyn_lib_class (s->the_bfd) & DYN_AS_NEEDED) != 0)
961 return;
963 if (filename_cmp (s->filename, global_needed->name) == 0)
965 global_found = s;
966 return;
969 if (s->flags.search_dirs)
971 const char *f = strrchr (s->filename, '/');
972 if (f != NULL
973 && filename_cmp (f + 1, global_needed->name) == 0)
975 global_found = s;
976 return;
980 soname = bfd_elf_get_dt_soname (s->the_bfd);
981 if (soname != NULL
982 && filename_cmp (soname, global_needed->name) == 0)
984 global_found = s;
985 return;
989 /* This is called after all the input files have been opened. */
991 void
992 ldelf_after_open (int use_libpath, int native, int is_linux, int is_freebsd,
993 int elfsize, const char *prefix)
995 struct bfd_link_needed_list *needed, *l;
996 struct elf_link_hash_table *htab;
997 asection *s;
998 bfd *abfd;
999 bfd **save_input_bfd_tail;
1001 after_open_default ();
1003 htab = elf_hash_table (&link_info);
1004 if (!is_elf_hash_table (&htab->root))
1005 return;
1007 if (command_line.out_implib_filename)
1009 unlink_if_ordinary (command_line.out_implib_filename);
1010 link_info.out_implib_bfd
1011 = bfd_openw (command_line.out_implib_filename,
1012 bfd_get_target (link_info.output_bfd));
1014 if (link_info.out_implib_bfd == NULL)
1016 einfo (_("%F%P: %s: can't open for writing: %E\n"),
1017 command_line.out_implib_filename);
1021 if (ldelf_emit_note_gnu_build_id != NULL)
1023 /* Find an ELF input. */
1024 for (abfd = link_info.input_bfds;
1025 abfd != (bfd *) NULL; abfd = abfd->link.next)
1026 if (bfd_get_flavour (abfd) == bfd_target_elf_flavour
1027 && bfd_count_sections (abfd) != 0
1028 && !bfd_input_just_syms (abfd))
1029 break;
1031 /* PR 10555: If there are no ELF input files do not try to
1032 create a .note.gnu-build-id section. */
1033 if (abfd == NULL
1034 || !ldelf_setup_build_id (abfd))
1036 free ((char *) ldelf_emit_note_gnu_build_id);
1037 ldelf_emit_note_gnu_build_id = NULL;
1041 get_elf_backend_data (link_info.output_bfd)->setup_gnu_properties (&link_info);
1043 /* Do not allow executable files to be used as inputs to the link. */
1044 for (abfd = link_info.input_bfds; abfd; abfd = abfd->link.next)
1046 if (abfd->xvec->flavour == bfd_target_elf_flavour
1047 && !bfd_input_just_syms (abfd)
1048 && elf_tdata (abfd) != NULL
1049 /* FIXME: Maybe check for other non-supportable types as well ? */
1050 && (elf_tdata (abfd)->elf_header->e_type == ET_EXEC
1051 || (elf_tdata (abfd)->elf_header->e_type == ET_DYN
1052 && elf_tdata (abfd)->is_pie)))
1053 einfo (_("%F%P: cannot use executable file '%pB' as input to a link\n"),
1054 abfd);
1057 if (bfd_link_relocatable (&link_info))
1059 if (link_info.execstack == !link_info.noexecstack)
1061 /* PR ld/16744: If "-z [no]execstack" has been specified on the
1062 command line and we are perfoming a relocatable link then no
1063 PT_GNU_STACK segment will be created and so the
1064 linkinfo.[no]execstack values set in _handle_option() will have no
1065 effect. Instead we create a .note.GNU-stack section in much the
1066 same way as the assembler does with its --[no]execstack option. */
1067 flagword flags = SEC_READONLY | (link_info.execstack ? SEC_CODE : 0);
1068 (void) bfd_make_section_with_flags (link_info.input_bfds,
1069 ".note.GNU-stack", flags);
1071 return;
1074 if (!link_info.traditional_format)
1076 bfd *elfbfd = NULL;
1077 bool warn_eh_frame = false;
1078 int seen_type = 0;
1080 for (abfd = link_info.input_bfds; abfd; abfd = abfd->link.next)
1082 int type = 0;
1084 if (bfd_input_just_syms (abfd))
1085 continue;
1087 for (s = abfd->sections; s && type < COMPACT_EH_HDR; s = s->next)
1089 const char *name = bfd_section_name (s);
1091 if (bfd_is_abs_section (s->output_section))
1092 continue;
1093 if (startswith (name, ".eh_frame_entry"))
1094 type = COMPACT_EH_HDR;
1095 else if (strcmp (name, ".eh_frame") == 0 && s->size > 8)
1096 type = DWARF2_EH_HDR;
1099 if (type != 0)
1101 if (seen_type == 0)
1103 seen_type = type;
1105 else if (seen_type != type)
1107 einfo (_("%F%P: compact frame descriptions incompatible with"
1108 " DWARF2 .eh_frame from %pB\n"),
1109 type == DWARF2_EH_HDR ? abfd : elfbfd);
1110 break;
1113 if (!elfbfd
1114 && (type == COMPACT_EH_HDR
1115 || link_info.eh_frame_hdr_type != 0))
1117 if (bfd_get_flavour (abfd) == bfd_target_elf_flavour)
1118 elfbfd = abfd;
1120 warn_eh_frame = true;
1124 if (seen_type == COMPACT_EH_HDR)
1125 link_info.eh_frame_hdr_type = COMPACT_EH_HDR;
1127 if (elfbfd)
1129 const struct elf_backend_data *bed;
1131 bed = get_elf_backend_data (elfbfd);
1132 s = bfd_make_section_with_flags (elfbfd, ".eh_frame_hdr",
1133 bed->dynamic_sec_flags
1134 | SEC_READONLY);
1135 if (s != NULL
1136 && bfd_set_section_alignment (s, 2))
1138 htab->eh_info.hdr_sec = s;
1139 warn_eh_frame = false;
1142 if (warn_eh_frame)
1143 einfo (_("%P: warning: cannot create .eh_frame_hdr section,"
1144 " --eh-frame-hdr ignored\n"));
1147 /* Get the list of files which appear in DT_NEEDED entries in
1148 dynamic objects included in the link (often there will be none).
1149 For each such file, we want to track down the corresponding
1150 library, and include the symbol table in the link. This is what
1151 the runtime dynamic linker will do. Tracking the files down here
1152 permits one dynamic object to include another without requiring
1153 special action by the person doing the link. Note that the
1154 needed list can actually grow while we are stepping through this
1155 loop. */
1156 save_input_bfd_tail = link_info.input_bfds_tail;
1157 needed = bfd_elf_get_needed_list (link_info.output_bfd, &link_info);
1158 for (l = needed; l != NULL; l = l->next)
1160 struct bfd_link_needed_list *ll;
1161 struct dt_needed n, nn;
1162 int force;
1164 /* If the lib that needs this one was --as-needed and wasn't
1165 found to be needed, then this lib isn't needed either. */
1166 if (l->by != NULL
1167 && (bfd_elf_get_dyn_lib_class (l->by) & DYN_AS_NEEDED) != 0)
1168 continue;
1170 /* Skip the lib if --no-copy-dt-needed-entries and
1171 --allow-shlib-undefined is in effect. */
1172 if (l->by != NULL
1173 && link_info.unresolved_syms_in_shared_libs == RM_IGNORE
1174 && (bfd_elf_get_dyn_lib_class (l->by) & DYN_NO_ADD_NEEDED) != 0)
1175 continue;
1177 /* If we've already seen this file, skip it. */
1178 for (ll = needed; ll != l; ll = ll->next)
1179 if ((ll->by == NULL
1180 || (bfd_elf_get_dyn_lib_class (ll->by) & DYN_AS_NEEDED) == 0)
1181 && strcmp (ll->name, l->name) == 0)
1182 break;
1183 if (ll != l)
1184 continue;
1186 /* See if this file was included in the link explicitly. */
1187 global_needed = l;
1188 global_found = NULL;
1189 lang_for_each_input_file (ldelf_check_needed);
1190 if (global_found != NULL
1191 && (bfd_elf_get_dyn_lib_class (global_found->the_bfd)
1192 & DYN_AS_NEEDED) == 0)
1193 continue;
1195 n.by = l->by;
1196 n.name = l->name;
1197 nn.by = l->by;
1198 if (verbose)
1199 info_msg (_("%s needed by %pB\n"), l->name, l->by);
1201 /* As-needed libs specified on the command line (or linker script)
1202 take priority over libs found in search dirs. */
1203 if (global_found != NULL)
1205 nn.name = global_found->filename;
1206 if (ldelf_try_needed (&nn, true, is_linux))
1207 continue;
1210 /* We need to find this file and include the symbol table. We
1211 want to search for the file in the same way that the dynamic
1212 linker will search. That means that we want to use
1213 rpath_link, rpath, then the environment variable
1214 LD_LIBRARY_PATH (native only), then the DT_RPATH/DT_RUNPATH
1215 entries (native only), then the linker script LIB_SEARCH_DIRS.
1216 We do not search using the -L arguments.
1218 We search twice. The first time, we skip objects which may
1219 introduce version mismatches. The second time, we force
1220 their use. See ldelf_vercheck comment. */
1221 for (force = 0; force < 2; force++)
1223 size_t len;
1224 search_dirs_type *search;
1225 const char *path;
1226 struct bfd_link_needed_list *rp;
1227 int found;
1229 if (ldelf_search_needed (command_line.rpath_link, &n, force,
1230 is_linux, elfsize))
1231 break;
1233 if (use_libpath)
1235 path = command_line.rpath;
1236 if (path)
1238 path = ldelf_add_sysroot (path);
1239 found = ldelf_search_needed (path, &n, force,
1240 is_linux, elfsize);
1241 free ((char *) path);
1242 if (found)
1243 break;
1246 if (native)
1248 if (command_line.rpath_link == NULL
1249 && command_line.rpath == NULL)
1251 path = (const char *) getenv ("LD_RUN_PATH");
1252 if (path
1253 && ldelf_search_needed (path, &n, force,
1254 is_linux, elfsize))
1255 break;
1257 path = (const char *) getenv ("LD_LIBRARY_PATH");
1258 if (path
1259 && ldelf_search_needed (path, &n, force,
1260 is_linux, elfsize))
1261 break;
1263 if (use_libpath)
1265 found = 0;
1266 rp = bfd_elf_get_runpath_list (link_info.output_bfd, &link_info);
1267 for (; !found && rp != NULL; rp = rp->next)
1269 path = ldelf_add_sysroot (rp->name);
1270 found = (rp->by == l->by
1271 && ldelf_search_needed (path, &n, force,
1272 is_linux, elfsize));
1273 free ((char *) path);
1275 if (found)
1276 break;
1278 if (is_freebsd
1279 && ldelf_check_ld_elf_hints (l, force, elfsize))
1280 break;
1282 if (is_linux
1283 && ldelf_check_ld_so_conf (l, force, elfsize, prefix))
1284 break;
1287 len = strlen (l->name);
1288 for (search = search_head; search != NULL; search = search->next)
1290 char *filename;
1292 if (search->cmdline)
1293 continue;
1294 filename = (char *) xmalloc (strlen (search->name) + len + 2);
1295 sprintf (filename, "%s/%s", search->name, l->name);
1296 nn.name = filename;
1297 if (ldelf_try_needed (&nn, force, is_linux))
1298 break;
1299 free (filename);
1301 if (search != NULL)
1302 break;
1305 if (force < 2)
1306 continue;
1308 einfo (_("%P: warning: %s, needed by %pB, not found "
1309 "(try using -rpath or -rpath-link)\n"),
1310 l->name, l->by);
1313 for (abfd = link_info.input_bfds; abfd; abfd = abfd->link.next)
1314 if (bfd_get_format (abfd) == bfd_object
1315 && ((abfd->flags) & DYNAMIC) != 0
1316 && bfd_get_flavour (abfd) == bfd_target_elf_flavour
1317 && (elf_dyn_lib_class (abfd) & (DYN_AS_NEEDED | DYN_NO_NEEDED)) == 0
1318 && elf_dt_name (abfd) != NULL)
1320 if (bfd_elf_add_dt_needed_tag (abfd, &link_info) < 0)
1321 einfo (_("%F%P: failed to add DT_NEEDED dynamic tag\n"));
1324 link_info.input_bfds_tail = save_input_bfd_tail;
1325 *save_input_bfd_tail = NULL;
1327 if (link_info.eh_frame_hdr_type == COMPACT_EH_HDR)
1328 if (!bfd_elf_parse_eh_frame_entries (NULL, &link_info))
1329 einfo (_("%F%P: failed to parse EH frame entries\n"));
1332 static bfd_size_type
1333 id_note_section_size (bfd *abfd ATTRIBUTE_UNUSED)
1335 const char *style = ldelf_emit_note_gnu_build_id;
1336 bfd_size_type size;
1337 bfd_size_type build_id_size;
1339 size = offsetof (Elf_External_Note, name[sizeof "GNU"]);
1340 size = (size + 3) & -(bfd_size_type) 4;
1342 build_id_size = compute_build_id_size (style);
1343 if (build_id_size)
1344 size += build_id_size;
1345 else
1346 size = 0;
1348 return size;
1351 static bool
1352 write_build_id (bfd *abfd)
1354 const struct elf_backend_data *bed = get_elf_backend_data (abfd);
1355 struct elf_obj_tdata *t = elf_tdata (abfd);
1356 const char *style;
1357 asection *asec;
1358 Elf_Internal_Shdr *i_shdr;
1359 unsigned char *contents, *id_bits;
1360 bfd_size_type size;
1361 file_ptr position;
1362 Elf_External_Note *e_note;
1364 style = t->o->build_id.style;
1365 asec = t->o->build_id.sec;
1366 if (bfd_is_abs_section (asec->output_section))
1368 einfo (_("%P: warning: .note.gnu.build-id section discarded,"
1369 " --build-id ignored\n"));
1370 return true;
1372 i_shdr = &elf_section_data (asec->output_section)->this_hdr;
1374 if (i_shdr->contents == NULL)
1376 if (asec->contents == NULL)
1377 asec->contents = (unsigned char *) xmalloc (asec->size);
1378 contents = asec->contents;
1380 else
1381 contents = i_shdr->contents + asec->output_offset;
1383 e_note = (Elf_External_Note *) contents;
1384 size = offsetof (Elf_External_Note, name[sizeof "GNU"]);
1385 size = (size + 3) & -(bfd_size_type) 4;
1386 id_bits = contents + size;
1387 size = asec->size - size;
1389 bfd_h_put_32 (abfd, sizeof "GNU", &e_note->namesz);
1390 bfd_h_put_32 (abfd, size, &e_note->descsz);
1391 bfd_h_put_32 (abfd, NT_GNU_BUILD_ID, &e_note->type);
1392 memcpy (e_note->name, "GNU", sizeof "GNU");
1394 generate_build_id (abfd, style, bed->s->checksum_contents, id_bits, size);
1396 position = i_shdr->sh_offset + asec->output_offset;
1397 size = asec->size;
1398 return (bfd_seek (abfd, position, SEEK_SET) == 0
1399 && bfd_bwrite (contents, size, abfd) == size);
1402 /* Make .note.gnu.build-id section, and set up elf_tdata->build_id. */
1404 bool
1405 ldelf_setup_build_id (bfd *ibfd)
1407 asection *s;
1408 bfd_size_type size;
1409 flagword flags;
1411 size = id_note_section_size (ibfd);
1412 if (size == 0)
1414 einfo (_("%P: warning: unrecognized --build-id style ignored\n"));
1415 return false;
1418 flags = (SEC_ALLOC | SEC_LOAD | SEC_IN_MEMORY
1419 | SEC_LINKER_CREATED | SEC_READONLY | SEC_DATA);
1420 s = bfd_make_section_with_flags (ibfd, ".note.gnu.build-id", flags);
1421 if (s != NULL && bfd_set_section_alignment (s, 2))
1423 struct elf_obj_tdata *t = elf_tdata (link_info.output_bfd);
1424 t->o->build_id.after_write_object_contents = &write_build_id;
1425 t->o->build_id.style = ldelf_emit_note_gnu_build_id;
1426 t->o->build_id.sec = s;
1427 elf_section_type (s) = SHT_NOTE;
1428 s->size = size;
1429 return true;
1432 einfo (_("%P: warning: cannot create .note.gnu.build-id section,"
1433 " --build-id ignored\n"));
1434 return false;
1437 /* Look through an expression for an assignment statement. */
1439 static void
1440 ldelf_find_exp_assignment (etree_type *exp)
1442 bool provide = false;
1444 switch (exp->type.node_class)
1446 case etree_provide:
1447 case etree_provided:
1448 provide = true;
1449 /* Fallthru */
1450 case etree_assign:
1451 /* We call record_link_assignment even if the symbol is defined.
1452 This is because if it is defined by a dynamic object, we
1453 actually want to use the value defined by the linker script,
1454 not the value from the dynamic object (because we are setting
1455 symbols like etext). If the symbol is defined by a regular
1456 object, then, as it happens, calling record_link_assignment
1457 will do no harm. */
1458 if (strcmp (exp->assign.dst, ".") != 0)
1460 if (!bfd_elf_record_link_assignment (link_info.output_bfd,
1461 &link_info,
1462 exp->assign.dst, provide,
1463 exp->assign.hidden))
1464 einfo (_("%F%P: failed to record assignment to %s: %E\n"),
1465 exp->assign.dst);
1467 ldelf_find_exp_assignment (exp->assign.src);
1468 break;
1470 case etree_binary:
1471 ldelf_find_exp_assignment (exp->binary.lhs);
1472 ldelf_find_exp_assignment (exp->binary.rhs);
1473 break;
1475 case etree_trinary:
1476 ldelf_find_exp_assignment (exp->trinary.cond);
1477 ldelf_find_exp_assignment (exp->trinary.lhs);
1478 ldelf_find_exp_assignment (exp->trinary.rhs);
1479 break;
1481 case etree_unary:
1482 ldelf_find_exp_assignment (exp->unary.child);
1483 break;
1485 default:
1486 break;
1490 /* This is called by the before_allocation routine via
1491 lang_for_each_statement. It locates any assignment statements, and
1492 tells the ELF backend about them, in case they are assignments to
1493 symbols which are referred to by dynamic objects. */
1495 static void
1496 ldelf_find_statement_assignment (lang_statement_union_type *s)
1498 if (s->header.type == lang_assignment_statement_enum)
1499 ldelf_find_exp_assignment (s->assignment_statement.exp);
1502 /* Used by before_allocation and handle_option. */
1504 void
1505 ldelf_append_to_separated_string (char **to, char *op_arg)
1507 if (*to == NULL)
1508 *to = xstrdup (op_arg);
1509 else
1511 size_t to_len = strlen (*to);
1512 size_t op_arg_len = strlen (op_arg);
1513 char *buf;
1514 char *cp = *to;
1516 /* First see whether OPTARG is already in the path. */
1519 if (strncmp (op_arg, cp, op_arg_len) == 0
1520 && (cp[op_arg_len] == 0
1521 || cp[op_arg_len] == config.rpath_separator))
1522 /* We found it. */
1523 break;
1525 /* Not yet found. */
1526 cp = strchr (cp, config.rpath_separator);
1527 if (cp != NULL)
1528 ++cp;
1530 while (cp != NULL);
1532 if (cp == NULL)
1534 buf = xmalloc (to_len + op_arg_len + 2);
1535 sprintf (buf, "%s%c%s", *to,
1536 config.rpath_separator, op_arg);
1537 free (*to);
1538 *to = buf;
1543 /* This is called after the sections have been attached to output
1544 sections, but before any sizes or addresses have been set. */
1546 void
1547 ldelf_before_allocation (char *audit, char *depaudit,
1548 const char *default_interpreter_name)
1550 const char *rpath;
1551 asection *sinterp;
1552 bfd *abfd;
1553 struct bfd_link_hash_entry *ehdr_start = NULL;
1554 unsigned char ehdr_start_save_type = 0;
1555 char ehdr_start_save_u[sizeof ehdr_start->u
1556 - sizeof ehdr_start->u.def.next] = "";
1558 if (is_elf_hash_table (link_info.hash))
1560 _bfd_elf_tls_setup (link_info.output_bfd, &link_info);
1562 /* Make __ehdr_start hidden if it has been referenced, to
1563 prevent the symbol from being dynamic. */
1564 if (!bfd_link_relocatable (&link_info))
1566 struct elf_link_hash_table *htab = elf_hash_table (&link_info);
1567 struct elf_link_hash_entry *h
1568 = elf_link_hash_lookup (htab, "__ehdr_start", false, false, true);
1570 /* Only adjust the export class if the symbol was referenced
1571 and not defined, otherwise leave it alone. */
1572 if (h != NULL
1573 && (h->root.type == bfd_link_hash_new
1574 || h->root.type == bfd_link_hash_undefined
1575 || h->root.type == bfd_link_hash_undefweak
1576 || h->root.type == bfd_link_hash_common))
1578 const struct elf_backend_data *bed;
1579 bed = get_elf_backend_data (link_info.output_bfd);
1580 (*bed->elf_backend_hide_symbol) (&link_info, h, true);
1581 if (ELF_ST_VISIBILITY (h->other) != STV_INTERNAL)
1582 h->other = (h->other & ~ELF_ST_VISIBILITY (-1)) | STV_HIDDEN;
1583 /* Don't leave the symbol undefined. Undefined hidden
1584 symbols typically won't have dynamic relocations, but
1585 we most likely will need dynamic relocations for
1586 __ehdr_start if we are building a PIE or shared
1587 library. */
1588 ehdr_start = &h->root;
1589 ehdr_start_save_type = ehdr_start->type;
1590 memcpy (ehdr_start_save_u,
1591 (char *) &ehdr_start->u + sizeof ehdr_start->u.def.next,
1592 sizeof ehdr_start_save_u);
1593 ehdr_start->type = bfd_link_hash_defined;
1594 /* It will be converted to section-relative later. */
1595 ehdr_start->rel_from_abs = 1;
1596 ehdr_start->u.def.section = bfd_abs_section_ptr;
1597 ehdr_start->u.def.value = 0;
1601 /* If we are going to make any variable assignments, we need to
1602 let the ELF backend know about them in case the variables are
1603 referred to by dynamic objects. */
1604 lang_for_each_statement (ldelf_find_statement_assignment);
1607 /* Let the ELF backend work out the sizes of any sections required
1608 by dynamic linking. */
1609 rpath = command_line.rpath;
1610 if (rpath == NULL)
1611 rpath = (const char *) getenv ("LD_RUN_PATH");
1613 for (abfd = link_info.input_bfds; abfd; abfd = abfd->link.next)
1614 if (bfd_get_flavour (abfd) == bfd_target_elf_flavour)
1616 const char *audit_libs = elf_dt_audit (abfd);
1618 /* If the input bfd contains an audit entry, we need to add it as
1619 a dep audit entry. */
1620 if (audit_libs && *audit_libs != '\0')
1622 char *cp = xstrdup (audit_libs);
1625 int more = 0;
1626 char *cp2 = strchr (cp, config.rpath_separator);
1628 if (cp2)
1630 *cp2 = '\0';
1631 more = 1;
1634 if (cp != NULL && *cp != '\0')
1635 ldelf_append_to_separated_string (&depaudit, cp);
1637 cp = more ? ++cp2 : NULL;
1639 while (cp != NULL);
1643 if (! (bfd_elf_size_dynamic_sections
1644 (link_info.output_bfd, command_line.soname, rpath,
1645 command_line.filter_shlib, audit, depaudit,
1646 (const char * const *) command_line.auxiliary_filters,
1647 &link_info, &sinterp)))
1648 einfo (_("%F%P: failed to set dynamic section sizes: %E\n"));
1650 if (sinterp != NULL)
1652 /* Let the user override the dynamic linker we are using. */
1653 if (command_line.interpreter != NULL)
1654 default_interpreter_name = command_line.interpreter;
1655 if (default_interpreter_name != NULL)
1657 sinterp->contents = (bfd_byte *) default_interpreter_name;
1658 sinterp->size = strlen ((char *) sinterp->contents) + 1;
1662 /* Look for any sections named .gnu.warning. As a GNU extensions,
1663 we treat such sections as containing warning messages. We print
1664 out the warning message, and then zero out the section size so
1665 that it does not get copied into the output file. */
1668 LANG_FOR_EACH_INPUT_STATEMENT (is)
1670 asection *s;
1671 bfd_size_type sz;
1672 char *msg;
1674 if (is->flags.just_syms)
1675 continue;
1677 s = bfd_get_section_by_name (is->the_bfd, ".gnu.warning");
1678 if (s == NULL)
1679 continue;
1681 sz = s->size;
1682 msg = (char *) xmalloc ((size_t) (sz + 1));
1683 if (! bfd_get_section_contents (is->the_bfd, s, msg,
1684 (file_ptr) 0, sz))
1685 einfo (_("%F%P: %pB: can't read contents of section .gnu.warning: %E\n"),
1686 is->the_bfd);
1687 msg[sz] = '\0';
1688 (*link_info.callbacks->warning) (&link_info, msg,
1689 (const char *) NULL, is->the_bfd,
1690 (asection *) NULL, (bfd_vma) 0);
1691 free (msg);
1693 /* Clobber the section size, so that we don't waste space
1694 copying the warning into the output file. If we've already
1695 sized the output section, adjust its size. The adjustment
1696 is on rawsize because targets that size sections early will
1697 have called lang_reset_memory_regions after sizing. */
1698 if (s->output_section != NULL
1699 && s->output_section->rawsize >= s->size)
1700 s->output_section->rawsize -= s->size;
1702 s->size = 0;
1704 /* Also set SEC_EXCLUDE, so that local symbols defined in the
1705 warning section don't get copied to the output. */
1706 s->flags |= SEC_EXCLUDE | SEC_KEEP;
1710 before_allocation_default ();
1712 if (!bfd_elf_size_dynsym_hash_dynstr (link_info.output_bfd, &link_info))
1713 einfo (_("%F%P: failed to set dynamic section sizes: %E\n"));
1715 if (ehdr_start != NULL)
1717 /* If we twiddled __ehdr_start to defined earlier, put it back
1718 as it was. */
1719 ehdr_start->type = ehdr_start_save_type;
1720 memcpy ((char *) &ehdr_start->u + sizeof ehdr_start->u.def.next,
1721 ehdr_start_save_u,
1722 sizeof ehdr_start_save_u);
1725 /* Try to open a dynamic archive. This is where we know that ELF
1726 dynamic libraries have an extension of .so (or .sl on oddball systems
1727 like hpux). */
1729 bool
1730 ldelf_open_dynamic_archive (const char *arch, search_dirs_type *search,
1731 lang_input_statement_type *entry)
1733 const char *filename;
1734 char *string;
1735 size_t len;
1736 bool opened = false;
1738 if (! entry->flags.maybe_archive)
1739 return false;
1741 filename = entry->filename;
1742 len = strlen (search->name) + strlen (filename);
1743 if (entry->flags.full_name_provided)
1745 len += sizeof "/";
1746 string = (char *) xmalloc (len);
1747 sprintf (string, "%s/%s", search->name, filename);
1749 else
1751 size_t xlen = 0;
1753 len += strlen (arch) + sizeof "/lib.so";
1754 #ifdef EXTRA_SHLIB_EXTENSION
1755 xlen = (strlen (EXTRA_SHLIB_EXTENSION) > 3
1756 ? strlen (EXTRA_SHLIB_EXTENSION) - 3
1757 : 0);
1758 #endif
1759 string = (char *) xmalloc (len + xlen);
1760 sprintf (string, "%s/lib%s%s.so", search->name, filename, arch);
1761 #ifdef EXTRA_SHLIB_EXTENSION
1762 /* Try the .so extension first. If that fails build a new filename
1763 using EXTRA_SHLIB_EXTENSION. */
1764 opened = ldfile_try_open_bfd (string, entry);
1765 if (!opened)
1766 strcpy (string + len - 4, EXTRA_SHLIB_EXTENSION);
1767 #endif
1770 if (!opened && !ldfile_try_open_bfd (string, entry))
1772 free (string);
1773 return false;
1776 entry->filename = string;
1778 /* We have found a dynamic object to include in the link. The ELF
1779 backend linker will create a DT_NEEDED entry in the .dynamic
1780 section naming this file. If this file includes a DT_SONAME
1781 entry, it will be used. Otherwise, the ELF linker will just use
1782 the name of the file. For an archive found by searching, like
1783 this one, the DT_NEEDED entry should consist of just the name of
1784 the file, without the path information used to find it. Note
1785 that we only need to do this if we have a dynamic object; an
1786 archive will never be referenced by a DT_NEEDED entry.
1788 FIXME: This approach--using bfd_elf_set_dt_needed_name--is not
1789 very pretty. I haven't been able to think of anything that is
1790 pretty, though. */
1791 if (bfd_check_format (entry->the_bfd, bfd_object)
1792 && (entry->the_bfd->flags & DYNAMIC) != 0)
1794 ASSERT (entry->flags.maybe_archive && entry->flags.search_dirs);
1796 /* Rather than duplicating the logic above. Just use the
1797 filename we recorded earlier. */
1799 if (!entry->flags.full_name_provided)
1800 filename = lbasename (entry->filename);
1801 bfd_elf_set_dt_needed_name (entry->the_bfd, filename);
1804 return true;
1807 /* A variant of lang_output_section_find used by place_orphan. */
1809 static lang_output_section_statement_type *
1810 output_rel_find (int isdyn, int rela)
1812 lang_output_section_statement_type *lookup;
1813 lang_output_section_statement_type *last = NULL;
1814 lang_output_section_statement_type *last_alloc = NULL;
1815 lang_output_section_statement_type *last_ro_alloc = NULL;
1816 lang_output_section_statement_type *last_rel = NULL;
1817 lang_output_section_statement_type *last_rel_alloc = NULL;
1819 for (lookup = (void *) lang_os_list.head;
1820 lookup != NULL;
1821 lookup = lookup->next)
1823 if (lookup->constraint >= 0
1824 && startswith (lookup->name, ".rel"))
1826 int lookrela = lookup->name[4] == 'a';
1828 /* .rel.dyn must come before all other reloc sections, to suit
1829 GNU ld.so. */
1830 if (isdyn)
1831 break;
1833 /* Don't place after .rel.plt as doing so results in wrong
1834 dynamic tags. */
1835 if (strcmp (".plt", lookup->name + 4 + lookrela) == 0)
1836 break;
1838 if (rela == lookrela || last_rel == NULL)
1839 last_rel = lookup;
1840 if ((rela == lookrela || last_rel_alloc == NULL)
1841 && lookup->bfd_section != NULL
1842 && (lookup->bfd_section->flags & SEC_ALLOC) != 0)
1843 last_rel_alloc = lookup;
1846 last = lookup;
1847 if (lookup->bfd_section != NULL
1848 && (lookup->bfd_section->flags & SEC_ALLOC) != 0)
1850 last_alloc = lookup;
1851 if ((lookup->bfd_section->flags & SEC_READONLY) != 0)
1852 last_ro_alloc = lookup;
1856 if (last_rel_alloc)
1857 return last_rel_alloc;
1859 if (last_rel)
1860 return last_rel;
1862 if (last_ro_alloc)
1863 return last_ro_alloc;
1865 if (last_alloc)
1866 return last_alloc;
1868 return last;
1871 /* Return whether IN is suitable to be part of OUT. */
1873 static bool
1874 elf_orphan_compatible (asection *in, asection *out)
1876 /* Non-zero sh_info implies a section with SHF_INFO_LINK with
1877 unknown semantics for the generic linker, or a SHT_REL/SHT_RELA
1878 section where sh_info specifies a symbol table. (We won't see
1879 SHT_GROUP, SHT_SYMTAB or SHT_DYNSYM sections here.) We clearly
1880 can't merge SHT_REL/SHT_RELA using differing symbol tables, and
1881 shouldn't merge sections with differing unknown semantics. */
1882 if (elf_section_data (out)->this_hdr.sh_info
1883 != elf_section_data (in)->this_hdr.sh_info)
1884 return false;
1885 /* We can't merge with a member of an output section group or merge
1886 two sections with differing SHF_EXCLUDE or other processor and OS
1887 specific flags when doing a relocatable link. */
1888 if (bfd_link_relocatable (&link_info)
1889 && (elf_next_in_group (out) != NULL
1890 || ((elf_section_flags (out) ^ elf_section_flags (in))
1891 & (SHF_MASKPROC | SHF_MASKOS)) != 0))
1892 return false;
1893 return _bfd_elf_match_sections_by_type (link_info.output_bfd, out,
1894 in->owner, in);
1897 /* Place an orphan section. We use this to put random SHF_ALLOC
1898 sections in the right segment. */
1900 lang_output_section_statement_type *
1901 ldelf_place_orphan (asection *s, const char *secname, int constraint)
1903 static struct orphan_save hold[] =
1905 { ".text",
1906 SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE,
1907 0, 0, 0, 0 },
1908 { ".rodata",
1909 SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_DATA,
1910 0, 0, 0, 0 },
1911 { ".tdata",
1912 SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_DATA | SEC_THREAD_LOCAL,
1913 0, 0, 0, 0 },
1914 { ".data",
1915 SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_DATA,
1916 0, 0, 0, 0 },
1917 { ".bss",
1918 SEC_ALLOC,
1919 0, 0, 0, 0 },
1920 { 0,
1921 SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_DATA,
1922 0, 0, 0, 0 },
1923 { ".interp",
1924 SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_DATA,
1925 0, 0, 0, 0 },
1926 { ".sdata",
1927 SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_DATA | SEC_SMALL_DATA,
1928 0, 0, 0, 0 },
1929 { ".comment",
1930 SEC_HAS_CONTENTS,
1931 0, 0, 0, 0 },
1933 enum orphan_save_index
1935 orphan_text = 0,
1936 orphan_rodata,
1937 orphan_tdata,
1938 orphan_data,
1939 orphan_bss,
1940 orphan_rel,
1941 orphan_interp,
1942 orphan_sdata,
1943 orphan_nonalloc
1945 static int orphan_init_done = 0;
1946 struct orphan_save *place;
1947 lang_output_section_statement_type *after;
1948 lang_output_section_statement_type *os;
1949 lang_output_section_statement_type *match_by_name = NULL;
1950 int isdyn = 0;
1951 int elfinput = s->owner->xvec->flavour == bfd_target_elf_flavour;
1952 int elfoutput = link_info.output_bfd->xvec->flavour == bfd_target_elf_flavour;
1953 unsigned int sh_type = elfinput ? elf_section_type (s) : SHT_NULL;
1954 flagword flags;
1955 asection *nexts;
1957 if (!bfd_link_relocatable (&link_info)
1958 && link_info.combreloc
1959 && (s->flags & SEC_ALLOC))
1961 if (elfinput)
1962 switch (sh_type)
1964 case SHT_RELA:
1965 secname = ".rela.dyn";
1966 isdyn = 1;
1967 break;
1968 case SHT_REL:
1969 secname = ".rel.dyn";
1970 isdyn = 1;
1971 break;
1972 default:
1973 break;
1975 else if (startswith (secname, ".rel"))
1977 secname = secname[4] == 'a' ? ".rela.dyn" : ".rel.dyn";
1978 isdyn = 1;
1982 if (!bfd_link_relocatable (&link_info)
1983 && elfinput
1984 && elfoutput
1985 && (s->flags & SEC_ALLOC) != 0
1986 && (elf_tdata (s->owner)->has_gnu_osabi & elf_gnu_osabi_mbind) != 0
1987 && (elf_section_flags (s) & SHF_GNU_MBIND) != 0)
1989 /* Find the output mbind section with the same type, attributes
1990 and sh_info field. */
1991 for (os = (void *) lang_os_list.head;
1992 os != NULL;
1993 os = os->next)
1994 if (os->bfd_section != NULL
1995 && !bfd_is_abs_section (os->bfd_section)
1996 && (elf_section_flags (os->bfd_section) & SHF_GNU_MBIND) != 0
1997 && ((s->flags & (SEC_ALLOC
1998 | SEC_LOAD
1999 | SEC_HAS_CONTENTS
2000 | SEC_READONLY
2001 | SEC_CODE))
2002 == (os->bfd_section->flags & (SEC_ALLOC
2003 | SEC_LOAD
2004 | SEC_HAS_CONTENTS
2005 | SEC_READONLY
2006 | SEC_CODE)))
2007 && (elf_section_data (os->bfd_section)->this_hdr.sh_info
2008 == elf_section_data (s)->this_hdr.sh_info))
2010 lang_add_section (&os->children, s, NULL, NULL, os);
2011 return os;
2014 /* Create the output mbind section with the ".mbind." prefix
2015 in section name. */
2016 if ((s->flags & (SEC_LOAD | SEC_HAS_CONTENTS)) == 0)
2017 secname = ".mbind.bss";
2018 else if ((s->flags & SEC_READONLY) == 0)
2019 secname = ".mbind.data";
2020 else if ((s->flags & SEC_CODE) == 0)
2021 secname = ".mbind.rodata";
2022 else
2023 secname = ".mbind.text";
2024 elf_tdata (link_info.output_bfd)->has_gnu_osabi |= elf_gnu_osabi_mbind;
2027 /* Look through the script to see where to place this section. The
2028 script includes entries added by previous lang_insert_orphan
2029 calls, so this loop puts multiple compatible orphans of the same
2030 name into a single output section. */
2031 if (constraint == 0)
2032 for (os = lang_output_section_find (secname);
2033 os != NULL;
2034 os = next_matching_output_section_statement (os, 0))
2036 /* If we don't match an existing output section, tell
2037 lang_insert_orphan to create a new output section. */
2038 constraint = SPECIAL;
2040 /* Check to see if we already have an output section statement
2041 with this name, and its bfd section has compatible flags.
2042 If the section already exists but does not have any flags
2043 set, then it has been created by the linker, possibly as a
2044 result of a --section-start command line switch. */
2045 if (os->bfd_section != NULL
2046 && (os->bfd_section->flags == 0
2047 || (((s->flags ^ os->bfd_section->flags)
2048 & (SEC_LOAD | SEC_ALLOC)) == 0
2049 && (!elfinput
2050 || !elfoutput
2051 || elf_orphan_compatible (s, os->bfd_section)))))
2053 lang_add_section (&os->children, s, NULL, NULL, os);
2054 return os;
2057 /* Save unused output sections in case we can match them
2058 against orphans later. */
2059 if (os->bfd_section == NULL)
2060 match_by_name = os;
2063 /* If we didn't match an active output section, see if we matched an
2064 unused one and use that. */
2065 if (match_by_name)
2067 lang_add_section (&match_by_name->children, s, NULL, NULL, match_by_name);
2068 return match_by_name;
2071 if (!orphan_init_done)
2073 struct orphan_save *ho;
2075 for (ho = hold; ho < hold + sizeof (hold) / sizeof (hold[0]); ++ho)
2076 if (ho->name != NULL)
2078 ho->os = lang_output_section_find (ho->name);
2079 if (ho->os != NULL && ho->os->flags == 0)
2080 ho->os->flags = ho->flags;
2082 orphan_init_done = 1;
2085 /* If this is a final link, then always put .gnu.warning.SYMBOL
2086 sections into the .text section to get them out of the way. */
2087 if (bfd_link_executable (&link_info)
2088 && startswith (s->name, ".gnu.warning.")
2089 && hold[orphan_text].os != NULL)
2091 os = hold[orphan_text].os;
2092 lang_add_section (&os->children, s, NULL, NULL, os);
2093 return os;
2096 flags = s->flags;
2097 if (!bfd_link_relocatable (&link_info))
2099 nexts = s;
2100 while ((nexts = bfd_get_next_section_by_name (nexts->owner, nexts))
2101 != NULL)
2102 if (nexts->output_section == NULL
2103 && (nexts->flags & SEC_EXCLUDE) == 0
2104 && ((nexts->flags ^ flags) & (SEC_LOAD | SEC_ALLOC)) == 0
2105 && (nexts->owner->flags & DYNAMIC) == 0
2106 && !bfd_input_just_syms (nexts->owner)
2107 && _bfd_elf_match_sections_by_type (nexts->owner, nexts,
2108 s->owner, s))
2109 flags = (((flags ^ SEC_READONLY)
2110 | (nexts->flags ^ SEC_READONLY))
2111 ^ SEC_READONLY);
2114 /* Decide which segment the section should go in based on the
2115 section name and section flags. We put loadable .note sections
2116 right after the .interp section, so that the PT_NOTE segment is
2117 stored right after the program headers where the OS can read it
2118 in the first page. */
2120 place = NULL;
2121 if ((flags & (SEC_ALLOC | SEC_DEBUGGING)) == 0)
2122 place = &hold[orphan_nonalloc];
2123 else if ((flags & SEC_ALLOC) == 0)
2125 else if ((flags & SEC_LOAD) != 0
2126 && (elfinput
2127 ? sh_type == SHT_NOTE
2128 : startswith (secname, ".note")))
2129 place = &hold[orphan_interp];
2130 else if ((flags & (SEC_LOAD | SEC_HAS_CONTENTS | SEC_THREAD_LOCAL)) == 0)
2131 place = &hold[orphan_bss];
2132 else if ((flags & SEC_SMALL_DATA) != 0)
2133 place = &hold[orphan_sdata];
2134 else if ((flags & SEC_THREAD_LOCAL) != 0)
2135 place = &hold[orphan_tdata];
2136 else if ((flags & SEC_READONLY) == 0)
2137 place = &hold[orphan_data];
2138 else if ((flags & SEC_LOAD) != 0
2139 && (elfinput
2140 ? sh_type == SHT_RELA || sh_type == SHT_REL
2141 : startswith (secname, ".rel")))
2142 place = &hold[orphan_rel];
2143 else if ((flags & SEC_CODE) == 0)
2144 place = &hold[orphan_rodata];
2145 else
2146 place = &hold[orphan_text];
2148 after = NULL;
2149 if (place != NULL)
2151 if (place->os == NULL)
2153 if (place->name != NULL)
2154 place->os = lang_output_section_find (place->name);
2155 else
2157 int rela = elfinput ? sh_type == SHT_RELA : secname[4] == 'a';
2158 place->os = output_rel_find (isdyn, rela);
2161 after = place->os;
2162 if (after == NULL)
2163 after
2164 = lang_output_section_find_by_flags (s, flags, &place->os,
2165 _bfd_elf_match_sections_by_type);
2166 if (after == NULL)
2167 /* *ABS* is always the first output section statement. */
2168 after = (void *) lang_os_list.head;
2171 return lang_insert_orphan (s, secname, constraint, after, place, NULL, NULL);
2174 void
2175 ldelf_before_place_orphans (void)
2177 bfd *abfd;
2179 for (abfd = link_info.input_bfds;
2180 abfd != (bfd *) NULL; abfd = abfd->link.next)
2181 if (bfd_get_flavour (abfd) == bfd_target_elf_flavour
2182 && bfd_count_sections (abfd) != 0
2183 && !bfd_input_just_syms (abfd))
2185 asection *isec;
2186 for (isec = abfd->sections; isec != NULL; isec = isec->next)
2188 /* Discard a section if any of its linked-to section has
2189 been discarded. */
2190 asection *linked_to_sec;
2191 for (linked_to_sec = elf_linked_to_section (isec);
2192 linked_to_sec != NULL && !linked_to_sec->linker_mark;
2193 linked_to_sec = elf_linked_to_section (linked_to_sec))
2195 if (discarded_section (linked_to_sec))
2197 isec->output_section = bfd_abs_section_ptr;
2198 isec->flags |= SEC_EXCLUDE;
2199 break;
2201 linked_to_sec->linker_mark = 1;
2203 for (linked_to_sec = elf_linked_to_section (isec);
2204 linked_to_sec != NULL && linked_to_sec->linker_mark;
2205 linked_to_sec = elf_linked_to_section (linked_to_sec))
2206 linked_to_sec->linker_mark = 0;
2211 void
2212 ldelf_set_output_arch (void)
2214 set_output_arch_default ();
2215 if (link_info.output_bfd->xvec->flavour == bfd_target_elf_flavour)
2216 elf_link_info (link_info.output_bfd) = &link_info;