ld/ldmain.c

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