gas/
[deliverable/binutils-gdb.git] / gas / config / obj-elf.c
index 6ec08820242c07bc357b1cefacb9acff2046b383..ac836d7355a215b0d1da382048bac1230065649b 100644 (file)
@@ -1,6 +1,6 @@
 /* ELF object file format
-   Copyright 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001
-   Free Software Foundation, Inc.
+   Copyright 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,
+   2001, 2002, 2003 Free Software Foundation, Inc.
 
    This file is part of GAS, the GNU Assembler.
 
@@ -24,6 +24,7 @@
 #include "safe-ctype.h"
 #include "subsegs.h"
 #include "obstack.h"
+#include "struc-symbol.h"
 
 #ifndef ECOFF_DEBUGGING
 #define ECOFF_DEBUGGING 0
@@ -61,9 +62,10 @@ static void adjust_stab_sections PARAMS ((bfd *, asection *, PTR));
 static void build_group_lists PARAMS ((bfd *, asection *, PTR));
 static int elf_separate_stab_sections PARAMS ((void));
 static void elf_init_stab_section PARAMS ((segT));
+static symbolS *elf_common PARAMS ((int));
 
 #ifdef NEED_ECOFF_DEBUG
-static boolean elf_get_extr PARAMS ((asymbol *, EXTR *));
+static bfd_boolean elf_get_extr PARAMS ((asymbol *, EXTR *));
 static void elf_set_index PARAMS ((asymbol *, bfd_size_type));
 #endif
 
@@ -75,8 +77,6 @@ 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_visibility PARAMS ((int));
-static void obj_elf_change_section
-  PARAMS ((const char *, int, int, int, const char *, int));
 static int obj_elf_parse_section_letters PARAMS ((char *, size_t));
 static int obj_elf_section_word PARAMS ((char *, size_t));
 static char *obj_elf_section_name PARAMS ((void));
@@ -84,6 +84,7 @@ static int obj_elf_section_type PARAMS ((char *, size_t));
 static void obj_elf_symver PARAMS ((int));
 static void obj_elf_subsection PARAMS ((int));
 static void obj_elf_popsection PARAMS ((int));
+static void obj_elf_tls_common PARAMS ((int));
 
 static const pseudo_typeS elf_pseudo_table[] =
 {
@@ -130,6 +131,8 @@ static const pseudo_typeS elf_pseudo_table[] =
   {"data", obj_elf_data, 0},
   {"text", obj_elf_text, 0},
 
+  {"tls_common", obj_elf_tls_common, 0},
+
   /* End sentinel.  */
   {NULL, NULL, 0},
 };
@@ -280,21 +283,22 @@ elf_file_symbol (s)
 #endif
 }
 
-void
-obj_elf_common (is_common)
+static symbolS *
+elf_common (is_common)
      int is_common;
 {
   char *name;
   char c;
   char *p;
-  int temp, size;
+  offsetT temp, size, sign;
   symbolS *symbolP;
   int have_align;
+  expressionS exp;
 
   if (flag_mri && is_common)
     {
       s_mri_common (0);
-      return;
+      return NULL;
     }
 
   name = input_line_pointer;
@@ -307,16 +311,18 @@ obj_elf_common (is_common)
     {
       as_bad (_("expected comma after symbol-name"));
       ignore_rest_of_line ();
-      return;
+      return NULL;
     }
   input_line_pointer++;                /* skip ',' */
-  if ((temp = get_absolute_expression ()) < 0)
+  temp = get_absolute_expr (&exp);
+  sign = (offsetT) 1 << (stdoutput->arch_info->bits_per_address - 1);
+  size = temp & ((sign << 1) - 1);
+  if (temp != size || !exp.X_unsigned)
     {
-      as_bad (_(".COMMon length (%d.) <0! Ignored."), temp);
+      as_bad (_(".COMMon length (%ld) out of range, ignored."), (long) temp);
       ignore_rest_of_line ();
-      return;
+      return NULL;
     }
-  size = temp;
   *p = 0;
   symbolP = symbol_find_or_make (name);
   *p = c;
@@ -324,14 +330,15 @@ obj_elf_common (is_common)
     {
       as_bad (_("symbol `%s' is already defined"), S_GET_NAME (symbolP));
       ignore_rest_of_line ();
-      return;
+      return NULL;
     }
   if (S_GET_VALUE (symbolP) != 0)
     {
       if (S_GET_VALUE (symbolP) != (valueT) size)
        {
-         as_warn (_("length of .comm \"%s\" is already %ld; not changed to %d"),
-                  S_GET_NAME (symbolP), (long) S_GET_VALUE (symbolP), size);
+         as_warn (_("length of .comm \"%s\" is already %ld; not changed to %ld"),
+                  S_GET_NAME (symbolP), (long) S_GET_VALUE (symbolP),
+                  (long) size);
        }
     }
   know (symbolP->sy_frag == &zero_address_frag);
@@ -349,8 +356,8 @@ obj_elf_common (is_common)
        temp = 0;
       else
        {
-         temp = get_absolute_expression ();
-         if (temp < 0)
+         temp = get_absolute_expr (&exp);
+         if (!exp.X_unsigned)
            {
              temp = 0;
              as_warn (_("common alignment negative; 0 assumed"));
@@ -374,7 +381,7 @@ obj_elf_common (is_common)
                {
                  as_bad (_("common alignment not a power of 2"));
                  ignore_rest_of_line ();
-                 return;
+                 return NULL;
                }
            }
          else
@@ -426,7 +433,7 @@ obj_elf_common (is_common)
   symbol_get_bfdsym (symbolP)->flags |= BSF_OBJECT;
 
   demand_empty_rest_of_line ();
-  return;
+  return symbolP;
 
   {
   bad_common_segment:
@@ -439,10 +446,27 @@ obj_elf_common (is_common)
     *p = c;
     input_line_pointer = p;
     ignore_rest_of_line ();
-    return;
+    return NULL;
   }
 }
 
+void
+obj_elf_common (is_common)
+     int is_common;
+{
+  elf_common (is_common);
+}
+
+static void
+obj_elf_tls_common (ignore)
+     int ignore ATTRIBUTE_UNUSED;
+{
+  symbolS *symbolP = elf_common (0);
+
+  if (symbolP)
+    symbol_get_bfdsym (symbolP)->flags |= BSF_THREAD_LOCAL;
+}
+
 static void
 obj_elf_local (ignore)
      int ignore ATTRIBUTE_UNUSED;
@@ -525,7 +549,8 @@ obj_elf_visibility (visibility)
 
       assert (elfsym);
 
-      elfsym->internal_elf_sym.st_other = visibility;
+      elfsym->internal_elf_sym.st_other &= ~3;
+      elfsym->internal_elf_sym.st_other |= visibility;
 
       if (c == ',')
        {
@@ -588,13 +613,23 @@ static struct special_section const special_sections[] =
   { ".data",   SHT_PROGBITS,   SHF_ALLOC + SHF_WRITE           },
   { ".data1",  SHT_PROGBITS,   SHF_ALLOC + SHF_WRITE           },
   { ".debug",  SHT_PROGBITS,   0                               },
+#if defined (TC_HPPA) && !defined (TE_LINUX) && TARGET_ARCH_SIZE == 64
+  { ".fini",   SHT_PROGBITS,   SHF_ALLOC + SHF_WRITE           },
+  { ".init",   SHT_PROGBITS,   SHF_ALLOC + SHF_WRITE           },
+#else
   { ".fini",   SHT_PROGBITS,   SHF_ALLOC + SHF_EXECINSTR       },
   { ".init",   SHT_PROGBITS,   SHF_ALLOC + SHF_EXECINSTR       },
+#endif
   { ".line",   SHT_PROGBITS,   0                               },
   { ".note",   SHT_NOTE,       0                               },
   { ".rodata", SHT_PROGBITS,   SHF_ALLOC                       },
   { ".rodata1",        SHT_PROGBITS,   SHF_ALLOC                       },
+  { ".tbss",   SHT_NOBITS,     SHF_ALLOC + SHF_WRITE + SHF_TLS },
+  { ".tdata",  SHT_PROGBITS,   SHF_ALLOC + SHF_WRITE + SHF_TLS },
   { ".text",   SHT_PROGBITS,   SHF_ALLOC + SHF_EXECINSTR       },
+  { ".init_array",SHT_INIT_ARRAY, SHF_ALLOC + SHF_WRITE         },
+  { ".fini_array",SHT_FINI_ARRAY, SHF_ALLOC + SHF_WRITE         },
+  { ".preinit_array",SHT_PREINIT_ARRAY, SHF_ALLOC + SHF_WRITE   },
 
 #ifdef ELF_TC_SPECIAL_SECTIONS
   ELF_TC_SPECIAL_SECTIONS
@@ -619,13 +654,14 @@ static struct special_section const special_sections[] =
   { NULL,      0,              0                               }
 };
 
-static void
-obj_elf_change_section (name, type, attr, entsize, group_name, push)
+void
+obj_elf_change_section (name, type, attr, entsize, group_name, linkonce, push)
      const char *name;
      int type;
      int attr;
      int entsize;
      const char *group_name;
+     int linkonce;
      int push;
 {
   asection *old_sec;
@@ -663,7 +699,16 @@ obj_elf_change_section (name, type, attr, entsize, group_name, push)
          type = special_sections[i].type;
        else if (type != special_sections[i].type)
          {
-           if (old_sec == NULL)
+           if (old_sec == NULL
+               /* FIXME: gcc, as of 2002-10-22, will emit
+
+                  .section .init_array,"aw",@progbits
+
+                  for __attribute__ ((section (".init_array"))).
+                  "@progbits" is incorrect.  */
+               && special_sections[i].type != SHT_INIT_ARRAY
+               && special_sections[i].type != SHT_FINI_ARRAY
+               && special_sections[i].type != SHT_PREINIT_ARRAY)
              {
                as_warn (_("setting incorrect section type for %s"), name);
              }
@@ -696,7 +741,8 @@ obj_elf_change_section (name, type, attr, entsize, group_name, push)
           | (((attr & SHF_ALLOC) && type != SHT_NOBITS) ? SEC_LOAD : 0)
           | ((attr & SHF_EXECINSTR) ? SEC_CODE : 0)
           | ((attr & SHF_MERGE) ? SEC_MERGE : 0)
-          | ((attr & SHF_STRINGS) ? SEC_STRINGS : 0));
+          | ((attr & SHF_STRINGS) ? SEC_STRINGS : 0)
+          | ((attr & SHF_TLS) ? SEC_THREAD_LOCAL : 0));
 #ifdef md_elf_section_flags
   flags = md_elf_section_flags (flags, attr, type);
 #endif
@@ -709,6 +755,8 @@ obj_elf_change_section (name, type, attr, entsize, group_name, push)
       if (type == SHT_NOBITS)
         seg_info (sec)->bss = 1;
 
+      if (linkonce)
+       flags |= SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD;
       bfd_set_section_flags (stdoutput, sec, flags);
       if (flags & SEC_MERGE)
        sec->entsize = entsize;
@@ -726,14 +774,16 @@ obj_elf_change_section (name, type, attr, entsize, group_name, push)
       /* If section attributes are specified the second time we see a
         particular section, then check that they are the same as we
         saw the first time.  */
-      if ((old_sec->flags ^ flags)
-         & (SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE
-            | SEC_EXCLUDE | SEC_SORT_ENTRIES | SEC_MERGE | SEC_STRINGS))
+      if (((old_sec->flags ^ flags)
+          & (SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE
+             | SEC_EXCLUDE | SEC_SORT_ENTRIES | SEC_MERGE | SEC_STRINGS
+             | SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD
+             | SEC_THREAD_LOCAL)))
        as_warn (_("ignoring changed section attributes for %s"), name);
-      else if ((flags & SEC_MERGE) && old_sec->entsize != (unsigned) entsize)
+      if ((flags & SEC_MERGE) && old_sec->entsize != (unsigned) entsize)
        as_warn (_("ignoring changed section entity size for %s"), name);
-      else if ((attr & SHF_GROUP) != 0
-              && strcmp (elf_group_name (old_sec), group_name) != 0)
+      if ((attr & SHF_GROUP) != 0
+         && strcmp (elf_group_name (old_sec), group_name) != 0)
        as_warn (_("ignoring new section group for %s"), name);
     }
 
@@ -771,6 +821,9 @@ obj_elf_parse_section_letters (str, len)
        case 'G':
          attr |= SHF_GROUP;
          break;
+       case 'T':
+         attr |= SHF_TLS;
+         break;
        /* Compatibility.  */
        case 'm':
          if (*(str - 1) == 'a')
@@ -785,17 +838,14 @@ obj_elf_parse_section_letters (str, len)
            }
        default:
          {
-           char *bad_msg = _("unrecognized .section attribute: want a,w,x,M,S,G");
+           char *bad_msg = _("unrecognized .section attribute: want a,w,x,M,S,G,T");
 #ifdef md_elf_section_letter
            int md_attr = md_elf_section_letter (*str, &bad_msg);
            if (md_attr >= 0)
              attr |= md_attr;
            else
 #endif
-             {
-               as_warn ("%s", bad_msg);
-               attr = -1;
-             }
+             as_fatal ("%s", bad_msg);
          }
          break;
        }
@@ -816,6 +866,8 @@ obj_elf_section_word (str, len)
     return SHF_ALLOC;
   if (len == 9 && strncmp (str, "execinstr", 9) == 0)
     return SHF_EXECINSTR;
+  if (len == 3 && strncmp (str, "tls", 3) == 0)
+    return SHF_TLS;
 
 #ifdef md_elf_section_word
   {
@@ -885,6 +937,9 @@ obj_elf_section_name ()
       name = xmalloc (end - input_line_pointer + 1);
       memcpy (name, input_line_pointer, end - input_line_pointer);
       name[end - input_line_pointer] = '\0';
+#ifdef tc_canonicalize_section_name
+      name = tc_canonicalize_section_name (name);
+#endif
       input_line_pointer = end;
     }
   SKIP_WHITESPACE ();
@@ -898,6 +953,7 @@ obj_elf_section (push)
   char *name, *group_name, *beg;
   int type, attr, dummy;
   int entsize;
+  int linkonce;
 
 #ifndef TC_I370
   if (flag_mri)
@@ -928,6 +984,7 @@ obj_elf_section (push)
   attr = 0;
   group_name = NULL;
   entsize = 0;
+  linkonce = 0;
 
   if (*input_line_pointer == ',')
     {
@@ -1001,6 +1058,13 @@ obj_elf_section (push)
              group_name = obj_elf_section_name ();
              if (group_name == NULL)
                attr &= ~SHF_GROUP;
+             else if (strncmp (input_line_pointer, ",comdat", 7) == 0)
+               {
+                 input_line_pointer += 7;
+                 linkonce = 1;
+               }
+             else if (strncmp (name, ".gnu.linkonce", 13) == 0)
+               linkonce = 1;
            }
          else if ((attr & SHF_GROUP) != 0)
            {
@@ -1036,7 +1100,7 @@ obj_elf_section (push)
 
   demand_empty_rest_of_line ();
 
-  obj_elf_change_section (name, type, attr, entsize, group_name, push);
+  obj_elf_change_section (name, type, attr, entsize, group_name, linkonce, push);
 }
 
 /* Change to the .data section.  */
@@ -1205,6 +1269,7 @@ obj_elf_symver (ignore)
     }
 
   ++input_line_pointer;
+  SKIP_WHITESPACE ();
   name = input_line_pointer;
 
   /* Temporarily include '@' in symbol names.  */
@@ -1408,7 +1473,9 @@ elf_copy_symbol_attributes (dest, src)
       destelf->size = NULL;
     }
   S_SET_SIZE (dest, S_GET_SIZE (src));
-  S_SET_OTHER (dest, S_GET_OTHER (src));
+  /* Don't copy visibility.  */
+  S_SET_OTHER (dest, (ELF_ST_VISIBILITY (S_GET_OTHER (dest))
+                     | (S_GET_OTHER (src) & ~ELF_ST_VISIBILITY (-1))));
 }
 
 void
@@ -1575,6 +1642,12 @@ obj_elf_type (ignore)
   else if (strcmp (typename, "object") == 0
           || strcmp (typename, "STT_OBJECT") == 0)
     type = BSF_OBJECT;
+  else if (strcmp (typename, "tls_object") == 0
+          || strcmp (typename, "STT_TLS") == 0)
+    type = BSF_OBJECT | BSF_THREAD_LOCAL;
+  else if (strcmp (typename, "notype") == 0
+          || strcmp (typename, "STT_NOTYPE") == 0)
+    ;
 #ifdef md_elf_symbol_type
   else if ((type = md_elf_symbol_type (typename, sym, elfsym)) != -1)
     ;
@@ -1707,15 +1780,15 @@ elf_ecoff_set_ext (sym, ext)
    supposed to *EXT to the external symbol information, and return
    whether the symbol should be used at all.  */
 
-static boolean
+static bfd_boolean
 elf_get_extr (sym, ext)
      asymbol *sym;
      EXTR *ext;
 {
   if (sym->udata.p == NULL)
-    return false;
+    return FALSE;
   *ext = *(EXTR *) sym->udata.p;
-  return true;
+  return TRUE;
 }
 
 /* This function is called by bfd_ecoff_debug_externals.  It has
@@ -1795,7 +1868,7 @@ elf_frob_symbol (symp, puntp)
            {
              as_bad (_("invalid attempt to declare external version name as default in symbol `%s'"),
                      sy_obj->versioned_name);
-             *puntp = true;
+             *puntp = TRUE;
            }
          S_SET_NAME (symp, sy_obj->versioned_name);
        }
@@ -1839,6 +1912,8 @@ elf_frob_symbol (symp, puntp)
              /* This will copy over the size information.  */
              copy_symbol_attributes (symp2, symp);
 
+             S_SET_OTHER (symp2, S_GET_OTHER (symp));
+
              if (S_IS_WEAK (symp))
                S_SET_WEAK (symp2);
 
@@ -1959,11 +2034,37 @@ elf_frob_file ()
   for (i = 0; i < list.num_group; i++)
     {
       const char *group_name = elf_group_name (list.head[i]);
+      const char *sec_name;
       asection *s;
       flagword flags;
+      struct symbol *sy;
+      int has_sym;
 
-      s = subseg_force_new (group_name, 0);
       flags = SEC_READONLY | SEC_HAS_CONTENTS | SEC_IN_MEMORY | SEC_GROUP;
+      for (s = list.head[i]; s != NULL; s = elf_next_in_group (s))
+       if ((s->flags ^ flags) & SEC_LINK_ONCE)
+         {
+           flags |= SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD;
+           if (s != list.head[i])
+             {
+               as_warn (_("assuming all members of group `%s' are COMDAT"),
+                        group_name);
+               break;
+             }
+         }
+
+      sec_name = group_name;
+      sy = symbol_find_exact (group_name);
+      has_sym = 0;
+      if (sy != NULL
+         && (sy == symbol_lastP
+             || (sy->sy_next != NULL
+                 && sy->sy_next->sy_previous == sy)))
+       {
+         has_sym = 1;
+         sec_name = ".group";
+       }
+      s = subseg_force_new (sec_name, 0);
       if (s == NULL
          || !bfd_set_section_flags (stdoutput, s, flags)
          || !bfd_set_section_alignment (stdoutput, s, 2))
@@ -1974,6 +2075,8 @@ elf_frob_file ()
 
       /* Pass a pointer to the first section in this group.  */
       elf_next_in_group (s) = list.head[i];
+      if (has_sym)
+       elf_group_id (s) = sy->bsym;
 
       s->_raw_size = 4 * (list.elt_count[i] + 1);
       s->contents = frag_more (s->_raw_size);
@@ -1995,9 +2098,9 @@ elf_frob_file_before_adjust ()
       symbolS *symp;
 
       for (symp = symbol_rootP; symp; symp = symbol_next (symp))
-       if (symbol_get_obj (symp)->versioned_name)
+       if (!S_IS_DEFINED (symp))
          {
-           if (!S_IS_DEFINED (symp))
+           if (symbol_get_obj (symp)->versioned_name)
              {
                char *p;
 
@@ -2017,6 +2120,14 @@ elf_frob_file_before_adjust ()
                    && symbol_used_in_reloc_p (symp) == 0)
                  symbol_remove (symp, &symbol_rootP, &symbol_lastP);
              }
+
+           /* If there was .weak foo, but foo was neither defined nor
+              used anywhere, remove it.  */
+
+           else if (S_IS_WEAK (symp)
+                    && symbol_used_p (symp) == 0
+                    && symbol_used_in_reloc_p (symp) == 0)
+             symbol_remove (symp, &symbol_rootP, &symbol_lastP);
          }
     }
 }
@@ -2063,7 +2174,7 @@ elf_frob_file_after_relocs ()
       /* 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,
+      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"),
                  bfd_errmsg (bfd_get_error ()));
@@ -2071,7 +2182,7 @@ elf_frob_file_after_relocs ()
       sec = bfd_get_section_by_name (stdoutput, ".mdebug");
       assert (sec != NULL);
 
-      know (stdoutput->output_has_begun == false);
+      know (!stdoutput->output_has_begun);
 
       /* We set the size of the section, call bfd_set_section_contents
         to force the ELF backend to allocate a file position, and then
@@ -2088,7 +2199,7 @@ elf_frob_file_after_relocs ()
        as_fatal (_("can't start writing .mdebug section: %s"),
                  bfd_errmsg (bfd_get_error ()));
 
-      know (stdoutput->output_has_begun == true);
+      know (stdoutput->output_has_begun);
       know (sec->filepos != 0);
 
       if (! bfd_ecoff_write_debug (stdoutput, &debug, debug_swap,
@@ -2226,6 +2337,7 @@ const struct format_ops elf_format_ops =
   elf_frob_symbol,
   elf_frob_file,
   elf_frob_file_before_adjust,
+  0,   /* obj_frob_file_before_fix */
   elf_frob_file_after_relocs,
   elf_s_get_size, elf_s_set_size,
   elf_s_get_align, elf_s_set_align,
This page took 0.030196 seconds and 4 git commands to generate.