ld/ldmain.c

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