* libelf.h (elf_obj_tdata): Add members for dynamic symbol table
[binutils-gdb.git] / bfd / elfcode.h
index eea17673cdbc40e286b9a2cafe156a365388a8b1..a93ac60f37ffc9aece6f933645a9aefbb2d1e981 100644 (file)
@@ -1,5 +1,5 @@
 /* ELF executable support for BFD.
-   Copyright 1991, 1992, 1993 Free Software Foundation, Inc.
+   Copyright 1991, 1992, 1993, 1994 Free Software Foundation, Inc.
 
    Written by Fred Fish @ Cygnus Support, from information published
    in "UNIX System V Release 4, Programmers Guide: ANSI C and
@@ -54,19 +54,17 @@ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.  */
        once in 64-bit mode.  More of it should be made size-independent
        and moved into elf.c.
 
-*/
+   (3) ELF section symbols are handled rather sloppily now.  This should
+       be cleaned up, and ELF section symbols reconciled with BFD section
+       symbols.
+ */
 
-#include <assert.h>
 #include <string.h>            /* For strrchr and friends */
 #include "bfd.h"
 #include "sysdep.h"
 #include "libbfd.h"
 #include "libelf.h"
 
-#ifndef alloca
-PTR alloca ();
-#endif
-
 /* Renaming structures, typedefs, macros and functions to be size-specific.  */
 #define Elf_External_Ehdr      NAME(Elf,External_Ehdr)
 #define Elf_External_Sym       NAME(Elf,External_Sym)
@@ -75,17 +73,20 @@ PTR alloca ();
 #define Elf_External_Rel       NAME(Elf,External_Rel)
 #define Elf_External_Rela      NAME(Elf,External_Rela)
 
-#define elf_symbol_type                NAME(elf,symbol_type)
-
 #define elf_core_file_failing_command  NAME(bfd_elf,core_file_failing_command)
 #define elf_core_file_failing_signal   NAME(bfd_elf,core_file_failing_signal)
-#define elf_core_file_matches_executable_p NAME(bfd_elf,core_file_matches_executable_p)
+#define elf_core_file_matches_executable_p \
+  NAME(bfd_elf,core_file_matches_executable_p)
 #define elf_object_p                   NAME(bfd_elf,object_p)
 #define elf_core_file_p                        NAME(bfd_elf,core_file_p)
 #define elf_get_symtab_upper_bound     NAME(bfd_elf,get_symtab_upper_bound)
+#define elf_get_dynamic_symtab_upper_bound \
+  NAME(bfd_elf,get_dynamic_symtab_upper_bound)
 #define elf_get_reloc_upper_bound      NAME(bfd_elf,get_reloc_upper_bound)
 #define elf_canonicalize_reloc         NAME(bfd_elf,canonicalize_reloc)
 #define elf_get_symtab                 NAME(bfd_elf,get_symtab)
+#define elf_canonicalize_dynamic_symtab \
+  NAME(bfd_elf,canonicalize_dynamic_symtab)
 #define elf_make_empty_symbol          NAME(bfd_elf,make_empty_symbol)
 #define elf_get_symbol_info            NAME(bfd_elf,get_symbol_info)
 #define elf_print_symbol               NAME(bfd_elf,print_symbol)
@@ -96,41 +97,44 @@ PTR alloca ();
 #define elf_set_section_contents       NAME(bfd_elf,set_section_contents)
 #define elf_no_info_to_howto           NAME(bfd_elf,no_info_to_howto)
 #define elf_no_info_to_howto_rel       NAME(bfd_elf,no_info_to_howto_rel)
-#define elf_hash                       NAME(bfd_elf,hash)
 #define elf_new_section_hook           NAME(bfd_elf,new_section_hook)
 #define write_relocs                   NAME(bfd_elf,_write_relocs)
+#define elf_find_section               NAME(bfd_elf,find_section)
 
 #if ARCH_SIZE == 64
 #define ELF_R_INFO(X,Y)        ELF64_R_INFO(X,Y)
 #define ELF_R_SYM(X)   ELF64_R_SYM(X)
 #define ELFCLASS       ELFCLASS64
+#define FILE_ALIGN     8
 #endif
 #if ARCH_SIZE == 32
 #define ELF_R_INFO(X,Y)        ELF32_R_INFO(X,Y)
 #define ELF_R_SYM(X)   ELF32_R_SYM(X)
 #define ELFCLASS       ELFCLASS32
+#define FILE_ALIGN     4
 #endif
 
 static int shstrtab_length_fixed;
 
-struct elf_sect_data {
-  int reloc_sec;
-  /* more? */
-};
+struct elf_sect_data
+  {
+    int reloc_sec;
+    /* more? */
+  };
 
 /* Forward declarations of static functions */
 
-static struct sec * section_from_elf_index PARAMS ((bfd *, int));
+static struct sec *section_from_elf_index PARAMS ((bfd *, unsigned int));
 
 static int elf_section_from_bfd_section PARAMS ((bfd *, struct sec *));
 
-static boolean elf_slurp_symbol_table PARAMS ((bfd *, asymbol **));
+static long elf_slurp_symbol_table PARAMS ((bfd *, asymbol **, boolean));
 
 static int elf_symbol_from_bfd_symbol PARAMS ((bfd *,
-                                              struct symbol_cache_entry **));
+                                            struct symbol_cache_entry **));
 
-static void elf_map_symbols PARAMS ((bfd *));
-static void swap_out_syms PARAMS ((bfd *));
+static boolean elf_map_symbols PARAMS ((bfd *));
+static boolean swap_out_syms PARAMS ((bfd *));
 
 #ifdef DEBUG
 static void elf_debug_section PARAMS ((char *, int, Elf_Internal_Shdr *));
@@ -139,8 +143,8 @@ static void elf_debug_file PARAMS ((Elf_Internal_Ehdr *));
 
 #define elf_string_from_elf_strtab(abfd,strindex) \
      elf_string_from_elf_section(abfd,elf_elfheader(abfd)->e_shstrndx,strindex)
-
 \f
+
 /* Structure swapping routines */
 
 /* Should perhaps use put_offset, put_word, etc.  For now, the two versions
@@ -158,10 +162,10 @@ static void elf_debug_file PARAMS ((Elf_Internal_Ehdr *));
    format. */
 
 static void
-DEFUN (elf_swap_symbol_in, (abfd, src, dst),
-       bfd * abfd AND
-       Elf_External_Sym * src AND
-       Elf_Internal_Sym * dst)
+elf_swap_symbol_in (abfd, src, dst)
+     bfd *abfd;
+     Elf_External_Sym *src;
+     Elf_Internal_Sym *dst;
 {
   dst->st_name = bfd_h_get_32 (abfd, (bfd_byte *) src->st_name);
   dst->st_value = get_word (abfd, (bfd_byte *) src->st_value);
@@ -175,10 +179,10 @@ DEFUN (elf_swap_symbol_in, (abfd, src, dst),
    format. */
 
 static void
-DEFUN (elf_swap_symbol_out, (abfd, src, dst),
-       bfd * abfd AND
-       Elf_Internal_Sym * src AND
-       Elf_External_Sym * dst)
+elf_swap_symbol_out (abfd, src, dst)
+     bfd *abfd;
+     Elf_Internal_Sym *src;
+     Elf_External_Sym *dst;
 {
   bfd_h_put_32 (abfd, src->st_name, dst->st_name);
   put_word (abfd, src->st_value, dst->st_value);
@@ -193,10 +197,10 @@ DEFUN (elf_swap_symbol_out, (abfd, src, dst),
    internal format. */
 
 static void
-DEFUN (elf_swap_ehdr_in, (abfd, src, dst),
-       bfd * abfd AND
-       Elf_External_Ehdr * src AND
-       Elf_Internal_Ehdr * dst)
+elf_swap_ehdr_in (abfd, src, dst)
+     bfd *abfd;
+     Elf_External_Ehdr *src;
+     Elf_Internal_Ehdr *dst;
 {
   memcpy (dst->e_ident, src->e_ident, EI_NIDENT);
   dst->e_type = bfd_h_get_16 (abfd, (bfd_byte *) src->e_type);
@@ -218,10 +222,10 @@ DEFUN (elf_swap_ehdr_in, (abfd, src, dst),
    external format. */
 
 static void
-DEFUN (elf_swap_ehdr_out, (abfd, src, dst),
-       bfd * abfd AND
-       Elf_Internal_Ehdr * src AND
-       Elf_External_Ehdr * dst)
+elf_swap_ehdr_out (abfd, src, dst)
+     bfd *abfd;
+     Elf_Internal_Ehdr *src;
+     Elf_External_Ehdr *dst;
 {
   memcpy (dst->e_ident, src->e_ident, EI_NIDENT);
   /* note that all elements of dst are *arrays of unsigned char* already... */
@@ -245,10 +249,10 @@ DEFUN (elf_swap_ehdr_out, (abfd, src, dst),
    ELF section header table entry in internal format. */
 
 static void
-DEFUN (elf_swap_shdr_in, (abfd, src, dst),
-       bfd * abfd AND
-       Elf_External_Shdr * src AND
-       Elf_Internal_Shdr * dst)
+elf_swap_shdr_in (abfd, src, dst)
+     bfd *abfd;
+     Elf_External_Shdr *src;
+     Elf_Internal_Shdr *dst;
 {
   dst->sh_name = bfd_h_get_32 (abfd, (bfd_byte *) src->sh_name);
   dst->sh_type = bfd_h_get_32 (abfd, (bfd_byte *) src->sh_type);
@@ -268,10 +272,10 @@ DEFUN (elf_swap_shdr_in, (abfd, src, dst),
    ELF section header table entry in external format. */
 
 static void
-DEFUN (elf_swap_shdr_out, (abfd, src, dst),
-       bfd * abfd AND
-       Elf_Internal_Shdr * src AND
-       Elf_External_Shdr * dst)
+elf_swap_shdr_out (abfd, src, dst)
+     bfd *abfd;
+     Elf_Internal_Shdr *src;
+     Elf_External_Shdr *dst;
 {
   /* note that all elements of dst are *arrays of unsigned char* already... */
   bfd_h_put_32 (abfd, src->sh_name, dst->sh_name);
@@ -291,10 +295,10 @@ DEFUN (elf_swap_shdr_out, (abfd, src, dst),
    ELF program header table entry in internal format. */
 
 static void
-DEFUN (elf_swap_phdr_in, (abfd, src, dst),
-       bfd * abfd AND
-       Elf_External_Phdr * src AND
-       Elf_Internal_Phdr * dst)
+elf_swap_phdr_in (abfd, src, dst)
+     bfd *abfd;
+     Elf_External_Phdr *src;
+     Elf_Internal_Phdr *dst;
 {
   dst->p_type = bfd_h_get_32 (abfd, (bfd_byte *) src->p_type);
   dst->p_flags = bfd_h_get_32 (abfd, (bfd_byte *) src->p_flags);
@@ -307,10 +311,10 @@ DEFUN (elf_swap_phdr_in, (abfd, src, dst),
 }
 
 static void
-DEFUN (elf_swap_phdr_out, (abfd, src, dst),
-       bfd * abfd AND
-       Elf_Internal_Phdr * src AND
-       Elf_External_Phdr * dst)
+elf_swap_phdr_out (abfd, src, dst)
+     bfd *abfd;
+     Elf_Internal_Phdr *src;
+     Elf_External_Phdr *dst;
 {
   /* note that all elements of dst are *arrays of unsigned char* already... */
   bfd_h_put_32 (abfd, src->p_type, dst->p_type);
@@ -325,20 +329,20 @@ DEFUN (elf_swap_phdr_out, (abfd, src, dst),
 
 /* Translate an ELF reloc from external format to internal format. */
 static INLINE void
-DEFUN (elf_swap_reloc_in, (abfd, src, dst),
-       bfd * abfd AND
-       Elf_External_Rel * src AND
-       Elf_Internal_Rel * dst)
+elf_swap_reloc_in (abfd, src, dst)
+     bfd *abfd;
+     Elf_External_Rel *src;
+     Elf_Internal_Rel *dst;
 {
   dst->r_offset = get_word (abfd, (bfd_byte *) src->r_offset);
   dst->r_info = get_word (abfd, (bfd_byte *) src->r_info);
 }
 
 static INLINE void
-DEFUN (elf_swap_reloca_in, (abfd, src, dst),
-       bfd * abfd AND
-       Elf_External_Rela * src AND
-       Elf_Internal_Rela * dst)
+elf_swap_reloca_in (abfd, src, dst)
+     bfd *abfd;
+     Elf_External_Rela *src;
+     Elf_Internal_Rela *dst;
 {
   dst->r_offset = get_word (abfd, (bfd_byte *) src->r_offset);
   dst->r_info = get_word (abfd, (bfd_byte *) src->r_info);
@@ -347,39 +351,48 @@ DEFUN (elf_swap_reloca_in, (abfd, src, dst),
 
 /* Translate an ELF reloc from internal format to external format. */
 static INLINE void
-DEFUN (elf_swap_reloc_out, (abfd, src, dst),
-       bfd * abfd AND
-       Elf_Internal_Rel * src AND
-       Elf_External_Rel * dst)
+elf_swap_reloc_out (abfd, src, dst)
+     bfd *abfd;
+     Elf_Internal_Rel *src;
+     Elf_External_Rel *dst;
 {
   put_word (abfd, src->r_offset, dst->r_offset);
   put_word (abfd, src->r_info, dst->r_info);
 }
 
 static INLINE void
-DEFUN (elf_swap_reloca_out, (abfd, src, dst),
-       bfd * abfd AND
-       Elf_Internal_Rela * src AND
-       Elf_External_Rela * dst)
+elf_swap_reloca_out (abfd, src, dst)
+     bfd *abfd;
+     Elf_Internal_Rela *src;
+     Elf_External_Rela *dst;
 {
   put_word (abfd, src->r_offset, dst->r_offset);
   put_word (abfd, src->r_info, dst->r_info);
   put_word (abfd, src->r_addend, dst->r_addend);
 }
-
 \f
 
+
 /* String table creation/manipulation routines */
 
 static struct strtab *
-DEFUN (bfd_new_strtab, (abfd),
-       bfd * abfd)
+bfd_new_strtab (abfd)
+     bfd *abfd;
 {
   struct strtab *ss;
 
-  ss = (struct strtab *) bfd_xmalloc (sizeof (struct strtab));
-  ss->tab = bfd_xmalloc (1);
-  BFD_ASSERT (ss->tab != 0);
+  ss = (struct strtab *) malloc (sizeof (struct strtab));
+  if (!ss)
+    {
+      bfd_set_error (bfd_error_no_memory);
+      return NULL;
+    }
+  ss->tab = malloc (1);
+  if (!ss->tab)
+    {
+      bfd_set_error (bfd_error_no_memory);
+      return NULL;
+    }
   *ss->tab = 0;
   ss->nentries = 0;
   ss->length = 1;
@@ -388,10 +401,10 @@ DEFUN (bfd_new_strtab, (abfd),
 }
 
 static int
-DEFUN (bfd_add_to_strtab, (abfd, ss, str),
-       bfd * abfd AND
-       struct strtab *ss AND
-       CONST char *str)
+bfd_add_to_strtab (abfd, ss, str)
+     bfd *abfd;
+     struct strtab *ss;
+     CONST char *str;
 {
   /* should search first, but for now: */
   /* include the trailing NUL */
@@ -400,7 +413,7 @@ DEFUN (bfd_add_to_strtab, (abfd, ss, str),
   /* should this be using obstacks? */
   ss->tab = realloc (ss->tab, ss->length + ln);
 
-  BFD_ASSERT (ss->tab != 0);
+  BFD_ASSERT (ss->tab != 0);   /* FIXME */
   strcpy (ss->tab + ss->length, str);
   ss->nentries++;
   ss->length += ln;
@@ -409,11 +422,11 @@ DEFUN (bfd_add_to_strtab, (abfd, ss, str),
 }
 
 static int
-DEFUN (bfd_add_2_to_strtab, (abfd, ss, str, str2),
-       bfd * abfd AND
-       struct strtab *ss AND
-       char *str AND
-       CONST char *str2)
+bfd_add_2_to_strtab (abfd, ss, str, str2)
+     bfd *abfd;
+     struct strtab *ss;
+     char *str;
+     CONST char *str2;
 {
   /* should search first, but for now: */
   /* include the trailing NUL */
@@ -423,9 +436,9 @@ DEFUN (bfd_add_2_to_strtab, (abfd, ss, str, str2),
   if (ss->length)
     ss->tab = realloc (ss->tab, ss->length + ln);
   else
-    ss->tab = bfd_xmalloc (ln);
+    ss->tab = malloc (ln);
 
-  BFD_ASSERT (ss->tab != 0);
+  BFD_ASSERT (ss->tab != 0);   /* FIXME */
   strcpy (ss->tab + ss->length, str);
   strcpy (ss->tab + ss->length + strlen (str), str2);
   ss->nentries++;
@@ -433,16 +446,16 @@ DEFUN (bfd_add_2_to_strtab, (abfd, ss, str, str2),
 
   return ss->length - ln;
 }
-
 \f
+
 /* ELF .o/exec file reading */
 
 /* Create a new bfd section from an ELF section header. */
 
 static boolean
-DEFUN (bfd_section_from_shdr, (abfd, shindex),
-       bfd * abfd AND
-       unsigned int shindex)
+bfd_section_from_shdr (abfd, shindex)
+     bfd *abfd;
+     unsigned int shindex;
 {
   Elf_Internal_Shdr *hdr = elf_elfsections (abfd)[shindex];
   Elf_Internal_Ehdr *ehdr = elf_elfheader (abfd);
@@ -459,13 +472,14 @@ DEFUN (bfd_section_from_shdr, (abfd, shindex),
       return true;
 
     case SHT_PROGBITS:
+    case SHT_DYNAMIC:
       /* Bits that get saved. This one is real. */
       if (!hdr->rawdata)
        {
          newsect = bfd_make_section (abfd, name);
          if (newsect != NULL)
            {
-             newsect->filepos = hdr->sh_offset; /* so we can read back the bits */
+             newsect->filepos = hdr->sh_offset;        /* so we can read back the bits */
              newsect->flags |= SEC_HAS_CONTENTS;
              newsect->vma = hdr->sh_addr;
              newsect->_raw_size = hdr->sh_size;
@@ -481,10 +495,17 @@ DEFUN (bfd_section_from_shdr, (abfd, shindex),
                newsect->flags |= SEC_READONLY;
 
              if (hdr->sh_flags & SHF_EXECINSTR)
-               newsect->flags |= SEC_CODE; /* FIXME: may only contain SOME code */
-             else
+               newsect->flags |= SEC_CODE;     /* FIXME: may only contain SOME code */
+             else if (newsect->flags & SEC_ALLOC)
                newsect->flags |= SEC_DATA;
 
+             /* The debugging sections appear to recognized only by
+                name.  */
+             if (strncmp (name, ".debug", sizeof ".debug" - 1) == 0
+                 || strncmp (name, ".line", sizeof ".line" - 1) == 0
+                 || strncmp (name, ".stab", sizeof ".stab" - 1) == 0)
+               newsect->flags |= SEC_DEBUGGING;
+
              hdr->rawdata = (void *) newsect;
            }
          else
@@ -509,10 +530,10 @@ DEFUN (bfd_section_from_shdr, (abfd, shindex),
              if (!(hdr->sh_flags & SHF_WRITE))
                newsect->flags |= SEC_READONLY;
 
+             /* FIXME: This section is empty.  Does it really make
+                sense to set SEC_CODE for it?  */
              if (hdr->sh_flags & SHF_EXECINSTR)
                newsect->flags |= SEC_CODE;     /* FIXME: may only contain SOME code */
-             else
-               newsect->flags |= SEC_DATA;
 
              hdr->rawdata = (void *) newsect;
            }
@@ -526,8 +547,20 @@ DEFUN (bfd_section_from_shdr, (abfd, shindex),
       BFD_ASSERT (hdr->sh_entsize == sizeof (Elf_External_Sym));
       BFD_ASSERT (elf_onesymtab (abfd) == 0);
       elf_onesymtab (abfd) = shindex;
-      elf_tdata(abfd)->symtab_hdr = *hdr;
-      elf_elfsections(abfd)[shindex] = &elf_tdata(abfd)->symtab_hdr;
+      elf_tdata (abfd)->symtab_hdr = *hdr;
+      elf_elfsections (abfd)[shindex] = &elf_tdata (abfd)->symtab_hdr;
+      abfd->flags |= HAS_SYMS;
+      return true;
+
+    case SHT_DYNSYM:           /* A dynamic symbol table */
+      if (elf_dynsymtab (abfd) == shindex)
+       return true;
+
+      BFD_ASSERT (hdr->sh_entsize == sizeof (Elf_External_Sym));
+      BFD_ASSERT (elf_dynsymtab (abfd) == 0);
+      elf_dynsymtab (abfd) = shindex;
+      elf_tdata (abfd)->dynsymtab_hdr = *hdr;
+      elf_elfsections (abfd)[shindex] = &elf_tdata (abfd)->dynsymtab_hdr;
       abfd->flags |= HAS_SYMS;
       return true;
 
@@ -536,28 +569,34 @@ DEFUN (bfd_section_from_shdr, (abfd, shindex),
        return true;
       if (ehdr->e_shstrndx == shindex)
        {
-         elf_tdata(abfd)->shstrtab_hdr = *hdr;
-         elf_elfsections(abfd)[shindex] = &elf_tdata(abfd)->shstrtab_hdr;
-         hdr->rawdata = (PTR) &elf_tdata(abfd)->shstrtab_hdr;
+         elf_tdata (abfd)->shstrtab_hdr = *hdr;
+         elf_elfsections (abfd)[shindex] = &elf_tdata (abfd)->shstrtab_hdr;
+         hdr->rawdata = (PTR) & elf_tdata (abfd)->shstrtab_hdr;
          return true;
        }
       {
-       int i;
+       unsigned int i;
 
        for (i = 1; i < ehdr->e_shnum; i++)
          {
-           Elf_Internal_Shdr *hdr2 = elf_elfsections(abfd)[i];
+           Elf_Internal_Shdr *hdr2 = elf_elfsections (abfd)[i];
            if (hdr2->sh_link == shindex)
              {
                bfd_section_from_shdr (abfd, i);
                if (elf_onesymtab (abfd) == i)
                  {
-                   elf_tdata(abfd)->strtab_hdr = *hdr;
-                   elf_elfsections(abfd)[shindex] = &elf_tdata(abfd)->strtab_hdr;
+                   elf_tdata (abfd)->strtab_hdr = *hdr;
+                   elf_elfsections (abfd)[shindex] = &elf_tdata (abfd)->strtab_hdr;
                    return true;
                  }
-#if 0 /* Not handling other string tables specially right now.  */
-               hdr2 = elf_elfsections(abfd)[i]; /* in case it moved */
+               if (elf_dynsymtab (abfd) == i)
+                 {
+                   elf_tdata (abfd)->dynstrtab_hdr = *hdr;
+                   elf_elfsections (abfd)[shindex] = &elf_tdata (abfd)->dynstrtab_hdr;
+                   return true;
+                 }
+#if 0                          /* Not handling other string tables specially right now.  */
+               hdr2 = elf_elfsections (abfd)[i];       /* in case it moved */
                /* We have a strtab for some random other section.  */
                newsect = (asection *) hdr2->rawdata;
                if (!newsect)
@@ -565,7 +604,7 @@ DEFUN (bfd_section_from_shdr, (abfd, shindex),
                hdr->rawdata = (PTR) newsect;
                hdr2 = &elf_section_data (newsect)->str_hdr;
                *hdr2 = *hdr;
-               elf_elfsections(abfd)[shindex] = hdr2;
+               elf_elfsections (abfd)[shindex] = hdr2;
 #endif
              }
          }
@@ -577,17 +616,23 @@ DEFUN (bfd_section_from_shdr, (abfd, shindex),
          newsect->flags = SEC_HAS_CONTENTS;
          hdr->rawdata = (PTR) newsect;
          newsect->_raw_size = hdr->sh_size;
-         newsect->alignment_power = 0;
-         newsect->vma = 0;
+         newsect->alignment_power = bfd_log2 (hdr->sh_addralign);
+         newsect->vma = hdr->sh_addr;
+         newsect->filepos = hdr->sh_offset;
 
          if (hdr->sh_flags & SHF_ALLOC)
-           newsect->flags |= SEC_ALLOC|SEC_LOAD;
+           newsect->flags |= SEC_ALLOC | SEC_LOAD;
          if (!(hdr->sh_flags & SHF_WRITE))
            newsect->flags |= SEC_READONLY;
          if (hdr->sh_flags & SHF_EXECINSTR)
            newsect->flags |= SEC_CODE;
-         else
+         else if (newsect->flags & SEC_ALLOC)
            newsect->flags |= SEC_DATA;
+
+         /* Check for debugging string tables.  */
+         if (strncmp (name, ".debug", sizeof ".debug" - 1) == 0
+             || strncmp (name, ".stab", sizeof ".stab" - 1) == 0)
+           newsect->flags |= SEC_DEBUGGING;
        }
 
       return true;
@@ -625,12 +670,13 @@ DEFUN (bfd_section_from_shdr, (abfd, shindex),
        bfd_section_from_shdr (abfd, hdr->sh_info);     /* target */
        bfd_section_from_shdr (abfd, hdr->sh_link);     /* symbol table */
        target_sect = section_from_elf_index (abfd, hdr->sh_info);
-       if (target_sect == NULL)
+       if (target_sect == NULL
+           || elf_section_data (target_sect) == NULL)
          return false;
 
        hdr2 = &elf_section_data (target_sect)->rel_hdr;
        *hdr2 = *hdr;
-       elf_elfsections(abfd)[shindex] = hdr2;
+       elf_elfsections (abfd)[shindex] = hdr2;
        target_sect->reloc_count = hdr->sh_size / hdr->sh_entsize;
        target_sect->flags |= SEC_RELOC;
        target_sect->relocation = 0;
@@ -641,8 +687,6 @@ DEFUN (bfd_section_from_shdr, (abfd, shindex),
       break;
 
     case SHT_HASH:
-    case SHT_DYNAMIC:
-    case SHT_DYNSYM:           /* could treat this like symtab... */
 #if 0
       fprintf (stderr, "Dynamic Linking sections not yet supported.\n");
       BFD_FAIL ();
@@ -663,6 +707,13 @@ DEFUN (bfd_section_from_shdr, (abfd, shindex),
       return true;
 
     default:
+      /* Check for any processor-specific section types.  */
+      {
+       struct elf_backend_data *bed = get_elf_backend_data (abfd);
+
+       if (bed->elf_backend_section_from_shdr)
+         (*bed->elf_backend_section_from_shdr) (abfd, hdr, name);
+      }
       break;
     }
 
@@ -670,13 +721,19 @@ DEFUN (bfd_section_from_shdr, (abfd, shindex),
 }
 
 boolean
-DEFUN (elf_new_section_hook, (abfd, sec),
-       bfd *abfd
-       AND asection *sec)
+elf_new_section_hook (abfd, sec)
+     bfd *abfd
+      ;
+     asection *sec;
 {
   struct bfd_elf_section_data *sdata;
 
   sdata = (struct bfd_elf_section_data *) bfd_alloc (abfd, sizeof (*sdata));
+  if (!sdata)
+    {
+      bfd_set_error (bfd_error_no_memory);
+      return false;
+    }
   sec->used_by_bfd = (PTR) sdata;
   memset (sdata, 0, sizeof (*sdata));
   return true;
@@ -705,10 +762,10 @@ DEFUN (elf_new_section_hook, (abfd, sec),
  */
 
 static boolean
-DEFUN (bfd_section_from_phdr, (abfd, hdr, index),
-       bfd * abfd AND
-       Elf_Internal_Phdr * hdr AND
-       int index)
+bfd_section_from_phdr (abfd, hdr, index)
+     bfd *abfd;
+     Elf_Internal_Phdr *hdr;
+     int index;
 {
   asection *newsect;
   char *name;
@@ -720,6 +777,11 @@ DEFUN (bfd_section_from_phdr, (abfd, hdr, index),
           (hdr->p_memsz > hdr->p_filesz));
   sprintf (namebuf, split ? "segment%da" : "segment%d", index);
   name = bfd_alloc (abfd, strlen (namebuf) + 1);
+  if (!name)
+    {
+      bfd_set_error (bfd_error_no_memory);
+      return false;
+    }
   strcpy (name, namebuf);
   newsect = bfd_make_section (abfd, name);
   newsect->vma = hdr->p_vaddr;
@@ -746,6 +808,11 @@ DEFUN (bfd_section_from_phdr, (abfd, hdr, index),
     {
       sprintf (namebuf, "segment%db", index);
       name = bfd_alloc (abfd, strlen (namebuf) + 1);
+      if (!name)
+       {
+         bfd_set_error (bfd_error_no_memory);
+         return false;
+       }
       strcpy (name, namebuf);
       newsect = bfd_make_section (abfd, name);
       newsect->vma = hdr->p_vaddr + hdr->p_filesz;
@@ -769,7 +836,8 @@ DEFUN (bfd_section_from_phdr, (abfd, hdr, index),
    the magic number.  */
 
 static INLINE boolean
-DEFUN (elf_file_p, (x_ehdrp), Elf_External_Ehdr * x_ehdrp)
+elf_file_p (x_ehdrp)
+     Elf_External_Ehdr *x_ehdrp;
 {
   return ((x_ehdrp->e_ident[EI_MAG0] == ELFMAG0)
          && (x_ehdrp->e_ident[EI_MAG1] == ELFMAG1)
@@ -777,23 +845,41 @@ DEFUN (elf_file_p, (x_ehdrp), Elf_External_Ehdr * x_ehdrp)
          && (x_ehdrp->e_ident[EI_MAG3] == ELFMAG3));
 }
 
+/* Check to see if the file associated with ABFD matches the target vector
+   that ABFD points to.
+
+   Note that we may be called several times with the same ABFD, but different
+   target vectors, most of which will not match.  We have to avoid leaving
+   any side effects in ABFD, or any data it points to (like tdata), if the
+   file does not match the target vector.
+
+   FIXME:  There is memory leak if we are called more than once with the same
+   ABFD, and that bfd already has tdata allocated, since we allocate more tdata
+   and the old tdata is orphaned.  Since it's in the bfd obstack, there isn't
+   much we can do about this except possibly rewrite the code.  There are
+   also other bfd_allocs that may be the source of memory leaks as well. */
+
 bfd_target *
-DEFUN (elf_object_p, (abfd), bfd * abfd)
+elf_object_p (abfd)
+     bfd *abfd;
 {
   Elf_External_Ehdr x_ehdr;    /* Elf file header, external form */
   Elf_Internal_Ehdr *i_ehdrp;  /* Elf file header, internal form */
   Elf_External_Shdr x_shdr;    /* Section header table entry, external form */
   Elf_Internal_Shdr *i_shdrp;  /* Section header table, internal form */
-  int shindex;
+  unsigned int shindex;
   char *shstrtab;              /* Internal copy of section header stringtab */
-  struct elf_backend_data *ebd;        /* Use to get ELF_ARCH stored in xvec */
+  struct elf_backend_data *ebd;
+  struct elf_obj_tdata *preserved_tdata = elf_tdata (abfd);
 
   /* Read in the ELF header in external format.  */
 
   if (bfd_read ((PTR) & x_ehdr, sizeof (x_ehdr), 1, abfd) != sizeof (x_ehdr))
     {
-      bfd_error = system_call_error;
-      return NULL;
+      if (bfd_get_error () != bfd_error_system_call)
+       goto got_wrong_format_error;
+      else
+       goto got_no_match;
     }
 
   /* Now check to see if we have a valid ELF file, and one that BFD can
@@ -802,46 +888,34 @@ DEFUN (elf_object_p, (abfd), bfd * abfd)
      section header table (FIXME: See comments re sections at top of this
      file). */
 
-  if (elf_file_p (&x_ehdr) == false)
-    {
-    wrong:
-      bfd_error = wrong_format;
-      return NULL;
-    }
-
-  if (x_ehdr.e_ident[EI_VERSION] != EV_CURRENT)
-    goto wrong;
-
-  if (x_ehdr.e_ident[EI_CLASS] != ELFCLASS)
-    goto wrong;
+  if ((elf_file_p (&x_ehdr) == false) ||
+      (x_ehdr.e_ident[EI_VERSION] != EV_CURRENT) ||
+      (x_ehdr.e_ident[EI_CLASS] != ELFCLASS))
+    goto got_wrong_format_error;
 
-  /* Switch xvec to match the specified byte order.  */
+  /* Check that file's byte order matches xvec's */
   switch (x_ehdr.e_ident[EI_DATA])
     {
     case ELFDATA2MSB:          /* Big-endian */
       if (!abfd->xvec->header_byteorder_big_p)
-       goto wrong;
+       goto got_wrong_format_error;
       break;
     case ELFDATA2LSB:          /* Little-endian */
       if (abfd->xvec->header_byteorder_big_p)
-       goto wrong;
+       goto got_wrong_format_error;
       break;
     case ELFDATANONE:          /* No data encoding specified */
     default:                   /* Unknown data encoding specified */
-      goto wrong;
+      goto got_wrong_format_error;
     }
 
   /* Allocate an instance of the elf_obj_tdata structure and hook it up to
-     the tdata pointer in the bfd. */
+     the tdata pointer in the bfd.  FIXME:  memory leak, see above. */
 
-  if (NULL == (elf_tdata (abfd) = (struct elf_obj_tdata *)
-              bfd_zalloc (abfd, sizeof (struct elf_obj_tdata))))
-    {
-      bfd_error = no_memory;
-      return NULL;
-    }
-
-  /* FIXME:  Any `wrong' exits below here will leak memory (tdata).  */
+  elf_tdata (abfd) =
+    (struct elf_obj_tdata *) bfd_zalloc (abfd, sizeof (struct elf_obj_tdata));
+  if (elf_tdata (abfd) == NULL)
+    goto got_no_memory_error;
 
   /* Now that we know the byte order, swap in the rest of the header */
   i_ehdrp = elf_elfheader (abfd);
@@ -852,102 +926,92 @@ DEFUN (elf_object_p, (abfd), bfd * abfd)
 
   /* If there is no section header table, we're hosed. */
   if (i_ehdrp->e_shoff == 0)
-    goto wrong;
-
-  if (i_ehdrp->e_type == ET_EXEC || i_ehdrp->e_type == ET_DYN)
-    abfd->flags |= EXEC_P;
+    goto got_wrong_format_error;
 
-  /* Retrieve the architecture information from the xvec and verify
-     that it matches the machine info stored in the ELF header.
-     This allows us to resolve ambiguous formats that might not
-     otherwise be distinguishable. */
+  /* As a simple sanity check, verify that the what BFD thinks is the
+     size of each section header table entry actually matches the size
+     recorded in the file. */
+  if (i_ehdrp->e_shentsize != sizeof (x_shdr))
+    goto got_wrong_format_error;
 
   ebd = get_elf_backend_data (abfd);
 
-  /* Perhaps the elf architecture value should be another field in the
-     elf backend data?  If you change this to work that way, make sure
-     that you still get bfd_arch_unknown for unknown architecture types,
-     and that it still gets accepted by the `generic' elf target.  */
-  {
-    int i;
-    enum bfd_architecture arch = bfd_arch_unknown;
+  /* Check that the ELF e_machine field matches what this particular
+     BFD format expects.  */
+  if (ebd->elf_machine_code != i_ehdrp->e_machine)
+    {
+      bfd_target **target_ptr;
 
-    for (i = 0; i < bfd_elf_arch_map_size; i++)
-      {
-       if (bfd_elf_arch_map[i].elf_arch == i_ehdrp->e_machine)
-         {
-           arch = bfd_elf_arch_map[i].bfd_arch;
-           break;
-         }
-      }
-    /* start-sanitize-v9 */
-    if (i_ehdrp->e_machine == EM_SPARC64)
-      arch = bfd_arch_sparc;
-    /* end-sanitize-v9 */
-    if (ebd->arch != arch)
-      goto wrong;
-    bfd_default_set_arch_mach (abfd, arch, 0);
-  }
+      if (ebd->elf_machine_code != EM_NONE)
+       goto got_wrong_format_error;
+
+      /* This is the generic ELF target.  Let it match any ELF target
+        for which we do not have a specific backend.  */
+      for (target_ptr = bfd_target_vector; *target_ptr != NULL; target_ptr++)
+       {
+         struct elf_backend_data *back;
+
+         if ((*target_ptr)->flavour != bfd_target_elf_flavour)
+           continue;
+         back = (struct elf_backend_data *) (*target_ptr)->backend_data;
+         if (back->elf_machine_code == i_ehdrp->e_machine)
+           {
+             /* target_ptr is an ELF backend which matches this
+                object file, so reject the generic ELF target.  */
+             goto got_wrong_format_error;
+           }
+       }
+    }
+
+
+  /* Set the flags and architecture before calling the backend so that
+     it can override them.  */
+  if (i_ehdrp->e_type == ET_EXEC)
+    abfd->flags |= EXEC_P;
+  else if (i_ehdrp->e_type == ET_DYN)
+    abfd->flags |= DYNAMIC;
+
+  bfd_default_set_arch_mach (abfd, ebd->arch, 0);
+
+  /* Remember the entry point specified in the ELF file header. */
+  bfd_get_start_address (abfd) = i_ehdrp->e_entry;
+
+  /* Let the backend double check the format and override global
+     information.  */
+  if (ebd->elf_backend_object_p)
+    {
+      if ((*ebd->elf_backend_object_p) (abfd) == false)
+       goto got_wrong_format_error;
+    }
 
   /* Allocate space for a copy of the section header table in
      internal form, seek to the section header table in the file,
-     read it in, and convert it to internal form.  As a simple sanity
-     check, verify that the what BFD thinks is the size of each section
-     header table entry actually matches the size recorded in the file. */
-
-  if (i_ehdrp->e_shentsize != sizeof (x_shdr))
-    goto wrong;
+     read it in, and convert it to internal form.  */
   i_shdrp = (Elf_Internal_Shdr *)
     bfd_alloc (abfd, sizeof (*i_shdrp) * i_ehdrp->e_shnum);
   elf_elfsections (abfd) =
     (Elf_Internal_Shdr **) bfd_alloc (abfd, sizeof (i_shdrp) * i_ehdrp->e_shnum);
-  if (!i_shdrp || !elf_elfsections(abfd))
-    {
-      bfd_error = no_memory;
-      return NULL;
-    }
+  if (!i_shdrp || !elf_elfsections (abfd))
+    goto got_no_memory_error;
   if (bfd_seek (abfd, i_ehdrp->e_shoff, SEEK_SET) == -1)
-    {
-      bfd_error = system_call_error;
-      return NULL;
-    }
+    goto got_no_match;
   for (shindex = 0; shindex < i_ehdrp->e_shnum; shindex++)
     {
-      if (bfd_read ((PTR) & x_shdr, sizeof x_shdr, 1, abfd)
-         != sizeof (x_shdr))
-       {
-         bfd_error = system_call_error;
-         return NULL;
-       }
+      if (bfd_read ((PTR) & x_shdr, sizeof x_shdr, 1, abfd) != sizeof (x_shdr))
+       goto got_no_match;
       elf_swap_shdr_in (abfd, &x_shdr, i_shdrp + shindex);
-      elf_elfsections(abfd)[shindex] = i_shdrp + shindex;
+      elf_elfsections (abfd)[shindex] = i_shdrp + shindex;
+
+      /* If this is a .dynamic section, mark the object file as being
+        dynamically linked.  */
+      if (i_shdrp[shindex].sh_type == SHT_DYNAMIC)
+       abfd->flags |= DYNAMIC;
     }
   if (i_ehdrp->e_shstrndx)
     {
       bfd_section_from_shdr (abfd, i_ehdrp->e_shstrndx);
     }
 
-#if 0
-  for (shindex = i_ehdrp->e_shnum - 1; shindex >= 0; shindex--)
-    {
-      if (!strcmp (elf_string_from_elf_strtab (abfd,
-                                              i_shdrp[shindex].sh_name),
-                  ".strtab"))
-       {
-         elf_tdata(abfd)->strtab_hdr = i_shdrp[shindex];
-         elf_elfsections(abfd)[shindex] = &elf_tdata(abfd)->strtab_hdr;
-       }
-      else if (!strcmp (elf_string_from_elf_strtab (abfd,
-                                                   i_shdrp[shindex].sh_name),
-                       ".symtab"))
-       {
-         elf_tdata(abfd)->symtab_hdr = i_shdrp[shindex];
-         elf_elfsections(abfd)[shindex] = &elf_tdata(abfd)->symtab_hdr;
-         elf_onesymtab (abfd) = shindex;
-       }
-    }
-#endif
-
   /* Read in the string table containing the names of the sections.  We
      will need the base pointer to this table later. */
   /* We read this inline now, so that we don't have to go through
@@ -956,7 +1020,7 @@ DEFUN (elf_object_p, (abfd), bfd * abfd)
 
   shstrtab = elf_get_str_section (abfd, i_ehdrp->e_shstrndx);
   if (!shstrtab)
-    return NULL;
+    goto got_wrong_format_error;
 
   /* Once all of the section headers have been read and converted, we
      can start processing them.  Note that the first section header is
@@ -971,83 +1035,31 @@ DEFUN (elf_object_p, (abfd), bfd * abfd)
       bfd_section_from_shdr (abfd, shindex);
     }
 
-  /* Remember the entry point specified in the ELF file header. */
+  return (abfd->xvec);
 
-  bfd_get_start_address (abfd) = i_ehdrp->e_entry;
+  /* If we are going to use goto's to avoid duplicating error setting
+     and return(NULL) code, then this at least makes it more maintainable. */
 
-  return abfd->xvec;
+got_wrong_format_error:
+  bfd_set_error (bfd_error_wrong_format);
+  goto got_no_match;
+got_no_memory_error:
+  bfd_set_error (bfd_error_no_memory);
+  goto got_no_match;
+got_no_match:
+  elf_tdata (abfd) = preserved_tdata;
+  return (NULL);
 }
-
 \f
-/* ELF .o/exec file writing */
-
-/* Create a new ELF section from a bfd section. */
-
-#if 0 /* not used */
-static boolean
-DEFUN (bfd_shdr_from_section, (abfd, hdr, shstrtab, indx),
-       bfd * abfd AND
-       Elf_Internal_Shdr * hdr AND
-       struct strtab *shstrtab AND
-       int indx)
-{
-  asection *sect;
-  int ndx;
-
-  sect = abfd->sections;
-  for (ndx = indx; --ndx;)
-    {
-      sect = sect->next;
-    }
-  hdr[indx].sh_name = bfd_add_to_strtab (abfd, shstrtab,
-                                        bfd_section_name (abfd, sect));
-  hdr[indx].sh_addr = sect->vma;
-  hdr[indx].sh_size = sect->_raw_size;
-  hdr[indx].sh_addralign = 1 << sect->alignment_power;
-  hdr[indx].sh_flags = 0;
-  /* these need to be preserved on */
-  hdr[indx].sh_link = 0;
-  hdr[indx].sh_info = 0;
-  hdr[indx].sh_entsize = 0;
-
-  hdr[indx].sh_type = 0;
-  if (sect->flags & SEC_RELOC)
-    {
-      int use_rela_p = get_elf_backend_data (abfd)->use_rela_p;
-      hdr[indx].sh_type = use_rela_p ? SHT_RELA : SHT_REL;
-    }
-
-  if (sect->flags & SEC_HAS_CONTENTS)
-    {
-      hdr[indx].sh_offset = sect->filepos;
-      hdr[indx].sh_size = sect->_raw_size;
-    }
-  if (sect->flags & SEC_ALLOC)
-    {
-      hdr[indx].sh_flags |= SHF_ALLOC;
-      if (sect->flags & SEC_LOAD)
-       {
-         /* do something with sh_type ? */
-       }
-    }
-  if (!(sect->flags & SEC_READONLY))
-    hdr[indx].sh_flags |= SHF_WRITE;
-
-  if (sect->flags & SEC_CODE)
-    hdr[indx].sh_flags |= SHF_EXECINSTR;
 
-  return true;
-}
-#endif
+/* ELF .o/exec file writing */
 
-/*
-  Takes a bfd and a symbol, returns a pointer to the elf specific area
-  of the symbol if there is one.
-  */
+/* Takes a bfd and a symbol, returns a pointer to the elf specific area
+   of the symbol if there is one.  */
 static INLINE elf_symbol_type *
-DEFUN (elf_symbol_from, (ignore_abfd, symbol),
-       bfd * ignore_abfd AND
-       asymbol * symbol)
+elf_symbol_from (ignore_abfd, symbol)
+     bfd *ignore_abfd;
+     asymbol *symbol;
 {
   if (symbol->the_bfd->xvec->flavour != bfd_target_elf_flavour)
     return 0;
@@ -1058,24 +1070,19 @@ DEFUN (elf_symbol_from, (ignore_abfd, symbol),
   return (elf_symbol_type *) symbol;
 }
 
-/*
-  Create ELF output from BFD sections.
-
-  Essentially, just create the section header and forget about the program
-  header for now.
+/* Create ELF output from BFD sections.
 
-*/
+   Essentially, just create the section header and forget about the program
+   header for now.  */
 
 static void
-DEFUN (elf_make_sections, (abfd, asect, obj),
-       bfd * abfd AND
-       asection * asect AND
-       PTR obj)
+elf_make_sections (abfd, asect, obj)
+     bfd *abfd;
+     asection *asect;
+     PTR obj;
 {
   /* most of what is in bfd_shdr_from_section goes in here... */
   /* and all of these sections generate at *least* one ELF section. */
-  int idx;
-
   Elf_Internal_Shdr *this_hdr;
   this_hdr = &elf_section_data (asect)->this_hdr;
 
@@ -1087,8 +1094,6 @@ DEFUN (elf_make_sections, (abfd, asect, obj),
     {
       /* emit a reloc section, and thus strtab and symtab... */
       Elf_Internal_Shdr *rela_hdr;
-      Elf_External_Rela *outbound_relocas;
-      Elf_External_Rel *outbound_relocs;
       int use_rela_p = get_elf_backend_data (abfd)->use_rela_p;
 
       rela_hdr = &elf_section_data (asect)->rel_hdr;
@@ -1108,7 +1113,11 @@ DEFUN (elf_make_sections, (abfd, asect, obj),
       rela_hdr->sh_flags = 0;
       rela_hdr->sh_addr = 0;
       rela_hdr->sh_offset = 0;
-      rela_hdr->sh_addralign = 0;
+
+      /* FIXME: Systems I've checked use an alignment of 4, but it is
+        possible that some systems use a different alignment.  */
+      rela_hdr->sh_addralign = 4;
+
       rela_hdr->size = 0;
     }
   if (asect->flags & SEC_ALLOC)
@@ -1119,6 +1128,13 @@ DEFUN (elf_make_sections, (abfd, asect, obj),
          /* @@ Do something with sh_type? */
        }
     }
+  else
+    {
+      /* If this section is not part of the program image during
+        execution, leave the address fields at 0.  */
+      this_hdr->sh_addr = 0;
+      asect->vma = 0;
+    }
   if (!(asect->flags & SEC_READONLY))
     this_hdr->sh_flags |= SHF_WRITE;
 
@@ -1138,7 +1154,7 @@ write_relocs (abfd, sec, xxx)
   int idx;
   int use_rela_p = get_elf_backend_data (abfd)->use_rela_p;
   asymbol *last_sym = 0;
-  int last_sym_idx;
+  int last_sym_idx = 9999999;  /* should always be written before use */
 
   if ((sec->flags & SEC_RELOC) == 0)
     return;
@@ -1150,6 +1166,11 @@ write_relocs (abfd, sec, xxx)
 
   rela_hdr->sh_size = rela_hdr->sh_entsize * sec->reloc_count;
   rela_hdr->contents = (void *) bfd_alloc (abfd, rela_hdr->sh_size);
+  if (!rela_hdr->contents)
+    {
+      bfd_set_error (bfd_error_no_memory);
+      abort ();                        /* FIXME */
+    }
 
   /* orelocation has the data, reloc_count has the count... */
   if (use_rela_p)
@@ -1172,6 +1193,17 @@ write_relocs (abfd, sec, xxx)
            dst_rela.r_offset = ptr->address;
 
          sym = *ptr->sym_ptr_ptr;
+
+         /* If SYM is a section symbol for an input section, which
+            has been combined with other similar input sections (ld -r),
+            then adjust the addend by the output_offset of sym->section.
+
+            Apparently elf_symbol_from_bfd_symbol doesn't provide a 1:1
+            mapping from bfd symbol to elf symbols in this case.  */
+         if ((sym->flags & BSF_SECTION_SYM)
+             && sym->section)
+           ptr->addend += sym->section->output_offset;
+
          if (sym == last_sym)
            n = last_sym_idx;
          else
@@ -1216,11 +1248,6 @@ write_relocs (abfd, sec, xxx)
          dst_rel.r_info = ELF_R_INFO (n, ptr->howto->type);
 
          elf_swap_reloc_out (abfd, &dst_rel, src_rel);
-
-         /* Update the addend -- FIXME add 64 bit support.  */
-         bfd_put_32 (abfd, ptr->addend,
-                     (unsigned char *) (elf_section_data (sec)->this_hdr.contents)
-                     + dst_rel.r_offset);
        }
     }
 }
@@ -1232,31 +1259,36 @@ fix_up_strtabs (abfd, asect, obj)
      PTR obj;
 {
   Elf_Internal_Shdr *this_hdr = &elf_section_data (asect)->this_hdr;
-  int this_idx = elf_section_data(asect)->this_idx;
+  int this_idx = elf_section_data (asect)->this_idx;
 
   /* @@ Check flags!  */
   if (!strncmp (asect->name, ".stab", 5)
       && !strcmp ("str", asect->name + strlen (asect->name) - 3))
     {
       size_t len = strlen (asect->name) + 1;
-      char *s = alloca (len);
+      char *s = (char *) malloc (len);
+      if (s == NULL)
+       /* FIXME: Should deal more gracefully with errors.  */
+       abort ();
       strcpy (s, asect->name);
       s[len - 4] = 0;
       asect = bfd_get_section_by_name (abfd, s);
+      free (s);
       if (!asect)
        abort ();
-      elf_section_data(asect)->this_hdr.sh_link = this_idx;
-
+      elf_section_data (asect)->this_hdr.sh_link = this_idx;
       /* @@ Assuming 32 bits!  */
-      this_hdr->sh_entsize = 0xc;
+      elf_section_data (asect)->this_hdr.sh_entsize = 0xc;
+
+      this_hdr->sh_type = SHT_STRTAB;
     }
 }
 
 static void
-DEFUN (elf_fake_sections, (abfd, asect, obj),
-       bfd * abfd AND
-       asection * asect AND
-       PTR obj)
+elf_fake_sections (abfd, asect, obj)
+     bfd *abfd;
+     asection *asect;
+     PTR obj;
 {
   /* most of what is in bfd_shdr_from_section goes in here... */
   /* and all of these sections generate at *least* one ELF section. */
@@ -1271,11 +1303,17 @@ DEFUN (elf_fake_sections, (abfd, asect, obj),
   this_hdr->sh_addralign = 1 << asect->alignment_power;
   if ((asect->flags & SEC_ALLOC) && (asect->flags & SEC_LOAD))
     this_hdr->sh_type = SHT_PROGBITS;
-  /* @@ Select conditions correctly!  */
-  else if (!strcmp (asect->name, ".bss"))
-    this_hdr->sh_type = SHT_NOBITS;
+  else if ((asect->flags & SEC_ALLOC) && ((asect->flags & SEC_LOAD) == 0))
+    {
+      BFD_ASSERT (strcmp (asect->name, ".bss") == 0
+                 || strcmp (asect->name, ".sbss") == 0);
+      this_hdr->sh_type = SHT_NOBITS;
+    }
+  /* FIXME I am not sure how to detect a .note section from the flags
+     word of an `asection'.  */
+  else if (!strcmp (asect->name, ".note"))
+    this_hdr->sh_type = SHT_NOTE;
   else
-    /* what *do* we put here? */
     this_hdr->sh_type = SHT_PROGBITS;
 
   this_hdr->sh_flags = 0;
@@ -1287,10 +1325,17 @@ DEFUN (elf_fake_sections, (abfd, asect, obj),
   this_hdr->sh_offset = 0;
   this_hdr->size = 0;
 
+  /* Now, check for processor-specific section types.  */
+  {
+    struct elf_backend_data *bed = get_elf_backend_data (abfd);
+
+    if (bed->elf_backend_fake_sections)
+      (*bed->elf_backend_fake_sections) (abfd, this_hdr, asect);
+  }
+
   {
     /* Emit a strtab and symtab, and possibly a reloc section.  */
     Elf_Internal_Shdr *rela_hdr;
-    Elf_Internal_Shdr *symstrtab_hdr;
 
     /* Note that only one symtab is used, so just remember it
        for now.  */
@@ -1313,7 +1358,11 @@ DEFUN (elf_fake_sections, (abfd, asect, obj),
        rela_hdr->sh_addr = 0;
        rela_hdr->sh_size = 0;
        rela_hdr->sh_offset = 0;
-       rela_hdr->sh_addralign = 0;
+
+       /* FIXME: Systems I've checked use an alignment of 4, but some
+          systems may use a different alignment.  */
+       rela_hdr->sh_addralign = 4;
+
        rela_hdr->size = 0;
       }
   }
@@ -1331,59 +1380,32 @@ DEFUN (elf_fake_sections, (abfd, asect, obj),
     this_hdr->sh_flags |= SHF_EXECINSTR;
 }
 
-
-/*
-xxxINTERNAL_FUNCTION
-       bfd_elf_locate_sh
-
-xxxSYNOPSIS
-       struct elf_internal_shdr *bfd_elf_locate_sh (bfd *abfd,
-                                                     struct strtab *strtab,
-                                                     struct elf_internal_shdr *shdrp,
-                                                     CONST char *name);
-
-xxxDESCRIPTION
-       Helper function to locate an ELF section header given the
-        name of a BFD section.
-*/
-
-static struct elfNAME (internal_shdr) *
-DEFUN (elf_locate_sh, (abfd, strtab, shdrp, name),
-       bfd * abfd AND
-       struct strtab *strtab AND
-       struct elfNAME (internal_shdr) *shdrp AND
-       CONST char *name)
-{
-  Elf_Internal_Shdr *gotit = NULL;
-  int max, i;
-
-  if (shdrp != NULL && strtab != NULL)
-    {
-      max = elf_elfheader (abfd)->e_shnum;
-      for (i = 1; i < max; i++)
-       {
-         if (!strcmp (strtab->tab + shdrp[i].sh_name, name))
-           {
-             gotit = &shdrp[i];
-           }
-       }
-    }
-  return gotit;
-}
-
 /* Map symbol from it's internal number to the external number, moving
    all local symbols to be at the head of the list.  */
 
 static INLINE int
-sym_is_global (sym)
+sym_is_global (abfd, sym)
+     bfd *abfd;
      asymbol *sym;
 {
-  if (sym->flags & BSF_GLOBAL)
+  /* If the backend has a special mapping, use it.  */
+  if (get_elf_backend_data (abfd)->elf_backend_sym_is_global)
+    return ((*get_elf_backend_data (abfd)->elf_backend_sym_is_global)
+           (abfd, sym));
+
+  if (sym->flags & (BSF_GLOBAL | BSF_WEAK))
     {
       if (sym->flags & BSF_LOCAL)
        abort ();
       return 1;
     }
+  if (sym->section == 0)
+    {
+      /* Is this valid?  */
+      abort ();
+
+      return 1;
+    }
   if (sym->section == &bfd_und_section)
     return 1;
   if (bfd_is_com_section (sym->section))
@@ -1393,17 +1415,20 @@ sym_is_global (sym)
   return 0;
 }
 
-static void
-DEFUN (elf_map_symbols, (abfd), bfd * abfd)
+static boolean
+elf_map_symbols (abfd)
+     bfd *abfd;
 {
   int symcount = bfd_get_symcount (abfd);
   asymbol **syms = bfd_get_outsymbols (abfd);
+  asymbol **sect_syms;
   int num_locals = 0;
   int num_globals = 0;
   int num_locals2 = 0;
   int num_globals2 = 0;
+  int max_index = 0;
   int num_sections = 0;
-  int *symtab_map;
+  Elf_Sym_Extra *sym_extra;
   int idx;
   asection *asect;
 
@@ -1412,13 +1437,47 @@ DEFUN (elf_map_symbols, (abfd), bfd * abfd)
   fflush (stderr);
 #endif
 
-  /* Add local symbols for each allocated section
-     FIXME -- we should only put out symbols for sections that
-     are actually relocated against.  */
+  /* Add local symbols for each section for which there are relocs.
+     FIXME: How can we tell which sections have relocs at this point?
+     Will reloc_count always be accurate?  Actually, I think most ELF
+     targets create section symbols for all sections anyhow.  */
   for (asect = abfd->sections; asect; asect = asect->next)
     {
-      if (/*asect->flags & (SEC_LOAD | SEC_DATA | SEC_CODE)*/1)
-       num_sections++;
+      if (max_index < asect->index)
+       max_index = asect->index;
+    }
+
+  max_index++;
+  elf_num_section_syms (abfd) = max_index;
+  sect_syms = (asymbol **) bfd_zalloc (abfd, max_index * sizeof (asymbol *));
+  elf_section_syms (abfd) = sect_syms;
+
+  if (sect_syms == 0)
+    {
+      bfd_set_error (bfd_error_no_memory);
+      return false;
+    }
+
+  for (asect = abfd->sections; asect; asect = asect->next)
+    {
+      asymbol *sym = bfd_make_empty_symbol (abfd);
+      if (!sym)
+       {
+         bfd_set_error (bfd_error_no_memory);
+         return false;
+       }
+      sym->the_bfd = abfd;
+      sym->name = asect->name;
+      sym->value = asect->vma;
+      sym->flags = BSF_SECTION_SYM;
+      sym->section = asect;
+      sect_syms[asect->index] = sym;
+      num_sections++;
+#ifdef DEBUG
+      fprintf (stderr,
+              "creating section symbol, name = %s, value = 0x%.8lx, index = %d, section = 0x%.8lx\n",
+              asect->name, (long) asect->vma, asect->index, (long) asect);
+#endif
     }
 
   if (num_sections)
@@ -1429,32 +1488,35 @@ DEFUN (elf_map_symbols, (abfd), bfd * abfd)
                                          * sizeof (asymbol *)));
       else
        syms = (asymbol **) bfd_alloc (abfd,
-                                      (num_sections + 1) * sizeof (asymbol *));
+                                  (num_sections + 1) * sizeof (asymbol *));
+      if (!syms)
+       {
+         bfd_set_error (bfd_error_no_memory);
+         return false;
+       }
 
       for (asect = abfd->sections; asect; asect = asect->next)
        {
-         if (/* asect->flags & (SEC_LOAD | SEC_DATA | SEC_CODE) */ 1)
-           {
-             asymbol *sym = syms[symcount++] = bfd_make_empty_symbol (abfd);
-             sym->the_bfd = abfd;
-             sym->name = asect->name;
-             sym->value = asect->vma;
-             sym->flags = BSF_SECTION_SYM;
-             sym->section = asect;
-           }
+         if (sect_syms[asect->index])
+           syms[symcount++] = sect_syms[asect->index];
        }
 
       syms[symcount] = (asymbol *) 0;
       bfd_set_symtab (abfd, syms, symcount);
     }
 
-  elf_symtab_map (abfd) = symtab_map
-    = (int *) bfd_alloc (abfd, symcount * sizeof (int *));
+  elf_sym_extra (abfd) = sym_extra
+    = (Elf_Sym_Extra *) bfd_alloc (abfd, symcount * sizeof (Elf_Sym_Extra));
+  if (!sym_extra)
+    {
+      bfd_set_error (bfd_error_no_memory);
+      return false;
+    }
 
   /* Identify and classify all of the symbols.  */
   for (idx = 0; idx < symcount; idx++)
     {
-      if (!sym_is_global (syms[idx]))
+      if (!sym_is_global (abfd, syms[idx]))
        num_locals++;
       else
        num_globals++;
@@ -1464,249 +1526,75 @@ DEFUN (elf_map_symbols, (abfd), bfd * abfd)
      dummy symbol.  */
   for (idx = 0; idx < symcount; idx++)
     {
-      if (!sym_is_global (syms[idx]))
-       symtab_map[idx] = 1 + num_locals2++;
+      syms[idx]->udata = (PTR) & sym_extra[idx];
+      if (!sym_is_global (abfd, syms[idx]))
+       sym_extra[idx].elf_sym_num = 1 + num_locals2++;
       else
-       symtab_map[idx] = 1 + num_locals + num_globals2++;
+       sym_extra[idx].elf_sym_num = 1 + num_locals + num_globals2++;
     }
 
   elf_num_locals (abfd) = num_locals;
   elf_num_globals (abfd) = num_globals;
+  return true;
 }
 
-static void assign_section_numbers ();
-static void assign_file_positions_except_relocs ();
+static boolean assign_section_numbers ();
+static boolean assign_file_positions_except_relocs ();
 
 static boolean
-DEFUN (elf_compute_section_file_positions, (abfd), bfd * abfd)
+elf_compute_section_file_positions (abfd)
+     bfd *abfd;
 {
-  Elf_Internal_Ehdr *i_ehdrp;  /* Elf file header, internal form */
-  Elf_Internal_Shdr *i_shdrp;  /* Section header table, internal form */
-  struct strtab *shstrtab;
-  int count, maxsections;
-
   bfd_map_over_sections (abfd, elf_fake_sections, 0);
 
-  assign_section_numbers (abfd);
+  if (!assign_section_numbers (abfd))
+    return false;
 
   bfd_map_over_sections (abfd, elf_make_sections, 0);
 
-  bfd_map_over_sections (abfd, fix_up_strtabs, 0); /* .stab/.stabstr &c */
+  bfd_map_over_sections (abfd, fix_up_strtabs, 0);     /* .stab/.stabstr &c */
 
-  swap_out_syms (abfd);
+  if (swap_out_syms (abfd) == false)
+    return false;
 
-  assign_file_positions_except_relocs (abfd);
+  if (!assign_file_positions_except_relocs (abfd))
+    return false;
 
   return true;
 }
 
 static boolean
-DEFUN (elf_write_phdrs, (abfd, i_ehdrp, i_phdrp, phdr_cnt),
-       bfd * abfd AND
-       Elf_Internal_Ehdr * i_ehdrp AND
-       Elf_Internal_Phdr * i_phdrp AND
-       Elf32_Half phdr_cnt)
+elf_write_phdrs (abfd, i_ehdrp, i_phdrp, phdr_cnt)
+     bfd *abfd;
+     Elf_Internal_Ehdr *i_ehdrp;
+     Elf_Internal_Phdr *i_phdrp;
+     unsigned short phdr_cnt;
 {
   /* first program header entry goes after the file header */
   int outbase = i_ehdrp->e_phoff;
-  int i;
+  unsigned int i;
   Elf_External_Phdr x_phdr;
 
   for (i = 0; i < phdr_cnt; i++)
     {
       elf_swap_phdr_out (abfd, i_phdrp + i, &x_phdr);
-      bfd_seek (abfd, outbase, SEEK_SET);
-      bfd_write ((PTR) & x_phdr, sizeof (x_phdr), 1, abfd);
+      if (bfd_seek (abfd, outbase, SEEK_SET) != 0
+         || (bfd_write ((PTR) & x_phdr, sizeof (x_phdr), 1, abfd)
+             != sizeof (x_phdr)))
+       return false;
       outbase += sizeof (x_phdr);
     }
 
   return true;
 }
 
-#if 0
-static Elf_Internal_Phdr *
-DEFUN (elf_build_phdrs, (abfd, i_ehdrp, i_shdrp, phdr_cnt),
-       bfd * abfd AND
-       Elf_Internal_Ehdr * i_ehdrp AND
-       Elf_Internal_Shdr * i_shdrp AND
-       Elf32_Half * phdr_cnt)
-{
-  Elf_Internal_Phdr *phdr_buf;
-  int idx;
-  /* NOTES:
-     1. The program header table is *not* loaded as part
-        of the memory image of the program.  If this
-       changes later, the PT_PHDR entry must come first.
-     2. there is currently no support for program header
-     entries of type PT_PHDR, PT_DYNAMIC, PT_INTERP,
-     or PT_SHLIB. */
-
-  /* A. Figure out how many program header table entries are needed
-       1. PT_LOAD for the text segment
-       2. PT_LOAD for the data segment
-     Then, reserve space for one more pointer.  This will be NULL
-     to indicate the end of the program header table.  */
-
-#ifdef PHDRS_INCLUDED
-  *phdr_cnt = 4;
-#else
-  /* XXX right now, execve() expects exactly 3 PT entries on HPPA-OSF.  */
-  *phdr_cnt = 3;
-#endif
-
-  phdr_buf = (Elf_Internal_Phdr *) bfd_xmalloc (((*phdr_cnt) + 1)
-                                               *
-                                               sizeof (Elf_Internal_Phdr));
-
-  idx = 0;
-#ifdef PHDRS_INCLUDED
-  /* B. Fill in the PT_PHDR entry. */
-
-  idx++;
-#endif
-
-  /* C. Fill in the PT_LOAD entry for the text segment. */
-
-  phdr_buf[idx].p_type = PT_LOAD;
-
-  /* get virtual/physical address from .text section */
-  phdr_buf[idx].p_vaddr = bfd_get_section_by_name (abfd, ".text")->vma;
-  phdr_buf[idx].p_paddr = 0;   /* XXX */
-
-  /* Ultimately, we would like the size of the .text load
-     segment to be the sum of the following sections:
-       the program header table itself
-       .interp
-       .hash
-       .dynsym
-       .dynstr
-       .rela.bss
-       .rela.plt
-       .init
-       .text
-       .fini
-       .rodata
-     But, right now, it will be the sum of the following sections:
-       .text
-       .rodata */
-
-  {
-    static char *CONST ld_sect_names[] =
-    {".text", ".rodata", NULL};
-    int i;
-    int ld_size = 0;
-
-    for (i = 0; ld_sect_names[i]; i++)
-      {
-       asection *asect = bfd_get_section_by_name (abfd,
-                                                  ld_sect_names[i]);
-
-       if (asect)
-         ld_size += bfd_section_size (abfd, asect);
-      }
-    phdr_buf[idx].p_filesz = ld_size;
-    /* XXX: need to fix this */
-    phdr_buf[idx].p_memsz = ld_size;
-  }
-  phdr_buf[idx].p_flags = PF_R + PF_X;
-  phdr_buf[idx].p_align =
-    bfd_get_section_by_name (abfd, ".text")->alignment_power;
-
-  idx++;
-
-  /* D. Fill in the PT_LOAD entry for the data segment.        */
-
-  phdr_buf[idx].p_type = PT_LOAD;
-
-  /* get virtual/physical address from .data section */
-  phdr_buf[idx].p_vaddr = bfd_get_section_by_name (abfd, ".data")->vma;
-  phdr_buf[idx].p_paddr = 0;   /* XXX */
-
-  /* Ultimately, we would like the size of the data load segment
-     to be the sum of the following sections:
-       the PT_DYNAMIC program header table entry
-       .plt
-       .data
-       .data1
-       .got
-       .dynamic
-     But, right now, it will be the sum of the following sections:
-       .data */
-
-  {
-    static char *CONST ld_sect_names[] =
-    {".data", NULL};
-    int i;
-    int ld_size = 0;
-
-    for (i = 0; ld_sect_names[i]; i++)
-      {
-       asection *asect = bfd_get_section_by_name (abfd,
-                                                  ld_sect_names[i]);
-
-       if (asect)
-         ld_size += bfd_section_size (abfd, asect);
-      }
-    phdr_buf[idx].p_filesz = ld_size;
-    /* XXX: need to fix this */
-    phdr_buf[idx].p_memsz = ld_size;
-  }
-  phdr_buf[idx].p_flags = PF_R + PF_W + PF_X;
-  phdr_buf[idx].p_align
-    = bfd_get_section_by_name (abfd, ".data")->alignment_power;
-
-  idx++;
-
-  /* E. Fill in the PT_LOAD entry for the bss segment. */
-
-  phdr_buf[idx].p_type = PT_LOAD;
-
-  /* get virtual/physical address from .data section */
-  phdr_buf[idx].p_vaddr = bfd_get_section_by_name (abfd, ".bss")->vma;
-  phdr_buf[idx].p_paddr = 0;   /* XXX */
-
-  {
-    static char *CONST ld_sect_names[] =
-    {".bss", NULL};
-    int i;
-    int ld_size = 0;
-
-    for (i = 0; ld_sect_names[i]; i++)
-      {
-       asection *asect = bfd_get_section_by_name (abfd,
-                                                  ld_sect_names[i]);
-
-       if (asect)
-         ld_size += bfd_section_size (abfd, asect);
-      }
-    phdr_buf[idx].p_filesz = 0;
-    /* XXX: need to fix this */
-    phdr_buf[idx].p_memsz = ld_size;
-  }
-  phdr_buf[idx].p_flags = PF_R + PF_W + PF_X;
-  phdr_buf[idx].p_align
-    = bfd_get_section_by_name (abfd, ".bss")->alignment_power;
-
-  idx++;
-
-  /* F. Set up the "end of program header table" sentinel.     */
-
-  memset ((char *) (phdr_buf + idx), 0, sizeof (Elf_Internal_Phdr));
-  idx++;
-
-  BFD_ASSERT (idx - 1 == *phdr_cnt);
-
-  return phdr_buf;
-}
-#endif
-
 static const Elf_Internal_Shdr null_shdr;
 
 /* Assign all ELF section numbers.  The dummy first section is handled here
    too.  The link/info pointers for the standard section types are filled
    in here too, while we're at it.  (Link pointers for .stab sections are
    not filled in here.)  */
-static void
+static boolean
 assign_section_numbers (abfd)
      bfd *abfd;
 {
@@ -1716,12 +1604,12 @@ assign_section_numbers (abfd)
   int i;
   Elf_Internal_Shdr **i_shdrp;
 
-  t->shstrtab_hdr.sh_size = elf_shstrtab(abfd)->length;
-  t->shstrtab_hdr.contents = (void *) elf_shstrtab(abfd)->tab;
+  t->shstrtab_hdr.sh_size = elf_shstrtab (abfd)->length;
+  t->shstrtab_hdr.contents = (void *) elf_shstrtab (abfd)->tab;
   shstrtab_length_fixed = 1;
 
   t->shstrtab_section = section_number++;
-  elf_elfheader(abfd)->e_shstrndx = t->shstrtab_section;
+  elf_elfheader (abfd)->e_shstrndx = t->shstrtab_section;
   if (abfd->symcount)
     {
       t->symtab_section = section_number++;
@@ -1742,17 +1630,22 @@ assign_section_numbers (abfd)
        d->rel_idx = 0;
       /* No handling for per-section string tables currently.  */
     }
-  elf_elfheader(abfd)->e_shnum = section_number;
+  elf_elfheader (abfd)->e_shnum = section_number;
 
   /* Set up the list of section header pointers, in agreement with the
      indices.  */
   i_shdrp = (Elf_Internal_Shdr **)
     bfd_alloc (abfd, section_number * sizeof (Elf_Internal_Shdr *));
-  elf_elfsections(abfd) = i_shdrp;
+  if (!i_shdrp)
+    {
+      bfd_set_error (bfd_error_no_memory);
+      return false;
+    }
+  elf_elfsections (abfd) = i_shdrp;
   for (i = 0; i < section_number; i++)
     i_shdrp[i] = 0;
 
-  i_shdrp[0] = (Elf_Internal_Shdr *) &null_shdr;
+  i_shdrp[0] = (Elf_Internal_Shdr *) & null_shdr;
   i_shdrp[t->shstrtab_section] = &t->shstrtab_hdr;
   if (abfd->symcount)
     {
@@ -1770,6 +1663,7 @@ assign_section_numbers (abfd)
   for (i = 0; i < section_number; i++)
     if (i_shdrp[i] == 0)
       abort ();
+  return true;
 }
 
 static INLINE file_ptr
@@ -1777,12 +1671,27 @@ assign_file_position_for_section (i_shdrp, offset)
      Elf_Internal_Shdr *i_shdrp;
      file_ptr offset;
 {
-  i_shdrp->sh_offset = offset;
+  int align;
+
+  if (i_shdrp->sh_addralign != 0)
+    align = i_shdrp->sh_addralign;
+  else
+    align = 1;
+  i_shdrp->sh_offset = offset = BFD_ALIGN (offset, align);
+  if (i_shdrp->rawdata != NULL)
+    ((asection *) i_shdrp->rawdata)->filepos = offset;
   if (i_shdrp->sh_type != SHT_NOBITS)
     offset += i_shdrp->sh_size;
   return offset;
 }
 
+static INLINE file_ptr
+align_file_position (off)
+     file_ptr off;
+{
+  return (off + FILE_ALIGN - 1) & ~(FILE_ALIGN - 1);
+}
+
 static INLINE file_ptr
 assign_file_positions_for_symtab_and_strtabs (abfd, off)
      bfd *abfd;
@@ -1790,13 +1699,15 @@ assign_file_positions_for_symtab_and_strtabs (abfd, off)
 {
   struct elf_obj_tdata *t = elf_tdata (abfd);
 
-  off = assign_file_position_for_section (&t->shstrtab_hdr, off);
+  off = align_file_position (off);
   off = assign_file_position_for_section (&t->symtab_hdr, off);
+  off = assign_file_position_for_section (&t->shstrtab_hdr, off);
   off = assign_file_position_for_section (&t->strtab_hdr, off);
   return off;
 }
 
-struct seg_info {
+struct seg_info
+{
   bfd_vma low, mem_size;
   file_ptr file_size;
   int start_pos;
@@ -1804,7 +1715,7 @@ struct seg_info {
   struct seg_info *next;
 };
 
-static void
+static boolean
 map_program_segments (abfd)
      bfd *abfd;
 {
@@ -1812,14 +1723,19 @@ map_program_segments (abfd)
   Elf_Internal_Ehdr *i_ehdrp = elf_elfheader (abfd);
   Elf_Internal_Shdr *i_shdrp;
   Elf_Internal_Phdr *phdr;
-  char *done;
-  int i, n_left = 0;
+  char *done = NULL;
+  unsigned int i, n_left = 0;
   file_ptr lowest_offset = 0;
-  struct seg_info *seg = 0;
+  struct seg_info *seg = NULL;
 
-  done = alloca (i_ehdrp->e_shnum);
+  done = (char *) malloc (i_ehdrp->e_shnum);
+  if (done == NULL && i_ehdrp->e_shnum != 0)
+    {
+      bfd_set_error (bfd_error_no_memory);
+      goto error_return;
+    }
   memset (done, 0, i_ehdrp->e_shnum);
-  for (i = 0; i < i_ehdrp->e_shnum; i++)
+  for (i = 1; i < i_ehdrp->e_shnum; i++)
     {
       i_shdrp = i_shdrpp[i];
       /* If it's going to be mapped in, it's been assigned a position.  */
@@ -1850,6 +1766,8 @@ map_program_segments (abfd)
       int low_sec = 0;
       int mem_size;
       int file_size = 0;
+      struct seg_info *snew;
+      struct seg_info **s_ptr;
 
       for (i = 1; i < i_ehdrp->e_shnum; i++)
        {
@@ -1864,16 +1782,21 @@ map_program_segments (abfd)
        abort ();
       /* So now we know the lowest vma of any unassigned sections; start
         a segment there.  */
-      {
-       struct seg_info *s;
-       s = (struct seg_info *) bfd_alloc (abfd, sizeof (struct seg_info));
-       s->next = seg;
-       seg = s;
-      }
-      seg->low = lowest_vma;
+      snew = (struct seg_info *) bfd_alloc (abfd, sizeof (struct seg_info));
+      if (!snew)
+       {
+         bfd_set_error (bfd_error_no_memory);
+         goto error_return;
+       }
+      s_ptr = &seg;
+      while (*s_ptr != (struct seg_info *) NULL)
+       s_ptr = &(*s_ptr)->next;
+      *s_ptr = snew;
+      snew->next = NULL;
+      snew->low = lowest_vma;
       i_shdrp = i_shdrpp[low_sec];
-      seg->start_pos = i_shdrp->sh_offset;
-      seg->sh_flags = i_shdrp->sh_flags;
+      snew->start_pos = i_shdrp->sh_offset;
+      snew->sh_flags = i_shdrp->sh_flags;
       done[low_sec] = 1, n_left--;
       mem_size = i_shdrp->sh_size;
       high = lowest_vma + i_shdrp->sh_size;
@@ -1881,23 +1804,24 @@ map_program_segments (abfd)
       if (i_shdrp->sh_type == SHT_PROGBITS)
        file_size = i_shdrp->sh_size;
 
-      for (i = 0; i < i_ehdrp->e_shnum; i++)
+      for (i = 1; i < i_ehdrp->e_shnum; i++)
        {
          file_ptr f1;
 
-         if (file_size != mem_size)
-           break;
          if (done[i])
            continue;
          i_shdrp = i_shdrpp[i];
          /* position of next byte on disk */
-         f1 = seg->start_pos + file_size;
+         f1 = snew->start_pos + file_size;
          if (i_shdrp->sh_type == SHT_PROGBITS)
            {
              if (i_shdrp->sh_offset - f1 != i_shdrp->sh_addr - high)
                continue;
+             if (file_size != mem_size)
+               break;
            }
-         else /* sh_type == NOBITS */
+         else
+           /* sh_type == NOBITS */
            {
              /* If the section in question has no contents in the disk
                 file, we really don't care where it supposedly starts.
@@ -1906,7 +1830,7 @@ map_program_segments (abfd)
              bfd_vma page1, page2;
              bfd_vma maxpagesize = get_elf_backend_data (abfd)->maxpagesize;
 
-             /* page number in address space of current end of seg */
+             /* page number in address space of current end of snew */
              page1 = (high - 1 + maxpagesize - 1) / maxpagesize;
              /* page number in address space of start of this section */
              page2 = (i_shdrp->sh_addr + maxpagesize - 1) / maxpagesize;
@@ -1916,13 +1840,13 @@ map_program_segments (abfd)
            }
          done[i] = 1, n_left--;
          if (i_shdrp->sh_type == SHT_PROGBITS)
-           file_size = i_shdrp->sh_offset + i_shdrp->sh_size - seg->start_pos;
-         mem_size = i_shdrp->sh_addr + i_shdrp->sh_size - seg->low;
+           file_size = i_shdrp->sh_offset + i_shdrp->sh_size - snew->start_pos;
+         mem_size = i_shdrp->sh_addr + i_shdrp->sh_size - snew->low;
          high = i_shdrp->sh_addr + i_shdrp->sh_size;
          i = 0;
        }
-      seg->file_size = file_size;
-      seg->mem_size = mem_size;
+      snew->file_size = file_size;
+      snew->mem_size = mem_size;
     }
   /* Now do something with the list of segments we've built up.  */
   {
@@ -1937,14 +1861,20 @@ map_program_segments (abfd)
       }
     i_ehdrp->e_phentsize = sizeof (Elf_External_Phdr);
     sz = sizeof (Elf_External_Phdr) * n_segs;
-    if (i_ehdrp->e_ehsize + sz <= lowest_offset)
-      i_ehdrp->e_phoff = i_ehdrp->e_ehsize;
+    if (align_file_position (i_ehdrp->e_ehsize) + sz <= lowest_offset)
+      i_ehdrp->e_phoff = align_file_position (i_ehdrp->e_ehsize);
     else
       {
-       i_ehdrp->e_phoff = elf_tdata (abfd)->next_file_pos;
-       elf_tdata (abfd)->next_file_pos += sz;
+       i_ehdrp->e_phoff = align_file_position (elf_tdata (abfd)->next_file_pos);
+       elf_tdata (abfd)->next_file_pos = i_ehdrp->e_phoff + sz;
+      }
+    phdr = (Elf_Internal_Phdr *) bfd_alloc (abfd,
+                                      n_segs * sizeof (Elf_Internal_Phdr));
+    if (!phdr)
+      {
+       bfd_set_error (bfd_error_no_memory);
+       abort ();               /* FIXME */
       }
-    phdr = bfd_alloc (abfd, n_segs * sizeof (Elf_Internal_Phdr));
     elf_tdata (abfd)->phdr = phdr;
     while (seg)
       {
@@ -1955,9 +1885,11 @@ map_program_segments (abfd)
        phdr->p_filesz = seg->file_size;
        phdr->p_memsz = seg->mem_size;
        phdr->p_flags = PF_R;
-       phdr->p_align = maxpagesize; /* ? */
+       phdr->p_align = maxpagesize;    /* ? */
        if (seg->sh_flags & SHF_WRITE)
-         phdr->p_flags |= PF_W;
+         /* SysVr4 ELF docs say "data segments normally have read, write,
+            and execute permissions."  */
+         phdr->p_flags |= (PF_W | PF_X);
        if (seg->sh_flags & SHF_EXECINSTR)
          phdr->p_flags |= PF_X;
        phdr++;
@@ -1966,9 +1898,16 @@ map_program_segments (abfd)
     i_ehdrp->e_phnum = n_segs;
   }
   elf_write_phdrs (abfd, i_ehdrp, elf_tdata (abfd)->phdr, i_ehdrp->e_phnum);
+  if (done != NULL)
+    free (done);
+  return true;
+error_return:
+  if (done != NULL)
+    free (done);
+  return false;
 }
 
-static void
+static boolean
 assign_file_positions_except_relocs (abfd)
      bfd *abfd;
 {
@@ -1983,12 +1922,14 @@ assign_file_positions_except_relocs (abfd)
      The order, for now: <ehdr> <shdr> <sec1> <sec2> <sec3> ... <rel1> ...
      or:                 <ehdr> <phdr> <sec1> <sec2> ... <shdr> <rel1> ... */
 
+  struct elf_obj_tdata *t = elf_tdata (abfd);
   file_ptr off;
-  int i;
+  unsigned int i;
   Elf_Internal_Shdr **i_shdrpp = elf_elfsections (abfd);
   Elf_Internal_Shdr *i_shdrp;
   Elf_Internal_Ehdr *i_ehdrp = elf_elfheader (abfd);
   int exec_p = (abfd->flags & EXEC_P) != 0;
+  bfd_vma maxpagesize = get_elf_backend_data (abfd)->maxpagesize;
 
   /* Everything starts after the ELF file header.  */
   off = i_ehdrp->e_ehsize;
@@ -1996,13 +1937,20 @@ assign_file_positions_except_relocs (abfd)
   if (!exec_p)
     {
       /* Section headers.  */
+      off = align_file_position (off);
       i_ehdrp->e_shoff = off;
       off += i_ehdrp->e_shnum * i_ehdrp->e_shentsize;
-
       off = assign_file_positions_for_symtab_and_strtabs (abfd, off);
     }
-  for (i = 0; i < i_ehdrp->e_shnum; i++)
+  for (i = 1; i < i_ehdrp->e_shnum; i++)
     {
+      /* The symtab and strtab sections are placed by
+        assign_file_positions_for_symtab_and_strtabs.  */
+      if (i == t->symtab_section
+         || i == t->strtab_section
+         || i == t->shstrtab_section)
+       continue;
+
       i_shdrp = i_shdrpp[i];
       if (i_shdrp->sh_type == SHT_REL || i_shdrp->sh_type == SHT_RELA)
        {
@@ -2011,7 +1959,6 @@ assign_file_positions_except_relocs (abfd)
        }
       if (exec_p)
        {
-         bfd_vma maxpagesize = get_elf_backend_data (abfd)->maxpagesize;
          if (maxpagesize == 0)
            maxpagesize = 1;    /* make the arithmetic work */
          /* This isn't necessarily going to give the best packing, if the
@@ -2024,48 +1971,55 @@ assign_file_positions_except_relocs (abfd)
            }
          /* Blindly assume that the segments are ordered optimally.  With
             the default LD script, they will be.  */
-         {
-           /* need big unsigned type */
-           bfd_vma addtl_off;
-           addtl_off = i_shdrp->sh_addr - off;
-           addtl_off = addtl_off % maxpagesize;
-           if (addtl_off)
-             {
-               off += addtl_off;
-             }
-         }
-         if (i_shdrp->sh_type == SHT_NOBITS)
+         if (i_shdrp->sh_type != SHT_NOBITS)
            {
-             file_ptr off2;
-             i_shdrp->sh_offset = off;
-             if (off % maxpagesize != 0)
-               off2 = maxpagesize - (off % maxpagesize);
-             if (off2 > i_shdrp->sh_size)
-               off2 = i_shdrp->sh_size;
-             off += off2;
+             /* need big unsigned type */
+             bfd_vma addtl_off;
+             addtl_off = i_shdrp->sh_addr - off;
+             addtl_off = addtl_off % maxpagesize;
+             if (addtl_off)
+               {
+                 off += addtl_off;
+               }
            }
        }
       off = assign_file_position_for_section (i_shdrp, off);
+
+      if (exec_p
+         && i_shdrp->sh_type == SHT_NOBITS
+         && (i == i_ehdrp->e_shnum
+             || i_shdrpp[i + 1]->sh_type != SHT_NOBITS))
+       {
+         /* Skip to the next page to ensure that when the file is
+            loaded the bss section is loaded with zeroes.  I don't
+            know if this is required on all platforms, but it
+            shouldn't really hurt.  */
+         off = BFD_ALIGN (off, maxpagesize);
+       }
+
       if (exec_p
-         && get_elf_backend_data(abfd)->maxpagesize > 1
+         && (abfd->flags & D_PAGED) != 0
+         && get_elf_backend_data (abfd)->maxpagesize > 1
          && i_shdrp->sh_type == SHT_PROGBITS
          && (i_shdrp->sh_flags & SHF_ALLOC)
-         && (i_shdrp->sh_offset - i_shdrp->sh_addr) % get_elf_backend_data(abfd)->maxpagesize != 0)
+         && (i_shdrp->sh_offset - i_shdrp->sh_addr) % get_elf_backend_data (abfd)->maxpagesize != 0)
        abort ();
     }
   if (exec_p)
     {
       elf_tdata (abfd)->next_file_pos = off;
-      map_program_segments (abfd);
+      if (!map_program_segments (abfd))
+       return false;
       off = elf_tdata (abfd)->next_file_pos;
 
       /* Section headers.  */
+      off = align_file_position (off);
       i_ehdrp->e_shoff = off;
       off += i_ehdrp->e_shnum * i_ehdrp->e_shentsize;
 
       off = assign_file_positions_for_symtab_and_strtabs (abfd, off);
 
-      for (i = 0; i < i_ehdrp->e_shnum; i++)
+      for (i = 1; i < i_ehdrp->e_shnum; i++)
        {
          i_shdrp = i_shdrpp[i];
          if (i_shdrp->sh_offset + 1 == 0
@@ -2075,26 +2029,26 @@ assign_file_positions_except_relocs (abfd)
        }
     }
   elf_tdata (abfd)->next_file_pos = off;
+  return true;
 }
 
 static boolean
 prep_headers (abfd)
      bfd *abfd;
 {
-  Elf_External_Ehdr x_ehdr;    /* Elf file header, external form */
   Elf_Internal_Ehdr *i_ehdrp;  /* Elf file header, internal form */
-  Elf_Internal_Phdr *i_phdrp = 0; /* Program header table, internal form */
-  Elf_External_Shdr *x_shdrp;  /* Section header table, external form */
+  Elf_Internal_Phdr *i_phdrp = 0;      /* Program header table, internal form */
   Elf_Internal_Shdr **i_shdrp; /* Section header table, internal form */
-
   int count;
-  int scnt;
   struct strtab *shstrtab;
 
   i_ehdrp = elf_elfheader (abfd);
   i_shdrp = elf_elfsections (abfd);
 
   shstrtab = bfd_new_strtab (abfd);
+  if (!shstrtab)
+    return false;
+
   elf_shstrtab (abfd) = shstrtab;
 
   i_ehdrp->e_ident[EI_MAG0] = ELFMAG0;
@@ -2142,6 +2096,9 @@ prep_headers (abfd)
     case bfd_arch_hppa:
       i_ehdrp->e_machine = EM_HPPA;
       break;
+    case bfd_arch_powerpc:
+      i_ehdrp->e_machine = EM_CYGNUS_POWERPC;
+      break;
       /* also note that EM_M32, AT&T WE32100 is unknown to bfd */
     default:
       i_ehdrp->e_machine = EM_NONE;
@@ -2185,16 +2142,15 @@ prep_headers (abfd)
                                                            ".strtab");
   elf_tdata (abfd)->shstrtab_hdr.sh_name = bfd_add_to_strtab (abfd, shstrtab,
                                                              ".shstrtab");
-
+  return true;
 }
 
-static void
+static boolean
 swap_out_syms (abfd)
      bfd *abfd;
 {
-  struct strtab *shstrtab = elf_shstrtab (abfd);
-
-  elf_map_symbols (abfd);
+  if (!elf_map_symbols (abfd))
+    return false;
 
   /* Dump out the symtabs. */
   {
@@ -2206,18 +2162,30 @@ swap_out_syms (abfd)
     Elf_External_Sym *outbound_syms;
     int idx;
 
+    if (!stt)
+      return false;
     symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
     symtab_hdr->sh_type = SHT_SYMTAB;
     symtab_hdr->sh_entsize = sizeof (Elf_External_Sym);
     symtab_hdr->sh_size = symtab_hdr->sh_entsize * (symcount + 1);
     symtab_hdr->sh_info = elf_num_locals (abfd) + 1;
 
+    /* FIXME: Systems I've checked use 4 byte alignment for .symtab,
+       but it is possible that there are systems which use a different
+       alignment.  */
+    symtab_hdr->sh_addralign = 4;
+
     /* see assert in elf_fake_sections that supports this: */
     symstrtab_hdr = &elf_tdata (abfd)->strtab_hdr;
     symstrtab_hdr->sh_type = SHT_STRTAB;
 
     outbound_syms = (Elf_External_Sym *)
       bfd_alloc (abfd, (1 + symcount) * sizeof (Elf_External_Sym));
+    if (!outbound_syms)
+      {
+       bfd_set_error (bfd_error_no_memory);
+       return false;
+      }
     /* now generate the data (for "contents") */
     {
       /* Fill in zeroth symbol and swap it out.  */
@@ -2249,11 +2217,13 @@ swap_out_syms (abfd)
            sym.st_size = value;
            /* Should retrieve this from somewhere... */
            sym.st_value = 16;
-           sym.st_shndx = SHN_COMMON;
+           sym.st_shndx = elf_section_from_bfd_section (abfd,
+                                                        syms[idx]->section);
          }
        else
          {
            asection *sec = syms[idx]->section;
+           elf_symbol_type *type_ptr;
            int shndx;
 
            if (sec->output_section)
@@ -2263,7 +2233,8 @@ swap_out_syms (abfd)
              }
            value += sec->vma;
            sym.st_value = value;
-           sym.st_size = (elf_symbol_from (abfd, syms[idx]))->internal_elf_sym.st_size;
+           type_ptr = elf_symbol_from (abfd, syms[idx]);
+           sym.st_size = type_ptr ? type_ptr->internal_elf_sym.st_size : 0;
            sym.st_shndx = shndx = elf_section_from_bfd_section (abfd, sec);
            if (shndx == -1)
              {
@@ -2275,43 +2246,43 @@ swap_out_syms (abfd)
                   section of a symbol to be a section that is actually in
                   the output file.  */
                sec2 = bfd_get_section_by_name (abfd, sec->name);
-               assert (sec2 != 0);
+               BFD_ASSERT (sec2 != 0);
                sym.st_shndx = shndx = elf_section_from_bfd_section (abfd, sec2);
-               assert (shndx != -1);
+               BFD_ASSERT (shndx != -1);
              }
          }
 
        if (bfd_is_com_section (syms[idx]->section))
-         sym.st_info = ELF_ST_INFO (STB_GLOBAL, STT_NOTYPE);
+         sym.st_info = ELF_ST_INFO (STB_GLOBAL, STT_OBJECT);
        else if (syms[idx]->section == &bfd_und_section)
          sym.st_info = ELF_ST_INFO (STB_GLOBAL, STT_NOTYPE);
-       else if (syms[idx]->flags & BSF_WEAK)
-         sym.st_info = ELF_ST_INFO (STB_WEAK, STT_OBJECT);
        else if (syms[idx]->flags & BSF_SECTION_SYM)
          sym.st_info = ELF_ST_INFO (STB_LOCAL, STT_SECTION);
        else if (syms[idx]->flags & BSF_FILE)
          sym.st_info = ELF_ST_INFO (STB_LOCAL, STT_FILE);
-       else if (syms[idx]->flags & (BSF_GLOBAL | BSF_EXPORT))
-         {
-           if (syms[idx]->flags & BSF_FUNCTION)
-             sym.st_info = ELF_ST_INFO (STB_GLOBAL, STT_FUNC);
-           else
-             sym.st_info = ELF_ST_INFO (STB_GLOBAL, STT_OBJECT);
-         }
-       else if (syms[idx]->flags & BSF_LOCAL)
+       else
          {
-           if (syms[idx]->flags & BSF_FUNCTION)
-             sym.st_info = ELF_ST_INFO (STB_LOCAL, STT_FUNC);
-           else
-             sym.st_info = ELF_ST_INFO (STB_LOCAL, STT_OBJECT);
+           int bind = STB_LOCAL;
+           int type = STT_OBJECT;
+           unsigned int flags = syms[idx]->flags;
+
+           if (flags & BSF_LOCAL)
+             bind = STB_LOCAL;
+           else if (flags & BSF_WEAK)
+             bind = STB_WEAK;
+           else if (flags & BSF_GLOBAL)
+             bind = STB_GLOBAL;
+
+           if (flags & BSF_FUNCTION)
+             type = STT_FUNC;
+
+           sym.st_info = ELF_ST_INFO (bind, type);
          }
-       else
-         /* Default to local if flag isn't set at all.  */
-         sym.st_info = ELF_ST_INFO (STB_LOCAL, STT_OBJECT);
 
        sym.st_other = 0;
        elf_swap_symbol_out (abfd, &sym,
-                            outbound_syms + elf_symtab_map (abfd)[idx]);
+                            (outbound_syms
+                             + elf_sym_extra (abfd)[idx].elf_sym_num));
       }
 
     symtab_hdr->contents = (PTR) outbound_syms;
@@ -2324,7 +2295,7 @@ swap_out_syms (abfd)
     symstrtab_hdr->sh_entsize = 0;
     symstrtab_hdr->sh_link = 0;
     symstrtab_hdr->sh_info = 0;
-    symstrtab_hdr->sh_addralign = 0;
+    symstrtab_hdr->sh_addralign = 1;
     symstrtab_hdr->size = 0;
   }
 
@@ -2332,16 +2303,17 @@ swap_out_syms (abfd)
   {
     Elf_Internal_Shdr *this_hdr;
 
-    this_hdr = &elf_tdata(abfd)->shstrtab_hdr;
+    this_hdr = &elf_tdata (abfd)->shstrtab_hdr;
     this_hdr->contents = (PTR) elf_shstrtab (abfd)->tab;
     this_hdr->sh_size = elf_shstrtab (abfd)->length;
     this_hdr->sh_type = SHT_STRTAB;
     this_hdr->sh_flags = 0;
     this_hdr->sh_addr = 0;
     this_hdr->sh_entsize = 0;
-    this_hdr->sh_addralign = 0;
+    this_hdr->sh_addralign = 1;
     this_hdr->size = 0;
   }
+  return true;
 }
 
 static boolean
@@ -2350,12 +2322,9 @@ write_shdrs_and_ehdr (abfd)
 {
   Elf_External_Ehdr x_ehdr;    /* Elf file header, external form */
   Elf_Internal_Ehdr *i_ehdrp;  /* Elf file header, internal form */
-  Elf_Internal_Phdr *i_phdrp = 0; /* Program header table, internal form */
   Elf_External_Shdr *x_shdrp;  /* Section header table, external form */
   Elf_Internal_Shdr **i_shdrp; /* Section header table, internal form */
-
-  int count;
-  int scnt;
+  unsigned int count;
   struct strtab *shstrtab;
 
   i_ehdrp = elf_elfheader (abfd);
@@ -2368,15 +2337,17 @@ write_shdrs_and_ehdr (abfd)
   elf_debug_file (i_ehdrp);
 #endif
   elf_swap_ehdr_out (abfd, i_ehdrp, &x_ehdr);
-  bfd_seek (abfd, (file_ptr) 0, SEEK_SET);
-  bfd_write ((PTR) & x_ehdr, sizeof (x_ehdr), 1, abfd);
+  if (bfd_seek (abfd, (file_ptr) 0, SEEK_SET) != 0
+      || (bfd_write ((PTR) & x_ehdr, sizeof (x_ehdr), 1, abfd)
+         != sizeof (x_ehdr)))
+    return false;
 
   /* at this point we've concocted all the ELF sections... */
   x_shdrp = (Elf_External_Shdr *)
     bfd_alloc (abfd, sizeof (*x_shdrp) * (i_ehdrp->e_shnum));
   if (!x_shdrp)
     {
-      bfd_error = no_memory;
+      bfd_set_error (bfd_error_no_memory);
       return false;
     }
 
@@ -2388,8 +2359,11 @@ write_shdrs_and_ehdr (abfd)
 #endif
       elf_swap_shdr_out (abfd, i_shdrp[count], x_shdrp + count);
     }
-  bfd_seek (abfd, (file_ptr) i_ehdrp->e_shoff, SEEK_SET);
-  bfd_write ((PTR) x_shdrp, sizeof (*x_shdrp), i_ehdrp->e_shnum, abfd);
+  if (bfd_seek (abfd, (file_ptr) i_ehdrp->e_shoff, SEEK_SET) != 0
+      || (bfd_write ((PTR) x_shdrp, sizeof (*x_shdrp), i_ehdrp->e_shnum, abfd)
+         != sizeof (*x_shdrp) * i_ehdrp->e_shnum))
+    return false;
+
   /* need to dump the string table too... */
 
   return true;
@@ -2399,31 +2373,49 @@ static void
 assign_file_positions_for_relocs (abfd)
      bfd *abfd;
 {
-  file_ptr off = elf_tdata(abfd)->next_file_pos;
-  int i;
+  file_ptr off = elf_tdata (abfd)->next_file_pos;
+  unsigned int i;
   Elf_Internal_Shdr **shdrpp = elf_elfsections (abfd);
   Elf_Internal_Shdr *shdrp;
-  for (i = 0; i < elf_elfheader(abfd)->e_shnum; i++)
+  for (i = 1; i < elf_elfheader (abfd)->e_shnum; i++)
     {
       shdrp = shdrpp[i];
       if (shdrp->sh_type != SHT_REL && shdrp->sh_type != SHT_RELA)
        continue;
+      off = align_file_position (off);
       off = assign_file_position_for_section (shdrp, off);
     }
-  elf_tdata(abfd)->next_file_pos = off;
+  elf_tdata (abfd)->next_file_pos = off;
 }
 
 boolean
-DEFUN (NAME(bfd_elf,write_object_contents), (abfd), bfd * abfd)
+NAME(bfd_elf,write_object_contents) (abfd)
+     bfd *abfd;
 {
+  struct elf_backend_data *bed = get_elf_backend_data (abfd);
   Elf_Internal_Ehdr *i_ehdrp;
   Elf_Internal_Shdr **i_shdrp;
-  int count;
+  unsigned int count;
+
+  /* We don't know how to write dynamic objects.  Specifically, we
+     don't know how to construct the program header.  */
+  if ((abfd->flags & DYNAMIC) != 0)
+    {
+      fprintf (stderr, "Writing ELF dynamic objects is not supported\n");
+      bfd_set_error (bfd_error_wrong_format);
+      return false;
+    }
 
   if (abfd->output_has_begun == false)
     {
-      prep_headers (abfd);
-      elf_compute_section_file_positions (abfd);
+      /* Do any elf backend specific processing first.  */
+      if (bed->elf_backend_begin_write_processing)
+       (*bed->elf_backend_begin_write_processing) (abfd);
+
+      if (prep_headers (abfd) == false)
+       return false;
+      if (elf_compute_section_file_positions (abfd) == false)
+       return false;
       abfd->output_has_begun = true;
     }
 
@@ -2434,12 +2426,23 @@ DEFUN (NAME(bfd_elf,write_object_contents), (abfd), bfd * abfd)
   assign_file_positions_for_relocs (abfd);
 
   /* After writing the headers, we need to write the sections too... */
-  for (count = 0; count < i_ehdrp->e_shnum; count++)
-    if (i_shdrp[count]->contents)
-      {
-       bfd_seek (abfd, i_shdrp[count]->sh_offset, SEEK_SET);
-       bfd_write (i_shdrp[count]->contents, i_shdrp[count]->sh_size, 1, abfd);
-      }
+  for (count = 1; count < i_ehdrp->e_shnum; count++)
+    {
+      if (bed->elf_backend_section_processing)
+       (*bed->elf_backend_section_processing) (abfd, i_shdrp[count]);
+      if (i_shdrp[count]->contents)
+       {
+         if (bfd_seek (abfd, i_shdrp[count]->sh_offset, SEEK_SET) != 0
+             || (bfd_write (i_shdrp[count]->contents, i_shdrp[count]->sh_size,
+                            1, abfd)
+                 != i_shdrp[count]->sh_size))
+           return false;
+       }
+    }
+
+  if (bed->elf_backend_final_write_processing)
+    (*bed->elf_backend_final_write_processing) (abfd);
+
   return write_shdrs_and_ehdr (abfd);
 }
 
@@ -2453,9 +2456,9 @@ DEFUN (NAME(bfd_elf,write_object_contents), (abfd), bfd * abfd)
    doesn't have anything like a tdata field... */
 
 static struct sec *
-DEFUN (section_from_elf_index, (abfd, index),
-       bfd * abfd AND
-       int index)
+section_from_elf_index (abfd, index)
+     bfd *abfd;
+     unsigned int index;
 {
   /* @@ Is bfd_com_section really correct in all the places it could
      be returned from this routine?  */
@@ -2488,9 +2491,9 @@ DEFUN (section_from_elf_index, (abfd, index),
 
 /* given a section, search the header to find them... */
 static int
-DEFUN (elf_section_from_bfd_section, (abfd, asect),
-       bfd * abfd AND
-       struct sec *asect)
+elf_section_from_bfd_section (abfd, asect)
+     bfd *abfd;
+     struct sec *asect;
 {
   Elf_Internal_Shdr **i_shdrp = elf_elfsections (abfd);
   int index;
@@ -2512,13 +2515,42 @@ DEFUN (elf_section_from_bfd_section, (abfd, asect),
          /* ELF sections that map to BFD sections */
        case SHT_PROGBITS:
        case SHT_NOBITS:
+       case SHT_NOTE:
          if (hdr->rawdata)
            {
              if (((struct sec *) (hdr->rawdata)) == asect)
                return index;
            }
          break;
+
+       case SHT_STRTAB:
+         /* fix_up_strtabs will generate STRTAB sections with names
+            of .stab*str.  */
+         if (!strncmp (asect->name, ".stab", 5)
+             && !strcmp ("str", asect->name + strlen (asect->name) - 3))
+           {
+             if (hdr->rawdata)
+               {
+                 if (((struct sec *) (hdr->rawdata)) == asect)
+                   return index;
+               }
+             break;
+           }
+         /* FALL THROUGH */
        default:
+         {
+           struct elf_backend_data *bed = get_elf_backend_data (abfd);
+
+           if (bed->elf_backend_section_from_bfd_section)
+             {
+               int retval;
+
+               retval = index;
+               if ((*bed->elf_backend_section_from_bfd_section)
+                   (abfd, hdr, asect, &retval))
+                 return retval;
+             }
+         }
          break;
        }
     }
@@ -2527,93 +2559,46 @@ DEFUN (elf_section_from_bfd_section, (abfd, asect),
 
 /* given a symbol, return the bfd index for that symbol.  */
 static int
-DEFUN (elf_symbol_from_bfd_symbol, (abfd, asym_ptr_ptr),
-       bfd * abfd AND
-       struct symbol_cache_entry **asym_ptr_ptr)
+elf_symbol_from_bfd_symbol (abfd, asym_ptr_ptr)
+     bfd *abfd;
+     struct symbol_cache_entry **asym_ptr_ptr;
 {
   struct symbol_cache_entry *asym_ptr = *asym_ptr_ptr;
-  CONST char *name = asym_ptr->name;
   int idx;
-  int symcount = bfd_get_symcount (abfd);
-  asymbol **syms = bfd_get_outsymbols (abfd);
+  flagword flags = asym_ptr->flags;
 
-  /* FIXME -- there has to be a better way than linear search.  */
-  for (idx = 0; idx < symcount; idx++)
+  /* When gas creates relocations against local labels, it creates its
+     own symbol for the section, but does put the symbol into the
+     symbol chain, so udata is 0.  When the linker is generating
+     relocatable output, this section symbol may be for one of the
+     input sections rather than the output section.  */
+  if (asym_ptr->udata == (PTR) 0
+      && (flags & BSF_SECTION_SYM)
+      && asym_ptr->section)
     {
-      if (syms[idx] == asym_ptr
-         || (name == syms[idx]->name && name)
-         || ((asym_ptr->flags & BSF_SECTION_SYM)
-             && (syms[idx]->flags & BSF_SECTION_SYM)
-             && asym_ptr->section == syms[idx]->section))
-       break;
+      int indx;
+
+      if (asym_ptr->section->output_section != NULL)
+       indx = asym_ptr->section->output_section->index;
+      else
+       indx = asym_ptr->section->index;
+      if (elf_section_syms (abfd)[indx])
+       asym_ptr->udata = elf_section_syms (abfd)[indx]->udata;
     }
 
-  if (idx >= symcount)
+  if (asym_ptr->udata)
+    idx = ((Elf_Sym_Extra *) asym_ptr->udata)->elf_sym_num;
+  else
     {
-      /* badness... */
-      fprintf (stderr, "bfd app err: can't find sym `%s' in symtab\n",
-              name);
       abort ();
     }
-  idx = elf_symtab_map (abfd)[idx];
 
 #if DEBUG & 4
   {
-    flagword flags = asym_ptr->flags;
 
     fprintf (stderr,
-            "elfsym<-bfdsym %.8lx `%s' sec=%s symnum=%d {",
-            (long) asym_ptr, asym_ptr->name, asym_ptr->section->name, idx);
-
-    if (flags == BSF_NO_FLAGS)
-      fprintf (stderr, " none");
-
-    if (flags & BSF_LOCAL)
-      fprintf (stderr, " local");
-
-    if (flags & BSF_GLOBAL)
-      fprintf (stderr, " global");
-
-    if (flags & BSF_EXPORT)
-      fprintf (stderr, " export");
-
-    if (flags & BSF_DEBUGGING)
-      fprintf (stderr, " debugging");
-
-    if (flags & BSF_KEEP)
-      fprintf (stderr, " keep");
-
-    if (flags & BSF_KEEP_G)
-      fprintf (stderr, " keep_g");
-
-    if (flags & BSF_WEAK)
-      fprintf (stderr, " weak");
-
-    if (flags & BSF_SECTION_SYM)
-      fprintf (stderr, " section_sym");
-
-    if (flags & BSF_OLD_COMMON)
-      fprintf (stderr, " old_common");
-
-    if (flags & BSF_NOT_AT_END)
-      fprintf (stderr, " not_at_end");
-
-    if (flags & BSF_CONSTRUCTOR)
-      fprintf (stderr, " constructor");
-
-    if (flags & BSF_WARNING)
-      fprintf (stderr, " warning");
-
-    if (flags & BSF_INDIRECT)
-      fprintf (stderr, " indirect");
-
-    if (flags & BSF_FILE)
-      fprintf (stderr, " file");
-
-    if (flags & BSF_FUNCTION)
-      fprintf (stderr, " function");
-
-    fputs (" }\n", stderr);
+            "elf_symbol_from_bfd_symbol 0x%.8lx, name = %s, sym num = %d, flags = 0x%.8lx %s\n",
+     (long) asym_ptr, asym_ptr->name, idx, flags, elf_symbol_flags (flags));
     fflush (stderr);
   }
 #endif
@@ -2621,29 +2606,18 @@ DEFUN (elf_symbol_from_bfd_symbol, (abfd, asym_ptr_ptr),
   return idx;
 }
 
-static boolean
-DEFUN (elf_slurp_symbol_table, (abfd, symptrs),
-       bfd * abfd AND
-       asymbol ** symptrs)     /* Buffer for generated bfd symbols */
+static long
+elf_slurp_symbol_table (abfd, symptrs, dynamic)
+     bfd *abfd;
+     asymbol **symptrs;                /* Buffer for generated bfd symbols */
+     boolean dynamic;
 {
-  Elf_Internal_Shdr *hdr = &elf_tdata(abfd)->symtab_hdr;
-  int symcount;                        /* Number of external ELF symbols */
-  int i;
+  Elf_Internal_Shdr *hdr;
+  long symcount;               /* Number of external ELF symbols */
   elf_symbol_type *sym;                /* Pointer to current bfd symbol */
   elf_symbol_type *symbase;    /* Buffer for generated bfd symbols */
   Elf_Internal_Sym i_sym;
-  Elf_External_Sym *x_symp;
-
-  /* this is only valid because there is only one symtab... */
-  /* FIXME:  This is incorrect, there may also be a dynamic symbol
-     table which is a subset of the full symbol table.  We either need
-     to be prepared to read both (and merge them) or ensure that we
-     only read the full symbol table.  Currently we only get called to
-     read the full symbol table.  -fnf */
-  if (bfd_get_outsymbols (abfd) != NULL)
-    {
-      return true;
-    }
+  Elf_External_Sym *x_symp = NULL;
 
   /* Read each raw ELF symbol, converting from external ELF form to
      internal ELF form, and then using the information to create a
@@ -2655,117 +2629,145 @@ DEFUN (elf_slurp_symbol_table, (abfd, symptrs),
      space left over at the end.  When we have all the symbols, we
      build the caller's pointer vector. */
 
+  if (dynamic)
+    hdr = &elf_tdata (abfd)->dynsymtab_hdr;
+  else
+    hdr = &elf_tdata (abfd)->symtab_hdr;
   if (bfd_seek (abfd, hdr->sh_offset, SEEK_SET) == -1)
-    {
-      bfd_error = system_call_error;
-      return false;
-    }
+    return -1;
 
   symcount = hdr->sh_size / sizeof (Elf_External_Sym);
-  symbase = (elf_symbol_type *) bfd_zalloc (abfd, symcount * sizeof (elf_symbol_type));
-  sym = symbase;
-
-  /* Temporarily allocate room for the raw ELF symbols.  */
-  x_symp = (Elf_External_Sym *) bfd_xmalloc (symcount * sizeof (Elf_External_Sym));
 
-  if (bfd_read ((PTR) x_symp, sizeof (Elf_External_Sym), symcount, abfd)
-      != symcount * sizeof (Elf_External_Sym))
-    {
-      free ((PTR) x_symp);
-      bfd_error = system_call_error;
-      return false;
-    }
-  /* Skip first symbol, which is a null dummy.  */
-  for (i = 1; i < symcount; i++)
+  if (symcount == 0)
+    sym = symbase = NULL;
+  else
     {
-      elf_swap_symbol_in (abfd, x_symp + i, &i_sym);
-      memcpy (&sym->internal_elf_sym, &i_sym, sizeof (Elf_Internal_Sym));
-      memcpy (&sym->native_elf_sym, x_symp + i, sizeof (Elf_External_Sym));
-      sym->symbol.the_bfd = abfd;
+      long i;
 
-      sym->symbol.name = elf_string_from_elf_section (abfd, hdr->sh_link,
-                                                     i_sym.st_name);
+      if (bfd_seek (abfd, hdr->sh_offset, SEEK_SET) == -1)
+       return -1;
 
-      sym->symbol.value = i_sym.st_value;
-
-      if (i_sym.st_shndx > 0 && i_sym.st_shndx < SHN_LORESERV)
-       {
-         sym->symbol.section = section_from_elf_index (abfd, i_sym.st_shndx);
-       }
-      else if (i_sym.st_shndx == SHN_ABS)
+      symbase = ((elf_symbol_type *)
+                bfd_zalloc (abfd, symcount * sizeof (elf_symbol_type)));
+      if (symbase == (elf_symbol_type *) NULL)
        {
-         sym->symbol.section = &bfd_abs_section;
+         bfd_set_error (bfd_error_no_memory);
+         return -1;
        }
-      else if (i_sym.st_shndx == SHN_COMMON)
+      sym = symbase;
+
+      /* Temporarily allocate room for the raw ELF symbols.  */
+      x_symp = ((Elf_External_Sym *)
+               malloc (symcount * sizeof (Elf_External_Sym)));
+      if (x_symp == NULL && symcount != 0)
        {
-         sym->symbol.section = &bfd_com_section;
-         /* Elf puts the alignment into the `value' field, and the size
-            into the `size' field.  BFD wants to see the size in the
-            value field, and doesn't care (at the moment) about the
-            alignment.  */
-         sym->symbol.value = i_sym.st_size;
+         bfd_set_error (bfd_error_no_memory);
+         goto error_return;
        }
-      else if (i_sym.st_shndx == SHN_UNDEF)
+
+      if (bfd_read ((PTR) x_symp, sizeof (Elf_External_Sym), symcount, abfd)
+         != symcount * sizeof (Elf_External_Sym))
+       goto error_return;
+      /* Skip first symbol, which is a null dummy.  */
+      for (i = 1; i < symcount; i++)
        {
-         sym->symbol.section = &bfd_und_section;
-       }
-      else
-       sym->symbol.section = &bfd_abs_section;
+         elf_swap_symbol_in (abfd, x_symp + i, &i_sym);
+         memcpy (&sym->internal_elf_sym, &i_sym, sizeof (Elf_Internal_Sym));
+#ifdef ELF_KEEP_EXTSYM
+         memcpy (&sym->native_elf_sym, x_symp + i, sizeof (Elf_External_Sym));
+#endif
+         sym->symbol.the_bfd = abfd;
 
-      sym->symbol.value -= sym->symbol.section->vma;
+         sym->symbol.name = elf_string_from_elf_section (abfd, hdr->sh_link,
+                                                         i_sym.st_name);
 
-      switch (ELF_ST_BIND (i_sym.st_info))
-       {
-       case STB_LOCAL:
-         sym->symbol.flags |= BSF_LOCAL;
-         break;
-       case STB_GLOBAL:
-         sym->symbol.flags |= (BSF_GLOBAL | BSF_EXPORT);
-         break;
-       case STB_WEAK:
-         sym->symbol.flags |= BSF_WEAK;
-         break;
-       }
+         sym->symbol.value = i_sym.st_value;
 
-      switch (ELF_ST_TYPE (i_sym.st_info))
-       {
-       case STT_SECTION:
-         sym->symbol.flags |= BSF_SECTION_SYM | BSF_DEBUGGING;
-         break;
-       case STT_FILE:
-         sym->symbol.flags |= BSF_FILE | BSF_DEBUGGING;
-         break;
-       case STT_FUNC:
-         sym->symbol.flags |= BSF_FUNCTION;
-         break;
-       }
+         if (i_sym.st_shndx > 0 && i_sym.st_shndx < SHN_LORESERV)
+           {
+             sym->symbol.section = section_from_elf_index (abfd,
+                                                           i_sym.st_shndx);
+           }
+         else if (i_sym.st_shndx == SHN_ABS)
+           {
+             sym->symbol.section = &bfd_abs_section;
+           }
+         else if (i_sym.st_shndx == SHN_COMMON)
+           {
+             sym->symbol.section = &bfd_com_section;
+             /* Elf puts the alignment into the `value' field, and
+                the size into the `size' field.  BFD wants to see the
+                size in the value field, and doesn't care (at the
+                moment) about the alignment.  */
+             sym->symbol.value = i_sym.st_size;
+           }
+         else if (i_sym.st_shndx == SHN_UNDEF)
+           {
+             sym->symbol.section = &bfd_und_section;
+           }
+         else
+           sym->symbol.section = &bfd_abs_section;
 
-      /* Is this a definition of $global$?  If so, keep it because it will be
-        needd if any relocations are performed.  */
-      if (!strcmp (sym->symbol.name, "$global$")
-         && sym->symbol.section != &bfd_und_section)
-       {
-         /* @@ Why is this referring to backend data and not a field of
-            abfd?  FIXME */
-         struct elf_backend_data *be_data = (struct elf_backend_data *) abfd->xvec->backend_data;
+         sym->symbol.value -= sym->symbol.section->vma;
+
+         switch (ELF_ST_BIND (i_sym.st_info))
+           {
+           case STB_LOCAL:
+             sym->symbol.flags |= BSF_LOCAL;
+             break;
+           case STB_GLOBAL:
+             sym->symbol.flags |= BSF_GLOBAL;
+             break;
+           case STB_WEAK:
+             sym->symbol.flags |= BSF_WEAK;
+             break;
+           }
+
+         switch (ELF_ST_TYPE (i_sym.st_info))
+           {
+           case STT_SECTION:
+             sym->symbol.flags |= BSF_SECTION_SYM | BSF_DEBUGGING;
+             break;
+           case STT_FILE:
+             sym->symbol.flags |= BSF_FILE | BSF_DEBUGGING;
+             break;
+           case STT_FUNC:
+             sym->symbol.flags |= BSF_FUNCTION;
+             break;
+           }
+
+         if (dynamic)
+           sym->symbol.flags |= BSF_DYNAMIC;
+
+         /* Do some backend-specific processing on this symbol.  */
+         {
+           struct elf_backend_data *ebd = get_elf_backend_data (abfd);
+           if (ebd->elf_backend_symbol_processing)
+             (*ebd->elf_backend_symbol_processing) (abfd, &sym->symbol);
+         }
 
-         be_data->global_sym = (PTR) sym;
+         sym++;
        }
-      sym++;
     }
 
-  /* We rely on the zalloc to clear out the final symbol entry.  */
+  /* Do some backend-specific processing on this symbol table.  */
+  {
+    struct elf_backend_data *ebd = get_elf_backend_data (abfd);
+    if (ebd->elf_backend_symbol_table_processing)
+      (*ebd->elf_backend_symbol_table_processing) (abfd, symbase, symcount);
+  }
 
-  /* obj_raw_syms macro uses a cast... */
-  elf_tdata (abfd)->raw_syms = (PTR) x_symp;
+  /* We rely on the zalloc to clear out the final symbol entry.  */
 
-  bfd_get_symcount (abfd) = symcount = sym - symbase;
+  symcount = sym - symbase;
 
   /* Fill in the user's symbol pointer vector if needed.  */
   if (symptrs)
     {
+      long l = symcount;
+
       sym = symbase;
-      while (symcount-- > 0)
+      while (l-- > 0)
        {
          *symptrs++ = &sym->symbol;
          sym++;
@@ -2773,7 +2775,13 @@ DEFUN (elf_slurp_symbol_table, (abfd, symptrs),
       *symptrs = 0;            /* Final null pointer */
     }
 
-  return true;
+  if (x_symp != NULL)
+    free (x_symp);
+  return symcount;
+error_return:
+  if (x_symp != NULL)
+    free (x_symp);
+  return -1;
 }
 
 /* Return the number of bytes required to hold the symtab vector.
@@ -2782,15 +2790,30 @@ DEFUN (elf_slurp_symbol_table, (abfd, symptrs),
    the vector allocated based on this size.  However, the ELF symbol table
    always has a dummy entry as symbol #0, so it ends up even.  */
 
-unsigned int
-DEFUN (elf_get_symtab_upper_bound, (abfd), bfd * abfd)
+long
+elf_get_symtab_upper_bound (abfd)
+     bfd *abfd;
+{
+  long symcount;
+  long symtab_size;
+  Elf_Internal_Shdr *hdr = &elf_tdata (abfd)->symtab_hdr;
+
+  symcount = hdr->sh_size / sizeof (Elf_External_Sym);
+  symtab_size = (symcount - 1 + 1) * (sizeof (asymbol *));
+
+  return symtab_size;
+}
+
+long
+elf_get_dynamic_symtab_upper_bound (abfd)
+     bfd *abfd;
 {
-  unsigned int symcount;
-  unsigned int symtab_size = 0;
+  long symcount;
+  long symtab_size;
+  Elf_Internal_Shdr *hdr = &elf_tdata (abfd)->dynsymtab_hdr;
 
-  Elf_Internal_Shdr *hdr = &elf_tdata(abfd)->symtab_hdr;
   symcount = hdr->sh_size / sizeof (Elf_External_Sym);
-  symtab_size = (symcount - 1 + 1) * (sizeof (asymbol));
+  symtab_size = (symcount - 1 + 1) * (sizeof (asymbol *));
 
   return symtab_size;
 }
@@ -2801,7 +2824,7 @@ DEFUN (elf_get_symtab_upper_bound, (abfd), bfd * abfd)
        attached to bfd <<abfd>>
 
 */
-unsigned int
+long
 elf_get_reloc_upper_bound (abfd, asect)
      bfd *abfd;
      sec_ptr asect;
@@ -2809,17 +2832,17 @@ elf_get_reloc_upper_bound (abfd, asect)
   if (asect->flags & SEC_RELOC)
     {
       /* either rel or rela */
-      return elf_section_data(asect)->rel_hdr.sh_size;
+      return elf_section_data (asect)->rel_hdr.sh_size;
     }
   else
     return 0;
 }
 
 static boolean
-DEFUN (elf_slurp_reloca_table, (abfd, asect, symbols),
-       bfd * abfd AND
-       sec_ptr asect AND
-       asymbol ** symbols)
+elf_slurp_reloca_table (abfd, asect, symbols)
+     bfd *abfd;
+     sec_ptr asect;
+     asymbol **symbols;
 {
   Elf_External_Rela *native_relocs;
   arelent *reloc_cache;
@@ -2834,24 +2857,31 @@ DEFUN (elf_slurp_reloca_table, (abfd, asect, symbols),
   if (asect->flags & SEC_CONSTRUCTOR)
     return true;
 
-  bfd_seek (abfd, asect->rel_filepos, SEEK_SET);
+  if (bfd_seek (abfd, asect->rel_filepos, SEEK_SET) != 0)
+    return false;
   native_relocs = (Elf_External_Rela *)
     bfd_alloc (abfd, asect->reloc_count * sizeof (Elf_External_Rela));
-  bfd_read ((PTR) native_relocs,
-           sizeof (Elf_External_Rela), asect->reloc_count, abfd);
+  if (!native_relocs)
+    {
+      bfd_set_error (bfd_error_no_memory);
+      return false;
+    }
+  if (bfd_read ((PTR) native_relocs,
+               sizeof (Elf_External_Rela), asect->reloc_count, abfd)
+      != sizeof (Elf_External_Rela) * asect->reloc_count)
+    return false;
 
   reloc_cache = (arelent *)
     bfd_alloc (abfd, (size_t) (asect->reloc_count * sizeof (arelent)));
 
   if (!reloc_cache)
     {
-      bfd_error = no_memory;
+      bfd_set_error (bfd_error_no_memory);
       return false;
     }
 
   for (idx = 0; idx < asect->reloc_count; idx++)
     {
-#ifdef RELOC_PROCESSING
       Elf_Internal_Rela dst;
       Elf_External_Rela *src;
 
@@ -2859,16 +2889,9 @@ DEFUN (elf_slurp_reloca_table, (abfd, asect, symbols),
       src = native_relocs + idx;
       elf_swap_reloca_in (abfd, src, &dst);
 
+#ifdef RELOC_PROCESSING
       RELOC_PROCESSING (cache_ptr, &dst, symbols, abfd, asect);
 #else
-      Elf_Internal_Rela dst;
-      Elf_External_Rela *src;
-
-      cache_ptr = reloc_cache + idx;
-      src = native_relocs + idx;
-
-      elf_swap_reloca_in (abfd, src, &dst);
-
       if (asect->flags & SEC_RELOC)
        {
          /* relocatable, so the offset is off of the section */
@@ -2879,16 +2902,29 @@ DEFUN (elf_slurp_reloca_table, (abfd, asect, symbols),
          /* non-relocatable, so the offset a virtual address */
          cache_ptr->address = dst.r_offset;
        }
-      /* ELF_R_SYM(dst.r_info) is the symbol table offset; subtract 1
-        because the first entry is NULL.  */
-      cache_ptr->sym_ptr_ptr = symbols + ELF_R_SYM (dst.r_info) - 1;
-      {
-       /* Is it an ELF section symbol?  If so, translate it into a
-          BFD section symbol.  */
-       asymbol *s = *(cache_ptr->sym_ptr_ptr);
-       if (s->flags & BSF_SECTION_SYM)
-         cache_ptr->sym_ptr_ptr = s->section->symbol_ptr_ptr;
-      }
+
+      /* ELF_R_SYM(dst.r_info) is the symbol table offset.  An offset
+        of zero points to the dummy symbol, which was not read into
+        the symbol table SYMBOLS.  */
+      if (ELF_R_SYM (dst.r_info) == 0)
+       cache_ptr->sym_ptr_ptr = bfd_abs_section.symbol_ptr_ptr;
+      else
+       {
+         asymbol *s;
+
+         cache_ptr->sym_ptr_ptr = symbols + ELF_R_SYM (dst.r_info) - 1;
+
+         /* Translate any ELF section symbol into a BFD section
+            symbol.  */
+         s = *(cache_ptr->sym_ptr_ptr);
+         if (s->flags & BSF_SECTION_SYM)
+           {
+             cache_ptr->sym_ptr_ptr = s->section->symbol_ptr_ptr;
+             s = *cache_ptr->sym_ptr_ptr;
+             if (s->name == 0 || s->name[0] == 0)
+               abort ();
+           }
+       }
       cache_ptr->addend = dst.r_addend;
 
       /* Fill in the cache_ptr->howto field from dst.r_type */
@@ -2949,17 +2985,17 @@ elf_debug_file (ehdrp)
 #endif
 
 static boolean
-DEFUN (elf_slurp_reloc_table, (abfd, asect, symbols),
-       bfd * abfd AND
-       sec_ptr asect AND
-       asymbol ** symbols)
+elf_slurp_reloc_table (abfd, asect, symbols)
+     bfd *abfd;
+     sec_ptr asect;
+     asymbol **symbols;
 {
   Elf_External_Rel *native_relocs;
   arelent *reloc_cache;
   arelent *cache_ptr;
   Elf_Internal_Shdr *data_hdr;
-  ElfNAME (Off) data_off;
-  ElfNAME (Word) data_max;
+  bfd_vma data_off;
+  unsigned long data_max;
   char buf[4];                 /* FIXME -- might be elf64 */
 
   unsigned int idx;
@@ -2971,24 +3007,32 @@ DEFUN (elf_slurp_reloc_table, (abfd, asect, symbols),
   if (asect->flags & SEC_CONSTRUCTOR)
     return true;
 
-  bfd_seek (abfd, asect->rel_filepos, SEEK_SET);
+  if (bfd_seek (abfd, asect->rel_filepos, SEEK_SET) != 0)
+    return false;
   native_relocs = (Elf_External_Rel *)
     bfd_alloc (abfd, asect->reloc_count * sizeof (Elf_External_Rel));
-  bfd_read ((PTR) native_relocs,
-           sizeof (Elf_External_Rel), asect->reloc_count, abfd);
+  if (!native_relocs)
+    {
+      bfd_set_error (bfd_error_no_memory);
+      return false;
+    }
+  if (bfd_read ((PTR) native_relocs,
+               sizeof (Elf_External_Rel), asect->reloc_count, abfd)
+      != sizeof (Elf_External_Rel) * asect->reloc_count)
+    return false;
 
   reloc_cache = (arelent *)
     bfd_alloc (abfd, (size_t) (asect->reloc_count * sizeof (arelent)));
 
   if (!reloc_cache)
     {
-      bfd_error = no_memory;
+      bfd_set_error (bfd_error_no_memory);
       return false;
     }
 
   /* Get the offset of the start of the segment we are relocating to read in
      the implicit addend.  */
-  data_hdr = &elf_section_data(asect)->this_hdr;
+  data_hdr = &elf_section_data (asect)->this_hdr;
   data_off = data_hdr->sh_offset;
   data_max = data_hdr->sh_size - sizeof (buf) + 1;
 
@@ -3026,18 +3070,31 @@ DEFUN (elf_slurp_reloc_table, (abfd, asect, symbols),
          /* non-relocatable, so the offset a virtual address */
          cache_ptr->address = dst.r_offset;
        }
-      /* ELF_R_SYM(dst.r_info) is the symbol table offset...
-         -1 is to skip the dummy symbol table entry */
-      cache_ptr->sym_ptr_ptr = symbols + ELF_R_SYM (dst.r_info) - 1;
-      BFD_ASSERT (dst.r_offset <= data_max);
-      if (bfd_seek (abfd, data_off + dst.r_offset, SEEK_SET) != 0
-         || bfd_read ((PTR) buf, sizeof (buf), 1, abfd) != sizeof (buf))
+
+      /* ELF_R_SYM(dst.r_info) is the symbol table offset.  An offset
+        of zero points to the dummy symbol, which was not read into
+        the symbol table SYMBOLS.  */
+      if (ELF_R_SYM (dst.r_info) == 0)
+       cache_ptr->sym_ptr_ptr = bfd_abs_section.symbol_ptr_ptr;
+      else
        {
-         bfd_error = system_call_error;
-         return false;
-       }
+         asymbol *s;
+
+         cache_ptr->sym_ptr_ptr = symbols + ELF_R_SYM (dst.r_info) - 1;
 
-      cache_ptr->addend = (*abfd->xvec->bfd_getx_signed_32) ((bfd_byte *) buf);
+         /* Translate any ELF section symbol into a BFD section
+            symbol.  */
+         s = *(cache_ptr->sym_ptr_ptr);
+         if (s->flags & BSF_SECTION_SYM)
+           {
+             cache_ptr->sym_ptr_ptr = s->section->symbol_ptr_ptr;
+             s = *cache_ptr->sym_ptr_ptr;
+             if (s->name == 0 || s->name[0] == 0)
+               abort ();
+           }
+       }
+      BFD_ASSERT (dst.r_offset <= data_max);
+      cache_ptr->addend = 0;
 
       /* Fill in the cache_ptr->howto field from dst.r_type */
       {
@@ -3051,7 +3108,7 @@ DEFUN (elf_slurp_reloc_table, (abfd, asect, symbols),
   return true;
 }
 
-unsigned int
+long
 elf_canonicalize_reloc (abfd, section, relptr, symbols)
      bfd *abfd;
      sec_ptr section;
@@ -3064,13 +3121,17 @@ elf_canonicalize_reloc (abfd, section, relptr, symbols)
 
   /* snarfed from coffcode.h */
   if (use_rela_p)
-    elf_slurp_reloca_table (abfd, section, symbols);
+    {
+      if (! elf_slurp_reloca_table (abfd, section, symbols))
+       return -1;
+    }
   else
-    elf_slurp_reloc_table (abfd, section, symbols);
+    {
+      if (! elf_slurp_reloc_table (abfd, section, symbols))
+       return -1;
+    }
 
   tblptr = section->relocation;
-  if (!tblptr)
-    return 0;
 
   for (; count++ < section->reloc_count;)
     *relptr++ = tblptr++;
@@ -3079,28 +3140,36 @@ elf_canonicalize_reloc (abfd, section, relptr, symbols)
   return section->reloc_count;
 }
 
-unsigned int
-DEFUN (elf_get_symtab, (abfd, alocation),
-       bfd * abfd AND
-       asymbol ** alocation)
+long
+elf_get_symtab (abfd, alocation)
+     bfd *abfd;
+     asymbol **alocation;
 {
+  long symcount = elf_slurp_symbol_table (abfd, alocation, false);
 
-  if (!elf_slurp_symbol_table (abfd, alocation))
-    return 0;
-  else
-    return bfd_get_symcount (abfd);
+  if (symcount >= 0)
+    bfd_get_symcount (abfd) = symcount;
+  return symcount;
+}
+
+long
+elf_canonicalize_dynamic_symtab (abfd, alocation)
+     bfd *abfd;
+     asymbol **alocation;
+{
+  return elf_slurp_symbol_table (abfd, alocation, true);
 }
 
 asymbol *
-DEFUN (elf_make_empty_symbol, (abfd),
-       bfd * abfd)
+elf_make_empty_symbol (abfd)
+     bfd *abfd;
 {
   elf_symbol_type *newsym;
 
   newsym = (elf_symbol_type *) bfd_zalloc (abfd, sizeof (elf_symbol_type));
   if (!newsym)
     {
-      bfd_error = no_memory;
+      bfd_set_error (bfd_error_no_memory);
       return NULL;
     }
   else
@@ -3111,20 +3180,20 @@ DEFUN (elf_make_empty_symbol, (abfd),
 }
 
 void
-DEFUN (elf_get_symbol_info, (ignore_abfd, symbol, ret),
-       bfd * ignore_abfd AND
-       asymbol * symbol AND
-       symbol_info * ret)
+elf_get_symbol_info (ignore_abfd, symbol, ret)
+     bfd *ignore_abfd;
+     asymbol *symbol;
+     symbol_info *ret;
 {
   bfd_symbol_info (symbol, ret);
 }
 
 void
-DEFUN (elf_print_symbol, (ignore_abfd, filep, symbol, how),
-       bfd * ignore_abfd AND
-       PTR filep AND
-       asymbol * symbol AND
-       bfd_print_symbol_type how)
+elf_print_symbol (ignore_abfd, filep, symbol, how)
+     bfd *ignore_abfd;
+     PTR filep;
+     asymbol *symbol;
+     bfd_print_symbol_type how;
 {
   FILE *file = (FILE *) filep;
   switch (how)
@@ -3152,9 +3221,9 @@ DEFUN (elf_print_symbol, (ignore_abfd, filep, symbol, how),
 }
 
 alent *
-DEFUN (elf_get_lineno, (ignore_abfd, symbol),
-       bfd * ignore_abfd AND
-       asymbol * symbol)
+elf_get_lineno (ignore_abfd, symbol)
+     bfd *ignore_abfd;
+     asymbol *symbol;
 {
   fprintf (stderr, "elf_get_lineno unimplemented\n");
   fflush (stderr);
@@ -3163,10 +3232,10 @@ DEFUN (elf_get_lineno, (ignore_abfd, symbol),
 }
 
 boolean
-DEFUN (elf_set_arch_mach, (abfd, arch, machine),
-       bfd * abfd AND
-       enum bfd_architecture arch AND
-       unsigned long machine)
+elf_set_arch_mach (abfd, arch, machine)
+     bfd *abfd;
+     enum bfd_architecture arch;
+     unsigned long machine;
 {
   /* Allow any architecture to be supported by the elf backend */
   switch (arch)
@@ -3179,6 +3248,7 @@ DEFUN (elf_set_arch_mach, (abfd, arch, machine),
     case bfd_arch_i860:        /* EM_860 */
     case bfd_arch_mips:        /* EM_MIPS (MIPS R3000) */
     case bfd_arch_hppa:        /* EM_HPPA (HP PA_RISC) */
+    case bfd_arch_powerpc:     /* EM_CYGNUS_POWERPC */
       return bfd_default_set_arch_mach (abfd, arch, machine);
     default:
       return false;
@@ -3186,28 +3256,28 @@ DEFUN (elf_set_arch_mach, (abfd, arch, machine),
 }
 
 boolean
-DEFUN (elf_find_nearest_line, (abfd,
-                              section,
-                              symbols,
-                              offset,
-                              filename_ptr,
-                              functionname_ptr,
-                              line_ptr),
-       bfd * abfd AND
-       asection * section AND
-       asymbol ** symbols AND
-       bfd_vma offset AND
-       CONST char **filename_ptr AND
-       CONST char **functionname_ptr AND
-       unsigned int *line_ptr)
+elf_find_nearest_line (abfd,
+                      section,
+                      symbols,
+                      offset,
+                      filename_ptr,
+                      functionname_ptr,
+                      line_ptr)
+     bfd *abfd;
+     asection *section;
+     asymbol **symbols;
+     bfd_vma offset;
+     CONST char **filename_ptr;
+     CONST char **functionname_ptr;
+     unsigned int *line_ptr;
 {
   return false;
 }
 
 int
-DEFUN (elf_sizeof_headers, (abfd, reloc),
-       bfd * abfd AND
-       boolean reloc)
+elf_sizeof_headers (abfd, reloc)
+     bfd *abfd;
+     boolean reloc;
 {
   fprintf (stderr, "elf_sizeof_headers unimplemented\n");
   fflush (stderr);
@@ -3216,24 +3286,32 @@ DEFUN (elf_sizeof_headers, (abfd, reloc),
 }
 
 boolean
-DEFUN (elf_set_section_contents, (abfd, section, location, offset, count),
-       bfd * abfd AND
-       sec_ptr section AND
-       PTR location AND
-       file_ptr offset AND
-       bfd_size_type count)
+elf_set_section_contents (abfd, section, location, offset, count)
+     bfd *abfd;
+     sec_ptr section;
+     PTR location;
+     file_ptr offset;
+     bfd_size_type count;
 {
   Elf_Internal_Shdr *hdr;
 
   if (abfd->output_has_begun == false) /* set by bfd.c handler? */
     {
+      struct elf_backend_data *bed = get_elf_backend_data (abfd);
+
+      /* Do any elf backend specific processing first.  */
+      if (bed->elf_backend_begin_write_processing)
+       (*bed->elf_backend_begin_write_processing) (abfd);
+
       /* do setup calculations (FIXME) */
-      prep_headers (abfd);
-      elf_compute_section_file_positions (abfd);
+      if (prep_headers (abfd) == false)
+       return false;
+      if (elf_compute_section_file_positions (abfd) == false)
+       return false;
       abfd->output_has_begun = true;
     }
 
-  hdr = &elf_section_data(section)->this_hdr;
+  hdr = &elf_section_data (section)->this_hdr;
 
   if (bfd_seek (abfd, hdr->sh_offset + offset, SEEK_SET) == -1)
     return false;
@@ -3244,10 +3322,10 @@ DEFUN (elf_set_section_contents, (abfd, section, location, offset, count),
 }
 
 void
-DEFUN (elf_no_info_to_howto, (abfd, cache_ptr, dst),
-       bfd * abfd AND
-       arelent * cache_ptr AND
-       Elf_Internal_Rela * dst)
+elf_no_info_to_howto (abfd, cache_ptr, dst)
+     bfd *abfd;
+     arelent *cache_ptr;
+     Elf_Internal_Rela *dst;
 {
   fprintf (stderr, "elf RELA relocation support for target machine unimplemented\n");
   fflush (stderr);
@@ -3255,17 +3333,17 @@ DEFUN (elf_no_info_to_howto, (abfd, cache_ptr, dst),
 }
 
 void
-DEFUN (elf_no_info_to_howto_rel, (abfd, cache_ptr, dst),
-       bfd * abfd AND
-       arelent * cache_ptr AND
-       Elf_Internal_Rel * dst)
+elf_no_info_to_howto_rel (abfd, cache_ptr, dst)
+     bfd *abfd;
+     arelent *cache_ptr;
+     Elf_Internal_Rel *dst;
 {
   fprintf (stderr, "elf REL relocation support for target machine unimplemented\n");
   fflush (stderr);
   BFD_FAIL ();
 }
-
 \f
+
 /* Core file support */
 
 #ifdef HAVE_PROCFS             /* Some core file support requires host /proc files */
@@ -3279,11 +3357,11 @@ DEFUN (elf_no_info_to_howto_rel, (abfd, cache_ptr, dst),
 #ifdef HAVE_PROCFS
 
 static void
-DEFUN (bfd_prstatus, (abfd, descdata, descsz, filepos),
-       bfd * abfd AND
-       char *descdata AND
-       int descsz AND
-       long filepos)
+bfd_prstatus (abfd, descdata, descsz, filepos)
+     bfd *abfd;
+     char *descdata;
+     int descsz;
+     long filepos;
 {
   asection *newsect;
   prstatus_t *status = (prstatus_t *) 0;
@@ -3305,11 +3383,11 @@ DEFUN (bfd_prstatus, (abfd, descdata, descsz, filepos),
 /* Stash a copy of the prpsinfo structure away for future use. */
 
 static void
-DEFUN (bfd_prpsinfo, (abfd, descdata, descsz, filepos),
-       bfd * abfd AND
-       char *descdata AND
-       int descsz AND
-       long filepos)
+bfd_prpsinfo (abfd, descdata, descsz, filepos)
+     bfd *abfd;
+     char *descdata;
+     int descsz;
+     long filepos;
 {
   asection *newsect;
 
@@ -3323,11 +3401,11 @@ DEFUN (bfd_prpsinfo, (abfd, descdata, descsz, filepos),
 }
 
 static void
-DEFUN (bfd_fpregset, (abfd, descdata, descsz, filepos),
-       bfd * abfd AND
-       char *descdata AND
-       int descsz AND
-       long filepos)
+bfd_fpregset (abfd, descdata, descsz, filepos)
+     bfd *abfd;
+     char *descdata;
+     int descsz;
+     long filepos;
 {
   asection *newsect;
 
@@ -3347,8 +3425,8 @@ DEFUN (bfd_fpregset, (abfd, descdata, descsz, filepos),
    it exists. */
 
 char *
-DEFUN (elf_core_file_failing_command, (abfd),
-       bfd * abfd)
+elf_core_file_failing_command (abfd)
+     bfd *abfd;
 {
 #ifdef HAVE_PROCFS
   if (core_prpsinfo (abfd))
@@ -3375,8 +3453,8 @@ DEFUN (elf_core_file_failing_command, (abfd),
    */
 
 int
-DEFUN (elf_core_file_failing_signal, (abfd),
-       bfd * abfd)
+elf_core_file_failing_signal (abfd)
+     bfd *abfd;
 {
 #ifdef HAVE_PROCFS
   if (core_prstatus (abfd))
@@ -3394,9 +3472,9 @@ DEFUN (elf_core_file_failing_signal, (abfd),
    */
 
 boolean
-DEFUN (elf_core_file_matches_executable_p, (core_bfd, exec_bfd),
-       bfd * core_bfd AND
-       bfd * exec_bfd)
+elf_core_file_matches_executable_p (core_bfd, exec_bfd)
+     bfd *core_bfd;
+     bfd *exec_bfd;
 {
 #ifdef HAVE_PROCFS
   char *corename;
@@ -3407,7 +3485,7 @@ DEFUN (elf_core_file_matches_executable_p, (core_bfd, exec_bfd),
 
   if (core_bfd->xvec != exec_bfd->xvec)
     {
-      bfd_error = system_call_error;
+      bfd_set_error (bfd_error_system_call);
       return false;
     }
 
@@ -3470,9 +3548,9 @@ DEFUN (elf_core_file_matches_executable_p, (core_bfd, exec_bfd),
    */
 
 static boolean
-DEFUN (elf_corefile_note, (abfd, hdr),
-       bfd * abfd AND
-       Elf_Internal_Phdr * hdr)
+elf_corefile_note (abfd, hdr)
+     bfd *abfd;
+     Elf_Internal_Phdr *hdr;
 {
   Elf_External_Note *x_note_p; /* Elf note, external form */
   Elf_Internal_Note i_note;    /* Elf note, internal form */
@@ -3484,7 +3562,7 @@ DEFUN (elf_corefile_note, (abfd, hdr),
   asection *newsect;
 
   if (hdr->p_filesz > 0
-      && (buf = (char *) bfd_xmalloc (hdr->p_filesz)) != NULL
+      && (buf = (char *) malloc (hdr->p_filesz)) != NULL
       && bfd_seek (abfd, hdr->p_offset, SEEK_SET) != -1
       && bfd_read ((PTR) buf, hdr->p_filesz, 1, abfd) == hdr->p_filesz)
     {
@@ -3535,6 +3613,11 @@ DEFUN (elf_corefile_note, (abfd, hdr),
     {
       free (buf);
     }
+  else if (hdr->p_filesz > 0)
+    {
+      bfd_set_error (bfd_error_no_memory);
+      return false;
+    }
   return true;
 
 }
@@ -3553,19 +3636,22 @@ DEFUN (elf_corefile_note, (abfd, hdr),
  */
 
 bfd_target *
-DEFUN (elf_core_file_p, (abfd), bfd * abfd)
+elf_core_file_p (abfd)
+     bfd *abfd;
 {
   Elf_External_Ehdr x_ehdr;    /* Elf file header, external form */
   Elf_Internal_Ehdr *i_ehdrp;  /* Elf file header, internal form */
   Elf_External_Phdr x_phdr;    /* Program header table entry, external form */
   Elf_Internal_Phdr *i_phdrp;  /* Program header table, internal form */
   unsigned int phindex;
+  struct elf_backend_data *ebd;
 
   /* Read in the ELF header in external format.  */
 
   if (bfd_read ((PTR) & x_ehdr, sizeof (x_ehdr), 1, abfd) != sizeof (x_ehdr))
     {
-      bfd_error = system_call_error;
+      if (bfd_get_error () != bfd_error_system_call)
+       bfd_set_error (bfd_error_wrong_format);
       return NULL;
     }
 
@@ -3578,7 +3664,7 @@ DEFUN (elf_core_file_p, (abfd), bfd * abfd)
   if (elf_file_p (&x_ehdr) == false)
     {
     wrong:
-      bfd_error = wrong_format;
+      bfd_set_error (bfd_error_wrong_format);
       return NULL;
     }
 
@@ -3619,7 +3705,7 @@ DEFUN (elf_core_file_p, (abfd), bfd * abfd)
     (struct elf_obj_tdata *) bfd_zalloc (abfd, sizeof (struct elf_obj_tdata));
   if (elf_tdata (abfd) == NULL)
     {
-      bfd_error = no_memory;
+      bfd_set_error (bfd_error_no_memory);
       return NULL;
     }
 
@@ -3632,6 +3718,35 @@ DEFUN (elf_core_file_p, (abfd), bfd * abfd)
   elf_debug_file (i_ehdrp);
 #endif
 
+  ebd = get_elf_backend_data (abfd);
+
+  /* Check that the ELF e_machine field matches what this particular
+     BFD format expects.  */
+  if (ebd->elf_machine_code != i_ehdrp->e_machine)
+    {
+      bfd_target **target_ptr;
+
+      if (ebd->elf_machine_code != EM_NONE)
+       goto wrong;
+
+      /* This is the generic ELF target.  Let it match any ELF target
+        for which we do not have a specific backend.  */
+      for (target_ptr = bfd_target_vector; *target_ptr != NULL; target_ptr++)
+       {
+         struct elf_backend_data *back;
+
+         if ((*target_ptr)->flavour != bfd_target_elf_flavour)
+           continue;
+         back = (struct elf_backend_data *) (*target_ptr)->backend_data;
+         if (back->elf_machine_code == i_ehdrp->e_machine)
+           {
+             /* target_ptr is an ELF backend which matches this
+                object file, so reject the generic ELF target.  */
+             goto wrong;
+           }
+       }
+    }
+
   /* If there is no program header, or the type is not a core file, then
      we are hosed. */
   if (i_ehdrp->e_phoff == 0 || i_ehdrp->e_type != ET_CORE)
@@ -3649,22 +3764,16 @@ DEFUN (elf_core_file_p, (abfd), bfd * abfd)
     bfd_alloc (abfd, sizeof (*i_phdrp) * i_ehdrp->e_phnum);
   if (!i_phdrp)
     {
-      bfd_error = no_memory;
+      bfd_set_error (bfd_error_no_memory);
       return NULL;
     }
   if (bfd_seek (abfd, i_ehdrp->e_phoff, SEEK_SET) == -1)
-    {
-      bfd_error = system_call_error;
-      return NULL;
-    }
+    return NULL;
   for (phindex = 0; phindex < i_ehdrp->e_phnum; phindex++)
     {
       if (bfd_read ((PTR) & x_phdr, sizeof (x_phdr), 1, abfd)
          != sizeof (x_phdr))
-       {
-         bfd_error = system_call_error;
-         return NULL;
-       }
+       return NULL;
       elf_swap_phdr_in (abfd, &x_phdr, i_phdrp + phindex);
     }