-/* 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.
#include "bfd.h"
#include "sysdep.h"
+#include <stdio.h>
+#include "libiberty.h"
+#include "progress.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 "ldemul.h"
#include "ldlex.h"
#include "ldfile.h"
-#include "ldindr.h"
-#include "ldwarn.h"
#include "ldctor.h"
-#include "lderror.h"
/* Somewhere above, sys/stat.h got included . . . . */
#if !defined(S_ISDIR) && defined(S_IFDIR)
#include <string.h>
-static char *get_emulation ();
-static void set_scripts_dir ();
-
-/* IMPORTS */
-extern boolean lang_has_input_file;
-extern boolean force_make_executable;
-extern boolean relaxing;
-extern boolean had_script;
+static char *get_emulation PARAMS ((int, char **));
+static void set_scripts_dir PARAMS ((void));
/* 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;
-/* set if -y on the command line */
-int had_y;
-
-/* The local symbol prefix */
-char lprefix = 'L';
-
/* Set by -G argument, for MIPS ECOFF target. */
int g_switch_value = 8;
-/* 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;
-
/* Nonzero means print names of input files as processed. */
boolean trace_files;
/* Nonzero means same, but note open failures, too. */
boolean trace_file_tries;
-/* 1 => write load map. */
-boolean write_map;
+/* Nonzero means version number was printed, so exit successfully
+ instead of complaining if no input files are given. */
+boolean version_printed;
-#ifdef GNU960
-/* Indicates whether output file will be b.out (default) or coff */
-enum target_flavour output_flavor = BFD_BOUT_FORMAT;
-#endif
-
-/* 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;
+/* Nonzero means link in every member of an archive. */
+boolean whole_archive;
args_type command_line;
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 *,
+ bfd_reloc_code_real_type,
+ bfd *, asection *, bfd_vma));
+static boolean constructor_callback PARAMS ((struct bfd_link_info *,
+ boolean constructor,
+ 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
-void
+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);
+ }
+}
+
+int
main (argc, argv)
- char **argv;
int argc;
+ char **argv;
{
char *emulation;
+ long start_time = get_run_time ();
program_name = argv[0];
+ xmalloc_set_program_name (program_name);
- bfd_init ();
+ START_PROGRESS (program_name, 0);
- /* Initialize the data about options. */
+ bfd_init ();
+ xatexit (remove_output);
- trace_files = trace_file_tries = false;
- write_map = false;
- config.relocateable_output = false;
+ /* Initialize the data about options. */
+ trace_files = trace_file_tries = version_printed = false;
+ whole_archive = false;
+ config.traditional_format = false;
+ config.build_constructors = true;
+ config.dynamic_link = false;
command_line.force_common_definition = false;
+ command_line.interpreter = NULL;
+ command_line.rpath = NULL;
+
+ link_info.callbacks = &link_callbacks;
+ link_info.relocateable = false;
+ link_info.shared = 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;
- init_bfd_error_vector ();
- ldsym_init ();
ldfile_add_arch ("");
- set_scripts_dir ();
-
config.make_executable = true;
force_make_executable = false;
-
-
- /* Initialize the cumulative counts of symbols. */
- undefined_global_sym_count = 0;
- multiple_def_count = 0;
- commons_pending = 0;
-
config.magic_demand_paged = true;
config.text_read_only = true;
config.make_executable = true;
lang_has_input_file = false;
parse_args (argc, argv);
- if (had_script == false)
+ if (link_info.relocateable)
{
- /* Read the emulation's appropriate default script. */
- char *scriptname = ldemul_get_script ();
- /* sizeof counts the terminating NUL. */
- size_t size = strlen (scriptname) + sizeof ("-T /ldscripts/");
- char *buf = (char *) ldmalloc(size);
- /* The initial slash prevents finding the script in `.' first. */
- sprintf (buf, "-T /ldscripts/%s", scriptname);
- parse_line (buf, 0);
- free (buf);
+ if (command_line.relax)
+ einfo ("%P%F: -relax and -r may not be used together\n");
+ if (config.dynamic_link)
+ einfo ("%P%F: -r and -call_shared may not be used together\n");
+ if (link_info.shared)
+ einfo ("%P%F: -r and -shared may not be used together\n");
+ }
+
+ /* 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.relocateable && link_info.strip == strip_all)
+ {
+ link_info.strip = strip_debugger;
+ if (link_info.discard == discard_none)
+ link_info.discard = discard_all;
}
- if (config.relocateable_output && command_line.relax)
+ /* This essentially adds another -L directory so this must be done after
+ the -L's in argv have been processed. */
+ set_scripts_dir ();
+
+ if (had_script == false)
{
- einfo ("%P%F: -relax and -r may not be used together\n");
+ /* Read the emulation's appropriate default script. */
+ int isfile;
+ char *s = ldemul_get_script (&isfile);
+
+ if (isfile)
+ ldfile_open_command_file (s);
+ else
+ {
+ if (trace_file_tries)
+ {
+ info_msg ("using internal linker script:\n");
+ info_msg ("==================================================\n");
+ info_msg (s);
+ info_msg ("\n==================================================\n");
+ }
+ lex_redirect (s);
+ }
+ parser_input = input_script;
+ yyparse ();
}
+
lang_final ();
if (lang_has_input_file == false)
{
- einfo ("%P%F: No input files\n");
+ if (version_printed)
+ xexit (0);
+ einfo ("%P%F: no input files\n");
}
if (trace_files)
{
- info ("%P: mode %s\n", emulation);
+ info_msg ("%P: mode %s\n", emulation);
}
ldemul_after_parse ();
}
}
- if (config.relocateable_output)
+ if (link_info.relocateable)
output_bfd->flags &= ~EXEC_P;
else
output_bfd->flags |= EXEC_P;
{
if (trace_files == true)
{
- einfo ("%P: Link errors found, deleting executable `%s'\n",
+ einfo ("%P: link errors found, deleting executable `%s'\n",
output_filename);
}
fclose ((FILE *) (output_bfd->iostream));
unlink (output_filename);
- exit (1);
+ xexit (1);
}
else
{
- bfd_close (output_bfd);
+ if (! bfd_close (output_bfd))
+ einfo ("%F%B: final close failed: %E\n", output_bfd);
}
- exit (0);
+ END_PROGRESS (program_name);
+
+ 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));
+ }
+
+ /* Prevent remove_output from doing anything, after a successful link. */
+ output_filename = NULL;
+
+ xexit (0);
+ return 0;
}
/* We need to find any explicitly given emulation in order to initialize the
char *emulation;
int i;
-#ifdef GNU960
- check_v960 (argc, argv);
- emulation = "gld960";
- for (i = 1; i < argc; i++)
- {
- if (!strcmp (argv[i], "-Fcoff"))
- {
- emulation = "lnk960";
- output_flavor = BFD_COFF_FORMAT;
- break;
- }
- }
-#else
emulation = (char *) getenv (EMULATION_ENVIRON);
if (emulation == NULL)
emulation = DEFAULT_EMULATION;
-#endif
for (i = 1; i < argc; i++)
{
}
else
{
- einfo("%P%F missing argument to -m\n");
+ 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 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 */
dirlen = strlen (dir);
/* sizeof counts the terminating NUL. */
- buf = (char *) ldmalloc (dirlen + sizeof("/ldscripts"));
+ 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);
+ ldfile_add_library_path (dir, false);
return res;
}
dirlen = end - program_name;
/* Make a copy of program_name in dir.
Leave room for later "/../lib". */
- dir = (char *) ldmalloc (dirlen + 8);
+ dir = (char *) xmalloc (dirlen + 8);
strncpy (dir, program_name, dirlen);
dir[dirlen] = '\0';
}
else
{
dirlen = 1;
- dir = (char *) ldmalloc (dirlen + 8);
+ dir = (char *) xmalloc (dirlen + 8);
strcpy (dir, ".");
}
}
void
-read_entry_symbols (desc, entry)
- bfd *desc;
- struct lang_input_statement_struct *entry;
+add_ysym (name)
+ const char *name;
{
- if (entry->asymbols == (asymbol **) NULL)
+ if (link_info.notice_hash == (struct bfd_hash_table *) NULL)
{
- bfd_size_type table_size = get_symtab_upper_bound (desc);
-
- entry->asymbols = (asymbol **) ldmalloc (table_size);
- entry->symbol_count = bfd_canonicalize_symtab (desc, entry->asymbols);
- }
+ 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");
}
-/*
- * turn this item into a reference
- */
-void
-refize (sp, nlist_p)
- ldsym_type *sp;
- asymbol **nlist_p;
-{
- asymbol *sym = *nlist_p;
-
- sym->value = 0;
- sym->flags = 0;
- sym->section = &bfd_und_section;
- 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.
-*/
+/* Handle the -retain-symbols-file option. */
void
-enter_global_ref (nlist_p, name)
- asymbol ** nlist_p; /* pointer into symbol table from incoming bfd */
- CONST char *name; /* name of symbol in linker table */
+add_keepsyms_file (filename)
+ const char *filename;
{
- asymbol *sym = *nlist_p;
- ldsym_type *sp;
-
- /* Lookup the name from the incoming bfd's symbol table in the
- linker's global symbol table */
-
-
- flagword this_symbol_flags = sym->flags;
-
- sp = ldsym_get (name);
-
-
- /* If this symbol already has udata, it means that something strange
- has happened.
+ FILE *file;
+ char *buf;
+ size_t bufsize;
+ int c;
- The strange thing is that we've had an undefined symbol resolved by
- an alias, but the thing the alias defined wasn't in the file. So
- the symbol got a udata entry, but the file wasn't loaded. Then
- later on the file was loaded, but we don't need to do this
- processing again */
+ if (link_info.strip == strip_some)
+ einfo ("%X%P: error: duplicate retain-symbols-file\n");
+ file = fopen (filename, "r");
+ if (file == (FILE *) NULL)
+ {
+ bfd_set_error (bfd_error_system_call);
+ einfo ("%X%P: %s: %E", filename);
+ return;
+ }
- if (sym->udata)
- 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))
+ einfo ("%P%F: bfd_hash_table_init failed: %E\n");
+ bufsize = 100;
+ buf = (char *) xmalloc (bufsize);
- if (flag_is_constructor (this_symbol_flags))
+ c = getc (file);
+ while (c != EOF)
{
- /* Add this constructor to the list we keep */
- ldlang_add_constructor (sp);
- /* Turn any commons into refs */
- if (sp->scoms_chain != (asymbol **) NULL)
- {
- refize (sp, sp->scoms_chain);
- sp->scoms_chain = 0;
- }
+ while (isspace (c))
+ c = getc (file);
-
- }
- else
- {
- if (bfd_is_com_section (sym->section))
+ if (c != EOF)
{
- /* 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
+ size_t len = 0;
+
+ while (! isspace (c) && c != EOF)
{
- /* 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
- the symbol has been marked as really being a constructor,
- then treat this as a ref
- */
- if (sp->flags & SYM_CONSTRUCTOR)
+ buf[len] = c;
+ ++len;
+ if (len >= bufsize)
{
- /* Turn this into a ref */
- refize (sp, nlist_p);
- }
- else
- {
- /* treat like a common */
- if (sp->srefs_chain)
- undefined_global_sym_count--;
-
- commons_pending++;
- sp->scoms_chain = nlist_p;
+ bufsize *= 2;
+ buf = xrealloc (buf, bufsize);
}
+ c = getc (file);
}
- }
-
- else if (sym->section != &bfd_und_section)
- {
- /* 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 *) bfd_asymbol_bfd (sy)->usrdata;
- lang_input_statement_type *stat1 =
- (lang_input_statement_type *) bfd_asymbol_bfd (sym)->usrdata;
- asymbol **stat1_symbols = stat1 ? stat1->asymbols : 0;
- asymbol **stat_symbols = stat ? stat->asymbols : 0;
-
- multiple_def_count++;
- einfo ("%X%C: multiple definition of `%T'\n",
- bfd_asymbol_bfd (sym), sym->section, stat1_symbols, sym->value, sym);
-
- einfo ("%X%C: first seen here\n",
- bfd_asymbol_bfd (sy), sy->section, stat_symbols, sy->value);
- }
- 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 && relaxing == false)
- {
- /* If previously was undefined, then remember as defined */
- undefined_global_sym_count--;
- }
- }
- 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++;
- }
+ buf[len] = '\0';
- refize (sp, nlist_p);
+ 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");
}
}
- ASSERT (sp->sdefs_chain == 0 || sp->scoms_chain == 0);
- ASSERT (sp->scoms_chain == 0 || (*(sp->scoms_chain))->udata == 0);
-
+ if (link_info.strip != strip_none)
+ einfo ("%P: `-retain-symbols-file' overrides `-s' and `-S'\n");
+ link_info.strip = strip_some;
}
+\f
+/* Callbacks from the BFD linker routines. */
-static void
-enter_file_symbols (entry)
- lang_input_statement_type *entry;
-{
- asymbol **q;
-
- entry->common_section =
- bfd_make_section_old_way (entry->the_bfd, "COMMON");
- entry->common_section->flags = SEC_NEVER_LOAD;
- ldlang_add_file (entry);
+/* 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->next = NULL;
+ input->just_syms_flag = false;
+ input->loaded = false;
+ input->search_dirs_flag = false;
+
+ /* FIXME: The following fields are not set: header.next,
+ header.type, closed, passive_position, symbol_count,
+ next_real_file, is_archive, 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 (config.map_file != (FILE *) NULL)
+ minfo ("%s needed due to %T\n", abfd->filename, name);
if (trace_files || trace_file_tries)
- {
- info ("%I\n", entry);
- }
-
- total_symbols_seen += entry->symbol_count;
- total_files_seen++;
- if (entry->symbol_count)
- {
- for (q = entry->asymbols; *q; q++)
- {
- asymbol *p = *q;
-
- if (had_y && p->name)
- {
- /* look up the symbol anyway to see if the trace bit was
- set */
- ldsym_type *s = ldsym_get (p->name);
- if (s->flags & SYM_Y)
- {
- einfo ("%B: %s %T\n", entry->the_bfd,
- p->section == &bfd_und_section ? "reference to" : "definition of ",
- p);
- }
- }
-
- if (p->section == &bfd_ind_section)
- {
- add_indirect (q);
- }
- else if (p->flags & BSF_WARNING)
- {
- add_warning (p);
- }
- else if (p->section == &bfd_und_section
- || (p->flags & BSF_GLOBAL)
- || bfd_is_com_section (p->section)
- || (p->flags & BSF_CONSTRUCTOR))
-
- {
-
- asymbol *p = *q;
-
- if (p->flags & BSF_INDIRECT)
- {
- add_indirect (q);
- }
- else if (p->flags & BSF_WARNING)
- {
- add_warning (p);
- }
- else if (p->section == &bfd_und_section
- || (p->flags & BSF_GLOBAL)
- || bfd_is_com_section (p->section)
- || (p->flags & BSF_CONSTRUCTOR))
- {
- enter_global_ref (q, p->name);
- }
-
- }
+ info_msg ("%I\n", input);
- }
- }
+ return true;
}
+/* This is called when BFD has discovered a symbol which is defined
+ multiple times. */
-/* Searching libraries */
-
-struct lang_input_statement_struct *decode_library_subfile ();
-void linear_library (), symdef_library ();
-
-/* 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. */
-
-void
-search_library (entry)
- struct lang_input_statement_struct *entry;
+/*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;
{
-
- /* No need to load a library if no undefined symbols */
- if (!undefined_global_sym_count)
- return;
-
- if (bfd_has_map (entry->the_bfd))
- symdef_library (entry);
- else
- linear_library (entry);
-
+ einfo ("%X%C: multiple definition of `%T'\n",
+ nbfd, nsec, nval, name);
+ if (obfd != (bfd *) NULL)
+ einfo ("%D: first defined here\n", obfd, osec, oval);
+ return true;
}
-#ifdef GNU960
-static
- boolean
-gnu960_check_format (abfd, format)
- bfd *abfd;
- bfd_format format;
+/* 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;
{
- boolean retval;
+ if (! config.warn_common)
+ return true;
- if ((bfd_check_format (abfd, format) == true)
- && (abfd->xvec->flavour == output_flavor))
+ if (ntype == bfd_link_hash_defined
+ || ntype == bfd_link_hash_defweak
+ || ntype == bfd_link_hash_indirect)
{
- return true;
+ 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);
}
-
-
- return false;
-}
-
-#endif
-
-void
-ldmain_open_file_read_symbol (entry)
- struct lang_input_statement_struct *entry;
-{
- if (entry->asymbols == (asymbol **) NULL
- && entry->real == true
- && entry->filename != (char *) NULL)
+ else if (otype == bfd_link_hash_defined
+ || otype == bfd_link_hash_defweak
+ || otype == bfd_link_hash_indirect)
{
- 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
+ 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)
{
- entry->the_bfd->usrdata = (PTR) entry;
-
-
- read_entry_symbols (entry->the_bfd, entry);
-
- /* look through the sections in the file and see if any of them
- are constructors */
- ldlang_check_for_constructors (entry);
-
- enter_file_symbols (entry);
+ 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);
}
-#ifdef GNU960
- else if (gnu960_check_format (entry->the_bfd, bfd_archive))
-#else
- else if (bfd_check_format (entry->the_bfd, bfd_archive))
-#endif
+ else if (nsize > osize)
{
- entry->the_bfd->usrdata = (PTR) entry;
-
- entry->subfiles = (lang_input_statement_type *) NULL;
- search_library (entry);
+ 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 ("%F%B: malformed input file (not rel or archive) \n",
- entry->the_bfd);
+ einfo ("%B: warning: multiple common of `%T'\n", nbfd, name);
+ if (obfd != NULL)
+ einfo ("%B: warning: previous common is here\n", obfd);
}
}
+ return true;
}
-/* 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. */
+/* 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. */
-lang_input_statement_type *
-decode_library_subfile (library_entry, subfile_offset)
- struct lang_input_statement_struct *library_entry;
- bfd *subfile_offset;
+/*ARGSUSED*/
+static boolean
+add_to_set (info, h, reloc, abfd, section, value)
+ struct bfd_link_info *info;
+ struct bfd_link_hash_entry *h;
+ bfd_reloc_code_real_type reloc;
+ bfd *abfd;
+ asection *section;
+ bfd_vma value;
{
- register struct lang_input_statement_struct *subentry;
-
+ if (! config.build_constructors)
+ return true;
- /* First, check if we already have a loaded
- lang_input_statement_struct for this library subfile. If so,
- just return it. Otherwise, allocate some space and build a new one. */
+ ldctor_add_set_entry (h, reloc, section, value);
- if (subfile_offset->usrdata
- && ((struct lang_input_statement_struct *) subfile_offset->usrdata)->
- loaded == true)
- {
- subentry = (struct lang_input_statement_struct *) subfile_offset->usrdata;
- }
- else
+ if (h->type == bfd_link_hash_new)
{
- subentry =
- (struct lang_input_statement_struct *)
- ldmalloc ((bfd_size_type) (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;
-{
- 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);
+ 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;
}
-/* Search a library that has a map
- */
-void
-symdef_library (entry)
- struct lang_input_statement_struct *entry;
+/* 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, name, abfd, section, value)
+ struct bfd_link_info *info;
+ boolean constructor;
+ const char *name;
+ bfd *abfd;
+ asection *section;
+ bfd_vma value;
{
- register struct lang_input_statement_struct *prev = 0;
+ char *set_name;
+ char *s;
+ struct bfd_link_hash_entry *h;
+
+ 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 (output_bfd, BFD_RELOC_CTOR) == NULL)
+ einfo ("%P%F: BFD backend error: BFD_RELOC_CTOR unsupported");
+
+ 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__");
- boolean not_finished = true;
+ if (config.map_file != (FILE *) NULL)
+ fprintf (config.map_file,
+ "Adding %s to constructor/destructor set %s\n", name, set_name);
- while (not_finished == true)
+ 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)
{
- 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 (idx != BFD_NO_MORE_SYMBOLS && undefined_global_sym_count)
- {
-
- if (exported_library_name->name)
- {
-
- 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)
- {
- bfd *archive_member_bfd = bfd_get_elt_at_index (entry->the_bfd, idx);
- struct lang_input_statement_struct *archive_member_lang_input_statement_struct;
-
-#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
- {
-
- /* Don't think carefully about any archive member
- more than once in a given pass. */
- if (prev_archive_member_bfd != archive_member_bfd)
- {
-
- prev_archive_member_bfd = archive_member_bfd;
-
- /* Read the symbol table of the archive member. */
-
- if (archive_member_bfd->usrdata != (PTR) NULL)
- {
-
- archive_member_lang_input_statement_struct = (lang_input_statement_type *) archive_member_bfd->usrdata;
- }
- else
- {
-
- 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 (archive_member_lang_input_statement_struct == 0)
- {
- einfo ("%F%I contains invalid archive member %s\n",
- entry, sp->name);
- }
-
- if (archive_member_lang_input_statement_struct->loaded == false)
- {
+ 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. */
+ }
- read_entry_symbols (archive_member_bfd, archive_member_lang_input_statement_struct);
- /* Now scan the symbol table and decide whether to load. */
+ ldctor_add_set_entry (h, BFD_RELOC_CTOR, section, value);
+ return true;
+}
+/* This is called when there is a reference to a warning symbol. */
- if (subfile_wanted_p (archive_member_lang_input_statement_struct) == true)
+/*ARGSUSED*/
+static boolean
+warning_callback (info, warning)
+ struct bfd_link_info *info;
+ const char *warning;
+{
+ einfo ("%P: %s\n", warning);
+ 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 an undefined symbol is found. */
- not_finished = true;
+/*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;
- enter_file_symbols (archive_member_lang_input_statement_struct);
+#define MAX_ERRORS_IN_A_ROW 5
- if (prev)
- prev->chain = archive_member_lang_input_statement_struct;
- else
- entry->subfiles = archive_member_lang_input_statement_struct;
+ if (config.warn_once)
+ {
+ static struct bfd_hash_table *hash;
+ /* Only warn once about a particular undefined symbol. */
- prev = archive_member_lang_input_statement_struct;
+ if (hash == NULL)
+ {
+ hash = ((struct bfd_hash_table *)
+ xmalloc (sizeof (struct bfd_hash_table)));
+ if (! bfd_hash_table_init (hash, bfd_hash_newfunc))
+ einfo ("%F%P: bfd_hash_table_init failed: %E\n");
+ }
+ if (bfd_hash_lookup (hash, name, false, false) != NULL)
+ return true;
- /* 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);
- }
+ if (bfd_hash_lookup (hash, name, true, true) == NULL)
+ einfo ("%F%P: bfd_hash_lookup failed: %E\n");
}
-}
-
-void
-linear_library (entry)
- struct lang_input_statement_struct *entry;
-{
- boolean more_to_do = true;
- register struct lang_input_statement_struct *prev = 0;
- if (entry->complained == false)
+ /* 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
{
- if (entry->the_bfd->xvec->flavour != bfd_target_ieee_flavour)
-
- {
- /* IEEE can use table of contents, so this message is bogus */
- einfo ("%P: library %s has bad table of contents, rerun ranlib\n",
- entry->the_bfd->filename);
- }
- entry->complained = true;
+ error_count = 0;
+ if (error_name != (char *) NULL)
+ free (error_name);
+ error_name = buystring (name);
+ }
+ if (section != NULL)
+ {
+ 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 ("%D: more undefined references to `%T' follow\n",
+ abfd, section, address, name);
}
- while (more_to_do)
+ else
{
-
- bfd *archive = bfd_openr_next_archived_file (entry->the_bfd, 0);
-
- more_to_do = false;
- while (archive)
- {
- /* Don't check this file if it's already been read in
- once */
-
- if (!archive->usrdata ||
- !((lang_input_statement_type *) (archive->usrdata))->loaded)
- {
-#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)
- {
- read_entry_symbols (archive, subentry);
-
- if (subfile_wanted_p (subentry) == true)
- {
- 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);
-
- }
-
+ if (error_count < MAX_ERRORS_IN_A_ROW)
+ einfo ("%X%B: undefined reference to `%T'\n",
+ abfd, name);
+ else if (error_count == MAX_ERRORS_IN_A_ROW)
+ einfo ("%B: more undefined references to `%T' follow\n",
+ abfd, name);
}
+
+ return true;
}
-/* ENTRY is an entry for a file inside an archive
- Its symbols have been read into core, but not entered into the
- linker ymbol table
- Return nonzero if we ought to load this file */
+/* This is called when a reloc overflows. */
-boolean
-subfile_wanted_p (entry)
- struct lang_input_statement_struct *entry;
+/*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;
{
- asymbol **q;
-
- if (entry->symbol_count == 0)
- return false;
-
- for (q = entry->asymbols; *q; q++)
- {
- asymbol *p = *q;
+ if (abfd == (bfd *) NULL)
+ einfo ("%P%X: generated");
+ else
+ einfo ("%X%C:", abfd, section, address);
+ einfo (" relocation truncated to fit: %s %T", reloc_name, name);
+ if (addend != 0)
+ einfo ("+%v", addend);
+ einfo ("\n");
+ return true;
+}
- /* If the symbol has an interesting definition, we could
- potentially want it. */
+/* This is called when a dangerous relocation is made. */
- if (p->flags & BSF_INDIRECT)
- {
- /** add_indirect(q);*/
- }
-
- if (bfd_is_com_section (p->section)
- || (p->flags & BSF_GLOBAL)
- || (p->flags & BSF_INDIRECT))
- {
- register ldsym_type *sp = ldsym_get_soft (p->name);
+/*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;
+{
+ if (abfd == (bfd *) NULL)
+ einfo ("%P%X: generated");
+ else
+ einfo ("%X%C:", abfd, section, address);
+ einfo ("dangerous relocation: %s\n", message);
+ return true;
+}
- /* 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 this is a
- common symbol, then if the symbol in the object
- file is common, we need to combine sizes. But if
- we already have a common symbol, and the symbol
- in the object file is not common, we don't want
- the object file: it is providing a definition for
- a symbol that we already have a definition for
- (this is the else condition below). */
- if (bfd_is_com_section (p->section))
- {
-
- /* If the symbol in the table is a constructor, we won't to
- anything fancy with it */
- if ((sp->flags & SYM_CONSTRUCTOR) == 0)
- {
- /* 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))->section = p->section;
- (*(sp->scoms_chain))->flags = 0;
- /* 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 *)
- (bfd_asymbol_bfd (com)->usrdata))->common_section ==
- (asection *) NULL)
- {
- ((lang_input_statement_type *)
- (bfd_asymbol_bfd (com)->usrdata))->common_section =
- bfd_make_section_old_way (bfd_asymbol_bfd (com), "COMMON");
- }
- }
- }
- ASSERT (p->udata == 0);
- }
- else if (sp->scoms_chain == (asymbol **) NULL)
- {
- if (write_map)
- {
- info ("%I needed due to %s\n", entry, sp->name);
- }
- return true;
- }
- }
- }
- }
- }
+/* This is called when a reloc is being generated attached to a symbol
+ that is not being output. */
- return false;
+/*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;
+{
+ if (abfd == (bfd *) NULL)
+ einfo ("%P%X: generated");
+ else
+ einfo ("%X%C:", abfd, section, address);
+ einfo (" reloc refers to symbol `%T' which is not being output\n", name);
+ return true;
}
-void
-add_ysym (text)
- char *text;
+/* 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;
{
- ldsym_type *lookup = ldsym_get (text);
- lookup->flags |= SYM_Y;
- had_y = 1;
+ einfo ("%B: %s %s\n", abfd,
+ bfd_is_und_section (section) ? "reference to" : "definition of",
+ name);
+ return true;
}
projects / binutils.git / blobdiff