ld/ldmain.c

   1 /* Main program of GNU linker.
   2    Copyright 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001
   3    Free Software Foundation, Inc.
   4    Written by Steve Chamberlain [email protected]
   5
   6 This file is part of GLD, the Gnu Linker.
   7
   8 GLD is free software; you can redistribute it and/or modify
   9 it under the terms of the GNU General Public License as published by
  10 the Free Software Foundation; either version 2, or (at your option)
  11 any later version.
  12
  13 GLD is distributed in the hope that it will be useful,
  14 but WITHOUT ANY WARRANTY; without even the implied warranty of
  15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  16 GNU General Public License for more details.
  17
  18 You should have received a copy of the GNU General Public License
  19 along with GLD; see the file COPYING.  If not, write to the Free
  20 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
  21 02111-1307, USA.  */
  22
  23 #include "bfd.h"
  24 #include "sysdep.h"
  25 #include <stdio.h>
  26 #include "safe-ctype.h"
  27 #include "libiberty.h"
  28 #include "progress.h"
  29 #include "bfdlink.h"
  30 #include "filenames.h"
  31
  32 #include "ld.h"
  33 #include "ldmain.h"
  34 #include "ldmisc.h"
  35 #include "ldwrite.h"
  36 #include "ldgram.h"
  37 #include "ldexp.h"
  38 #include "ldlang.h"
  39 #include "ldlex.h"
  40 #include "ldfile.h"
  41 #include "ldemul.h"
  42 #include "ldctor.h"
  43
  44 /* Somewhere above, sys/stat.h got included . . . .  */
  45 #if !defined(S_ISDIR) && defined(S_IFDIR)
  46 #define S_ISDIR(m) (((m) & S_IFMT) == S_IFDIR)
  47 #endif
  48
  49 #include <string.h>
  50
  51 #ifdef HAVE_SBRK
  52 #ifdef NEED_DECLARATION_SBRK
  53 extern PTR sbrk ();
  54 #endif
  55 #endif
  56
  57 static char *get_emulation PARAMS ((int, char **));
  58 static void set_scripts_dir PARAMS ((void));
  59
  60 /* EXPORTS */
  61
  62 char *default_target;
  63 const char *output_filename = "a.out";
  64
  65 /* Name this program was invoked by.  */
  66 char *program_name;
  67
  68 /* The file that we're creating.  */
  69 bfd *output_bfd = 0;
  70
  71 /* Set by -G argument, for MIPS ECOFF target.  */
  72 int g_switch_value = 8;
  73
  74 /* Nonzero means print names of input files as processed.  */
  75 boolean trace_files;
  76
  77 /* Nonzero means same, but note open failures, too.  */
  78 boolean trace_file_tries;
  79
  80 /* Nonzero means version number was printed, so exit successfully
  81    instead of complaining if no input files are given.  */
  82 boolean version_printed;
  83
  84 /* Nonzero means link in every member of an archive.  */
  85 boolean whole_archive;
  86
  87 /* True if we should demangle symbol names.  */
  88 boolean demangling;
  89
  90 args_type command_line;
  91
  92 ld_config_type config;
  93
  94 static void remove_output PARAMS ((void));
  95 static boolean check_for_scripts_dir PARAMS ((char *dir));
  96 static boolean add_archive_element PARAMS ((struct bfd_link_info *, bfd *,
  97                                             const char *));
  98 static boolean multiple_definition PARAMS ((struct bfd_link_info *,
  99                                             const char *,
 100                                             bfd *, asection *, bfd_vma,
 101                                             bfd *, asection *, bfd_vma));
 102 static boolean multiple_common PARAMS ((struct bfd_link_info *,
 103                                         const char *, bfd *,
 104                                         enum bfd_link_hash_type, bfd_vma,
 105                                         bfd *, enum bfd_link_hash_type,
 106                                         bfd_vma));
 107 static boolean add_to_set PARAMS ((struct bfd_link_info *,
 108                                    struct bfd_link_hash_entry *,
 109                                    bfd_reloc_code_real_type,
 110                                    bfd *, asection *, bfd_vma));
 111 static boolean constructor_callback PARAMS ((struct bfd_link_info *,
 112                                              boolean constructor,
 113                                              const char *name,
 114                                              bfd *, asection *, bfd_vma));
 115 static boolean warning_callback PARAMS ((struct bfd_link_info *,
 116                                          const char *, const char *, bfd *,
 117                                          asection *, bfd_vma));
 118 static void warning_find_reloc PARAMS ((bfd *, asection *, PTR));
 119 static boolean undefined_symbol PARAMS ((struct bfd_link_info *,
 120                                          const char *, bfd *,
 121                                          asection *, bfd_vma, boolean));
 122 static boolean reloc_overflow PARAMS ((struct bfd_link_info *, const char *,
 123                                        const char *, bfd_vma,
 124                                        bfd *, asection *, bfd_vma));
 125 static boolean reloc_dangerous PARAMS ((struct bfd_link_info *, const char *,
 126                                         bfd *, asection *, bfd_vma));
 127 static boolean unattached_reloc PARAMS ((struct bfd_link_info *,
 128                                          const char *, bfd *, asection *,
 129                                          bfd_vma));
 130 static boolean notice PARAMS ((struct bfd_link_info *, const char *,
 131                                bfd *, asection *, bfd_vma));
 132
 133 static struct bfd_link_callbacks link_callbacks = {
 134   add_archive_element,
 135   multiple_definition,
 136   multiple_common,
 137   add_to_set,
 138   constructor_callback,
 139   warning_callback,
 140   undefined_symbol,
 141   reloc_overflow,
 142   reloc_dangerous,
 143   unattached_reloc,
 144   notice
 145 };
 146
 147 struct bfd_link_info link_info;
 148 \f
 149 static void
 150 remove_output ()
 151 {
 152   if (output_filename)
 153     {
 154       if (output_bfd && output_bfd->iostream)
 155         fclose ((FILE *) (output_bfd->iostream));
 156       if (delete_output_file_on_failure)
 157         unlink (output_filename);
 158     }
 159 }
 160
 161 int
 162 main (argc, argv)
 163      int argc;
 164      char **argv;
 165 {
 166   char *emulation;
 167   long start_time = get_run_time ();
 168
 169 #if defined (HAVE_SETLOCALE) && defined (HAVE_LC_MESSAGES)
 170   setlocale (LC_MESSAGES, "");
 171 #endif
 172 #if defined (HAVE_SETLOCALE)
 173   setlocale (LC_CTYPE, "");
 174 #endif
 175   bindtextdomain (PACKAGE, LOCALEDIR);
 176   textdomain (PACKAGE);
 177
 178   program_name = argv[0];
 179   xmalloc_set_program_name (program_name);
 180
 181   START_PROGRESS (program_name, 0);
 182
 183   bfd_init ();
 184
 185   bfd_set_error_program_name (program_name);
 186
 187   xatexit (remove_output);
 188
 189   /* Set the default BFD target based on the configured target.  Doing
 190      this permits the linker to be configured for a particular target,
 191      and linked against a shared BFD library which was configured for
 192      a different target.  The macro TARGET is defined by Makefile.  */
 193   if (! bfd_set_default_target (TARGET))
 194     {
 195       einfo (_("%X%P: can't set BFD default target to `%s': %E\n"), TARGET);
 196       xexit (1);
 197     }
 198
 199   /* Initialize the data about options.  */
 200   trace_files = trace_file_tries = version_printed = false;
 201   whole_archive = false;
 202   config.build_constructors = true;
 203   config.dynamic_link = false;
 204   config.has_shared = false;
 205   config.split_by_reloc = (unsigned) -1;
 206   config.split_by_file = (bfd_size_type) -1;
 207   command_line.force_common_definition = false;
 208   command_line.inhibit_common_definition = false;
 209   command_line.interpreter = NULL;
 210   command_line.rpath = NULL;
 211   command_line.warn_mismatch = true;
 212   command_line.check_section_addresses = true;
 213
 214   /* We initialize DEMANGLING based on the environment variable
 215      COLLECT_NO_DEMANGLE.  The gcc collect2 program will demangle the
 216      output of the linker, unless COLLECT_NO_DEMANGLE is set in the
 217      environment.  Acting the same way here lets us provide the same
 218      interface by default.  */
 219   demangling = getenv ("COLLECT_NO_DEMANGLE") == NULL;
 220
 221   link_info.callbacks = &link_callbacks;
 222   link_info.relocateable = false;
 223   link_info.emitrelocations = false;
 224   link_info.shared = false;
 225   link_info.symbolic = false;
 226   link_info.export_dynamic = false;
 227   link_info.static_link = false;
 228   link_info.traditional_format = false;
 229   link_info.optimize = false;
 230   link_info.no_undefined = false;
 231   link_info.allow_shlib_undefined = false;
 232   link_info.strip = strip_none;
 233   link_info.discard = discard_sec_merge;
 234   link_info.keep_memory = true;
 235   link_info.input_bfds = NULL;
 236   link_info.create_object_symbols_section = NULL;
 237   link_info.hash = NULL;
 238   link_info.keep_hash = NULL;
 239   link_info.notice_all = false;
 240   link_info.notice_hash = NULL;
 241   link_info.wrap_hash = NULL;
 242   link_info.mpc860c0 = 0;
 243   /* SVR4 linkers seem to set DT_INIT and DT_FINI based on magic _init
 244      and _fini symbols.  We are compatible.  */
 245   link_info.init_function = "_init";
 246   link_info.fini_function = "_fini";
 247   link_info.new_dtags = false;
 248   link_info.flags = (bfd_vma) 0;
 249   link_info.flags_1 = (bfd_vma) 0;
 250   link_info.pei386_auto_import = false;
 251   link_info.combreloc = false;
 252   link_info.spare_dynamic_tags = 5;
 253
 254   ldfile_add_arch ("");
 255
 256   config.make_executable = true;
 257   force_make_executable = false;
 258   config.magic_demand_paged = true;
 259   config.text_read_only = true;
 260
 261   emulation = get_emulation (argc, argv);
 262   ldemul_choose_mode (emulation);
 263   default_target = ldemul_choose_target ();
 264   lang_init ();
 265   ldemul_before_parse ();
 266   lang_has_input_file = false;
 267   parse_args (argc, argv);
 268
 269   ldemul_set_symbols ();
 270
 271   if (link_info.relocateable)
 272     {
 273       if (command_line.gc_sections)
 274         einfo ("%P%F: --gc-sections and -r may not be used together\n");
 275       if (link_info.mpc860c0)
 276         einfo (_("%P%F: -r and --mpc860c0 may not be used together\n"));
 277       else if (command_line.relax)
 278         einfo (_("%P%F: --relax and -r may not be used together\n"));
 279       if (link_info.shared)
 280         einfo (_("%P%F: -r and -shared may not be used together\n"));
 281     }
 282
 283   if (! link_info.shared)
 284     {
 285       if (command_line.filter_shlib)
 286         einfo (_("%P%F: -F may not be used without -shared\n"));
 287       if (command_line.auxiliary_filters)
 288         einfo (_("%P%F: -f may not be used without -shared\n"));
 289     }
 290
 291   /* Treat ld -r -s as ld -r -S -x (i.e., strip all local symbols).  I
 292      don't see how else this can be handled, since in this case we
 293      must preserve all externally visible symbols.  */
 294   if (link_info.relocateable && link_info.strip == strip_all)
 295     {
 296       link_info.strip = strip_debugger;
 297       if (link_info.discard == discard_sec_merge)
 298         link_info.discard = discard_all;
 299     }
 300
 301   /* This essentially adds another -L directory so this must be done after
 302      the -L's in argv have been processed.  */
 303   set_scripts_dir ();
 304
 305   /* If we have not already opened and parsed a linker script
 306      read the emulation's appropriate default script.  */
 307   if (saved_script_handle == NULL)
 308     {
 309       int isfile;
 310       char *s = ldemul_get_script (& isfile);
 311
 312       if (isfile)
 313         ldfile_open_command_file (s);
 314       else
 315         {
 316           lex_string = s;
 317           lex_redirect (s);
 318         }
 319       parser_input = input_script;
 320       yyparse ();
 321       lex_string = NULL;
 322     }
 323
 324   if (trace_file_tries)
 325     {
 326       info_msg (_("using %s linker script:\n"),
 327                 saved_script_handle ? "external" : "internal");
 328       info_msg ("==================================================\n");
 329
 330       if (saved_script_handle)
 331         {
 332           static const int ld_bufsz = 8193;
 333           size_t n;
 334           char *buf = xmalloc (ld_bufsz);
 335
 336           rewind (saved_script_handle);
 337           while ((n = fread (buf, 1, ld_bufsz - 1, saved_script_handle)) > 0)
 338             {
 339               buf [n] = 0;
 340               info_msg (buf);
 341             }
 342           rewind (saved_script_handle);
 343           free (buf);
 344         }
 345       else
 346         {
 347           int isfile;
 348
 349           info_msg (ldemul_get_script (& isfile));
 350         }
 351
 352       info_msg ("\n==================================================\n");
 353     }
 354
 355   lang_final ();
 356
 357   if (lang_has_input_file == false)
 358     {
 359       if (version_printed)
 360         xexit (0);
 361       einfo (_("%P%F: no input files\n"));
 362     }
 363
 364   if (trace_files)
 365     {
 366       info_msg (_("%P: mode %s\n"), emulation);
 367     }
 368
 369   ldemul_after_parse ();
 370
 371   if (config.map_filename)
 372     {
 373       if (strcmp (config.map_filename, "-") == 0)
 374         {
 375           config.map_file = stdout;
 376         }
 377       else
 378         {
 379           config.map_file = fopen (config.map_filename, FOPEN_WT);
 380           if (config.map_file == (FILE *) NULL)
 381             {
 382               bfd_set_error (bfd_error_system_call);
 383               einfo (_("%P%F: cannot open map file %s: %E\n"),
 384                      config.map_filename);
 385             }
 386         }
 387     }
 388
 389   lang_process ();
 390
 391   /* Print error messages for any missing symbols, for any warning
 392      symbols, and possibly multiple definitions.  */
 393
 394   if (! link_info.relocateable)
 395     {
 396       /* Look for a text section and switch the readonly attribute in it.  */
 397       asection *found = bfd_get_section_by_name (output_bfd, ".text");
 398
 399       if (found != (asection *) NULL)
 400         {
 401           if (config.text_read_only)
 402             found->flags |= SEC_READONLY;
 403           else
 404             found->flags &= ~SEC_READONLY;
 405         }
 406     }
 407
 408   if (link_info.relocateable)
 409     output_bfd->flags &= ~EXEC_P;
 410   else
 411     output_bfd->flags |= EXEC_P;
 412
 413   ldwrite ();
 414
 415   if (config.map_file != NULL)
 416     lang_map ();
 417   if (command_line.cref)
 418     output_cref (config.map_file != NULL ? config.map_file : stdout);
 419   if (nocrossref_list != NULL)
 420     check_nocrossrefs ();
 421
 422   /* Even if we're producing relocateable output, some non-fatal errors should
 423      be reported in the exit status.  (What non-fatal errors, if any, do we
 424      want to ignore for relocateable output?)  */
 425
 426   if (config.make_executable == false && force_make_executable == false)
 427     {
 428       if (trace_files == true)
 429         {
 430           einfo (_("%P: link errors found, deleting executable `%s'\n"),
 431                  output_filename);
 432         }
 433
 434       /* The file will be removed by remove_output.  */
 435
 436       xexit (1);
 437     }
 438   else
 439     {
 440       if (! bfd_close (output_bfd))
 441         einfo (_("%F%B: final close failed: %E\n"), output_bfd);
 442
 443       /* If the --force-exe-suffix is enabled, and we're making an
 444          executable file and it doesn't end in .exe, copy it to one
 445          which does.  */
 446       if (! link_info.relocateable && command_line.force_exe_suffix)
 447         {
 448           int len = strlen (output_filename);
 449           if (len < 4
 450               || (strcasecmp (output_filename + len - 4, ".exe") != 0
 451                   && strcasecmp (output_filename + len - 4, ".dll") != 0))
 452             {
 453               FILE *src;
 454               FILE *dst;
 455               const int bsize = 4096;
 456               char *buf = xmalloc (bsize);
 457               int l;
 458               char *dst_name = xmalloc (len + 5);
 459               strcpy (dst_name, output_filename);
 460               strcat (dst_name, ".exe");
 461               src = fopen (output_filename, FOPEN_RB);
 462               dst = fopen (dst_name, FOPEN_WB);
 463
 464               if (!src)
 465                 einfo (_("%X%P: unable to open for source of copy `%s'\n"), output_filename);
 466               if (!dst)
 467                 einfo (_("%X%P: unable to open for destination of copy `%s'\n"), dst_name);
 468               while ((l = fread (buf, 1, bsize, src)) > 0)
 469                 {
 470                   int done = fwrite (buf, 1, l, dst);
 471                   if (done != l)
 472                     {
 473                       einfo (_("%P: Error writing file `%s'\n"), dst_name);
 474                     }
 475                 }
 476               fclose (src);
 477               if (fclose (dst) == EOF)
 478                 {
 479                   einfo (_("%P: Error closing file `%s'\n"), dst_name);
 480                 }
 481               free (dst_name);
 482               free (buf);
 483             }
 484         }
 485     }
 486
 487   END_PROGRESS (program_name);
 488
 489   if (config.stats)
 490     {
 491 #ifdef HAVE_SBRK
 492       char *lim = (char *) sbrk (0);
 493 #endif
 494       long run_time = get_run_time () - start_time;
 495
 496       fprintf (stderr, _("%s: total time in link: %ld.%06ld\n"),
 497                program_name, run_time / 1000000, run_time % 1000000);
 498 #ifdef HAVE_SBRK
 499       fprintf (stderr, _("%s: data size %ld\n"), program_name,
 500                (long) (lim - (char *) &environ));
 501 #endif
 502     }
 503
 504   /* Prevent remove_output from doing anything, after a successful link.  */
 505   output_filename = NULL;
 506
 507   xexit (0);
 508   return 0;
 509 }
 510
 511 /* We need to find any explicitly given emulation in order to initialize the
 512    state that's needed by the lex&yacc argument parser (parse_args).  */
 513
 514 static char *
 515 get_emulation (argc, argv)
 516      int argc;
 517      char **argv;
 518 {
 519   char *emulation;
 520   int i;
 521
 522   emulation = getenv (EMULATION_ENVIRON);
 523   if (emulation == NULL)
 524     emulation = DEFAULT_EMULATION;
 525
 526   for (i = 1; i < argc; i++)
 527     {
 528       if (!strncmp (argv[i], "-m", 2))
 529         {
 530           if (argv[i][2] == '\0')
 531             {
 532               /* -m EMUL */
 533               if (i < argc - 1)
 534                 {
 535                   emulation = argv[i + 1];
 536                   i++;
 537                 }
 538               else
 539                 {
 540                   einfo (_("%P%F: missing argument to -m\n"));
 541                 }
 542             }
 543           else if (strcmp (argv[i], "-mips1") == 0
 544                    || strcmp (argv[i], "-mips2") == 0
 545                    || strcmp (argv[i], "-mips3") == 0
 546                    || strcmp (argv[i], "-mips32") == 0
 547                    || strcmp (argv[i], "-mips64") == 0
 548                    || strcmp (argv[i], "-mips4") == 0
 549                    || strcmp (argv[i], "-mips5") == 0)
 550             {
 551               /* FIXME: The arguments -mips1, -mips2, -mips3, etc. are
 552                  passed to the linker by some MIPS compilers.  They
 553                  generally tell the linker to use a slightly different
 554                  library path.  Perhaps someday these should be
 555                  implemented as emulations; until then, we just ignore
 556                  the arguments and hope that nobody ever creates
 557                  emulations named ips1, ips2 or ips3.  */
 558             }
 559           else if (strcmp (argv[i], "-m486") == 0)
 560             {
 561               /* FIXME: The argument -m486 is passed to the linker on
 562                  some Linux systems.  Hope that nobody creates an
 563                  emulation named 486.  */
 564             }
 565           else
 566             {
 567               /* -mEMUL */
 568               emulation = &argv[i][2];
 569             }
 570         }
 571     }
 572
 573   return emulation;
 574 }
 575
 576 /* If directory DIR contains an "ldscripts" subdirectory,
 577    add DIR to the library search path and return true,
 578    else return false.  */
 579
 580 static boolean
 581 check_for_scripts_dir (dir)
 582      char *dir;
 583 {
 584   size_t dirlen;
 585   char *buf;
 586   struct stat s;
 587   boolean res;
 588
 589   dirlen = strlen (dir);
 590   /* sizeof counts the terminating NUL.  */
 591   buf = (char *) xmalloc (dirlen + sizeof ("/ldscripts"));
 592   sprintf (buf, "%s/ldscripts", dir);
 593
 594   res = stat (buf, &s) == 0 && S_ISDIR (s.st_mode);
 595   free (buf);
 596   if (res)
 597     ldfile_add_library_path (dir, false);
 598   return res;
 599 }
 600
 601 /* Set the default directory for finding script files.
 602    Libraries will be searched for here too, but that's ok.
 603    We look for the "ldscripts" directory in:
 604
 605    SCRIPTDIR (passed from Makefile)
 606    the dir where this program is (for using it from the build tree)
 607    the dir where this program is/../lib (for installing the tool suite elsewhere) */
 608
 609 static void
 610 set_scripts_dir ()
 611 {
 612   char *end, *dir;
 613   size_t dirlen;
 614
 615   if (check_for_scripts_dir (SCRIPTDIR))
 616     /* We've been installed normally.  */
 617     return;
 618
 619   /* Look for "ldscripts" in the dir where our binary is.  */
 620   end = strrchr (program_name, '/');
 621 #ifdef HAVE_DOS_BASED_FILE_SYSTEM
 622   {
 623     /* We could have \foo\bar, or /foo\bar.  */
 624     char *bslash = strrchr (program_name, '\\');
 625     if (end == NULL || (bslash != NULL && bslash > end))
 626       end = bslash;
 627   }
 628 #endif
 629
 630   if (end == NULL)
 631     {
 632       /* Don't look for ldscripts in the current directory.  There is
 633          too much potential for confusion.  */
 634       return;
 635     }
 636
 637   dirlen = end - program_name;
 638   /* Make a copy of program_name in dir.
 639      Leave room for later "/../lib".  */
 640   dir = (char *) xmalloc (dirlen + 8);
 641   strncpy (dir, program_name, dirlen);
 642   dir[dirlen] = '\0';
 643
 644   if (check_for_scripts_dir (dir))
 645     /* Don't free dir.  */
 646     return;
 647
 648   /* Look for "ldscripts" in <the dir where our binary is>/../lib.  */
 649   strcpy (dir + dirlen, "/../lib");
 650   if (check_for_scripts_dir (dir))
 651     return;
 652
 653   /* Well, we tried.  */
 654   free (dir);
 655 }
 656
 657 void
 658 add_ysym (name)
 659      const char *name;
 660 {
 661   if (link_info.notice_hash == (struct bfd_hash_table *) NULL)
 662     {
 663       link_info.notice_hash = ((struct bfd_hash_table *)
 664                                xmalloc (sizeof (struct bfd_hash_table)));
 665       if (! bfd_hash_table_init_n (link_info.notice_hash,
 666                                    bfd_hash_newfunc,
 667                                    61))
 668         einfo (_("%P%F: bfd_hash_table_init failed: %E\n"));
 669     }
 670
 671   if (bfd_hash_lookup (link_info.notice_hash, name, true, true)
 672       == (struct bfd_hash_entry *) NULL)
 673     einfo (_("%P%F: bfd_hash_lookup failed: %E\n"));
 674 }
 675
 676 /* Record a symbol to be wrapped, from the --wrap option.  */
 677
 678 void
 679 add_wrap (name)
 680      const char *name;
 681 {
 682   if (link_info.wrap_hash == NULL)
 683     {
 684       link_info.wrap_hash = ((struct bfd_hash_table *)
 685                              xmalloc (sizeof (struct bfd_hash_table)));
 686       if (! bfd_hash_table_init_n (link_info.wrap_hash,
 687                                    bfd_hash_newfunc,
 688                                    61))
 689         einfo (_("%P%F: bfd_hash_table_init failed: %E\n"));
 690     }
 691   if (bfd_hash_lookup (link_info.wrap_hash, name, true, true) == NULL)
 692     einfo (_("%P%F: bfd_hash_lookup failed: %E\n"));
 693 }
 694
 695 /* Handle the -retain-symbols-file option.  */
 696
 697 void
 698 add_keepsyms_file (filename)
 699      const char *filename;
 700 {
 701   FILE *file;
 702   char *buf;
 703   size_t bufsize;
 704   int c;
 705
 706   if (link_info.strip == strip_some)
 707     einfo (_("%X%P: error: duplicate retain-symbols-file\n"));
 708
 709   file = fopen (filename, "r");
 710   if (file == (FILE *) NULL)
 711     {
 712       bfd_set_error (bfd_error_system_call);
 713       einfo ("%X%P: %s: %E\n", filename);
 714       return;
 715     }
 716
 717   link_info.keep_hash = ((struct bfd_hash_table *)
 718                          xmalloc (sizeof (struct bfd_hash_table)));
 719   if (! bfd_hash_table_init (link_info.keep_hash, bfd_hash_newfunc))
 720     einfo (_("%P%F: bfd_hash_table_init failed: %E\n"));
 721
 722   bufsize = 100;
 723   buf = (char *) xmalloc (bufsize);
 724
 725   c = getc (file);
 726   while (c != EOF)
 727     {
 728       while (ISSPACE (c))
 729         c = getc (file);
 730
 731       if (c != EOF)
 732         {
 733           size_t len = 0;
 734
 735           while (! ISSPACE (c) && c != EOF)
 736             {
 737               buf[len] = c;
 738               ++len;
 739               if (len >= bufsize)
 740                 {
 741                   bufsize *= 2;
 742                   buf = xrealloc (buf, bufsize);
 743                 }
 744               c = getc (file);
 745             }
 746
 747           buf[len] = '\0';
 748
 749           if (bfd_hash_lookup (link_info.keep_hash, buf, true, true)
 750               == (struct bfd_hash_entry *) NULL)
 751             einfo (_("%P%F: bfd_hash_lookup for insertion failed: %E\n"));
 752         }
 753     }
 754
 755   if (link_info.strip != strip_none)
 756     einfo (_("%P: `-retain-symbols-file' overrides `-s' and `-S'\n"));
 757
 758   link_info.strip = strip_some;
 759 }
 760 \f
 761 /* Callbacks from the BFD linker routines.  */
 762
 763 /* This is called when BFD has decided to include an archive member in
 764    a link.  */
 765
 766 static boolean
 767 add_archive_element (info, abfd, name)
 768      struct bfd_link_info *info ATTRIBUTE_UNUSED;
 769      bfd *abfd;
 770      const char *name;
 771 {
 772   lang_input_statement_type *input;
 773
 774   input = ((lang_input_statement_type *)
 775            xmalloc (sizeof (lang_input_statement_type)));
 776   input->filename = abfd->filename;
 777   input->local_sym_name = abfd->filename;
 778   input->the_bfd = abfd;
 779   input->asymbols = NULL;
 780   input->next = NULL;
 781   input->just_syms_flag = false;
 782   input->loaded = false;
 783   input->search_dirs_flag = false;
 784
 785   /* FIXME: The following fields are not set: header.next,
 786      header.type, closed, passive_position, symbol_count,
 787      next_real_file, is_archive, target, real.  This bit of code is
 788      from the old decode_library_subfile function.  I don't know
 789      whether any of those fields matters.  */
 790
 791   ldlang_add_file (input);
 792
 793   if (config.map_file != (FILE *) NULL)
 794     {
 795       static boolean header_printed;
 796       struct bfd_link_hash_entry *h;
 797       bfd *from;
 798       int len;
 799
 800       h = bfd_link_hash_lookup (link_info.hash, name, false, false, true);
 801
 802       if (h == NULL)
 803         from = NULL;
 804       else
 805         {
 806           switch (h->type)
 807             {
 808             default:
 809               from = NULL;
 810               break;
 811
 812             case bfd_link_hash_defined:
 813             case bfd_link_hash_defweak:
 814               from = h->u.def.section->owner;
 815               break;
 816
 817             case bfd_link_hash_undefined:
 818             case bfd_link_hash_undefweak:
 819               from = h->u.undef.abfd;
 820               break;
 821
 822             case bfd_link_hash_common:
 823               from = h->u.c.p->section->owner;
 824               break;
 825             }
 826         }
 827
 828       if (! header_printed)
 829         {
 830           char buf[100];
 831
 832           sprintf (buf, "%-29s %s\n\n", _("Archive member included"),
 833                    _("because of file (symbol)"));
 834           minfo ("%s", buf);
 835           header_printed = true;
 836         }
 837
 838       if (bfd_my_archive (abfd) == NULL)
 839         {
 840           minfo ("%s", bfd_get_filename (abfd));
 841           len = strlen (bfd_get_filename (abfd));
 842         }
 843       else
 844         {
 845           minfo ("%s(%s)", bfd_get_filename (bfd_my_archive (abfd)),
 846                  bfd_get_filename (abfd));
 847           len = (strlen (bfd_get_filename (bfd_my_archive (abfd)))
 848                  + strlen (bfd_get_filename (abfd))
 849                  + 2);
 850         }
 851
 852       if (len >= 29)
 853         {
 854           print_nl ();
 855           len = 0;
 856         }
 857       while (len < 30)
 858         {
 859           print_space ();
 860           ++len;
 861         }
 862
 863       if (from != NULL)
 864         minfo ("%B ", from);
 865       if (h != NULL)
 866         minfo ("(%T)\n", h->root.string);
 867       else
 868         minfo ("(%s)\n", name);
 869     }
 870
 871   if (trace_files || trace_file_tries)
 872     info_msg ("%I\n", input);
 873
 874   return true;
 875 }
 876
 877 /* This is called when BFD has discovered a symbol which is defined
 878    multiple times.  */
 879
 880 static boolean
 881 multiple_definition (info, name, obfd, osec, oval, nbfd, nsec, nval)
 882      struct bfd_link_info *info ATTRIBUTE_UNUSED;
 883      const char *name;
 884      bfd *obfd;
 885      asection *osec;
 886      bfd_vma oval;
 887      bfd *nbfd;
 888      asection *nsec;
 889      bfd_vma nval;
 890 {
 891   /* If either section has the output_section field set to
 892      bfd_abs_section_ptr, it means that the section is being
 893      discarded, and this is not really a multiple definition at all.
 894      FIXME: It would be cleaner to somehow ignore symbols defined in
 895      sections which are being discarded.  */
 896   if ((osec->output_section != NULL
 897        && ! bfd_is_abs_section (osec)
 898        && bfd_is_abs_section (osec->output_section))
 899       || (nsec->output_section != NULL
 900           && ! bfd_is_abs_section (nsec)
 901           && bfd_is_abs_section (nsec->output_section)))
 902     return true;
 903
 904   einfo (_("%X%C: multiple definition of `%T'\n"),
 905          nbfd, nsec, nval, name);
 906   if (obfd != (bfd *) NULL)
 907     einfo (_("%D: first defined here\n"), obfd, osec, oval);
 908
 909   if (command_line.relax)
 910     {
 911       einfo (_("%P: Disabling relaxation: it will not work with multiple definitions\n"));
 912       command_line.relax = 0;
 913     }
 914
 915   return true;
 916 }
 917
 918 /* This is called when there is a definition of a common symbol, or
 919    when a common symbol is found for a symbol that is already defined,
 920    or when two common symbols are found.  We only do something if
 921    -warn-common was used.  */
 922
 923 static boolean
 924 multiple_common (info, name, obfd, otype, osize, nbfd, ntype, nsize)
 925      struct bfd_link_info *info ATTRIBUTE_UNUSED;
 926      const char *name;
 927      bfd *obfd;
 928      enum bfd_link_hash_type otype;
 929      bfd_vma osize;
 930      bfd *nbfd;
 931      enum bfd_link_hash_type ntype;
 932      bfd_vma nsize;
 933 {
 934   if (! config.warn_common)
 935     return true;
 936
 937   if (ntype == bfd_link_hash_defined
 938       || ntype == bfd_link_hash_defweak
 939       || ntype == bfd_link_hash_indirect)
 940     {
 941       ASSERT (otype == bfd_link_hash_common);
 942       einfo (_("%B: warning: definition of `%T' overriding common\n"),
 943              nbfd, name);
 944       if (obfd != NULL)
 945         einfo (_("%B: warning: common is here\n"), obfd);
 946     }
 947   else if (otype == bfd_link_hash_defined
 948            || otype == bfd_link_hash_defweak
 949            || otype == bfd_link_hash_indirect)
 950     {
 951       ASSERT (ntype == bfd_link_hash_common);
 952       einfo (_("%B: warning: common of `%T' overridden by definition\n"),
 953              nbfd, name);
 954       if (obfd != NULL)
 955         einfo (_("%B: warning: defined here\n"), obfd);
 956     }
 957   else
 958     {
 959       ASSERT (otype == bfd_link_hash_common && ntype == bfd_link_hash_common);
 960       if (osize > nsize)
 961         {
 962           einfo (_("%B: warning: common of `%T' overridden by larger common\n"),
 963                  nbfd, name);
 964           if (obfd != NULL)
 965             einfo (_("%B: warning: larger common is here\n"), obfd);
 966         }
 967       else if (nsize > osize)
 968         {
 969           einfo (_("%B: warning: common of `%T' overriding smaller common\n"),
 970                  nbfd, name);
 971           if (obfd != NULL)
 972             einfo (_("%B: warning: smaller common is here\n"), obfd);
 973         }
 974       else
 975         {
 976           einfo (_("%B: warning: multiple common of `%T'\n"), nbfd, name);
 977           if (obfd != NULL)
 978             einfo (_("%B: warning: previous common is here\n"), obfd);
 979         }
 980     }
 981
 982   return true;
 983 }
 984
 985 /* This is called when BFD has discovered a set element.  H is the
 986    entry in the linker hash table for the set.  SECTION and VALUE
 987    represent a value which should be added to the set.  */
 988
 989 static boolean
 990 add_to_set (info, h, reloc, abfd, section, value)
 991      struct bfd_link_info *info ATTRIBUTE_UNUSED;
 992      struct bfd_link_hash_entry *h;
 993      bfd_reloc_code_real_type reloc;
 994      bfd *abfd;
 995      asection *section;
 996      bfd_vma value;
 997 {
 998   if (config.warn_constructors)
 999     einfo (_("%P: warning: global constructor %s used\n"),
1000            h->root.string);
1001
1002   if (! config.build_constructors)
1003     return true;
1004
1005   ldctor_add_set_entry (h, reloc, (const char *) NULL, section, value);
1006
1007   if (h->type == bfd_link_hash_new)
1008     {
1009       h->type = bfd_link_hash_undefined;
1010       h->u.undef.abfd = abfd;
1011       /* We don't call bfd_link_add_undef to add this to the list of
1012          undefined symbols because we are going to define it
1013          ourselves.  */
1014     }
1015
1016   return true;
1017 }
1018
1019 /* This is called when BFD has discovered a constructor.  This is only
1020    called for some object file formats--those which do not handle
1021    constructors in some more clever fashion.  This is similar to
1022    adding an element to a set, but less general.  */
1023
1024 static boolean
1025 constructor_callback (info, constructor, name, abfd, section, value)
1026      struct bfd_link_info *info;
1027      boolean constructor;
1028      const char *name;
1029      bfd *abfd;
1030      asection *section;
1031      bfd_vma value;
1032 {
1033   char *s;
1034   struct bfd_link_hash_entry *h;
1035   char set_name[1 + sizeof "__CTOR_LIST__"];
1036
1037   if (config.warn_constructors)
1038     einfo (_("%P: warning: global constructor %s used\n"), name);
1039
1040   if (! config.build_constructors)
1041     return true;
1042
1043   /* Ensure that BFD_RELOC_CTOR exists now, so that we can give a
1044      useful error message.  */
1045   if (bfd_reloc_type_lookup (output_bfd, BFD_RELOC_CTOR) == NULL
1046       && (link_info.relocateable
1047           || bfd_reloc_type_lookup (abfd, BFD_RELOC_CTOR) == NULL))
1048     einfo (_("%P%F: BFD backend error: BFD_RELOC_CTOR unsupported\n"));
1049
1050   s = set_name;
1051   if (bfd_get_symbol_leading_char (abfd) != '\0')
1052     *s++ = bfd_get_symbol_leading_char (abfd);
1053   if (constructor)
1054     strcpy (s, "__CTOR_LIST__");
1055   else
1056     strcpy (s, "__DTOR_LIST__");
1057
1058   h = bfd_link_hash_lookup (info->hash, set_name, true, true, true);
1059   if (h == (struct bfd_link_hash_entry *) NULL)
1060     einfo (_("%P%F: bfd_link_hash_lookup failed: %E\n"));
1061   if (h->type == bfd_link_hash_new)
1062     {
1063       h->type = bfd_link_hash_undefined;
1064       h->u.undef.abfd = abfd;
1065       /* We don't call bfd_link_add_undef to add this to the list of
1066          undefined symbols because we are going to define it
1067          ourselves.  */
1068     }
1069
1070   ldctor_add_set_entry (h, BFD_RELOC_CTOR, name, section, value);
1071   return true;
1072 }
1073
1074 /* A structure used by warning_callback to pass information through
1075    bfd_map_over_sections.  */
1076
1077 struct warning_callback_info {
1078   boolean found;
1079   const char *warning;
1080   const char *symbol;
1081   asymbol **asymbols;
1082 };
1083
1084 /* This is called when there is a reference to a warning symbol.  */
1085
1086 static boolean
1087 warning_callback (info, warning, symbol, abfd, section, address)
1088      struct bfd_link_info *info ATTRIBUTE_UNUSED;
1089      const char *warning;
1090      const char *symbol;
1091      bfd *abfd;
1092      asection *section;
1093      bfd_vma address;
1094 {
1095   /* This is a hack to support warn_multiple_gp.  FIXME: This should
1096      have a cleaner interface, but what?  */
1097   if (! config.warn_multiple_gp
1098       && strcmp (warning, "using multiple gp values") == 0)
1099     return true;
1100
1101   if (section != NULL)
1102     einfo ("%C: %s\n", abfd, section, address, warning);
1103   else if (abfd == NULL)
1104     einfo ("%P: %s\n", warning);
1105   else if (symbol == NULL)
1106     einfo ("%B: %s\n", abfd, warning);
1107   else
1108     {
1109       lang_input_statement_type *entry;
1110       asymbol **asymbols;
1111       struct warning_callback_info info;
1112
1113       /* Look through the relocs to see if we can find a plausible
1114          address.  */
1115
1116       entry = (lang_input_statement_type *) abfd->usrdata;
1117       if (entry != NULL && entry->asymbols != NULL)
1118         asymbols = entry->asymbols;
1119       else
1120         {
1121           long symsize;
1122           long symbol_count;
1123
1124           symsize = bfd_get_symtab_upper_bound (abfd);
1125           if (symsize < 0)
1126             einfo (_("%B%F: could not read symbols: %E\n"), abfd);
1127           asymbols = (asymbol **) xmalloc (symsize);
1128           symbol_count = bfd_canonicalize_symtab (abfd, asymbols);
1129           if (symbol_count < 0)
1130             einfo (_("%B%F: could not read symbols: %E\n"), abfd);
1131           if (entry != NULL)
1132             {
1133               entry->asymbols = asymbols;
1134               entry->symbol_count = symbol_count;
1135             }
1136         }
1137
1138       info.found = false;
1139       info.warning = warning;
1140       info.symbol = symbol;
1141       info.asymbols = asymbols;
1142       bfd_map_over_sections (abfd, warning_find_reloc, (PTR) &info);
1143
1144       if (! info.found)
1145         einfo ("%B: %s\n", abfd, warning);
1146
1147       if (entry == NULL)
1148         free (asymbols);
1149     }
1150
1151   return true;
1152 }
1153
1154 /* This is called by warning_callback for each section.  It checks the
1155    relocs of the section to see if it can find a reference to the
1156    symbol which triggered the warning.  If it can, it uses the reloc
1157    to give an error message with a file and line number.  */
1158
1159 static void
1160 warning_find_reloc (abfd, sec, iarg)
1161      bfd *abfd;
1162      asection *sec;
1163      PTR iarg;
1164 {
1165   struct warning_callback_info *info = (struct warning_callback_info *) iarg;
1166   long relsize;
1167   arelent **relpp;
1168   long relcount;
1169   arelent **p, **pend;
1170
1171   if (info->found)
1172     return;
1173
1174   relsize = bfd_get_reloc_upper_bound (abfd, sec);
1175   if (relsize < 0)
1176     einfo (_("%B%F: could not read relocs: %E\n"), abfd);
1177   if (relsize == 0)
1178     return;
1179
1180   relpp = (arelent **) xmalloc (relsize);
1181   relcount = bfd_canonicalize_reloc (abfd, sec, relpp, info->asymbols);
1182   if (relcount < 0)
1183     einfo (_("%B%F: could not read relocs: %E\n"), abfd);
1184
1185   p = relpp;
1186   pend = p + relcount;
1187   for (; p < pend && *p != NULL; p++)
1188     {
1189       arelent *q = *p;
1190
1191       if (q->sym_ptr_ptr != NULL
1192           && *q->sym_ptr_ptr != NULL
1193           && strcmp (bfd_asymbol_name (*q->sym_ptr_ptr), info->symbol) == 0)
1194         {
1195           /* We found a reloc for the symbol we are looking for.  */
1196           einfo ("%C: %s\n", abfd, sec, q->address, info->warning);
1197           info->found = true;
1198           break;
1199         }
1200     }
1201
1202   free (relpp);
1203 }
1204
1205 /* This is called when an undefined symbol is found.  */
1206
1207 static boolean
1208 undefined_symbol (info, name, abfd, section, address, fatal)
1209      struct bfd_link_info *info ATTRIBUTE_UNUSED;
1210      const char *name;
1211      bfd *abfd;
1212      asection *section;
1213      bfd_vma address;
1214      boolean fatal ATTRIBUTE_UNUSED;
1215 {
1216   static char *error_name;
1217   static unsigned int error_count;
1218
1219 #define MAX_ERRORS_IN_A_ROW 5
1220
1221   if (config.warn_once)
1222     {
1223       static struct bfd_hash_table *hash;
1224
1225       /* Only warn once about a particular undefined symbol.  */
1226
1227       if (hash == NULL)
1228         {
1229           hash = ((struct bfd_hash_table *)
1230                   xmalloc (sizeof (struct bfd_hash_table)));
1231           if (! bfd_hash_table_init (hash, bfd_hash_newfunc))
1232             einfo (_("%F%P: bfd_hash_table_init failed: %E\n"));
1233         }
1234
1235       if (bfd_hash_lookup (hash, name, false, false) != NULL)
1236         return true;
1237
1238       if (bfd_hash_lookup (hash, name, true, true) == NULL)
1239         einfo (_("%F%P: bfd_hash_lookup failed: %E\n"));
1240     }
1241
1242   /* We never print more than a reasonable number of errors in a row
1243      for a single symbol.  */
1244   if (error_name != (char *) NULL
1245       && strcmp (name, error_name) == 0)
1246     ++error_count;
1247   else
1248     {
1249       error_count = 0;
1250       if (error_name != (char *) NULL)
1251         free (error_name);
1252       error_name = xstrdup (name);
1253     }
1254
1255   if (section != NULL)
1256     {
1257       if (error_count < MAX_ERRORS_IN_A_ROW)
1258         {
1259           einfo (_("%C: undefined reference to `%T'\n"),
1260                  abfd, section, address, name);
1261           if (fatal)
1262             einfo ("%X");
1263         }
1264       else if (error_count == MAX_ERRORS_IN_A_ROW)
1265         einfo (_("%D: more undefined references to `%T' follow\n"),
1266                abfd, section, address, name);
1267     }
1268   else
1269     {
1270       if (error_count < MAX_ERRORS_IN_A_ROW)
1271         {
1272           einfo (_("%B: undefined reference to `%T'\n"),
1273                  abfd, name);
1274           if (fatal)
1275             einfo ("%X");
1276         }
1277       else if (error_count == MAX_ERRORS_IN_A_ROW)
1278         einfo (_("%B: more undefined references to `%T' follow\n"),
1279                abfd, name);
1280     }
1281
1282   return true;
1283 }
1284
1285 /* This is called when a reloc overflows.  */
1286
1287 static boolean
1288 reloc_overflow (info, name, reloc_name, addend, abfd, section, address)
1289      struct bfd_link_info *info ATTRIBUTE_UNUSED;
1290      const char *name;
1291      const char *reloc_name;
1292      bfd_vma addend;
1293      bfd *abfd;
1294      asection *section;
1295      bfd_vma address;
1296 {
1297   if (abfd == (bfd *) NULL)
1298     einfo (_("%P%X: generated"));
1299   else
1300     einfo ("%X%C:", abfd, section, address);
1301   einfo (_(" relocation truncated to fit: %s %T"), reloc_name, name);
1302   if (addend != 0)
1303     einfo ("+%v", addend);
1304   einfo ("\n");
1305   return true;
1306 }
1307
1308 /* This is called when a dangerous relocation is made.  */
1309
1310 static boolean
1311 reloc_dangerous (info, message, abfd, section, address)
1312      struct bfd_link_info *info ATTRIBUTE_UNUSED;
1313      const char *message;
1314      bfd *abfd;
1315      asection *section;
1316      bfd_vma address;
1317 {
1318   if (abfd == (bfd *) NULL)
1319     einfo (_("%P%X: generated"));
1320   else
1321     einfo ("%X%C:", abfd, section, address);
1322   einfo (_("dangerous relocation: %s\n"), message);
1323   return true;
1324 }
1325
1326 /* This is called when a reloc is being generated attached to a symbol
1327    that is not being output.  */
1328
1329 static boolean
1330 unattached_reloc (info, name, abfd, section, address)
1331      struct bfd_link_info *info ATTRIBUTE_UNUSED;
1332      const char *name;
1333      bfd *abfd;
1334      asection *section;
1335      bfd_vma address;
1336 {
1337   if (abfd == (bfd *) NULL)
1338     einfo (_("%P%X: generated"));
1339   else
1340     einfo ("%X%C:", abfd, section, address);
1341   einfo (_(" reloc refers to symbol `%T' which is not being output\n"), name);
1342   return true;
1343 }
1344
1345 /* This is called if link_info.notice_all is set, or when a symbol in
1346    link_info.notice_hash is found.  Symbols are put in notice_hash
1347    using the -y option.  */
1348
1349 static boolean
1350 notice (info, name, abfd, section, value)
1351      struct bfd_link_info *info;
1352      const char *name;
1353      bfd *abfd;
1354      asection *section;
1355      bfd_vma value;
1356 {
1357   if (! info->notice_all
1358       || (info->notice_hash != NULL
1359           && bfd_hash_lookup (info->notice_hash, name, false, false) != NULL))
1360     {
1361       if (bfd_is_und_section (section))
1362         einfo ("%B: reference to %s\n", abfd, name);
1363       else
1364         einfo ("%B: definition of %s\n", abfd, name);
1365     }
1366
1367   if (command_line.cref || nocrossref_list != NULL)
1368     add_cref (name, abfd, section, value);
1369
1370   return true;
1371 }