ld/ldmain.c

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