* elflink.h (elf_link_add_object_symbols): Don't let a common
[deliverable/binutils-gdb.git] / bfd / elflink.h
index ec12292f343c298161d6ae0c495a2a3a1e6c8b7f..09a7d8b2252d7998f1ac63001bee441c84cc220d 100644 (file)
@@ -1,5 +1,5 @@
 /* ELF linker support.
-   Copyright 1995 Free Software Foundation, Inc.
+   Copyright 1995, 1996, 1997 Free Software Foundation, Inc.
 
 This file is part of BFD, the Binary File Descriptor library.
 
@@ -19,25 +19,33 @@ Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
 
 /* ELF linker code.  */
 
+/* This struct is used to pass information to routines called via
+   elf_link_hash_traverse which must return failure.  */
+
+struct elf_info_failed
+{
+  boolean failed;
+  struct bfd_link_info *info;
+};
+
 static boolean elf_link_add_object_symbols
   PARAMS ((bfd *, struct bfd_link_info *));
 static boolean elf_link_add_archive_symbols
   PARAMS ((bfd *, struct bfd_link_info *));
-static Elf_Internal_Rela *elf_link_read_relocs
-  PARAMS ((bfd *, asection *, PTR, Elf_Internal_Rela *, boolean));
 static boolean elf_export_symbol
   PARAMS ((struct elf_link_hash_entry *, PTR));
+static boolean elf_fix_symbol_flags
+  PARAMS ((struct elf_link_hash_entry *, struct elf_info_failed *));
 static boolean elf_adjust_dynamic_symbol
   PARAMS ((struct elf_link_hash_entry *, PTR));
-
-/* This struct is used to pass information to routines called via
-   elf_link_hash_traverse which must return failure.  */
-
-struct elf_info_failed
-{
-  boolean failed;
-  struct bfd_link_info *info;
-};  
+static boolean elf_link_find_version_dependencies
+  PARAMS ((struct elf_link_hash_entry *, PTR));
+static boolean elf_link_find_version_dependencies
+  PARAMS ((struct elf_link_hash_entry *, PTR));
+static boolean elf_link_assign_sym_version
+  PARAMS ((struct elf_link_hash_entry *, PTR));
+static boolean elf_link_renumber_dynsyms
+  PARAMS ((struct elf_link_hash_entry *, PTR));
 
 /* Given an ELF BFD, add symbols to the global hash table as
    appropriate.  */
@@ -58,6 +66,7 @@ elf_bfd_link_add_symbols (abfd, info)
       return false;
     }
 }
+\f
 
 /* Add symbols from an ELF archive file to the linker hash table.  We
    don't use _bfd_generic_link_add_archive_symbols because of a
@@ -110,13 +119,10 @@ elf_link_add_archive_symbols (abfd, info)
   c = bfd_ardata (abfd)->symdef_count;
   if (c == 0)
     return true;
-  defined = (boolean *) malloc (c * sizeof (boolean));
-  included = (boolean *) malloc (c * sizeof (boolean));
+  defined = (boolean *) bfd_malloc (c * sizeof (boolean));
+  included = (boolean *) bfd_malloc (c * sizeof (boolean));
   if (defined == (boolean *) NULL || included == (boolean *) NULL)
-    {
-      bfd_set_error (bfd_error_no_memory);
-      goto error_return;
-    }
+    goto error_return;
   memset (defined, 0, c * sizeof (boolean));
   memset (included, 0, c * sizeof (boolean));
 
@@ -151,8 +157,36 @@ elf_link_add_archive_symbols (abfd, info)
 
          h = elf_link_hash_lookup (elf_hash_table (info), symdef->name,
                                    false, false, false);
-         if (h == (struct elf_link_hash_entry *) NULL)
+
+         if (h == NULL)
+           {
+             char *p, *copy;
+
+             /* If this is a default version (the name contains @@),
+                look up the symbol again without the version.  The
+                effect is that references to the symbol without the
+                version will be matched by the default symbol in the
+                archive.  */
+
+             p = strchr (symdef->name, ELF_VER_CHR);
+             if (p == NULL || p[1] != ELF_VER_CHR)
+               continue;
+
+             copy = bfd_alloc (abfd, p - symdef->name + 1);
+             if (copy == NULL)
+               goto error_return;
+             memcpy (copy, symdef->name, p - symdef->name);
+             copy[p - symdef->name] = '\0';
+
+             h = elf_link_hash_lookup (elf_hash_table (info), copy,
+                                       false, false, false);
+
+             bfd_release (abfd, copy);
+           }
+
+         if (h == NULL)
            continue;
+
          if (h->root.type != bfd_link_hash_undefined)
            {
              if (h->root.type != bfd_link_hash_undefweak)
@@ -250,6 +284,9 @@ elf_link_add_object_symbols (abfd, info)
   Elf_External_Sym *buf = NULL;
   struct elf_link_hash_entry **sym_hash;
   boolean dynamic;
+  bfd_byte *dynver = NULL;
+  Elf_External_Versym *extversym = NULL;
+  Elf_External_Versym *ever;
   Elf_External_Dyn *dynbuf = NULL;
   struct elf_link_hash_entry *weaks;
   Elf_External_Sym *esym;
@@ -258,6 +295,22 @@ elf_link_add_object_symbols (abfd, info)
   add_symbol_hook = get_elf_backend_data (abfd)->elf_add_symbol_hook;
   collect = get_elf_backend_data (abfd)->collect;
 
+  if ((abfd->flags & DYNAMIC) == 0)
+    dynamic = false;
+  else
+    {
+      dynamic = true;
+
+      /* You can't use -r against a dynamic object.  Also, there's no
+        hope of using a dynamic object which does not exactly match
+        the format of the output file.  */
+      if (info->relocateable || info->hash->creator != abfd->xvec)
+       {
+         bfd_set_error (bfd_error_invalid_operation);
+         goto error_return;
+       }
+    }
+
   /* As a GNU extension, any input sections which are named
      .gnu.warning.SYMBOL are treated as warning symbols for the given
      symbol.  This differs from .gnu.warning sections, which generate
@@ -276,22 +329,48 @@ elf_link_add_object_symbols (abfd, info)
              char *msg;
              bfd_size_type sz;
 
+             name += sizeof ".gnu.warning." - 1;
+
+             /* If this is a shared object, then look up the symbol
+                in the hash table.  If it is there, and it is already
+                been defined, then we will not be using the entry
+                from this shared object, so we don't need to warn.
+                FIXME: If we see the definition in a regular object
+                later on, we will warn, but we shouldn't.  The only
+                fix is to keep track of what warnings we are supposed
+                to emit, and then handle them all at the end of the
+                link.  */
+             if (dynamic && abfd->xvec == info->hash->creator)
+               {
+                 struct elf_link_hash_entry *h;
+
+                 h = elf_link_hash_lookup (elf_hash_table (info), name,
+                                           false, false, true);
+
+                 /* FIXME: What about bfd_link_hash_common?  */
+                 if (h != NULL
+                     && (h->root.type == bfd_link_hash_defined
+                         || h->root.type == bfd_link_hash_defweak))
+                   {
+                     /* We don't want to issue this warning.  Clobber
+                         the section size so that the warning does not
+                         get copied into the output file.  */
+                     s->_raw_size = 0;
+                     continue;
+                   }
+               }
+
              sz = bfd_section_size (abfd, s);
              msg = (char *) bfd_alloc (abfd, sz);
              if (msg == NULL)
-               {
-                 bfd_set_error (bfd_error_no_memory);
-                 goto error_return;
-               }
+               goto error_return;
 
              if (! bfd_get_section_contents (abfd, s, msg, (file_ptr) 0, sz))
                goto error_return;
 
              if (! (_bfd_generic_link_add_one_symbol
-                    (info, abfd, 
-                     name + sizeof ".gnu.warning." - 1,
-                     BSF_WARNING, s, (bfd_vma) 0, msg, false, collect,
-                     (struct bfd_link_hash_entry **) NULL)))
+                    (info, abfd, name, BSF_WARNING, s, (bfd_vma) 0, msg,
+                     false, collect, (struct bfd_link_hash_entry **) NULL)))
                goto error_return;
 
              if (! info->relocateable)
@@ -304,17 +383,40 @@ elf_link_add_object_symbols (abfd, info)
        }
     }
 
-  /* A stripped shared library might only have a dynamic symbol table,
-     not a regular symbol table.  In that case we can still go ahead
-     and link using the dynamic symbol table.  */
-  if (elf_onesymtab (abfd) == 0
-      && elf_dynsymtab (abfd) != 0)
+  /* If this is a dynamic object, we always link against the .dynsym
+     symbol table, not the .symtab symbol table.  The dynamic linker
+     will only see the .dynsym symbol table, so there is no reason to
+     look at .symtab for a dynamic object.  */
+
+  if (! dynamic || elf_dynsymtab (abfd) == 0)
+    hdr = &elf_tdata (abfd)->symtab_hdr;
+  else
+    hdr = &elf_tdata (abfd)->dynsymtab_hdr;
+
+  if (dynamic)
     {
-      elf_onesymtab (abfd) = elf_dynsymtab (abfd);
-      elf_tdata (abfd)->symtab_hdr = elf_tdata (abfd)->dynsymtab_hdr;
+      /* Read in any version definitions.  */
+
+      if (! _bfd_elf_slurp_version_tables (abfd))
+       goto error_return;
+
+      /* Read in the symbol versions, but don't bother to convert them
+         to internal format.  */
+      if (elf_dynversym (abfd) != 0)
+       {
+         Elf_Internal_Shdr *versymhdr;
+
+         versymhdr = &elf_tdata (abfd)->dynversym_hdr;
+         extversym = (Elf_External_Versym *) bfd_malloc (hdr->sh_size);
+         if (extversym == NULL)
+           goto error_return;
+         if (bfd_seek (abfd, versymhdr->sh_offset, SEEK_SET) != 0
+             || (bfd_read ((PTR) extversym, 1, versymhdr->sh_size, abfd)
+                 != versymhdr->sh_size))
+           goto error_return;
+       }
     }
 
-  hdr = &elf_tdata (abfd)->symtab_hdr;
   symcount = hdr->sh_size / sizeof (Elf_External_Sym);
 
   /* The sh_info field of the symtab header tells us where the
@@ -331,12 +433,10 @@ elf_link_add_object_symbols (abfd, info)
       extsymoff = hdr->sh_info;
     }
 
-  buf = (Elf_External_Sym *) malloc (extsymcount * sizeof (Elf_External_Sym));
+  buf = ((Elf_External_Sym *)
+        bfd_malloc (extsymcount * sizeof (Elf_External_Sym)));
   if (buf == NULL && extsymcount != 0)
-    {
-      bfd_set_error (bfd_error_no_memory);
-      goto error_return;
-    }
+    goto error_return;
 
   /* We store a pointer to the hash table entry for each external
      symbol.  */
@@ -344,16 +444,11 @@ elf_link_add_object_symbols (abfd, info)
              bfd_alloc (abfd,
                         extsymcount * sizeof (struct elf_link_hash_entry *)));
   if (sym_hash == NULL)
-    {
-      bfd_set_error (bfd_error_no_memory);
-      goto error_return;
-    }
+    goto error_return;
   elf_sym_hashes (abfd) = sym_hash;
 
-  if (elf_elfheader (abfd)->e_type != ET_DYN)
+  if (! dynamic)
     {
-      dynamic = false;
-
       /* If we are creating a shared library, create all the dynamic
          sections immediately.  We need to attach them to something,
          so we attach them to this BFD, provided it is the right
@@ -375,30 +470,18 @@ elf_link_add_object_symbols (abfd, info)
       bfd_size_type oldsize;
       bfd_size_type strindex;
 
-      dynamic = true;
-
-      /* You can't use -r against a dynamic object.  Also, there's no
-        hope of using a dynamic object which does not exactly match
-        the format of the output file.  */
-      if (info->relocateable
-         || info->hash->creator != abfd->xvec)
-       {
-         bfd_set_error (bfd_error_invalid_operation);
-         goto error_return;
-       }
-
       /* Find the name to use in a DT_NEEDED entry that refers to this
         object.  If the object has a DT_SONAME entry, we use it.
         Otherwise, if the generic linker stuck something in
-        elf_dt_needed_name, we use that.  Otherwise, we just use the
-        file name.  If the generic linker put a null string into
-        elf_dt_needed_name, we don't make a DT_NEEDED entry at all,
-        even if there is a DT_SONAME entry.  */
+        elf_dt_name, we use that.  Otherwise, we just use the file
+        name.  If the generic linker put a null string into
+        elf_dt_name, we don't make a DT_NEEDED entry at all, even if
+        there is a DT_SONAME entry.  */
       add_needed = true;
       name = bfd_get_filename (abfd);
-      if (elf_dt_needed_name (abfd) != NULL)
+      if (elf_dt_name (abfd) != NULL)
        {
-         name = elf_dt_needed_name (abfd);
+         name = elf_dt_name (abfd);
          if (*name == '\0')
            add_needed = false;
        }
@@ -410,12 +493,9 @@ elf_link_add_object_symbols (abfd, info)
          int elfsec;
          unsigned long link;
 
-         dynbuf = (Elf_External_Dyn *) malloc ((size_t) s->_raw_size);
+         dynbuf = (Elf_External_Dyn *) bfd_malloc ((size_t) s->_raw_size);
          if (dynbuf == NULL)
-           {
-             bfd_set_error (bfd_error_no_memory);
-             goto error_return;
-           }
+           goto error_return;
 
          if (! bfd_get_section_contents (abfd, s, (PTR) dynbuf,
                                          (file_ptr) 0, s->_raw_size))
@@ -433,7 +513,7 @@ elf_link_add_object_symbols (abfd, info)
              Elf_Internal_Dyn dyn;
 
              elf_swap_dyn_in (abfd, extdyn, &dyn);
-             if (add_needed && dyn.d_tag == DT_SONAME)
+             if (dyn.d_tag == DT_SONAME)
                {
                  name = bfd_elf_string_from_elf_section (abfd, link,
                                                          dyn.d_un.d_val);
@@ -442,12 +522,11 @@ elf_link_add_object_symbols (abfd, info)
                }
              if (dyn.d_tag == DT_NEEDED)
                {
-                 struct bfd_elf_link_needed_list *n, **pn;
+                 struct bfd_link_needed_list *n, **pn;
                  char *fnm, *anm;
 
-                 n = (struct bfd_elf_link_needed_list *)
-                   bfd_alloc (abfd,
-                              sizeof (struct bfd_elf_link_needed_list));
+                 n = ((struct bfd_link_needed_list *)
+                      bfd_alloc (abfd, sizeof (struct bfd_link_needed_list)));
                  fnm = bfd_elf_string_from_elf_section (abfd, link,
                                                         dyn.d_un.d_val);
                  if (n == NULL || fnm == NULL)
@@ -479,6 +558,7 @@ elf_link_add_object_symbols (abfd, info)
         still implies that the section takes up space in the output
         file.  */
       abfd->sections = NULL;
+      abfd->section_count = 0;
 
       /* If this is the first dynamic object found in the link, create
         the special sections required for dynamic linking.  */
@@ -525,6 +605,8 @@ elf_link_add_object_symbols (abfd, info)
                    {
                      if (buf != NULL)
                        free (buf);
+                     if (extversym != NULL)
+                       free (extversym);
                      return true;
                    }
                }
@@ -533,6 +615,12 @@ elf_link_add_object_symbols (abfd, info)
          if (! elf_add_dynamic_entry (info, DT_NEEDED, strindex))
            goto error_return;
        }
+
+      /* Save the SONAME, if there is one, because sometimes the
+         linker emulation code will need to know it.  */
+      if (*name == '\0')
+       name = bfd_get_filename (abfd);
+      elf_dt_name (abfd) = name;
     }
 
   if (bfd_seek (abfd,
@@ -544,8 +632,11 @@ elf_link_add_object_symbols (abfd, info)
 
   weaks = NULL;
 
+  ever = extversym != NULL ? extversym + extsymoff : NULL;
   esymend = buf + extsymcount;
-  for (esym = buf; esym < esymend; esym++, sym_hash++)
+  for (esym = buf;
+       esym < esymend;
+       esym++, sym_hash++, ever = (ever != NULL ? ever + 1 : NULL))
     {
       Elf_Internal_Sym sym;
       int bind;
@@ -555,7 +646,9 @@ elf_link_add_object_symbols (abfd, info)
       const char *name;
       struct elf_link_hash_entry *h;
       boolean definition;
+      boolean size_change_ok, type_change_ok;
       boolean new_weakdef;
+      unsigned int old_alignment;
 
       elf_swap_symbol_in (abfd, esym, &sym);
 
@@ -593,10 +686,10 @@ elf_link_add_object_symbols (abfd, info)
       else if (sym.st_shndx > 0 && sym.st_shndx < SHN_LORESERVE)
        {
          sec = section_from_elf_index (abfd, sym.st_shndx);
-         if (sec != NULL)
-           value -= sec->vma;
-         else
+         if (sec == NULL)
            sec = bfd_abs_section_ptr;
+         else if ((abfd->flags & (EXEC_P | DYNAMIC)) != 0)
+           value -= sec->vma;
        }
       else if (sym.st_shndx == SHN_ABS)
        sec = bfd_abs_section_ptr;
@@ -641,57 +734,318 @@ elf_link_add_object_symbols (abfd, info)
       else
        definition = true;
 
+      size_change_ok = false;
+      type_change_ok = get_elf_backend_data (abfd)->type_change_ok;
+      old_alignment = 0;
       if (info->hash->creator->flavour == bfd_target_elf_flavour)
        {
+         Elf_Internal_Versym iver;
+         int vernum;
+         boolean indirect;
+         boolean override;
+
+         if (ever != NULL)
+           {
+             _bfd_elf_swap_versym_in (abfd, ever, &iver);
+             vernum = iver.vs_vers & VERSYM_VERSION;
+
+             /* If this is a hidden symbol, or if it is not version
+                 1, we append the version name to the symbol name.
+                 However, we do not modify a non-hidden absolute
+                 symbol, because it might be the version symbol
+                 itself.  FIXME: What if it isn't?  */
+             if ((iver.vs_vers & VERSYM_HIDDEN) != 0
+                 || (vernum > 1 && ! bfd_is_abs_section (sec)))
+               {
+                 const char *verstr;
+                 int namelen, newlen;
+                 char *newname, *p;
+
+                 if (sym.st_shndx != SHN_UNDEF)
+                   {
+                     if (vernum > elf_tdata (abfd)->dynverdef_hdr.sh_info)
+                       {
+                         (*_bfd_error_handler)
+                           ("%s: %s: invalid version %d (max %d)",
+                            abfd->filename, name, vernum,
+                            elf_tdata (abfd)->dynverdef_hdr.sh_info);
+                         bfd_set_error (bfd_error_bad_value);
+                         goto error_return;
+                       }
+                     else if (vernum > 1)
+                       verstr =
+                         elf_tdata (abfd)->verdef[vernum - 1].vd_nodename;
+                     else
+                       verstr = "";
+                   }
+                 else
+                   {
+                     /* We cannot simply test for the number of
+                        entries in the VERNEED section since the
+                        numbers for the needed versions do not start
+                        at 0.  */
+                     Elf_Internal_Verneed *t;
+
+                     verstr = NULL;
+                     for (t = elf_tdata (abfd)->verref;
+                          t != NULL;
+                          t = t->vn_nextref)
+                       {
+                         Elf_Internal_Vernaux *a;
+
+                         for (a = t->vn_auxptr; a != NULL; a = a->vna_nextptr)
+                           {
+                             if (a->vna_other == vernum)
+                               {
+                                 verstr = a->vna_nodename;
+                                 break;
+                               }
+                           }
+                         if (a != NULL)
+                           break;
+                       }
+                     if (verstr == NULL)
+                       {
+                         (*_bfd_error_handler)
+                           ("%s: %s: invalid needed version %d",
+                            abfd->filename, name, vernum);
+                         bfd_set_error (bfd_error_bad_value);
+                         goto error_return;
+                       }
+                   }
+
+                 namelen = strlen (name);
+                 newlen = namelen + strlen (verstr) + 2;
+                 if ((iver.vs_vers & VERSYM_HIDDEN) == 0)
+                   ++newlen;
+
+                 newname = (char *) bfd_alloc (abfd, newlen);
+                 if (newname == NULL)
+                   goto error_return;
+                 strcpy (newname, name);
+                 p = newname + namelen;
+                 *p++ = ELF_VER_CHR;
+                 if ((iver.vs_vers & VERSYM_HIDDEN) == 0)
+                   *p++ = ELF_VER_CHR;
+                 strcpy (p, verstr);
+
+                 name = newname;
+               }
+           }
+
          /* We need to look up the symbol now in order to get some of
             the dynamic object handling right.  We pass the hash
             table entry in to _bfd_generic_link_add_one_symbol so
             that it does not have to look it up again.  */
-         h = elf_link_hash_lookup (elf_hash_table (info), name,
-                                   true, false, false);
+         if (! bfd_is_und_section (sec))
+           h = elf_link_hash_lookup (elf_hash_table (info), name,
+                                     true, false, false);
+         else
+           h = ((struct elf_link_hash_entry *)
+                bfd_wrapped_link_hash_lookup (abfd, info, name, true,
+                                              false, false));
          if (h == NULL)
            goto error_return;
          *sym_hash = h;
 
+         if (h->root.type == bfd_link_hash_new)
+           h->elf_link_hash_flags &=~ ELF_LINK_NON_ELF;
+
+         indirect = false;
          while (h->root.type == bfd_link_hash_indirect
                 || h->root.type == bfd_link_hash_warning)
-           h = (struct elf_link_hash_entry *) h->root.u.i.link;
+           {
+             if (h->root.type == bfd_link_hash_indirect)
+               indirect = true;
+             h = (struct elf_link_hash_entry *) h->root.u.i.link;
+           }
+
+         /* FIXME: There are too many cases here, and it's too
+             confusing.  This code needs to be reorganized somehow.  */
+
+         /* It's OK to change the type if it used to be a weak
+             definition, or if the current definition is weak (and
+             hence might be ignored).  */
+         if (h->root.type == bfd_link_hash_defweak
+             || h->root.type == bfd_link_hash_undefweak
+             || bind == STB_WEAK)
+           type_change_ok = true;
+
+         /* It's OK to change the size if it used to be a weak
+            definition, or if it used to be undefined, or if we will
+            be overriding an old definition.  */
+         if (type_change_ok
+             || h->root.type == bfd_link_hash_undefined)
+           size_change_ok = true;
+
+         if (h->root.type == bfd_link_hash_common)
+           old_alignment = h->root.u.c.p->alignment_power;
+
+         override = false;
 
          /* If we are looking at a dynamic object, and this is a
             definition, we need to see if it has already been defined
             by some other object.  If it has, we want to use the
             existing definition, and we do not want to report a
             multiple symbol definition error; we do this by
-            clobbering sec to be bfd_und_section_ptr.  */
+            clobbering sec to be bfd_und_section_ptr.  We treat a
+            common symbol as a definition if the symbol in the shared
+            library is a function, since common symbols always
+            represent variables; this can cause confusion in
+            principle, but any such confusion would seem to indicate
+            an erroneous program or shared library.  */
          if (dynamic && definition)
            {
              if (h->root.type == bfd_link_hash_defined
-                 || h->root.type == bfd_link_hash_defweak)
-               sec = bfd_und_section_ptr;
+                 || h->root.type == bfd_link_hash_defweak
+                 || (h->root.type == bfd_link_hash_common
+                     && (bind == STB_WEAK
+                         || ELF_ST_TYPE (sym.st_info) == STT_FUNC)))
+               {
+                 /* In the special case of two symbols which look
+                     like common symbols in a dynamic object, set the
+                     size of the symbol to the larger of the two.  */
+                 if ((sec->flags & SEC_ALLOC) != 0
+                     && (sec->flags & SEC_LOAD) == 0
+                     && sym.st_size > 0
+                     && bind != STB_WEAK
+                     && ELF_ST_TYPE (sym.st_info) != STT_FUNC
+                     && h->root.type == bfd_link_hash_defined
+                     && (h->elf_link_hash_flags
+                         & ELF_LINK_HASH_DEF_DYNAMIC) != 0
+                     && (h->root.u.def.section->owner->flags & DYNAMIC) != 0
+                     && (h->root.u.def.section->flags & SEC_ALLOC) != 0
+                     && (h->root.u.def.section->flags & SEC_LOAD) == 0
+                     && h->size > 0
+                     && h->type != STT_FUNC
+                     && sym.st_size != h->size)
+                   {
+                     /* Note that we only warn if the size is
+                         different.  If the size is the same, then we
+                         simply let the first shared library override
+                         the second.  */
+                     if (! ((*info->callbacks->multiple_common)
+                            (info, h->root.root.string,
+                             h->root.u.def.section->owner,
+                             bfd_link_hash_common,
+                             h->size, abfd, bfd_link_hash_common,
+                             sym.st_size)))
+                       goto error_return;
+                     if (sym.st_size > h->size)
+                       h->size = sym.st_size;
+                   }
+
+                 override = true;
+                 sec = bfd_und_section_ptr;
+                 definition = false;
+                 size_change_ok = true;
+                 if (h->root.type == bfd_link_hash_common)
+                   type_change_ok = true;
+               }
            }
 
-         /* Similarly, if we are not looking at a dynamic object, and
-            we have a definition, we want to override any definition
-            we may have from a dynamic object.  Symbols from regular
-            files always take precedence over symbols from dynamic
-            objects, even if they are defined after the dynamic
-            object in the link.  */
-         if (! dynamic
+         /* If we already have a common symbol, and the symbol in the
+             shared library is in an uninitialized section, then treat
+             the shared library symbol as a common symbol.  This will
+             not always be correct, but it should do little harm.  */
+         if (dynamic
              && definition
+             && h->root.type == bfd_link_hash_common
+             && (sec->flags & SEC_ALLOC) != 0
+             && (sec->flags & SEC_LOAD) == 0
+             && sym.st_size > 0
+             && bind != STB_WEAK
+             && ELF_ST_TYPE (sym.st_info) != STT_FUNC)
+           {
+             override = true;
+             sec = bfd_com_section_ptr;
+             definition = false;
+             value = sym.st_size;
+             size_change_ok = true;
+           }
+
+         /* If we are not looking at a dynamic object, and we have a
+            definition, we want to override any definition we may
+            have from a dynamic object.  Symbols from regular files
+            always take precedence over symbols from dynamic objects,
+            even if they are defined after the dynamic object in the
+            link.  */
+         if (! dynamic
+             && (definition
+                 || (bfd_is_com_section (sec)
+                     && (h->root.type == bfd_link_hash_defweak
+                         || h->type == STT_FUNC)))
              && (h->root.type == bfd_link_hash_defined
                  || h->root.type == bfd_link_hash_defweak)
              && (h->elf_link_hash_flags & ELF_LINK_HASH_DEF_DYNAMIC) != 0
-             && (bfd_get_flavour (h->root.u.def.section->owner)
-                 == bfd_target_elf_flavour)
-             && (elf_elfheader (h->root.u.def.section->owner)->e_type
-                 == ET_DYN))
+             && (h->root.u.def.section->owner->flags & DYNAMIC) != 0)
            {
+             override = true;
              /* Change the hash table entry to undefined, and let
                 _bfd_generic_link_add_one_symbol do the right thing
                 with the new definition.  */
              h->root.type = bfd_link_hash_undefined;
              h->root.u.undef.abfd = h->root.u.def.section->owner;
+             size_change_ok = true;
+             if (bfd_is_com_section (sec))
+               type_change_ok = true;
+
+             /* This union may have been set to be non-NULL when this
+                 symbol was seen in a dynamic object.  We must force
+                 the union to be NULL, so that it is correct for a
+                 regular symbol.  */
+             h->verinfo.vertree = NULL;
+           }
+
+         /* If we are not looking at a shared library and we have a
+             common symbol, and the symbol in the shared library is in
+             an uninitialized section, then treat the shared library
+             symbol as a common symbol.  This will not always be
+             correct, but it should do little harm.  Note that the
+             above condition already handled cases in which a common
+             symbol should simply override the definition in the
+             shared library.  */
+         if (! dynamic
+             && ! override
+             && bfd_is_com_section (sec)
+             && h->root.type == bfd_link_hash_defined
+             && (h->elf_link_hash_flags & ELF_LINK_HASH_DEF_DYNAMIC) != 0
+             && (h->root.u.def.section->owner->flags & DYNAMIC) != 0
+             && (h->root.u.def.section->flags & SEC_ALLOC) != 0
+             && (h->root.u.def.section->flags & SEC_LOAD) == 0
+             && h->size > 0
+             && h->type != STT_FUNC
+             && ! indirect)
+           {
+             /* It would be best if we could set the hash table entry
+                 to a common symbol, but we don't know what to use for
+                 the section or the alignment.  */
+             if (! ((*info->callbacks->multiple_common)
+                    (info, h->root.root.string,
+                     h->root.u.def.section->owner, bfd_link_hash_common,
+                     h->size, abfd, bfd_link_hash_common, value)))
+               goto error_return;
+
+             if (h->size > value)
+               value = h->size;
+
+             /* FIXME: We no longer know the alignment required by
+                the symbol in the shared library, so we just wind up
+                using the one from the regular object.  */
+
+             override = true;
+             h->root.type = bfd_link_hash_undefined;
+             h->root.u.undef.abfd = h->root.u.def.section->owner;
+             size_change_ok = true;
+             type_change_ok = true;
+             h->verinfo.vertree = NULL;
            }
+
+         if (ever != NULL
+             && ! override
+             && vernum > 1
+             && (h->verinfo.verdef == NULL || definition))
+           h->verinfo.verdef = &elf_tdata (abfd)->verdef[vernum - 1];
        }
 
       if (! (_bfd_generic_link_add_one_symbol
@@ -730,10 +1084,16 @@ elf_link_add_object_symbols (abfd, info)
          new_weakdef = true;
        }
 
-      /* Get the alignment of a common symbol.  */
+      /* Set the alignment of a common symbol.  */
       if (sym.st_shndx == SHN_COMMON
          && h->root.type == bfd_link_hash_common)
-       h->root.u.c.p->alignment_power = bfd_log2 (sym.st_value);
+       {
+         unsigned int align;
+
+         align = bfd_log2 (sym.st_value);
+         if (align > old_alignment)
+           h->root.u.c.p->alignment_power = align;
+       }
 
       if (info->hash->creator->flavour == bfd_target_elf_flavour)
        {
@@ -742,25 +1102,49 @@ elf_link_add_object_symbols (abfd, info)
          int new_flag;
 
          /* Remember the symbol size and type.  */
-         if (sym.st_size != 0)
+         if (sym.st_size != 0
+             && (definition || h->size == 0))
            {
-             /* FIXME: We should probably somehow give a warning if
-                the symbol size changes.  */
+             if (h->size != 0 && h->size != sym.st_size && ! size_change_ok)
+               (*_bfd_error_handler)
+                 ("Warning: size of symbol `%s' changed from %lu to %lu in %s",
+                  name, (unsigned long) h->size, (unsigned long) sym.st_size,
+                  bfd_get_filename (abfd));
+
              h->size = sym.st_size;
            }
-         if (ELF_ST_TYPE (sym.st_info) != STT_NOTYPE)
+
+         /* If this is a common symbol, then we always want H->SIZE
+             to be the size of the common symbol.  The code just above
+             won't fix the size if a common symbol becomes larger.  We
+             don't warn about a size change here, because that is
+             covered by --warn-common.  */
+         if (h->root.type == bfd_link_hash_common)
+           h->size = h->root.u.c.size;
+
+         if (ELF_ST_TYPE (sym.st_info) != STT_NOTYPE
+             && (definition || h->type == STT_NOTYPE))
            {
-             /* FIXME: We should probably somehow give a warning if
-                the symbol type changes.  */
+             if (h->type != STT_NOTYPE
+                 && h->type != ELF_ST_TYPE (sym.st_info)
+                 && ! type_change_ok)
+               (*_bfd_error_handler)
+                 ("Warning: type of symbol `%s' changed from %d to %d in %s",
+                  name, h->type, ELF_ST_TYPE (sym.st_info),
+                  bfd_get_filename (abfd));
+
              h->type = ELF_ST_TYPE (sym.st_info);
            }
 
+         if (sym.st_other != 0
+             && (definition || h->other == 0))
+           h->other = sym.st_other;
+
          /* Set a flag in the hash table entry indicating the type of
             reference or definition we just found.  Keep a count of
             the number of dynamic symbols we find.  A dynamic symbol
             is one which is referenced or defined by both a regular
-            object and a shared object, or one which is referenced or
-            defined by more than one shared object.  */
+            object and a shared object.  */
          old_flags = h->elf_link_hash_flags;
          dynsym = false;
          if (! dynamic)
@@ -780,16 +1164,294 @@ elf_link_add_object_symbols (abfd, info)
                new_flag = ELF_LINK_HASH_REF_DYNAMIC;
              else
                new_flag = ELF_LINK_HASH_DEF_DYNAMIC;
-             if ((old_flags & new_flag) != 0
-                 || (old_flags & (ELF_LINK_HASH_DEF_REGULAR
-                                  | ELF_LINK_HASH_REF_REGULAR)) != 0
+             if ((old_flags & (ELF_LINK_HASH_DEF_REGULAR
+                               | ELF_LINK_HASH_REF_REGULAR)) != 0
                  || (h->weakdef != NULL
-                     && (old_flags & (ELF_LINK_HASH_DEF_DYNAMIC
-                                      | ELF_LINK_HASH_REF_DYNAMIC)) != 0))
+                     && ! new_weakdef
+                     && h->weakdef->dynindx != -1))
                dynsym = true;
            }
 
          h->elf_link_hash_flags |= new_flag;
+
+         /* If this symbol has a version, and it is the default
+             version, we create an indirect symbol from the default
+             name to the fully decorated name.  This will cause
+             external references which do not specify a version to be
+             bound to this version of the symbol.  */
+         if (definition)
+           {
+             char *p;
+
+             p = strchr (name, ELF_VER_CHR);
+             if (p != NULL && p[1] == ELF_VER_CHR)
+               {
+                 char *shortname;
+                 struct elf_link_hash_entry *hold;
+
+                 shortname = bfd_hash_allocate (&info->hash->table,
+                                                p - name + 1);
+                 if (shortname == NULL)
+                   goto error_return;
+                 strncpy (shortname, name, p - name);
+                 shortname[p - name] = '\0';
+
+                 /* First look to see if we have an existing symbol
+                     with this name.  */
+                 hold = elf_link_hash_lookup (elf_hash_table (info),
+                                              shortname, false, false,
+                                              false);
+
+                 /* If we are looking at a normal object, and the
+                     symbol was seen in a shared object, clobber the
+                     definition in the shared object.  */
+                 if (hold != NULL
+                     && ! dynamic
+                     && (hold->root.type == bfd_link_hash_defined
+                         || hold->root.type == bfd_link_hash_defweak)
+                     && (hold->elf_link_hash_flags
+                         & ELF_LINK_HASH_DEF_DYNAMIC) != 0
+                     && ((hold->root.u.def.section->owner->flags & DYNAMIC)
+                         != 0))
+                   {
+                     /* Change the hash table entry to undefined, so
+                         that _bfd_generic_link_add_one_symbol will do
+                         the right thing.  */
+                     hold->root.type = bfd_link_hash_undefined;
+                     hold->root.u.undef.abfd =
+                       hold->root.u.def.section->owner;
+                     hold->verinfo.vertree = NULL;
+                     hold = NULL;
+                   }
+
+                 /* If we are looking at a shared object, and we have
+                     already seen this symbol defined elsewhere, then
+                     don't try to define it again. */
+                 if (hold != NULL
+                     && dynamic
+                     && (hold->root.type == bfd_link_hash_defined
+                         || hold->root.type == bfd_link_hash_defweak
+                         || hold->root.type == bfd_link_hash_indirect
+                         || (hold->root.type == bfd_link_hash_common
+                             && (bind == STB_WEAK
+                                 || ELF_ST_TYPE (sym.st_info) == STT_FUNC))))
+                   {
+                     /* Don't add an indirect symbol.  */
+                   }
+                 else
+                   {
+                     struct elf_link_hash_entry *hi;
+
+                     hi = NULL;
+                     if (! (_bfd_generic_link_add_one_symbol
+                            (info, abfd, shortname, BSF_INDIRECT,
+                             bfd_ind_section_ptr, (bfd_vma) 0, name, false,
+                             collect, (struct bfd_link_hash_entry **) &hi)))
+                       goto error_return;
+
+                     /* If there is a duplicate definition somewhere,
+                         then HI may not point to an indirect symbol.
+                         We will have reported an error to the user in
+                         that case.  */
+
+                     if (hi->root.type == bfd_link_hash_indirect)
+                       {
+                         hi->elf_link_hash_flags &= ~ ELF_LINK_NON_ELF;
+
+                         /* If the symbol became indirect, then we
+                             assume that we have not seen a definition
+                             before.  */
+                         BFD_ASSERT ((hi->elf_link_hash_flags
+                                      & (ELF_LINK_HASH_DEF_DYNAMIC
+                                         | ELF_LINK_HASH_DEF_REGULAR))
+                                     == 0);
+
+                         /* Copy down any references that we may have
+                             already seen to the symbol which just
+                             became indirect.  */
+                         h->elf_link_hash_flags |=
+                           (hi->elf_link_hash_flags
+                            & (ELF_LINK_HASH_REF_DYNAMIC
+                               | ELF_LINK_HASH_REF_REGULAR));
+
+                         /* Copy over the global table offset entry.
+                             This may have been already set up by a
+                             check_relocs routine.  */
+                         if (h->got_offset == (bfd_vma) -1)
+                           {
+                             h->got_offset = hi->got_offset;
+                             hi->got_offset = (bfd_vma) -1;
+                           }
+                         BFD_ASSERT (hi->got_offset == (bfd_vma) -1);
+
+                         if (h->dynindx == -1)
+                           {
+                             h->dynindx = hi->dynindx;
+                             h->dynstr_index = hi->dynstr_index;
+                             hi->dynindx = -1;
+                             hi->dynstr_index = 0;
+                           }
+                         BFD_ASSERT (hi->dynindx == -1);
+
+                         /* FIXME: There may be other information to
+                             copy over for particular targets.  */
+
+                         /* See if the new flags lead us to realize
+                             that the symbol must be dynamic.  */
+                         if (! dynsym)
+                           {
+                             if (! dynamic)
+                               {
+                                 if (info->shared
+                                     || ((hi->elf_link_hash_flags
+                                          & ELF_LINK_HASH_REF_DYNAMIC)
+                                         != 0))
+                                   dynsym = true;
+                               }
+                             else
+                               {
+                                 if ((hi->elf_link_hash_flags
+                                      & ELF_LINK_HASH_REF_REGULAR) != 0)
+                                   dynsym = true;
+                               }
+                           }
+                       }
+                   }
+
+                 /* We also need to define an indirection from the
+                     nondefault version of the symbol.  */
+
+                 shortname = bfd_hash_allocate (&info->hash->table,
+                                                strlen (name));
+                 if (shortname == NULL)
+                   goto error_return;
+                 strncpy (shortname, name, p - name);
+                 strcpy (shortname + (p - name), p + 1);
+
+                 /* First look to see if we have an existing symbol
+                     with this name.  */
+                 hold = elf_link_hash_lookup (elf_hash_table (info),
+                                              shortname, false, false,
+                                              false);
+
+                 /* If we are looking at a normal object, and the
+                     symbol was seen in a shared object, clobber the
+                     definition in the shared object.  */
+                 if (hold != NULL
+                     && ! dynamic
+                     && (hold->root.type == bfd_link_hash_defined
+                         || hold->root.type == bfd_link_hash_defweak)
+                     && (hold->elf_link_hash_flags
+                         & ELF_LINK_HASH_DEF_DYNAMIC) != 0
+                     && ((hold->root.u.def.section->owner->flags & DYNAMIC)
+                         != 0))
+                   {
+                     /* Change the hash table entry to undefined, so
+                         that _bfd_generic_link_add_one_symbol will do
+                         the right thing.  */
+                     hold->root.type = bfd_link_hash_undefined;
+                     hold->root.u.undef.abfd =
+                       hold->root.u.def.section->owner;
+                     hold->verinfo.vertree = NULL;
+                     hold = NULL;
+                   }
+
+                 /* If we are looking at a shared object, and we have
+                     already seen this symbol defined elsewhere, then
+                     don't try to define it again. */
+                 if (hold != NULL
+                     && dynamic
+                     && (hold->root.type == bfd_link_hash_defined
+                         || hold->root.type == bfd_link_hash_defweak
+                         || hold->root.type == bfd_link_hash_indirect
+                         || (hold->root.type == bfd_link_hash_common
+                             && (bind == STB_WEAK
+                                 || ELF_ST_TYPE (sym.st_info) == STT_FUNC))))
+                   {
+                     /* Don't add an indirect symbol.  */
+                   }
+                 else
+                   {
+                     struct elf_link_hash_entry *hi;
+
+                     hi = NULL;
+                     if (! (_bfd_generic_link_add_one_symbol
+                            (info, abfd, shortname, BSF_INDIRECT,
+                             bfd_ind_section_ptr, (bfd_vma) 0, name, false,
+                             collect, (struct bfd_link_hash_entry **) &hi)))
+                       goto error_return;
+
+                     /* If there is a duplicate definition somewhere,
+                         then HI may not point to an indirect symbol.
+                         We will have reported an error to the user in
+                         that case.  */
+
+                     if (hi->root.type == bfd_link_hash_indirect)
+                       {
+                         hi->elf_link_hash_flags &= ~ ELF_LINK_NON_ELF;
+
+                         /* If the symbol became indirect, then we
+                             assume that we have not seen a definition
+                             before.  */
+                         BFD_ASSERT ((hi->elf_link_hash_flags
+                                      & (ELF_LINK_HASH_DEF_DYNAMIC
+                                         | ELF_LINK_HASH_DEF_REGULAR))
+                                     == 0);
+
+                         /* Copy down any references that we may have
+                             already seen to the symbol which just
+                             became indirect.  */
+                         h->elf_link_hash_flags |=
+                           (hi->elf_link_hash_flags
+                            & (ELF_LINK_HASH_REF_DYNAMIC
+                               | ELF_LINK_HASH_REF_REGULAR));
+
+                         /* Copy over the global table offset entry.
+                             This may have been already set up by a
+                             check_relocs routine.  */
+                         if (h->got_offset == (bfd_vma) -1)
+                           {
+                             h->got_offset = hi->got_offset;
+                             hi->got_offset = (bfd_vma) -1;
+                           }
+                         BFD_ASSERT (hi->got_offset == (bfd_vma) -1);
+
+                         if (h->dynindx == -1)
+                           {
+                             h->dynindx = hi->dynindx;
+                             h->dynstr_index = hi->dynstr_index;
+                             hi->dynindx = -1;
+                             hi->dynstr_index = 0;
+                           }
+                         BFD_ASSERT (hi->dynindx == -1);
+
+                         /* FIXME: There may be other information to
+                             copy over for particular targets.  */
+
+                         /* See if the new flags lead us to realize
+                             that the symbol must be dynamic.  */
+                         if (! dynsym)
+                           {
+                             if (! dynamic)
+                               {
+                                 if (info->shared
+                                     || ((hi->elf_link_hash_flags
+                                          & ELF_LINK_HASH_REF_DYNAMIC)
+                                         != 0))
+                                   dynsym = true;
+                               }
+                             else
+                               {
+                                 if ((hi->elf_link_hash_flags
+                                      & ELF_LINK_HASH_REF_REGULAR) != 0)
+                                   dynsym = true;
+                               }
+                           }
+                       }
+                   }
+               }
+           }
+
          if (dynsym && h->dynindx == -1)
            {
              if (! _bfd_elf_link_record_dynamic_symbol (info, h))
@@ -846,8 +1508,7 @@ elf_link_add_object_symbols (abfd, info)
 
          h = *hpp;
          if (h != NULL && h != hlook
-             && (h->root.type == bfd_link_hash_defined
-                 || h->root.type == bfd_link_hash_defweak)
+             && h->root.type == bfd_link_hash_defined
              && h->root.u.def.section == slook
              && h->root.u.def.value == vlook)
            {
@@ -863,6 +1524,18 @@ elf_link_add_object_symbols (abfd, info)
                    goto error_return;
                }
 
+             /* If the real definition is in the list of dynamic
+                 symbols, make sure the weak definition is put there
+                 as well.  If we don't do this, then the dynamic
+                 loader might not merge the entries for the real
+                 definition and the weak definition.  */
+             if (h->dynindx != -1
+                 && hlook->dynindx == -1)
+               {
+                 if (! _bfd_elf_link_record_dynamic_symbol (info, hlook))
+                   goto error_return;
+               }
+
              break;
            }
        }
@@ -874,6 +1547,12 @@ elf_link_add_object_symbols (abfd, info)
       buf = NULL;
     }
 
+  if (extversym != NULL)
+    {
+      free (extversym);
+      extversym = NULL;
+    }
+
   /* If this object is the same format as the output object, and it is
      not a shared library, then let the backend look through the
      relocs.
@@ -904,18 +1583,16 @@ elf_link_add_object_symbols (abfd, info)
          boolean ok;
 
          if ((o->flags & SEC_RELOC) == 0
-             || o->reloc_count == 0)
-           continue;
-
-         /* I believe we can ignore the relocs for any section which
-             does not form part of the final process image, such as a
-             debugging section.  */
-         if ((o->flags & SEC_ALLOC) == 0)
+             || o->reloc_count == 0
+             || ((info->strip == strip_all || info->strip == strip_debugger)
+                 && (o->flags & SEC_DEBUGGING) != 0)
+             || bfd_is_abs_section (o->output_section))
            continue;
 
-         internal_relocs = elf_link_read_relocs (abfd, o, (PTR) NULL,
-                                                 (Elf_Internal_Rela *) NULL,
-                                                 info->keep_memory);
+         internal_relocs = (NAME(_bfd_elf,link_read_relocs)
+                            (abfd, o, (PTR) NULL,
+                             (Elf_Internal_Rela *) NULL,
+                             info->keep_memory));
          if (internal_relocs == NULL)
            goto error_return;
 
@@ -929,6 +1606,35 @@ elf_link_add_object_symbols (abfd, info)
        }
     }
 
+  /* If this is a non-traditional, non-relocateable link, try to
+     optimize the handling of the .stab/.stabstr sections.  */
+  if (! dynamic
+      && ! info->relocateable
+      && ! info->traditional_format
+      && info->hash->creator->flavour == bfd_target_elf_flavour
+      && (info->strip != strip_all && info->strip != strip_debugger))
+    {
+      asection *stab, *stabstr;
+
+      stab = bfd_get_section_by_name (abfd, ".stab");
+      if (stab != NULL)
+       {
+         stabstr = bfd_get_section_by_name (abfd, ".stabstr");
+
+         if (stabstr != NULL)
+           {
+             struct bfd_elf_section_data *secdata;
+
+             secdata = elf_section_data (stab);
+             if (! _bfd_link_section_stabs (abfd,
+                                            &elf_hash_table (info)->stab_info,
+                                            stab, stabstr,
+                                            &secdata->stab_info))
+               goto error_return;
+           }
+       }
+    }
+
   return true;
 
  error_return:
@@ -936,6 +1642,10 @@ elf_link_add_object_symbols (abfd, info)
     free (buf);
   if (dynbuf != NULL)
     free (dynbuf);
+  if (dynver != NULL)
+    free (dynver);
+  if (extversym != NULL)
+    free (extversym);
   return false;
 }
 
@@ -967,7 +1677,8 @@ elf_link_create_dynamic_sections (abfd, info)
 
   /* Note that we set the SEC_IN_MEMORY flag for all of these
      sections.  */
-  flags = SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS | SEC_IN_MEMORY;
+  flags = (SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS
+          | SEC_IN_MEMORY | SEC_LINKER_CREATED);
 
   /* A dynamically linked executable has a .interp section, but a
      shared library does not.  */
@@ -979,21 +1690,41 @@ elf_link_create_dynamic_sections (abfd, info)
        return false;
     }
 
-  s = bfd_make_section (abfd, ".dynsym");
+  /* Create sections to hold version informations.  These are removed
+     if they are not needed.  */
+  s = bfd_make_section (abfd, ".gnu.version_d");
   if (s == NULL
       || ! bfd_set_section_flags (abfd, s, flags | SEC_READONLY)
-      || ! bfd_set_section_alignment (abfd, s, LOG_FILE_ALIGN))
+      || ! bfd_set_section_alignment (abfd, s, 2))
     return false;
 
-  s = bfd_make_section (abfd, ".dynstr");
+  s = bfd_make_section (abfd, ".gnu.version");
   if (s == NULL
-      || ! bfd_set_section_flags (abfd, s, flags | SEC_READONLY))
+      || ! bfd_set_section_flags (abfd, s, flags | SEC_READONLY)
+      || ! bfd_set_section_alignment (abfd, s, 1))
     return false;
 
-  /* Create a strtab to hold the dynamic symbol names.  */
-  if (elf_hash_table (info)->dynstr == NULL)
-    {
-      elf_hash_table (info)->dynstr = elf_stringtab_init ();
+  s = bfd_make_section (abfd, ".gnu.version_r");
+  if (s == NULL
+      || ! bfd_set_section_flags (abfd, s, flags | SEC_READONLY)
+      || ! bfd_set_section_alignment (abfd, s, 2))
+    return false;
+
+  s = bfd_make_section (abfd, ".dynsym");
+  if (s == NULL
+      || ! bfd_set_section_flags (abfd, s, flags | SEC_READONLY)
+      || ! bfd_set_section_alignment (abfd, s, LOG_FILE_ALIGN))
+    return false;
+
+  s = bfd_make_section (abfd, ".dynstr");
+  if (s == NULL
+      || ! bfd_set_section_flags (abfd, s, flags | SEC_READONLY))
+    return false;
+
+  /* Create a strtab to hold the dynamic symbol names.  */
+  if (elf_hash_table (info)->dynstr == NULL)
+    {
+      elf_hash_table (info)->dynstr = elf_stringtab_init ();
       if (elf_hash_table (info)->dynstr == NULL)
        return false;
     }
@@ -1063,15 +1794,9 @@ elf_add_dynamic_entry (info, tag, val)
   BFD_ASSERT (s != NULL);
 
   newsize = s->_raw_size + sizeof (Elf_External_Dyn);
-  if (s->contents == NULL)
-    newcontents = (bfd_byte *) malloc (newsize);
-  else
-    newcontents = (bfd_byte *) realloc (s->contents, newsize);
+  newcontents = (bfd_byte *) bfd_realloc (s->contents, newsize);
   if (newcontents == NULL)
-    {
-      bfd_set_error (bfd_error_no_memory);
-      return false;
-    }
+    return false;
 
   dyn.d_tag = tag;
   dyn.d_un.d_val = val;
@@ -1083,6 +1808,7 @@ elf_add_dynamic_entry (info, tag, val)
 
   return true;
 }
+\f
 
 /* Read and swap the relocs for a section.  They may have been cached.
    If the EXTERNAL_RELOCS and INTERNAL_RELOCS arguments are not NULL,
@@ -1091,8 +1817,9 @@ elf_add_dynamic_entry (info, tag, val)
    value is allocated using either malloc or bfd_alloc, according to
    the KEEP_MEMORY argument.  */
 
-static Elf_Internal_Rela *
-elf_link_read_relocs (abfd, o, external_relocs, internal_relocs, keep_memory)
+Elf_Internal_Rela *
+NAME(_bfd_elf,link_read_relocs) (abfd, o, external_relocs, internal_relocs,
+                                keep_memory)
      bfd *abfd;
      asection *o;
      PTR external_relocs;
@@ -1119,22 +1846,16 @@ elf_link_read_relocs (abfd, o, external_relocs, internal_relocs, keep_memory)
       if (keep_memory)
        internal_relocs = (Elf_Internal_Rela *) bfd_alloc (abfd, size);
       else
-       internal_relocs = alloc2 = (Elf_Internal_Rela *) malloc (size);
+       internal_relocs = alloc2 = (Elf_Internal_Rela *) bfd_malloc (size);
       if (internal_relocs == NULL)
-       {
-         bfd_set_error (bfd_error_no_memory);
-         goto error_return;
-       }
+       goto error_return;
     }
 
   if (external_relocs == NULL)
     {
-      alloc1 = (PTR) malloc ((size_t) rel_hdr->sh_size);
+      alloc1 = (PTR) bfd_malloc ((size_t) rel_hdr->sh_size);
       if (alloc1 == NULL)
-       {
-         bfd_set_error (bfd_error_no_memory);
-         goto error_return;
-       }
+       goto error_return;
       external_relocs = alloc1;
     }
 
@@ -1183,7 +1904,7 @@ elf_link_read_relocs (abfd, o, external_relocs, internal_relocs, keep_memory)
   /* Cache the results for next time, if we can.  */
   if (keep_memory)
     elf_section_data (o)->relocs = internal_relocs;
-                
+
   if (alloc1 != NULL)
     free (alloc1);
 
@@ -1199,6 +1920,7 @@ elf_link_read_relocs (abfd, o, external_relocs, internal_relocs, keep_memory)
     free (alloc2);
   return NULL;
 }
+\f
 
 /* Record an assignment to a symbol made by a linker script.  We need
    this in case some dynamic object refers to this symbol.  */
@@ -1220,6 +1942,9 @@ NAME(bfd_elf,record_link_assignment) (output_bfd, info, name, provide)
   if (h == NULL)
     return false;
 
+  if (h->root.type == bfd_link_hash_new)
+    h->elf_link_hash_flags &=~ ELF_LINK_NON_ELF;
+
   /* If this symbol is being provided by the linker script, and it is
      currently defined by a dynamic object, but not by a regular
      object, then mark it as undefined so that the generic linker will
@@ -1253,16 +1978,51 @@ NAME(bfd_elf,record_link_assignment) (output_bfd, info, name, provide)
 
   return true;
 }
+\f
+/* This structure is used to pass information to
+   elf_link_assign_sym_version.  */
+
+struct elf_assign_sym_version_info
+{
+  /* Output BFD.  */
+  bfd *output_bfd;
+  /* General link information.  */
+  struct bfd_link_info *info;
+  /* Version tree.  */
+  struct bfd_elf_version_tree *verdefs;
+  /* Whether we are exporting all dynamic symbols.  */
+  boolean export_dynamic;
+  /* Whether we removed any symbols from the dynamic symbol table.  */
+  boolean removed_dynamic;
+  /* Whether we had a failure.  */
+  boolean failed;
+};
+
+/* This structure is used to pass information to
+   elf_link_find_version_dependencies.  */
+
+struct elf_find_verdep_info
+{
+  /* Output BFD.  */
+  bfd *output_bfd;
+  /* General link information.  */
+  struct bfd_link_info *info;
+  /* The number of dependencies.  */
+  unsigned int vers;
+  /* Whether we had a failure.  */
+  boolean failed;
+};
 
 /* Array used to determine the number of hash table buckets to use
    based on the number of symbols there are.  If there are fewer than
    3 symbols we use 1 bucket, fewer than 17 symbols we use 3 buckets,
    fewer than 37 we use 17 buckets, and so forth.  We never use more
-   than 521 buckets.  */
+   than 32771 buckets.  */
 
 static const size_t elf_buckets[] =
 {
-  1, 3, 17, 37, 67, 97, 131, 197, 263, 521, 0
+  1, 3, 17, 37, 67, 97, 131, 197, 263, 521, 1031, 2053, 4099, 8209,
+  16411, 32771, 0
 };
 
 /* Set up the sizes and contents of the ELF dynamic sections.  This is
@@ -1272,22 +2032,39 @@ static const size_t elf_buckets[] =
 
 boolean
 NAME(bfd_elf,size_dynamic_sections) (output_bfd, soname, rpath,
-                                    export_dynamic, info, sinterpptr)
+                                    export_dynamic, filter_shlib,
+                                    auxiliary_filters, info, sinterpptr,
+                                    verdefs)
      bfd *output_bfd;
      const char *soname;
      const char *rpath;
      boolean export_dynamic;
+     const char *filter_shlib;
+     const char * const *auxiliary_filters;
      struct bfd_link_info *info;
      asection **sinterpptr;
+     struct bfd_elf_version_tree *verdefs;
 {
+  bfd_size_type soname_indx;
   bfd *dynobj;
   struct elf_backend_data *bed;
+  bfd_size_type old_dynsymcount;
+  struct elf_assign_sym_version_info asvinfo;
 
   *sinterpptr = NULL;
 
+  soname_indx = -1;
+
   if (info->hash->creator->flavour != bfd_target_elf_flavour)
     return true;
 
+  /* The backend may have to create some sections regardless of whether
+     we're dynamic or not.  */
+  bed = get_elf_backend_data (output_bfd);
+  if (bed->elf_backend_always_size_sections
+      && ! (*bed->elf_backend_always_size_sections) (output_bfd, info))
+    return false;
+
   dynobj = elf_hash_table (info)->dynobj;
 
   /* If there were no dynamic objects in the link, there is nothing to
@@ -1312,6 +2089,7 @@ NAME(bfd_elf,size_dynamic_sections) (output_bfd, soname, rpath,
   if (elf_hash_table (info)->dynamic_sections_created)
     {
       struct elf_info_failed eif;
+      struct elf_link_hash_entry *h;
       bfd_size_type strsize;
 
       *sinterpptr = bfd_get_section_by_name (dynobj, ".interp");
@@ -1319,14 +2097,12 @@ NAME(bfd_elf,size_dynamic_sections) (output_bfd, soname, rpath,
 
       if (soname != NULL)
        {
-         bfd_size_type indx;
-
-         indx = _bfd_stringtab_add (elf_hash_table (info)->dynstr, soname,
-                                    true, true);
-         if (indx == (bfd_size_type) -1
-             || ! elf_add_dynamic_entry (info, DT_SONAME, indx))
+         soname_indx = _bfd_stringtab_add (elf_hash_table (info)->dynstr,
+                                           soname, true, true);
+         if (soname_indx == (bfd_size_type) -1
+             || ! elf_add_dynamic_entry (info, DT_SONAME, soname_indx))
            return false;
-       }      
+       }
 
       if (info->symbolic)
        {
@@ -1345,6 +2121,47 @@ NAME(bfd_elf,size_dynamic_sections) (output_bfd, soname, rpath,
            return false;
        }
 
+      if (filter_shlib != NULL)
+       {
+         bfd_size_type indx;
+
+         indx = _bfd_stringtab_add (elf_hash_table (info)->dynstr,
+                                    filter_shlib, true, true);
+         if (indx == (bfd_size_type) -1
+             || ! elf_add_dynamic_entry (info, DT_FILTER, indx))
+           return false;
+       }
+
+      if (auxiliary_filters != NULL)
+       {
+         const char * const *p;
+
+         for (p = auxiliary_filters; *p != NULL; p++)
+           {
+             bfd_size_type indx;
+
+             indx = _bfd_stringtab_add (elf_hash_table (info)->dynstr,
+                                        *p, true, true);
+             if (indx == (bfd_size_type) -1
+                 || ! elf_add_dynamic_entry (info, DT_AUXILIARY, indx))
+               return false;
+           }
+       }
+
+      /* Attach all the symbols to their version information.  */
+      asvinfo.output_bfd = output_bfd;
+      asvinfo.info = info;
+      asvinfo.verdefs = verdefs;
+      asvinfo.export_dynamic = export_dynamic;
+      asvinfo.removed_dynamic = false;
+      asvinfo.failed = false;
+
+      elf_link_hash_traverse (elf_hash_table (info),
+                             elf_link_assign_sym_version,
+                             (PTR) &asvinfo);
+      if (asvinfo.failed)
+       return false;
+
       /* Find all symbols which were defined in a dynamic object and make
         the backend pick a reasonable value for them.  */
       eif.failed = false;
@@ -1358,14 +2175,20 @@ NAME(bfd_elf,size_dynamic_sections) (output_bfd, soname, rpath,
       /* Add some entries to the .dynamic section.  We fill in some of the
         values later, in elf_bfd_final_link, but we must add the entries
         now so that we know the final size of the .dynamic section.  */
-      if (elf_link_hash_lookup (elf_hash_table (info), "_init", false,
-                               false, false) != NULL)
+      h =  elf_link_hash_lookup (elf_hash_table (info), "_init", false,
+                               false, false);
+      if (h != NULL
+         && (h->elf_link_hash_flags & (ELF_LINK_HASH_REF_REGULAR
+                                       | ELF_LINK_HASH_DEF_REGULAR)) != 0)
        {
          if (! elf_add_dynamic_entry (info, DT_INIT, 0))
            return false;
        }
-      if (elf_link_hash_lookup (elf_hash_table (info), "_fini", false,
-                               false, false) != NULL)
+      h =  elf_link_hash_lookup (elf_hash_table (info), "_fini", false,
+                                false, false);
+      if (h != NULL
+         && (h->elf_link_hash_flags & (ELF_LINK_HASH_REF_REGULAR
+                                       | ELF_LINK_HASH_DEF_REGULAR)) != 0)
        {
          if (! elf_add_dynamic_entry (info, DT_FINI, 0))
            return false;
@@ -1382,7 +2205,7 @@ NAME(bfd_elf,size_dynamic_sections) (output_bfd, soname, rpath,
 
   /* The backend must work out the sizes of all the other dynamic
      sections.  */
-  bed = get_elf_backend_data (output_bfd);
+  old_dynsymcount = elf_hash_table (info)->dynsymcount;
   if (! (*bed->elf_backend_size_dynamic_sections) (output_bfd, info))
     return false;
 
@@ -1394,22 +2217,357 @@ NAME(bfd_elf,size_dynamic_sections) (output_bfd, soname, rpath,
       size_t bucketcount = 0;
       Elf_Internal_Sym isym;
 
+      /* Set up the version definition section.  */
+      s = bfd_get_section_by_name (dynobj, ".gnu.version_d");
+      BFD_ASSERT (s != NULL);
+
+      /* We may have created additional version definitions if we are
+         just linking a regular application.  */
+      verdefs = asvinfo.verdefs;
+
+      if (verdefs == NULL)
+       {
+         asection **spp;
+
+         /* Don't include this section in the output file.  */
+         for (spp = &output_bfd->sections;
+              *spp != s->output_section;
+              spp = &(*spp)->next)
+           ;
+         *spp = s->output_section->next;
+         --output_bfd->section_count;
+       }
+      else
+       {
+         unsigned int cdefs;
+         bfd_size_type size;
+         struct bfd_elf_version_tree *t;
+         bfd_byte *p;
+         Elf_Internal_Verdef def;
+         Elf_Internal_Verdaux defaux;
+
+         if (asvinfo.removed_dynamic)
+           {
+             /* Some dynamic symbols were changed to be local
+                symbols.  In this case, we renumber all of the
+                dynamic symbols, so that we don't have a hole.  If
+                the backend changed dynsymcount, then assume that the
+                new symbols are at the start.  This is the case on
+                the MIPS.  FIXME: The names of the removed symbols
+                will still be in the dynamic string table, wasting
+                space.  */
+             elf_hash_table (info)->dynsymcount =
+               1 + (elf_hash_table (info)->dynsymcount - old_dynsymcount);
+             elf_link_hash_traverse (elf_hash_table (info),
+                                     elf_link_renumber_dynsyms,
+                                     (PTR) info);
+           }
+
+         cdefs = 0;
+         size = 0;
+
+         /* Make space for the base version.  */
+         size += sizeof (Elf_External_Verdef);
+         size += sizeof (Elf_External_Verdaux);
+         ++cdefs;
+
+         for (t = verdefs; t != NULL; t = t->next)
+           {
+             struct bfd_elf_version_deps *n;
+
+             size += sizeof (Elf_External_Verdef);
+             size += sizeof (Elf_External_Verdaux);
+             ++cdefs;
+
+             for (n = t->deps; n != NULL; n = n->next)
+               size += sizeof (Elf_External_Verdaux);
+           }
+
+         s->_raw_size = size;
+         s->contents = (bfd_byte *) bfd_alloc (output_bfd, s->_raw_size);
+         if (s->contents == NULL && s->_raw_size != 0)
+           return false;
+
+         /* Fill in the version definition section.  */
+
+         p = s->contents;
+
+         def.vd_version = VER_DEF_CURRENT;
+         def.vd_flags = VER_FLG_BASE;
+         def.vd_ndx = 1;
+         def.vd_cnt = 1;
+         def.vd_aux = sizeof (Elf_External_Verdef);
+         def.vd_next = (sizeof (Elf_External_Verdef)
+                        + sizeof (Elf_External_Verdaux));
+
+         if (soname_indx != -1)
+           {
+             def.vd_hash = bfd_elf_hash ((const unsigned char *) soname);
+             defaux.vda_name = soname_indx;
+           }
+         else
+           {
+             const char *name;
+             bfd_size_type indx;
+
+             name = output_bfd->filename;
+             def.vd_hash = bfd_elf_hash ((const unsigned char *) name);
+             indx = _bfd_stringtab_add (elf_hash_table (info)->dynstr,
+                                           name, true, false);
+             if (indx == (bfd_size_type) -1)
+               return false;
+             defaux.vda_name = indx;
+           }
+         defaux.vda_next = 0;
+
+         _bfd_elf_swap_verdef_out (output_bfd, &def,
+                                   (Elf_External_Verdef *)p);
+         p += sizeof (Elf_External_Verdef);
+         _bfd_elf_swap_verdaux_out (output_bfd, &defaux,
+                                    (Elf_External_Verdaux *) p);
+         p += sizeof (Elf_External_Verdaux);
+
+         for (t = verdefs; t != NULL; t = t->next)
+           {
+             unsigned int cdeps;
+             struct bfd_elf_version_deps *n;
+             struct elf_link_hash_entry *h;
+
+             cdeps = 0;
+             for (n = t->deps; n != NULL; n = n->next)
+               ++cdeps;
+
+             /* Add a symbol representing this version.  */
+             h = NULL;
+             if (! (_bfd_generic_link_add_one_symbol
+                    (info, dynobj, t->name, BSF_GLOBAL, bfd_abs_section_ptr,
+                     (bfd_vma) 0, (const char *) NULL, false,
+                     get_elf_backend_data (dynobj)->collect,
+                     (struct bfd_link_hash_entry **) &h)))
+               return false;
+             h->elf_link_hash_flags &= ~ ELF_LINK_NON_ELF;
+             h->elf_link_hash_flags |= ELF_LINK_HASH_DEF_REGULAR;
+             h->type = STT_OBJECT;
+             h->verinfo.vertree = t;
+
+             if (! _bfd_elf_link_record_dynamic_symbol (info, h))
+               return false;
+
+             def.vd_version = VER_DEF_CURRENT;
+             def.vd_flags = 0;
+             if (t->globals == NULL && t->locals == NULL && ! t->used)
+               def.vd_flags |= VER_FLG_WEAK;
+             def.vd_ndx = t->vernum + 1;
+             def.vd_cnt = cdeps + 1;
+             def.vd_hash = bfd_elf_hash ((const unsigned char *) t->name);
+             def.vd_aux = sizeof (Elf_External_Verdef);
+             if (t->next != NULL)
+               def.vd_next = (sizeof (Elf_External_Verdef)
+                              + (cdeps + 1) * sizeof (Elf_External_Verdaux));
+             else
+               def.vd_next = 0;
+
+             _bfd_elf_swap_verdef_out (output_bfd, &def,
+                                       (Elf_External_Verdef *) p);
+             p += sizeof (Elf_External_Verdef);
+
+             defaux.vda_name = h->dynstr_index;
+             if (t->deps == NULL)
+               defaux.vda_next = 0;
+             else
+               defaux.vda_next = sizeof (Elf_External_Verdaux);
+             t->name_indx = defaux.vda_name;
+
+             _bfd_elf_swap_verdaux_out (output_bfd, &defaux,
+                                        (Elf_External_Verdaux *) p);
+             p += sizeof (Elf_External_Verdaux);
+
+             for (n = t->deps; n != NULL; n = n->next)
+               {
+                 defaux.vda_name = n->version_needed->name_indx;
+                 if (n->next == NULL)
+                   defaux.vda_next = 0;
+                 else
+                   defaux.vda_next = sizeof (Elf_External_Verdaux);
+
+                 _bfd_elf_swap_verdaux_out (output_bfd, &defaux,
+                                            (Elf_External_Verdaux *) p);
+                 p += sizeof (Elf_External_Verdaux);
+               }
+           }
+
+         if (! elf_add_dynamic_entry (info, DT_VERDEF, 0)
+             || ! elf_add_dynamic_entry (info, DT_VERDEFNUM, cdefs))
+           return false;
+
+         elf_tdata (output_bfd)->cverdefs = cdefs;
+       }
+
+      /* Work out the size of the version reference section.  */
+
+      s = bfd_get_section_by_name (dynobj, ".gnu.version_r");
+      BFD_ASSERT (s != NULL);
+      {
+       struct elf_find_verdep_info sinfo;
+
+       sinfo.output_bfd = output_bfd;
+       sinfo.info = info;
+       sinfo.vers = elf_tdata (output_bfd)->cverdefs;
+       if (sinfo.vers == 0)
+         sinfo.vers = 1;
+       sinfo.failed = false;
+
+       elf_link_hash_traverse (elf_hash_table (info),
+                               elf_link_find_version_dependencies,
+                               (PTR) &sinfo);
+
+       if (elf_tdata (output_bfd)->verref == NULL)
+         {
+           asection **spp;
+
+           /* We don't have any version definitions, so we can just
+               remove the section.  */
+
+           for (spp = &output_bfd->sections;
+                *spp != s->output_section;
+                spp = &(*spp)->next)
+             ;
+           *spp = s->output_section->next;
+           --output_bfd->section_count;
+         }
+       else
+         {
+           Elf_Internal_Verneed *t;
+           unsigned int size;
+           unsigned int crefs;
+           bfd_byte *p;
+
+           /* Build the version definition section.  */
+           size = 0;
+           crefs = 0;
+           for (t = elf_tdata (output_bfd)->verref;
+                t != NULL;
+                t = t->vn_nextref)
+             {
+               Elf_Internal_Vernaux *a;
+
+               size += sizeof (Elf_External_Verneed);
+               ++crefs;
+               for (a = t->vn_auxptr; a != NULL; a = a->vna_nextptr)
+                 size += sizeof (Elf_External_Vernaux);
+             }
+
+           s->_raw_size = size;
+           s->contents = (bfd_byte *) bfd_alloc (output_bfd, size);
+           if (s->contents == NULL)
+             return false;
+
+           p = s->contents;
+           for (t = elf_tdata (output_bfd)->verref;
+                t != NULL;
+                t = t->vn_nextref)
+             {
+               unsigned int caux;
+               Elf_Internal_Vernaux *a;
+               bfd_size_type indx;
+
+               caux = 0;
+               for (a = t->vn_auxptr; a != NULL; a = a->vna_nextptr)
+                 ++caux;
+
+               t->vn_version = VER_NEED_CURRENT;
+               t->vn_cnt = caux;
+               if (elf_dt_name (t->vn_bfd) != NULL)
+                 indx = _bfd_stringtab_add (elf_hash_table (info)->dynstr,
+                                            elf_dt_name (t->vn_bfd),
+                                            true, false);
+               else
+                 indx = _bfd_stringtab_add (elf_hash_table (info)->dynstr,
+                                            t->vn_bfd->filename, true, false);
+               if (indx == (bfd_size_type) -1)
+                 return false;
+               t->vn_file = indx;
+               t->vn_aux = sizeof (Elf_External_Verneed);
+               if (t->vn_nextref == NULL)
+                 t->vn_next = 0;
+               else
+                 t->vn_next = (sizeof (Elf_External_Verneed)
+                               + caux * sizeof (Elf_External_Vernaux));
+
+               _bfd_elf_swap_verneed_out (output_bfd, t,
+                                          (Elf_External_Verneed *) p);
+               p += sizeof (Elf_External_Verneed);
+
+               for (a = t->vn_auxptr; a != NULL; a = a->vna_nextptr)
+                 {
+                   a->vna_hash = bfd_elf_hash ((const unsigned char *)
+                                               a->vna_nodename);
+                   indx = _bfd_stringtab_add (elf_hash_table (info)->dynstr,
+                                              a->vna_nodename, true, false);
+                   if (indx == (bfd_size_type) -1)
+                     return false;
+                   a->vna_name = indx;
+                   if (a->vna_nextptr == NULL)
+                     a->vna_next = 0;
+                   else
+                     a->vna_next = sizeof (Elf_External_Vernaux);
+
+                   _bfd_elf_swap_vernaux_out (output_bfd, a,
+                                              (Elf_External_Vernaux *) p);
+                   p += sizeof (Elf_External_Vernaux);
+                 }
+             }
+
+           if (! elf_add_dynamic_entry (info, DT_VERNEED, 0)
+               || ! elf_add_dynamic_entry (info, DT_VERNEEDNUM, crefs))
+             return false;
+
+           elf_tdata (output_bfd)->cverrefs = crefs;
+         }
+      }
+
+      dynsymcount = elf_hash_table (info)->dynsymcount;
+
+      /* Work out the size of the symbol version section.  */
+      s = bfd_get_section_by_name (dynobj, ".gnu.version");
+      BFD_ASSERT (s != NULL);
+      if (dynsymcount == 0
+         || (verdefs == NULL && elf_tdata (output_bfd)->verref == NULL))
+       {
+         asection **spp;
+
+         /* We don't need any symbol versions; just discard the
+             section.  */
+         for (spp = &output_bfd->sections;
+              *spp != s->output_section;
+              spp = &(*spp)->next)
+           ;
+         *spp = s->output_section->next;
+         --output_bfd->section_count;
+       }
+      else
+       {
+         s->_raw_size = dynsymcount * sizeof (Elf_External_Versym);
+         s->contents = (bfd_byte *) bfd_zalloc (output_bfd, s->_raw_size);
+         if (s->contents == NULL)
+           return false;
+
+         if (! elf_add_dynamic_entry (info, DT_VERSYM, 0))
+           return false;
+       }
+
       /* Set the size of the .dynsym and .hash sections.  We counted
         the number of dynamic symbols in elf_link_add_object_symbols.
         We will build the contents of .dynsym and .hash when we build
         the final symbol table, because until then we do not know the
         correct value to give the symbols.  We built the .dynstr
         section as we went along in elf_link_add_object_symbols.  */
-      dynsymcount = elf_hash_table (info)->dynsymcount;
       s = bfd_get_section_by_name (dynobj, ".dynsym");
       BFD_ASSERT (s != NULL);
       s->_raw_size = dynsymcount * sizeof (Elf_External_Sym);
       s->contents = (bfd_byte *) bfd_alloc (output_bfd, s->_raw_size);
       if (s->contents == NULL && s->_raw_size != 0)
-       {
-         bfd_set_error (bfd_error_no_memory);
-         return false;
-       }
+       return false;
 
       /* The first entry in .dynsym is a dummy symbol.  */
       isym.st_value = 0;
@@ -1433,10 +2591,7 @@ NAME(bfd_elf,size_dynamic_sections) (output_bfd, soname, rpath,
       s->_raw_size = (2 + bucketcount + dynsymcount) * (ARCH_SIZE / 8);
       s->contents = (bfd_byte *) bfd_alloc (output_bfd, s->_raw_size);
       if (s->contents == NULL)
-       {
-         bfd_set_error (bfd_error_no_memory);
-         return false;
-       }
+       return false;
       memset (s->contents, 0, (size_t) s->_raw_size);
 
       put_word (output_bfd, bucketcount, s->contents);
@@ -1454,28 +2609,71 @@ NAME(bfd_elf,size_dynamic_sections) (output_bfd, soname, rpath,
 
   return true;
 }
-
-/* This routine is used to export all defined symbols into the dynamic
-   symbol table.  It is called via elf_link_hash_traverse.  */
+\f
+/* Fix up the flags for a symbol.  This handles various cases which
+   can only be fixed after all the input files are seen.  This is
+   currently called by both adjust_dynamic_symbol and
+   assign_sym_version, which is unnecessary but perhaps more robust in
+   the face of future changes.  */
 
 static boolean
-elf_export_symbol (h, data)
+elf_fix_symbol_flags (h, eif)
      struct elf_link_hash_entry *h;
-     PTR data;
+     struct elf_info_failed *eif;
 {
-  struct elf_info_failed *eif = (struct elf_info_failed *) data;
-
-  if (h->dynindx == -1
-      && (h->elf_link_hash_flags
-         & (ELF_LINK_HASH_DEF_REGULAR | ELF_LINK_HASH_REF_REGULAR)) != 0)
+  /* If this symbol was mentioned in a non-ELF file, try to set
+     DEF_REGULAR and REF_REGULAR correctly.  This is the only way to
+     permit a non-ELF file to correctly refer to a symbol defined in
+     an ELF dynamic object.  */
+  if ((h->elf_link_hash_flags & ELF_LINK_NON_ELF) != 0)
     {
-      if (! _bfd_elf_link_record_dynamic_symbol (eif->info, h))
+      if (h->root.type != bfd_link_hash_defined
+         && h->root.type != bfd_link_hash_defweak)
+       h->elf_link_hash_flags |= ELF_LINK_HASH_REF_REGULAR;
+      else
        {
-         eif->failed = true;
-         return false;
+         if (h->root.u.def.section->owner != NULL
+             && (bfd_get_flavour (h->root.u.def.section->owner)
+                 == bfd_target_elf_flavour))
+           h->elf_link_hash_flags |= ELF_LINK_HASH_REF_REGULAR;
+         else
+           h->elf_link_hash_flags |= ELF_LINK_HASH_DEF_REGULAR;
+       }
+
+      if (h->dynindx == -1
+         && ((h->elf_link_hash_flags & ELF_LINK_HASH_DEF_DYNAMIC) != 0
+             || (h->elf_link_hash_flags & ELF_LINK_HASH_REF_DYNAMIC) != 0))
+       {
+         if (! _bfd_elf_link_record_dynamic_symbol (eif->info, h))
+           {
+             eif->failed = true;
+             return false;
+           }
        }
     }
 
+  /* If this is a final link, and the symbol was defined as a common
+     symbol in a regular object file, and there was no definition in
+     any dynamic object, then the linker will have allocated space for
+     the symbol in a common section but the ELF_LINK_HASH_DEF_REGULAR
+     flag will not have been set.  */
+  if (h->root.type == bfd_link_hash_defined
+      && (h->elf_link_hash_flags & ELF_LINK_HASH_DEF_REGULAR) == 0
+      && (h->elf_link_hash_flags & ELF_LINK_HASH_REF_REGULAR) != 0
+      && (h->elf_link_hash_flags & ELF_LINK_HASH_DEF_DYNAMIC) == 0
+      && (h->root.u.def.section->owner->flags & DYNAMIC) == 0)
+    h->elf_link_hash_flags |= ELF_LINK_HASH_DEF_REGULAR;
+
+  /* If -Bsymbolic was used (which means to bind references to global
+     symbols to the definition within the shared object), and this
+     symbol was defined in a regular object, then it actually doesn't
+     need a PLT entry.  */
+  if ((h->elf_link_hash_flags & ELF_LINK_HASH_NEEDS_PLT) != 0
+      && eif->info->shared
+      && eif->info->symbolic
+      && (h->elf_link_hash_flags & ELF_LINK_HASH_DEF_REGULAR) != 0)
+    h->elf_link_hash_flags &=~ ELF_LINK_HASH_NEEDS_PLT;
+
   return true;
 }
 
@@ -1492,15 +2690,13 @@ elf_adjust_dynamic_symbol (h, data)
   bfd *dynobj;
   struct elf_backend_data *bed;
 
-  /* If -Bsymbolic was used (which means to bind references to global
-     symbols to the definition within the shared object), and this
-     symbol was defined in a regular object, then it actually doesn't
-     need a PLT entry.  */
-  if ((h->elf_link_hash_flags & ELF_LINK_HASH_NEEDS_PLT) != 0
-      && eif->info->shared
-      && eif->info->symbolic
-      && (h->elf_link_hash_flags & ELF_LINK_HASH_DEF_REGULAR) != 0)
-    h->elf_link_hash_flags &=~ ELF_LINK_HASH_NEEDS_PLT;
+  /* Ignore indirect symbols.  These are added by the versioning code.  */
+  if (h->root.type == bfd_link_hash_indirect)
+    return true;
+
+  /* Fix the symbol flags.  */
+  if (! elf_fix_symbol_flags (h, eif))
+    return false;
 
   /* If this symbol does not require a PLT entry, and it is not
      defined by a dynamic object, or is not referenced by a regular
@@ -1593,6 +2789,369 @@ elf_adjust_dynamic_symbol (h, data)
   return true;
 }
 \f
+/* This routine is used to export all defined symbols into the dynamic
+   symbol table.  It is called via elf_link_hash_traverse.  */
+
+static boolean
+elf_export_symbol (h, data)
+     struct elf_link_hash_entry *h;
+     PTR data;
+{
+  struct elf_info_failed *eif = (struct elf_info_failed *) data;
+
+  /* Ignore indirect symbols.  These are added by the versioning code.  */
+  if (h->root.type == bfd_link_hash_indirect)
+    return true;
+
+  if (h->dynindx == -1
+      && (h->elf_link_hash_flags
+         & (ELF_LINK_HASH_DEF_REGULAR | ELF_LINK_HASH_REF_REGULAR)) != 0)
+    {
+      if (! _bfd_elf_link_record_dynamic_symbol (eif->info, h))
+       {
+         eif->failed = true;
+         return false;
+       }
+    }
+
+  return true;
+}
+\f
+/* Look through the symbols which are defined in other shared
+   libraries and referenced here.  Update the list of version
+   dependencies.  This will be put into the .gnu.version_r section.
+   This function is called via elf_link_hash_traverse.  */
+
+static boolean
+elf_link_find_version_dependencies (h, data)
+     struct elf_link_hash_entry *h;
+     PTR data;
+{
+  struct elf_find_verdep_info *rinfo = (struct elf_find_verdep_info *) data;
+  Elf_Internal_Verneed *t;
+  Elf_Internal_Vernaux *a;
+
+  /* We only care about symbols defined in shared objects with version
+     information.  */
+  if ((h->elf_link_hash_flags & ELF_LINK_HASH_DEF_DYNAMIC) == 0
+      || (h->elf_link_hash_flags & ELF_LINK_HASH_DEF_REGULAR) != 0
+      || h->dynindx == -1
+      || h->verinfo.verdef == NULL)
+    return true;
+
+  /* See if we already know about this version.  */
+  for (t = elf_tdata (rinfo->output_bfd)->verref; t != NULL; t = t->vn_nextref)
+    {
+      if (t->vn_bfd != h->verinfo.verdef->vd_bfd)
+       continue;
+
+      for (a = t->vn_auxptr; a != NULL; a = a->vna_nextptr)
+       if (a->vna_nodename == h->verinfo.verdef->vd_nodename)
+         return true;
+
+      break;
+    }
+
+  /* This is a new version.  Add it to tree we are building.  */
+
+  if (t == NULL)
+    {
+      t = (Elf_Internal_Verneed *) bfd_zalloc (rinfo->output_bfd, sizeof *t);
+      if (t == NULL)
+       {
+         rinfo->failed = true;
+         return false;
+       }
+
+      t->vn_bfd = h->verinfo.verdef->vd_bfd;
+      t->vn_nextref = elf_tdata (rinfo->output_bfd)->verref;
+      elf_tdata (rinfo->output_bfd)->verref = t;
+    }
+
+  a = (Elf_Internal_Vernaux *) bfd_zalloc (rinfo->output_bfd, sizeof *a);
+
+  /* Note that we are copying a string pointer here, and testing it
+     above.  If bfd_elf_string_from_elf_section is ever changed to
+     discard the string data when low in memory, this will have to be
+     fixed.  */
+  a->vna_nodename = h->verinfo.verdef->vd_nodename;
+
+  a->vna_flags = h->verinfo.verdef->vd_flags;
+  a->vna_nextptr = t->vn_auxptr;
+
+  h->verinfo.verdef->vd_exp_refno = rinfo->vers;
+  ++rinfo->vers;
+
+  a->vna_other = h->verinfo.verdef->vd_exp_refno + 1;
+
+  t->vn_auxptr = a;
+
+  return true;
+}
+
+/* Figure out appropriate versions for all the symbols.  We may not
+   have the version number script until we have read all of the input
+   files, so until that point we don't know which symbols should be
+   local.  This function is called via elf_link_hash_traverse.  */
+
+static boolean
+elf_link_assign_sym_version (h, data)
+     struct elf_link_hash_entry *h;
+     PTR data;
+{
+  struct elf_assign_sym_version_info *sinfo =
+    (struct elf_assign_sym_version_info *) data;
+  struct bfd_link_info *info = sinfo->info;
+  struct elf_info_failed eif;
+  char *p;
+
+  /* Fix the symbol flags.  */
+  eif.failed = false;
+  eif.info = info;
+  if (! elf_fix_symbol_flags (h, &eif))
+    {
+      if (eif.failed)
+       sinfo->failed = true;
+      return false;
+    }
+
+  /* We only need version numbers for symbols defined in regular
+     objects.  */
+  if ((h->elf_link_hash_flags & ELF_LINK_HASH_DEF_REGULAR) == 0)
+    return true;
+
+  p = strchr (h->root.root.string, ELF_VER_CHR);
+  if (p != NULL && h->verinfo.vertree == NULL)
+    {
+      struct bfd_elf_version_tree *t;
+      boolean hidden;
+
+      hidden = true;
+
+      /* There are two consecutive ELF_VER_CHR characters if this is
+         not a hidden symbol.  */
+      ++p;
+      if (*p == ELF_VER_CHR)
+       {
+         hidden = false;
+         ++p;
+       }
+
+      /* If there is no version string, we can just return out.  */
+      if (*p == '\0')
+       {
+         if (hidden)
+           h->elf_link_hash_flags |= ELF_LINK_HIDDEN;
+         return true;
+       }
+
+      /* Look for the version.  If we find it, it is no longer weak.  */
+      for (t = sinfo->verdefs; t != NULL; t = t->next)
+       {
+         if (strcmp (t->name, p) == 0)
+           {
+             h->verinfo.vertree = t;
+             t->used = true;
+
+             /* See if there is anything to force this symbol to
+                 local scope.  */
+             if (t->locals != NULL)
+               {
+                 int len;
+                 char *alc;
+                 struct bfd_elf_version_expr *d;
+
+                 len = p - h->root.root.string;
+                 alc = bfd_alloc (sinfo->output_bfd, len);
+                 if (alc == NULL)
+                   return false;
+                 strncpy (alc, h->root.root.string, len - 1);
+                 alc[len - 1] = '\0';
+                 if (alc[len - 2] == ELF_VER_CHR)
+                   alc[len - 2] = '\0';
+
+                 for (d = t->locals; d != NULL; d = d->next)
+                   {
+                     if ((d->match[0] == '*' && d->match[1] == '\0')
+                         || fnmatch (d->match, alc, 0) == 0)
+                       {
+                         if (h->dynindx != -1
+                             && info->shared
+                             && ! sinfo->export_dynamic)
+                           {
+                             sinfo->removed_dynamic = true;
+                             h->elf_link_hash_flags |= ELF_LINK_FORCED_LOCAL;
+                             h->elf_link_hash_flags &=~
+                               ELF_LINK_HASH_NEEDS_PLT;
+                             h->dynindx = -1;
+                             /* FIXME: The name of the symbol has
+                                already been recorded in the dynamic
+                                string table section.  */
+                           }
+
+                         break;
+                       }
+                   }
+
+                 bfd_release (sinfo->output_bfd, alc);
+               }
+
+             break;
+           }
+       }
+
+      /* If we are building an application, we need to create a
+         version node for this version.  */
+      if (t == NULL && ! info->shared)
+       {
+         struct bfd_elf_version_tree **pp;
+         int version_index;
+
+         /* If we aren't going to export this symbol, we don't need
+             to worry about it. */
+         if (h->dynindx == -1)
+           return true;
+
+         t = ((struct bfd_elf_version_tree *)
+              bfd_alloc (sinfo->output_bfd, sizeof *t));
+         if (t == NULL)
+           {
+             sinfo->failed = true;
+             return false;
+           }
+
+         t->next = NULL;
+         t->name = p;
+         t->globals = NULL;
+         t->locals = NULL;
+         t->deps = NULL;
+         t->name_indx = (unsigned int) -1;
+         t->used = true;
+
+         version_index = 1;
+         for (pp = &sinfo->verdefs; *pp != NULL; pp = &(*pp)->next)
+           ++version_index;
+         t->vernum = version_index;
+
+         *pp = t;
+
+         h->verinfo.vertree = t;
+       }
+      else if (t == NULL)
+       {
+         /* We could not find the version for a symbol when
+             generating a shared archive.  Return an error.  */
+         (*_bfd_error_handler)
+           ("%s: undefined version name %s",
+            bfd_get_filename (sinfo->output_bfd), h->root.root.string);
+         bfd_set_error (bfd_error_bad_value);
+         sinfo->failed = true;
+         return false;
+       }
+
+      if (hidden)
+       h->elf_link_hash_flags |= ELF_LINK_HIDDEN;
+    }
+
+  /* If we don't have a version for this symbol, see if we can find
+     something.  */
+  if (h->verinfo.vertree == NULL && sinfo->verdefs != NULL)
+    {
+      struct bfd_elf_version_tree *t;
+      struct bfd_elf_version_tree *deflt;
+      struct bfd_elf_version_expr *d;
+
+      /* See if can find what version this symbol is in.  If the
+         symbol is supposed to be local, then don't actually register
+         it.  */
+      deflt = NULL;
+      for (t = sinfo->verdefs; t != NULL; t = t->next)
+       {
+         if (t->globals != NULL)
+           {
+             for (d = t->globals; d != NULL; d = d->next)
+               {
+                 if (fnmatch (d->match, h->root.root.string, 0) == 0)
+                   {
+                     h->verinfo.vertree = t;
+                     break;
+                   }
+               }
+
+             if (d != NULL)
+               break;
+           }
+
+         if (t->locals != NULL)
+           {
+             for (d = t->locals; d != NULL; d = d->next)
+               {
+                 if (d->match[0] == '*' && d->match[1] == '\0')
+                   deflt = t;
+                 else if (fnmatch (d->match, h->root.root.string, 0) == 0)
+                   {
+                     h->verinfo.vertree = t;
+                     if (h->dynindx != -1
+                         && info->shared
+                         && ! sinfo->export_dynamic)
+                       {
+                         sinfo->removed_dynamic = true;
+                         h->elf_link_hash_flags |= ELF_LINK_FORCED_LOCAL;
+                         h->elf_link_hash_flags &=~ ELF_LINK_HASH_NEEDS_PLT;
+                         h->dynindx = -1;
+                         /* FIXME: The name of the symbol has already
+                            been recorded in the dynamic string table
+                            section.  */
+                       }
+                     break;
+                   }
+               }
+
+             if (d != NULL)
+               break;
+           }
+       }
+
+      if (deflt != NULL && h->verinfo.vertree == NULL)
+       {
+         h->verinfo.vertree = deflt;
+         if (h->dynindx != -1
+             && info->shared
+             && ! sinfo->export_dynamic)
+           {
+             sinfo->removed_dynamic = true;
+             h->elf_link_hash_flags |= ELF_LINK_FORCED_LOCAL;
+             h->elf_link_hash_flags &=~ ELF_LINK_HASH_NEEDS_PLT;
+             h->dynindx = -1;
+             /* FIXME: The name of the symbol has already been
+                recorded in the dynamic string table section.  */
+           }
+       }
+    }
+
+  return true;
+}
+
+/* This function is used to renumber the dynamic symbols, if some of
+   them are removed because they are marked as local.  This is called
+   via elf_link_hash_traverse.  */
+
+static boolean
+elf_link_renumber_dynsyms (h, data)
+     struct elf_link_hash_entry *h;
+     PTR data;
+{
+  struct bfd_link_info *info = (struct bfd_link_info *) data;
+
+  if (h->dynindx != -1)
+    {
+      h->dynindx = elf_hash_table (info)->dynsymcount;
+      ++elf_hash_table (info)->dynsymcount;
+    }
+
+  return true;
+}
+\f
 /* Final phase of ELF linker.  */
 
 /* A structure we use to avoid passing large numbers of arguments.  */
@@ -1609,6 +3168,8 @@ struct elf_final_link_info
   asection *dynsym_sec;
   /* .hash section.  */
   asection *hash_sec;
+  /* symbol version section (.gnu.version).  */
+  asection *symver_sec;
   /* Buffer large enough to hold contents of any section.  */
   bfd_byte *contents;
   /* Buffer large enough to hold external relocs of any section.  */
@@ -1648,14 +3209,14 @@ static boolean elf_reloc_link_order
   PARAMS ((bfd *, struct bfd_link_info *, asection *,
           struct bfd_link_order *));
 
-/* This struct is used to pass information to routines called via
-   elf_link_hash_traverse which must return failure.  */
+/* This struct is used to pass information to elf_link_output_extsym.  */
 
-struct elf_finfo_failed
+struct elf_outext_info
 {
   boolean failed;
+  boolean localsyms;
   struct elf_final_link_info *finfo;
-};  
+};
 
 /* Do the final step of an ELF link.  */
 
@@ -1680,7 +3241,7 @@ elf_bfd_final_link (abfd, info)
   Elf_Internal_Shdr *symtab_hdr;
   Elf_Internal_Shdr *symstrtab_hdr;
   struct elf_backend_data *bed = get_elf_backend_data (abfd);
-  struct elf_finfo_failed eif;
+  struct elf_outext_info eoinfo;
 
   if (info->shared)
     abfd->flags |= DYNAMIC;
@@ -1693,17 +3254,22 @@ elf_bfd_final_link (abfd, info)
   finfo.symstrtab = elf_stringtab_init ();
   if (finfo.symstrtab == NULL)
     return false;
+
   if (! dynamic)
     {
       finfo.dynsym_sec = NULL;
       finfo.hash_sec = NULL;
+      finfo.symver_sec = NULL;
     }
   else
     {
       finfo.dynsym_sec = bfd_get_section_by_name (dynobj, ".dynsym");
       finfo.hash_sec = bfd_get_section_by_name (dynobj, ".hash");
       BFD_ASSERT (finfo.dynsym_sec != NULL && finfo.hash_sec != NULL);
+      finfo.symver_sec = bfd_get_section_by_name (dynobj, ".gnu.version");
+      /* Note that it is OK if symver_sec is NULL.  */
     }
+
   finfo.contents = NULL;
   finfo.external_relocs = NULL;
   finfo.internal_relocs = NULL;
@@ -1736,6 +3302,12 @@ elf_bfd_final_link (abfd, info)
 
              sec = p->u.indirect.section;
 
+             /* Mark all sections which are to be included in the
+                link.  This will normally be every section.  We need
+                to do this so that we can identify any sections which
+                the linker has decided to not include.  */
+             sec->linker_mark = true;
+
              if (info->relocateable)
                o->reloc_count += sec->reloc_count;
 
@@ -1746,7 +3318,8 @@ elf_bfd_final_link (abfd, info)
 
              /* We are interested in just local symbols, not all
                 symbols.  */
-             if (bfd_get_flavour (sec->owner) == bfd_target_elf_flavour)
+             if (bfd_get_flavour (sec->owner) == bfd_target_elf_flavour
+                 && (sec->owner->flags & DYNAMIC) == 0)
                {
                  size_t sym_count;
 
@@ -1787,7 +3360,8 @@ elf_bfd_final_link (abfd, info)
         zero.  This is done in elf_fake_sections as well, but forcing
         the VMA to 0 here will ensure that relocs against these
         sections are handled correctly.  */
-      if ((o->flags & SEC_ALLOC) == 0)
+      if ((o->flags & SEC_ALLOC) == 0
+         && ! o->user_set_vma)
        o->vma = 0;
     }
 
@@ -1816,19 +3390,13 @@ elf_bfd_final_link (abfd, info)
             so we allocate it with bfd_alloc rather than malloc.  */
          rel_hdr->contents = (PTR) bfd_alloc (abfd, rel_hdr->sh_size);
          if (rel_hdr->contents == NULL && rel_hdr->sh_size != 0)
-           {
-             bfd_set_error (bfd_error_no_memory);
-             goto error_return;
-           }
+           goto error_return;
 
          p = ((struct elf_link_hash_entry **)
-              malloc (o->reloc_count
-                      * sizeof (struct elf_link_hash_entry *)));
+              bfd_malloc (o->reloc_count
+                          * sizeof (struct elf_link_hash_entry *)));
          if (p == NULL && o->reloc_count != 0)
-           {
-             bfd_set_error (bfd_error_no_memory);
-             goto error_return;
-           }
+           goto error_return;
          elf_section_data (o)->rel_hashes = p;
          pend = p + o->reloc_count;
          for (; p < pend; p++)
@@ -1845,8 +3413,7 @@ elf_bfd_final_link (abfd, info)
   /* We have now assigned file positions for all the sections except
      .symtab and .strtab.  We start the .symtab section at the current
      file position, and write directly to it.  We build the .strtab
-     section in memory.  When we add .dynsym support, we will build
-     that in memory as well (.dynsym is smaller than .symtab).  */
+     section in memory.  */
   abfd->symcount = 0;
   symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
   /* sh_name is set in prep_headers.  */
@@ -1874,23 +3441,23 @@ elf_bfd_final_link (abfd, info)
   else
     finfo.symbuf_size = max_sym_count;
   finfo.symbuf = ((Elf_External_Sym *)
-                 malloc (finfo.symbuf_size * sizeof (Elf_External_Sym)));
+                 bfd_malloc (finfo.symbuf_size * sizeof (Elf_External_Sym)));
   if (finfo.symbuf == NULL)
-    {
-      bfd_set_error (bfd_error_no_memory);
-      goto error_return;
-    }
+    goto error_return;
 
   /* Start writing out the symbol table.  The first symbol is always a
      dummy symbol.  */
-  elfsym.st_value = 0;
-  elfsym.st_size = 0;
-  elfsym.st_info = 0;
-  elfsym.st_other = 0;
-  elfsym.st_shndx = SHN_UNDEF;
-  if (! elf_link_output_sym (&finfo, (const char *) NULL,
-                            &elfsym, bfd_und_section_ptr))
-    goto error_return;
+  if (info->strip != strip_all || info->relocateable)
+    {
+      elfsym.st_value = 0;
+      elfsym.st_size = 0;
+      elfsym.st_info = 0;
+      elfsym.st_other = 0;
+      elfsym.st_shndx = SHN_UNDEF;
+      if (! elf_link_output_sym (&finfo, (const char *) NULL,
+                                &elfsym, bfd_und_section_ptr))
+       goto error_return;
+    }
 
 #if 0
   /* Some standard ELF linkers do this, but we don't because it causes
@@ -1913,34 +3480,43 @@ elf_bfd_final_link (abfd, info)
      symbols have no names.  We store the index of each one in the
      index field of the section, so that we can find it again when
      outputting relocs.  */
-  elfsym.st_value = 0;
-  elfsym.st_size = 0;
-  elfsym.st_info = ELF_ST_INFO (STB_LOCAL, STT_SECTION);
-  elfsym.st_other = 0;
-  for (i = 1; i < elf_elfheader (abfd)->e_shnum; i++)
+  if (info->strip != strip_all || info->relocateable)
     {
-      o = section_from_elf_index (abfd, i);
-      if (o != NULL)
-       o->target_index = abfd->symcount;
-      elfsym.st_shndx = i;
-      if (! elf_link_output_sym (&finfo, (const char *) NULL,
-                                &elfsym, o))
-       goto error_return;
+      elfsym.st_size = 0;
+      elfsym.st_info = ELF_ST_INFO (STB_LOCAL, STT_SECTION);
+      elfsym.st_other = 0;
+      for (i = 1; i < elf_elfheader (abfd)->e_shnum; i++)
+       {
+         o = section_from_elf_index (abfd, i);
+         if (o != NULL)
+           o->target_index = abfd->symcount;
+         elfsym.st_shndx = i;
+         if (info->relocateable || o == NULL)
+           elfsym.st_value = 0;
+         else
+           elfsym.st_value = o->vma;
+         if (! elf_link_output_sym (&finfo, (const char *) NULL,
+                                    &elfsym, o))
+           goto error_return;
+       }
     }
 
   /* Allocate some memory to hold information read in from the input
      files.  */
-  finfo.contents = (bfd_byte *) malloc (max_contents_size);
-  finfo.external_relocs = (PTR) malloc (max_external_reloc_size);
+  finfo.contents = (bfd_byte *) bfd_malloc (max_contents_size);
+  finfo.external_relocs = (PTR) bfd_malloc (max_external_reloc_size);
   finfo.internal_relocs = ((Elf_Internal_Rela *)
-                          malloc (max_internal_reloc_count
-                                  * sizeof (Elf_Internal_Rela)));
+                          bfd_malloc (max_internal_reloc_count
+                                      * sizeof (Elf_Internal_Rela)));
   finfo.external_syms = ((Elf_External_Sym *)
-                        malloc (max_sym_count * sizeof (Elf_External_Sym)));
+                        bfd_malloc (max_sym_count
+                                    * sizeof (Elf_External_Sym)));
   finfo.internal_syms = ((Elf_Internal_Sym *)
-                        malloc (max_sym_count * sizeof (Elf_Internal_Sym)));
-  finfo.indices = (long *) malloc (max_sym_count * sizeof (long));
-  finfo.sections = (asection **) malloc (max_sym_count * sizeof (asection *));
+                        bfd_malloc (max_sym_count
+                                    * sizeof (Elf_Internal_Sym)));
+  finfo.indices = (long *) bfd_malloc (max_sym_count * sizeof (long));
+  finfo.sections = ((asection **)
+                   bfd_malloc (max_sym_count * sizeof (asection *)));
   if ((finfo.contents == NULL && max_contents_size != 0)
       || (finfo.external_relocs == NULL && max_external_reloc_size != 0)
       || (finfo.internal_relocs == NULL && max_internal_reloc_count != 0)
@@ -1948,10 +3524,7 @@ elf_bfd_final_link (abfd, info)
       || (finfo.internal_syms == NULL && max_sym_count != 0)
       || (finfo.indices == NULL && max_sym_count != 0)
       || (finfo.sections == NULL && max_sym_count != 0))
-    {
-      bfd_set_error (bfd_error_no_memory);
-      goto error_return;
-    }
+    goto error_return;
 
   /* Since ELF permits relocations to be against local symbols, we
      must have the local symbols available when we do the relocations.
@@ -2005,9 +3578,26 @@ elf_bfd_final_link (abfd, info)
        }
     }
 
-  /* That wrote out all the local symbols.  Finish up the symbol table
-     with the global symbols.  */
-
+  /* That wrote out all the local symbols.  Finish up the symbol table
+     with the global symbols.  */
+
+  if (info->strip != strip_all && info->shared)
+    {
+      /* Output any global symbols that got converted to local in a
+         version script.  We do this in a separate step since ELF
+         requires all local symbols to appear prior to any global
+         symbols.  FIXME: We should only do this if some global
+         symbols were, in fact, converted to become local.  FIXME:
+         Will this work correctly with the Irix 5 linker?  */
+      eoinfo.failed = false;
+      eoinfo.finfo = &finfo;
+      eoinfo.localsyms = true;
+      elf_link_hash_traverse (elf_hash_table (info), elf_link_output_extsym,
+                             (PTR) &eoinfo);
+      if (eoinfo.failed)
+       return false;
+    }
+
   /* The sh_info field records the index of the first non local
      symbol.  */
   symtab_hdr->sh_info = abfd->symcount;
@@ -2015,11 +3605,12 @@ elf_bfd_final_link (abfd, info)
     elf_section_data (finfo.dynsym_sec->output_section)->this_hdr.sh_info = 1;
 
   /* We get the global symbols from the hash table.  */
-  eif.failed = false;
-  eif.finfo = &finfo;
+  eoinfo.failed = false;
+  eoinfo.localsyms = false;
+  eoinfo.finfo = &finfo;
   elf_link_hash_traverse (elf_hash_table (info), elf_link_output_extsym,
-                         (PTR) &eif);
-  if (eif.failed)
+                         (PTR) &eoinfo);
+  if (eoinfo.failed)
     return false;
 
   /* Flush all symbols to the file.  */
@@ -2046,9 +3637,12 @@ elf_bfd_final_link (abfd, info)
   off = _bfd_elf_assign_file_position_for_section (symstrtab_hdr, off, true);
   elf_tdata (abfd)->next_file_pos = off;
 
-  if (bfd_seek (abfd, symstrtab_hdr->sh_offset, SEEK_SET) != 0
-      || ! _bfd_stringtab_emit (abfd, finfo.symstrtab))
-    return false;
+  if (abfd->symcount > 0)
+    {
+      if (bfd_seek (abfd, symstrtab_hdr->sh_offset, SEEK_SET) != 0
+         || ! _bfd_stringtab_emit (abfd, finfo.symstrtab))
+       return false;
+    }
 
   /* Adjust the relocs to have the correct symbol indices.  */
   for (o = abfd->sections; o != NULL; o = o->next)
@@ -2065,7 +3659,7 @@ elf_bfd_final_link (abfd, info)
        {
          if (*rel_hash == NULL)
            continue;
-             
+
          BFD_ASSERT ((*rel_hash)->indx >= 0);
 
          if (rel_hdr->sh_entsize == sizeof (Elf_External_Rel))
@@ -2139,9 +3733,9 @@ elf_bfd_final_link (abfd, info)
 
                h = elf_link_hash_lookup (elf_hash_table (info), name,
                                          false, false, true);
-               BFD_ASSERT (h != NULL);
-               if (h->root.type == bfd_link_hash_defined
-                   || h->root.type == bfd_link_hash_defweak)
+               if (h != NULL
+                   && (h->root.type == bfd_link_hash_defined
+                       || h->root.type == bfd_link_hash_defweak))
                  {
                    dyn.d_un.d_val = h->root.u.def.value;
                    o = h->root.u.def.section;
@@ -2149,11 +3743,14 @@ elf_bfd_final_link (abfd, info)
                      dyn.d_un.d_val += (o->output_section->vma
                                         + o->output_offset);
                    else
-                     /* The symbol is imported from another shared
-                        library and does not apply to this one.  */
-                     dyn.d_un.d_val = 0;
+                     {
+                       /* The symbol is imported from another shared
+                          library and does not apply to this one.  */
+                       dyn.d_un.d_val = 0;
+                     }
+
+                   elf_swap_dyn_out (dynobj, &dyn, dyncon);
                  }
-               elf_swap_dyn_out (dynobj, &dyn, dyncon);
              }
              break;
 
@@ -2165,6 +3762,15 @@ elf_bfd_final_link (abfd, info)
              goto get_vma;
            case DT_SYMTAB:
              name = ".dynsym";
+             goto get_vma;
+           case DT_VERDEF:
+             name = ".gnu.version_d";
+             goto get_vma;
+           case DT_VERNEED:
+             name = ".gnu.version_r";
+             goto get_vma;
+           case DT_VERSYM:
+             name = ".gnu.version";
            get_vma:
              o = bfd_get_section_by_name (abfd, name);
              BFD_ASSERT (o != NULL);
@@ -2216,11 +3822,10 @@ elf_bfd_final_link (abfd, info)
          if ((o->flags & SEC_HAS_CONTENTS) == 0
              || o->_raw_size == 0)
            continue;
-         if ((o->flags & SEC_IN_MEMORY) == 0)
+         if ((o->flags & SEC_LINKER_CREATED) == 0)
            {
              /* At this point, we are only interested in sections
-                 created by elf_link_create_dynamic_sections.  FIXME:
-                 This test is fragile.  */
+                 created by elf_link_create_dynamic_sections.  */
              continue;
            }
          if ((elf_section_data (o->output_section)->this_hdr.sh_type
@@ -2247,6 +3852,13 @@ elf_bfd_final_link (abfd, info)
        }
     }
 
+  /* If we have optimized stabs strings, output them.  */
+  if (elf_hash_table (info)->stab_info != NULL)
+    {
+      if (! _bfd_write_stab_strings (abfd, &elf_hash_table (info)->stab_info))
+       goto error_return;
+    }
+
   if (finfo.symstrtab != NULL)
     _bfd_stringtab_free (finfo.symstrtab);
   if (finfo.contents != NULL)
@@ -2361,38 +3973,57 @@ static boolean
 elf_link_flush_output_syms (finfo)
      struct elf_final_link_info *finfo;
 {
-  Elf_Internal_Shdr *symtab;
+  if (finfo->symbuf_count > 0)
+    {
+      Elf_Internal_Shdr *symtab;
 
-  symtab = &elf_tdata (finfo->output_bfd)->symtab_hdr;
+      symtab = &elf_tdata (finfo->output_bfd)->symtab_hdr;
 
-  if (bfd_seek (finfo->output_bfd, symtab->sh_offset + symtab->sh_size,
-               SEEK_SET) != 0
-      || (bfd_write ((PTR) finfo->symbuf, finfo->symbuf_count,
-                    sizeof (Elf_External_Sym), finfo->output_bfd)
-         != finfo->symbuf_count * sizeof (Elf_External_Sym)))
-    return false;
+      if (bfd_seek (finfo->output_bfd, symtab->sh_offset + symtab->sh_size,
+                   SEEK_SET) != 0
+         || (bfd_write ((PTR) finfo->symbuf, finfo->symbuf_count,
+                        sizeof (Elf_External_Sym), finfo->output_bfd)
+             != finfo->symbuf_count * sizeof (Elf_External_Sym)))
+       return false;
 
-  symtab->sh_size += finfo->symbuf_count * sizeof (Elf_External_Sym);
+      symtab->sh_size += finfo->symbuf_count * sizeof (Elf_External_Sym);
 
-  finfo->symbuf_count = 0;
+      finfo->symbuf_count = 0;
+    }
 
   return true;
 }
 
 /* Add an external symbol to the symbol table.  This is called from
-   the hash table traversal routine.  */
+   the hash table traversal routine.  When generating a shared object,
+   we go through the symbol table twice.  The first time we output
+   anything that might have been forced to local scope in a version
+   script.  The second time we output the symbols that are still
+   global symbols.  */
 
 static boolean
 elf_link_output_extsym (h, data)
      struct elf_link_hash_entry *h;
      PTR data;
 {
-  struct elf_finfo_failed *eif = (struct elf_finfo_failed *) data;
-  struct elf_final_link_info *finfo = eif->finfo;
+  struct elf_outext_info *eoinfo = (struct elf_outext_info *) data;
+  struct elf_final_link_info *finfo = eoinfo->finfo;
   boolean strip;
   Elf_Internal_Sym sym;
   asection *input_sec;
 
+  /* Decide whether to output this symbol in this pass.  */
+  if (eoinfo->localsyms)
+    {
+      if ((h->elf_link_hash_flags & ELF_LINK_FORCED_LOCAL) == 0)
+       return true;
+    }
+  else
+    {
+      if ((h->elf_link_hash_flags & ELF_LINK_FORCED_LOCAL) != 0)
+       return true;
+    }
+
   /* If we are not creating a shared library, and this symbol is
      referenced by a shared library but is not defined anywhere, then
      warn that it is undefined.  If we do not do this, the runtime
@@ -2410,7 +4041,7 @@ elf_link_output_extsym (h, data)
             (finfo->info, h->root.root.string, h->root.u.undef.abfd,
              (asection *) NULL, 0)))
        {
-         eif->failed = true;
+         eoinfo->failed = true;
          return false;
        }
     }
@@ -2442,9 +4073,11 @@ elf_link_output_extsym (h, data)
 
   sym.st_value = 0;
   sym.st_size = h->size;
-  sym.st_other = 0;
-  if (h->root.type == bfd_link_hash_undefweak
-      || h->root.type == bfd_link_hash_defweak)
+  sym.st_other = h->other;
+  if ((h->elf_link_hash_flags & ELF_LINK_FORCED_LOCAL) != 0)
+    sym.st_info = ELF_ST_INFO (STB_LOCAL, h->type);
+  else if (h->root.type == bfd_link_hash_undefweak
+          || h->root.type == bfd_link_hash_defweak)
     sym.st_info = ELF_ST_INFO (STB_WEAK, h->type);
   else
     sym.st_info = ELF_ST_INFO (STB_GLOBAL, h->type);
@@ -2477,7 +4110,7 @@ elf_link_output_extsym (h, data)
                                                 input_sec->output_section);
            if (sym.st_shndx == (unsigned short) -1)
              {
-               eif->failed = true;
+               eoinfo->failed = true;
                return false;
              }
 
@@ -2490,9 +4123,8 @@ elf_link_output_extsym (h, data)
          }
        else
          {
-           BFD_ASSERT ((bfd_get_flavour (input_sec->owner)
-                        == bfd_target_elf_flavour)
-                       && elf_elfheader (input_sec->owner)->e_type == ET_DYN);
+           BFD_ASSERT (input_sec->owner == NULL
+                       || (input_sec->owner->flags & DYNAMIC) != 0);
            sym.st_shndx = SHN_UNDEF;
            input_sec = bfd_und_section_ptr;
          }
@@ -2506,18 +4138,54 @@ elf_link_output_extsym (h, data)
       break;
 
     case bfd_link_hash_indirect:
+      /* These symbols are created by symbol versioning.  They point
+         to the decorated version of the name.  For example, if the
+         symbol foo@@GNU_1.2 is the default, which should be used when
+         foo is used with no version, then we add an indirect symbol
+         foo which points to foo@@GNU_1.2.  We ignore these symbols,
+         since the indirected symbol is already in the hash table.  If
+         the indirect symbol is non-ELF, fall through and output it.  */
+      if ((h->elf_link_hash_flags & ELF_LINK_NON_ELF) == 0)
+       return true;
+
+      /* Fall through.  */
     case bfd_link_hash_warning:
+      /* We can't represent these symbols in ELF, although a warning
+         symbol may have come from a .gnu.warning.SYMBOL section.  We
+         just put the target symbol in the hash table.  If the target
+         symbol does not really exist, don't do anything.  */
+      if (h->root.u.i.link->type == bfd_link_hash_new)
+       return true;
       return (elf_link_output_extsym
              ((struct elf_link_hash_entry *) h->root.u.i.link, data));
     }
 
+  /* Give the processor backend a chance to tweak the symbol value,
+     and also to finish up anything that needs to be done for this
+     symbol.  */
+  if ((h->dynindx != -1
+       || (h->elf_link_hash_flags & ELF_LINK_FORCED_LOCAL) != 0)
+      && elf_hash_table (finfo->info)->dynamic_sections_created)
+    {
+      struct elf_backend_data *bed;
+
+      bed = get_elf_backend_data (finfo->output_bfd);
+      if (! ((*bed->elf_backend_finish_dynamic_symbol)
+            (finfo->output_bfd, finfo->info, h, &sym)))
+       {
+         eoinfo->failed = true;
+         return false;
+       }
+    }
+
   /* If this symbol should be put in the .dynsym section, then put it
      there now.  We have already know the symbol index.  We also fill
      in the entry in the .hash section.  */
   if (h->dynindx != -1
       && elf_hash_table (finfo->info)->dynamic_sections_created)
     {
-      struct elf_backend_data *bed;
+      char *p, *copy;
+      const char *name;
       size_t bucketcount;
       size_t bucket;
       bfd_byte *bucketpos;
@@ -2525,25 +4193,27 @@ elf_link_output_extsym (h, data)
 
       sym.st_name = h->dynstr_index;
 
-      /* Give the processor backend a chance to tweak the symbol
-        value, and also to finish up anything that needs to be done
-        for this symbol.  */
-      bed = get_elf_backend_data (finfo->output_bfd);
-      if (! ((*bed->elf_backend_finish_dynamic_symbol)
-            (finfo->output_bfd, finfo->info, h, &sym)))
-       {
-         eif->failed = true;
-         return false;
-       }
-
       elf_swap_symbol_out (finfo->output_bfd, &sym,
                           (PTR) (((Elf_External_Sym *)
                                   finfo->dynsym_sec->contents)
                                  + h->dynindx));
 
+      /* We didn't include the version string in the dynamic string
+         table, so we must not consider it in the hash table.  */
+      name = h->root.root.string;
+      p = strchr (name, ELF_VER_CHR);
+      if (p == NULL)
+       copy = NULL;
+      else
+       {
+         copy = bfd_alloc (finfo->output_bfd, p - name + 1);
+         strncpy (copy, name, p - name);
+         copy[p - name] = '\0';
+         name = copy;
+       }
+
       bucketcount = elf_hash_table (finfo->info)->bucketcount;
-      bucket = (bfd_elf_hash ((const unsigned char *) h->root.root.string)
-               % bucketcount);
+      bucket = bfd_elf_hash ((const unsigned char *) name) % bucketcount;
       bucketpos = ((bfd_byte *) finfo->hash_sec->contents
                   + (bucket + 2) * (ARCH_SIZE / 8));
       chain = get_word (finfo->output_bfd, bucketpos);
@@ -2551,6 +4221,37 @@ elf_link_output_extsym (h, data)
       put_word (finfo->output_bfd, chain,
                ((bfd_byte *) finfo->hash_sec->contents
                 + (bucketcount + 2 + h->dynindx) * (ARCH_SIZE / 8)));
+
+      if (copy != NULL)
+       bfd_release (finfo->output_bfd, copy);
+
+      if (finfo->symver_sec != NULL && finfo->symver_sec->contents != NULL)
+       {
+         Elf_Internal_Versym iversym;
+
+         if ((h->elf_link_hash_flags & ELF_LINK_HASH_DEF_REGULAR) == 0)
+           {
+             if (h->verinfo.verdef == NULL)
+               iversym.vs_vers = 0;
+             else
+               iversym.vs_vers = h->verinfo.verdef->vd_exp_refno + 1;
+           }
+         else
+           {
+             if (h->verinfo.vertree == NULL)
+               iversym.vs_vers = 1;
+             else
+               iversym.vs_vers = h->verinfo.vertree->vernum + 1;
+           }
+
+         if ((h->elf_link_hash_flags & ELF_LINK_HIDDEN) != 0)
+           iversym.vs_vers |= VERSYM_HIDDEN;
+
+         _bfd_elf_swap_versym_out (finfo->output_bfd, &iversym,
+                                   (((Elf_External_Versym *)
+                                     finfo->symver_sec->contents)
+                                    + h->dynindx));
+       }
     }
 
   /* If we're stripping it, then it was just a dynamic symbol, and
@@ -2562,7 +4263,7 @@ elf_link_output_extsym (h, data)
 
   if (! elf_link_output_sym (finfo, h->root.root.string, &sym, input_sec))
     {
-      eif->failed = true;
+      eoinfo->failed = true;
       return false;
     }
 
@@ -2587,6 +4288,7 @@ elf_link_input_bfd (finfo, input_bfd)
   Elf_Internal_Shdr *symtab_hdr;
   size_t locsymcount;
   size_t extsymoff;
+  Elf_External_Sym *external_syms;
   Elf_External_Sym *esym;
   Elf_External_Sym *esymend;
   Elf_Internal_Sym *isym;
@@ -2601,7 +4303,7 @@ elf_link_input_bfd (finfo, input_bfd)
   /* If this is a dynamic object, we don't want to do anything here:
      we don't want the local symbols, and we don't want the section
      contents.  */
-  if (elf_elfheader (input_bfd)->e_type == ET_DYN)
+  if ((input_bfd->flags & DYNAMIC) != 0)
     return true;
 
   symtab_hdr = &elf_tdata (input_bfd)->symtab_hdr;
@@ -2617,16 +4319,23 @@ elf_link_input_bfd (finfo, input_bfd)
     }
 
   /* Read the local symbols.  */
-  if (locsymcount > 0
-      && (bfd_seek (input_bfd, symtab_hdr->sh_offset, SEEK_SET) != 0
-         || (bfd_read (finfo->external_syms, sizeof (Elf_External_Sym),
+  if (symtab_hdr->contents != NULL)
+    external_syms = (Elf_External_Sym *) symtab_hdr->contents;
+  else if (locsymcount == 0)
+    external_syms = NULL;
+  else
+    {
+      external_syms = finfo->external_syms;
+      if (bfd_seek (input_bfd, symtab_hdr->sh_offset, SEEK_SET) != 0
+         || (bfd_read (external_syms, sizeof (Elf_External_Sym),
                        locsymcount, input_bfd)
-             != locsymcount * sizeof (Elf_External_Sym))))
-    return false;
+             != locsymcount * sizeof (Elf_External_Sym)))
+       return false;
+    }
 
   /* Swap in the local symbols and write out the ones which we know
      are going into the output file.  */
-  esym = finfo->external_syms;
+  esym = external_syms;
   esymend = esym + locsymcount;
   isym = finfo->internal_syms;
   pindex = finfo->indices;
@@ -2666,7 +4375,7 @@ elf_link_input_bfd (finfo, input_bfd)
       *ppsection = isec;
 
       /* Don't output the first, undefined, symbol.  */
-      if (esym == finfo->external_syms)
+      if (esym == external_syms)
        continue;
 
       /* If we are stripping all symbols, we don't want to output this
@@ -2687,9 +4396,22 @@ elf_link_input_bfd (finfo, input_bfd)
       if (finfo->info->discard == discard_all)
        continue;
 
+      /* If this symbol is defined in a section which we are
+         discarding, we don't need to keep it, but note that
+         linker_mark is only reliable for sections that have contents.
+         For the benefit of the MIPS ELF linker, we check SEC_EXCLUDE
+         as well as linker_mark.  */
+      if (isym->st_shndx > 0
+         && isym->st_shndx < SHN_LORESERVE
+         && isec != NULL
+         && ((! isec->linker_mark && (isec->flags & SEC_HAS_CONTENTS) != 0)
+             || (! finfo->info->relocateable
+                 && (isec->flags & SEC_EXCLUDE) != 0)))
+       continue;
+
       /* Get the name of the symbol.  */
       name = bfd_elf_string_from_elf_section (input_bfd, symtab_hdr->sh_link,
-                                         isym->st_name);
+                                             isym->st_name);
       if (name == NULL)
        return false;
 
@@ -2698,8 +4420,7 @@ elf_link_input_bfd (finfo, input_bfd)
           && (bfd_hash_lookup (finfo->info->keep_hash, name, false, false)
               == NULL))
          || (finfo->info->discard == discard_l
-             && strncmp (name, finfo->info->lprefix,
-                         finfo->info->lprefix_len) == 0))
+             && bfd_is_local_label_name (input_bfd, name)))
        continue;
 
       /* If we get here, we are going to output this symbol.  */
@@ -2732,31 +4453,47 @@ elf_link_input_bfd (finfo, input_bfd)
   /* Relocate the contents of each section.  */
   for (o = input_bfd->sections; o != NULL; o = o->next)
     {
-      if ((o->flags & SEC_HAS_CONTENTS) == 0)
+      bfd_byte *contents;
+
+      if (! o->linker_mark)
+       {
+         /* This section was omitted from the link.  */
+         continue;
+       }
+
+      if ((o->flags & SEC_HAS_CONTENTS) == 0
+         || (o->_raw_size == 0 && (o->flags & SEC_RELOC) == 0))
        continue;
 
-      if ((o->flags & SEC_IN_MEMORY) != 0
-         && input_bfd == elf_hash_table (finfo->info)->dynobj)
+      if ((o->flags & SEC_LINKER_CREATED) != 0)
        {
-         /* Section was created by elf_link_create_dynamic_sections.
-             FIXME: This test is fragile.  */
+         /* Section was created by elf_link_create_dynamic_sections
+            or somesuch.  */
          continue;
        }
 
-      /* Read the contents of the section.  */
-      if (! bfd_get_section_contents (input_bfd, o, finfo->contents,
-                                     (file_ptr) 0, o->_raw_size))
-       return false;
+      /* Get the contents of the section.  They have been cached by a
+         relaxation routine.  Note that o is a section in an input
+         file, so the contents field will not have been set by any of
+         the routines which work on output files.  */
+      if (elf_section_data (o)->this_hdr.contents != NULL)
+       contents = elf_section_data (o)->this_hdr.contents;
+      else
+       {
+         contents = finfo->contents;
+         if (! bfd_get_section_contents (input_bfd, o, contents,
+                                         (file_ptr) 0, o->_raw_size))
+           return false;
+       }
 
       if ((o->flags & SEC_RELOC) != 0)
        {
          Elf_Internal_Rela *internal_relocs;
 
          /* Get the swapped relocs.  */
-         internal_relocs = elf_link_read_relocs (input_bfd, o,
-                                                 finfo->external_relocs,
-                                                 finfo->internal_relocs,
-                                                 false);
+         internal_relocs = (NAME(_bfd_elf,link_read_relocs)
+                            (input_bfd, o, finfo->external_relocs,
+                             finfo->internal_relocs, false));
          if (internal_relocs == NULL
              && o->reloc_count > 0)
            return false;
@@ -2782,8 +4519,7 @@ elf_link_input_bfd (finfo, input_bfd)
             the addend to be adjusted.  */
 
          if (! (*relocate_section) (output_bfd, finfo->info,
-                                    input_bfd, o,
-                                    finfo->contents,
+                                    input_bfd, o, contents,
                                     internal_relocs,
                                     finfo->internal_syms,
                                     finfo->sections))
@@ -2805,7 +4541,7 @@ elf_link_input_bfd (finfo, input_bfd)
                          + o->output_section->reloc_count);
              for (; irela < irelaend; irela++, rel_hash++)
                {
-                 long r_symndx;
+                 unsigned long r_symndx;
                  Elf_Internal_Sym *isym;
                  asection *sec;
 
@@ -2850,8 +4586,13 @@ elf_link_input_bfd (finfo, input_bfd)
                    {
                      /* I suppose the backend ought to fill in the
                         section of any STT_SECTION symbol against a
-                        processor specific section.  */
-                     if (sec != NULL && bfd_is_abs_section (sec))
+                        processor specific section.  If we have
+                        discarded a section, the output_section will
+                        be the absolute section.  */
+                     if (sec != NULL
+                         && (bfd_is_abs_section (sec)
+                             || (sec->output_section != NULL
+                                 && bfd_is_abs_section (sec->output_section))))
                        r_symndx = 0;
                      else if (sec == NULL || sec->owner == NULL)
                        {
@@ -2953,12 +4694,22 @@ elf_link_input_bfd (finfo, input_bfd)
        }
 
       /* Write out the modified section contents.  */
-      if (! bfd_set_section_contents (output_bfd, o->output_section,
-                                     finfo->contents, o->output_offset,
-                                     (o->_cooked_size != 0
-                                      ? o->_cooked_size
-                                      : o->_raw_size)))
-       return false;
+      if (elf_section_data (o)->stab_info == NULL)
+       {
+         if (! bfd_set_section_contents (output_bfd, o->output_section,
+                                         contents, o->output_offset,
+                                         (o->_cooked_size != 0
+                                          ? o->_cooked_size
+                                          : o->_raw_size)))
+           return false;
+       }
+      else
+       {
+         if (! (_bfd_write_section_stabs
+                (output_bfd, &elf_hash_table (finfo->info)->stab_info,
+                 o, &elf_section_data (o)->stab_info, contents)))
+           return false;
+       }
     }
 
   return true;
@@ -2979,6 +4730,7 @@ elf_reloc_link_order (output_bfd, info, output_section, link_order)
   reloc_howto_type *howto;
   long indx;
   bfd_vma offset;
+  bfd_vma addend;
   struct elf_link_hash_entry **rel_hash_ptr;
   Elf_Internal_Shdr *rel_hdr;
 
@@ -2989,10 +4741,62 @@ elf_reloc_link_order (output_bfd, info, output_section, link_order)
       return false;
     }
 
+  addend = link_order->u.reloc.p->addend;
+
+  /* Figure out the symbol index.  */
+  rel_hash_ptr = (elf_section_data (output_section)->rel_hashes
+                 + output_section->reloc_count);
+  if (link_order->type == bfd_section_reloc_link_order)
+    {
+      indx = link_order->u.reloc.p->u.section->target_index;
+      BFD_ASSERT (indx != 0);
+      *rel_hash_ptr = NULL;
+    }
+  else
+    {
+      struct elf_link_hash_entry *h;
+
+      /* Treat a reloc against a defined symbol as though it were
+         actually against the section.  */
+      h = ((struct elf_link_hash_entry *)
+          bfd_wrapped_link_hash_lookup (output_bfd, info,
+                                        link_order->u.reloc.p->u.name,
+                                        false, false, true));
+      if (h != NULL
+         && (h->root.type == bfd_link_hash_defined
+             || h->root.type == bfd_link_hash_defweak))
+       {
+         asection *section;
+
+         section = h->root.u.def.section;
+         indx = section->output_section->target_index;
+         *rel_hash_ptr = NULL;
+         /* It seems that we ought to add the symbol value to the
+             addend here, but in practice it has already been added
+             because it was passed to constructor_callback.  */
+         addend += section->output_section->vma + section->output_offset;
+       }
+      else if (h != NULL)
+       {
+         /* Setting the index to -2 tells elf_link_output_extsym that
+            this symbol is used by a reloc.  */
+         h->indx = -2;
+         *rel_hash_ptr = h;
+         indx = 0;
+       }
+      else
+       {
+         if (! ((*info->callbacks->unattached_reloc)
+                (info, link_order->u.reloc.p->u.name, (bfd *) NULL,
+                 (asection *) NULL, (bfd_vma) 0)))
+           return false;
+         indx = 0;
+       }
+    }
+
   /* If this is an inplace reloc, we must write the addend into the
      object file.  */
-  if (howto->partial_inplace
-      && link_order->u.reloc.p->addend != 0)
+  if (howto->partial_inplace && addend != 0)
     {
       bfd_size_type size;
       bfd_reloc_status_type rstat;
@@ -3002,12 +4806,8 @@ elf_reloc_link_order (output_bfd, info, output_section, link_order)
       size = bfd_get_reloc_size (howto);
       buf = (bfd_byte *) bfd_zmalloc (size);
       if (buf == (bfd_byte *) NULL)
-       {
-         bfd_set_error (bfd_error_no_memory);
-         return false;
-       }
-      rstat = _bfd_relocate_contents (howto, output_bfd,
-                                     link_order->u.reloc.p->addend, buf);
+       return false;
+      rstat = _bfd_relocate_contents (howto, output_bfd, addend, buf);
       switch (rstat)
        {
        case bfd_reloc_ok:
@@ -3022,8 +4822,8 @@ elf_reloc_link_order (output_bfd, info, output_section, link_order)
                   ? bfd_section_name (output_bfd,
                                       link_order->u.reloc.p->u.section)
                   : link_order->u.reloc.p->u.name),
-                 howto->name, link_order->u.reloc.p->addend,
-                 (bfd *) NULL, (asection *) NULL, (bfd_vma) 0)))
+                 howto->name, addend, (bfd *) NULL, (asection *) NULL,
+                 (bfd_vma) 0)))
            {
              free (buf);
              return false;
@@ -3037,40 +4837,6 @@ elf_reloc_link_order (output_bfd, info, output_section, link_order)
        return false;
     }
 
-  /* Figure out the symbol index.  */
-  rel_hash_ptr = (elf_section_data (output_section)->rel_hashes
-                 + output_section->reloc_count);
-  if (link_order->type == bfd_section_reloc_link_order)
-    {
-      indx = link_order->u.reloc.p->u.section->target_index;
-      BFD_ASSERT (indx != 0);
-      *rel_hash_ptr = NULL;
-    }
-  else
-    {
-      struct elf_link_hash_entry *h;
-
-      h = elf_link_hash_lookup (elf_hash_table (info),
-                               link_order->u.reloc.p->u.name,
-                               false, false, true);
-      if (h != NULL)
-       {
-         /* Setting the index to -2 tells elf_link_output_extsym that
-            this symbol is used by a reloc.  */
-         h->indx = -2;
-         *rel_hash_ptr = h;
-         indx = 0;
-       }
-      else
-       {
-         if (! ((*info->callbacks->unattached_reloc)
-                (info, link_order->u.reloc.p->u.name, (bfd *) NULL,
-                 (asection *) NULL, (bfd_vma) 0)))
-           return false;
-         indx = 0;
-       }
-    }
-
   /* The address of a reloc is relative to the section in a
      relocateable file, and is a virtual address in an executable
      file.  */
@@ -3098,7 +4864,7 @@ elf_reloc_link_order (output_bfd, info, output_section, link_order)
 
       irela.r_offset = offset;
       irela.r_info = ELF_R_INFO (indx, howto->type);
-      irela.r_addend = link_order->u.reloc.p->addend;
+      irela.r_addend = addend;
       erela = ((Elf_External_Rela *) rel_hdr->contents
               + output_section->reloc_count);
       elf_swap_reloca_out (output_bfd, &irela, erela);
@@ -3109,3 +4875,238 @@ elf_reloc_link_order (output_bfd, info, output_section, link_order)
   return true;
 }
 
+\f
+/* Allocate a pointer to live in a linker created section.  */
+
+boolean
+elf_create_pointer_linker_section (abfd, info, lsect, h, rel)
+     bfd *abfd;
+     struct bfd_link_info *info;
+     elf_linker_section_t *lsect;
+     struct elf_link_hash_entry *h;
+     const Elf_Internal_Rela *rel;
+{
+  elf_linker_section_pointers_t **ptr_linker_section_ptr = NULL;
+  elf_linker_section_pointers_t *linker_section_ptr;
+  unsigned long r_symndx = ELF_R_SYM (rel->r_info);;
+
+  BFD_ASSERT (lsect != NULL);
+
+  /* Is this a global symbol? */
+  if (h != NULL)
+    {
+      /* Has this symbol already been allocated, if so, our work is done */
+      if (_bfd_elf_find_pointer_linker_section (h->linker_section_pointer,
+                                               rel->r_addend,
+                                               lsect->which))
+       return true;
+
+      ptr_linker_section_ptr = &h->linker_section_pointer;
+      /* Make sure this symbol is output as a dynamic symbol.  */
+      if (h->dynindx == -1)
+       {
+         if (! elf_link_record_dynamic_symbol (info, h))
+           return false;
+       }
+
+      if (lsect->rel_section)
+       lsect->rel_section->_raw_size += sizeof (Elf_External_Rela);
+    }
+
+  else  /* Allocation of a pointer to a local symbol */
+    {
+      elf_linker_section_pointers_t **ptr = elf_local_ptr_offsets (abfd);
+
+      /* Allocate a table to hold the local symbols if first time */
+      if (!ptr)
+       {
+         int num_symbols = elf_tdata (abfd)->symtab_hdr.sh_info;
+         register unsigned int i;
+
+         ptr = (elf_linker_section_pointers_t **)
+           bfd_alloc (abfd, num_symbols * sizeof (elf_linker_section_pointers_t *));
+
+         if (!ptr)
+           return false;
+
+         elf_local_ptr_offsets (abfd) = ptr;
+         for (i = 0; i < num_symbols; i++)
+           ptr[i] = (elf_linker_section_pointers_t *)0;
+       }
+
+      /* Has this symbol already been allocated, if so, our work is done */
+      if (_bfd_elf_find_pointer_linker_section (ptr[r_symndx],
+                                               rel->r_addend,
+                                               lsect->which))
+       return true;
+
+      ptr_linker_section_ptr = &ptr[r_symndx];
+
+      if (info->shared)
+       {
+         /* If we are generating a shared object, we need to
+            output a R_<xxx>_RELATIVE reloc so that the
+            dynamic linker can adjust this GOT entry.  */
+         BFD_ASSERT (lsect->rel_section != NULL);
+         lsect->rel_section->_raw_size += sizeof (Elf_External_Rela);
+       }
+    }
+
+  /* Allocate space for a pointer in the linker section, and allocate a new pointer record
+     from internal memory.  */
+  BFD_ASSERT (ptr_linker_section_ptr != NULL);
+  linker_section_ptr = (elf_linker_section_pointers_t *)
+    bfd_alloc (abfd, sizeof (elf_linker_section_pointers_t));
+
+  if (!linker_section_ptr)
+    return false;
+
+  linker_section_ptr->next = *ptr_linker_section_ptr;
+  linker_section_ptr->addend = rel->r_addend;
+  linker_section_ptr->which = lsect->which;
+  linker_section_ptr->written_address_p = false;
+  *ptr_linker_section_ptr = linker_section_ptr;
+
+#if 0
+  if (lsect->hole_size && lsect->hole_offset < lsect->max_hole_offset)
+    {
+      linker_section_ptr->offset = lsect->section->_raw_size - lsect->hole_size + (ARCH_SIZE / 8);
+      lsect->hole_offset += ARCH_SIZE / 8;
+      lsect->sym_offset  += ARCH_SIZE / 8;
+      if (lsect->sym_hash)     /* Bump up symbol value if needed */
+       {
+         lsect->sym_hash->root.u.def.value += ARCH_SIZE / 8;
+#ifdef DEBUG
+         fprintf (stderr, "Bump up %s by %ld, current value = %ld\n",
+                  lsect->sym_hash->root.root.string,
+                  (long)ARCH_SIZE / 8,
+                  (long)lsect->sym_hash->root.u.def.value);
+#endif
+       }
+    }
+  else
+#endif
+    linker_section_ptr->offset = lsect->section->_raw_size;
+
+  lsect->section->_raw_size += ARCH_SIZE / 8;
+
+#ifdef DEBUG
+  fprintf (stderr, "Create pointer in linker section %s, offset = %ld, section size = %ld\n",
+          lsect->name, (long)linker_section_ptr->offset, (long)lsect->section->_raw_size);
+#endif
+
+  return true;
+}
+
+\f
+#if ARCH_SIZE==64
+#define bfd_put_ptr(BFD,VAL,ADDR) bfd_put_64 (BFD, VAL, ADDR)
+#endif
+#if ARCH_SIZE==32
+#define bfd_put_ptr(BFD,VAL,ADDR) bfd_put_32 (BFD, VAL, ADDR)
+#endif
+
+/* Fill in the address for a pointer generated in alinker section.  */
+
+bfd_vma
+elf_finish_pointer_linker_section (output_bfd, input_bfd, info, lsect, h, relocation, rel, relative_reloc)
+     bfd *output_bfd;
+     bfd *input_bfd;
+     struct bfd_link_info *info;
+     elf_linker_section_t *lsect;
+     struct elf_link_hash_entry *h;
+     bfd_vma relocation;
+     const Elf_Internal_Rela *rel;
+     int relative_reloc;
+{
+  elf_linker_section_pointers_t *linker_section_ptr;
+
+  BFD_ASSERT (lsect != NULL);
+
+  if (h != NULL)               /* global symbol */
+    {
+      linker_section_ptr = _bfd_elf_find_pointer_linker_section (h->linker_section_pointer,
+                                                                rel->r_addend,
+                                                                lsect->which);
+
+      BFD_ASSERT (linker_section_ptr != NULL);
+
+      if (! elf_hash_table (info)->dynamic_sections_created
+         || (info->shared
+             && info->symbolic
+             && (h->elf_link_hash_flags & ELF_LINK_HASH_DEF_REGULAR)))
+       {
+         /* This is actually a static link, or it is a
+            -Bsymbolic link and the symbol is defined
+            locally.  We must initialize this entry in the
+            global section.
+
+            When doing a dynamic link, we create a .rela.<xxx>
+            relocation entry to initialize the value.  This
+            is done in the finish_dynamic_symbol routine.  */
+         if (!linker_section_ptr->written_address_p)
+           {
+             linker_section_ptr->written_address_p = true;
+             bfd_put_ptr (output_bfd, relocation + linker_section_ptr->addend,
+                         lsect->section->contents + linker_section_ptr->offset);
+           }
+       }
+    }
+  else                         /* local symbol */
+    {
+      unsigned long r_symndx = ELF_R_SYM (rel->r_info);
+      BFD_ASSERT (elf_local_ptr_offsets (input_bfd) != NULL);
+      BFD_ASSERT (elf_local_ptr_offsets (input_bfd)[r_symndx] != NULL);
+      linker_section_ptr = _bfd_elf_find_pointer_linker_section (elf_local_ptr_offsets (input_bfd)[r_symndx],
+                                                                rel->r_addend,
+                                                                lsect->which);
+
+      BFD_ASSERT (linker_section_ptr != NULL);
+
+      /* Write out pointer if it hasn't been rewritten out before */
+      if (!linker_section_ptr->written_address_p)
+       {
+         linker_section_ptr->written_address_p = true;
+         bfd_put_ptr (output_bfd, relocation + linker_section_ptr->addend,
+                      lsect->section->contents + linker_section_ptr->offset);
+
+         if (info->shared)
+           {
+             asection *srel = lsect->rel_section;
+             Elf_Internal_Rela outrel;
+
+             /* We need to generate a relative reloc for the dynamic linker.  */
+             if (!srel)
+               lsect->rel_section = srel = bfd_get_section_by_name (elf_hash_table (info)->dynobj,
+                                                                    lsect->rel_name);
+
+             BFD_ASSERT (srel != NULL);
+
+             outrel.r_offset = (lsect->section->output_section->vma
+                                + lsect->section->output_offset
+                                + linker_section_ptr->offset);
+             outrel.r_info = ELF_R_INFO (0, relative_reloc);
+             outrel.r_addend = 0;
+             elf_swap_reloca_out (output_bfd, &outrel,
+                                  (((Elf_External_Rela *)
+                                    lsect->section->contents)
+                                   + lsect->section->reloc_count));
+             ++lsect->section->reloc_count;
+           }
+       }
+    }
+
+  relocation = (lsect->section->output_offset
+               + linker_section_ptr->offset
+               - lsect->hole_offset
+               - lsect->sym_offset);
+
+#ifdef DEBUG
+  fprintf (stderr, "Finish pointer in linker section %s, offset = %ld (0x%lx)\n",
+          lsect->name, (long)relocation, (long)relocation);
+#endif
+
+  /* Subtract out the addend, because it will get added back in by the normal
+     processing.  */
+  return relocation - linker_section_ptr->addend;
+}
This page took 0.083054 seconds and 4 git commands to generate.