M
[deliverable/binutils-gdb.git] / ld / ldlang.c
index e4a2af2d7db4af1861f7ef1d416c072556a398c6..aa5c68131ddae2d516f75709977640165f127793 100644 (file)
@@ -1,12 +1,12 @@
 /* Linker command language support.
-   Copyright (C) 1991, 92, 93, 94, 95, 96, 97, 1998
+   Copyright (C) 1991, 92, 93, 94, 95, 96, 97, 98, 1999
    Free Software Foundation, Inc.
 
 This file is part of GLD, the Gnu Linker.
 
 GLD is free software; you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
-the Free Software Foundation; either version 1, or (at your option)
+the Free Software Foundation; either version 2, or (at your option)
 any later version.
 
 GLD is distributed in the hope that it will be useful,
@@ -36,6 +36,7 @@ Software Foundation, 59 Temple Place - Suite 330, Boston, MA
 #include "ldctor.h"
 #include "ldfile.h"
 #include "fnmatch.h"
+#include "demangle.h"
 
 #include <ctype.h>
 
@@ -73,6 +74,9 @@ static void init_os PARAMS ((lang_output_section_statement_type *s));
 static void exp_init_os PARAMS ((etree_type *));
 static void section_already_linked PARAMS ((bfd *, asection *, PTR));
 static boolean wildcardp PARAMS ((const char *));
+static lang_statement_union_type *wild_sort
+  PARAMS ((lang_wild_statement_type *, lang_input_statement_type *,
+          asection *));
 static void wild_section PARAMS ((lang_wild_statement_type *ptr,
                                  const char *section,
                                  lang_input_statement_type *file,
@@ -138,6 +142,19 @@ static int topower PARAMS ((int));
 static void lang_set_startof PARAMS ((void));
 static void reset_memory_regions PARAMS ((void));
 static void lang_record_phdrs PARAMS ((void));
+static void lang_gc_wild_section
+  PARAMS ((lang_wild_statement_type *, const char *,
+          lang_input_statement_type *));
+static void lang_gc_wild_file
+  PARAMS ((lang_wild_statement_type *, const char *,
+          lang_input_statement_type *));
+static void lang_gc_wild
+  PARAMS ((lang_wild_statement_type *, const char *, const char *));
+static void lang_gc_sections_1 PARAMS ((lang_statement_union_type *));
+static void lang_gc_sections PARAMS ((void));
+static void lang_do_version_exports_section PARAMS ((void));
+static void lang_check_section_addresses PARAMS ((void));
+                                       
 
 /* EXPORTS */
 lang_output_section_statement_type *abs_output_section;
@@ -571,9 +588,9 @@ lang_map ()
 {
   lang_memory_region_type *m;
 
-  minfo ("\nMemory Configuration\n\n");
+  minfo (_("\nMemory Configuration\n\n"));
   fprintf (config.map_file, "%-16s %-18s %-18s %s\n",
-          "Name", "Origin", "Length", "Attributes");
+          _("Name"), _("Origin"), _("Length"), _("Attributes"));
 
   for (m = lang_memory_region_list;
        m != (lang_memory_region_type *) NULL;
@@ -615,7 +632,7 @@ lang_map ()
       print_nl ();
     }
 
-  fprintf (config.map_file, "\nLinker script and memory map\n\n");
+  fprintf (config.map_file, _("\nLinker script and memory map\n\n"));
 
   print_statements ();
 }
@@ -632,7 +649,7 @@ init_os (s)
     return;
 
   if (strcmp (s->name, DISCARD_SECTION_NAME) == 0)
-    einfo ("%P%F: Illegal use of `%s' section", DISCARD_SECTION_NAME);
+    einfo (_("%P%F: Illegal use of `%s' section"), DISCARD_SECTION_NAME);
 
   new = ((section_userdata_type *)
         stat_alloc (sizeof (section_userdata_type)));
@@ -642,7 +659,7 @@ init_os (s)
     s->bfd_section = bfd_make_section (output_bfd, s->name);
   if (s->bfd_section == (asection *) NULL)
     {
-      einfo ("%P%F: output format %s cannot represent section called %s\n",
+      einfo (_("%P%F: output format %s cannot represent section called %s\n"),
             output_bfd->xvec->name, s->name);
     }
   s->bfd_section->output_section = s->bfd_section;
@@ -763,7 +780,7 @@ section_already_linked (abfd, sec, data)
              break;
 
            case SEC_LINK_DUPLICATES_ONE_ONLY:
-             einfo ("%P: %B: warning: ignoring duplicate section `%s'\n",
+             einfo (_("%P: %B: warning: ignoring duplicate section `%s'\n"),
                     abfd, name);
              break;
 
@@ -777,7 +794,7 @@ section_already_linked (abfd, sec, data)
            case SEC_LINK_DUPLICATES_SAME_SIZE:
              if (bfd_section_size (abfd, sec)
                  != bfd_section_size (l->sec->owner, l->sec))
-               einfo ("%P: %B: warning: duplicate section `%s' has different size\n",
+               einfo (_("%P: %B: warning: duplicate section `%s' has different size\n"),
                       abfd, name);
              break;
            }
@@ -948,6 +965,107 @@ wild_doit (ptr, section, output, file)
     }
 }
 
+/* Handle wildcard sorting.  This returns the lang_input_section which
+   should follow the one we are going to create for SECTION and FILE,
+   based on the sorting requirements of WILD.  It returns NULL if the
+   new section should just go at the end of the current list.  */
+
+static lang_statement_union_type *
+wild_sort (wild, file, section)
+     lang_wild_statement_type *wild;
+     lang_input_statement_type *file;
+     asection *section;
+{
+  const char *section_name;
+  lang_statement_union_type *l;
+
+  if (! wild->filenames_sorted && ! wild->sections_sorted)
+    return NULL;
+
+  section_name = bfd_get_section_name (file->the_bfd, section);
+  for (l = wild->children.head; l != NULL; l = l->next)
+    {
+      lang_input_section_type *ls;
+
+      if (l->header.type != lang_input_section_enum)
+       continue;
+      ls = &l->input_section;
+
+      /* Sorting by filename takes precedence over sorting by section
+         name.  */
+
+      if (wild->filenames_sorted)
+       {
+         const char *fn, *ln;
+         boolean fa, la;
+         int i;
+
+         /* The PE support for the .idata section as generated by
+             dlltool assumes that files will be sorted by the name of
+             the archive and then the name of the file within the
+             archive.  */
+
+         if (file->the_bfd != NULL
+             && bfd_my_archive (file->the_bfd) != NULL)
+           {
+             fn = bfd_get_filename (bfd_my_archive (file->the_bfd));
+             fa = true;
+           }
+         else
+           {
+             fn = file->filename;
+             fa = false;
+           }
+
+         if (ls->ifile->the_bfd != NULL
+             && bfd_my_archive (ls->ifile->the_bfd) != NULL)
+           {
+             ln = bfd_get_filename (bfd_my_archive (ls->ifile->the_bfd));
+             la = true;
+           }
+         else
+           {
+             ln = ls->ifile->filename;
+             la = false;
+           }
+
+         i = strcmp (fn, ln);
+         if (i > 0)
+           continue;
+         else if (i < 0)
+           break;
+
+         if (fa || la)
+           {
+             if (fa)
+               fn = file->filename;
+             if (la)
+               ln = ls->ifile->filename;
+
+             i = strcmp (fn, ln);
+             if (i > 0)
+               continue;
+             else if (i < 0)
+               break;
+           }
+       }
+
+      /* Here either the files are not sorted by name, or we are
+         looking at the sections for this file.  */
+
+      if (wild->sections_sorted)
+       {
+         if (strcmp (section_name,
+                     bfd_get_section_name (ls->ifile->the_bfd,
+                                           ls->section))
+             < 0)
+           break;
+       }
+    }
+
+  return l;
+}
+
 /* Expand a wild statement for a particular FILE.  SECTION may be
    NULL, in which case it is a wild card.  */
 
@@ -958,6 +1076,21 @@ wild_section (ptr, section, file, output)
      lang_input_statement_type *file;
      lang_output_section_statement_type *output;
 {
+
+  /* Don't process sections from files which were excluded. */
+  if (ptr->exclude_filename != NULL)
+    {
+      boolean match;
+
+      if (wildcardp (ptr->exclude_filename))
+         match = fnmatch (ptr->exclude_filename, file->filename, 0) == 0 ? true : false;
+      else
+         match = strcmp (ptr->exclude_filename, file->filename) == 0 ? true : false;
+
+      if (match)
+        return;
+    }
+
   if (file->just_syms_flag == false)
     {
       register asection *s;
@@ -992,8 +1125,49 @@ wild_section (ptr, section, file, output)
              else
                match = strcmp (section, name) == 0 ? true : false;
            }
+
          if (match)
-           wild_doit (&ptr->children, s, output, file);
+           {
+             lang_statement_union_type *before;
+
+             /* If the wild pattern was marked KEEP, the member sections
+                should be as well.  */
+             if (ptr->keep_sections)
+               s->flags |= SEC_KEEP;
+
+             before = wild_sort (ptr, file, s);
+
+             /* Here BEFORE points to the lang_input_section which
+                should follow the one we are about to add.  If BEFORE
+                is NULL, then the section should just go at the end
+                of the current list.  */
+
+             if (before == NULL)
+               wild_doit (&ptr->children, s, output, file);
+             else
+               {
+                 lang_statement_list_type list;
+                 lang_statement_union_type **pp;
+
+                 lang_list_init (&list);
+                 wild_doit (&list, s, output, file);
+
+                 /* If we are discarding the section, LIST.HEAD will
+                     be NULL.  */
+                 if (list.head != NULL)
+                   {
+                     ASSERT (list.head->next == NULL);
+
+                     for (pp = &ptr->children.head;
+                          *pp != before;
+                          pp = &(*pp)->next)
+                       ASSERT (*pp != NULL);
+
+                     list.head->next = *pp;
+                     *pp = list.head;
+                   }
+               }
+           }
        }
     }
 }
@@ -1062,15 +1236,15 @@ load_symbols (entry, place)
        {
          char **p;
 
-         einfo ("%B: file not recognized: %E\n", entry->the_bfd);
-         einfo ("%B: matching formats:", entry->the_bfd);
+         einfo (_("%B: file not recognized: %E\n"), entry->the_bfd);
+         einfo (_("%B: matching formats:"), entry->the_bfd);
          for (p = matching; *p != NULL; p++)
            einfo (" %s", *p);
          einfo ("%F\n");
        }
       else if (err != bfd_error_file_not_recognized
               || place == NULL)
-       einfo ("%F%B: file not recognized: %E\n", entry->the_bfd);
+       einfo (_("%F%B: file not recognized: %E\n"), entry->the_bfd);
 
       bfd_close (entry->the_bfd);
       entry->the_bfd = NULL;
@@ -1097,6 +1271,9 @@ load_symbols (entry, place)
       return;
     }
 
+  if (ldemul_recognized_file (entry))
+    return;
+
   /* We don't call ldlang_add_file for an archive.  Instead, the
      add_symbols entry point will call ldlang_add_file, via the
      add_archive_element callback, for each element of the archive
@@ -1120,13 +1297,13 @@ load_symbols (entry, place)
          while (member != NULL)
            {
              if (! bfd_check_format (member, bfd_object))
-               einfo ("%F%B: object %B in archive is not object\n",
+               einfo (_("%F%B: object %B in archive is not object\n"),
                       entry->the_bfd, member);
              if (! ((*link_info.callbacks->add_archive_element)
                     (&link_info, member, "--whole-archive")))
                abort ();
              if (! bfd_link_add_symbols (member, &link_info))
-               einfo ("%F%B: could not read symbols: %E\n", member);
+               einfo (_("%F%B: could not read symbols: %E\n"), member);
              member = bfd_openr_next_archived_file (entry->the_bfd,
                                                     member);
            }
@@ -1138,7 +1315,7 @@ load_symbols (entry, place)
     }
 
   if (! bfd_link_add_symbols (entry->the_bfd, &link_info))
-    einfo ("%F%B: could not read symbols: %E\n", entry->the_bfd);
+    einfo (_("%F%B: could not read symbols: %E\n"), entry->the_bfd);
 
   entry->loaded = true;
 }
@@ -1254,9 +1431,9 @@ open_output (name)
     {
       if (bfd_get_error () == bfd_error_invalid_target)
        {
-         einfo ("%P%F: target %s not found\n", output_target);
+         einfo (_("%P%F: target %s not found\n"), output_target);
        }
-      einfo ("%P%F: cannot open output file %s: %E\n", name);
+      einfo (_("%P%F: cannot open output file %s: %E\n"), name);
     }
 
   delete_output_file_on_failure = true;
@@ -1264,15 +1441,15 @@ open_output (name)
   /*  output->flags |= D_PAGED;*/
 
   if (! bfd_set_format (output, bfd_object))
-    einfo ("%P%F:%s: can not make object file: %E\n", name);
+    einfo (_("%P%F:%s: can not make object file: %E\n"), name);
   if (! bfd_set_arch_mach (output,
                           ldfile_output_architecture,
                           ldfile_output_machine))
-    einfo ("%P%F:%s: can not set architecture: %E\n", name);
+    einfo (_("%P%F:%s: can not set architecture: %E\n"), name);
 
   link_info.hash = bfd_link_hash_table_create (output);
   if (link_info.hash == (struct bfd_link_hash_table *) NULL)
-    einfo ("%P%F: can not create link hash table: %E\n");
+    einfo (_("%P%F: can not create link hash table: %E\n"));
 
   bfd_set_gp_size (output, g_switch_value);
   return output;
@@ -1459,7 +1636,7 @@ lang_place_undefineds ()
 
       h = bfd_link_hash_lookup (link_info.hash, ptr->name, true, false, true);
       if (h == (struct bfd_link_hash_entry *) NULL)
-       einfo ("%P%F: bfd_link_hash_lookup failed: %E\n");
+       einfo (_("%P%F: bfd_link_hash_lookup failed: %E\n"));
       if (h->type == bfd_link_hash_new)
        {
          h->type = bfd_link_hash_undefined;
@@ -1582,7 +1759,7 @@ print_output_section_statement (output_section_statement)
 
              addr = exp_get_abs_int (output_section_statement->load_base, 0,
                                      "load base", lang_final_phase_enum);
-             minfo (" load address 0x%V", addr);
+             minfo (_(" load address 0x%V"), addr);
            }
        }
 
@@ -1606,7 +1783,7 @@ print_assignment (assignment, output_section)
 
   result = exp_fold_tree (assignment->exp->assign.src, output_section,
                          lang_final_phase_enum, print_dot, &print_dot);
-  if (result.valid)
+  if (result.valid_p)
     minfo ("0x%V", result.value + result.section->bfd_section->vma);
   else
     {
@@ -1711,7 +1888,7 @@ print_input_section (in)
                  --len;
                }
 
-             minfo ("%W (size before relaxing)\n", i->_raw_size);
+             minfo (_("%W (size before relaxing)\n"), i->_raw_size);
            }
 
          bfd_link_hash_traverse (link_info.hash, print_one_symbol, (PTR) i);
@@ -1790,7 +1967,7 @@ static void
 print_address_statement (address)
      lang_address_statement_type *address;
 {
-  minfo ("Address of section %s set to ", address->section_name);
+  minfo (_("Address of section %s set to "), address->section_name);
   exp_print_tree (address->address);
   print_nl ();
 }
@@ -1864,15 +2041,27 @@ print_wild_statement (w, os)
 {
   print_space ();
 
+  if (w->filenames_sorted)
+    minfo ("SORT(");
+  if (w->exclude_filename != NULL)
+    minfo ("EXCLUDE_FILE ( %s )", w->exclude_filename);
   if (w->filename != NULL)
     minfo ("%s", w->filename);
   else
     minfo ("*");
+  if (w->filenames_sorted)
+    minfo (")");
 
+  minfo ("(");
+  if (w->sections_sorted)
+    minfo ("SORT(");
   if (w->section_name != NULL)
-    minfo ("(%s)", w->section_name);
+    minfo ("%s", w->section_name);
   else
-    minfo ("(*)");
+    minfo ("*");
+  if (w->sections_sorted)
+    minfo (")");
+  minfo (")");
 
   print_nl ();
 
@@ -1917,13 +2106,16 @@ print_statement (s, os)
   switch (s->header.type)
     {
     default:
-      fprintf (config.map_file, "Fail with %d\n", s->header.type);
+      fprintf (config.map_file, _("Fail with %d\n"), s->header.type);
       FAIL ();
       break;
     case lang_constructors_statement_enum:
       if (constructor_list.head != NULL)
        {
-         minfo (" CONSTRUCTORS\n");
+         if (constructors_sorted)
+           minfo (" SORT (CONSTRUCTORS)\n");
+         else
+           minfo (" CONSTRUCTORS\n");
          print_statement_list (constructor_list.head, os);
        }
       break;
@@ -2099,6 +2291,61 @@ size_input_section (this_ptr, output_section_statement, fill, dot, relax)
   return dot;
 }
 
+/* Check to see if any allocated sections overlap with other allocated
+   sections.  This can happen when the linker script specifically specifies
+   the output section addresses of the two sections.  */
+static void
+lang_check_section_addresses ()
+{
+  asection * s;
+
+  /* Scan all sections in the output list.  */
+  for (s = output_bfd->sections; s != NULL; s = s->next)
+    /* Ignore sections which are not loaded or which have no contents.  */
+    if ((bfd_get_section_flags (output_bfd, s) & (SEC_ALLOC | SEC_LOAD))
+       && bfd_section_size (output_bfd, s) != 0)
+      {
+       asection * os;
+
+       /* Once we reach section 's' stop our seach.  This prevents two
+          warning messages from being produced, one for 'section A overlaps
+          section B' and one for 'section B overlaps section A'.  */
+       for (os = output_bfd->sections; os != s; os = os->next)
+         {
+           bfd_vma s_start;
+           bfd_vma s_end;
+           bfd_vma os_start;
+           bfd_vma os_end;
+
+           /* Only consider loadable sections with real contents.  */
+           if (((bfd_get_section_flags (output_bfd, os)
+                 & (SEC_ALLOC | SEC_LOAD)) == 0)
+               || bfd_section_size (output_bfd, os) == 0)
+             continue;
+
+           /* We must check the sections' LMA addresses not their
+              VMA addresses because overlay sections can have
+              overlapping VMAs but they must have distinct LMAs.  */
+           s_start  = bfd_section_lma (output_bfd, s);
+           os_start = bfd_section_lma (output_bfd, os);
+           s_end    = s_start  + bfd_section_size (output_bfd, s) - 1;
+           os_end   = os_start + bfd_section_size (output_bfd, os) - 1;
+
+           /* Look for an overlap.  */
+           if ((s_end < os_start) || (s_start > os_end))
+             continue;
+           
+           einfo (
+_("%X%P: section %s [%V -> %V] overlaps section %s [%V -> %V]\n"),
+                  s->name, s_start, s_end, os->name, os_start, os_end);
+
+           /* Once we have found one overlap for this section,
+              stop looking for others.  */
+           break;
+         }
+      }
+}
+
 /* This variable indicates whether bfd_relax_section should be called
    again.  */
 
@@ -2115,347 +2362,353 @@ lang_size_sections (s, output_section_statement, prev, fill, dot, relax)
      bfd_vma dot;
      boolean relax;
 {
-  /* Size up the sections from their constituent parts */
+  /* Size up the sections from their constituent parts */
   for (; s != (lang_statement_union_type *) NULL; s = s->next)
-  {
-    switch (s->header.type)
     {
+      switch (s->header.type)
+       {
+       case lang_output_section_statement_enum:
+         {
+           bfd_vma after;
+           lang_output_section_statement_type *os = &s->output_section_statement;
 
-     case lang_output_section_statement_enum:
-     {
-       bfd_vma after;
-       lang_output_section_statement_type *os = &s->output_section_statement;
-
-       if (os->bfd_section == NULL)
-        {
-          /* This section was never actually created.  */
-          break;
-        }
-
-       /* If this is a COFF shared library section, use the size and
-         address from the input section.  FIXME: This is COFF
-         specific; it would be cleaner if there were some other way
-         to do this, but nothing simple comes to mind.  */
-       if ((os->bfd_section->flags & SEC_COFF_SHARED_LIBRARY) != 0)
-        {
-          asection *input;
-
-          if (os->children.head == NULL
-              || os->children.head->next != NULL
-              || os->children.head->header.type != lang_input_section_enum)
-            einfo ("%P%X: Internal error on COFF shared library section %s\n",
-                   os->name);
-
-          input = os->children.head->input_section.section;
-          bfd_set_section_vma (os->bfd_section->owner,
-                               os->bfd_section,
-                               bfd_section_vma (input->owner, input));
-          os->bfd_section->_raw_size = input->_raw_size;
-          break;
-        }
-
-       if (bfd_is_abs_section (os->bfd_section))
-       {
-        /* No matter what happens, an abs section starts at zero */
-        ASSERT (os->bfd_section->vma == 0);
-       }
-       else
-       {
-        if (os->addr_tree == (etree_type *) NULL)
-        {
-          /* No address specified for this section, get one
-             from the region specification
-             */
-          if (os->region == (lang_memory_region_type *) NULL
-              || (((bfd_get_section_flags (output_bfd, os->bfd_section)
-                   & (SEC_ALLOC | SEC_LOAD)) != 0)
-                  && os->region->name[0] == '*'
-                  && strcmp (os->region->name, "*default*") == 0))
-          {
-            os->region = lang_memory_default (os->bfd_section);
-          }
-
-          /* If a loadable section is using the default memory
-             region, and some non default memory regions were
-             defined, issue a warning.  */
-          if ((bfd_get_section_flags (output_bfd, os->bfd_section)
-               & (SEC_ALLOC | SEC_LOAD)) != 0
-              && ! link_info.relocateable
-              && strcmp (os->region->name, "*default*") == 0
-              && lang_memory_region_list != NULL
-              && (strcmp (lang_memory_region_list->name, "*default*") != 0
-                  || lang_memory_region_list->next != NULL))
-            einfo ("%P: warning: no memory region specified for section `%s'\n",
-                   bfd_get_section_name (output_bfd, os->bfd_section));
-
-          dot = os->region->current;
-          if (os->section_alignment == -1)
-            {
-              bfd_vma olddot;
-
-              olddot = dot;
-              dot = align_power (dot, os->bfd_section->alignment_power);
-              if (dot != olddot && config.warn_section_align)
-                einfo ("%P: warning: changing start of section %s by %u bytes\n",
-                       os->name, (unsigned int) (dot - olddot));
-            }
-        }
-        else
-        {
-          etree_value_type r;
-
-          r = exp_fold_tree (os->addr_tree,
-                             abs_output_section,
-                             lang_allocating_phase_enum,
-                             dot, &dot);
-          if (r.valid == false)
-          {
-            einfo ("%F%S: non constant address expression for section %s\n",
-                   os->name);
-          }
-          dot = r.value + r.section->bfd_section->vma;
-        }
-        /* The section starts here */
-        /* First, align to what the section needs */
-
-        if (os->section_alignment != -1)
-          dot = align_power (dot, os->section_alignment);
-
-        bfd_set_section_vma (0, os->bfd_section, dot);
-        
-        os->bfd_section->output_offset = 0;
-       }
-
-       (void) lang_size_sections (os->children.head, os, &os->children.head,
-                                 os->fill, dot, relax);
-       /* Ignore the size of the input sections, use the vma and size to */
-       /* align against */
-
-       after = ALIGN_N (os->bfd_section->vma +
-                       os->bfd_section->_raw_size,
-                       /* The coercion here is important, see ld.h.  */
-                       (bfd_vma) os->block_value);
-
-       if (bfd_is_abs_section (os->bfd_section))
-        ASSERT (after == os->bfd_section->vma);
-       else
-        os->bfd_section->_raw_size = after - os->bfd_section->vma;
-       dot = os->bfd_section->vma + os->bfd_section->_raw_size;
-       os->processed = true;
-
-       /* Replace into region ? */
-       if (os->region != (lang_memory_region_type *) NULL)
-        {
-          os->region->current = dot;
-          /* Make sure this isn't silly.  */
-          if (os->region->current < os->region->origin
-              || (os->region->current - os->region->origin
-                  > os->region->length))
-            {
-              if (os->addr_tree != (etree_type *) NULL)
-                {
-                  einfo ("%X%P: address 0x%v of %B section %s is not within region %s\n",
-                         os->region->current,
-                         os->bfd_section->owner,
-                         os->bfd_section->name,
-                         os->region->name);
-                }
-              else
-                {
-                  einfo ("%X%P: region %s is full (%B section %s)\n",
-                         os->region->name,
-                         os->bfd_section->owner,
-                         os->bfd_section->name);
-                }
-              /* Reset the region pointer.  */
-              os->region->current = os->region->origin;
-            }
-        }
-     }
-     break;
-
-     case lang_constructors_statement_enum:
-      dot = lang_size_sections (constructor_list.head,
-                               output_section_statement,
-                               &s->wild_statement.children.head,
-                               fill,
-                               dot, relax);
-      break;
+           if (os->bfd_section == NULL)
+             /* This section was never actually created.  */
+             break;
 
-     case lang_data_statement_enum:
-     {
-       unsigned int size = 0;
-
-       s->data_statement.output_vma = dot - output_section_statement->bfd_section->vma;
-       s->data_statement.output_section =
-       output_section_statement->bfd_section;
-
-       switch (s->data_statement.type)
-        {
-        case QUAD:
-        case SQUAD:
-          size = QUAD_SIZE;
-          break;
-        case LONG:
-          size = LONG_SIZE;
-          break;
-        case SHORT:
-          size = SHORT_SIZE;
-          break;
-        case BYTE:
-          size = BYTE_SIZE;
-          break;
-        }
-
-       dot += size;
-       output_section_statement->bfd_section->_raw_size += size;
-       /* The output section gets contents, and then we inspect for
-         any flags set in the input script which override any ALLOC */
-       output_section_statement->bfd_section->flags |= SEC_HAS_CONTENTS;
-       if (!(output_section_statement->flags & SEC_NEVER_LOAD)) {
-        output_section_statement->bfd_section->flags |= SEC_ALLOC | SEC_LOAD;
-       }
-     }
-      break;
+           /* If this is a COFF shared library section, use the size and
+              address from the input section.  FIXME: This is COFF
+              specific; it would be cleaner if there were some other way
+              to do this, but nothing simple comes to mind.  */
+           if ((os->bfd_section->flags & SEC_COFF_SHARED_LIBRARY) != 0)
+             {
+               asection * input;
+
+               if (os->children.head == NULL
+                   || os->children.head->next != NULL
+                   || os->children.head->header.type != lang_input_section_enum)
+                 einfo (_("%P%X: Internal error on COFF shared library section %s\n"),
+                        os->name);
+
+               input = os->children.head->input_section.section;
+               bfd_set_section_vma (os->bfd_section->owner,
+                                    os->bfd_section,
+                                    bfd_section_vma (input->owner, input));
+               os->bfd_section->_raw_size = input->_raw_size;
+               break;
+             }
 
-     case lang_reloc_statement_enum:
-     {
-       int size;
-
-       s->reloc_statement.output_vma =
-        dot - output_section_statement->bfd_section->vma;
-       s->reloc_statement.output_section =
-        output_section_statement->bfd_section;
-       size = bfd_get_reloc_size (s->reloc_statement.howto);
-       dot += size;
-       output_section_statement->bfd_section->_raw_size += size;
-     }
-     break;
-     
-     case lang_wild_statement_enum:
+           if (bfd_is_abs_section (os->bfd_section))
+             {
+               /* No matter what happens, an abs section starts at zero.  */
+               ASSERT (os->bfd_section->vma == 0);
+             }
+           else
+             {
+               if (os->addr_tree == (etree_type *) NULL)
+                 {
+                   /* No address specified for this section, get one
+                      from the region specification.  */
+                   if (os->region == (lang_memory_region_type *) NULL
+                       || (((bfd_get_section_flags (output_bfd, os->bfd_section)
+                             & (SEC_ALLOC | SEC_LOAD)) != 0)
+                           && os->region->name[0] == '*'
+                           && strcmp (os->region->name, "*default*") == 0))
+                     {
+                       os->region = lang_memory_default (os->bfd_section);
+                     }
+
+                   /* If a loadable section is using the default memory
+                      region, and some non default memory regions were
+                      defined, issue a warning.  */
+                   if ((bfd_get_section_flags (output_bfd, os->bfd_section)
+                        & (SEC_ALLOC | SEC_LOAD)) != 0
+                       && ! link_info.relocateable
+                       && strcmp (os->region->name, "*default*") == 0
+                       && lang_memory_region_list != NULL
+                       && (strcmp (lang_memory_region_list->name, "*default*") != 0
+                           || lang_memory_region_list->next != NULL))
+                     einfo (_("%P: warning: no memory region specified for section `%s'\n"),
+                            bfd_get_section_name (output_bfd, os->bfd_section));
+
+                   dot = os->region->current;
+                   if (os->section_alignment == -1)
+                     {
+                       bfd_vma olddot;
+
+                       olddot = dot;
+                       dot = align_power (dot, os->bfd_section->alignment_power);
+
+                       if (dot != olddot && config.warn_section_align)
+                         einfo (_("%P: warning: changing start of section %s by %u bytes\n"),
+                                os->name, (unsigned int) (dot - olddot));
+                     }
+                 }
+               else
+                 {
+                   etree_value_type r;
+
+                   r = exp_fold_tree (os->addr_tree,
+                                      abs_output_section,
+                                      lang_allocating_phase_enum,
+                                      dot, &dot);
+                   if (r.valid_p == false)
+                     {
+                       einfo (_("%F%S: non constant address expression for section %s\n"),
+                              os->name);
+                     }
+                   dot = r.value + r.section->bfd_section->vma;
+                 }
+               
+               /* The section starts here.
+                  First, align to what the section needs.  */
 
-      dot = lang_size_sections (s->wild_statement.children.head,
-                               output_section_statement,
-                               &s->wild_statement.children.head,
+               if (os->section_alignment != -1)
+                 dot = align_power (dot, os->section_alignment);
 
-                               fill, dot, relax);
+               bfd_set_section_vma (0, os->bfd_section, dot);
+               
+               os->bfd_section->output_offset = 0;
+             }
 
-      break;
+           (void) lang_size_sections (os->children.head, os, &os->children.head,
+                                      os->fill, dot, relax);
+           
+           /* Ignore the size of the input sections, use the vma and size to
+              align against.  */
 
-     case lang_object_symbols_statement_enum:
-      link_info.create_object_symbols_section =
-       output_section_statement->bfd_section;
-      break;
-     case lang_output_statement_enum:
-     case lang_target_statement_enum:
-      break;
-     case lang_input_section_enum:
-      {
-       asection *i;
+           after = ALIGN_N (os->bfd_section->vma +
+                            os->bfd_section->_raw_size,
+                            /* The coercion here is important, see ld.h.  */
+                            (bfd_vma) os->block_value);
+
+           if (bfd_is_abs_section (os->bfd_section))
+             ASSERT (after == os->bfd_section->vma);
+           else
+             os->bfd_section->_raw_size = after - os->bfd_section->vma;
+           dot = os->bfd_section->vma + os->bfd_section->_raw_size;
+           os->processed = true;
+
+           /* Update dot in the region ?
+              We only do this if the section is going to be allocated,
+              since unallocated sections do not contribute to the region's
+              overall size in memory.  */
+           if (os->region != (lang_memory_region_type *) NULL
+               && (bfd_get_section_flags (output_bfd, os->bfd_section)
+               & (SEC_ALLOC | SEC_LOAD)))
+             {
+               os->region->current = dot;
+               
+               /* Make sure this isn't silly.  */
+               if (os->region->current < os->region->origin
+                   || (os->region->current - os->region->origin
+                       > os->region->length))
+                 {
+                   if (os->addr_tree != (etree_type *) NULL)
+                     {
+                       einfo (_("%X%P: address 0x%v of %B section %s is not within region %s\n"),
+                              os->region->current,
+                              os->bfd_section->owner,
+                              os->bfd_section->name,
+                              os->region->name);
+                     }
+                   else
+                     {
+                       einfo (_("%X%P: region %s is full (%B section %s)\n"),
+                              os->region->name,
+                              os->bfd_section->owner,
+                              os->bfd_section->name);
+                     }
+                   /* Reset the region pointer.  */
+                   os->region->current = os->region->origin;
+                 }
+             }
+         }
+         break;
+
+       case lang_constructors_statement_enum:
+         dot = lang_size_sections (constructor_list.head,
+                                   output_section_statement,
+                                   &s->wild_statement.children.head,
+                                   fill,
+                                   dot, relax);
+         break;
+
+       case lang_data_statement_enum:
+         {
+           unsigned int size = 0;
+
+           s->data_statement.output_vma = dot - output_section_statement->bfd_section->vma;
+           s->data_statement.output_section =
+             output_section_statement->bfd_section;
+
+           switch (s->data_statement.type)
+             {
+             case QUAD:
+             case SQUAD:
+               size = QUAD_SIZE;
+               break;
+             case LONG:
+               size = LONG_SIZE;
+               break;
+             case SHORT:
+               size = SHORT_SIZE;
+               break;
+             case BYTE:
+               size = BYTE_SIZE;
+               break;
+             }
+
+           dot += size;
+           output_section_statement->bfd_section->_raw_size += size;
+           /* The output section gets contents, and then we inspect for
+              any flags set in the input script which override any ALLOC.  */
+           output_section_statement->bfd_section->flags |= SEC_HAS_CONTENTS;
+           if (!(output_section_statement->flags & SEC_NEVER_LOAD)) {
+             output_section_statement->bfd_section->flags |= SEC_ALLOC | SEC_LOAD;
+           }
+         }
+         break;
 
-       i = (*prev)->input_section.section;
-       if (! relax)
+       case lang_reloc_statement_enum:
          {
-           if (i->_cooked_size == 0)
-             i->_cooked_size = i->_raw_size;
+           int size;
+
+           s->reloc_statement.output_vma =
+             dot - output_section_statement->bfd_section->vma;
+           s->reloc_statement.output_section =
+             output_section_statement->bfd_section;
+           size = bfd_get_reloc_size (s->reloc_statement.howto);
+           dot += size;
+           output_section_statement->bfd_section->_raw_size += size;
          }
-       else
+         break;
+     
+       case lang_wild_statement_enum:
+
+         dot = lang_size_sections (s->wild_statement.children.head,
+                                   output_section_statement,
+                                   &s->wild_statement.children.head,
+
+                                   fill, dot, relax);
+
+         break;
+
+       case lang_object_symbols_statement_enum:
+         link_info.create_object_symbols_section =
+           output_section_statement->bfd_section;
+         break;
+       case lang_output_statement_enum:
+       case lang_target_statement_enum:
+         break;
+       case lang_input_section_enum:
          {
-           boolean again;
+           asection *i;
+
+           i = (*prev)->input_section.section;
+           if (! relax)
+             {
+               if (i->_cooked_size == 0)
+                 i->_cooked_size = i->_raw_size;
+             }
+           else
+             {
+               boolean again;
 
-           if (! bfd_relax_section (i->owner, i, &link_info, &again))
-             einfo ("%P%F: can't relax section: %E\n");
-           if (again)
-             relax_again = true;
+               if (! bfd_relax_section (i->owner, i, &link_info, &again))
+                 einfo (_("%P%F: can't relax section: %E\n"));
+               if (again)
+                 relax_again = true;
+             }
+           dot = size_input_section (prev,
+                                     output_section_statement,
+                                     output_section_statement->fill,
+                                     dot, relax);
          }
-       dot = size_input_section (prev,
-                                 output_section_statement,
-                                 output_section_statement->fill,
-                                 dot, relax);
-      }
-      break;
-     case lang_input_statement_enum:
-      break;
-     case lang_fill_statement_enum:
-      s->fill_statement.output_section = output_section_statement->bfd_section;
+         break;
+       case lang_input_statement_enum:
+         break;
+       case lang_fill_statement_enum:
+         s->fill_statement.output_section = output_section_statement->bfd_section;
 
-      fill = s->fill_statement.fill;
-      break;
-     case lang_assignment_statement_enum:
-     {
-       bfd_vma newdot = dot;
-
-       exp_fold_tree (s->assignment_statement.exp,
-                     output_section_statement,
-                     lang_allocating_phase_enum,
-                     dot,
-                     &newdot);
-
-       if (newdot != dot && !relax)
-        {
-          /* The assignment changed dot.  Insert a pad.  */
-          if (output_section_statement == abs_output_section)
-            {
-              /* If we don't have an output section, then just adjust
-                 the default memory address.  */
-              lang_memory_region_lookup ("*default*")->current = newdot;
-            }
-          else
-            {
-              lang_statement_union_type *new =
-                ((lang_statement_union_type *)
-                 stat_alloc (sizeof (lang_padding_statement_type)));
-
-              /* Link into existing chain */
-              new->header.next = *prev;
-              *prev = new;
-              new->header.type = lang_padding_statement_enum;
-              new->padding_statement.output_section =
-                output_section_statement->bfd_section;
-              new->padding_statement.output_offset =
-                dot - output_section_statement->bfd_section->vma;
-              new->padding_statement.fill = fill;
-              new->padding_statement.size = newdot - dot;
-              output_section_statement->bfd_section->_raw_size +=
-                new->padding_statement.size;
-            }
-
-          dot = newdot;
-        }
-     }
-     break;
-
-   case lang_padding_statement_enum:
-     /* If we are relaxing, and this is not the first pass, some
-       padding statements may have been inserted during previous
-       passes.  We may have to move the padding statement to a new
-       location if dot has a different value at this point in this
-       pass than it did at this point in the previous pass.  */
-     s->padding_statement.output_offset =
-       dot - output_section_statement->bfd_section->vma;
-     dot += s->padding_statement.size;
-     output_section_statement->bfd_section->_raw_size +=
-       s->padding_statement.size;
-     break;
-
-     case lang_group_statement_enum:
-       dot = lang_size_sections (s->group_statement.children.head,
-                                output_section_statement,
-                                &s->group_statement.children.head,
-                                fill, dot, relax);
-       break;
-
-     default:
-      FAIL ();
-      break;
+         fill = s->fill_statement.fill;
+         break;
+       case lang_assignment_statement_enum:
+         {
+           bfd_vma newdot = dot;
 
-      /* This can only get here when relaxing is turned on */
+           exp_fold_tree (s->assignment_statement.exp,
+                          output_section_statement,
+                          lang_allocating_phase_enum,
+                          dot,
+                          &newdot);
 
-     case lang_address_statement_enum:
-      break;
+           if (newdot != dot)
+             {
+               /* The assignment changed dot.  Insert a pad.  */
+               if (output_section_statement == abs_output_section)
+                 {
+                   /* If we don't have an output section, then just adjust
+                      the default memory address.  */
+                   lang_memory_region_lookup ("*default*")->current = newdot;
+                 }
+               else if (!relax)
+                 {
+                   lang_statement_union_type *new =
+                     ((lang_statement_union_type *)
+                      stat_alloc (sizeof (lang_padding_statement_type)));
+
+                   /* Link into existing chain.  */
+                   new->header.next = *prev;
+                   *prev = new;
+                   new->header.type = lang_padding_statement_enum;
+                   new->padding_statement.output_section =
+                     output_section_statement->bfd_section;
+                   new->padding_statement.output_offset =
+                     dot - output_section_statement->bfd_section->vma;
+                   new->padding_statement.fill = fill;
+                   new->padding_statement.size = newdot - dot;
+                   output_section_statement->bfd_section->_raw_size +=
+                     new->padding_statement.size;
+                 }
+
+               dot = newdot;
+             }
+         }
+         break;
+
+       case lang_padding_statement_enum:
+         /* If we are relaxing, and this is not the first pass, some
+            padding statements may have been inserted during previous
+            passes.  We may have to move the padding statement to a new
+            location if dot has a different value at this point in this
+            pass than it did at this point in the previous pass.  */
+         s->padding_statement.output_offset =
+           dot - output_section_statement->bfd_section->vma;
+         dot += s->padding_statement.size;
+         output_section_statement->bfd_section->_raw_size +=
+           s->padding_statement.size;
+         break;
+
+       case lang_group_statement_enum:
+         dot = lang_size_sections (s->group_statement.children.head,
+                                   output_section_statement,
+                                   &s->group_statement.children.head,
+                                   fill, dot, relax);
+         break;
+
+       default:
+         FAIL ();
+         break;
+
+         /* This can only get here when relaxing is turned on.  */
+
+       case lang_address_statement_enum:
+         break;
+       }
+      prev = &s->header.next;
     }
-    prev = &s->header.next;
-  }
   return dot;
 }
 
@@ -2524,8 +2777,8 @@ lang_do_assignments (s, output_section_statement, fill, dot)
                                   abs_output_section,
                                   lang_final_phase_enum, dot, &dot);
            s->data_statement.value = value.value;
-           if (value.valid == false)
-             einfo ("%F%P: invalid data statement\n");
+           if (value.valid_p == false)
+             einfo (_("%F%P: invalid data statement\n"));
          }
          switch (s->data_statement.type)
            {
@@ -2553,8 +2806,8 @@ lang_do_assignments (s, output_section_statement, fill, dot)
                                   abs_output_section,
                                   lang_final_phase_enum, dot, &dot);
            s->reloc_statement.addend_value = value.value;
-           if (value.valid == false)
-             einfo ("%F%P: invalid reloc statement\n");
+           if (value.valid_p == false)
+             einfo (_("%F%P: invalid reloc statement\n"));
          }
          dot += bfd_get_reloc_size (s->reloc_statement.howto);
          break;
@@ -2688,29 +2941,44 @@ lang_finish ()
                                    h->u.def.section->output_section)
             + h->u.def.section->output_offset);
       if (! bfd_set_start_address (output_bfd, val))
-       einfo ("%P%F:%s: can't set start address\n", entry_symbol);
+       einfo (_("%P%F:%s: can't set start address\n"), entry_symbol);
     }
   else
     {
-      asection *ts;
+      bfd_vma val;
+      CONST char *send;
 
-      /* Can't find the entry symbol.  Use the first address in the
-        text section.  */
-      ts = bfd_get_section_by_name (output_bfd, ".text");
-      if (ts != (asection *) NULL)
+      /* We couldn't find the entry symbol.  Try parsing it as a
+         number.  */
+      val = bfd_scan_vma (entry_symbol, &send, 0);
+      if (*send == '\0')
        {
-         if (warn)
-           einfo ("%P: warning: cannot find entry symbol %s; defaulting to %V\n",
-                  entry_symbol, bfd_get_section_vma (output_bfd, ts));
-         if (! bfd_set_start_address (output_bfd,
-                                      bfd_get_section_vma (output_bfd, ts)))
-           einfo ("%P%F: can't set start address\n");
+         if (! bfd_set_start_address (output_bfd, val))
+           einfo (_("%P%F: can't set start address\n"));
        }
       else
        {
-         if (warn)
-           einfo ("%P: warning: cannot find entry symbol %s; not setting start address\n",
-                  entry_symbol);
+         asection *ts;
+
+         /* Can't find the entry symbol, and it's not a number.  Use
+            the first address in the text section.  */
+         ts = bfd_get_section_by_name (output_bfd, ".text");
+         if (ts != (asection *) NULL)
+           {
+             if (warn)
+               einfo (_("%P: warning: cannot find entry symbol %s; defaulting to %V\n"),
+                      entry_symbol, bfd_get_section_vma (output_bfd, ts));
+             if (! bfd_set_start_address (output_bfd,
+                                          bfd_get_section_vma (output_bfd,
+                                                               ts)))
+               einfo (_("%P%F: can't set start address\n"));
+           }
+         else
+           {
+             if (warn)
+               einfo (_("%P: warning: cannot find entry symbol %s; not setting start address\n"),
+                      entry_symbol);
+           }
        }
     }
 }
@@ -2750,7 +3018,7 @@ lang_check ()
       if (compatible == NULL)
        {
          if (command_line.warn_mismatch)
-           einfo ("%P: warning: %s architecture of input file `%B' is incompatible with %s output\n",
+           einfo (_("%P: warning: %s architecture of input file `%B' is incompatible with %s output\n"),
                   bfd_printable_name (input_bfd), input_bfd,
                   bfd_printable_name (output_bfd));
        }
@@ -2768,7 +3036,7 @@ lang_check ()
          if (! bfd_merge_private_bfd_data (input_bfd, output_bfd))
            {
              if (command_line.warn_mismatch)
-               einfo ("%E%X: failed to merge target specific data of file %B\n",
+               einfo (_("%E%X: failed to merge target specific data of file %B\n"),
                       input_bfd);
            }
          if (! command_line.warn_mismatch)
@@ -2853,8 +3121,8 @@ lang_one_common (h, info)
 
       if (! header_printed)
        {
-         minfo ("\nAllocating common symbols\n");
-         minfo ("Common symbol       size              file\n\n");
+         minfo (_("\nAllocating common symbols\n"));
+         minfo (_("Common symbol       size              file\n\n"));
          header_printed = true;
        }
 
@@ -2943,7 +3211,7 @@ lang_place_orphans ()
                          /* This message happens when using the
                              svr3.ifile linker script, so I have
                              disabled it.  */
-                         info_msg ("%P: no [COMMON] command, defaulting to .bss\n");
+                         info_msg (_("%P: no [COMMON] command, defaulting to .bss\n"));
 #endif
                          default_common_section =
                            lang_output_section_statement_lookup (".bss");
@@ -3006,7 +3274,7 @@ lang_set_flags (ptr, flags)
          break;
 
        default:
-         einfo ("%P%F: invalid syntax in flags\n");
+         einfo (_("%P%F: invalid syntax in flags\n"));
          break;
        }
       flags++;
@@ -3219,6 +3487,197 @@ reset_memory_regions ()
     }
 }
 
+/* ??? At some point this traversal for GC should share code with the
+   traversal for manipulating the output file.  */
+
+/* Expand a wild statement for a particular FILE, marking its sections KEEP
+   as needed.  SECTION may be NULL, in which case it is a wild card.  */
+
+static void
+lang_gc_wild_section (ptr, section, file)
+     lang_wild_statement_type *ptr;
+     const char *section;
+     lang_input_statement_type *file;
+{
+  if (file->just_syms_flag == false)
+    {
+      register asection *s;
+      boolean wildcard;
+
+      if (section == NULL)
+       wildcard = false;
+      else
+       wildcard = wildcardp (section);
+
+      for (s = file->the_bfd->sections; s != NULL; s = s->next)
+       {
+         boolean match;
+
+         if (section == NULL)
+           match = true;
+         else
+           {
+             const char *name;
+
+             name = bfd_get_section_name (file->the_bfd, s);
+             if (wildcard)
+               match = fnmatch (section, name, 0) == 0 ? true : false;
+             else
+               match = strcmp (section, name) == 0 ? true : false;
+           }
+
+         if (match)
+           {
+             /* If the wild pattern was marked KEEP, the member sections
+                should be as well.  */
+             if (ptr->keep_sections)
+               s->flags |= SEC_KEEP;
+           }
+       }
+    }
+}
+
+/* Handle a wild statement for a single file F.  */
+
+static void
+lang_gc_wild_file (s, section, f)
+     lang_wild_statement_type *s;
+     const char *section;
+     lang_input_statement_type *f;
+{
+  if (f->the_bfd == NULL
+      || ! bfd_check_format (f->the_bfd, bfd_archive))
+    lang_gc_wild_section (s, section, f);
+  else
+    {
+      bfd *member;
+
+      /* This is an archive file.  We must map each member of the
+        archive separately.  */
+      member = bfd_openr_next_archived_file (f->the_bfd, (bfd *) NULL);
+      while (member != NULL)
+       {
+         /* When lookup_name is called, it will call the add_symbols
+            entry point for the archive.  For each element of the
+            archive which is included, BFD will call ldlang_add_file,
+            which will set the usrdata field of the member to the
+            lang_input_statement.  */
+         if (member->usrdata != NULL)
+           {
+             lang_gc_wild_section (s, section,
+                           (lang_input_statement_type *) member->usrdata);
+           }
+
+         member = bfd_openr_next_archived_file (f->the_bfd, member);
+       }
+    }
+}
+
+/* Handle a wild statement, marking it against GC.  SECTION or FILE or both
+   may be NULL, indicating that it is a wildcard.  */
+
+static void
+lang_gc_wild (s, section, file)
+     lang_wild_statement_type *s;
+     const char *section;
+     const char *file;
+{
+  lang_input_statement_type *f;
+
+  if (file == (char *) NULL)
+    {
+      /* Perform the iteration over all files in the list */
+      for (f = (lang_input_statement_type *) file_chain.head;
+          f != (lang_input_statement_type *) NULL;
+          f = (lang_input_statement_type *) f->next)
+       {
+         lang_gc_wild_file (s, section, f);
+       }
+    }
+  else if (wildcardp (file))
+    {
+      for (f = (lang_input_statement_type *) file_chain.head;
+          f != (lang_input_statement_type *) NULL;
+          f = (lang_input_statement_type *) f->next)
+       {
+         if (fnmatch (file, f->filename, FNM_FILE_NAME) == 0)
+           lang_gc_wild_file (s, section, f);
+       }
+    }
+  else
+    {
+      /* Perform the iteration over a single file */
+      f = lookup_name (file);
+      lang_gc_wild_file (s, section, f);
+    }
+}
+
+/* Iterate over sections marking them against GC.  */
+
+static void
+lang_gc_sections_1 (s)
+     lang_statement_union_type * s;
+{
+  for (; s != (lang_statement_union_type *) NULL; s = s->next)
+    {
+      switch (s->header.type)
+       {
+       case lang_wild_statement_enum:
+         lang_gc_wild (&s->wild_statement,
+                       s->wild_statement.section_name,
+                       s->wild_statement.filename);
+         break;
+       case lang_constructors_statement_enum:
+         lang_gc_sections_1 (constructor_list.head);
+         break;
+       case lang_output_section_statement_enum:
+         lang_gc_sections_1 (s->output_section_statement.children.head);
+         break;
+       case lang_group_statement_enum:
+         lang_gc_sections_1 (s->group_statement.children.head);
+         break;
+       default:
+         break;
+       }
+    }
+}
+
+static void
+lang_gc_sections ()
+{
+  struct bfd_link_hash_entry *h;
+  ldlang_undef_chain_list_type *ulist, fake_list_start;
+
+  /* Keep all sections so marked in the link script.  */
+
+  lang_gc_sections_1 (statement_list.head);
+
+  /* Keep all sections containing symbols undefined on the command-line.
+     Handle the entry symbol at the same time.  */
+
+  fake_list_start.next = ldlang_undef_chain_list_head;
+  if (entry_symbol == NULL)
+    fake_list_start.name = "start";
+  else
+    fake_list_start.name = (char *) entry_symbol;
+
+  for (ulist = &fake_list_start; ulist; ulist = ulist->next)
+    {
+      h = bfd_link_hash_lookup (link_info.hash, ulist->name, 
+                               false, false, false);
+
+      if (h != (struct bfd_link_hash_entry *) NULL
+          && (h->type == bfd_link_hash_defined
+              || h->type == bfd_link_hash_defweak)
+         && ! bfd_is_abs_section (h->u.def.section))
+       {
+         h->u.def.section->flags |= SEC_KEEP;
+       }
+    }
+
+  bfd_gc_sections (output_bfd, &link_info);
+}
+
 void
 lang_process ()
 {
@@ -3245,10 +3704,18 @@ lang_process ()
      link.  */
   lang_check ();
 
+  /* Handle .exports instead of a version script if we're told to do so.  */
+  if (command_line.version_exports_section)
+    lang_do_version_exports_section ();
+
   /* Build all sets based on the information gathered from the input
      files.  */
   ldctor_build_sets ();
 
+  /* Remove unreferenced sections if asked to.  */
+  if (command_line.gc_sections)
+    lang_gc_sections ();
+
   /* Size up the common data */
   lang_common ();
 
@@ -3284,6 +3751,10 @@ lang_process ()
 
          relax_again = false;
 
+         /* Note: pe-dll.c does something like this also.  If you find
+            you need to change this code, you probably need to change
+            pe-dll.c also.  DJ */
+
          /* Do all the assignments with our current guesses as to
             section sizes.  */
          lang_do_assignments (statement_list.head,
@@ -3320,6 +3791,11 @@ lang_process ()
                       abs_output_section,
                       (fill_type) 0, (bfd_vma) 0);
 
+  /* Make sure that the section addresses make sense.  */
+  if (! link_info.relocateable
+      && command_line.check_section_addresses)
+    lang_check_section_addresses ();
+  
   /* Final stuffs */
 
   ldemul_finish ();
@@ -3329,9 +3805,14 @@ lang_process ()
 /* EXPORTED TO YACC */
 
 void
-lang_add_wild (section_name, filename)
-     CONST char *CONST section_name;
-     CONST char *CONST filename;
+lang_add_wild (section_name, sections_sorted, filename, filenames_sorted,
+              keep_sections, exclude_filename)
+     const char *const section_name;
+     boolean sections_sorted;
+     const char *const filename;
+     boolean filenames_sorted;
+     boolean keep_sections;
+     const char *exclude_filename;
 {
   lang_wild_statement_type *new = new_stat (lang_wild_statement,
                                            stat_ptr);
@@ -3340,12 +3821,16 @@ lang_add_wild (section_name, filename)
     {
       placed_commons = true;
     }
-  if (filename != (char *) NULL)
+  if (filename != NULL && ! wildcardp (filename))
     {
       lang_has_input_file = true;
     }
   new->section_name = section_name;
+  new->sections_sorted = sections_sorted;
   new->filename = filename;
+  new->filenames_sorted = filenames_sorted;
+  new->keep_sections = keep_sections;
+  new->exclude_filename = exclude_filename;
   lang_list_init (&new->children);
 }
 
@@ -3365,21 +3850,6 @@ lang_section_start (name, address)
    called by ENTRY in a linker script.  Command line arguments take
    precedence.  */
 
-/* WINDOWS_NT.  When an entry point has been specified, we will also force
-   this symbol to be defined by calling ldlang_add_undef (equivalent to 
-   having switch -u entry_name on the command line).  The reason we do
-   this is so that the user doesn't have to because they would have to use
-   the -u switch if they were specifying an entry point other than 
-   _mainCRTStartup.  Specifically, if creating a windows application, entry
-   point _WinMainCRTStartup must be specified.
-     What I have found for non console applications (entry not _mainCRTStartup)
-   is that the .obj that contains mainCRTStartup is brought in since it is
-   the first encountered in libc.lib and it has other symbols in it which will
-   be pulled in by the link process.  To avoid this, adding -u with the entry
-   point name specified forces the correct .obj to be used.  We can avoid
-   making the user do this by always adding the entry point name as an
-   undefined symbol.  */
-
 void
 lang_add_entry (name, cmdline)
      CONST char *name;
@@ -3392,14 +3862,6 @@ lang_add_entry (name, cmdline)
       entry_symbol = name;
       entry_from_cmdline = cmdline;
     }
-#if 0 
-  /* don't do this yet.  It seems to work (the executables run), but the 
-     image created is very different from what I was getting before indicating
-     that something else is being pulled in.  When everything else is working,
-     then try to put this back in to see if it will do the right thing for
-     other more complicated applications */
-  ldlang_add_undef (name);
-#endif
 }
 
 void
@@ -3481,7 +3943,7 @@ lang_add_reloc (reloc, howto, section, name, addend)
   p->output_vma = 0;
 }
 
-void
+lang_assignment_statement_type *
 lang_add_assignment (exp)
      etree_type * exp;
 {
@@ -3489,6 +3951,7 @@ lang_add_assignment (exp)
                                                  stat_ptr);
 
   new->exp = exp;
+  return new;
 }
 
 void
@@ -3504,7 +3967,7 @@ lang_startup (name)
 {
   if (startup_file != (char *) NULL)
     {
-      einfo ("%P%Fmultiple STARTUP files\n");
+      einfo (_("%P%Fmultiple STARTUP files\n"));
     }
   first_file->filename = name;
   first_file->local_sym_name = name;
@@ -3547,7 +4010,7 @@ lang_abs_symbol_at_beginning_of (secname, name)
 
   h = bfd_link_hash_lookup (link_info.hash, name, true, true, true);
   if (h == (struct bfd_link_hash_entry *) NULL)
-    einfo ("%P%F: bfd_link_hash_lookup failed: %E\n");
+    einfo (_("%P%F: bfd_link_hash_lookup failed: %E\n"));
 
   if (h->type == bfd_link_hash_new
       || h->type == bfd_link_hash_undefined)
@@ -3581,7 +4044,7 @@ lang_abs_symbol_at_end_of (secname, name)
 
   h = bfd_link_hash_lookup (link_info.hash, name, true, true, true);
   if (h == (struct bfd_link_hash_entry *) NULL)
-    einfo ("%P%F: bfd_link_hash_lookup failed: %E\n");
+    einfo (_("%P%F: bfd_link_hash_lookup failed: %E\n"));
 
   if (h->type == bfd_link_hash_new
       || h->type == bfd_link_hash_undefined)
@@ -3766,7 +4229,7 @@ lang_record_phdrs ()
                             flags,
                             l->at == NULL ? false : true,
                             at, l->filehdr, l->phdrs, c, secs))
-       einfo ("%F%P: bfd_record_phdr failed: %E\n");
+       einfo (_("%F%P: bfd_record_phdr failed: %E\n"));
     }
 
   free (secs);
@@ -3785,7 +4248,7 @@ lang_record_phdrs ()
           pl != NULL;
           pl = pl->next)
        if (! pl->used && strcmp (pl->name, "NONE") != 0)
-         einfo ("%X%P: section `%s' assigned to non-existent phdr `%s'\n",
+         einfo (_("%X%P: section `%s' assigned to non-existent phdr `%s'\n"),
                 u->output_section_statement.name, pl->name);
     }
 }
@@ -3887,7 +4350,7 @@ lang_enter_overlay_section (name)
   if (overlay_max == NULL)
     overlay_max = size;
   else
-    overlay_max = exp_binop (MAX, overlay_max, size);
+    overlay_max = exp_binop (MAX_K, overlay_max, size);
 }
 
 /* Finish a section in an overlay.  There isn't any special to do
@@ -3998,18 +4461,97 @@ lang_leave_overlay (fill, memspec, phdrs)
 
 struct bfd_elf_version_tree *lang_elf_version_info;
 
+static int
+lang_vers_match_lang_c (expr, sym)
+     struct bfd_elf_version_expr *expr;
+     const char *sym;
+{
+  if (expr->pattern[0] == '*' && expr->pattern[1] == '\0')
+    return 1;
+  return fnmatch (expr->pattern, sym, 0) == 0;
+}
+
+static int
+lang_vers_match_lang_cplusplus (expr, sym)
+     struct bfd_elf_version_expr *expr;
+     const char *sym;
+{
+  char *alt_sym;
+  int result;
+
+  if (expr->pattern[0] == '*' && expr->pattern[1] == '\0')
+    return 1;
+
+  alt_sym = cplus_demangle(sym, /* DMGL_NO_TPARAMS */ 0);
+  if (!alt_sym)
+    {
+      /* cplus_demangle (also) returns NULL when it is not a C++ symbol.
+        Should we early out false in this case?  */
+      result = fnmatch (expr->pattern, sym, 0) == 0;
+    }
+  else
+    {
+      result = fnmatch (expr->pattern, alt_sym, 0) == 0;
+      free (alt_sym);
+    }
+
+  return result;
+}
+
+static int
+lang_vers_match_lang_java (expr, sym)
+     struct bfd_elf_version_expr *expr;
+     const char *sym;
+{
+  char *alt_sym;
+  int result;
+
+  if (expr->pattern[0] == '*' && expr->pattern[1] == '\0')
+    return 1;
+
+  alt_sym = cplus_demangle(sym, DMGL_JAVA);
+  if (!alt_sym)
+    {
+      /* cplus_demangle (also) returns NULL when it is not a Java symbol.
+        Should we early out false in this case?  */
+      result = fnmatch (expr->pattern, sym, 0) == 0;
+    }
+  else
+    {
+      result = fnmatch (expr->pattern, alt_sym, 0) == 0;
+      free (alt_sym);
+    }
+
+  return result;
+}
+
 /* This is called for each variable name or match expression.  */
 
 struct bfd_elf_version_expr *
-lang_new_vers_regex (orig, new)
+lang_new_vers_regex (orig, new, lang)
      struct bfd_elf_version_expr *orig;
      const char *new;
+     const char *lang;
 {
   struct bfd_elf_version_expr *ret;
 
   ret = (struct bfd_elf_version_expr *) xmalloc (sizeof *ret);
   ret->next = orig;
-  ret->match = new;
+  ret->pattern = new;
+
+  if (lang == NULL || strcasecmp (lang, "C") == 0)
+    ret->match = lang_vers_match_lang_c;
+  else if (strcasecmp (lang, "C++") == 0)
+    ret->match = lang_vers_match_lang_cplusplus;
+  else if (strcasecmp (lang, "Java") == 0)
+    ret->match = lang_vers_match_lang_java;
+  else
+    {
+      einfo (_("%X%P: unknown language `%s' in version information\n"),
+            lang);
+      ret->match = lang_vers_match_lang_c;
+    }
+
   return ret;
 }
 
@@ -4054,7 +4596,7 @@ lang_register_vers_node (name, version, deps)
   /* Make sure this node has a unique name.  */
   for (t = lang_elf_version_info; t != NULL; t = t->next)
     if (strcmp (t->name, name) == 0)
-      einfo ("%X%P: duplicate version tag `%s'\n", name);
+      einfo (_("%X%P: duplicate version tag `%s'\n"), name);
 
   /* Check the global and local match names, and make sure there
      aren't any duplicates.  */
@@ -4066,9 +4608,9 @@ lang_register_vers_node (name, version, deps)
          struct bfd_elf_version_expr *e2;
 
          for (e2 = t->locals; e2 != NULL; e2 = e2->next)
-           if (strcmp (e1->match, e2->match) == 0)
-             einfo ("%X%P: duplicate expression `%s' in version information\n",
-                    e1->match);
+           if (strcmp (e1->pattern, e2->pattern) == 0)
+             einfo (_("%X%P: duplicate expression `%s' in version information\n"),
+                    e1->pattern);
        }
     }
 
@@ -4079,9 +4621,9 @@ lang_register_vers_node (name, version, deps)
          struct bfd_elf_version_expr *e2;
 
          for (e2 = t->globals; e2 != NULL; e2 = e2->next)
-           if (strcmp (e1->match, e2->match) == 0)
-             einfo ("%X%P: duplicate expression `%s' in version information\n",
-                    e1->match);
+           if (strcmp (e1->pattern, e2->pattern) == 0)
+             einfo (_("%X%P: duplicate expression `%s' in version information\n"),
+                    e1->pattern);
        }
     }
 
@@ -4117,7 +4659,45 @@ lang_add_vers_depend (list, name)
        }
     }
 
-  einfo ("%X%P: unable to find version dependency `%s'\n", name);
+  einfo (_("%X%P: unable to find version dependency `%s'\n"), name);
 
   return ret;
 }
+
+static void
+lang_do_version_exports_section ()
+{
+  struct bfd_elf_version_expr *greg = NULL, *lreg;
+
+  LANG_FOR_EACH_INPUT_STATEMENT (is)
+    {
+      asection *sec = bfd_get_section_by_name (is->the_bfd, ".exports");
+      char *contents, *p;
+      bfd_size_type len;
+
+      if (sec == NULL)
+        continue;
+
+      len = bfd_section_size (is->the_bfd, sec);
+      contents = xmalloc (len);
+      if (!bfd_get_section_contents (is->the_bfd, sec, contents, 0, len))
+       einfo (_("%X%P: unable to read .exports section contents"), sec);
+
+      p = contents;
+      while (p < contents+len)
+       {
+         greg = lang_new_vers_regex (greg, p, NULL);
+         p = strchr (p, '\0') + 1;
+       }
+
+      /* Do not free the contents, as we used them creating the regex.  */
+
+      /* Do not include this section in the link.  */
+      bfd_set_section_flags (is->the_bfd, sec,
+       bfd_get_section_flags (is->the_bfd, sec) | SEC_EXCLUDE);
+    }
+
+  lreg = lang_new_vers_regex (NULL, "*", NULL);
+  lang_register_vers_node (command_line.version_exports_section,
+                          lang_new_vers_node (greg, lreg), NULL);
+}
This page took 0.045234 seconds and 4 git commands to generate.