-/* Copyright (C) 1991 Free Software Foundation, Inc.
-
+/* Main program of GNU linker.
+ Copyright (C) 1991, 92, 93, 94 Free Software Foundation, Inc.
+
This file is part of GLD, the Gnu Linker.
GLD 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 1, or (at your option)
+the Free Software Foundation; either version 2, or (at your option)
any later version.
GLD is distributed in the hope that it will be useful,
along with GLD; see the file COPYING. If not, write to
the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
-/*
- *
- * $Id$
- *
- *
- */
-
-#include "sysdep.h"
#include "bfd.h"
+#include "sysdep.h"
+#include <stdio.h>
+#include "libiberty.h"
+#include "bfdlink.h"
#include "config.h"
#include "ld.h"
#include "ldmisc.h"
#include "ldwrite.h"
#include "ldgram.h"
-#include "ldsym.h"
+#include "ldexp.h"
#include "ldlang.h"
-#include "ld-emul.h"
+#include "ldemul.h"
#include "ldlex.h"
#include "ldfile.h"
+#include "ldctor.h"
+
+/* 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>
+
+static char *get_emulation PARAMS ((int, char **));
+static void set_scripts_dir PARAMS ((void));
-/* IMPORTS */
-extern boolean lang_has_input_file;
-extern boolean trace_files;
/* EXPORTS */
char *default_target;
-char *output_filename = "a.out";
+const char *output_filename = "a.out";
+
/* Name this program was invoked by. */
char *program_name;
/* The file that we're creating */
bfd *output_bfd = 0;
-extern boolean option_v;
-
-/* The local symbol prefix */
-char lprefix = 'L';
-
-/* Count the number of global symbols multiply defined. */
-int multiple_def_count;
-
-
-/* Count the number of symbols defined through common declarations.
- This count is referenced in symdef_library, linear_library, and
- modified by enter_global_ref.
-
- It is incremented when a symbol is created as a common, and
- decremented when the common declaration is overridden
-
- Another way of thinking of it is that this is a count of
- all ldsym_types with a ->scoms field
-*/
-unsigned int commons_pending;
-
-
-/* Count the number of global symbols referenced and not defined.
- common symbols are not included in this count.
- */
-
-unsigned int undefined_global_sym_count;
-
-
-
-/* Count the number of warning symbols encountered. */
-int warning_count;
-
-/* have we had a load script ? */
-extern boolean had_script;
-
-
+/* Set by -G argument, for MIPS ECOFF target. */
+int g_switch_value = 8;
/* Nonzero means print names of input files as processed. */
boolean trace_files;
+/* Nonzero means same, but note open failures, too. */
+boolean trace_file_tries;
+/* Nonzero means version number was printed, so exit successfully
+ instead of complaining if no input files are given. */
+boolean version_printed;
/* 1 => write load map. */
boolean write_map;
+args_type command_line;
-int unix_relocate;
-
-
-
-
-
-
-
-
-/* Force the make_executable to be output, even if there are non-fatal
- errors */
-boolean force_make_executable;
-
-
-/* A count of the total number of local symbols ever seen - by adding
- the symbol_count field of each newly read afile.*/
-
-
-unsigned int total_symbols_seen;
-
-/* A count of the number of read files - the same as the number of elements
- in file_chain
- */
-unsigned int total_files_seen;
+ld_config_type config;
+static boolean check_for_scripts_dir PARAMS ((char *dir));
+static boolean add_archive_element PARAMS ((struct bfd_link_info *, bfd *,
+ const char *));
+static boolean multiple_definition PARAMS ((struct bfd_link_info *,
+ const char *,
+ bfd *, asection *, bfd_vma,
+ bfd *, asection *, bfd_vma));
+static boolean multiple_common PARAMS ((struct bfd_link_info *,
+ const char *, bfd *,
+ enum bfd_link_hash_type, bfd_vma,
+ bfd *, enum bfd_link_hash_type,
+ bfd_vma));
+static boolean add_to_set PARAMS ((struct bfd_link_info *,
+ struct bfd_link_hash_entry *,
+ unsigned int bitsize,
+ bfd *, asection *, bfd_vma));
+static boolean constructor_callback PARAMS ((struct bfd_link_info *,
+ boolean constructor,
+ unsigned int bitsize,
+ const char *name,
+ bfd *, asection *, bfd_vma));
+static boolean warning_callback PARAMS ((struct bfd_link_info *,
+ const char *));
+static boolean undefined_symbol PARAMS ((struct bfd_link_info *,
+ const char *, bfd *,
+ asection *, bfd_vma));
+static boolean reloc_overflow PARAMS ((struct bfd_link_info *, const char *,
+ const char *, bfd_vma,
+ bfd *, asection *, bfd_vma));
+static boolean reloc_dangerous PARAMS ((struct bfd_link_info *, const char *,
+ bfd *, asection *, bfd_vma));
+static boolean unattached_reloc PARAMS ((struct bfd_link_info *,
+ const char *, bfd *, asection *,
+ bfd_vma));
+static boolean notice_ysym PARAMS ((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_ysym
+};
+
+struct bfd_link_info link_info;
+\f
+static void
+remove_output ()
+{
+ if (output_filename)
+ {
+ if (output_bfd && output_bfd->iostream)
+ fclose((FILE *)(output_bfd->iostream));
+ if (delete_output_file_on_failure)
+ unlink (output_filename);
+ }
+}
-/* IMPORTS */
-args_type command_line;
-ld_config_type config;
int
main (argc, argv)
- char **argv;
int argc;
+ char **argv;
{
char *emulation;
+ long start_time = get_run_time ();
+
program_name = argv[0];
- output_filename = "a.out";
+ xmalloc_set_program_name (program_name);
-#ifdef GNU960
- check_v960( argc, argv );
-#endif
+ bfd_init ();
- emulation = (char *) getenv(EMULATION_ENVIRON);
+ xatexit (remove_output);
/* Initialize the data about options. */
-
- trace_files = false;
-
-
+ trace_files = trace_file_tries = version_printed = false;
write_map = false;
- config.relocateable_output = false;
- unix_relocate = 0;
+ config.build_constructors = true;
command_line.force_common_definition = false;
- ldfile_add_arch("");
- ldfile_add_library_path("./");
+ link_info.callbacks = &link_callbacks;
+ link_info.relocateable = false;
+ link_info.strip = strip_none;
+ link_info.discard = discard_none;
+ link_info.lprefix_len = 1;
+ link_info.lprefix = "L";
+ link_info.keep_memory = true;
+ link_info.input_bfds = NULL;
+ link_info.create_object_symbols_section = NULL;
+ link_info.hash = NULL;
+ link_info.keep_hash = NULL;
+ link_info.notice_hash = NULL;
+
+ ldfile_add_arch ("");
+
config.make_executable = true;
force_make_executable = false;
-
-
- /* Initialize the cumulative counts of symbols. */
- undefined_global_sym_count = 0;
- warning_count = 0;
- multiple_def_count = 0;
- commons_pending = 0;
-
- config.magic_demand_paged = true ;
+ config.magic_demand_paged = true;
+ config.text_read_only = true;
config.make_executable = true;
-#ifdef GNU960
- ldemul_choose_mode(LNK960_EMULATION_NAME);
-#else
- if (emulation == (char *)NULL) {
- emulation= DEFAULT_EMULATION;
- }
+ emulation = get_emulation (argc, argv);
+ ldemul_choose_mode (emulation);
+ default_target = ldemul_choose_target ();
+ lang_init ();
+ ldemul_before_parse ();
+ lang_has_input_file = false;
+ parse_args (argc, argv);
+ /* This essentially adds another -L directory so this must be done after
+ the -L's in argv have been processed. */
+ set_scripts_dir ();
- ldemul_choose_mode(emulation);
-#endif
+ if (had_script == false)
+ {
+ /* Read the emulation's appropriate default script. */
+ int isfile;
+ char *s = ldemul_get_script (&isfile);
+
+ if (isfile)
+ ldfile_open_command_file (s);
+ else
+ lex_redirect (s);
+ parser_input = input_script;
+ yyparse ();
+ }
- default_target = ldemul_choose_target();
+ if (link_info.relocateable && command_line.relax)
+ {
+ einfo ("%P%F: -relax and -r may not be used together\n");
+ }
+ lang_final ();
- lang_init();
- ldemul_before_parse();
- lang_has_input_file = false;
- parse_args(argc, argv);
- lang_final();
- if (trace_files) {
- info("%P: mode %s\n", emulation);
- }
- if (lang_has_input_file == false) {
- info("%P%F: No input files\n");
- }
+ if (lang_has_input_file == false)
+ {
+ if (version_printed)
+ xexit (0);
+ einfo ("%P%F: no input files\n");
+ }
- ldemul_after_parse();
+ if (trace_files)
+ {
+ info_msg ("%P: mode %s\n", emulation);
+ }
- lang_process();
+ 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)
+ {
+ 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 */
- /* Print a map, if requested. */
- if (write_map) {
- ldsym_print_symbol_table ();
- lang_map(stdout);
- }
-
-
- if (config.relocateable_output) {
- output_bfd->flags &= ~( D_PAGED);
- output_bfd->flags |= EXEC_P;
- ldwrite();
- bfd_close(output_bfd);
- }
- else {
- output_bfd->flags |= EXEC_P;
+ if (config.text_read_only)
+ {
+ /* Look for a text section and mark the readonly attribute in it */
+ asection *found = bfd_get_section_by_name (output_bfd, ".text");
- ldwrite();
- bfd_close(output_bfd);
- if (config.make_executable == false && force_make_executable == false) {
- unlink(output_filename);
+ if (found != (asection *) NULL)
+ {
+ found->flags |= SEC_READONLY;
+ }
}
- return (!config.make_executable);
- }
-
- return(0);
-} /* main() */
-
-
-void
-Q_read_entry_symbols (desc, entry)
- bfd *desc;
- struct lang_input_statement_struct *entry;
-{
- if (entry->asymbols == (asymbol **)NULL) {
- size_t table_size = get_symtab_upper_bound(desc);
- entry->asymbols = (asymbol **)ldmalloc(table_size);
- entry->symbol_count = bfd_canonicalize_symtab(desc, entry->asymbols) ;
- }
-}
+ if (link_info.relocateable)
+ output_bfd->flags &= ~EXEC_P;
+ else
+ output_bfd->flags |= EXEC_P;
+ ldwrite ();
-/*
- * turn this item into a reference
- */
-static void
-refize(sp, nlist_p)
-ldsym_type *sp;
-asymbol **nlist_p;
-{
- asymbol *sym = *nlist_p;
- sym->value = 0;
- sym->flags = BSF_UNDEFINED;
- sym->section = (asection *)NULL;
- sym->udata =(PTR)( sp->srefs_chain);
- sp->srefs_chain = nlist_p;
-}
-/*
-This function is called for each name which is seen which has a global
-scope. It enters the name into the global symbol table in the correct
-symbol on the correct chain. Remember that each ldsym_type has three
-chains attatched, one of all definitions of a symbol, one of all
-references of a symbol and one of all common definitions of a symbol.
-
-When the function is over, the supplied is left connected to the bfd
-to which is was born, with its udata field pointing to the next member
-on the chain in which it has been inserted.
-
-A certain amount of jigery pokery is necessary since commons come
-along and upset things, we only keep one item in the common chain; the
-one with the biggest size seen sofar. When another common comes along
-it either bumps the previous definition into the ref chain, since it
-is bigger, or gets turned into a ref on the spot since the one on the
-common chain is already bigger. If a real definition comes along then
-the common gets bumped off anyway.
-
-Whilst all this is going on we keep a count of the number of multiple
-definitions seen, undefined global symbols and pending commons.
-*/
+ /* Even if we're producing relocateable output, some non-fatal errors should
+ be reported in the exit status. (What non-fatal errors, if any, do we
+ want to ignore for relocateable output?) */
+ if (config.make_executable == false && force_make_executable == false)
+ {
+ if (trace_files == true)
+ {
+ einfo ("%P: link errors found, deleting executable `%s'\n",
+ output_filename);
+ }
-void
-Q_enter_global_ref (nlist_p)
- asymbol **nlist_p;
+ if (output_bfd->iostream)
+ fclose ((FILE *) (output_bfd->iostream));
-{
- asymbol *sym = *nlist_p;
- CONST char *name = sym->name;
- ldsym_type *sp = ldsym_get (name);
-
- flagword this_symbol_flags = sym->flags;
-
-
- ASSERT(sym->udata == 0);
-
- /* Just place onto correct chain */
- if (flag_is_common(this_symbol_flags)) {
- /* If we have a definition of this symbol already then
- * this common turns into a reference. Also we only
- * ever point to the largest common, so if we
- * have a common, but it's bigger that the new symbol
- * the turn this into a reference too.
- */
- if (sp->sdefs_chain)
- {
- /* This is a common symbol, but we already have a definition
- for it, so just link it into the ref chain as if
- it were a reference
- */
- refize(sp, nlist_p);
- }
- else if (sp->scoms_chain) {
- /* If we have a previous common, keep only the biggest */
- if ( (*(sp->scoms_chain))->value > sym->value) {
- /* other common is bigger, throw this one away */
- refize(sp, nlist_p);
- }
- else if (sp->scoms_chain != nlist_p) {
- /* other common is smaller, throw that away */
- refize(sp, sp->scoms_chain);
- sp->scoms_chain = nlist_p;
- }
- }
- else {
- /* This is the first time we've seen a common, so
- * remember it - if it was undefined before, we know it's defined now
- */
- if (sp->srefs_chain)
- undefined_global_sym_count--;
-
- commons_pending++;
- sp->scoms_chain = nlist_p;
- }
- }
-
- else if (flag_is_defined(this_symbol_flags)) {
- /* This is the definition of a symbol, add to def chain */
- if (sp->sdefs_chain && (*(sp->sdefs_chain))->section != sym->section) {
- /* Multiple definition */
- asymbol *sy = *(sp->sdefs_chain);
- lang_input_statement_type *stat = (lang_input_statement_type *) sy->the_bfd->usrdata;
- lang_input_statement_type *stat1 = (lang_input_statement_type *) sym->the_bfd->usrdata;
- asymbol ** stat1_symbols = stat1 ? stat1->asymbols: 0;
- asymbol ** stat_symbols = stat ? stat->asymbols:0;
-
- multiple_def_count++;
- info("%C: multiple definition of `%T'\n",
- sym->the_bfd,
- sym->section,
- stat1_symbols,
- sym->value,
- sym);
-
- info("%C: first seen here\n",
- sy->the_bfd,
- sy->section,
- stat_symbols,
- sy->value);
+ unlink (output_filename);
+ xexit (1);
}
- else {
- sym->udata =(PTR)( sp->sdefs_chain);
- sp->sdefs_chain = nlist_p;
- }
- /* A definition overrides a common symbol */
- if (sp->scoms_chain) {
- refize(sp, sp->scoms_chain);
- sp->scoms_chain = 0;
- commons_pending--;
- }
- else if (sp->srefs_chain) {
- /* If previously was undefined, then remember as defined */
- undefined_global_sym_count--;
+ else
+ {
+ bfd_close (output_bfd);
}
- }
- else {
- if (sp->scoms_chain == (asymbol **)NULL
- && sp->srefs_chain == (asymbol **)NULL
- && sp->sdefs_chain == (asymbol **)NULL) {
- /* And it's the first time we've seen it */
- undefined_global_sym_count++;
+ if (config.stats)
+ {
+ extern char **environ;
+ char *lim = (char *) sbrk (0);
+ 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);
+ fprintf (stderr, "%s: data size %ld\n", program_name,
+ (long) (lim - (char *) &environ));
}
- refize(sp, nlist_p);
- }
-
- ASSERT(sp->sdefs_chain == 0 || sp->scoms_chain == 0);
- ASSERT(sp->scoms_chain ==0 || (*(sp->scoms_chain))->udata == 0);
-
+ /* Prevent remove_output from doing anything, after a successful link. */
+ output_filename = NULL;
+ xexit (0);
+ return 0;
}
-static void
-Q_enter_file_symbols (entry)
-lang_input_statement_type *entry;
-{
- asymbol **q ;
- entry->common_section =
- bfd_make_section(entry->the_bfd, "COMMON");
-
- ldlang_add_file(entry);
+/* 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 (argc, argv)
+ int argc;
+ char **argv;
+{
+ char *emulation;
+ int i;
- if (trace_files || option_v) {
- info("%I\n", entry);
- }
+ emulation = (char *) getenv (EMULATION_ENVIRON);
+ if (emulation == NULL)
+ emulation = DEFAULT_EMULATION;
- total_symbols_seen += entry->symbol_count;
- total_files_seen ++;
- for (q = entry->asymbols; *q; q++)
+ for (i = 1; i < argc; i++)
{
- asymbol *p = *q;
-
- if (flag_is_undefined_or_global_or_common(p->flags))
+ if (!strncmp (argv[i], "-m", 2))
{
- Q_enter_global_ref(q);
+ 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)
+ {
+ /* FIXME: The arguments -mips1, -mips2 and -mips3 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
+ {
+ /* -mEMUL */
+ emulation = &argv[i][2];
+ }
}
- ASSERT(p->flags != 0);
}
-}
+ return emulation;
+}
+/* If directory DIR contains an "ldscripts" subdirectory,
+ add DIR to the library search path and return true,
+ else return false. */
-/* Searching libraries */
+static boolean
+check_for_scripts_dir (dir)
+ char *dir;
+{
+ size_t dirlen;
+ char *buf;
+ struct stat s;
+ boolean res;
+
+ dirlen = strlen (dir);
+ /* sizeof counts the terminating NUL. */
+ buf = (char *) xmalloc (dirlen + sizeof("/ldscripts"));
+ sprintf (buf, "%s/ldscripts", dir);
+
+ res = stat (buf, &s) == 0 && S_ISDIR (s.st_mode);
+ free (buf);
+ if (res)
+ ldfile_add_library_path (dir);
+ return res;
+}
-struct lang_input_statement_struct *decode_library_subfile ();
-void linear_library (), symdef_library ();
+/* Set the default directory for finding script files.
+ Libraries will be searched for here too, but that's ok.
+ We look for the "ldscripts" directory in:
-/* Search the library ENTRY, already open on descriptor DESC.
- This means deciding which library members to load,
- making a chain of `struct lang_input_statement_struct' for those members,
- and entering their global symbols in the hash table. */
+ SCRIPTDIR (passed from Makefile)
+ the dir where this program is (for using it from the build tree)
+ the dir where this program is/../lib (for installing the tool suite elsewhere) */
-void
-search_library (entry)
- struct lang_input_statement_struct *entry;
+static void
+set_scripts_dir ()
{
+ char *end, *dir;
+ size_t dirlen;
- /* No need to load a library if no undefined symbols */
- if (!undefined_global_sym_count) return;
+ if (check_for_scripts_dir (SCRIPTDIR))
+ return; /* We've been installed normally. */
- if (bfd_has_map(entry->the_bfd))
- symdef_library (entry);
+ /* Look for "ldscripts" in the dir where our binary is. */
+ end = strrchr (program_name, '/');
+ if (end)
+ {
+ dirlen = end - program_name;
+ /* Make a copy of program_name in dir.
+ Leave room for later "/../lib". */
+ dir = (char *) xmalloc (dirlen + 8);
+ strncpy (dir, program_name, dirlen);
+ dir[dirlen] = '\0';
+ }
else
- linear_library (entry);
-
-}
+ {
+ dirlen = 1;
+ dir = (char *) xmalloc (dirlen + 8);
+ strcpy (dir, ".");
+ }
+ if (check_for_scripts_dir (dir))
+ return; /* Don't free dir. */
-#ifdef GNU960
-static
-boolean
-gnu960_check_format (abfd, format)
-bfd *abfd;
-bfd_format format;
-{
- boolean retval;
+ /* Look for "ldscripts" in <the dir where our binary is>/../lib. */
+ strcpy (dir + dirlen, "/../lib");
+ if (check_for_scripts_dir (dir))
+ return;
- if ((bfd_check_format(abfd,format) == true) && BFD_COFF_FILE_P(abfd)) {
- return true;
- }
- return false;
+ free (dir); /* Well, we tried. */
}
-#endif
void
-ldmain_open_file_read_symbol (entry)
-struct lang_input_statement_struct *entry;
+add_ysym (name)
+ const char *name;
{
- if (entry->asymbols == (asymbol **)NULL
- &&entry->real == true
- && entry->filename != (char *)NULL)
+ if (link_info.notice_hash == (struct bfd_hash_table *) NULL)
{
- ldfile_open_file (entry);
-
-#ifdef GNU960
- if (gnu960_check_format(entry->the_bfd, bfd_object))
-#else
- if (bfd_check_format(entry->the_bfd, bfd_object))
-#endif
- {
- entry->the_bfd->usrdata = (PTR)entry;
-
-
- Q_read_entry_symbols (entry->the_bfd, entry);
- Q_enter_file_symbols (entry);
- }
-#ifdef GNU960
- else if (gnu960_check_format(entry->the_bfd, bfd_archive))
-#else
- else if (bfd_check_format(entry->the_bfd, bfd_archive))
-#endif
- {
- entry->the_bfd->usrdata = (PTR)entry;
-
- entry->subfiles = (lang_input_statement_type *)NULL;
- search_library (entry);
- }
- else
- {
- info("%F%B: malformed input file (not rel or archive) \n",
- entry->the_bfd);
- }
- }
-
+ 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,
+ 61))
+ einfo ("%P%F: bfd_hash_table_init failed: %E\n");
+ }
+
+ if (bfd_hash_lookup (link_info.notice_hash, name, true, true)
+ == (struct bfd_hash_entry *) NULL)
+ einfo ("%P%F: bfd_hash_lookup failed: %E\n");
}
+/* Handle the -retain-symbols-file option. */
-/* Construct and return a lang_input_statement_struct for a library member.
- The library's lang_input_statement_struct is library_entry,
- and the library is open on DESC.
- SUBFILE_OFFSET is the byte index in the library of this member's header.
- We store the length of the member into *LENGTH_LOC. */
-
-lang_input_statement_type *
-decode_library_subfile (library_entry, subfile_offset)
- struct lang_input_statement_struct *library_entry;
- bfd *subfile_offset;
-{
- register struct lang_input_statement_struct *subentry;
- subentry = (struct lang_input_statement_struct *) ldmalloc (sizeof (struct lang_input_statement_struct));
- subentry->filename = subfile_offset -> filename;
- subentry->local_sym_name = subfile_offset->filename;
- subentry->asymbols = 0;
- subentry->the_bfd = subfile_offset;
- subentry->subfiles = 0;
- subentry->next = 0;
- subentry->superfile = library_entry;
- subentry->is_archive = false;
-
- subentry->just_syms_flag = false;
- subentry->loaded = false;
- subentry->chain = 0;
-
- return subentry;
-}
-
-boolean subfile_wanted_p ();
void
-clear_syms(entry, offset)
-struct lang_input_statement_struct *entry;
-file_ptr offset;
+add_keepsyms_file (filename)
+ const char *filename;
{
- carsym *car;
- unsigned long indx = bfd_get_next_mapent(entry->the_bfd,
- BFD_NO_MORE_SYMBOLS,
- &car);
- while (indx != BFD_NO_MORE_SYMBOLS) {
- if (car->file_offset == offset) {
- car->name = 0;
- }
- indx = bfd_get_next_mapent(entry->the_bfd, indx, &car);
- }
+ FILE *file;
+ char *buf;
+ size_t bufsize;
+ int c;
-}
+ if (link_info.strip == strip_some)
+ einfo ("%X%P: error: duplicate retain-symbols-file\n");
-/* Search a library that has a map
- */
-void
-symdef_library (entry)
- struct lang_input_statement_struct *entry;
-
-{
- register struct lang_input_statement_struct *prev = 0;
+ file = fopen (filename, "r");
+ if (file == (FILE *) NULL)
+ {
+ bfd_set_error (bfd_error_system_call);
+ einfo ("%X%P: %s: %E", filename);
+ return;
+ }
- boolean not_finished = true;
+ 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))
+ einfo ("%P%F: bfd_hash_table_init failed: %E\n");
+ bufsize = 100;
+ buf = (char *) xmalloc (bufsize);
- while (not_finished == true)
+ c = getc (file);
+ while (c != EOF)
{
- carsym *exported_library_name;
- bfd *prev_archive_member_bfd = 0;
-
- int idx = bfd_get_next_mapent(entry->the_bfd,
- BFD_NO_MORE_SYMBOLS,
- &exported_library_name);
-
- not_finished = false;
+ while (isspace (c))
+ c = getc (file);
- while (idx != BFD_NO_MORE_SYMBOLS && undefined_global_sym_count)
+ if (c != EOF)
{
+ size_t len = 0;
- if (exported_library_name->name)
+ while (! isspace (c) && c != EOF)
{
-
- ldsym_type *sp = ldsym_get_soft (exported_library_name->name);
-
- /* If we find a symbol that appears to be needed, think carefully
- about the archive member that the symbol is in. */
- /* So - if it exists, and is referenced somewhere and is
- undefined or */
- if (sp && sp->srefs_chain && !sp->sdefs_chain)
+ buf[len] = c;
+ ++len;
+ if (len >= bufsize)
{
- bfd *archive_member_bfd = bfd_get_elt_at_index(entry->the_bfd, idx);
- struct lang_input_statement_struct *archive_member_lang_input_statement_struct;
+ bufsize *= 2;
+ buf = xrealloc (buf, bufsize);
+ }
+ c = getc (file);
+ }
-#ifdef GNU960
- if (archive_member_bfd && gnu960_check_format(archive_member_bfd, bfd_object))
-#else
- if (archive_member_bfd && bfd_check_format(archive_member_bfd, bfd_object))
-#endif
- {
+ buf[len] = '\0';
- /* Don't think carefully about any archive member
- more than once in a given pass. */
- if (prev_archive_member_bfd != archive_member_bfd)
- {
+ if (bfd_hash_lookup (link_info.keep_hash, buf, true, true)
+ == (struct bfd_hash_entry *) NULL)
+ einfo ("%P%F: bfd_hash_lookup for insertion failed: %E");
+ }
+ }
- prev_archive_member_bfd = archive_member_bfd;
+ if (link_info.strip != strip_none)
+ einfo ("%P: `-retain-symbols-file' overrides `-s' and `-S'\n");
- /* Read the symbol table of the archive member. */
+ link_info.strip = strip_some;
+}
+\f
+/* Callbacks from the BFD linker routines. */
+
+/* This is called when BFD has decided to include an archive member in
+ a link. */
+
+/*ARGSUSED*/
+static boolean
+add_archive_element (info, abfd, name)
+ struct bfd_link_info *info;
+ bfd *abfd;
+ const char *name;
+{
+ lang_input_statement_type *input;
+
+ input = ((lang_input_statement_type *)
+ xmalloc ((bfd_size_type) sizeof (lang_input_statement_type)));
+ input->filename = abfd->filename;
+ input->local_sym_name = abfd->filename;
+ input->the_bfd = abfd;
+ input->asymbols = NULL;
+ input->subfiles = NULL;
+ input->next = NULL;
+ input->just_syms_flag = false;
+ input->loaded = false;
+ input->chain = NULL;
+
+ /* FIXME: This is wrong. It should point to an entry for the
+ archive itself. However, it doesn't seem to matter. */
+ input->superfile = NULL;
+
+ /* FIXME: The following fields are not set: header.next,
+ header.type, closed, passive_position, symbol_count, total_size,
+ next_real_file, is_archive, search_dirs_flag, target, real,
+ common_section, common_output_section, complained. This bit of
+ code is from the old decode_library_subfile function. I don't
+ know whether any of those fields matters. */
+
+ ldlang_add_file (input);
+
+ if (write_map)
+ info_msg ("%s needed due to %T\n", abfd->filename, name);
+
+ if (trace_files || trace_file_tries)
+ info_msg ("%I\n", input);
+
+ return true;
+}
- if (archive_member_bfd->usrdata != (PTR)NULL) {
+/* This is called when BFD has discovered a symbol which is defined
+ multiple times. */
+
+/*ARGSUSED*/
+static boolean
+multiple_definition (info, name, obfd, osec, oval, nbfd, nsec, nval)
+ struct bfd_link_info *info;
+ const char *name;
+ bfd *obfd;
+ asection *osec;
+ bfd_vma oval;
+ bfd *nbfd;
+ asection *nsec;
+ bfd_vma nval;
+{
+ einfo ("%X%C: multiple definition of `%T'\n",
+ nbfd, nsec, nval, name);
+ if (obfd != (bfd *) NULL)
+ einfo ("%C: first defined here\n", obfd, osec, oval);
+ return true;
+}
- archive_member_lang_input_statement_struct =(lang_input_statement_type *) archive_member_bfd->usrdata;
- }
- else {
+/* 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. */
+
+/*ARGSUSED*/
+static boolean
+multiple_common (info, name, obfd, otype, osize, nbfd, ntype, nsize)
+ struct bfd_link_info *info;
+ 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;
- archive_member_lang_input_statement_struct =
- decode_library_subfile (entry, archive_member_bfd);
- archive_member_bfd->usrdata = (PTR) archive_member_lang_input_statement_struct;
+ if (ntype == bfd_link_hash_defined)
+ {
+ ASSERT (otype == bfd_link_hash_common);
+ einfo ("%B: warning: definition of `%T' overriding common\n",
+ nbfd, name);
+ einfo ("%B: warning: common is here\n", obfd);
+ }
+ else if (otype == bfd_link_hash_defined)
+ {
+ ASSERT (ntype == bfd_link_hash_common);
+ einfo ("%B: warning: common of `%T' overridden by definition\n",
+ nbfd, name);
+ 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);
+ 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);
+ einfo ("%B: warning: smaller common is here\n", obfd);
+ }
+ else
+ {
+ einfo ("%B: warning: multiple common of `%T'\n", nbfd, name);
+ einfo ("%B: warning: previous common is here\n", obfd);
+ }
+ }
- }
+ return true;
+}
- if (archive_member_lang_input_statement_struct == 0) {
- info ("%F%I contains invalid archive member %s\n",
- entry,
- sp->name);
- }
+/* 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. */
+
+/*ARGSUSED*/
+static boolean
+add_to_set (info, h, bitsize, abfd, section, value)
+ struct bfd_link_info *info;
+ struct bfd_link_hash_entry *h;
+ unsigned int bitsize;
+ bfd *abfd;
+ asection *section;
+ bfd_vma value;
+{
+ ldctor_add_set_entry (h, bitsize, section, value);
+ return true;
+}
- if (archive_member_lang_input_statement_struct->loaded == false)
- {
+/* 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 boolean
+constructor_callback (info, constructor, bitsize, name, abfd, section, value)
+ struct bfd_link_info *info;
+ boolean constructor;
+ unsigned int bitsize;
+ const char *name;
+ bfd *abfd;
+ asection *section;
+ bfd_vma value;
+{
+ char *set_name;
+ char *s;
+ struct bfd_link_hash_entry *h;
+
+ if (! config.build_constructors)
+ return true;
+
+ set_name = (char *) alloca (1 + sizeof "__CTOR_LIST__");
+ 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__");
- Q_read_entry_symbols (archive_member_bfd, archive_member_lang_input_statement_struct);
- /* Now scan the symbol table and decide whether to load. */
+ if (write_map)
+ info_msg ("Adding %s to constructor/destructor set %s\n", name, set_name);
+ 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");
+ 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. */
+ }
- if (subfile_wanted_p (archive_member_lang_input_statement_struct) == true)
+ ldctor_add_set_entry (h, bitsize, section, value);
+ return true;
+}
- {
- /* This member is needed; load it.
- Since we are loading something on this pass,
- we must make another pass through the symdef data. */
+/* This is called when there is a reference to a warning symbol. */
- not_finished = true;
+/*ARGSUSED*/
+static boolean
+warning_callback (info, warning)
+ struct bfd_link_info *info;
+ const char *warning;
+{
+ einfo ("%P: %s\n", warning);
+ return true;
+}
- Q_enter_file_symbols (archive_member_lang_input_statement_struct);
+/* This is called when an undefined symbol is found. */
- if (prev)
- prev->chain = archive_member_lang_input_statement_struct;
- else
- entry->subfiles = archive_member_lang_input_statement_struct;
+/*ARGSUSED*/
+static boolean
+undefined_symbol (info, name, abfd, section, address)
+ struct bfd_link_info *info;
+ const char *name;
+ bfd *abfd;
+ asection *section;
+ bfd_vma address;
+{
+ static char *error_name;
+ static unsigned int error_count;
+#define MAX_ERRORS_IN_A_ROW 5
- prev = archive_member_lang_input_statement_struct;
+ /* We never print more than a reasonable number of errors in a row
+ for a single symbol. */
+ if (error_name != (char *) NULL
+ && strcmp (name, error_name) == 0)
+ ++error_count;
+ else
+ {
+ error_count = 0;
+ if (error_name != (char *) NULL)
+ free (error_name);
+ error_name = buystring (name);
+ }
+ if (error_count < MAX_ERRORS_IN_A_ROW)
+ einfo ("%X%C: undefined reference to `%T'\n",
+ abfd, section, address, name);
+ else if (error_count == MAX_ERRORS_IN_A_ROW)
+ einfo ("%C: more undefined references to `%T' follow\n",
+ abfd, section, address, name);
- /* Clear out this member's symbols from the symdef data
- so that following passes won't waste time on them. */
- clear_syms(entry, exported_library_name->file_offset);
- archive_member_lang_input_statement_struct->loaded = true;
- }
- }
- }
- }
- }
- }
- idx = bfd_get_next_mapent(entry->the_bfd, idx, &exported_library_name);
- }
- }
+ return true;
}
-void
-linear_library (entry)
-struct lang_input_statement_struct *entry;
+/* This is called when a reloc overflows. */
+
+/*ARGSUSED*/
+static boolean
+reloc_overflow (info, name, reloc_name, addend, abfd, section, address)
+ struct bfd_link_info *info;
+ const char *name;
+ const char *reloc_name;
+ bfd_vma addend;
+ bfd *abfd;
+ asection *section;
+ bfd_vma address;
{
- boolean more_to_do = true;
- register struct lang_input_statement_struct *prev = 0;
-
- while (more_to_do) {
-
- bfd * archive = bfd_openr_next_archived_file(entry->the_bfd,0);
-
- more_to_do = false;
- while (archive) {
-#ifdef GNU960
- if (gnu960_check_format(archive, bfd_object))
-#else
- if (bfd_check_format(archive, bfd_object))
-#endif
- {
- register struct lang_input_statement_struct *subentry;
-
- subentry = decode_library_subfile (entry,
- archive);
-
- archive->usrdata = (PTR) subentry;
- if (!subentry) return;
- if (subentry->loaded == false) {
- Q_read_entry_symbols (archive, subentry);
-
- if (subfile_wanted_p (subentry) == true)
- {
- Q_enter_file_symbols (subentry);
-
- if (prev)
- prev->chain = subentry;
- else
- entry->subfiles = subentry;
- prev = subentry;
-
- more_to_do = true;
- subentry->loaded = true;
- }
- }
- }
- archive = bfd_openr_next_archived_file(entry->the_bfd,archive);
-
- }
-
- }
+ einfo ("%X%C: relocation truncated to fit: %s %T", abfd, section,
+ address, reloc_name, name);
+ if (addend != 0)
+ einfo ("+%v", addend);
+ einfo ("\n");
+ return true;
}
- /* ENTRY is an entry for a library member.
- Its symbols have been read into core, but not entered.
- Return nonzero if we ought to load this member. */
+/* This is called when a dangerous relocation is made. */
-boolean
-subfile_wanted_p (entry)
-struct lang_input_statement_struct *entry;
+/*ARGSUSED*/
+static boolean
+reloc_dangerous (info, message, abfd, section, address)
+ struct bfd_link_info *info;
+ const char *message;
+ bfd *abfd;
+ asection *section;
+ bfd_vma address;
{
- asymbol **q;
-
- for (q = entry->asymbols; *q; q++)
- {
- asymbol *p = *q;
-
- /* If the symbol has an interesting definition, we could
- potentially want it. */
-
- if (p->flags & BSF_FORT_COMM
- || p->flags & BSF_GLOBAL)
- {
- register ldsym_type *sp = ldsym_get_soft (p->name);
-
-
- /* If this symbol has not been hashed,
- we can't be looking for it. */
- if (sp != (ldsym_type *)NULL
- && sp->sdefs_chain == (asymbol **)NULL) {
- if (sp->srefs_chain != (asymbol **)NULL
- || sp->scoms_chain != (asymbol **)NULL)
- {
- /* This is a symbol we are looking for. It is either
- not yet defined or common. */
-
- if (flag_is_common(p->flags))
- {
- /* This libary member has something to
- say about this element. We should
- remember if its a new size */
- /* Move something from the ref list to the com list */
- if(sp->scoms_chain) {
- /* Already a common symbol, maybe update it */
- if (p->value > (*(sp->scoms_chain))->value) {
- (*(sp->scoms_chain))->value = p->value;
- }
- }
- else {
- /* Take a value from the ref chain
- Here we are moving a symbol from the owning bfd
- to another bfd. We must set up the
- common_section portion of the bfd thing */
-
-
-
- sp->scoms_chain = sp->srefs_chain;
- sp->srefs_chain =
- (asymbol **)((*(sp->srefs_chain))->udata);
- (*(sp->scoms_chain))->udata = (PTR)NULL;
-
- (*( sp->scoms_chain))->flags = BSF_FORT_COMM;
- /* Remember the size of this item */
- sp->scoms_chain[0]->value = p->value;
- commons_pending++;
- undefined_global_sym_count--;
- } {
- asymbol *com = *(sp->scoms_chain);
- if (((lang_input_statement_type *)
- (com->the_bfd->usrdata))->common_section ==
- (asection *)NULL) {
- ((lang_input_statement_type *)
- (com->the_bfd->usrdata))->common_section =
- bfd_make_section(com->the_bfd, "COMMON");
- }
- }
- ASSERT(p->udata == 0);
- }
-
- else {
- if (write_map)
- {
- info("%I needed due to %s\n",entry, sp->name);
- }
- return true;
- }
- }
- }
- }
- }
+ einfo ("%X%C: dangerous relocation: %s\n", abfd, section, address, message);
+ return true;
+}
- return false;
+/* This is called when a reloc is being generated attached to a symbol
+ that is not being output. */
+
+/*ARGSUSED*/
+static boolean
+unattached_reloc (info, name, abfd, section, address)
+ struct bfd_link_info *info;
+ 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 when a symbol in notice_hash is found. Symbols are
+ put in notice_hash using the -y option. */
+
+/*ARGSUSED*/
+static boolean
+notice_ysym (info, name, abfd, section, value)
+ struct bfd_link_info *info;
+ const char *name;
+ bfd *abfd;
+ asection *section;
+ bfd_vma value;
+{
+ einfo ("%B: %s %s\n", abfd,
+ section != &bfd_und_section ? "definition of" : "reference to",
+ name);
+ return true;
+}
projects / binutils.git / blobdiff