change and rename gmp_string_asprintf to return an std::string
[binutils-gdb.git] / ld / ldelf.c
blob5cfddef39b3d22aff90fac9e9c0acbbad4930024
1 /* ELF emulation code for targets using elf.em.
2 Copyright (C) 1991-2020 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 bfd_boolean 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 bfd_boolean
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 bfd_boolean
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 (CONST_STRNEQ (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 bfd_boolean
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 bfd_boolean
691 ldelf_check_ld_elf_hints (const struct bfd_link_needed_list *l, int force,
692 int elfsize)
694 static bfd_boolean 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 bfd_boolean
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 bfd_boolean
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 (CONST_STRNEQ (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 bfd_boolean
900 ldelf_check_ld_so_conf (const struct bfd_link_needed_list *l, int force,
901 int elfsize, const char *prefix)
903 static bfd_boolean 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))
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 && elf_tdata (abfd)->elf_header != NULL
1050 /* FIXME: Maybe check for other non-supportable types as well ? */
1051 && elf_tdata (abfd)->elf_header->e_type == ET_EXEC)
1052 einfo (_("%F%P: cannot use executable file '%pB' as input to a link\n"),
1053 abfd);
1056 if (bfd_link_relocatable (&link_info))
1058 if (link_info.execstack == !link_info.noexecstack)
1060 /* PR ld/16744: If "-z [no]execstack" has been specified on the
1061 command line and we are perfoming a relocatable link then no
1062 PT_GNU_STACK segment will be created and so the
1063 linkinfo.[no]execstack values set in _handle_option() will have no
1064 effect. Instead we create a .note.GNU-stack section in much the
1065 same way as the assembler does with its --[no]execstack option. */
1066 flagword flags = SEC_READONLY | (link_info.execstack ? SEC_CODE : 0);
1067 (void) bfd_make_section_with_flags (link_info.input_bfds,
1068 ".note.GNU-stack", flags);
1070 return;
1073 if (!link_info.traditional_format)
1075 bfd *elfbfd = NULL;
1076 bfd_boolean warn_eh_frame = FALSE;
1077 int seen_type = 0;
1079 for (abfd = link_info.input_bfds; abfd; abfd = abfd->link.next)
1081 int type = 0;
1083 if (bfd_input_just_syms (abfd))
1084 continue;
1086 for (s = abfd->sections; s && type < COMPACT_EH_HDR; s = s->next)
1088 const char *name = bfd_section_name (s);
1090 if (bfd_is_abs_section (s->output_section))
1091 continue;
1092 if (CONST_STRNEQ (name, ".eh_frame_entry"))
1093 type = COMPACT_EH_HDR;
1094 else if (strcmp (name, ".eh_frame") == 0 && s->size > 8)
1095 type = DWARF2_EH_HDR;
1098 if (type != 0)
1100 if (seen_type == 0)
1102 seen_type = type;
1104 else if (seen_type != type)
1106 einfo (_("%F%P: compact frame descriptions incompatible with"
1107 " DWARF2 .eh_frame from %pB\n"),
1108 type == DWARF2_EH_HDR ? abfd : elfbfd);
1109 break;
1112 if (!elfbfd
1113 && (type == COMPACT_EH_HDR
1114 || link_info.eh_frame_hdr_type != 0))
1116 if (bfd_get_flavour (abfd) == bfd_target_elf_flavour)
1117 elfbfd = abfd;
1119 warn_eh_frame = TRUE;
1123 if (seen_type == COMPACT_EH_HDR)
1124 link_info.eh_frame_hdr_type = COMPACT_EH_HDR;
1126 if (elfbfd)
1128 const struct elf_backend_data *bed;
1130 bed = get_elf_backend_data (elfbfd);
1131 s = bfd_make_section_with_flags (elfbfd, ".eh_frame_hdr",
1132 bed->dynamic_sec_flags
1133 | SEC_READONLY);
1134 if (s != NULL
1135 && bfd_set_section_alignment (s, 2))
1137 htab->eh_info.hdr_sec = s;
1138 warn_eh_frame = FALSE;
1141 if (warn_eh_frame)
1142 einfo (_("%P: warning: cannot create .eh_frame_hdr section,"
1143 " --eh-frame-hdr ignored\n"));
1146 /* Get the list of files which appear in DT_NEEDED entries in
1147 dynamic objects included in the link (often there will be none).
1148 For each such file, we want to track down the corresponding
1149 library, and include the symbol table in the link. This is what
1150 the runtime dynamic linker will do. Tracking the files down here
1151 permits one dynamic object to include another without requiring
1152 special action by the person doing the link. Note that the
1153 needed list can actually grow while we are stepping through this
1154 loop. */
1155 save_input_bfd_tail = link_info.input_bfds_tail;
1156 needed = bfd_elf_get_needed_list (link_info.output_bfd, &link_info);
1157 for (l = needed; l != NULL; l = l->next)
1159 struct bfd_link_needed_list *ll;
1160 struct dt_needed n, nn;
1161 int force;
1163 /* If the lib that needs this one was --as-needed and wasn't
1164 found to be needed, then this lib isn't needed either. */
1165 if (l->by != NULL
1166 && (bfd_elf_get_dyn_lib_class (l->by) & DYN_AS_NEEDED) != 0)
1167 continue;
1169 /* Skip the lib if --no-copy-dt-needed-entries and
1170 --allow-shlib-undefined is in effect. */
1171 if (l->by != NULL
1172 && link_info.unresolved_syms_in_shared_libs == RM_IGNORE
1173 && (bfd_elf_get_dyn_lib_class (l->by) & DYN_NO_ADD_NEEDED) != 0)
1174 continue;
1176 /* If we've already seen this file, skip it. */
1177 for (ll = needed; ll != l; ll = ll->next)
1178 if ((ll->by == NULL
1179 || (bfd_elf_get_dyn_lib_class (ll->by) & DYN_AS_NEEDED) == 0)
1180 && strcmp (ll->name, l->name) == 0)
1181 break;
1182 if (ll != l)
1183 continue;
1185 /* See if this file was included in the link explicitly. */
1186 global_needed = l;
1187 global_found = NULL;
1188 lang_for_each_input_file (ldelf_check_needed);
1189 if (global_found != NULL
1190 && (bfd_elf_get_dyn_lib_class (global_found->the_bfd)
1191 & DYN_AS_NEEDED) == 0)
1192 continue;
1194 n.by = l->by;
1195 n.name = l->name;
1196 nn.by = l->by;
1197 if (verbose)
1198 info_msg (_("%s needed by %pB\n"), l->name, l->by);
1200 /* As-needed libs specified on the command line (or linker script)
1201 take priority over libs found in search dirs. */
1202 if (global_found != NULL)
1204 nn.name = global_found->filename;
1205 if (ldelf_try_needed (&nn, TRUE, is_linux))
1206 continue;
1209 /* We need to find this file and include the symbol table. We
1210 want to search for the file in the same way that the dynamic
1211 linker will search. That means that we want to use
1212 rpath_link, rpath, then the environment variable
1213 LD_LIBRARY_PATH (native only), then the DT_RPATH/DT_RUNPATH
1214 entries (native only), then the linker script LIB_SEARCH_DIRS.
1215 We do not search using the -L arguments.
1217 We search twice. The first time, we skip objects which may
1218 introduce version mismatches. The second time, we force
1219 their use. See ldelf_vercheck comment. */
1220 for (force = 0; force < 2; force++)
1222 size_t len;
1223 search_dirs_type *search;
1224 const char *path;
1225 struct bfd_link_needed_list *rp;
1226 int found;
1228 if (ldelf_search_needed (command_line.rpath_link, &n, force,
1229 is_linux, elfsize))
1230 break;
1232 if (use_libpath)
1234 path = command_line.rpath;
1235 if (path)
1237 path = ldelf_add_sysroot (path);
1238 found = ldelf_search_needed (path, &n, force,
1239 is_linux, elfsize);
1240 free ((char *) path);
1241 if (found)
1242 break;
1245 if (native)
1247 if (command_line.rpath_link == NULL
1248 && command_line.rpath == NULL)
1250 path = (const char *) getenv ("LD_RUN_PATH");
1251 if (path
1252 && ldelf_search_needed (path, &n, force,
1253 is_linux, elfsize))
1254 break;
1256 path = (const char *) getenv ("LD_LIBRARY_PATH");
1257 if (path
1258 && ldelf_search_needed (path, &n, force,
1259 is_linux, elfsize))
1260 break;
1262 if (use_libpath)
1264 found = 0;
1265 rp = bfd_elf_get_runpath_list (link_info.output_bfd, &link_info);
1266 for (; !found && rp != NULL; rp = rp->next)
1268 path = ldelf_add_sysroot (rp->name);
1269 found = (rp->by == l->by
1270 && ldelf_search_needed (path, &n, force,
1271 is_linux, elfsize));
1272 free ((char *) path);
1274 if (found)
1275 break;
1277 if (is_freebsd
1278 && ldelf_check_ld_elf_hints (l, force, elfsize))
1279 break;
1281 if (is_linux
1282 && ldelf_check_ld_so_conf (l, force, elfsize, prefix))
1283 break;
1286 len = strlen (l->name);
1287 for (search = search_head; search != NULL; search = search->next)
1289 char *filename;
1291 if (search->cmdline)
1292 continue;
1293 filename = (char *) xmalloc (strlen (search->name) + len + 2);
1294 sprintf (filename, "%s/%s", search->name, l->name);
1295 nn.name = filename;
1296 if (ldelf_try_needed (&nn, force, is_linux))
1297 break;
1298 free (filename);
1300 if (search != NULL)
1301 break;
1304 if (force < 2)
1305 continue;
1307 einfo (_("%P: warning: %s, needed by %pB, not found "
1308 "(try using -rpath or -rpath-link)\n"),
1309 l->name, l->by);
1312 for (abfd = link_info.input_bfds; abfd; abfd = abfd->link.next)
1313 if (bfd_get_format (abfd) == bfd_object
1314 && ((abfd->flags) & DYNAMIC) != 0
1315 && bfd_get_flavour (abfd) == bfd_target_elf_flavour
1316 && (elf_dyn_lib_class (abfd) & (DYN_AS_NEEDED | DYN_NO_NEEDED)) == 0
1317 && elf_dt_name (abfd) != NULL)
1319 if (bfd_elf_add_dt_needed_tag (abfd, &link_info) < 0)
1320 einfo (_("%F%P: failed to add DT_NEEDED dynamic tag\n"));
1323 link_info.input_bfds_tail = save_input_bfd_tail;
1324 *save_input_bfd_tail = NULL;
1326 if (link_info.eh_frame_hdr_type == COMPACT_EH_HDR)
1327 if (!bfd_elf_parse_eh_frame_entries (NULL, &link_info))
1328 einfo (_("%F%P: failed to parse EH frame entries\n"));
1331 static bfd_size_type
1332 id_note_section_size (bfd *abfd ATTRIBUTE_UNUSED)
1334 const char *style = ldelf_emit_note_gnu_build_id;
1335 bfd_size_type size;
1336 bfd_size_type build_id_size;
1338 size = offsetof (Elf_External_Note, name[sizeof "GNU"]);
1339 size = (size + 3) & -(bfd_size_type) 4;
1341 build_id_size = compute_build_id_size (style);
1342 if (build_id_size)
1343 size += build_id_size;
1344 else
1345 size = 0;
1347 return size;
1350 static bfd_boolean
1351 write_build_id (bfd *abfd)
1353 const struct elf_backend_data *bed = get_elf_backend_data (abfd);
1354 struct elf_obj_tdata *t = elf_tdata (abfd);
1355 const char *style;
1356 asection *asec;
1357 Elf_Internal_Shdr *i_shdr;
1358 unsigned char *contents, *id_bits;
1359 bfd_size_type size;
1360 file_ptr position;
1361 Elf_External_Note *e_note;
1363 style = t->o->build_id.style;
1364 asec = t->o->build_id.sec;
1365 if (bfd_is_abs_section (asec->output_section))
1367 einfo (_("%P: warning: .note.gnu.build-id section discarded,"
1368 " --build-id ignored\n"));
1369 return TRUE;
1371 i_shdr = &elf_section_data (asec->output_section)->this_hdr;
1373 if (i_shdr->contents == NULL)
1375 if (asec->contents == NULL)
1376 asec->contents = (unsigned char *) xmalloc (asec->size);
1377 contents = asec->contents;
1379 else
1380 contents = i_shdr->contents + asec->output_offset;
1382 e_note = (Elf_External_Note *) contents;
1383 size = offsetof (Elf_External_Note, name[sizeof "GNU"]);
1384 size = (size + 3) & -(bfd_size_type) 4;
1385 id_bits = contents + size;
1386 size = asec->size - size;
1388 bfd_h_put_32 (abfd, sizeof "GNU", &e_note->namesz);
1389 bfd_h_put_32 (abfd, size, &e_note->descsz);
1390 bfd_h_put_32 (abfd, NT_GNU_BUILD_ID, &e_note->type);
1391 memcpy (e_note->name, "GNU", sizeof "GNU");
1393 generate_build_id (abfd, style, bed->s->checksum_contents, id_bits, size);
1395 position = i_shdr->sh_offset + asec->output_offset;
1396 size = asec->size;
1397 return (bfd_seek (abfd, position, SEEK_SET) == 0
1398 && bfd_bwrite (contents, size, abfd) == size);
1401 /* Make .note.gnu.build-id section, and set up elf_tdata->build_id. */
1403 bfd_boolean
1404 ldelf_setup_build_id (bfd *ibfd)
1406 asection *s;
1407 bfd_size_type size;
1408 flagword flags;
1410 size = id_note_section_size (ibfd);
1411 if (size == 0)
1413 einfo (_("%P: warning: unrecognized --build-id style ignored\n"));
1414 return FALSE;
1417 flags = (SEC_ALLOC | SEC_LOAD | SEC_IN_MEMORY
1418 | SEC_LINKER_CREATED | SEC_READONLY | SEC_DATA);
1419 s = bfd_make_section_with_flags (ibfd, ".note.gnu.build-id", flags);
1420 if (s != NULL && bfd_set_section_alignment (s, 2))
1422 struct elf_obj_tdata *t = elf_tdata (link_info.output_bfd);
1423 t->o->build_id.after_write_object_contents = &write_build_id;
1424 t->o->build_id.style = ldelf_emit_note_gnu_build_id;
1425 t->o->build_id.sec = s;
1426 elf_section_type (s) = SHT_NOTE;
1427 s->size = size;
1428 return TRUE;
1431 einfo (_("%P: warning: cannot create .note.gnu.build-id section,"
1432 " --build-id ignored\n"));
1433 return FALSE;
1436 /* Look through an expression for an assignment statement. */
1438 static void
1439 ldelf_find_exp_assignment (etree_type *exp)
1441 bfd_boolean provide = FALSE;
1443 switch (exp->type.node_class)
1445 case etree_provide:
1446 case etree_provided:
1447 provide = TRUE;
1448 /* Fallthru */
1449 case etree_assign:
1450 /* We call record_link_assignment even if the symbol is defined.
1451 This is because if it is defined by a dynamic object, we
1452 actually want to use the value defined by the linker script,
1453 not the value from the dynamic object (because we are setting
1454 symbols like etext). If the symbol is defined by a regular
1455 object, then, as it happens, calling record_link_assignment
1456 will do no harm. */
1457 if (strcmp (exp->assign.dst, ".") != 0)
1459 if (!bfd_elf_record_link_assignment (link_info.output_bfd,
1460 &link_info,
1461 exp->assign.dst, provide,
1462 exp->assign.hidden))
1463 einfo (_("%F%P: failed to record assignment to %s: %E\n"),
1464 exp->assign.dst);
1466 ldelf_find_exp_assignment (exp->assign.src);
1467 break;
1469 case etree_binary:
1470 ldelf_find_exp_assignment (exp->binary.lhs);
1471 ldelf_find_exp_assignment (exp->binary.rhs);
1472 break;
1474 case etree_trinary:
1475 ldelf_find_exp_assignment (exp->trinary.cond);
1476 ldelf_find_exp_assignment (exp->trinary.lhs);
1477 ldelf_find_exp_assignment (exp->trinary.rhs);
1478 break;
1480 case etree_unary:
1481 ldelf_find_exp_assignment (exp->unary.child);
1482 break;
1484 default:
1485 break;
1489 /* This is called by the before_allocation routine via
1490 lang_for_each_statement. It locates any assignment statements, and
1491 tells the ELF backend about them, in case they are assignments to
1492 symbols which are referred to by dynamic objects. */
1494 static void
1495 ldelf_find_statement_assignment (lang_statement_union_type *s)
1497 if (s->header.type == lang_assignment_statement_enum)
1498 ldelf_find_exp_assignment (s->assignment_statement.exp);
1501 /* Used by before_allocation and handle_option. */
1503 void
1504 ldelf_append_to_separated_string (char **to, char *op_arg)
1506 if (*to == NULL)
1507 *to = xstrdup (op_arg);
1508 else
1510 size_t to_len = strlen (*to);
1511 size_t op_arg_len = strlen (op_arg);
1512 char *buf;
1513 char *cp = *to;
1515 /* First see whether OPTARG is already in the path. */
1518 if (strncmp (op_arg, cp, op_arg_len) == 0
1519 && (cp[op_arg_len] == 0
1520 || cp[op_arg_len] == config.rpath_separator))
1521 /* We found it. */
1522 break;
1524 /* Not yet found. */
1525 cp = strchr (cp, config.rpath_separator);
1526 if (cp != NULL)
1527 ++cp;
1529 while (cp != NULL);
1531 if (cp == NULL)
1533 buf = xmalloc (to_len + op_arg_len + 2);
1534 sprintf (buf, "%s%c%s", *to,
1535 config.rpath_separator, op_arg);
1536 free (*to);
1537 *to = buf;
1542 /* This is called after the sections have been attached to output
1543 sections, but before any sizes or addresses have been set. */
1545 void
1546 ldelf_before_allocation (char *audit, char *depaudit,
1547 const char *default_interpreter_name)
1549 const char *rpath;
1550 asection *sinterp;
1551 bfd *abfd;
1552 struct bfd_link_hash_entry *ehdr_start = NULL;
1553 unsigned char ehdr_start_save_type = 0;
1554 char ehdr_start_save_u[sizeof ehdr_start->u
1555 - sizeof ehdr_start->u.def.next] = "";
1557 if (is_elf_hash_table (link_info.hash))
1559 _bfd_elf_tls_setup (link_info.output_bfd, &link_info);
1561 /* Make __ehdr_start hidden if it has been referenced, to
1562 prevent the symbol from being dynamic. */
1563 if (!bfd_link_relocatable (&link_info))
1565 struct elf_link_hash_table *htab = elf_hash_table (&link_info);
1566 struct elf_link_hash_entry *h
1567 = elf_link_hash_lookup (htab, "__ehdr_start", FALSE, FALSE, TRUE);
1569 /* Only adjust the export class if the symbol was referenced
1570 and not defined, otherwise leave it alone. */
1571 if (h != NULL
1572 && (h->root.type == bfd_link_hash_new
1573 || h->root.type == bfd_link_hash_undefined
1574 || h->root.type == bfd_link_hash_undefweak
1575 || h->root.type == bfd_link_hash_common))
1577 const struct elf_backend_data *bed;
1578 bed = get_elf_backend_data (link_info.output_bfd);
1579 (*bed->elf_backend_hide_symbol) (&link_info, h, TRUE);
1580 if (ELF_ST_VISIBILITY (h->other) != STV_INTERNAL)
1581 h->other = (h->other & ~ELF_ST_VISIBILITY (-1)) | STV_HIDDEN;
1582 /* Don't leave the symbol undefined. Undefined hidden
1583 symbols typically won't have dynamic relocations, but
1584 we most likely will need dynamic relocations for
1585 __ehdr_start if we are building a PIE or shared
1586 library. */
1587 ehdr_start = &h->root;
1588 ehdr_start_save_type = ehdr_start->type;
1589 memcpy (ehdr_start_save_u,
1590 (char *) &ehdr_start->u + sizeof ehdr_start->u.def.next,
1591 sizeof ehdr_start_save_u);
1592 ehdr_start->type = bfd_link_hash_defined;
1593 /* It will be converted to section-relative later. */
1594 ehdr_start->rel_from_abs = 1;
1595 ehdr_start->u.def.section = bfd_abs_section_ptr;
1596 ehdr_start->u.def.value = 0;
1600 /* If we are going to make any variable assignments, we need to
1601 let the ELF backend know about them in case the variables are
1602 referred to by dynamic objects. */
1603 lang_for_each_statement (ldelf_find_statement_assignment);
1606 /* Let the ELF backend work out the sizes of any sections required
1607 by dynamic linking. */
1608 rpath = command_line.rpath;
1609 if (rpath == NULL)
1610 rpath = (const char *) getenv ("LD_RUN_PATH");
1612 for (abfd = link_info.input_bfds; abfd; abfd = abfd->link.next)
1613 if (bfd_get_flavour (abfd) == bfd_target_elf_flavour)
1615 const char *audit_libs = elf_dt_audit (abfd);
1617 /* If the input bfd contains an audit entry, we need to add it as
1618 a dep audit entry. */
1619 if (audit_libs && *audit_libs != '\0')
1621 char *cp = xstrdup (audit_libs);
1624 int more = 0;
1625 char *cp2 = strchr (cp, config.rpath_separator);
1627 if (cp2)
1629 *cp2 = '\0';
1630 more = 1;
1633 if (cp != NULL && *cp != '\0')
1634 ldelf_append_to_separated_string (&depaudit, cp);
1636 cp = more ? ++cp2 : NULL;
1638 while (cp != NULL);
1642 if (! (bfd_elf_size_dynamic_sections
1643 (link_info.output_bfd, command_line.soname, rpath,
1644 command_line.filter_shlib, audit, depaudit,
1645 (const char * const *) command_line.auxiliary_filters,
1646 &link_info, &sinterp)))
1647 einfo (_("%F%P: failed to set dynamic section sizes: %E\n"));
1649 if (sinterp != NULL)
1651 /* Let the user override the dynamic linker we are using. */
1652 if (command_line.interpreter != NULL)
1653 default_interpreter_name = command_line.interpreter;
1654 if (default_interpreter_name != NULL)
1656 sinterp->contents = (bfd_byte *) default_interpreter_name;
1657 sinterp->size = strlen ((char *) sinterp->contents) + 1;
1661 /* Look for any sections named .gnu.warning. As a GNU extensions,
1662 we treat such sections as containing warning messages. We print
1663 out the warning message, and then zero out the section size so
1664 that it does not get copied into the output file. */
1667 LANG_FOR_EACH_INPUT_STATEMENT (is)
1669 asection *s;
1670 bfd_size_type sz;
1671 char *msg;
1673 if (is->flags.just_syms)
1674 continue;
1676 s = bfd_get_section_by_name (is->the_bfd, ".gnu.warning");
1677 if (s == NULL)
1678 continue;
1680 sz = s->size;
1681 msg = (char *) xmalloc ((size_t) (sz + 1));
1682 if (! bfd_get_section_contents (is->the_bfd, s, msg,
1683 (file_ptr) 0, sz))
1684 einfo (_("%F%P: %pB: can't read contents of section .gnu.warning: %E\n"),
1685 is->the_bfd);
1686 msg[sz] = '\0';
1687 (*link_info.callbacks->warning) (&link_info, msg,
1688 (const char *) NULL, is->the_bfd,
1689 (asection *) NULL, (bfd_vma) 0);
1690 free (msg);
1692 /* Clobber the section size, so that we don't waste space
1693 copying the warning into the output file. If we've already
1694 sized the output section, adjust its size. The adjustment
1695 is on rawsize because targets that size sections early will
1696 have called lang_reset_memory_regions after sizing. */
1697 if (s->output_section != NULL
1698 && s->output_section->rawsize >= s->size)
1699 s->output_section->rawsize -= s->size;
1701 s->size = 0;
1703 /* Also set SEC_EXCLUDE, so that local symbols defined in the
1704 warning section don't get copied to the output. */
1705 s->flags |= SEC_EXCLUDE | SEC_KEEP;
1709 before_allocation_default ();
1711 if (!bfd_elf_size_dynsym_hash_dynstr (link_info.output_bfd, &link_info))
1712 einfo (_("%F%P: failed to set dynamic section sizes: %E\n"));
1714 if (ehdr_start != NULL)
1716 /* If we twiddled __ehdr_start to defined earlier, put it back
1717 as it was. */
1718 ehdr_start->type = ehdr_start_save_type;
1719 memcpy ((char *) &ehdr_start->u + sizeof ehdr_start->u.def.next,
1720 ehdr_start_save_u,
1721 sizeof ehdr_start_save_u);
1724 /* Try to open a dynamic archive. This is where we know that ELF
1725 dynamic libraries have an extension of .so (or .sl on oddball systems
1726 like hpux). */
1728 bfd_boolean
1729 ldelf_open_dynamic_archive (const char *arch, search_dirs_type *search,
1730 lang_input_statement_type *entry)
1732 const char *filename;
1733 char *string;
1734 size_t len;
1735 bfd_boolean opened = FALSE;
1737 if (! entry->flags.maybe_archive)
1738 return FALSE;
1740 filename = entry->filename;
1741 len = strlen (search->name) + strlen (filename);
1742 if (entry->flags.full_name_provided)
1744 len += sizeof "/";
1745 string = (char *) xmalloc (len);
1746 sprintf (string, "%s/%s", search->name, filename);
1748 else
1750 size_t xlen = 0;
1752 len += strlen (arch) + sizeof "/lib.so";
1753 #ifdef EXTRA_SHLIB_EXTENSION
1754 xlen = (strlen (EXTRA_SHLIB_EXTENSION) > 3
1755 ? strlen (EXTRA_SHLIB_EXTENSION) - 3
1756 : 0);
1757 #endif
1758 string = (char *) xmalloc (len + xlen);
1759 sprintf (string, "%s/lib%s%s.so", search->name, filename, arch);
1760 #ifdef EXTRA_SHLIB_EXTENSION
1761 /* Try the .so extension first. If that fails build a new filename
1762 using EXTRA_SHLIB_EXTENSION. */
1763 opened = ldfile_try_open_bfd (string, entry);
1764 if (!opened)
1765 strcpy (string + len - 4, EXTRA_SHLIB_EXTENSION);
1766 #endif
1769 if (!opened && !ldfile_try_open_bfd (string, entry))
1771 free (string);
1772 return FALSE;
1775 entry->filename = string;
1777 /* We have found a dynamic object to include in the link. The ELF
1778 backend linker will create a DT_NEEDED entry in the .dynamic
1779 section naming this file. If this file includes a DT_SONAME
1780 entry, it will be used. Otherwise, the ELF linker will just use
1781 the name of the file. For an archive found by searching, like
1782 this one, the DT_NEEDED entry should consist of just the name of
1783 the file, without the path information used to find it. Note
1784 that we only need to do this if we have a dynamic object; an
1785 archive will never be referenced by a DT_NEEDED entry.
1787 FIXME: This approach--using bfd_elf_set_dt_needed_name--is not
1788 very pretty. I haven't been able to think of anything that is
1789 pretty, though. */
1790 if (bfd_check_format (entry->the_bfd, bfd_object)
1791 && (entry->the_bfd->flags & DYNAMIC) != 0)
1793 ASSERT (entry->flags.maybe_archive && entry->flags.search_dirs);
1795 /* Rather than duplicating the logic above. Just use the
1796 filename we recorded earlier. */
1798 if (!entry->flags.full_name_provided)
1799 filename = lbasename (entry->filename);
1800 bfd_elf_set_dt_needed_name (entry->the_bfd, filename);
1803 return TRUE;
1806 /* A variant of lang_output_section_find used by place_orphan. */
1808 static lang_output_section_statement_type *
1809 output_rel_find (int isdyn, int rela)
1811 lang_output_section_statement_type *lookup;
1812 lang_output_section_statement_type *last = NULL;
1813 lang_output_section_statement_type *last_alloc = NULL;
1814 lang_output_section_statement_type *last_ro_alloc = NULL;
1815 lang_output_section_statement_type *last_rel = NULL;
1816 lang_output_section_statement_type *last_rel_alloc = NULL;
1818 for (lookup = (void *) lang_os_list.head;
1819 lookup != NULL;
1820 lookup = lookup->next)
1822 if (lookup->constraint >= 0
1823 && CONST_STRNEQ (lookup->name, ".rel"))
1825 int lookrela = lookup->name[4] == 'a';
1827 /* .rel.dyn must come before all other reloc sections, to suit
1828 GNU ld.so. */
1829 if (isdyn)
1830 break;
1832 /* Don't place after .rel.plt as doing so results in wrong
1833 dynamic tags. */
1834 if (strcmp (".plt", lookup->name + 4 + lookrela) == 0)
1835 break;
1837 if (rela == lookrela || last_rel == NULL)
1838 last_rel = lookup;
1839 if ((rela == lookrela || last_rel_alloc == NULL)
1840 && lookup->bfd_section != NULL
1841 && (lookup->bfd_section->flags & SEC_ALLOC) != 0)
1842 last_rel_alloc = lookup;
1845 last = lookup;
1846 if (lookup->bfd_section != NULL
1847 && (lookup->bfd_section->flags & SEC_ALLOC) != 0)
1849 last_alloc = lookup;
1850 if ((lookup->bfd_section->flags & SEC_READONLY) != 0)
1851 last_ro_alloc = lookup;
1855 if (last_rel_alloc)
1856 return last_rel_alloc;
1858 if (last_rel)
1859 return last_rel;
1861 if (last_ro_alloc)
1862 return last_ro_alloc;
1864 if (last_alloc)
1865 return last_alloc;
1867 return last;
1870 /* Return whether IN is suitable to be part of OUT. */
1872 static bfd_boolean
1873 elf_orphan_compatible (asection *in, asection *out)
1875 /* Non-zero sh_info implies a section with SHF_INFO_LINK with
1876 unknown semantics for the generic linker, or a SHT_REL/SHT_RELA
1877 section where sh_info specifies a symbol table. (We won't see
1878 SHT_GROUP, SHT_SYMTAB or SHT_DYNSYM sections here.) We clearly
1879 can't merge SHT_REL/SHT_RELA using differing symbol tables, and
1880 shouldn't merge sections with differing unknown semantics. */
1881 if (elf_section_data (out)->this_hdr.sh_info
1882 != elf_section_data (in)->this_hdr.sh_info)
1883 return FALSE;
1884 /* We can't merge with a member of an output section group or merge
1885 two sections with differing SHF_EXCLUDE or other processor and OS
1886 specific flags when doing a relocatable link. */
1887 if (bfd_link_relocatable (&link_info)
1888 && (elf_next_in_group (out) != NULL
1889 || ((elf_section_flags (out) ^ elf_section_flags (in))
1890 & (SHF_MASKPROC | SHF_MASKOS)) != 0))
1891 return FALSE;
1892 return _bfd_elf_match_sections_by_type (link_info.output_bfd, out,
1893 in->owner, in);
1896 /* Place an orphan section. We use this to put random SHF_ALLOC
1897 sections in the right segment. */
1899 lang_output_section_statement_type *
1900 ldelf_place_orphan (asection *s, const char *secname, int constraint)
1902 static struct orphan_save hold[] =
1904 { ".text",
1905 SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE,
1906 0, 0, 0, 0 },
1907 { ".rodata",
1908 SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_DATA,
1909 0, 0, 0, 0 },
1910 { ".tdata",
1911 SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_DATA | SEC_THREAD_LOCAL,
1912 0, 0, 0, 0 },
1913 { ".data",
1914 SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_DATA,
1915 0, 0, 0, 0 },
1916 { ".bss",
1917 SEC_ALLOC,
1918 0, 0, 0, 0 },
1919 { 0,
1920 SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_DATA,
1921 0, 0, 0, 0 },
1922 { ".interp",
1923 SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_DATA,
1924 0, 0, 0, 0 },
1925 { ".sdata",
1926 SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_DATA | SEC_SMALL_DATA,
1927 0, 0, 0, 0 },
1928 { ".comment",
1929 SEC_HAS_CONTENTS,
1930 0, 0, 0, 0 },
1932 enum orphan_save_index
1934 orphan_text = 0,
1935 orphan_rodata,
1936 orphan_tdata,
1937 orphan_data,
1938 orphan_bss,
1939 orphan_rel,
1940 orphan_interp,
1941 orphan_sdata,
1942 orphan_nonalloc
1944 static int orphan_init_done = 0;
1945 struct orphan_save *place;
1946 lang_output_section_statement_type *after;
1947 lang_output_section_statement_type *os;
1948 lang_output_section_statement_type *match_by_name = NULL;
1949 int isdyn = 0;
1950 int elfinput = s->owner->xvec->flavour == bfd_target_elf_flavour;
1951 int elfoutput = link_info.output_bfd->xvec->flavour == bfd_target_elf_flavour;
1952 unsigned int sh_type = elfinput ? elf_section_type (s) : SHT_NULL;
1953 flagword flags;
1954 asection *nexts;
1956 if (!bfd_link_relocatable (&link_info)
1957 && link_info.combreloc
1958 && (s->flags & SEC_ALLOC))
1960 if (elfinput)
1961 switch (sh_type)
1963 case SHT_RELA:
1964 secname = ".rela.dyn";
1965 isdyn = 1;
1966 break;
1967 case SHT_REL:
1968 secname = ".rel.dyn";
1969 isdyn = 1;
1970 break;
1971 default:
1972 break;
1974 else if (CONST_STRNEQ (secname, ".rel"))
1976 secname = secname[4] == 'a' ? ".rela.dyn" : ".rel.dyn";
1977 isdyn = 1;
1981 if (!bfd_link_relocatable (&link_info)
1982 && elfinput
1983 && elfoutput
1984 && (s->flags & SEC_ALLOC) != 0
1985 && (elf_tdata (s->owner)->has_gnu_osabi & elf_gnu_osabi_mbind) != 0
1986 && (elf_section_flags (s) & SHF_GNU_MBIND) != 0)
1988 /* Find the output mbind section with the same type, attributes
1989 and sh_info field. */
1990 for (os = (void *) lang_os_list.head;
1991 os != NULL;
1992 os = os->next)
1993 if (os->bfd_section != NULL
1994 && !bfd_is_abs_section (os->bfd_section)
1995 && (elf_section_flags (os->bfd_section) & SHF_GNU_MBIND) != 0
1996 && ((s->flags & (SEC_ALLOC
1997 | SEC_LOAD
1998 | SEC_HAS_CONTENTS
1999 | SEC_READONLY
2000 | SEC_CODE))
2001 == (os->bfd_section->flags & (SEC_ALLOC
2002 | SEC_LOAD
2003 | SEC_HAS_CONTENTS
2004 | SEC_READONLY
2005 | SEC_CODE)))
2006 && (elf_section_data (os->bfd_section)->this_hdr.sh_info
2007 == elf_section_data (s)->this_hdr.sh_info))
2009 lang_add_section (&os->children, s, NULL, os);
2010 return os;
2013 /* Create the output mbind section with the ".mbind." prefix
2014 in section name. */
2015 if ((s->flags & (SEC_LOAD | SEC_HAS_CONTENTS)) == 0)
2016 secname = ".mbind.bss";
2017 else if ((s->flags & SEC_READONLY) == 0)
2018 secname = ".mbind.data";
2019 else if ((s->flags & SEC_CODE) == 0)
2020 secname = ".mbind.rodata";
2021 else
2022 secname = ".mbind.text";
2023 elf_tdata (link_info.output_bfd)->has_gnu_osabi |= elf_gnu_osabi_mbind;
2026 /* Look through the script to see where to place this section. The
2027 script includes entries added by previous lang_insert_orphan
2028 calls, so this loop puts multiple compatible orphans of the same
2029 name into a single output section. */
2030 if (constraint == 0)
2031 for (os = lang_output_section_find (secname);
2032 os != NULL;
2033 os = next_matching_output_section_statement (os, 0))
2035 /* If we don't match an existing output section, tell
2036 lang_insert_orphan to create a new output section. */
2037 constraint = SPECIAL;
2039 /* Check to see if we already have an output section statement
2040 with this name, and its bfd section has compatible flags.
2041 If the section already exists but does not have any flags
2042 set, then it has been created by the linker, possibly as a
2043 result of a --section-start command line switch. */
2044 if (os->bfd_section != NULL
2045 && (os->bfd_section->flags == 0
2046 || (((s->flags ^ os->bfd_section->flags)
2047 & (SEC_LOAD | SEC_ALLOC)) == 0
2048 && (!elfinput
2049 || !elfoutput
2050 || elf_orphan_compatible (s, os->bfd_section)))))
2052 lang_add_section (&os->children, s, NULL, os);
2053 return os;
2056 /* Save unused output sections in case we can match them
2057 against orphans later. */
2058 if (os->bfd_section == NULL)
2059 match_by_name = os;
2062 /* If we didn't match an active output section, see if we matched an
2063 unused one and use that. */
2064 if (match_by_name)
2066 lang_add_section (&match_by_name->children, s, NULL, match_by_name);
2067 return match_by_name;
2070 if (!orphan_init_done)
2072 struct orphan_save *ho;
2074 for (ho = hold; ho < hold + sizeof (hold) / sizeof (hold[0]); ++ho)
2075 if (ho->name != NULL)
2077 ho->os = lang_output_section_find (ho->name);
2078 if (ho->os != NULL && ho->os->flags == 0)
2079 ho->os->flags = ho->flags;
2081 orphan_init_done = 1;
2084 /* If this is a final link, then always put .gnu.warning.SYMBOL
2085 sections into the .text section to get them out of the way. */
2086 if (bfd_link_executable (&link_info)
2087 && CONST_STRNEQ (s->name, ".gnu.warning.")
2088 && hold[orphan_text].os != NULL)
2090 os = hold[orphan_text].os;
2091 lang_add_section (&os->children, s, NULL, os);
2092 return os;
2095 flags = s->flags;
2096 if (!bfd_link_relocatable (&link_info))
2098 nexts = s;
2099 while ((nexts = bfd_get_next_section_by_name (nexts->owner, nexts))
2100 != NULL)
2101 if (nexts->output_section == NULL
2102 && (nexts->flags & SEC_EXCLUDE) == 0
2103 && ((nexts->flags ^ flags) & (SEC_LOAD | SEC_ALLOC)) == 0
2104 && (nexts->owner->flags & DYNAMIC) == 0
2105 && !bfd_input_just_syms (nexts->owner)
2106 && _bfd_elf_match_sections_by_type (nexts->owner, nexts,
2107 s->owner, s))
2108 flags = (((flags ^ SEC_READONLY)
2109 | (nexts->flags ^ SEC_READONLY))
2110 ^ SEC_READONLY);
2113 /* Decide which segment the section should go in based on the
2114 section name and section flags. We put loadable .note sections
2115 right after the .interp section, so that the PT_NOTE segment is
2116 stored right after the program headers where the OS can read it
2117 in the first page. */
2119 place = NULL;
2120 if ((flags & (SEC_ALLOC | SEC_DEBUGGING)) == 0)
2121 place = &hold[orphan_nonalloc];
2122 else if ((flags & SEC_ALLOC) == 0)
2124 else if ((flags & SEC_LOAD) != 0
2125 && (elfinput
2126 ? sh_type == SHT_NOTE
2127 : CONST_STRNEQ (secname, ".note")))
2128 place = &hold[orphan_interp];
2129 else if ((flags & (SEC_LOAD | SEC_HAS_CONTENTS | SEC_THREAD_LOCAL)) == 0)
2130 place = &hold[orphan_bss];
2131 else if ((flags & SEC_SMALL_DATA) != 0)
2132 place = &hold[orphan_sdata];
2133 else if ((flags & SEC_THREAD_LOCAL) != 0)
2134 place = &hold[orphan_tdata];
2135 else if ((flags & SEC_READONLY) == 0)
2136 place = &hold[orphan_data];
2137 else if ((flags & SEC_LOAD) != 0
2138 && (elfinput
2139 ? sh_type == SHT_RELA || sh_type == SHT_REL
2140 : CONST_STRNEQ (secname, ".rel")))
2141 place = &hold[orphan_rel];
2142 else if ((flags & SEC_CODE) == 0)
2143 place = &hold[orphan_rodata];
2144 else
2145 place = &hold[orphan_text];
2147 after = NULL;
2148 if (place != NULL)
2150 if (place->os == NULL)
2152 if (place->name != NULL)
2153 place->os = lang_output_section_find (place->name);
2154 else
2156 int rela = elfinput ? sh_type == SHT_RELA : secname[4] == 'a';
2157 place->os = output_rel_find (isdyn, rela);
2160 after = place->os;
2161 if (after == NULL)
2162 after
2163 = lang_output_section_find_by_flags (s, flags, &place->os,
2164 _bfd_elf_match_sections_by_type);
2165 if (after == NULL)
2166 /* *ABS* is always the first output section statement. */
2167 after = (void *) lang_os_list.head;
2170 return lang_insert_orphan (s, secname, constraint, after, place, NULL, NULL);
2173 void
2174 ldelf_before_place_orphans (void)
2176 bfd *abfd;
2178 for (abfd = link_info.input_bfds;
2179 abfd != (bfd *) NULL; abfd = abfd->link.next)
2180 if (bfd_get_flavour (abfd) == bfd_target_elf_flavour
2181 && bfd_count_sections (abfd) != 0
2182 && !bfd_input_just_syms (abfd))
2184 asection *isec;
2185 for (isec = abfd->sections; isec != NULL; isec = isec->next)
2187 /* Discard a section if any of its linked-to section has
2188 been discarded. */
2189 asection *linked_to_sec;
2190 for (linked_to_sec = elf_linked_to_section (isec);
2191 linked_to_sec != NULL;
2192 linked_to_sec = elf_linked_to_section (linked_to_sec))
2193 if (discarded_section (linked_to_sec))
2195 isec->output_section = bfd_abs_section_ptr;
2196 isec->flags |= SEC_EXCLUDE;
2197 break;