5d3236eea0
[PATCH] Add infrastructure for plugin API; functionality to follow. include/ChangeLog: 2010-10-14 Dave Korn <dave.korn.cygwin@gmail.com> Apply LD plugin patch series (part 1/6). * plugin-api.h (LDPT_GNU_LD_VERSION): New ld_plugin_tag enum member. ld/ChangeLog: 2010-10-14 Dave Korn <dave.korn.cygwin@gmail.com> Apply LD plugin patch series (part 1/6). * configure.in: Add AC_CHECKs for file io and dlfcn headers and functions and AC_SEARCH for -ldl. (enable_plugins): New shell variable set if above tests find dlopen functionality. (ENABLE_PLUGINS): Add related automake conditional. * configure: Regenerate. * config.in: Likewise. * Makefile.am (PLUGIN_C): Declare plugin C source file, conditional on ENABLE_PLUGINS being defined. (PLUGIN_H): Likewise for header file. (PLUGIN_OBJECT): Likewise for object file. (PLUGIN_CFLAGS): Likewise -D flag required to compile plugin support. (AM_CPPFLAGS): Use PLUGIN_CFLAGS. (CFILES): Use PLUGIN_C. (HFILES): Use PLUGIN_H. (OFILES): Use PLUGIN_OBJECT. (ld_new_SOURCES): Use PLUGIN_C. (noinst_LTLIBRARIES)[ENABLE_PLUGINS]: Declare test plugin. (libldtestplug_la_SOURCES)[ENABLE_PLUGINS]: Add automake definition for test plugin. (libldtestplug_la_CFLAGS)[ENABLE_PLUGINS]: Likewise. (libldtestplug_la_LDFLAGS)[ENABLE_PLUGINS]: Likewise. * Makefile.in: Regenerate. * sysdep.h: Include stdarg.h, unistd.h and one of fcntl.h or sys/file.h where available. Include dlfcn.h when ENABLE_PLUGINS. (O_RDONLY): Supply default definition likewise to bfd's sysdep.h (O_WRONLY): Likewise. (O_RDWR): Likewise. (O_ACCMODE): Likewise. (O_BINARY): Likewise. (SEEK_SET): Likewise. (SEEK_CUR): Likewise. (SEEK_END): Likewise. * ldmisc.c (vfinfo): Make non-static. Add %p format char. * ldmisc.h (vfinfo): Declare extern prototype. * lexsup.c (enum option_values)[ENABLE_PLUGINS]: Add new entries for OPTION_PLUGIN and OPTION_PLUGIN_OPT. (ld_options[])[ENABLE_PLUGINS]: Add option data for the above two. (parse_args)[ENABLE_PLUGINS]: Handle them, and load all plugins once option parsing is complete. * ldmain.c (main)[ENABLE_PLUGINS]: Call plugin cleanup hooks just after lang_finish. * plugin.c: New source file. * plugin.h: Likewise new header. * testplug.c: New source file. ld/testsuite/ChangeLog: 2010-10-14 Dave Korn <dave.korn.cygwin@gmail.com> Apply LD plugin patch series (part 1/6). * ld-bootstrap/bootstrap.exp: Skip static tests also if LD plugins are enabled. * lib/ld-lib.exp (proc regexp_diff): Extend verbose debug output. (proc set_file_contents): Write a file with the supplied content. (run_ld_link_tests): Add new 'ld' action to test linker output. (proc check_plugin_api_available): Return true if linker under test supports the plugin API. * ld-plugin/func.c: New test source file. * ld-plugin/main.c: Likewise. * ld-plugin/text.c: Likewise. * ld-plugin/plugin-1.d: New dump test output pattern script. * ld-plugin/plugin-2.d: Likewise. * ld-plugin/plugin-3.d: Likewise. * ld-plugin/plugin-4.d: Likewise. * ld-plugin/plugin-5.d: Likewise. * ld-plugin/plugin.exp: New test control script. --- [PATCH] Implement claim file and all symbols read hooks and add symbols callback. ld/ChangeLog: 2010-10-14 Dave Korn <dave.korn.cygwin@gmail.com> Apply LD plugin patch series (part 2/6). * ldfile.c (ldfile_try_open_bfd)[ENABLE_PLUGINS]: Don't return early during compat checks if they pass, instead offer any successfully opened and accepted file to the plugin claim file hooks chain. Create a dummy bfd to accept symbols added by the plugin, if the plugin claims the file. * ldlang.c (lang_process)[ENABLE_PLUGINS]: Call plugin all symbols read hook chain before ldemul_after_open. * ldlang.h (struct lang_input_statement_struct): Add new single-bit 'claimed' flag. * plugin.c (IRONLY_SUFFIX): New macro for dummy bfd file suffix. (IRONLY_SUFFIX_LEN): Length of the above string. (plugin_get_ir_dummy_bfd): New function to create the dummy bfd used to store symbols for ir-only files. (is_ir_dummy_bfd): New function to check if a bfd is ir-only. (asymbol_from_plugin_symbol): New function converts symbol formats. (add_symbols): Call it to convert plugin syms to bfd syms and add them to the dummy bfd. * plugin.h: Add missing include guards. (plugin_get_ir_dummy_bfd): Add prototype. (is_ir_dummy_bfd): Likewise. * testplug.c (TV_MESSAGE): New helper macro. (struct claim_file): New struct. (claim_file_t): New typedef. (tag_names[]): Make static and const. (claimfiles_list): New variable. (claimfiles_tail_chain_ptr): Likewise. (last_claimfile): Likewise. (record_claim_file): Record a file to claim on a singly-linked list. (parse_symdefstr): Parse an ASCII representation of a symbol from a plugin option into the fields of a struct ld_plugin_symbol. (record_claimed_file_symbol): Use it to parse plugin option for adding a symbol. (parse_option): Parse claim file and add symbol options. (dump_tv_tag): Use TV_MESSAGE. (onload): Likewise. (onclaim_file): Make static. Use TV_MESSAGE. Scan list of files to claim and claim this file if required, adding any symbols specified. (onall_symbols_read): Make static and use TV_MESSAGE. (oncleanup): Likewise. ld/testsuite/ChangeLog: 2010-10-14 Dave Korn <dave.korn.cygwin@gmail.com> Apply LD plugin patch series (part 2/6). * ld-plugin/plugin-3.d: Enable regexes for new functionality. * ld-plugin/plugin-5.d: Likewise. * ld-plugin/plugin-6.d: New testcase. * ld-plugin/plugin-7.d: Likewise. * ld-plugin/plugin.exp: Use 'nm' on compiled test objects to determine whether symbols in plugin arguments need an underscore prefix. Add new plugin-6.d and plugin-7.d testcases. --- [PATCH] Implement get symbols callback. ld/ChangeLog: 2010-10-14 Dave Korn <dave.korn.cygwin@gmail.com> Apply LD plugin patch series (part 3/6). * ldmain.c (notice)[ENABLE_PLUGINS]: Call plugin_notice. * plugin.c (non_ironly_hash): Add new bfd hash table. (plugin_load_plugins): Exit early if no plugins to load. If plugins do load successfully, set notice_all flag in link info. (get_symbols): Implement. (plugin_load_plugins): Exit early if no plugins to load, else after loading plugins successfully enable notice_all mode. (init_non_ironly_hash): Lazily init non_ironly_hash table. (plugin_notice): Record symbols referenced from non-IR files in the non_ironly_hash. Suppress tracing, cref generation and nocrossrefs tracking for symbols from dummy IR bfds. * plugin.h: Fix formatting. (plugin_notice): Add prototype. * testplug.c (dumpresolutions): New global var. (parse_options): Accept "dumpresolutions". (onall_symbols_read): Get syms and dump resolutions if it was given. ld/testsuite/ChangeLog: 2010-10-14 Dave Korn <dave.korn.cygwin@gmail.com> Apply LD plugin patch series (part 3/6). * ld-plugin/plugin-8.d: New testcase. * ld-plugin/plugin.exp: Invoke it. --- [PATCH] Implement add input file, add input lib and set extra lib path callbacks. ld/ChangeLog: 2010-10-14 Dave Korn <dave.korn.cygwin@gmail.com> Apply LD plugin patch series (part 4/6). * ldlang.c (lang_process)[ENABLE_PLUGINS]: Move invocation of plugin_call_all_symbols_read to before setting of gc_sym_list, and open any new input files that may have been added during it. * ldmain.c (multiple_definition)[ENABLE_PLUGINS]: Call out to plugin_multiple_definition and let it have first say over what to do with the clashing definitions. * plugin.c (no_more_claiming): New boolean variable. (plugin_cached_allow_multiple_defs): Likewise. (add_input_file): Implement. (add_input_library): Likewise. (set_extra_library_path): Likewise. (plugin_call_claim_file): Don't do anything when no_more_claiming set. (plugin_call_all_symbols_read): Set it. Disable link info "allow_multiple_definition" flag, but cache its value. (plugin_multiple_definition): New function. * plugin.h (plugin_multiple_definition): Add prototype. * testplug.c (addfile_enum_t): New enumerated typedef. (add_file_t): New struct typedef. (addfiles_list): New variable. (addfiles_tail_chain_ptr): Likewise. (record_add_file): New function. (parse_option): Parse "add:", "lib:" and "dir:" options and call it. (onall_symbols_read): Iterate the list of new files, libs and dirs, adding them. ld/testsuite/ChangeLog: 2010-10-14 Dave Korn <dave.korn.cygwin@gmail.com> Apply LD plugin patch series (part 4/6). * ld-plugin/plugin-9.d: New testcase. * ld-plugin/plugin.exp: Invoke it. --- [PATCH] Add ELF symbol visibility support to plugin interface. ld/ChangeLog: 2010-10-14 Dave Korn <dave.korn.cygwin@gmail.com> Apply LD plugin patch series (part 5/6). * plugin.c (asymbol_from_plugin_symbol): If the bfd is an ELF bfd, find the elf symbol data and set the visibility in the st_other field. ld/testsuite/ChangeLog: 2010-10-14 Dave Korn <dave.korn.cygwin@gmail.com> Apply LD plugin patch series (part 5/6). * ld-plugin/plugin-ignore.d: New dump test control script. * ld-plugin/plugin-vis-1.d: Likewise. * ld-plugin/plugin.exp: Add list of ELF-only tests and run them if testing on an ELF target. --- [PATCH] Add archive support to plugin interface. bfd/ChangeLog: 2010-10-14 Dave Korn <dave.korn.cygwin@gmail.com> Apply LD plugin patch series (part 6/6). * aoutx.h (aout_link_check_ar_symbols): Take new "subsbfd" reference parameter and pass it when invoking add_archive_element callback. (aout_link_check_archive_element): Handle substitute bfd if it was set during add_archive_element callback in the above. * cofflink.c (coff_link_check_ar_symbols): Take new "subsbfd" reference parameter and pass it when invoking add_archive_element callback. (coff_link_check_archive_element): Handle substitute bfd if it was set during add_archive_element callback in the above. * ecoff.c (read_ext_syms_and_strs): New function holds symbol-reading code factored-out from ecoff_link_check_archive_element. (reread_ext_syms_and_strs): Clear old symbols and call it. (ecoff_link_check_archive_element): Use the above. Handle substitute BFD if one is set by add_archive_element callback. (ecoff_link_add_archive_symbols): Likewise allow bfd substitution. * elflink.c (elf_link_add_archive_symbols): Likewise. * linker.c (generic_link_check_archive_element): Likewise. * pdp11.c (aout_link_check_ar_symbols): Take new "subsbfd" reference parameter and pass it when invoking add_archive_element callback. (aout_link_check_archive_element): Handle substitute bfd if it was set during add_archive_element callback in the above. * vms-alpha.c (alpha_vms_link_add_archive_symbols): Handle substitute BFD if one is set by add_archive_element callback. * xcofflink.c (xcoff_link_check_dynamic_ar_symbols): Take new "subsbfd" reference parameter and pass it when invoking add_archive_element callback. (xcoff_link_check_ar_symbols): Likewise. (xcoff_link_check_archive_element): Handle bfd substitution if it was set by callback in the above. include/ChangeLog: 2010-10-14 Dave Korn <dave.korn.cygwin@gmail.com> Apply LD plugin patch series (part 6/6). * bfdlink.h (struct_bfd_link_callbacks): Document new argument to add_archive_element callback used to return a replacement bfd which is to be added to the hash table in place of the original element. ld/ChangeLog: 2010-10-14 Dave Korn <dave.korn.cygwin@gmail.com> Apply LD plugin patch series (part 6/6). * ldlang.c (load_symbols): Handle bfd subsitution when calling the add_archive_element callback. * ldmain.c (add_archive_element)[ENABLE_PLUGINS]: Offer the archive member to the plugins and if claimed set "subsbfd" output parameter to point to the dummy IR-only BFD. ld/testsuite/ChangeLog: 2010-10-14 Dave Korn <dave.korn.cygwin@gmail.com> Apply LD plugin patch series (part 6/6). * ld-plugin/plugin-10.d: New dump test control script. * ld-plugin/plugin-11.d: Likewise. * ld-plugin/plugin.exp: Run them. ---
1485 lines
40 KiB
C
1485 lines
40 KiB
C
/* Main program of GNU linker.
|
||
Copyright 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001,
|
||
2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
|
||
Free Software Foundation, Inc.
|
||
Written by Steve Chamberlain steve@cygnus.com
|
||
|
||
This file is part of the GNU Binutils.
|
||
|
||
This program is free software; you can redistribute it and/or modify
|
||
it under the terms of the GNU General Public License as published by
|
||
the Free Software Foundation; either version 3 of the License, or
|
||
(at your option) any later version.
|
||
|
||
This program is distributed in the hope that it will be useful,
|
||
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
GNU General Public License for more details.
|
||
|
||
You should have received a copy of the GNU General Public License
|
||
along with this program; if not, write to the Free Software
|
||
Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
|
||
MA 02110-1301, USA. */
|
||
|
||
#include "sysdep.h"
|
||
#include "bfd.h"
|
||
#include "safe-ctype.h"
|
||
#include "libiberty.h"
|
||
#include "progress.h"
|
||
#include "bfdlink.h"
|
||
#include "filenames.h"
|
||
|
||
#include "ld.h"
|
||
#include "ldmain.h"
|
||
#include "ldmisc.h"
|
||
#include "ldwrite.h"
|
||
#include "ldexp.h"
|
||
#include "ldlang.h"
|
||
#include <ldgram.h>
|
||
#include "ldlex.h"
|
||
#include "ldfile.h"
|
||
#include "ldemul.h"
|
||
#include "ldctor.h"
|
||
#ifdef ENABLE_PLUGINS
|
||
#include "plugin.h"
|
||
#include "plugin-api.h"
|
||
#include "libbfd.h"
|
||
#endif /* ENABLE_PLUGINS */
|
||
|
||
/* Somewhere above, sys/stat.h got included. */
|
||
#if !defined(S_ISDIR) && defined(S_IFDIR)
|
||
#define S_ISDIR(m) (((m) & S_IFMT) == S_IFDIR)
|
||
#endif
|
||
|
||
#include <string.h>
|
||
|
||
#ifdef HAVE_SBRK
|
||
#if !HAVE_DECL_SBRK
|
||
extern void *sbrk ();
|
||
#endif
|
||
#endif
|
||
|
||
#ifndef TARGET_SYSTEM_ROOT
|
||
#define TARGET_SYSTEM_ROOT ""
|
||
#endif
|
||
|
||
/* EXPORTS */
|
||
|
||
FILE *saved_script_handle = NULL;
|
||
FILE *previous_script_handle = NULL;
|
||
bfd_boolean force_make_executable = FALSE;
|
||
|
||
char *default_target;
|
||
const char *output_filename = "a.out";
|
||
|
||
/* Name this program was invoked by. */
|
||
char *program_name;
|
||
|
||
/* The prefix for system library directories. */
|
||
const char *ld_sysroot;
|
||
|
||
/* The canonical representation of ld_sysroot. */
|
||
char * ld_canon_sysroot;
|
||
int ld_canon_sysroot_len;
|
||
|
||
/* Set by -G argument, for MIPS ECOFF target. */
|
||
int g_switch_value = 8;
|
||
|
||
/* Nonzero means print names of input files as processed. */
|
||
bfd_boolean trace_files;
|
||
|
||
/* Nonzero means same, but note open failures, too. */
|
||
bfd_boolean trace_file_tries;
|
||
|
||
/* Nonzero means version number was printed, so exit successfully
|
||
instead of complaining if no input files are given. */
|
||
bfd_boolean version_printed;
|
||
|
||
/* Nonzero means link in every member of an archive. */
|
||
bfd_boolean whole_archive;
|
||
|
||
/* True means only create DT_NEEDED entries for dynamic libraries
|
||
if they actually satisfy some reference in a regular object. */
|
||
bfd_boolean add_DT_NEEDED_for_regular;
|
||
|
||
/* True means create DT_NEEDED entries for dynamic libraries that
|
||
are DT_NEEDED by dynamic libraries specifically mentioned on
|
||
the command line. */
|
||
bfd_boolean add_DT_NEEDED_for_dynamic = TRUE;
|
||
|
||
/* TRUE if we should demangle symbol names. */
|
||
bfd_boolean demangling;
|
||
|
||
args_type command_line;
|
||
|
||
ld_config_type config;
|
||
|
||
sort_type sort_section;
|
||
|
||
static const char *get_sysroot
|
||
(int, char **);
|
||
static char *get_emulation
|
||
(int, char **);
|
||
static bfd_boolean add_archive_element
|
||
(struct bfd_link_info *, bfd *, const char *, bfd **);
|
||
static bfd_boolean multiple_definition
|
||
(struct bfd_link_info *, const char *, bfd *, asection *, bfd_vma,
|
||
bfd *, asection *, bfd_vma);
|
||
static bfd_boolean multiple_common
|
||
(struct bfd_link_info *, const char *, bfd *, enum bfd_link_hash_type,
|
||
bfd_vma, bfd *, enum bfd_link_hash_type, bfd_vma);
|
||
static bfd_boolean add_to_set
|
||
(struct bfd_link_info *, struct bfd_link_hash_entry *,
|
||
bfd_reloc_code_real_type, bfd *, asection *, bfd_vma);
|
||
static bfd_boolean constructor_callback
|
||
(struct bfd_link_info *, bfd_boolean, const char *, bfd *,
|
||
asection *, bfd_vma);
|
||
static bfd_boolean warning_callback
|
||
(struct bfd_link_info *, const char *, const char *, bfd *,
|
||
asection *, bfd_vma);
|
||
static void warning_find_reloc
|
||
(bfd *, asection *, void *);
|
||
static bfd_boolean undefined_symbol
|
||
(struct bfd_link_info *, const char *, bfd *, asection *, bfd_vma,
|
||
bfd_boolean);
|
||
static bfd_boolean reloc_overflow
|
||
(struct bfd_link_info *, struct bfd_link_hash_entry *, const char *,
|
||
const char *, bfd_vma, bfd *, asection *, bfd_vma);
|
||
static bfd_boolean reloc_dangerous
|
||
(struct bfd_link_info *, const char *, bfd *, asection *, bfd_vma);
|
||
static bfd_boolean unattached_reloc
|
||
(struct bfd_link_info *, const char *, bfd *, asection *, bfd_vma);
|
||
static bfd_boolean notice
|
||
(struct bfd_link_info *, const char *, bfd *, asection *, bfd_vma);
|
||
|
||
static struct bfd_link_callbacks link_callbacks =
|
||
{
|
||
add_archive_element,
|
||
multiple_definition,
|
||
multiple_common,
|
||
add_to_set,
|
||
constructor_callback,
|
||
warning_callback,
|
||
undefined_symbol,
|
||
reloc_overflow,
|
||
reloc_dangerous,
|
||
unattached_reloc,
|
||
notice,
|
||
einfo,
|
||
info_msg,
|
||
minfo,
|
||
ldlang_override_segment_assignment
|
||
};
|
||
|
||
struct bfd_link_info link_info;
|
||
|
||
static void
|
||
remove_output (void)
|
||
{
|
||
if (output_filename)
|
||
{
|
||
if (link_info.output_bfd)
|
||
bfd_cache_close (link_info.output_bfd);
|
||
if (delete_output_file_on_failure)
|
||
unlink_if_ordinary (output_filename);
|
||
}
|
||
}
|
||
|
||
int
|
||
main (int argc, char **argv)
|
||
{
|
||
char *emulation;
|
||
long start_time = get_run_time ();
|
||
|
||
#if defined (HAVE_SETLOCALE) && defined (HAVE_LC_MESSAGES)
|
||
setlocale (LC_MESSAGES, "");
|
||
#endif
|
||
#if defined (HAVE_SETLOCALE)
|
||
setlocale (LC_CTYPE, "");
|
||
#endif
|
||
bindtextdomain (PACKAGE, LOCALEDIR);
|
||
textdomain (PACKAGE);
|
||
|
||
program_name = argv[0];
|
||
xmalloc_set_program_name (program_name);
|
||
|
||
START_PROGRESS (program_name, 0);
|
||
|
||
expandargv (&argc, &argv);
|
||
|
||
bfd_init ();
|
||
|
||
bfd_set_error_program_name (program_name);
|
||
|
||
xatexit (remove_output);
|
||
|
||
/* Set up the sysroot directory. */
|
||
ld_sysroot = get_sysroot (argc, argv);
|
||
if (*ld_sysroot)
|
||
{
|
||
if (*TARGET_SYSTEM_ROOT == 0)
|
||
{
|
||
einfo ("%P%F: this linker was not configured to use sysroots\n");
|
||
ld_sysroot = "";
|
||
}
|
||
else
|
||
ld_canon_sysroot = lrealpath (ld_sysroot);
|
||
}
|
||
if (ld_canon_sysroot)
|
||
ld_canon_sysroot_len = strlen (ld_canon_sysroot);
|
||
else
|
||
ld_canon_sysroot_len = -1;
|
||
|
||
/* Set the default BFD target based on the configured target. Doing
|
||
this permits the linker to be configured for a particular target,
|
||
and linked against a shared BFD library which was configured for
|
||
a different target. The macro TARGET is defined by Makefile. */
|
||
if (! bfd_set_default_target (TARGET))
|
||
{
|
||
einfo (_("%X%P: can't set BFD default target to `%s': %E\n"), TARGET);
|
||
xexit (1);
|
||
}
|
||
|
||
#if YYDEBUG
|
||
{
|
||
extern int yydebug;
|
||
yydebug = 1;
|
||
}
|
||
#endif
|
||
|
||
config.build_constructors = TRUE;
|
||
config.rpath_separator = ':';
|
||
config.split_by_reloc = (unsigned) -1;
|
||
config.split_by_file = (bfd_size_type) -1;
|
||
config.make_executable = TRUE;
|
||
config.magic_demand_paged = TRUE;
|
||
config.text_read_only = TRUE;
|
||
|
||
command_line.warn_mismatch = TRUE;
|
||
command_line.warn_search_mismatch = TRUE;
|
||
command_line.check_section_addresses = -1;
|
||
command_line.disable_target_specific_optimizations = -1;
|
||
|
||
/* We initialize DEMANGLING based on the environment variable
|
||
COLLECT_NO_DEMANGLE. The gcc collect2 program will demangle the
|
||
output of the linker, unless COLLECT_NO_DEMANGLE is set in the
|
||
environment. Acting the same way here lets us provide the same
|
||
interface by default. */
|
||
demangling = getenv ("COLLECT_NO_DEMANGLE") == NULL;
|
||
|
||
link_info.allow_undefined_version = TRUE;
|
||
link_info.keep_memory = TRUE;
|
||
link_info.combreloc = TRUE;
|
||
link_info.strip_discarded = TRUE;
|
||
link_info.emit_hash = TRUE;
|
||
link_info.callbacks = &link_callbacks;
|
||
link_info.input_bfds_tail = &link_info.input_bfds;
|
||
/* SVR4 linkers seem to set DT_INIT and DT_FINI based on magic _init
|
||
and _fini symbols. We are compatible. */
|
||
link_info.init_function = "_init";
|
||
link_info.fini_function = "_fini";
|
||
link_info.relax_pass = 1;
|
||
link_info.pei386_auto_import = -1;
|
||
link_info.spare_dynamic_tags = 5;
|
||
link_info.path_separator = ':';
|
||
|
||
ldfile_add_arch ("");
|
||
emulation = get_emulation (argc, argv);
|
||
ldemul_choose_mode (emulation);
|
||
default_target = ldemul_choose_target (argc, argv);
|
||
config.maxpagesize = bfd_emul_get_maxpagesize (default_target);
|
||
config.commonpagesize = bfd_emul_get_commonpagesize (default_target);
|
||
lang_init ();
|
||
ldemul_before_parse ();
|
||
lang_has_input_file = FALSE;
|
||
parse_args (argc, argv);
|
||
|
||
if (config.hash_table_size != 0)
|
||
bfd_hash_set_default_size (config.hash_table_size);
|
||
|
||
ldemul_set_symbols ();
|
||
|
||
if (link_info.relocatable)
|
||
{
|
||
if (command_line.check_section_addresses < 0)
|
||
command_line.check_section_addresses = 0;
|
||
if (link_info.shared)
|
||
einfo (_("%P%F: -r and -shared may not be used together\n"));
|
||
}
|
||
|
||
/* We may have -Bsymbolic, -Bsymbolic-functions, --dynamic-list-data,
|
||
--dynamic-list-cpp-new, --dynamic-list-cpp-typeinfo and
|
||
--dynamic-list FILE. -Bsymbolic and -Bsymbolic-functions are
|
||
for shared libraries. -Bsymbolic overrides all others and vice
|
||
versa. */
|
||
switch (command_line.symbolic)
|
||
{
|
||
case symbolic_unset:
|
||
break;
|
||
case symbolic:
|
||
/* -Bsymbolic is for shared library only. */
|
||
if (link_info.shared)
|
||
{
|
||
link_info.symbolic = TRUE;
|
||
/* Should we free the unused memory? */
|
||
link_info.dynamic_list = NULL;
|
||
command_line.dynamic_list = dynamic_list_unset;
|
||
}
|
||
break;
|
||
case symbolic_functions:
|
||
/* -Bsymbolic-functions is for shared library only. */
|
||
if (link_info.shared)
|
||
command_line.dynamic_list = dynamic_list_data;
|
||
break;
|
||
}
|
||
|
||
switch (command_line.dynamic_list)
|
||
{
|
||
case dynamic_list_unset:
|
||
break;
|
||
case dynamic_list_data:
|
||
link_info.dynamic_data = TRUE;
|
||
case dynamic_list:
|
||
link_info.dynamic = TRUE;
|
||
break;
|
||
}
|
||
|
||
if (! link_info.shared)
|
||
{
|
||
if (command_line.filter_shlib)
|
||
einfo (_("%P%F: -F may not be used without -shared\n"));
|
||
if (command_line.auxiliary_filters)
|
||
einfo (_("%P%F: -f may not be used without -shared\n"));
|
||
}
|
||
|
||
if (! link_info.shared || link_info.pie)
|
||
link_info.executable = TRUE;
|
||
|
||
/* Treat ld -r -s as ld -r -S -x (i.e., strip all local symbols). I
|
||
don't see how else this can be handled, since in this case we
|
||
must preserve all externally visible symbols. */
|
||
if (link_info.relocatable && link_info.strip == strip_all)
|
||
{
|
||
link_info.strip = strip_debugger;
|
||
if (link_info.discard == discard_sec_merge)
|
||
link_info.discard = discard_all;
|
||
}
|
||
|
||
/* If we have not already opened and parsed a linker script,
|
||
try the default script from command line first. */
|
||
if (saved_script_handle == NULL
|
||
&& command_line.default_script != NULL)
|
||
{
|
||
ldfile_open_command_file (command_line.default_script);
|
||
parser_input = input_script;
|
||
yyparse ();
|
||
}
|
||
|
||
/* If we have not already opened and parsed a linker script
|
||
read the emulation's appropriate default script. */
|
||
if (saved_script_handle == NULL)
|
||
{
|
||
int isfile;
|
||
char *s = ldemul_get_script (&isfile);
|
||
|
||
if (isfile)
|
||
ldfile_open_default_command_file (s);
|
||
else
|
||
{
|
||
lex_string = s;
|
||
lex_redirect (s);
|
||
}
|
||
parser_input = input_script;
|
||
yyparse ();
|
||
lex_string = NULL;
|
||
}
|
||
|
||
if (trace_file_tries)
|
||
{
|
||
if (saved_script_handle)
|
||
info_msg (_("using external linker script:"));
|
||
else
|
||
info_msg (_("using internal linker script:"));
|
||
info_msg ("\n==================================================\n");
|
||
|
||
if (saved_script_handle)
|
||
{
|
||
static const int ld_bufsz = 8193;
|
||
size_t n;
|
||
char *buf = (char *) xmalloc (ld_bufsz);
|
||
|
||
rewind (saved_script_handle);
|
||
while ((n = fread (buf, 1, ld_bufsz - 1, saved_script_handle)) > 0)
|
||
{
|
||
buf[n] = 0;
|
||
info_msg (buf);
|
||
}
|
||
rewind (saved_script_handle);
|
||
free (buf);
|
||
}
|
||
else
|
||
{
|
||
int isfile;
|
||
|
||
info_msg (ldemul_get_script (&isfile));
|
||
}
|
||
|
||
info_msg ("\n==================================================\n");
|
||
}
|
||
|
||
lang_final ();
|
||
|
||
if (!lang_has_input_file)
|
||
{
|
||
if (version_printed)
|
||
xexit (0);
|
||
einfo (_("%P%F: no input files\n"));
|
||
}
|
||
|
||
if (trace_files)
|
||
info_msg (_("%P: mode %s\n"), emulation);
|
||
|
||
ldemul_after_parse ();
|
||
|
||
if (config.map_filename)
|
||
{
|
||
if (strcmp (config.map_filename, "-") == 0)
|
||
{
|
||
config.map_file = stdout;
|
||
}
|
||
else
|
||
{
|
||
config.map_file = fopen (config.map_filename, FOPEN_WT);
|
||
if (config.map_file == (FILE *) NULL)
|
||
{
|
||
bfd_set_error (bfd_error_system_call);
|
||
einfo (_("%P%F: cannot open map file %s: %E\n"),
|
||
config.map_filename);
|
||
}
|
||
}
|
||
}
|
||
|
||
lang_process ();
|
||
|
||
/* Print error messages for any missing symbols, for any warning
|
||
symbols, and possibly multiple definitions. */
|
||
if (link_info.relocatable)
|
||
link_info.output_bfd->flags &= ~EXEC_P;
|
||
else
|
||
link_info.output_bfd->flags |= EXEC_P;
|
||
|
||
ldwrite ();
|
||
|
||
if (config.map_file != NULL)
|
||
lang_map ();
|
||
if (command_line.cref)
|
||
output_cref (config.map_file != NULL ? config.map_file : stdout);
|
||
if (nocrossref_list != NULL)
|
||
check_nocrossrefs ();
|
||
|
||
lang_finish ();
|
||
|
||
#ifdef ENABLE_PLUGINS
|
||
/* Now everything is finished, we can tell the plugins to clean up. */
|
||
if (plugin_call_cleanup ())
|
||
info_msg (_("%P: %s: error in plugin cleanup (ignored)\n"), plugin_error_plugin ());
|
||
#endif /* ENABLE_PLUGINS */
|
||
|
||
/* Even if we're producing relocatable output, some non-fatal errors should
|
||
be reported in the exit status. (What non-fatal errors, if any, do we
|
||
want to ignore for relocatable output?) */
|
||
if (!config.make_executable && !force_make_executable)
|
||
{
|
||
if (trace_files)
|
||
einfo (_("%P: link errors found, deleting executable `%s'\n"),
|
||
output_filename);
|
||
|
||
/* The file will be removed by remove_output. */
|
||
xexit (1);
|
||
}
|
||
else
|
||
{
|
||
if (! bfd_close (link_info.output_bfd))
|
||
einfo (_("%F%B: final close failed: %E\n"), link_info.output_bfd);
|
||
|
||
/* If the --force-exe-suffix is enabled, and we're making an
|
||
executable file and it doesn't end in .exe, copy it to one
|
||
which does. */
|
||
if (! link_info.relocatable && command_line.force_exe_suffix)
|
||
{
|
||
int len = strlen (output_filename);
|
||
|
||
if (len < 4
|
||
|| (strcasecmp (output_filename + len - 4, ".exe") != 0
|
||
&& strcasecmp (output_filename + len - 4, ".dll") != 0))
|
||
{
|
||
FILE *src;
|
||
FILE *dst;
|
||
const int bsize = 4096;
|
||
char *buf = (char *) xmalloc (bsize);
|
||
int l;
|
||
char *dst_name = (char *) xmalloc (len + 5);
|
||
|
||
strcpy (dst_name, output_filename);
|
||
strcat (dst_name, ".exe");
|
||
src = fopen (output_filename, FOPEN_RB);
|
||
dst = fopen (dst_name, FOPEN_WB);
|
||
|
||
if (!src)
|
||
einfo (_("%X%P: unable to open for source of copy `%s'\n"),
|
||
output_filename);
|
||
if (!dst)
|
||
einfo (_("%X%P: unable to open for destination of copy `%s'\n"),
|
||
dst_name);
|
||
while ((l = fread (buf, 1, bsize, src)) > 0)
|
||
{
|
||
int done = fwrite (buf, 1, l, dst);
|
||
|
||
if (done != l)
|
||
einfo (_("%P: Error writing file `%s'\n"), dst_name);
|
||
}
|
||
|
||
fclose (src);
|
||
if (fclose (dst) == EOF)
|
||
einfo (_("%P: Error closing file `%s'\n"), dst_name);
|
||
free (dst_name);
|
||
free (buf);
|
||
}
|
||
}
|
||
}
|
||
|
||
END_PROGRESS (program_name);
|
||
|
||
if (config.stats)
|
||
{
|
||
#ifdef HAVE_SBRK
|
||
char *lim = (char *) sbrk (0);
|
||
#endif
|
||
long run_time = get_run_time () - start_time;
|
||
|
||
fprintf (stderr, _("%s: total time in link: %ld.%06ld\n"),
|
||
program_name, run_time / 1000000, run_time % 1000000);
|
||
#ifdef HAVE_SBRK
|
||
fprintf (stderr, _("%s: data size %ld\n"), program_name,
|
||
(long) (lim - (char *) &environ));
|
||
#endif
|
||
}
|
||
|
||
/* Prevent remove_output from doing anything, after a successful link. */
|
||
output_filename = NULL;
|
||
|
||
xexit (0);
|
||
return 0;
|
||
}
|
||
|
||
/* If the configured sysroot is relocatable, try relocating it based on
|
||
default prefix FROM. Return the relocated directory if it exists,
|
||
otherwise return null. */
|
||
|
||
static char *
|
||
get_relative_sysroot (const char *from ATTRIBUTE_UNUSED)
|
||
{
|
||
#ifdef TARGET_SYSTEM_ROOT_RELOCATABLE
|
||
char *path;
|
||
struct stat s;
|
||
|
||
path = make_relative_prefix (program_name, from, TARGET_SYSTEM_ROOT);
|
||
if (path)
|
||
{
|
||
if (stat (path, &s) == 0 && S_ISDIR (s.st_mode))
|
||
return path;
|
||
free (path);
|
||
}
|
||
#endif
|
||
return 0;
|
||
}
|
||
|
||
/* Return the sysroot directory. Return "" if no sysroot is being used. */
|
||
|
||
static const char *
|
||
get_sysroot (int argc, char **argv)
|
||
{
|
||
int i;
|
||
const char *path;
|
||
|
||
for (i = 1; i < argc; i++)
|
||
if (CONST_STRNEQ (argv[i], "--sysroot="))
|
||
return argv[i] + strlen ("--sysroot=");
|
||
|
||
path = get_relative_sysroot (BINDIR);
|
||
if (path)
|
||
return path;
|
||
|
||
path = get_relative_sysroot (TOOLBINDIR);
|
||
if (path)
|
||
return path;
|
||
|
||
return TARGET_SYSTEM_ROOT;
|
||
}
|
||
|
||
/* We need to find any explicitly given emulation in order to initialize the
|
||
state that's needed by the lex&yacc argument parser (parse_args). */
|
||
|
||
static char *
|
||
get_emulation (int argc, char **argv)
|
||
{
|
||
char *emulation;
|
||
int i;
|
||
|
||
emulation = getenv (EMULATION_ENVIRON);
|
||
if (emulation == NULL)
|
||
emulation = DEFAULT_EMULATION;
|
||
|
||
for (i = 1; i < argc; i++)
|
||
{
|
||
if (CONST_STRNEQ (argv[i], "-m"))
|
||
{
|
||
if (argv[i][2] == '\0')
|
||
{
|
||
/* -m EMUL */
|
||
if (i < argc - 1)
|
||
{
|
||
emulation = argv[i + 1];
|
||
i++;
|
||
}
|
||
else
|
||
einfo (_("%P%F: missing argument to -m\n"));
|
||
}
|
||
else if (strcmp (argv[i], "-mips1") == 0
|
||
|| strcmp (argv[i], "-mips2") == 0
|
||
|| strcmp (argv[i], "-mips3") == 0
|
||
|| strcmp (argv[i], "-mips4") == 0
|
||
|| strcmp (argv[i], "-mips5") == 0
|
||
|| strcmp (argv[i], "-mips32") == 0
|
||
|| strcmp (argv[i], "-mips32r2") == 0
|
||
|| strcmp (argv[i], "-mips64") == 0
|
||
|| strcmp (argv[i], "-mips64r2") == 0)
|
||
{
|
||
/* FIXME: The arguments -mips1, -mips2, -mips3, etc. are
|
||
passed to the linker by some MIPS compilers. They
|
||
generally tell the linker to use a slightly different
|
||
library path. Perhaps someday these should be
|
||
implemented as emulations; until then, we just ignore
|
||
the arguments and hope that nobody ever creates
|
||
emulations named ips1, ips2 or ips3. */
|
||
}
|
||
else if (strcmp (argv[i], "-m486") == 0)
|
||
{
|
||
/* FIXME: The argument -m486 is passed to the linker on
|
||
some Linux systems. Hope that nobody creates an
|
||
emulation named 486. */
|
||
}
|
||
else
|
||
{
|
||
/* -mEMUL */
|
||
emulation = &argv[i][2];
|
||
}
|
||
}
|
||
}
|
||
|
||
return emulation;
|
||
}
|
||
|
||
void
|
||
add_ysym (const char *name)
|
||
{
|
||
if (link_info.notice_hash == NULL)
|
||
{
|
||
link_info.notice_hash =
|
||
(struct bfd_hash_table *) xmalloc (sizeof (struct bfd_hash_table));
|
||
if (!bfd_hash_table_init_n (link_info.notice_hash,
|
||
bfd_hash_newfunc,
|
||
sizeof (struct bfd_hash_entry),
|
||
61))
|
||
einfo (_("%P%F: bfd_hash_table_init failed: %E\n"));
|
||
}
|
||
|
||
if (bfd_hash_lookup (link_info.notice_hash, name, TRUE, TRUE) == NULL)
|
||
einfo (_("%P%F: bfd_hash_lookup failed: %E\n"));
|
||
}
|
||
|
||
/* Record a symbol to be wrapped, from the --wrap option. */
|
||
|
||
void
|
||
add_wrap (const char *name)
|
||
{
|
||
if (link_info.wrap_hash == NULL)
|
||
{
|
||
link_info.wrap_hash =
|
||
(struct bfd_hash_table *) xmalloc (sizeof (struct bfd_hash_table));
|
||
if (!bfd_hash_table_init_n (link_info.wrap_hash,
|
||
bfd_hash_newfunc,
|
||
sizeof (struct bfd_hash_entry),
|
||
61))
|
||
einfo (_("%P%F: bfd_hash_table_init failed: %E\n"));
|
||
}
|
||
|
||
if (bfd_hash_lookup (link_info.wrap_hash, name, TRUE, TRUE) == NULL)
|
||
einfo (_("%P%F: bfd_hash_lookup failed: %E\n"));
|
||
}
|
||
|
||
/* Handle the -retain-symbols-file option. */
|
||
|
||
void
|
||
add_keepsyms_file (const char *filename)
|
||
{
|
||
FILE *file;
|
||
char *buf;
|
||
size_t bufsize;
|
||
int c;
|
||
|
||
if (link_info.strip == strip_some)
|
||
einfo (_("%X%P: error: duplicate retain-symbols-file\n"));
|
||
|
||
file = fopen (filename, "r");
|
||
if (file == NULL)
|
||
{
|
||
bfd_set_error (bfd_error_system_call);
|
||
einfo ("%X%P: %s: %E\n", filename);
|
||
return;
|
||
}
|
||
|
||
link_info.keep_hash = (struct bfd_hash_table *)
|
||
xmalloc (sizeof (struct bfd_hash_table));
|
||
if (!bfd_hash_table_init (link_info.keep_hash, bfd_hash_newfunc,
|
||
sizeof (struct bfd_hash_entry)))
|
||
einfo (_("%P%F: bfd_hash_table_init failed: %E\n"));
|
||
|
||
bufsize = 100;
|
||
buf = (char *) xmalloc (bufsize);
|
||
|
||
c = getc (file);
|
||
while (c != EOF)
|
||
{
|
||
while (ISSPACE (c))
|
||
c = getc (file);
|
||
|
||
if (c != EOF)
|
||
{
|
||
size_t len = 0;
|
||
|
||
while (! ISSPACE (c) && c != EOF)
|
||
{
|
||
buf[len] = c;
|
||
++len;
|
||
if (len >= bufsize)
|
||
{
|
||
bufsize *= 2;
|
||
buf = (char *) xrealloc (buf, bufsize);
|
||
}
|
||
c = getc (file);
|
||
}
|
||
|
||
buf[len] = '\0';
|
||
|
||
if (bfd_hash_lookup (link_info.keep_hash, buf, TRUE, TRUE) == NULL)
|
||
einfo (_("%P%F: bfd_hash_lookup for insertion failed: %E\n"));
|
||
}
|
||
}
|
||
|
||
if (link_info.strip != strip_none)
|
||
einfo (_("%P: `-retain-symbols-file' overrides `-s' and `-S'\n"));
|
||
|
||
free (buf);
|
||
link_info.strip = strip_some;
|
||
}
|
||
|
||
/* Callbacks from the BFD linker routines. */
|
||
|
||
/* This is called when BFD has decided to include an archive member in
|
||
a link. */
|
||
|
||
static bfd_boolean
|
||
add_archive_element (struct bfd_link_info *info,
|
||
bfd *abfd,
|
||
const char *name,
|
||
bfd **subsbfd ATTRIBUTE_UNUSED)
|
||
{
|
||
lang_input_statement_type *input;
|
||
lang_input_statement_type orig_input;
|
||
|
||
input = (lang_input_statement_type *)
|
||
xcalloc (1, sizeof (lang_input_statement_type));
|
||
input->filename = abfd->filename;
|
||
input->local_sym_name = abfd->filename;
|
||
input->the_bfd = abfd;
|
||
|
||
/* Save the original data for trace files/tries below, as plugins
|
||
(if enabled) may possibly alter it to point to a replacement
|
||
BFD, but we still want to output the original BFD filename. */
|
||
orig_input = *input;
|
||
#ifdef ENABLE_PLUGINS
|
||
if (bfd_my_archive (abfd) != NULL)
|
||
{
|
||
/* We must offer this archive member to the plugins to claim. */
|
||
int fd = open (bfd_my_archive (abfd)->filename, O_RDONLY | O_BINARY);
|
||
if (fd >= 0)
|
||
{
|
||
struct ld_plugin_input_file file;
|
||
int claimed = 0;
|
||
/* Offset and filesize must refer to the individual archive
|
||
member, not the whole file, and must exclude the header.
|
||
Fortunately for us, that is how the data is stored in the
|
||
origin field of the bfd and in the arelt_data. */
|
||
file.name = bfd_my_archive (abfd)->filename;
|
||
file.offset = abfd->origin;
|
||
file.filesize = arelt_size (abfd);
|
||
file.fd = fd;
|
||
/* We create a dummy BFD, initially empty, to house
|
||
whatever symbols the plugin may want to add. */
|
||
file.handle = plugin_get_ir_dummy_bfd (abfd->filename, abfd);
|
||
if (plugin_call_claim_file (&file, &claimed))
|
||
einfo (_("%P%F: %s: plugin reported error claiming file\n"),
|
||
plugin_error_plugin ());
|
||
if (claimed)
|
||
{
|
||
/* Substitute the dummy BFD. */
|
||
input->the_bfd = file.handle;
|
||
input->claimed = TRUE;
|
||
bfd_make_readable (input->the_bfd);
|
||
*subsbfd = input->the_bfd;
|
||
}
|
||
else
|
||
{
|
||
/* Abandon the dummy BFD. */
|
||
bfd_close_all_done (file.handle);
|
||
close (fd);
|
||
input->claimed = FALSE;
|
||
}
|
||
}
|
||
}
|
||
#endif /* ENABLE_PLUGINS */
|
||
|
||
ldlang_add_file (input);
|
||
|
||
if (config.map_file != NULL)
|
||
{
|
||
static bfd_boolean header_printed;
|
||
struct bfd_link_hash_entry *h;
|
||
bfd *from;
|
||
int len;
|
||
|
||
h = bfd_link_hash_lookup (info->hash, name, FALSE, FALSE, TRUE);
|
||
|
||
if (h == NULL)
|
||
from = NULL;
|
||
else
|
||
{
|
||
switch (h->type)
|
||
{
|
||
default:
|
||
from = NULL;
|
||
break;
|
||
|
||
case bfd_link_hash_defined:
|
||
case bfd_link_hash_defweak:
|
||
from = h->u.def.section->owner;
|
||
break;
|
||
|
||
case bfd_link_hash_undefined:
|
||
case bfd_link_hash_undefweak:
|
||
from = h->u.undef.abfd;
|
||
break;
|
||
|
||
case bfd_link_hash_common:
|
||
from = h->u.c.p->section->owner;
|
||
break;
|
||
}
|
||
}
|
||
|
||
if (! header_printed)
|
||
{
|
||
char buf[100];
|
||
|
||
sprintf (buf, _("Archive member included because of file (symbol)\n\n"));
|
||
minfo ("%s", buf);
|
||
header_printed = TRUE;
|
||
}
|
||
|
||
if (bfd_my_archive (abfd) == NULL)
|
||
{
|
||
minfo ("%s", bfd_get_filename (abfd));
|
||
len = strlen (bfd_get_filename (abfd));
|
||
}
|
||
else
|
||
{
|
||
minfo ("%s(%s)", bfd_get_filename (bfd_my_archive (abfd)),
|
||
bfd_get_filename (abfd));
|
||
len = (strlen (bfd_get_filename (bfd_my_archive (abfd)))
|
||
+ strlen (bfd_get_filename (abfd))
|
||
+ 2);
|
||
}
|
||
|
||
if (len >= 29)
|
||
{
|
||
print_nl ();
|
||
len = 0;
|
||
}
|
||
while (len < 30)
|
||
{
|
||
print_space ();
|
||
++len;
|
||
}
|
||
|
||
if (from != NULL)
|
||
minfo ("%B ", from);
|
||
if (h != NULL)
|
||
minfo ("(%T)\n", h->root.string);
|
||
else
|
||
minfo ("(%s)\n", name);
|
||
}
|
||
|
||
if (trace_files || trace_file_tries)
|
||
info_msg ("%I\n", &orig_input);
|
||
return TRUE;
|
||
}
|
||
|
||
/* This is called when BFD has discovered a symbol which is defined
|
||
multiple times. */
|
||
|
||
static bfd_boolean
|
||
multiple_definition (struct bfd_link_info *info ATTRIBUTE_UNUSED,
|
||
const char *name,
|
||
bfd *obfd,
|
||
asection *osec,
|
||
bfd_vma oval,
|
||
bfd *nbfd,
|
||
asection *nsec,
|
||
bfd_vma nval)
|
||
{
|
||
#ifdef ENABLE_PLUGINS
|
||
/* We may get called back even when --allow-multiple-definition is in
|
||
effect, as the plugin infrastructure needs to use this hook in
|
||
order to swap out IR-only symbols for real ones. In that case,
|
||
it will let us know not to continue by returning TRUE even if this
|
||
is not an IR-only vs. non-IR symbol conflict. */
|
||
if (plugin_multiple_definition (info, name, obfd, osec, oval, nbfd,
|
||
nsec, nval))
|
||
return TRUE;
|
||
#endif /* ENABLE_PLUGINS */
|
||
|
||
/* If either section has the output_section field set to
|
||
bfd_abs_section_ptr, it means that the section is being
|
||
discarded, and this is not really a multiple definition at all.
|
||
FIXME: It would be cleaner to somehow ignore symbols defined in
|
||
sections which are being discarded. */
|
||
if ((osec->output_section != NULL
|
||
&& ! bfd_is_abs_section (osec)
|
||
&& bfd_is_abs_section (osec->output_section))
|
||
|| (nsec->output_section != NULL
|
||
&& ! bfd_is_abs_section (nsec)
|
||
&& bfd_is_abs_section (nsec->output_section)))
|
||
return TRUE;
|
||
|
||
einfo (_("%X%C: multiple definition of `%T'\n"),
|
||
nbfd, nsec, nval, name);
|
||
if (obfd != NULL)
|
||
einfo (_("%D: first defined here\n"), obfd, osec, oval);
|
||
|
||
if (RELAXATION_ENABLED)
|
||
{
|
||
einfo (_("%P: Disabling relaxation: it will not work with multiple definitions\n"));
|
||
command_line.disable_target_specific_optimizations = -1;
|
||
}
|
||
|
||
return TRUE;
|
||
}
|
||
|
||
/* This is called when there is a definition of a common symbol, or
|
||
when a common symbol is found for a symbol that is already defined,
|
||
or when two common symbols are found. We only do something if
|
||
-warn-common was used. */
|
||
|
||
static bfd_boolean
|
||
multiple_common (struct bfd_link_info *info ATTRIBUTE_UNUSED,
|
||
const char *name,
|
||
bfd *obfd,
|
||
enum bfd_link_hash_type otype,
|
||
bfd_vma osize,
|
||
bfd *nbfd,
|
||
enum bfd_link_hash_type ntype,
|
||
bfd_vma nsize)
|
||
{
|
||
if (! config.warn_common)
|
||
return TRUE;
|
||
|
||
if (ntype == bfd_link_hash_defined
|
||
|| ntype == bfd_link_hash_defweak
|
||
|| ntype == bfd_link_hash_indirect)
|
||
{
|
||
ASSERT (otype == bfd_link_hash_common);
|
||
einfo (_("%B: warning: definition of `%T' overriding common\n"),
|
||
nbfd, name);
|
||
if (obfd != NULL)
|
||
einfo (_("%B: warning: common is here\n"), obfd);
|
||
}
|
||
else if (otype == bfd_link_hash_defined
|
||
|| otype == bfd_link_hash_defweak
|
||
|| otype == bfd_link_hash_indirect)
|
||
{
|
||
ASSERT (ntype == bfd_link_hash_common);
|
||
einfo (_("%B: warning: common of `%T' overridden by definition\n"),
|
||
nbfd, name);
|
||
if (obfd != NULL)
|
||
einfo (_("%B: warning: defined here\n"), obfd);
|
||
}
|
||
else
|
||
{
|
||
ASSERT (otype == bfd_link_hash_common && ntype == bfd_link_hash_common);
|
||
if (osize > nsize)
|
||
{
|
||
einfo (_("%B: warning: common of `%T' overridden by larger common\n"),
|
||
nbfd, name);
|
||
if (obfd != NULL)
|
||
einfo (_("%B: warning: larger common is here\n"), obfd);
|
||
}
|
||
else if (nsize > osize)
|
||
{
|
||
einfo (_("%B: warning: common of `%T' overriding smaller common\n"),
|
||
nbfd, name);
|
||
if (obfd != NULL)
|
||
einfo (_("%B: warning: smaller common is here\n"), obfd);
|
||
}
|
||
else
|
||
{
|
||
einfo (_("%B: warning: multiple common of `%T'\n"), nbfd, name);
|
||
if (obfd != NULL)
|
||
einfo (_("%B: warning: previous common is here\n"), obfd);
|
||
}
|
||
}
|
||
|
||
return TRUE;
|
||
}
|
||
|
||
/* This is called when BFD has discovered a set element. H is the
|
||
entry in the linker hash table for the set. SECTION and VALUE
|
||
represent a value which should be added to the set. */
|
||
|
||
static bfd_boolean
|
||
add_to_set (struct bfd_link_info *info ATTRIBUTE_UNUSED,
|
||
struct bfd_link_hash_entry *h,
|
||
bfd_reloc_code_real_type reloc,
|
||
bfd *abfd,
|
||
asection *section,
|
||
bfd_vma value)
|
||
{
|
||
if (config.warn_constructors)
|
||
einfo (_("%P: warning: global constructor %s used\n"),
|
||
h->root.string);
|
||
|
||
if (! config.build_constructors)
|
||
return TRUE;
|
||
|
||
ldctor_add_set_entry (h, reloc, NULL, section, value);
|
||
|
||
if (h->type == bfd_link_hash_new)
|
||
{
|
||
h->type = bfd_link_hash_undefined;
|
||
h->u.undef.abfd = abfd;
|
||
/* We don't call bfd_link_add_undef to add this to the list of
|
||
undefined symbols because we are going to define it
|
||
ourselves. */
|
||
}
|
||
|
||
return TRUE;
|
||
}
|
||
|
||
/* This is called when BFD has discovered a constructor. This is only
|
||
called for some object file formats--those which do not handle
|
||
constructors in some more clever fashion. This is similar to
|
||
adding an element to a set, but less general. */
|
||
|
||
static bfd_boolean
|
||
constructor_callback (struct bfd_link_info *info,
|
||
bfd_boolean constructor,
|
||
const char *name,
|
||
bfd *abfd,
|
||
asection *section,
|
||
bfd_vma value)
|
||
{
|
||
char *s;
|
||
struct bfd_link_hash_entry *h;
|
||
char set_name[1 + sizeof "__CTOR_LIST__"];
|
||
|
||
if (config.warn_constructors)
|
||
einfo (_("%P: warning: global constructor %s used\n"), name);
|
||
|
||
if (! config.build_constructors)
|
||
return TRUE;
|
||
|
||
/* Ensure that BFD_RELOC_CTOR exists now, so that we can give a
|
||
useful error message. */
|
||
if (bfd_reloc_type_lookup (link_info.output_bfd, BFD_RELOC_CTOR) == NULL
|
||
&& (info->relocatable
|
||
|| bfd_reloc_type_lookup (abfd, BFD_RELOC_CTOR) == NULL))
|
||
einfo (_("%P%F: BFD backend error: BFD_RELOC_CTOR unsupported\n"));
|
||
|
||
s = set_name;
|
||
if (bfd_get_symbol_leading_char (abfd) != '\0')
|
||
*s++ = bfd_get_symbol_leading_char (abfd);
|
||
if (constructor)
|
||
strcpy (s, "__CTOR_LIST__");
|
||
else
|
||
strcpy (s, "__DTOR_LIST__");
|
||
|
||
h = bfd_link_hash_lookup (info->hash, set_name, TRUE, TRUE, TRUE);
|
||
if (h == (struct bfd_link_hash_entry *) NULL)
|
||
einfo (_("%P%F: bfd_link_hash_lookup failed: %E\n"));
|
||
if (h->type == bfd_link_hash_new)
|
||
{
|
||
h->type = bfd_link_hash_undefined;
|
||
h->u.undef.abfd = abfd;
|
||
/* We don't call bfd_link_add_undef to add this to the list of
|
||
undefined symbols because we are going to define it
|
||
ourselves. */
|
||
}
|
||
|
||
ldctor_add_set_entry (h, BFD_RELOC_CTOR, name, section, value);
|
||
return TRUE;
|
||
}
|
||
|
||
/* A structure used by warning_callback to pass information through
|
||
bfd_map_over_sections. */
|
||
|
||
struct warning_callback_info
|
||
{
|
||
bfd_boolean found;
|
||
const char *warning;
|
||
const char *symbol;
|
||
asymbol **asymbols;
|
||
};
|
||
|
||
/* This is called when there is a reference to a warning symbol. */
|
||
|
||
static bfd_boolean
|
||
warning_callback (struct bfd_link_info *info ATTRIBUTE_UNUSED,
|
||
const char *warning,
|
||
const char *symbol,
|
||
bfd *abfd,
|
||
asection *section,
|
||
bfd_vma address)
|
||
{
|
||
/* This is a hack to support warn_multiple_gp. FIXME: This should
|
||
have a cleaner interface, but what? */
|
||
if (! config.warn_multiple_gp
|
||
&& strcmp (warning, "using multiple gp values") == 0)
|
||
return TRUE;
|
||
|
||
if (section != NULL)
|
||
einfo ("%C: %s%s\n", abfd, section, address, _("warning: "), warning);
|
||
else if (abfd == NULL)
|
||
einfo ("%P: %s%s\n", _("warning: "), warning);
|
||
else if (symbol == NULL)
|
||
einfo ("%B: %s%s\n", abfd, _("warning: "), warning);
|
||
else
|
||
{
|
||
struct warning_callback_info cinfo;
|
||
|
||
/* Look through the relocs to see if we can find a plausible
|
||
address. */
|
||
|
||
if (!bfd_generic_link_read_symbols (abfd))
|
||
einfo (_("%B%F: could not read symbols: %E\n"), abfd);
|
||
|
||
cinfo.found = FALSE;
|
||
cinfo.warning = warning;
|
||
cinfo.symbol = symbol;
|
||
cinfo.asymbols = bfd_get_outsymbols (abfd);
|
||
bfd_map_over_sections (abfd, warning_find_reloc, &cinfo);
|
||
|
||
if (! cinfo.found)
|
||
einfo ("%B: %s%s\n", abfd, _("warning: "), warning);
|
||
}
|
||
|
||
return TRUE;
|
||
}
|
||
|
||
/* This is called by warning_callback for each section. It checks the
|
||
relocs of the section to see if it can find a reference to the
|
||
symbol which triggered the warning. If it can, it uses the reloc
|
||
to give an error message with a file and line number. */
|
||
|
||
static void
|
||
warning_find_reloc (bfd *abfd, asection *sec, void *iarg)
|
||
{
|
||
struct warning_callback_info *info = (struct warning_callback_info *) iarg;
|
||
long relsize;
|
||
arelent **relpp;
|
||
long relcount;
|
||
arelent **p, **pend;
|
||
|
||
if (info->found)
|
||
return;
|
||
|
||
relsize = bfd_get_reloc_upper_bound (abfd, sec);
|
||
if (relsize < 0)
|
||
einfo (_("%B%F: could not read relocs: %E\n"), abfd);
|
||
if (relsize == 0)
|
||
return;
|
||
|
||
relpp = (arelent **) xmalloc (relsize);
|
||
relcount = bfd_canonicalize_reloc (abfd, sec, relpp, info->asymbols);
|
||
if (relcount < 0)
|
||
einfo (_("%B%F: could not read relocs: %E\n"), abfd);
|
||
|
||
p = relpp;
|
||
pend = p + relcount;
|
||
for (; p < pend && *p != NULL; p++)
|
||
{
|
||
arelent *q = *p;
|
||
|
||
if (q->sym_ptr_ptr != NULL
|
||
&& *q->sym_ptr_ptr != NULL
|
||
&& strcmp (bfd_asymbol_name (*q->sym_ptr_ptr), info->symbol) == 0)
|
||
{
|
||
/* We found a reloc for the symbol we are looking for. */
|
||
einfo ("%C: %s%s\n", abfd, sec, q->address, _("warning: "),
|
||
info->warning);
|
||
info->found = TRUE;
|
||
break;
|
||
}
|
||
}
|
||
|
||
free (relpp);
|
||
}
|
||
|
||
/* This is called when an undefined symbol is found. */
|
||
|
||
static bfd_boolean
|
||
undefined_symbol (struct bfd_link_info *info ATTRIBUTE_UNUSED,
|
||
const char *name,
|
||
bfd *abfd,
|
||
asection *section,
|
||
bfd_vma address,
|
||
bfd_boolean error)
|
||
{
|
||
static char *error_name;
|
||
static unsigned int error_count;
|
||
|
||
#define MAX_ERRORS_IN_A_ROW 5
|
||
|
||
if (config.warn_once)
|
||
{
|
||
static struct bfd_hash_table *hash;
|
||
|
||
/* Only warn once about a particular undefined symbol. */
|
||
if (hash == NULL)
|
||
{
|
||
hash = (struct bfd_hash_table *)
|
||
xmalloc (sizeof (struct bfd_hash_table));
|
||
if (!bfd_hash_table_init (hash, bfd_hash_newfunc,
|
||
sizeof (struct bfd_hash_entry)))
|
||
einfo (_("%F%P: bfd_hash_table_init failed: %E\n"));
|
||
}
|
||
|
||
if (bfd_hash_lookup (hash, name, FALSE, FALSE) != NULL)
|
||
return TRUE;
|
||
|
||
if (bfd_hash_lookup (hash, name, TRUE, TRUE) == NULL)
|
||
einfo (_("%F%P: bfd_hash_lookup failed: %E\n"));
|
||
}
|
||
|
||
/* We never print more than a reasonable number of errors in a row
|
||
for a single symbol. */
|
||
if (error_name != NULL
|
||
&& strcmp (name, error_name) == 0)
|
||
++error_count;
|
||
else
|
||
{
|
||
error_count = 0;
|
||
if (error_name != NULL)
|
||
free (error_name);
|
||
error_name = xstrdup (name);
|
||
}
|
||
|
||
if (section != NULL)
|
||
{
|
||
if (error_count < MAX_ERRORS_IN_A_ROW)
|
||
{
|
||
if (error)
|
||
einfo (_("%X%C: undefined reference to `%T'\n"),
|
||
abfd, section, address, name);
|
||
else
|
||
einfo (_("%C: warning: undefined reference to `%T'\n"),
|
||
abfd, section, address, name);
|
||
}
|
||
else if (error_count == MAX_ERRORS_IN_A_ROW)
|
||
{
|
||
if (error)
|
||
einfo (_("%X%D: more undefined references to `%T' follow\n"),
|
||
abfd, section, address, name);
|
||
else
|
||
einfo (_("%D: warning: more undefined references to `%T' follow\n"),
|
||
abfd, section, address, name);
|
||
}
|
||
else if (error)
|
||
einfo ("%X");
|
||
}
|
||
else
|
||
{
|
||
if (error_count < MAX_ERRORS_IN_A_ROW)
|
||
{
|
||
if (error)
|
||
einfo (_("%X%B: undefined reference to `%T'\n"),
|
||
abfd, name);
|
||
else
|
||
einfo (_("%B: warning: undefined reference to `%T'\n"),
|
||
abfd, name);
|
||
}
|
||
else if (error_count == MAX_ERRORS_IN_A_ROW)
|
||
{
|
||
if (error)
|
||
einfo (_("%X%B: more undefined references to `%T' follow\n"),
|
||
abfd, name);
|
||
else
|
||
einfo (_("%B: warning: more undefined references to `%T' follow\n"),
|
||
abfd, name);
|
||
}
|
||
else if (error)
|
||
einfo ("%X");
|
||
}
|
||
|
||
return TRUE;
|
||
}
|
||
|
||
/* Counter to limit the number of relocation overflow error messages
|
||
to print. Errors are printed as it is decremented. When it's
|
||
called and the counter is zero, a final message is printed
|
||
indicating more relocations were omitted. When it gets to -1, no
|
||
such errors are printed. If it's initially set to a value less
|
||
than -1, all such errors will be printed (--verbose does this). */
|
||
|
||
int overflow_cutoff_limit = 10;
|
||
|
||
/* This is called when a reloc overflows. */
|
||
|
||
static bfd_boolean
|
||
reloc_overflow (struct bfd_link_info *info ATTRIBUTE_UNUSED,
|
||
struct bfd_link_hash_entry *entry,
|
||
const char *name,
|
||
const char *reloc_name,
|
||
bfd_vma addend,
|
||
bfd *abfd,
|
||
asection *section,
|
||
bfd_vma address)
|
||
{
|
||
if (overflow_cutoff_limit == -1)
|
||
return TRUE;
|
||
|
||
einfo ("%X%C:", abfd, section, address);
|
||
|
||
if (overflow_cutoff_limit >= 0
|
||
&& overflow_cutoff_limit-- == 0)
|
||
{
|
||
einfo (_(" additional relocation overflows omitted from the output\n"));
|
||
return TRUE;
|
||
}
|
||
|
||
if (entry)
|
||
{
|
||
while (entry->type == bfd_link_hash_indirect
|
||
|| entry->type == bfd_link_hash_warning)
|
||
entry = entry->u.i.link;
|
||
switch (entry->type)
|
||
{
|
||
case bfd_link_hash_undefined:
|
||
case bfd_link_hash_undefweak:
|
||
einfo (_(" relocation truncated to fit: %s against undefined symbol `%T'"),
|
||
reloc_name, entry->root.string);
|
||
break;
|
||
case bfd_link_hash_defined:
|
||
case bfd_link_hash_defweak:
|
||
einfo (_(" relocation truncated to fit: %s against symbol `%T' defined in %A section in %B"),
|
||
reloc_name, entry->root.string,
|
||
entry->u.def.section,
|
||
entry->u.def.section == bfd_abs_section_ptr
|
||
? link_info.output_bfd : entry->u.def.section->owner);
|
||
break;
|
||
default:
|
||
abort ();
|
||
break;
|
||
}
|
||
}
|
||
else
|
||
einfo (_(" relocation truncated to fit: %s against `%T'"),
|
||
reloc_name, name);
|
||
if (addend != 0)
|
||
einfo ("+%v", addend);
|
||
einfo ("\n");
|
||
return TRUE;
|
||
}
|
||
|
||
/* This is called when a dangerous relocation is made. */
|
||
|
||
static bfd_boolean
|
||
reloc_dangerous (struct bfd_link_info *info ATTRIBUTE_UNUSED,
|
||
const char *message,
|
||
bfd *abfd,
|
||
asection *section,
|
||
bfd_vma address)
|
||
{
|
||
einfo (_("%X%C: dangerous relocation: %s\n"),
|
||
abfd, section, address, message);
|
||
return TRUE;
|
||
}
|
||
|
||
/* This is called when a reloc is being generated attached to a symbol
|
||
that is not being output. */
|
||
|
||
static bfd_boolean
|
||
unattached_reloc (struct bfd_link_info *info ATTRIBUTE_UNUSED,
|
||
const char *name,
|
||
bfd *abfd,
|
||
asection *section,
|
||
bfd_vma address)
|
||
{
|
||
einfo (_("%X%C: reloc refers to symbol `%T' which is not being output\n"),
|
||
abfd, section, address, name);
|
||
return TRUE;
|
||
}
|
||
|
||
/* This is called if link_info.notice_all is set, or when a symbol in
|
||
link_info.notice_hash is found. Symbols are put in notice_hash
|
||
using the -y option, while notice_all is set if the --cref option
|
||
has been supplied, or if there are any NOCROSSREFS sections in the
|
||
linker script; and if plugins are active, since they need to monitor
|
||
all references from non-IR files. */
|
||
|
||
static bfd_boolean
|
||
notice (struct bfd_link_info *info,
|
||
const char *name,
|
||
bfd *abfd,
|
||
asection *section,
|
||
bfd_vma value)
|
||
{
|
||
if (name == NULL)
|
||
{
|
||
if (command_line.cref || nocrossref_list != NULL)
|
||
return handle_asneeded_cref (abfd, (enum notice_asneeded_action) value);
|
||
return TRUE;
|
||
}
|
||
|
||
#ifdef ENABLE_PLUGINS
|
||
/* We should hide symbols in the dummy IR BFDs from the nocrossrefs list
|
||
and let the real object files that are generated and added later trip
|
||
the error instead. Similarly would be better to trace the real symbol
|
||
from the real file than the temporary dummy. */
|
||
if (!plugin_notice (info, name, abfd, section, value))
|
||
return TRUE;
|
||
#endif /* ENABLE_PLUGINS */
|
||
|
||
if (info->notice_hash != NULL
|
||
&& bfd_hash_lookup (info->notice_hash, name, FALSE, FALSE) != NULL)
|
||
{
|
||
if (bfd_is_und_section (section))
|
||
einfo ("%B: reference to %s\n", abfd, name);
|
||
else
|
||
einfo ("%B: definition of %s\n", abfd, name);
|
||
}
|
||
|
||
if (command_line.cref || nocrossref_list != NULL)
|
||
add_cref (name, abfd, section, value);
|
||
|
||
return TRUE;
|
||
}
|