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