]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blobdiff - gas/config/obj-elf.c
* config/sh/tm-sh.h (BELIEVE_PCC_PROMOTION): Define, so that
[thirdparty/binutils-gdb.git] / gas / config / obj-elf.c
index f589264e0bb8e44ba38eb95b4dadf9c63a0d5c8d..c90887e61f9b07fa540634fd1434e022756f3396 100644 (file)
@@ -1,5 +1,5 @@
 /* ELF object file format
-   Copyright (C) 1992, 1993 Free Software Foundation, Inc.
+   Copyright (C) 1992, 93, 94, 95, 96, 1997, 1998 Free Software Foundation, Inc.
 
    This file is part of GAS, the GNU Assembler.
 
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See
    the GNU General Public License for more details.
 
-   You should have received a copy of the GNU General Public
-   License along with GAS; see the file COPYING.  If not, write
-   to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
+   You should have received a copy of the GNU General Public License
+   along with GAS; see the file COPYING.  If not, write to the Free
+   Software Foundation, 59 Temple Place - Suite 330, Boston, MA
+   02111-1307, USA. */
 
 #define OBJ_HEADER "obj-elf.h"
 #include "as.h"
 #include "ecoff.h"
 #endif
 
+#ifdef TC_ALPHA
+#include "elf/alpha.h"
+#endif
+
 #ifdef TC_MIPS
 #include "elf/mips.h"
 #endif
 
+#ifdef TC_PPC
+#include "elf/ppc.h"
+#endif
+
+static bfd_vma elf_s_get_size PARAMS ((symbolS *));
+static void elf_s_set_size PARAMS ((symbolS *, bfd_vma));
+static bfd_vma elf_s_get_align PARAMS ((symbolS *));
+static void elf_s_set_align PARAMS ((symbolS *, bfd_vma));
+static void elf_copy_symbol_attributes PARAMS ((symbolS *, symbolS *));
+static int elf_sec_sym_ok_for_reloc PARAMS ((asection *));
+static void adjust_stab_sections PARAMS ((bfd *, asection *, PTR));
+
 #ifdef NEED_ECOFF_DEBUG
 static boolean elf_get_extr PARAMS ((asymbol *, EXTR *));
 static void elf_set_index PARAMS ((asymbol *, bfd_size_type));
@@ -49,8 +66,12 @@ static void obj_elf_ident PARAMS ((int));
 static void obj_elf_weak PARAMS ((int));
 static void obj_elf_local PARAMS ((int));
 static void obj_elf_common PARAMS ((int));
+static void obj_elf_symver PARAMS ((int));
+static void obj_elf_vtable_inherit PARAMS ((int));
+static void obj_elf_vtable_entry PARAMS ((int));
 static void obj_elf_data PARAMS ((int));
 static void obj_elf_text PARAMS ((int));
+static void obj_elf_subsection PARAMS ((int));
 
 static const pseudo_typeS elf_pseudo_table[] =
 {
@@ -67,9 +88,19 @@ static const pseudo_typeS elf_pseudo_table[] =
   {"version", obj_elf_version, 0},
   {"weak", obj_elf_weak, 0},
 
-/* These are used for stabs-in-elf configurations.  */
+  /* These are used for stabs-in-elf configurations.  */
   {"line", obj_elf_line, 0},
 
+  /* This is a GNU extension to handle symbol versions.  */
+  {"symver", obj_elf_symver, 0},
+
+  /* A GNU extension to change subsection only.  */
+  {"subsection", obj_elf_subsection, 0},
+
+  /* These are GNU extensions to aid in garbage collecting C++ vtables.  */
+  {"vtable_inherit", obj_elf_vtable_inherit, 0},
+  {"vtable_entry", obj_elf_vtable_entry, 0},
+
   /* These are used for dwarf. */
   {"2byte", cons, 2},
   {"4byte", cons, 4},
@@ -131,6 +162,20 @@ static const pseudo_typeS ecoff_debug_pseudo_table[] =
 #undef NO_RELOC
 #include "aout/aout64.h"
 
+/* This is called when the assembler starts.  */
+
+void
+elf_begin ()
+{
+  /* Add symbols for the known sections to the symbol table.  */
+  symbol_table_insert (section_symbol (bfd_get_section_by_name (stdoutput,
+                                                               TEXT_SECTION_NAME)));
+  symbol_table_insert (section_symbol (bfd_get_section_by_name (stdoutput,
+                                                               DATA_SECTION_NAME)));
+  symbol_table_insert (section_symbol (bfd_get_section_by_name (stdoutput,
+                                                               BSS_SECTION_NAME)));
+}
+
 void
 elf_pop_insert ()
 {
@@ -201,6 +246,10 @@ elf_file_symbol (s)
       verify_symbol_chain (symbol_rootP, symbol_lastP);
 #endif
     }
+
+#ifdef NEED_ECOFF_DEBUG
+  ecoff_new_file (s);
+#endif
 }
 
 static void
@@ -222,14 +271,14 @@ obj_elf_common (ignore)
   SKIP_WHITESPACE ();
   if (*input_line_pointer != ',')
     {
-      as_bad ("Expected comma after symbol-name");
+      as_bad (_("Expected comma after symbol-name"));
       ignore_rest_of_line ();
       return;
     }
   input_line_pointer++;                /* skip ',' */
   if ((temp = get_absolute_expression ()) < 0)
     {
-      as_bad (".COMMon length (%d.) <0! Ignored.", temp);
+      as_bad (_(".COMMon length (%d.) <0! Ignored."), temp);
       ignore_rest_of_line ();
       return;
     }
@@ -237,9 +286,9 @@ obj_elf_common (ignore)
   *p = 0;
   symbolP = symbol_find_or_make (name);
   *p = c;
-  if (S_IS_DEFINED (symbolP))
+  if (S_IS_DEFINED (symbolP) && ! S_IS_COMMON (symbolP))
     {
-      as_bad ("Ignoring attempt to re-define symbol");
+      as_bad (_("Ignoring attempt to re-define symbol"));
       ignore_rest_of_line ();
       return;
     }
@@ -247,7 +296,7 @@ obj_elf_common (ignore)
     {
       if (S_GET_VALUE (symbolP) != size)
        {
-         as_warn ("Length of .comm \"%s\" is already %ld. Not changed to %d.",
+         as_warn (_("Length of .comm \"%s\" is already %ld. Not changed to %d."),
                   S_GET_NAME (symbolP), (long) S_GET_VALUE (symbolP), size);
        }
     }
@@ -270,7 +319,7 @@ obj_elf_common (ignore)
          if (temp < 0)
            {
              temp = 0;
-             as_warn ("Common alignment negative; 0 assumed");
+             as_warn (_("Common alignment negative; 0 assumed"));
            }
        }
       if (symbolP->local)
@@ -289,7 +338,7 @@ obj_elf_common (ignore)
              for (align = 0; (temp & 1) == 0; temp >>= 1, ++align);
              if (temp != 1)
                {
-                 as_bad ("Common alignment not a power of 2");
+                 as_bad (_("Common alignment not a power of 2"));
                  ignore_rest_of_line ();
                  return;
                }
@@ -299,12 +348,12 @@ obj_elf_common (ignore)
          record_alignment (bss_section, align);
          subseg_set (bss_section, 0);
          if (align)
-           frag_align (align, 0);
+           frag_align (align, 0, 0);
          if (S_GET_SEGMENT (symbolP) == bss_section)
            symbolP->sy_frag->fr_symbol = 0;
          symbolP->sy_frag = frag_now;
-         pfrag = frag_var (rs_org, 1, 1, (relax_substateT) 0, symbolP, size,
-                           (char *) 0);
+         pfrag = frag_var (rs_org, 1, 1, (relax_substateT) 0, symbolP,
+                           (offsetT) size, (char *) 0);
          *pfrag = 0;
          S_SET_SIZE (symbolP, size);
          S_SET_SEGMENT (symbolP, bss_section);
@@ -317,8 +366,7 @@ obj_elf_common (ignore)
          S_SET_VALUE (symbolP, (valueT) size);
          S_SET_ALIGN (symbolP, temp);
          S_SET_EXTERNAL (symbolP);
-         /* should be common, but this is how gas does it for now */
-         S_SET_SEGMENT (symbolP, bfd_und_section_ptr);
+         S_SET_SEGMENT (symbolP, bfd_com_section_ptr);
        }
     }
   else
@@ -340,6 +388,9 @@ obj_elf_common (ignore)
        ;
       goto allocate_common;
     }
+
+  symbolP->bsym->flags |= BSF_OBJECT;
+
   demand_empty_rest_of_line ();
   return;
 
@@ -350,7 +401,7 @@ obj_elf_common (ignore)
       p++;
     c = *p;
     *p = '\0';
-    as_bad ("bad .common segment %s", input_line_pointer + 1);
+    as_bad (_("bad .common segment %s"), input_line_pointer + 1);
     *p = c;
     input_line_pointer = p;
     ignore_rest_of_line ();
@@ -358,7 +409,7 @@ obj_elf_common (ignore)
   }
 }
 
-static void 
+static void
 obj_elf_local (ignore)
      int ignore;
 {
@@ -387,7 +438,7 @@ obj_elf_local (ignore)
   demand_empty_rest_of_line ();
 }
 
-static void 
+static void
 obj_elf_weak (ignore)
      int ignore;
 {
@@ -420,7 +471,7 @@ static segT previous_section;
 static int previous_subsection;
 
 /* Handle the .section pseudo-op.  This code supports two different
-   syntaxes.  
+   syntaxes.
 
    The first is found on Solaris, and looks like
        .section ".sec1",#alloc,#execinstr,#write
@@ -494,6 +545,7 @@ obj_elf_section (xxx)
   int type, attr;
   int i;
   flagword flags;
+  symbolS *secsym;
 
 #ifdef md_flush_pending_output
   md_flush_pending_output ();
@@ -501,12 +553,12 @@ obj_elf_section (xxx)
 
   if (flag_mri)
     {
-      char type;
+      char mri_type;
 
       previous_section = now_seg;
       previous_subsection = now_subseg;
 
-      s_mri_sect (&type);
+      s_mri_sect (&mri_type);
 
 #ifdef md_elf_section_change_hook
       md_elf_section_change_hook ();
@@ -534,7 +586,7 @@ obj_elf_section (xxx)
        p++;
       if (p == input_line_pointer)
        {
-         as_warn ("Missing section name");
+         as_warn (_("Missing section name"));
          ignore_rest_of_line ();
          return;
        }
@@ -579,6 +631,7 @@ obj_elf_section (xxx)
       ++input_line_pointer;
 
       SKIP_WHITESPACE ();
+
       if (*input_line_pointer == '"')
        {
          /* Pick up a string with a combination of a, w, x.  */
@@ -598,7 +651,7 @@ obj_elf_section (xxx)
                  break;
                default:
                  {
-                   char *bad_msg = "Bad .section directive: want a,w,x in string";
+                   char *bad_msg = _("Bad .section directive: want a,w,x in string");
 #ifdef md_elf_section_letter
                    int md_attr = md_elf_section_letter (*input_line_pointer, &bad_msg);
                    if (md_attr)
@@ -647,7 +700,7 @@ obj_elf_section (xxx)
                    else
 #endif
                      {
-                       as_warn ("Unrecognized section type");
+                       as_warn (_("Unrecognized section type"));
                        ignore_rest_of_line ();
                      }
                    }
@@ -661,7 +714,7 @@ obj_elf_section (xxx)
              SKIP_WHITESPACE ();
              if (*input_line_pointer != '#')
                {
-                 as_warn ("Bad .section directive");
+                 as_warn (_("Bad .section directive - character following name is not '#'"));
                  ignore_rest_of_line ();
                  return;
                }
@@ -693,7 +746,7 @@ obj_elf_section (xxx)
                  else
 #endif
                    {
-                     as_warn ("Unrecognized section attribute");
+                     as_warn (_("Unrecognized section attribute"));
                      ignore_rest_of_line ();
                      return;
                    }
@@ -714,10 +767,19 @@ obj_elf_section (xxx)
          if (type == SHT_NULL)
            type = special_sections[i].type;
          else if (type != special_sections[i].type)
-           as_warn ("Setting incorrect section type for %s", string);
+           as_warn (_("Setting incorrect section type for %s"), string);
 
          if ((attr &~ special_sections[i].attributes) != 0)
-           as_warn ("Setting incorrect section attributes for %s", string);
+           {
+             /* As a GNU extension, we permit a .note section to be
+                 allocatable.  If the linker sees an allocateable
+                 .note section, it will create a PT_NOTE segment in
+                 the output file.  */
+             if (strcmp (string, ".note") != 0
+                 || attr != SHF_ALLOC)
+               as_warn (_("Setting incorrect section attributes for %s"),
+                        string);
+           }
          attr |= special_sections[i].attributes;
 
          break;
@@ -726,7 +788,8 @@ obj_elf_section (xxx)
 
   flags = (SEC_RELOC
           | ((attr & SHF_WRITE) ? 0 : SEC_READONLY)
-          | ((attr & SHF_ALLOC) ? SEC_ALLOC | SEC_LOAD : 0)
+          | ((attr & SHF_ALLOC) ? SEC_ALLOC : 0)
+          | (((attr & SHF_ALLOC) && type != SHT_NOBITS) ? SEC_LOAD : 0)
           | ((attr & SHF_EXECINSTR) ? SEC_CODE : 0));
   if (special_sections[i].name == NULL)
     {
@@ -743,8 +806,19 @@ obj_elf_section (xxx)
 #endif
     }
 
+  /* Prevent SEC_HAS_CONTENTS from being inadvertently set.  */
+  if (type == SHT_NOBITS)
+    seg_info (sec)->bss = 1;
+
   bfd_set_section_flags (stdoutput, sec, flags);
 
+  /* Add a symbol for this section to the symbol table.  */
+  secsym = symbol_find (string);
+  if (secsym != NULL)
+    secsym->bsym = sec->symbol;
+  else
+    symbol_table_insert (section_symbol (sec));
+
 #ifdef md_elf_section_change_hook
   md_elf_section_change_hook ();
 #endif
@@ -758,9 +832,17 @@ static void
 obj_elf_data (i)
      int i;
 {
+#ifdef md_flush_pending_output
+  md_flush_pending_output ();
+#endif
+
   previous_section = now_seg;
   previous_subsection = now_subseg;
   s_data (i);
+
+#ifdef md_elf_section_change_hook
+  md_elf_section_change_hook ();
+#endif
 }
 
 /* Change to the .text section.  */
@@ -769,9 +851,49 @@ static void
 obj_elf_text (i)
      int i;
 {
+#ifdef md_flush_pending_output
+  md_flush_pending_output ();
+#endif
+
   previous_section = now_seg;
   previous_subsection = now_subseg;
   s_text (i);
+
+#ifdef md_elf_section_change_hook
+  md_elf_section_change_hook ();
+#endif
+}
+
+static void
+obj_elf_subsection (ignore)
+     int ignore;
+{
+  register int temp;
+
+#ifdef md_flush_pending_output
+  md_flush_pending_output ();
+#endif
+
+  previous_section = now_seg;
+  previous_subsection = now_subseg;
+
+  temp = get_absolute_expression ();
+  subseg_set (now_seg, (subsegT) temp);
+  demand_empty_rest_of_line ();
+
+#ifdef md_elf_section_change_hook
+  md_elf_section_change_hook ();
+#endif
+}
+
+/* This can be called from the processor backends if they change
+   sections.  */
+
+void
+obj_elf_section_change_hook ()
+{
+  previous_section = now_seg;
+  previous_subsection = now_subseg;
 }
 
 void
@@ -780,11 +902,20 @@ obj_elf_previous (ignore)
 {
   if (previous_section == 0)
     {
-      as_bad (".previous without corresponding .section; ignored");
+      as_bad (_(".previous without corresponding .section; ignored"));
       return;
     }
+
+#ifdef md_flush_pending_output
+  md_flush_pending_output ();
+#endif
+
   subseg_set (previous_section, previous_subsection);
   previous_section = 0;
+
+#ifdef md_elf_section_change_hook
+  md_elf_section_change_hook ();
+#endif
 }
 
 static void
@@ -797,7 +928,166 @@ obj_elf_line (ignore)
   demand_empty_rest_of_line ();
 }
 
-void 
+/* This handles the .symver pseudo-op, which is used to specify a
+   symbol version.  The syntax is ``.symver NAME,SYMVERNAME''.
+   SYMVERNAME may contain ELF_VER_CHR ('@') characters.  This
+   pseudo-op causes the assembler to emit a symbol named SYMVERNAME
+   with the same value as the symbol NAME.  */
+
+static void
+obj_elf_symver (ignore)
+     int ignore;
+{
+  char *name;
+  char c;
+  symbolS *sym;
+
+  name = input_line_pointer;
+  c = get_symbol_end ();
+
+  sym = symbol_find_or_make (name);
+
+  *input_line_pointer = c;
+
+  if (sym->sy_obj.versioned_name != NULL)
+    {
+      as_bad (_("multiple .symver directives for symbol `%s'"),
+             S_GET_NAME (sym));
+      ignore_rest_of_line ();
+      return;
+    }
+
+  SKIP_WHITESPACE ();
+  if (*input_line_pointer != ',')
+    {
+      as_bad (_("expected comma after name in .symver"));
+      ignore_rest_of_line ();
+      return;
+    }
+
+  ++input_line_pointer;
+  name = input_line_pointer;
+  while (1)
+    {
+      c = get_symbol_end ();
+      if (c != ELF_VER_CHR)
+       break;
+      *input_line_pointer++ = c;
+    }
+
+  sym->sy_obj.versioned_name = xstrdup (name);
+
+  *input_line_pointer = c;
+
+  if (strchr (sym->sy_obj.versioned_name, ELF_VER_CHR) == NULL)
+    {
+      as_bad (_("missing version name in `%s' for symbol `%s'"),
+             sym->sy_obj.versioned_name, S_GET_NAME (sym));
+      ignore_rest_of_line ();
+      return;
+    }
+
+  demand_empty_rest_of_line ();
+}
+
+/* This handles the .vtable_inherit pseudo-op, which is used to indicate
+   to the linker the hierarchy in which a particular table resides.  The
+   syntax is ".vtable_inherit CHILDNAME, PARENTNAME".  */
+
+static void
+obj_elf_vtable_inherit (ignore)
+{
+  char *cname, *pname;
+  symbolS *csym, *psym;
+  char c, bad = 0;
+
+  cname = input_line_pointer;
+  c = get_symbol_end ();
+  csym = symbol_find (cname);
+
+  /* GCFIXME: should check that we don't have two .vtable_inherits for
+     the same child symbol.  Also, we can currently only do this if the
+     child symbol is already exists and is placed in a fragment.  */
+
+  if (csym == NULL || csym->sy_frag == NULL)
+    {
+      as_bad ("expected `%s' to have already been set for .vtable_inherit",
+             cname);
+      bad = 1;
+    }
+
+  *input_line_pointer = c;
+
+  SKIP_WHITESPACE ();
+  if (*input_line_pointer != ',')
+    {
+      as_bad ("expected comma after name in .vtable_inherit");
+      ignore_rest_of_line ();
+      return;
+    }
+
+  ++input_line_pointer;
+  SKIP_WHITESPACE ();
+  if (input_line_pointer[0] == '0'
+      && (input_line_pointer[1] == '\0'
+         || isspace(input_line_pointer[1])))
+    {
+      psym = section_symbol (absolute_section);
+      ++input_line_pointer;
+    }
+  else
+    {
+      pname = input_line_pointer;
+      c = get_symbol_end ();
+      psym = symbol_find_or_make (pname);
+      *input_line_pointer = c;
+    }
+
+  demand_empty_rest_of_line ();
+
+  if (bad)
+    return;
+
+  assert (csym->sy_value.X_op == O_constant);
+  fix_new (csym->sy_frag, csym->sy_value.X_add_number, 0, psym, 0, 0,
+          BFD_RELOC_VTABLE_INHERIT);
+}
+  
+/* This handles the .vtable_entry pseudo-op, which is used to indicate
+   to the linker that a vtable slot was used.  The syntax is
+   ".vtable_entry tablename, offset".  */
+
+static void
+obj_elf_vtable_entry (ignore)
+{
+  char *name;
+  symbolS *sym;
+  offsetT offset;
+  char c;
+
+  name = input_line_pointer;
+  c = get_symbol_end ();
+  sym = symbol_find_or_make (name);
+  *input_line_pointer = c;
+
+  SKIP_WHITESPACE ();
+  if (*input_line_pointer != ',')
+    {
+      as_bad ("expected comma after name in .vtable_entry");
+      ignore_rest_of_line ();
+      return;
+    }
+
+  ++input_line_pointer;
+  offset = get_absolute_expression ();
+
+  fix_new (frag_now, frag_now_fix (), 0, sym, offset, 0,
+          BFD_RELOC_VTABLE_ENTRY);
+
+  demand_empty_rest_of_line ();
+}
+
+void
 obj_read_begin_hook ()
 {
 #ifdef NEED_ECOFF_DEBUG
@@ -806,11 +1096,12 @@ obj_read_begin_hook ()
 #endif
 }
 
-void 
+void
 obj_symbol_new_hook (symbolP)
      symbolS *symbolP;
 {
-  symbolP->sy_obj = 0;
+  symbolP->sy_obj.size = NULL;
+  symbolP->sy_obj.versioned_name = NULL;
 
 #ifdef NEED_ECOFF_DEBUG
   if (ECOFF_DEBUGGING)
@@ -818,7 +1109,7 @@ obj_symbol_new_hook (symbolP)
 #endif
 }
 
-void 
+void
 obj_elf_version (ignore)
      int ignore;
 {
@@ -874,13 +1165,13 @@ obj_elf_version (ignore)
            FRAG_APPEND_1_CHAR (ch);
          }
        }
-      frag_align (2, 0);
+      frag_align (2, 0, 0);
 
       subseg_set (seg, subseg);
     }
   else
     {
-      as_bad ("Expected quoted string");
+      as_bad (_("Expected quoted string"));
     }
   demand_empty_rest_of_line ();
 }
@@ -901,7 +1192,7 @@ obj_elf_size (ignore)
   if (*input_line_pointer != ',')
     {
       *p = 0;
-      as_bad ("expected comma after name `%s' in .size directive", name);
+      as_bad (_("expected comma after name `%s' in .size directive"), name);
       *p = c;
       ignore_rest_of_line ();
       return;
@@ -910,7 +1201,7 @@ obj_elf_size (ignore)
   expression (&exp);
   if (exp.X_op == O_absent)
     {
-      as_bad ("missing expression in .size directive");
+      as_bad (_("missing expression in .size directive"));
       exp.X_op = O_constant;
       exp.X_add_number = 0;
     }
@@ -921,8 +1212,8 @@ obj_elf_size (ignore)
     S_SET_SIZE (sym, exp.X_add_number);
   else
     {
-      sym->sy_obj = (expressionS *) xmalloc (sizeof (expressionS));
-      *sym->sy_obj = exp;
+      sym->sy_obj.size = (expressionS *) xmalloc (sizeof (expressionS));
+      *sym->sy_obj.size = exp;
     }
   demand_empty_rest_of_line ();
 }
@@ -934,10 +1225,7 @@ obj_elf_size (ignore)
        .type SYM,@function
    The third (reportedly to be used on Irix 6.0) is
        .type SYM STT_FUNC
-
-   FIXME: We do not fully support this pseudo-op.  In fact, the only
-   case we do support is setting the type to STT_FUNC, which we do by
-   setting the BSF_FUNCTION flag.  */
+   */
 
 static void
 obj_elf_type (ignore)
@@ -971,9 +1259,9 @@ obj_elf_type (ignore)
     type = BSF_FUNCTION;
   else if (strcmp (typename, "object") == 0
           || strcmp (typename, "STT_OBJECT") == 0)
-    ;
+    type = BSF_OBJECT;
   else
-    as_bad ("ignoring unrecognized symbol type \"%s\"", typename);
+    as_bad (_("ignoring unrecognized symbol type \"%s\""), typename);
 
   *input_line_pointer = c;
 
@@ -1127,39 +1415,126 @@ elf_frob_symbol (symp, puntp)
     ecoff_frob_symbol (symp);
 #endif
 
-  if (symp->sy_obj)
+  if (symp->sy_obj.size != NULL)
     {
-      switch (symp->sy_obj->X_op)
+      switch (symp->sy_obj.size->X_op)
        {
        case O_subtract:
          S_SET_SIZE (symp,
-                     (S_GET_VALUE (symp->sy_obj->X_add_symbol)
-                      + symp->sy_obj->X_add_number
-                      - S_GET_VALUE (symp->sy_obj->X_op_symbol)));
+                     (S_GET_VALUE (symp->sy_obj.size->X_add_symbol)
+                      + symp->sy_obj.size->X_add_number
+                      - S_GET_VALUE (symp->sy_obj.size->X_op_symbol)));
          break;
        case O_constant:
          S_SET_SIZE (symp,
-                     (S_GET_VALUE (symp->sy_obj->X_add_symbol)
-                      + symp->sy_obj->X_add_number));
+                     (S_GET_VALUE (symp->sy_obj.size->X_add_symbol)
+                      + symp->sy_obj.size->X_add_number));
          break;
        default:
-         as_bad (".size expression too complicated to fix up");
+         as_bad (_(".size expression too complicated to fix up"));
          break;
        }
-      free (symp->sy_obj);
-      symp->sy_obj = 0;
+      free (symp->sy_obj.size);
+      symp->sy_obj.size = NULL;
+    }
+
+  if (symp->sy_obj.versioned_name != NULL)
+    {
+      /* This symbol was given a new name with the .symver directive.
+
+         If this is an external reference, just rename the symbol to
+         include the version string.  This will make the relocs be
+         against the correct versioned symbol.
+
+        If this is a definition, add an alias.  FIXME: Using an alias
+        will permit the debugging information to refer to the right
+        symbol.  However, it's not clear whether it is the best
+        approach.  */
+
+      if (! S_IS_DEFINED (symp))
+       {
+         char *p;
+
+         /* Verify that the name isn't using the @@ syntax--this is
+             reserved for definitions of the default version to link
+             against.  */
+         p = strchr (symp->sy_obj.versioned_name, ELF_VER_CHR);
+         know (p != NULL);
+         if (p[1] == ELF_VER_CHR)
+           {
+             as_bad (_("invalid attempt to declare external version name as default in symbol `%s'"),
+                     symp->sy_obj.versioned_name);
+             *puntp = true;
+           }
+         S_SET_NAME (symp, symp->sy_obj.versioned_name);
+       }
+      else
+       {
+         symbolS *symp2;
+
+         /* FIXME: Creating a new symbol here is risky.  We're in the
+             final loop over the symbol table.  We can get away with
+             it only because the symbol goes to the end of the list,
+             where the loop will still see it.  It would probably be
+             better to do this in obj_frob_file_before_adjust. */
+
+         symp2 = symbol_find_or_make (symp->sy_obj.versioned_name);
+
+         /* Now we act as though we saw symp2 = sym.  */
+
+         S_SET_SEGMENT (symp2, S_GET_SEGMENT (symp));
+
+         /* Subtracting out the frag address here is a hack because
+             we are in the middle of the final loop.  */
+         S_SET_VALUE (symp2, S_GET_VALUE (symp) - symp->sy_frag->fr_address);
+
+         symp2->sy_frag = symp->sy_frag;
+
+         /* This will copy over the size information.  */
+         copy_symbol_attributes (symp2, symp);
+
+         if (S_IS_WEAK (symp))
+           S_SET_WEAK (symp2);
+
+         if (S_IS_EXTERNAL (symp))
+           S_SET_EXTERNAL (symp2);
+       }
     }
 
   /* Double check weak symbols.  */
   if (symp->bsym->flags & BSF_WEAK)
     {
       if (S_IS_COMMON (symp))
-       as_bad ("Symbol `%s' can not be both weak and common",
+       as_bad (_("Symbol `%s' can not be both weak and common"),
                S_GET_NAME (symp));
     }
+
+#ifdef TC_MIPS
+  /* The Irix 5 and 6 assemblers set the type of any common symbol and
+     any undefined non-function symbol to STT_OBJECT.  We try to be
+     compatible, since newer Irix 5 and 6 linkers care.  However, we
+     only set undefined symbols to be STT_OBJECT if we are on Irix,
+     because that is the only time gcc will generate the necessary
+     .global directives to mark functions.  */
+
+  if (S_IS_COMMON (symp))
+    symp->bsym->flags |= BSF_OBJECT;
+
+  if (strstr (TARGET_OS, "irix") != NULL
+      && (! S_IS_DEFINED (symp) && ((symp->bsym->flags & BSF_FUNCTION) == 0)))
+    symp->bsym->flags |= BSF_OBJECT;
+#endif
+
+#ifdef TC_PPC
+  /* Frob the PowerPC, so that the symbol always has object type
+     if it is not some other type.  VxWorks needs this.  */
+  if ((symp->bsym->flags & (BSF_FUNCTION | BSF_FILE | BSF_SECTION_SYM)) == 0
+      && S_IS_DEFINED (symp))
+    symp->bsym->flags |= BSF_OBJECT;
+#endif
 }
 
-void 
+void
 elf_frob_file ()
 {
   bfd_map_over_sections (stdoutput, adjust_stab_sections, (PTR) 0);
@@ -1167,7 +1542,16 @@ elf_frob_file ()
 #ifdef elf_tc_final_processing
   elf_tc_final_processing ();
 #endif
+}
 
+/* It is required that we let write_relocs have the opportunity to
+   optimize away fixups before output has begun, since it is possible
+   to eliminate all fixups for a section and thus we never should
+   have generated the relocation section.  */
+
+void
+elf_frob_file_after_relocs ()
+{
 #ifdef NEED_ECOFF_DEBUG
   if (ECOFF_DEBUGGING)
     /* Generate the ECOFF debugging information.  */
@@ -1186,7 +1570,7 @@ elf_frob_file ()
 #define SET(ptr, offset, type) \
     debug.ptr = (type) (buf + debug.symbolic_header.offset)
 
-       SET (line, cbLineOffset, unsigned char *);
+      SET (line, cbLineOffset, unsigned char *);
       SET (external_dnr, cbDnOffset, PTR);
       SET (external_pdr, cbPdOffset, PTR);
       SET (external_sym, cbSymOffset, PTR);
@@ -1197,14 +1581,14 @@ elf_frob_file ()
       SET (external_rfd, cbRfdOffset, PTR);
       /* ssext and external_ext are set up just below.  */
 
-#undef SET    
+#undef SET
 
       /* Set up the external symbols.  */
       debug.ssext = debug.ssext_end = NULL;
       debug.external_ext = debug.external_ext_end = NULL;
       if (! bfd_ecoff_debug_externals (stdoutput, &debug, debug_swap, true,
                                       elf_get_extr, elf_set_index))
-       as_fatal ("Failed to set up debugging information: %s",
+       as_fatal (_("Failed to set up debugging information: %s"),
                  bfd_errmsg (bfd_get_error ()));
 
       sec = bfd_get_section_by_name (stdoutput, ".mdebug");
@@ -1220,7 +1604,7 @@ elf_frob_file ()
 
       if (! bfd_set_section_contents (stdoutput, sec, (PTR) NULL,
                                      (file_ptr) 0, (bfd_size_type) 0))
-       as_fatal ("Can't start writing .mdebug section: %s",
+       as_fatal (_("Can't start writing .mdebug section: %s"),
                  bfd_errmsg (bfd_get_error ()));
 
       know (stdoutput->output_has_begun == true);
@@ -1228,12 +1612,109 @@ elf_frob_file ()
 
       if (! bfd_ecoff_write_debug (stdoutput, &debug, debug_swap,
                                   sec->filepos))
-       as_fatal ("Could not write .mdebug section: %s",
+       as_fatal (_("Could not write .mdebug section: %s"),
                  bfd_errmsg (bfd_get_error ()));
     }
 #endif /* NEED_ECOFF_DEBUG */
 }
 
+#ifdef SCO_ELF
+
+/* Heavily plagarized from obj_elf_version.  The idea is to emit the
+   SCO specific identifier in the .notes section to satisfy the SCO
+   linker.
+
+   This looks more complicated than it really is.  As opposed to the
+   "obvious" solution, this should handle the cross dev cases
+   correctly.  (i.e, hosting on a 64 bit big endian processor, but
+   generating SCO Elf code) Efficiency isn't a concern, as there
+   should be exactly one of these sections per object module.
+
+   SCO OpenServer 5 identifies it's ELF modules with a standard ELF
+   .note section.
+
+   int_32 namesz  = 4 ;  Name size 
+   int_32 descsz  = 12 ; Descriptive information 
+   int_32 type    = 1 ;  
+   char   name[4] = "SCO" ; Originator name ALWAYS SCO + NULL 
+   int_32 version = (major ver # << 16)  | version of tools ;
+   int_32 source  = (tool_id << 16 ) | 1 ;
+   int_32 info    = 0 ;    These are set by the SCO tools, but we
+                           don't know enough about the source 
+                          environment to set them.  SCO ld currently
+                          ignores them, and recommends we set them
+                          to zero.  */
+
+#define SCO_MAJOR_VERSION 0x1
+#define SCO_MINOR_VERSION 0x1
+
+void
+sco_id ()
+{
+
+  char *name;
+  unsigned int c;
+  char ch;
+  char *p;
+  asection *seg = now_seg;
+  subsegT subseg = now_subseg;
+  Elf_Internal_Note i_note;
+  Elf_External_Note e_note;
+  asection *note_secp = (asection *) NULL;
+  int i, len;
+
+  /* create the .note section */
+
+  note_secp = subseg_new (".note", 0);
+  bfd_set_section_flags (stdoutput,
+                        note_secp,
+                        SEC_HAS_CONTENTS | SEC_READONLY);
+
+  /* process the version string */
+
+  i_note.namesz = 4; 
+  i_note.descsz = 12;          /* 12 descriptive bytes */
+  i_note.type = NT_VERSION;    /* Contains a version string */
+
+  p = frag_more (sizeof (i_note.namesz));
+  md_number_to_chars (p, (valueT) i_note.namesz, 4);
+
+  p = frag_more (sizeof (i_note.descsz));
+  md_number_to_chars (p, (valueT) i_note.descsz, 4);
+
+  p = frag_more (sizeof (i_note.type));
+  md_number_to_chars (p, (valueT) i_note.type, 4);
+
+  p = frag_more (4);
+  strcpy (p, "SCO"); 
+
+  /* Note: this is the version number of the ELF we're representing */
+  p = frag_more (4);
+  md_number_to_chars (p, (SCO_MAJOR_VERSION << 16) | (SCO_MINOR_VERSION), 4);
+
+  /* Here, we pick a magic number for ourselves (yes, I "registered"
+     it with SCO.  The bottom bit shows that we are compat with the
+     SCO ABI.  */
+  p = frag_more (4);
+  md_number_to_chars (p, 0x4c520000 | 0x0001, 4);
+
+  /* If we knew (or cared) what the source language options were, we'd
+     fill them in here.  SCO has given us permission to ignore these
+     and just set them to zero.  */
+  p = frag_more (4);
+  md_number_to_chars (p, 0x0000, 4);
+  frag_align (2, 0, 0);
+
+  /* We probably can't restore the current segment, for there likely
+     isn't one yet...  */
+  if (seg && subseg)
+    subseg_set (seg, subseg);
+
+}
+
+#endif /* SCO_ELF */
+
 const struct format_ops elf_format_ops =
 {
   bfd_target_elf_flavour,
@@ -1241,6 +1722,7 @@ const struct format_ops elf_format_ops =
   1,
   elf_frob_symbol,
   elf_frob_file,
+  elf_frob_file_after_relocs,
   elf_s_get_size, elf_s_set_size,
   elf_s_get_align, elf_s_set_align,
   elf_copy_symbol_attributes,