Use an accessor function for general_symbol_info::language
[deliverable/binutils-gdb.git] / gdb / mdebugread.c
index 7452d9d88c979a51772058a58ea32332b30e2f43..ceffc012c11f7fca6aa19567e7436277d2da2d65 100644 (file)
@@ -1,8 +1,6 @@
 /* Read a symbol table in ECOFF format (Third-Eye).
 
-   Copyright (C) 1986, 1987, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996,
-   1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2007, 2008, 2009, 2010
-   Free Software Foundation, Inc.
+   Copyright (C) 1986-2019 Free Software Foundation, Inc.
 
    Original version contributed by Alessandro Forin (af@cs.cmu.edu) at
    CMU.  Major work by Per Bothner, John Gilmore and Ian Lance Taylor
 #include "symtab.h"
 #include "gdbtypes.h"
 #include "gdbcore.h"
+#include "filenames.h"
 #include "objfiles.h"
 #include "gdb_obstack.h"
-#include "buildsym.h"
+#include "buildsym-legacy.h"
 #include "stabsread.h"
 #include "complaints.h"
 #include "demangle.h"
-#include "gdb_assert.h"
+#include "gdb-demangle.h"
 #include "block.h"
 #include "dictionary.h"
 #include "mdebugread.h"
-#include "gdb_stat.h"
-#include "gdb_string.h"
+#include <sys/stat.h>
 #include "psympriv.h"
+#include "source.h"
 
 #include "bfd.h"
 
-#include "coff/ecoff.h"                /* COFF-like aspects of ecoff files */
+#include "coff/ecoff.h"                /* COFF-like aspects of ecoff files */
 
 #include "libaout.h"           /* Private BFD a.out information.  */
 #include "aout/aout64.h"
-#include "aout/stab_gnu.h"     /* STABS information */
+#include "aout/stab_gnu.h"     /* STABS information */
 
 #include "expression.h"
 
-extern void _initialize_mdebugread (void);
+#include <algorithm>
 
-/* Provide a way to test if we have both ECOFF and ELF symbol tables.  
+/* Provide a way to test if we have both ECOFF and ELF symbol tables.
    We use this define in order to know whether we should override a 
    symbol's ECOFF section with its ELF section.  This is necessary in 
    case the symbol's ELF section could not be represented in ECOFF.  */
 #define ECOFF_IN_ELF(bfd) (bfd_get_flavour (bfd) == bfd_target_elf_flavour \
                           && bfd_get_section_by_name (bfd, ".mdebug") != NULL)
+
+/* The objfile we are currently reading.  */
+
+static struct objfile *mdebugread_objfile;
+
 \f
 
 /* We put a pointer to this structure in the read_symtab_private field
@@ -119,57 +123,57 @@ struct symloc
 #define SC_IS_SBSS(sc) ((sc) == scSBss)
 #define SC_IS_UNDEF(sc) ((sc) == scUndefined || (sc) == scSUndefined)
 \f
-/* Various complaints about symbol reading that don't abort the process */
+/* Various complaints about symbol reading that don't abort the process */
 static void
 index_complaint (const char *arg1)
 {
-  complaint (&symfile_complaints, _("bad aux index at symbol %s"), arg1);
+  complaint (_("bad aux index at symbol %s"), arg1);
 }
 
 static void
 unknown_ext_complaint (const char *arg1)
 {
-  complaint (&symfile_complaints, _("unknown external symbol %s"), arg1);
+  complaint (_("unknown external symbol %s"), arg1);
 }
 
 static void
 basic_type_complaint (int arg1, const char *arg2)
 {
-  complaint (&symfile_complaints, _("cannot map ECOFF basic type 0x%x for %s"),
+  complaint (_("cannot map ECOFF basic type 0x%x for %s"),
             arg1, arg2);
 }
 
 static void
 bad_tag_guess_complaint (const char *arg1)
 {
-  complaint (&symfile_complaints, _("guessed tag type of %s incorrectly"), arg1);
+  complaint (_("guessed tag type of %s incorrectly"), arg1);
 }
 
 static void
 bad_rfd_entry_complaint (const char *arg1, int arg2, int arg3)
 {
-  complaint (&symfile_complaints, _("bad rfd entry for %s: file %d, index %d"),
+  complaint (_("bad rfd entry for %s: file %d, index %d"),
             arg1, arg2, arg3);
 }
 
 static void
 unexpected_type_code_complaint (const char *arg1)
 {
-  complaint (&symfile_complaints, _("unexpected type code for %s"), arg1);
+  complaint (_("unexpected type code for %s"), arg1);
 }
 
-/* Macros and extra defs */
+/* Macros and extra defs */
 
-/* Puns: hard to find whether -g was used and how */
+/* Puns: hard to find whether -g was used and how */
 
 #define MIN_GLEVEL GLEVEL_0
 #define compare_glevel(a,b)                                    \
        (((a) == GLEVEL_3) ? ((b) < GLEVEL_3) :                 \
         ((b) == GLEVEL_3) ? -1 : (int)((b) - (a)))
 \f
-/* Things that really are local to this module */
+/* Things that really are local to this module */
 
-/* Remember what we deduced to be the source language of this psymtab. */
+/* Remember what we deduced to be the source language of this psymtab.  */
 
 static enum language psymtab_language = language_unknown;
 
@@ -185,22 +189,22 @@ static const struct ecoff_debug_swap *debug_swap;
 
 static struct ecoff_debug_info *debug_info;
 
-/* Pointer to current file decriptor record, and its index */
+/* Pointer to current file descriptor record, and its index.  */
 
 static FDR *cur_fdr;
 static int cur_fd;
 
-/* Index of current symbol */
+/* Index of current symbol */
 
 static int cur_sdx;
 
 /* Note how much "debuggable" this image is.  We would like
-   to see at least one FDR with full symbols */
+   to see at least one FDR with full symbols */
 
 static int max_gdbinfo;
 static int max_glevel;
 
-/* When examining .o files, report on undefined symbols */
+/* When examining .o files, report on undefined symbols */
 
 static int n_undef_symbols, n_undef_labels, n_undef_vars, n_undef_procs;
 
@@ -212,43 +216,45 @@ static char stabs_symbol[] = STABS_SYMBOL;
 
 static int found_ecoff_debugging_info;
 
-/* Forward declarations */
+/* Forward declarations */
 
 static int upgrade_type (int, struct type **, int, union aux_ext *,
-                        int, char *);
+                        int, const char *);
 
-static void parse_partial_symbols (struct objfile *);
+static void parse_partial_symbols (minimal_symbol_reader &,
+                                  struct objfile *);
 
 static int has_opaque_xref (FDR *, SYMR *);
 
 static int cross_ref (int, union aux_ext *, struct type **, enum type_code,
-                     char **, int, char *);
+                     const char **, int, const char *);
 
-static struct symbol *new_symbol (char *);
+static struct symbol *new_symbol (const char *);
 
 static struct type *new_type (char *);
 
 enum block_type { FUNCTION_BLOCK, NON_FUNCTION_BLOCK };
 
-static struct block *new_block (enum block_type);
+static struct block *new_block (enum block_type, enum language);
 
-static struct symtab *new_symtab (char *, int, struct objfile *);
+static struct compunit_symtab *new_symtab (const char *, int, struct objfile *);
 
 static struct linetable *new_linetable (int);
 
 static struct blockvector *new_bvect (int);
 
 static struct type *parse_type (int, union aux_ext *, unsigned int, int *,
-                               int, char *);
+                               int, const char *);
 
-static struct symbol *mylookup_symbol (char *, struct block *, domain_enum,
-                                      enum address_class);
+static struct symbol *mylookup_symbol (const char *, const struct block *,
+                                      domain_enum, enum address_class);
 
 static void sort_blocks (struct symtab *);
 
-static struct partial_symtab *new_psymtab (char *, struct objfile *);
+static struct partial_symtab *new_psymtab (const char *, struct objfile *);
 
-static void psymtab_to_symtab_1 (struct partial_symtab *, char *);
+static void psymtab_to_symtab_1 (struct objfile *objfile,
+                                struct partial_symtab *, const char *);
 
 static void add_block (struct block *, struct symtab *);
 
@@ -261,41 +267,37 @@ static struct linetable *shrink_linetable (struct linetable *);
 static void handle_psymbol_enumerators (struct objfile *, FDR *, int,
                                        CORE_ADDR);
 
-static char *mdebug_next_symbol_text (struct objfile *);
+static const char *mdebug_next_symbol_text (struct objfile *);
 \f
-/* Exported procedure: Builds a symtab from the PST partial one.
-   Restores the environment in effect when PST was created, delegates
+/* Exported procedure: Builds a symtab from the partial symtab SELF.
+   Restores the environment in effect when SELF was created, delegates
    most of the work to an ancillary procedure, and sorts
-   and reorders the symtab list at the end */
+   and reorders the symtab list at the end.  SELF is not NULL.  */
 
 static void
-mdebug_psymtab_to_symtab (struct partial_symtab *pst)
+mdebug_read_symtab (struct partial_symtab *self, struct objfile *objfile)
 {
-
-  if (!pst)
-    return;
-
   if (info_verbose)
     {
-      printf_filtered (_("Reading in symbols for %s..."), pst->filename);
+      printf_filtered (_("Reading in symbols for %s..."), self->filename);
       gdb_flush (gdb_stdout);
     }
 
   next_symbol_text_func = mdebug_next_symbol_text;
 
-  psymtab_to_symtab_1 (pst, pst->filename);
+  psymtab_to_symtab_1 (objfile, self, self->filename);
 
   /* Match with global symbols.  This only needs to be done once,
-     after all of the symtabs and dependencies have been read in.   */
-  scan_file_globals (pst->objfile);
+     after all of the symtabs and dependencies have been read in.  */
+  scan_file_globals (objfile);
 
   if (info_verbose)
     printf_filtered (_("done.\n"));
 }
 \f
-/* File-level interface functions */
+/* File-level interface functions */
 
-/* Find a file descriptor given its index RF relative to a file CF */
+/* Find a file descriptor given its index RF relative to a file CF */
 
 static FDR *
 get_rfd (int cf, int rf)
@@ -306,7 +308,7 @@ get_rfd (int cf, int rf)
 
   fdrs = debug_info->fdr;
   f = fdrs + cf;
-  /* Object files do not have the RFD table, all refs are absolute */
+  /* Object files do not have the RFD table, all refs are absolute */
   if (f->rfdBase == 0)
     return fdrs + rf;
   (*debug_swap->swap_rfd_in) (cur_bfd,
@@ -317,9 +319,9 @@ get_rfd (int cf, int rf)
   return fdrs + rfd;
 }
 
-/* Return a safer print NAME for a file descriptor */
+/* Return a safer print NAME for a file descriptor */
 
-static char *
+static const char *
 fdr_name (FDR *f)
 {
   if (f->rss == -1)
@@ -334,7 +336,8 @@ fdr_name (FDR *f)
    different sections are relocated via the SECTION_OFFSETS.  */
 
 void
-mdebug_build_psymtabs (struct objfile *objfile,
+mdebug_build_psymtabs (minimal_symbol_reader &reader,
+                      struct objfile *objfile,
                       const struct ecoff_debug_swap *swap,
                       struct ecoff_debug_info *info)
 {
@@ -343,21 +346,19 @@ mdebug_build_psymtabs (struct objfile *objfile,
   debug_info = info;
 
   stabsread_new_init ();
-  buildsym_new_init ();
   free_header_files ();
   init_header_files ();
         
   /* Make sure all the FDR information is swapped in.  */
-  if (info->fdr == (FDR *) NULL)
+  if (info->fdr == NULL)
     {
       char *fdr_src;
       char *fdr_end;
       FDR *fdr_ptr;
 
-      info->fdr = (FDR *) obstack_alloc (&objfile->objfile_obstack,
-                                        (info->symbolic_header.ifdMax
-                                         * sizeof (FDR)));
-      fdr_src = info->external_fdr;
+      info->fdr = (FDR *) XOBNEWVEC (&objfile->objfile_obstack, FDR,
+                                    info->symbolic_header.ifdMax);
+      fdr_src = (char *) info->external_fdr;
       fdr_end = (fdr_src
                 + info->symbolic_header.ifdMax * swap->external_fdr_size);
       fdr_ptr = info->fdr;
@@ -365,7 +366,7 @@ mdebug_build_psymtabs (struct objfile *objfile,
        (*swap->swap_fdr_in) (objfile->obfd, fdr_src, fdr_ptr);
     }
 
-  parse_partial_symbols (objfile);
+  parse_partial_symbols (reader, objfile);
 
 #if 0
   /* Check to make sure file was compiled with -g.  If not, warn the
@@ -373,17 +374,18 @@ mdebug_build_psymtabs (struct objfile *objfile,
   if (compare_glevel (max_glevel, GLEVEL_2) < 0)
     {
       if (max_gdbinfo == 0)
-       printf_unfiltered (_("\n%s not compiled with -g, debugging support is limited.\n"),
+       printf_unfiltered (_("\n%s not compiled with -g, "
+                            "debugging support is limited.\n"),
                           objfile->name);
-      printf_unfiltered (_("You should compile with -g2 or -g3 for best debugging support.\n"));
-      gdb_flush (gdb_stdout);
+      printf_unfiltered (_("You should compile with -g2 or "
+                          "-g3 for best debugging support.\n"));
     }
 #endif
 }
 \f
 /* Local utilities */
 
-/* Map of FDR indexes to partial symtabs */
+/* Map of FDR indexes to partial symtabs */
 
 struct pst_map
 {
@@ -396,13 +398,13 @@ struct pst_map
 /* Utility stack, used to nest procedures and blocks properly.
    It is a doubly linked list, to avoid too many alloc/free.
    Since we might need it quite a few times it is NOT deallocated
-   after use. */
+   after use.  */
 
 static struct parse_stack
   {
     struct parse_stack *next, *prev;
-    struct symtab *cur_st;     /* Current symtab. */
-    struct block *cur_block;   /* Block in it. */
+    struct symtab *cur_st;     /* Current symtab.  */
+    struct block *cur_block;   /* Block in it.  */
 
     /* What are we parsing.  stFile, or stBlock are for files and
        blocks.  stProc or stStaticProc means we have seen the start of a
@@ -412,41 +414,41 @@ static struct parse_stack
 
     int blocktype;
 
-    struct type *cur_type;     /* Type we parse fields for. */
-    int cur_field;             /* Field number in cur_type. */
-    CORE_ADDR procadr;         /* Start addres of this procedure */
-    int numargs;               /* Its argument count */
+    struct type *cur_type;     /* Type we parse fields for.  */
+    int cur_field;             /* Field number in cur_type.  */
+    CORE_ADDR procadr;         /* Start addres of this procedure */
+    int numargs;               /* Its argument count */
   }
 
  *top_stack;                   /* Top stack ptr */
 
 
-/* Enter a new lexical context */
+/* Enter a new lexical context */
 
 static void
 push_parse_stack (void)
 {
-  struct parse_stack *new;
+  struct parse_stack *newobj;
 
-  /* Reuse frames if possible */
+  /* Reuse frames if possible */
   if (top_stack && top_stack->prev)
-    new = top_stack->prev;
+    newobj = top_stack->prev;
   else
-    new = (struct parse_stack *) xzalloc (sizeof (struct parse_stack));
-  /* Initialize new frame with previous content */
+    newobj = XCNEW (struct parse_stack);
+  /* Initialize new frame with previous content */
   if (top_stack)
     {
-      struct parse_stack *prev = new->prev;
+      struct parse_stack *prev = newobj->prev;
 
-      *new = *top_stack;
-      top_stack->prev = new;
-      new->prev = prev;
-      new->next = top_stack;
+      *newobj = *top_stack;
+      top_stack->prev = newobj;
+      newobj->prev = prev;
+      newobj->next = top_stack;
     }
-  top_stack = new;
+  top_stack = newobj;
 }
 
-/* Exit a lexical context */
+/* Exit a lexical context */
 
 static void
 pop_parse_stack (void)
@@ -461,7 +463,7 @@ pop_parse_stack (void)
 /* Cross-references might be to things we haven't looked at
    yet, e.g. type references.  To avoid too many type
    duplications we keep a quick fixup table, an array
-   of lists of references indexed by file descriptor */
+   of lists of references indexed by file descriptor */
 
 struct mdebug_pending
 {
@@ -471,16 +473,14 @@ struct mdebug_pending
 };
 
 
-/* The pending information is kept for an entire object file, and used
-   to be in the deprecated_sym_private field.  I took it out when I
-   split mdebugread from mipsread, because this might not be the only
-   type of symbols read from an object file.  Instead, we allocate the
-   pending information table when we create the partial symbols, and
-   we store a pointer to the single table in each psymtab.  */
+/* The pending information is kept for an entire object file.  We
+   allocate the pending information table when we create the partial
+   symbols, and we store a pointer to the single table in each
+   psymtab.  */
 
 static struct mdebug_pending **pending_list;
 
-/* Check whether we already saw symbol SH in file FH */
+/* Check whether we already saw symbol SH in file FH */
 
 static struct mdebug_pending *
 is_pending_symbol (FDR *fh, char *sh)
@@ -488,14 +488,14 @@ is_pending_symbol (FDR *fh, char *sh)
   int f_idx = fh - debug_info->fdr;
   struct mdebug_pending *p;
 
-  /* Linear search is ok, list is typically no more than 10 deep */
+  /* Linear search is ok, list is typically no more than 10 deep */
   for (p = pending_list[f_idx]; p; p = p->next)
     if (p->s == sh)
       break;
   return p;
 }
 
-/* Add a new symbol SH of type T */
+/* Add a new symbol SH of type T */
 
 static void
 add_pending (FDR *fh, char *sh, struct type *t)
@@ -503,12 +503,10 @@ add_pending (FDR *fh, char *sh, struct type *t)
   int f_idx = fh - debug_info->fdr;
   struct mdebug_pending *p = is_pending_symbol (fh, sh);
 
-  /* Make sure we do not make duplicates */
+  /* Make sure we do not make duplicates */
   if (!p)
     {
-      p = ((struct mdebug_pending *)
-          obstack_alloc (&current_objfile->objfile_obstack,
-                         sizeof (struct mdebug_pending)));
+      p = XOBNEW (&mdebugread_objfile->objfile_obstack, mdebug_pending);
       p->s = sh;
       p->t = t;
       p->next = pending_list[f_idx];
@@ -517,9 +515,16 @@ add_pending (FDR *fh, char *sh, struct type *t)
 }
 \f
 
-/* Parsing Routines proper. */
+/* Parsing Routines proper.  */
 
-/* Parse a single symbol. Mostly just make up a GDB symbol for it.
+static void
+reg_value_complaint (int regnum, int num_regs, const char *sym)
+{
+  complaint (_("bad register number %d (max %d) in symbol %s"),
+             regnum, num_regs - 1, sym);
+}
+
+/* Parse a single symbol.  Mostly just make up a GDB symbol for it.
    For blocks, procedures and types we open a new lexical context.
    This is basically just a big switch on the symbol's type.  Argument
    AX is the base pointer of aux symbols for this file (fh->iauxBase).
@@ -531,13 +536,48 @@ add_pending (FDR *fh, char *sh, struct type *t)
 static int
 mdebug_reg_to_regnum (struct symbol *sym, struct gdbarch *gdbarch)
 {
-  return gdbarch_ecoff_reg_to_regnum (gdbarch, SYMBOL_VALUE (sym));
+  int regno = gdbarch_ecoff_reg_to_regnum (gdbarch, SYMBOL_VALUE (sym));
+
+  if (regno < 0 || regno >= gdbarch_num_cooked_regs (gdbarch))
+    {
+      reg_value_complaint (regno, gdbarch_num_cooked_regs (gdbarch),
+                          sym->print_name ());
+
+      regno = gdbarch_sp_regnum (gdbarch); /* Known safe, though useless.  */
+    }
+
+  return regno;
 }
 
 static const struct symbol_register_ops mdebug_register_funcs = {
   mdebug_reg_to_regnum
 };
 
+/* The "aclass" indices for computed symbols.  */
+
+static int mdebug_register_index;
+static int mdebug_regparm_index;
+
+/* Common code for symbols describing data.  */
+
+static void
+add_data_symbol (SYMR *sh, union aux_ext *ax, int bigend,
+                struct symbol *s, int aclass_index, struct block *b,
+                struct objfile *objfile, const char *name)
+{
+  SYMBOL_DOMAIN (s) = VAR_DOMAIN;
+  SYMBOL_ACLASS_INDEX (s) = aclass_index;
+  add_symbol (s, top_stack->cur_st, b);
+
+  /* Type could be missing if file is compiled without debugging info.  */
+  if (SC_IS_UNDEF (sh->sc)
+      || sh->sc == scNil || sh->index == indexNil)
+    SYMBOL_TYPE (s) = objfile_type (objfile)->nodebug_data_symbol;
+  else
+    SYMBOL_TYPE (s) = parse_type (cur_fd, ax, sh->index, 0, bigend, name);
+  /* Value of a data symbol is its memory address.  */
+}
+
 static int
 parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
              struct section_offsets *section_offsets, struct objfile *objfile)
@@ -545,19 +585,17 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
   struct gdbarch *gdbarch = get_objfile_arch (objfile);
   const bfd_size_type external_sym_size = debug_swap->external_sym_size;
   void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
-  char *name;
+  const char *name;
   struct symbol *s;
   struct block *b;
   struct mdebug_pending *pend;
   struct type *t;
-  struct field *f;
   int count = 1;
-  enum address_class class;
   TIR tir;
   long svalue = sh->value;
   int bitsize;
 
-  if (ext_sh == (char *) NULL)
+  if (ext_sh == NULL)
     name = debug_info->ssext + sh->iss;
   else
     name = debug_info->ss + cur_fdr->issBase + sh->iss;
@@ -592,16 +630,15 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
     case stNil:
       break;
 
-    case stGlobal:             /* external symbol, goes into global block */
-      class = LOC_STATIC;
-      b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (top_stack->cur_st),
+    case stGlobal:             /* External symbol, goes into global block.  */
+      b = BLOCKVECTOR_BLOCK (SYMTAB_BLOCKVECTOR (top_stack->cur_st),
                             GLOBAL_BLOCK);
       s = new_symbol (name);
-      SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
-      goto data;
+      SET_SYMBOL_VALUE_ADDRESS (s, (CORE_ADDR) sh->value);
+      add_data_symbol (sh, ax, bigend, s, LOC_STATIC, b, objfile, name);
+      break;
 
-    case stStatic:             /* static data, goes into current block. */
-      class = LOC_STATIC;
+    case stStatic:             /* Static data, goes into current block.  */
       b = top_stack->cur_block;
       s = new_symbol (name);
       if (SC_IS_COMMON (sh->sc))
@@ -609,48 +646,36 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
          /* It is a FORTRAN common block.  At least for SGI Fortran the
             address is not in the symbol; we need to fix it later in
             scan_file_globals.  */
-         int bucket = hashname (SYMBOL_LINKAGE_NAME (s));
+         int bucket = hashname (s->linkage_name ());
          SYMBOL_VALUE_CHAIN (s) = global_sym_chain[bucket];
          global_sym_chain[bucket] = s;
        }
       else
-       SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
-      goto data;
+       SET_SYMBOL_VALUE_ADDRESS (s, (CORE_ADDR) sh->value);
+      add_data_symbol (sh, ax, bigend, s, LOC_STATIC, b, objfile, name);
+      break;
 
-    case stLocal:              /* local variable, goes into current block */
+    case stLocal:              /* Local variable, goes into current block.  */
       b = top_stack->cur_block;
       s = new_symbol (name);
       SYMBOL_VALUE (s) = svalue;
       if (sh->sc == scRegister)
-       {
-         class = LOC_REGISTER;
-         SYMBOL_REGISTER_OPS (s) = &mdebug_register_funcs;
-       }
+       add_data_symbol (sh, ax, bigend, s, mdebug_register_index,
+                        b, objfile, name);
       else
-       class = LOC_LOCAL;
-
-    data:                      /* Common code for symbols describing data */
-      SYMBOL_DOMAIN (s) = VAR_DOMAIN;
-      SYMBOL_CLASS (s) = class;
-      add_symbol (s, top_stack->cur_st, b);
-
-      /* Type could be missing if file is compiled without debugging info.  */
-      if (SC_IS_UNDEF (sh->sc)
-         || sh->sc == scNil || sh->index == indexNil)
-       SYMBOL_TYPE (s) = objfile_type (objfile)->nodebug_data_symbol;
-      else
-       SYMBOL_TYPE (s) = parse_type (cur_fd, ax, sh->index, 0, bigend, name);
-      /* Value of a data symbol is its memory address */
+       add_data_symbol (sh, ax, bigend, s, LOC_LOCAL,
+                        b, objfile, name);
       break;
 
-    case stParam:              /* arg to procedure, goes into current block */
+    case stParam:              /* Arg to procedure, goes into current
+                                  block.  */
       max_gdbinfo++;
       found_ecoff_debugging_info = 1;
       top_stack->numargs++;
 
       /* Special GNU C++ name.  */
       if (is_cplus_marker (name[0]) && name[1] == 't' && name[2] == 0)
-       name = "this";          /* FIXME, not alloc'd in obstack */
+       name = "this";          /* FIXME, not alloc'd in obstack */
       s = new_symbol (name);
 
       SYMBOL_DOMAIN (s) = VAR_DOMAIN;
@@ -659,21 +684,19 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
        {
        case scRegister:
          /* Pass by value in register.  */
-         SYMBOL_CLASS (s) = LOC_REGISTER;
-         SYMBOL_REGISTER_OPS (s) = &mdebug_register_funcs;
+         SYMBOL_ACLASS_INDEX (s) = mdebug_register_index;
          break;
        case scVar:
          /* Pass by reference on stack.  */
-         SYMBOL_CLASS (s) = LOC_REF_ARG;
+         SYMBOL_ACLASS_INDEX (s) = LOC_REF_ARG;
          break;
        case scVarRegister:
          /* Pass by reference in register.  */
-         SYMBOL_CLASS (s) = LOC_REGPARM_ADDR;
-         SYMBOL_REGISTER_OPS (s) = &mdebug_register_funcs;
+         SYMBOL_ACLASS_INDEX (s) = mdebug_regparm_index;
          break;
        default:
          /* Pass by value on stack.  */
-         SYMBOL_CLASS (s) = LOC_ARG;
+         SYMBOL_ACLASS_INDEX (s) = LOC_ARG;
          break;
        }
       SYMBOL_VALUE (s) = svalue;
@@ -681,17 +704,17 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
       add_symbol (s, top_stack->cur_st, top_stack->cur_block);
       break;
 
-    case stLabel:              /* label, goes into current block */
+    case stLabel:              /* label, goes into current block */
       s = new_symbol (name);
-      SYMBOL_DOMAIN (s) = VAR_DOMAIN;  /* so that it can be used */
-      SYMBOL_CLASS (s) = LOC_LABEL;    /* but not misused */
-      SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
+      SYMBOL_DOMAIN (s) = VAR_DOMAIN;  /* So that it can be used */
+      SYMBOL_ACLASS_INDEX (s) = LOC_LABEL;     /* but not misused.  */
+      SET_SYMBOL_VALUE_ADDRESS (s, (CORE_ADDR) sh->value);
       SYMBOL_TYPE (s) = objfile_type (objfile)->builtin_int;
       add_symbol (s, top_stack->cur_st, top_stack->cur_block);
       break;
 
-    case stProc:               /* Procedure, usually goes into global block */
-    case stStaticProc:         /* Static procedure, goes into current block */
+    case stProc:       /* Procedure, usually goes into global block.  */
+    case stStaticProc: /* Static procedure, goes into current block.  */
       /* For stProc symbol records, we need to check the storage class
          as well, as only (stProc, scText) entries represent "real"
          procedures - See the Compaq document titled "Object File /
@@ -717,8 +740,7 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
                     keep_counting = 0;
                     break;
                   default:
-                    complaint (&symfile_complaints,
-                               _("unknown symbol type 0x%x"), sh->st);
+                    complaint (_("unknown symbol type 0x%x"), sh->st);
                     break;
                 }
             }
@@ -726,8 +748,8 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
         }
       s = new_symbol (name);
       SYMBOL_DOMAIN (s) = VAR_DOMAIN;
-      SYMBOL_CLASS (s) = LOC_BLOCK;
-      /* Type of the return value */
+      SYMBOL_ACLASS_INDEX (s) = LOC_BLOCK;
+      /* Type of the return value */
       if (SC_IS_UNDEF (sh->sc) || sh->sc == scNil)
        t = objfile_type (objfile)->builtin_int;
       else
@@ -744,15 +766,16 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
                 printf("howdy\n")" would fail with the error message
                 "program has no memory available".  To avoid this, we
                 patch up the type and make it void*
-                instead. (davidm@azstarnet.com)
-              */
+                instead. (davidm@azstarnet.com).  */
              t = make_pointer_type (t, NULL);
            }
        }
       b = top_stack->cur_block;
       if (sh->st == stProc)
        {
-         struct blockvector *bv = BLOCKVECTOR (top_stack->cur_st);
+         const struct blockvector *bv
+           = SYMTAB_BLOCKVECTOR (top_stack->cur_st);
+
          /* The next test should normally be true, but provides a
             hook for nested functions (which we don't want to make
             global).  */
@@ -766,23 +789,23 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
        }
       add_symbol (s, top_stack->cur_st, b);
 
-      /* Make a type for the procedure itself */
+      /* Make a type for the procedure itself */
       SYMBOL_TYPE (s) = lookup_function_type (t);
 
       /* All functions in C++ have prototypes.  For C we don't have enough
          information in the debug info.  */
-      if (SYMBOL_LANGUAGE (s) == language_cplus)
+      if (s->language () == language_cplus)
        TYPE_PROTOTYPED (SYMBOL_TYPE (s)) = 1;
 
-      /* Create and enter a new lexical context */
-      b = new_block (FUNCTION_BLOCK);
+      /* Create and enter a new lexical context */
+      b = new_block (FUNCTION_BLOCK, s->language ());
       SYMBOL_BLOCK_VALUE (s) = b;
       BLOCK_FUNCTION (b) = s;
       BLOCK_START (b) = BLOCK_END (b) = sh->value;
       BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
       add_block (b, top_stack->cur_st);
 
-      /* Not if we only have partial info */
+      /* Not if we only have partial info */
       if (SC_IS_UNDEF (sh->sc) || sh->sc == scNil)
        break;
 
@@ -804,19 +827,19 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
        long max_value;
        struct field *f;
 
-    case stStruct:             /* Start a block defining a struct type */
+    case stStruct:             /* Start a block defining a struct type */
        type_code = TYPE_CODE_STRUCT;
        goto structured_common;
 
-    case stUnion:              /* Start a block defining a union type */
+    case stUnion:              /* Start a block defining a union type */
        type_code = TYPE_CODE_UNION;
        goto structured_common;
 
-    case stEnum:               /* Start a block defining an enum type */
+    case stEnum:               /* Start a block defining an enum type */
        type_code = TYPE_CODE_ENUM;
        goto structured_common;
 
-    case stBlock:              /* Either a lexical block, or some type */
+    case stBlock:              /* Either a lexical block, or some type */
        if (sh->sc != scInfo && !SC_IS_COMMON (sh->sc))
          goto case_stBlock_code;       /* Lexical block */
 
@@ -830,7 +853,7 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
        push_parse_stack ();
        top_stack->blocktype = stBlock;
 
-       /* First count the number of fields and the highest value. */
+       /* First count the number of fields and the highest value.  */
        nfields = 0;
        max_value = 0;
        for (ext_tsym = ext_sh + external_sym_size;
@@ -845,7 +868,7 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
              {
              case stEnd:
                 /* C++ encodes class types as structures where there the
-                   methods are encoded as stProc. The scope of stProc
+                   methods are encoded as stProc.  The scope of stProc
                    symbols also ends with stEnd, thus creating a risk of
                    taking the wrong stEnd symbol record as the end of
                    the current struct, which would cause GDB to undercount
@@ -923,23 +946,23 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
                /* mips cc puts out a typedef for struct x if it is not yet
                   defined when it encounters
                   struct y { struct x *xp; };
-                  Just ignore it. */
+                  Just ignore it.  */
                break;
 
              case stIndirect:
                /* Irix5 cc puts out a stIndirect for struct x if it is not
                   yet defined when it encounters
                   struct y { struct x *xp; };
-                  Just ignore it. */
+                  Just ignore it.  */
                break;
 
              default:
-               complaint (&symfile_complaints,
-                          _("declaration block contains unhandled symbol type %d"),
+               complaint (_("declaration block contains "
+                            "unhandled symbol type %d"),
                           tsym.st);
              }
          }
-      end_of_fields:;
+      end_of_fields:
 
        /* In an stBlock, there is no way to distinguish structs,
           unions, and enums at this point.  This is a bug in the
@@ -972,7 +995,7 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
           differently from struct/union fields, and that is harder to
           patch up, but luckily we shouldn't need to.  (If there are
           any enumeration members, we can tell for sure it's an enum
-          here.) */
+          here.)  */
 
        if (type_code == TYPE_CODE_UNDEF)
          {
@@ -984,7 +1007,7 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
 
        /* Create a new type or use the pending type.  */
        pend = is_pending_symbol (cur_fdr, ext_sh);
-       if (pend == (struct mdebug_pending *) NULL)
+       if (pend == NULL)
          {
            t = new_type (NULL);
            add_pending (cur_fdr, ext_sh, t);
@@ -996,10 +1019,10 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
           (.Fxx or .xxfake or empty) for unnamed struct/union/enums.
           Alpha cc puts out an sh->iss of zero for those.  */
        if (sh->iss == 0 || name[0] == '.' || name[0] == '\0')
-         TYPE_TAG_NAME (t) = NULL;
+         TYPE_NAME (t) = NULL;
        else
-         TYPE_TAG_NAME (t) = obconcat (&current_objfile->objfile_obstack,
-                                       "", "", name);
+         TYPE_NAME (t) = obconcat (&mdebugread_objfile->objfile_obstack,
+                                   name, (char *) NULL);
 
        TYPE_CODE (t) = type_code;
        TYPE_LENGTH (t) = sh->value;
@@ -1012,7 +1035,7 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
          {
            int unsigned_enum = 1;
 
-           /* This is a non-empty enum. */
+           /* This is a non-empty enum.  */
 
            /* DEC c89 has the number of enumerators in the sh.value field,
               not the type length, so we have to compensate for that
@@ -1037,19 +1060,16 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
                if (tsym.st != stMember)
                  break;
 
-               SET_FIELD_BITPOS (*f, tsym.value);
+               SET_FIELD_ENUMVAL (*f, tsym.value);
                FIELD_TYPE (*f) = t;
                FIELD_NAME (*f) = debug_info->ss + cur_fdr->issBase + tsym.iss;
                FIELD_BITSIZE (*f) = 0;
 
-               enum_sym = ((struct symbol *)
-                           obstack_alloc (&current_objfile->objfile_obstack,
-                                          sizeof (struct symbol)));
-               memset (enum_sym, 0, sizeof (struct symbol));
-               SYMBOL_SET_LINKAGE_NAME
-                 (enum_sym, obsavestring (f->name, strlen (f->name),
-                                          &current_objfile->objfile_obstack));
-               SYMBOL_CLASS (enum_sym) = LOC_CONST;
+               enum_sym = allocate_symbol (mdebugread_objfile);
+               enum_sym->set_linkage_name
+                 (obstack_strdup (&mdebugread_objfile->objfile_obstack,
+                                  f->name));
+               SYMBOL_ACLASS_INDEX (enum_sym) = LOC_CONST;
                SYMBOL_TYPE (enum_sym) = t;
                SYMBOL_DOMAIN (enum_sym) = VAR_DOMAIN;
                SYMBOL_VALUE (enum_sym) = tsym.value;
@@ -1057,14 +1077,14 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
                  unsigned_enum = 0;
                add_symbol (enum_sym, top_stack->cur_st, top_stack->cur_block);
 
-               /* Skip the stMembers that we've handled. */
+               /* Skip the stMembers that we've handled.  */
                count++;
                f++;
              }
            if (unsigned_enum)
              TYPE_UNSIGNED (t) = 1;
          }
-       /* make this the current type */
+       /* Make this the current type.  */
        top_stack->cur_type = t;
        top_stack->cur_field = 0;
 
@@ -1082,7 +1102,7 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
 
        s = new_symbol (name);
        SYMBOL_DOMAIN (s) = STRUCT_DOMAIN;
-       SYMBOL_CLASS (s) = LOC_TYPEDEF;
+       SYMBOL_ACLASS_INDEX (s) = LOC_TYPEDEF;
        SYMBOL_VALUE (s) = 0;
        SYMBOL_TYPE (s) = t;
        add_symbol (s, top_stack->cur_st, top_stack->cur_block);
@@ -1094,8 +1114,8 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
 
     case_stBlock_code:
       found_ecoff_debugging_info = 1;
-      /* beginnning of (code) block. Value of symbol
-         is the displacement from procedure start */
+      /* Beginnning of (code) block.  Value of symbol
+         is the displacement from procedure start */
       push_parse_stack ();
 
       /* Do not start a new block if this is the outermost block of a
@@ -1109,7 +1129,7 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
        }
 
       top_stack->blocktype = stBlock;
-      b = new_block (NON_FUNCTION_BLOCK);
+      b = new_block (NON_FUNCTION_BLOCK, psymtab_language);
       BLOCK_START (b) = sh->value + top_stack->procadr;
       BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
       top_stack->cur_block = b;
@@ -1127,23 +1147,22 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
                top_stack->blocktype == stStaticProc))
        {
          /* Finished with procedure */
-         struct blockvector *bv = BLOCKVECTOR (top_stack->cur_st);
+         const struct blockvector *bv
+           = SYMTAB_BLOCKVECTOR (top_stack->cur_st);
          struct mdebug_extra_func_info *e;
-         struct block *b = top_stack->cur_block;
+         struct block *cblock = top_stack->cur_block;
          struct type *ftype = top_stack->cur_type;
          int i;
 
          BLOCK_END (top_stack->cur_block) += sh->value;        /* size */
 
-         /* Make up special symbol to contain procedure specific info */
+         /* Make up special symbol to contain procedure specific info */
          s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
          SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
-         SYMBOL_CLASS (s) = LOC_CONST;
-         SYMBOL_TYPE (s) = objfile_type (current_objfile)->builtin_void;
-         e = ((struct mdebug_extra_func_info *)
-              obstack_alloc (&current_objfile->objfile_obstack,
-                             sizeof (struct mdebug_extra_func_info)));
-         memset (e, 0, sizeof (struct mdebug_extra_func_info));
+         SYMBOL_ACLASS_INDEX (s) = LOC_CONST;
+         SYMBOL_TYPE (s) = objfile_type (mdebugread_objfile)->builtin_void;
+         e = OBSTACK_ZALLOC (&mdebugread_objfile->objfile_obstack,
+                             mdebug_extra_func_info);
          SYMBOL_VALUE_BYTES (s) = (gdb_byte *) e;
          e->numargs = top_stack->numargs;
          e->pdr.framereg = -1;
@@ -1154,32 +1173,34 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
          for (i = 0; i < BLOCKVECTOR_NBLOCKS (bv); i++)
            {
              struct block *b_bad = BLOCKVECTOR_BLOCK (bv, i);
-             if (BLOCK_SUPERBLOCK (b_bad) == b
+
+             if (BLOCK_SUPERBLOCK (b_bad) == cblock
                  && BLOCK_START (b_bad) == top_stack->procadr
                  && BLOCK_END (b_bad) == top_stack->procadr)
                {
-                 BLOCK_START (b_bad) = BLOCK_START (b);
-                 BLOCK_END (b_bad) = BLOCK_END (b);
+                 BLOCK_START (b_bad) = BLOCK_START (cblock);
+                 BLOCK_END (b_bad) = BLOCK_END (cblock);
                }
            }
 
          if (TYPE_NFIELDS (ftype) <= 0)
            {
              /* No parameter type information is recorded with the function's
-                type.  Set that from the type of the parameter symbols. */
+                type.  Set that from the type of the parameter symbols.  */
              int nparams = top_stack->numargs;
              int iparams;
              struct symbol *sym;
 
              if (nparams > 0)
                {
-                 struct dict_iterator iter;
+                 struct block_iterator iter;
+
                  TYPE_NFIELDS (ftype) = nparams;
                  TYPE_FIELDS (ftype) = (struct field *)
                    TYPE_ALLOC (ftype, nparams * sizeof (struct field));
 
                  iparams = 0;
-                 ALL_BLOCK_SYMBOLS (b, iter, sym)
+                 ALL_BLOCK_SYMBOLS (cblock, iter, sym)
                    {
                      if (iparams == nparams)
                        break;
@@ -1196,9 +1217,9 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
        }
       else if (sh->sc == scText && top_stack->blocktype == stBlock)
        {
-         /* End of (code) block. The value of the symbol is the
+         /* End of (code) block.  The value of the symbol is the
             displacement from the procedure`s start address of the
-            end of this block. */
+            end of this block.  */
          BLOCK_END (top_stack->cur_block) = sh->value + top_stack->procadr;
        }
       else if (sh->sc == scText && top_stack->blocktype == stNil)
@@ -1214,19 +1235,22 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
          ;
        }
       else
-       complaint (&symfile_complaints,
-                  _("stEnd with storage class %d not handled"), sh->sc);
+       complaint (_("stEnd with storage class %d not handled"), sh->sc);
 
-      pop_parse_stack ();      /* restore previous lexical context */
+      pop_parse_stack ();      /* Restore previous lexical context.  */
       break;
 
     case stMember:             /* member of struct or union */
-      f = &TYPE_FIELDS (top_stack->cur_type)[top_stack->cur_field++];
-      FIELD_NAME (*f) = name;
-      SET_FIELD_BITPOS (*f, sh->value);
-      bitsize = 0;
-      FIELD_TYPE (*f) = parse_type (cur_fd, ax, sh->index, &bitsize, bigend, name);
-      FIELD_BITSIZE (*f) = bitsize;
+      {
+       struct field *f
+         = &TYPE_FIELDS (top_stack->cur_type)[top_stack->cur_field++];
+       FIELD_NAME (*f) = name;
+       SET_FIELD_BITPOS (*f, sh->value);
+       bitsize = 0;
+       FIELD_TYPE (*f) = parse_type (cur_fd, ax, sh->index,
+                                     &bitsize, bigend, name);
+       FIELD_BITSIZE (*f) = bitsize;
+      }
       break;
 
     case stIndirect:           /* forward declaration on Irix5 */
@@ -1244,16 +1268,16 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
 
       /* Parse the type or use the pending type.  */
       pend = is_pending_symbol (cur_fdr, ext_sh);
-      if (pend == (struct mdebug_pending *) NULL)
+      if (pend == NULL)
        {
-         t = parse_type (cur_fd, ax, sh->index, (int *) NULL, bigend, name);
+         t = parse_type (cur_fd, ax, sh->index, NULL, bigend, name);
          add_pending (cur_fdr, ext_sh, t);
        }
       else
        t = pend->t;
 
-      /* mips cc puts out a typedef with the name of the struct for forward
-         declarations. These should not go into the symbol table and
+      /* Mips cc puts out a typedef with the name of the struct for forward
+         declarations.  These should not go into the symbol table and
          TYPE_NAME should not be set for them.
          They can't be distinguished from an intentional typedef to
          the same name however:
@@ -1275,7 +1299,7 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
        break;
       s = new_symbol (name);
       SYMBOL_DOMAIN (s) = VAR_DOMAIN;
-      SYMBOL_CLASS (s) = LOC_TYPEDEF;
+      SYMBOL_ACLASS_INDEX (s) = LOC_TYPEDEF;
       SYMBOL_BLOCK_VALUE (s) = top_stack->cur_block;
       SYMBOL_TYPE (s) = t;
       add_symbol (s, top_stack->cur_st, top_stack->cur_block);
@@ -1309,7 +1333,7 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
                 for anything except pointers or functions.  */
            }
          else
-           TYPE_NAME (SYMBOL_TYPE (s)) = SYMBOL_LINKAGE_NAME (s);
+           TYPE_NAME (SYMBOL_TYPE (s)) = s->linkage_name ();
        }
       break;
 
@@ -1326,7 +1350,7 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
     case stConstant:
       break;                   /* constant */
     default:
-      complaint (&symfile_complaints, _("unknown symbol type 0x%x"), sh->st);
+      complaint (_("unknown symbol type 0x%x"), sh->st);
       break;
     }
 
@@ -1335,13 +1359,15 @@ parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
 
 /* Basic types.  */
 
-static const struct objfile_data *basic_type_data;
+static const struct objfile_key<struct type *,
+                               gdb::noop_deleter<struct type *>>
+  basic_type_data;
 
 static struct type *
 basic_type (int bt, struct objfile *objfile)
 {
   struct gdbarch *gdbarch = get_objfile_arch (objfile);
-  struct type **map_bt = objfile_data (objfile, basic_type_data);
+  struct type **map_bt = basic_type_data.get (objfile);
   struct type *tp;
 
   if (bt >= btMax)
@@ -1351,7 +1377,7 @@ basic_type (int bt, struct objfile *objfile)
     {
       map_bt = OBSTACK_CALLOC (&objfile->objfile_obstack,
                               btMax, struct type *);
-      set_objfile_data (objfile, basic_type_data, map_bt);
+      basic_type_data.set (objfile, map_bt);
     }
 
   if (map_bt[bt])
@@ -1364,97 +1390,80 @@ basic_type (int bt, struct objfile *objfile)
       break;
 
     case btAdr:
-      tp = init_type (TYPE_CODE_PTR, 4, TYPE_FLAG_UNSIGNED,
-                     "adr_32", objfile);
-      TYPE_TARGET_TYPE (tp) = objfile_type (objfile)->builtin_void;
+      tp = init_pointer_type (objfile, 32, "adr_32",
+                             objfile_type (objfile)->builtin_void);
       break;
 
     case btChar:
-      tp = init_type (TYPE_CODE_INT, 1, 0,
-                     "char", objfile);
+      tp = init_integer_type (objfile, 8, 0, "char");
+      TYPE_NOSIGN (tp) = 1;
       break;
 
     case btUChar:
-      tp = init_type (TYPE_CODE_INT, 1, TYPE_FLAG_UNSIGNED,
-                     "unsigned char", objfile);
+      tp = init_integer_type (objfile, 8, 1, "unsigned char");
       break;
 
     case btShort:
-      tp = init_type (TYPE_CODE_INT, 2, 0,
-                     "short", objfile);
+      tp = init_integer_type (objfile, 16, 0, "short");
       break;
 
     case btUShort:
-      tp = init_type (TYPE_CODE_INT, 2, TYPE_FLAG_UNSIGNED,
-                     "unsigned short", objfile);
+      tp = init_integer_type (objfile, 16, 1, "unsigned short");
       break;
 
     case btInt:
-      tp = init_type (TYPE_CODE_INT, 4, 0,
-                     "int", objfile);
+      tp = init_integer_type (objfile, 32, 0, "int");
       break;
 
    case btUInt:
-      tp = init_type (TYPE_CODE_INT, 4, TYPE_FLAG_UNSIGNED,
-                     "unsigned int", objfile);
+      tp = init_integer_type (objfile, 32, 1, "unsigned int");
       break;
 
     case btLong:
-      tp = init_type (TYPE_CODE_INT, 4, 0,
-                     "long", objfile);
+      tp = init_integer_type (objfile, 32, 0, "long");
       break;
 
     case btULong:
-      tp = init_type (TYPE_CODE_INT, 4, TYPE_FLAG_UNSIGNED,
-                     "unsigned long", objfile);
+      tp = init_integer_type (objfile, 32, 1, "unsigned long");
       break;
 
     case btFloat:
-      tp = init_type (TYPE_CODE_FLT,
-                     gdbarch_float_bit (gdbarch) / TARGET_CHAR_BIT, 0,
-                     "float", objfile);
+      tp = init_float_type (objfile, gdbarch_float_bit (gdbarch),
+                           "float", gdbarch_float_format (gdbarch));
       break;
 
     case btDouble:
-      tp = init_type (TYPE_CODE_FLT,
-                     gdbarch_double_bit (gdbarch) / TARGET_CHAR_BIT, 0,
-                     "double", objfile);
+      tp = init_float_type (objfile, gdbarch_double_bit (gdbarch),
+                           "double", gdbarch_double_format (gdbarch));
       break;
 
     case btComplex:
-      tp = init_type (TYPE_CODE_COMPLEX,
-                     2 * gdbarch_float_bit (gdbarch) / TARGET_CHAR_BIT, 0,
-                     "complex", objfile);
-      TYPE_TARGET_TYPE (tp) = basic_type (btFloat, objfile);
+      tp = init_complex_type (objfile, "complex",
+                             basic_type (btFloat, objfile));
       break;
 
     case btDComplex:
-      tp = init_type (TYPE_CODE_COMPLEX,
-                     2 * gdbarch_double_bit (gdbarch) / TARGET_CHAR_BIT, 0,
-                     "double complex", objfile);
-      TYPE_TARGET_TYPE (tp) = basic_type (btDouble, objfile);
+      tp = init_complex_type (objfile, "double complex",
+                             basic_type (btFloat, objfile));
       break;
 
     case btFixedDec:
       /* We use TYPE_CODE_INT to print these as integers.  Does this do any
         good?  Would we be better off with TYPE_CODE_ERROR?  Should
         TYPE_CODE_ERROR print things in hex if it knows the size?  */
-      tp = init_type (TYPE_CODE_INT,
-                     gdbarch_int_bit (gdbarch) / TARGET_CHAR_BIT, 0,
-                     "fixed decimal", objfile);
+      tp = init_integer_type (objfile, gdbarch_int_bit (gdbarch), 0,
+                             "fixed decimal");
       break;
 
     case btFloatDec:
-      tp = init_type (TYPE_CODE_ERROR,
-                     gdbarch_double_bit (gdbarch) / TARGET_CHAR_BIT, 0,
-                     "floating decimal", objfile);
+      tp = init_type (objfile, TYPE_CODE_ERROR,
+                     gdbarch_double_bit (gdbarch), "floating decimal");
       break;
 
     case btString:
       /* Is a "string" the way btString means it the same as TYPE_CODE_STRING?
         FIXME.  */
-      tp = init_type (TYPE_CODE_STRING, 1, 0,
-                     "string", objfile);
+      tp = init_type (objfile, TYPE_CODE_STRING, TARGET_CHAR_BIT, "string");
       break;
 
     case btVoid:
@@ -1462,39 +1471,32 @@ basic_type (int bt, struct objfile *objfile)
       break;
 
     case btLong64:
-      tp = init_type (TYPE_CODE_INT, 8, 0,
-                     "long", objfile);
+      tp = init_integer_type (objfile, 64, 0, "long");
       break;
 
     case btULong64:
-      tp = init_type (TYPE_CODE_INT, 8, TYPE_FLAG_UNSIGNED,
-                     "unsigned long", objfile);
+      tp = init_integer_type (objfile, 64, 1, "unsigned long");
       break;
 
     case btLongLong64:
-      tp = init_type (TYPE_CODE_INT, 8, 0,
-                     "long long", objfile);
+      tp = init_integer_type (objfile, 64, 0, "long long");
       break;
 
     case btULongLong64:
-      tp = init_type (TYPE_CODE_INT, 8, TYPE_FLAG_UNSIGNED,
-                     "unsigned long long", objfile);
+      tp = init_integer_type (objfile, 64, 1, "unsigned long long");
       break;
 
     case btAdr64:
-      tp = init_type (TYPE_CODE_PTR, 8, TYPE_FLAG_UNSIGNED,
-                     "adr_64", objfile);
-      TYPE_TARGET_TYPE (tp) = objfile_type (objfile)->builtin_void;
+      tp = init_pointer_type (objfile, 64, "adr_64",
+                             objfile_type (objfile)->builtin_void);
       break;
 
     case btInt64:
-      tp = init_type (TYPE_CODE_INT, 8, 0,
-                     "int", objfile);
+      tp = init_integer_type (objfile, 64, 0, "int");
       break;
 
     case btUInt64:
-      tp = init_type (TYPE_CODE_INT, 8, TYPE_FLAG_UNSIGNED,
-                     "unsigned int", objfile);
+      tp = init_integer_type (objfile, 64, 1, "unsigned int");
       break;
 
     default:
@@ -1507,36 +1509,36 @@ basic_type (int bt, struct objfile *objfile)
 }
 
 /* Parse the type information provided in the raw AX entries for
-   the symbol SH. Return the bitfield size in BS, in case.
+   the symbol SH.  Return the bitfield size in BS, in case.
    We must byte-swap the AX entries before we use them; BIGEND says whether
    they are big-endian or little-endian (from fh->fBigendian).  */
 
 static struct type *
 parse_type (int fd, union aux_ext *ax, unsigned int aux_index, int *bs,
-           int bigend, char *sym_name)
+           int bigend, const char *sym_name)
 {
   TIR t[1];
   struct type *tp = 0;
   enum type_code type_code = TYPE_CODE_UNDEF;
 
-  /* Handle undefined types, they have indexNil. */
+  /* Handle undefined types, they have indexNil.  */
   if (aux_index == indexNil)
-    return basic_type (btInt, current_objfile);
+    return basic_type (btInt, mdebugread_objfile);
 
   /* Handle corrupt aux indices.  */
   if (aux_index >= (debug_info->fdr + fd)->caux)
     {
       index_complaint (sym_name);
-      return basic_type (btInt, current_objfile);
+      return basic_type (btInt, mdebugread_objfile);
     }
   ax += aux_index;
 
   /* Use aux as a type information record, map its basic type.  */
   (*debug_swap->swap_tir_in) (bigend, &ax->a_ti, t);
-  tp = basic_type (t->bt, current_objfile);
+  tp = basic_type (t->bt, mdebugread_objfile);
   if (tp == NULL)
     {
-      /* Cannot use builtin types -- build our own */
+      /* Cannot use builtin types -- build our own */
       switch (t->bt)
        {
        case btStruct:
@@ -1555,41 +1557,42 @@ parse_type (int fd, union aux_ext *ax, unsigned int aux_index, int *bs,
          type_code = TYPE_CODE_SET;
          break;
        case btIndirect:
-         /* alpha cc -migrate uses this for typedefs. The true type will
+         /* alpha cc -migrate uses this for typedefs.  The true type will
             be obtained by crossreferencing below.  */
          type_code = TYPE_CODE_ERROR;
          break;
        case btTypedef:
-         /* alpha cc uses this for typedefs. The true type will be
+         /* alpha cc uses this for typedefs.  The true type will be
             obtained by crossreferencing below.  */
          type_code = TYPE_CODE_ERROR;
          break;
        default:
          basic_type_complaint (t->bt, sym_name);
-         return basic_type (btInt, current_objfile);
+         return basic_type (btInt, mdebugread_objfile);
        }
     }
 
-  /* Move on to next aux */
+  /* Move on to next aux */
   ax++;
 
   if (t->fBitfield)
     {
       int width = AUX_GET_WIDTH (bigend, ax);
+
       /* Inhibit core dumps if TIR is corrupted.  */
-      if (bs == (int *) NULL)
+      if (bs == NULL)
        {
          /* Alpha cc -migrate encodes char and unsigned char types
             as short and unsigned short types with a field width of 8.
             Enum types also have a field width which we ignore for now.  */
          if (t->bt == btShort && width == 8)
-           tp = basic_type (btChar, current_objfile);
+           tp = basic_type (btChar, mdebugread_objfile);
          else if (t->bt == btUShort && width == 8)
-           tp = basic_type (btUChar, current_objfile);
+           tp = basic_type (btUChar, mdebugread_objfile);
          else if (t->bt == btEnum)
            ;
          else
-           complaint (&symfile_complaints, _("can't handle TIR fBitfield for %s"),
+           complaint (_("can't handle TIR fBitfield for %s"),
                       sym_name);
        }
       else
@@ -1618,19 +1621,18 @@ parse_type (int fd, union aux_ext *ax, unsigned int aux_index, int *bs,
 
       if (rf == -1)
        {
-         complaint (&symfile_complaints,
-                    _("unable to cross ref btIndirect for %s"), sym_name);
-         return basic_type (btInt, current_objfile);
+         complaint (_("unable to cross ref btIndirect for %s"), sym_name);
+         return basic_type (btInt, mdebugread_objfile);
        }
       xref_fh = get_rfd (fd, rf);
       xref_fd = xref_fh - debug_info->fdr;
       tp = parse_type (xref_fd, debug_info->external_aux + xref_fh->iauxBase,
-                   rn->index, (int *) NULL, xref_fh->fBigendian, sym_name);
+                   rn->index, NULL, xref_fh->fBigendian, sym_name);
     }
 
   /* All these types really point to some (common) MIPS type
      definition, and only the type-qualifiers fully identify
-     them.  We'll make the same effort at sharing. */
+     them.  We'll make the same effort at sharing.  */
   if (t->bt == btStruct ||
       t->bt == btUnion ||
       t->bt == btEnum ||
@@ -1639,12 +1641,12 @@ parse_type (int fd, union aux_ext *ax, unsigned int aux_index, int *bs,
      name.  This apparently is a MIPS extension for C sets.  */
       t->bt == btSet)
     {
-      char *name;
+      const char *name;
 
       /* Try to cross reference this type, build new type on failure.  */
       ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
-      if (tp == (struct type *) NULL)
-       tp = init_type (type_code, 0, 0, (char *) NULL, current_objfile);
+      if (tp == NULL)
+       tp = init_type (mdebugread_objfile, type_code, 0, NULL);
 
       /* DEC c89 produces cross references to qualified aggregate types,
          dereference them.  */
@@ -1663,7 +1665,6 @@ parse_type (int fd, union aux_ext *ax, unsigned int aux_index, int *bs,
        }
       else
        {
-
          /* Usually, TYPE_CODE(tp) is already type_code.  The main
             exception is if we guessed wrong re struct/union/enum.
             But for struct vs. union a wrong guess is harmless, so
@@ -1684,11 +1685,11 @@ parse_type (int fd, union aux_ext *ax, unsigned int aux_index, int *bs,
          /* Do not set the tag name if it is a compiler generated tag name
             (.Fxx or .xxfake or empty) for unnamed struct/union/enums.  */
          if (name[0] == '.' || name[0] == '\0')
-           TYPE_TAG_NAME (tp) = NULL;
-         else if (TYPE_TAG_NAME (tp) == NULL
-                  || strcmp (TYPE_TAG_NAME (tp), name) != 0)
-           TYPE_TAG_NAME (tp) = obsavestring (name, strlen (name),
-                                           &current_objfile->objfile_obstack);
+           TYPE_NAME (tp) = NULL;
+         else if (TYPE_NAME (tp) == NULL
+                  || strcmp (TYPE_NAME (tp), name) != 0)
+           TYPE_NAME (tp)
+             = obstack_strdup (&mdebugread_objfile->objfile_obstack, name);
        }
     }
 
@@ -1698,12 +1699,12 @@ parse_type (int fd, union aux_ext *ax, unsigned int aux_index, int *bs,
      FIXME: We are not doing any guessing on range types.  */
   if (t->bt == btRange)
     {
-      char *name;
+      const char *name;
 
       /* Try to cross reference this type, build new type on failure.  */
       ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
-      if (tp == (struct type *) NULL)
-       tp = init_type (type_code, 0, 0, (char *) NULL, current_objfile);
+      if (tp == NULL)
+       tp = init_type (mdebugread_objfile, type_code, 0, NULL);
 
       /* Make sure that TYPE_CODE(tp) has an expected type code.
          Any type may be returned from cross_ref if file indirect entries
@@ -1715,7 +1716,7 @@ parse_type (int fd, union aux_ext *ax, unsigned int aux_index, int *bs,
       else
        {
          /* Usually, TYPE_CODE(tp) is already type_code.  The main
-            exception is if we guessed wrong re struct/union/enum. */
+            exception is if we guessed wrong re struct/union/enum.  */
          if (TYPE_CODE (tp) != type_code)
            {
              bad_tag_guess_complaint (sym_name);
@@ -1723,25 +1724,24 @@ parse_type (int fd, union aux_ext *ax, unsigned int aux_index, int *bs,
            }
          if (TYPE_NAME (tp) == NULL
              || strcmp (TYPE_NAME (tp), name) != 0)
-           TYPE_NAME (tp) = obsavestring (name, strlen (name),
-                                          &current_objfile->objfile_obstack);
+           TYPE_NAME (tp)
+             = obstack_strdup (&mdebugread_objfile->objfile_obstack, name);
        }
     }
   if (t->bt == btTypedef)
     {
-      char *name;
+      const char *name;
 
       /* Try to cross reference this type, it should succeed.  */
       ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
-      if (tp == (struct type *) NULL)
+      if (tp == NULL)
        {
-         complaint (&symfile_complaints,
-                    _("unable to cross ref btTypedef for %s"), sym_name);
-         tp = basic_type (btInt, current_objfile);
+         complaint (_("unable to cross ref btTypedef for %s"), sym_name);
+         tp = basic_type (btInt, mdebugread_objfile);
        }
     }
 
-  /* Deal with range types */
+  /* Deal with range types */
   if (t->bt == btRange)
     {
       TYPE_NFIELDS (tp) = 0;
@@ -1753,8 +1753,8 @@ parse_type (int fd, union aux_ext *ax, unsigned int aux_index, int *bs,
       ax++;
     }
 
-  /* Parse all the type qualifiers now. If there are more
-     than 6 the game will continue in the next aux */
+  /* Parse all the type qualifiers now.  If there are more
+     than 6 the game will continue in the next aux */
 
   while (1)
     {
@@ -1782,26 +1782,26 @@ parse_type (int fd, union aux_ext *ax, unsigned int aux_index, int *bs,
 
   /* Complain for illegal continuations due to corrupt aux entries.  */
   if (t->continued)
-    complaint (&symfile_complaints, _("illegal TIR continued for %s"), sym_name);
+    complaint (_("illegal TIR continued for %s"), sym_name);
 
   return tp;
 }
 
 /* Make up a complex type from a basic one.  Type is passed by
-   reference in TPP and side-effected as necessary. The type
+   reference in TPP and side-effected as necessary.  The type
    qualifier TQ says how to handle the aux symbols at AX for
    the symbol SX we are currently analyzing.  BIGEND says whether
    aux symbols are big-endian or little-endian.
-   Returns the number of aux symbols we parsed. */
+   Returns the number of aux symbols we parsed.  */
 
 static int
 upgrade_type (int fd, struct type **tpp, int tq, union aux_ext *ax, int bigend,
-             char *sym_name)
+             const char *sym_name)
 {
   int off;
   struct type *t;
 
-  /* Used in array processing */
+  /* Used in array processing */
   int rf, id;
   FDR *fh;
   struct type *range;
@@ -1824,7 +1824,7 @@ upgrade_type (int fd, struct type **tpp, int tq, union aux_ext *ax, int bigend,
     case tqArray:
       off = 0;
 
-      /* Determine and record the domain type (type of index) */
+      /* Determine and record the domain type (type of index) */
       (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, &rndx);
       id = rndx.index;
       rf = rndx.rfd;
@@ -1838,15 +1838,15 @@ upgrade_type (int fd, struct type **tpp, int tq, union aux_ext *ax, int bigend,
 
       indx = parse_type (fh - debug_info->fdr,
                         debug_info->external_aux + fh->iauxBase,
-                        id, (int *) NULL, bigend, sym_name);
+                        id, NULL, bigend, sym_name);
 
       /* The bounds type should be an integer type, but might be anything
          else due to corrupt aux entries.  */
       if (TYPE_CODE (indx) != TYPE_CODE_INT)
        {
-         complaint (&symfile_complaints,
-                    _("illegal array index type for %s, assuming int"), sym_name);
-         indx = objfile_type (current_objfile)->builtin_int;
+         complaint (_("illegal array index type for %s, assuming int"),
+                    sym_name);
+         indx = objfile_type (mdebugread_objfile)->builtin_int;
        }
 
       /* Get the bounds, and create the array type.  */
@@ -1857,10 +1857,9 @@ upgrade_type (int fd, struct type **tpp, int tq, union aux_ext *ax, int bigend,
       ax++;
       rf = AUX_GET_WIDTH (bigend, ax); /* bit size of array element */
 
-      range = create_range_type ((struct type *) NULL, indx,
-                                lower, upper);
+      range = create_static_range_type (NULL, indx, lower, upper);
 
-      t = create_array_type ((struct type *) NULL, *tpp, range);
+      t = create_array_type (NULL, *tpp, range);
 
       /* We used to fill in the supplied array element bitsize
          here if the TYPE_LENGTH of the target type was zero.
@@ -1892,7 +1891,7 @@ upgrade_type (int fd, struct type **tpp, int tq, union aux_ext *ax, int bigend,
       return 0;
 
     default:
-      complaint (&symfile_complaints, _("unknown type qualifier 0x%x"), tq);
+      complaint (_("unknown type qualifier 0x%x"), tq);
       return 0;
     }
 }
@@ -1909,25 +1908,22 @@ upgrade_type (int fd, struct type **tpp, int tq, union aux_ext *ax, int bigend,
    to look for the function which contains the MDEBUG_EFI_SYMBOL_NAME symbol
    in question, or NULL to use top_stack->cur_block.  */
 
-static void parse_procedure (PDR *, struct symtab *, struct partial_symtab *);
-
 static void
-parse_procedure (PDR *pr, struct symtab *search_symtab,
+parse_procedure (PDR *pr, struct compunit_symtab *search_symtab,
                 struct partial_symtab *pst)
 {
   struct symbol *s, *i;
-  struct block *b;
+  const struct block *b;
   char *sh_name;
 
-  /* Simple rule to find files linked "-x" */
+  /* Simple rule to find files linked "-x" */
   if (cur_fdr->rss == -1)
     {
       if (pr->isym == -1)
        {
-         /* Static procedure at address pr->adr.  Sigh. */
+         /* Static procedure at address pr->adr.  Sigh.  */
          /* FIXME-32x64.  assuming pr->adr fits in long.  */
-         complaint (&symfile_complaints,
-                    _("can't handle PDR for static proc at 0x%lx"),
+         complaint (_("can't handle PDR for static proc at 0x%lx"),
                     (unsigned long) pr->adr);
          return;
        }
@@ -1968,12 +1964,14 @@ parse_procedure (PDR *pr, struct symtab *search_symtab,
          the same name exists, lookup_symbol will eventually read in the symtab
          for the global function and clobber cur_fdr.  */
       FDR *save_cur_fdr = cur_fdr;
+
       s = lookup_symbol (sh_name, NULL, VAR_DOMAIN, 0);
       cur_fdr = save_cur_fdr;
 #else
       s = mylookup_symbol
        (sh_name,
-        BLOCKVECTOR_BLOCK (BLOCKVECTOR (search_symtab), STATIC_BLOCK),
+        BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (search_symtab),
+                           STATIC_BLOCK),
         VAR_DOMAIN,
         LOC_BLOCK);
 #endif
@@ -1988,7 +1986,7 @@ parse_procedure (PDR *pr, struct symtab *search_symtab,
     }
   else
     {
-      complaint (&symfile_complaints, _("PDR for %s, but no symbol"), sh_name);
+      complaint (_("PDR for %s, but no symbol"), sh_name);
 #if 1
       return;
 #else
@@ -1996,11 +1994,11 @@ parse_procedure (PDR *pr, struct symtab *search_symtab,
       s = new_symbol (sh_name);
       SYMBOL_DOMAIN (s) = VAR_DOMAIN;
       SYMBOL_CLASS (s) = LOC_BLOCK;
-      /* Donno its type, hope int is ok */
+      /* Don't know its type, hope int is ok.  */
       SYMBOL_TYPE (s)
        = lookup_function_type (objfile_type (pst->objfile)->builtin_int);
       add_symbol (s, top_stack->cur_st, top_stack->cur_block);
-      /* Wont have symbols for this one */
+      /* Won't have symbols for this one.  */
       b = new_block (2);
       SYMBOL_BLOCK_VALUE (s) = b;
       BLOCK_FUNCTION (b) = s;
@@ -2053,14 +2051,14 @@ parse_procedure (PDR *pr, struct symtab *search_symtab,
   if (processing_gcc_compilation == 0
       && found_ecoff_debugging_info == 0
       && TYPE_CODE (TYPE_TARGET_TYPE (SYMBOL_TYPE (s))) == TYPE_CODE_VOID)
-    SYMBOL_TYPE (s) = objfile_type (pst->objfile)->nodebug_text_symbol;
+    SYMBOL_TYPE (s) = objfile_type (mdebugread_objfile)->nodebug_text_symbol;
 }
 
-/* Parse the external symbol ES. Just call parse_symbol() after
+/* Parse the external symbol ES.  Just call parse_symbol() after
    making sure we know where the aux are for it.
    BIGEND says whether aux entries are big-endian or little-endian.
 
-   This routine clobbers top_stack->cur_block and ->cur_st. */
+   This routine clobbers top_stack->cur_block and ->cur_st.  */
 
 static void parse_external (EXTR *, int, struct section_offsets *,
                            struct objfile *);
@@ -2086,7 +2084,7 @@ parse_external (EXTR *es, int bigend, struct section_offsets *section_offsets,
   /* Reading .o files */
   if (SC_IS_UNDEF (es->asym.sc) || es->asym.sc == scNil)
     {
-      char *what;
+      const char *what;
       switch (es->asym.st)
        {
        case stNil:
@@ -2111,7 +2109,7 @@ parse_external (EXTR *es, int bigend, struct section_offsets *section_offsets,
          break;
        }
       n_undef_symbols++;
-      /* FIXME:  Turn this into a complaint? */
+      /* FIXME:  Turn this into a complaint?  */
       if (info_verbose)
        printf_filtered (_("Warning: %s `%s' is undefined (in %s)\n"),
                         what, debug_info->ssext + es->asym.iss,
@@ -2142,7 +2140,8 @@ parse_external (EXTR *es, int bigend, struct section_offsets *section_offsets,
 
       /* Note that the case of a symbol with indexNil must be handled
          anyways by parse_symbol().  */
-      parse_symbol (&es->asym, ax, (char *) NULL, bigend, section_offsets, objfile);
+      parse_symbol (&es->asym, ax, NULL,
+                   bigend, section_offsets, objfile);
       break;
     default:
       break;
@@ -2153,14 +2152,11 @@ parse_external (EXTR *es, int bigend, struct section_offsets *section_offsets,
    GDB's linetable LT.  MIPS' encoding requires a little bit
    of magic to get things out.  Note also that MIPS' line
    numbers can go back and forth, apparently we can live
-   with that and do not need to reorder our linetables */
-
-static void parse_lines (FDR *, PDR *, struct linetable *, int,
-                        struct partial_symtab *, CORE_ADDR);
+   with that and do not need to reorder our linetables.  */
 
 static void
 parse_lines (FDR *fh, PDR *pr, struct linetable *lt, int maxlines,
-            struct partial_symtab *pst, CORE_ADDR lowest_pdr_addr)
+            CORE_ADDR textlow, CORE_ADDR lowest_pdr_addr)
 {
   unsigned char *base;
   int j, k;
@@ -2169,7 +2165,7 @@ parse_lines (FDR *fh, PDR *pr, struct linetable *lt, int maxlines,
   if (fh->cbLine == 0)
     return;
 
-  /* Scan by procedure descriptors */
+  /* Scan by procedure descriptors */
   k = 0;
   for (j = 0; j < fh->cpd; j++, pr++)
     {
@@ -2177,7 +2173,7 @@ parse_lines (FDR *fh, PDR *pr, struct linetable *lt, int maxlines,
       CORE_ADDR adr;
       unsigned char *halt;
 
-      /* No code for this one */
+      /* No code for this one */
       if (pr->iline == ilineNil ||
          pr->lnLow == -1 || pr->lnHigh == -1)
        continue;
@@ -2191,7 +2187,7 @@ parse_lines (FDR *fh, PDR *pr, struct linetable *lt, int maxlines,
        halt = base + fh->cbLine;
       base += pr->cbLineOffset;
 
-      adr = pst->textlow + pr->adr - lowest_pdr_addr;
+      adr = textlow + pr->adr - lowest_pdr_addr;
 
       l = adr >> 2;            /* in words */
       for (lineno = pr->lnLow; base < halt;)
@@ -2209,12 +2205,11 @@ parse_lines (FDR *fh, PDR *pr, struct linetable *lt, int maxlines,
            }
          lineno += delta;      /* first delta is 0 */
 
-         /* Complain if the line table overflows. Could happen
+         /* Complain if the line table overflows.  Could happen
             with corrupt binaries.  */
          if (lt->nitems >= maxlines)
            {
-             complaint (&symfile_complaints,
-                        _("guessed size of linetable for %s incorrectly"),
+             complaint (_("guessed size of linetable for %s incorrectly"),
                         fdr_name (fh));
              break;
            }
@@ -2227,8 +2222,8 @@ parse_lines (FDR *fh, PDR *pr, struct linetable *lt, int maxlines,
 static void
 function_outside_compilation_unit_complaint (const char *arg1)
 {
-  complaint (&symfile_complaints,
-            _("function `%s' appears to be defined outside of all compilation units"),
+  complaint (_("function `%s' appears to be defined "
+              "outside of all compilation units"),
             arg1);
 }
 
@@ -2236,86 +2231,72 @@ function_outside_compilation_unit_complaint (const char *arg1)
    belongs to, and then records this new minimal symbol.  */
 
 static void
-record_minimal_symbol (const char *name, const CORE_ADDR address,
+record_minimal_symbol (minimal_symbol_reader &reader,
+                      const char *name, const CORE_ADDR address,
                        enum minimal_symbol_type ms_type, int storage_class,
                        struct objfile *objfile)
 {
   int section;
-  asection *bfd_section;
 
   switch (storage_class)
     {
       case scText:
         section = SECT_OFF_TEXT (objfile);
-        bfd_section = bfd_get_section_by_name (cur_bfd, ".text");
         break;
       case scData:
         section = SECT_OFF_DATA (objfile);
-        bfd_section = bfd_get_section_by_name (cur_bfd, ".data");
         break;
       case scBss:
         section = SECT_OFF_BSS (objfile);
-        bfd_section = bfd_get_section_by_name (cur_bfd, ".bss");
         break;
       case scSData:
         section = get_section_index (objfile, ".sdata");
-        bfd_section = bfd_get_section_by_name (cur_bfd, ".sdata");
         break;
       case scSBss:
         section = get_section_index (objfile, ".sbss");
-        bfd_section = bfd_get_section_by_name (cur_bfd, ".sbss");
         break;
       case scRData:
         section = get_section_index (objfile, ".rdata");
-        bfd_section = bfd_get_section_by_name (cur_bfd, ".rdata");
         break;
       case scInit:
         section = get_section_index (objfile, ".init");
-        bfd_section = bfd_get_section_by_name (cur_bfd, ".init");
         break;
       case scXData:
         section = get_section_index (objfile, ".xdata");
-        bfd_section = bfd_get_section_by_name (cur_bfd, ".xdata");
         break;
       case scPData:
         section = get_section_index (objfile, ".pdata");
-        bfd_section = bfd_get_section_by_name (cur_bfd, ".pdata");
         break;
       case scFini:
         section = get_section_index (objfile, ".fini");
-        bfd_section = bfd_get_section_by_name (cur_bfd, ".fini");
         break;
       case scRConst:
         section = get_section_index (objfile, ".rconst");
-        bfd_section = bfd_get_section_by_name (cur_bfd, ".rconst");
         break;
 #ifdef scTlsData
       case scTlsData:
         section = get_section_index (objfile, ".tlsdata");
-        bfd_section = bfd_get_section_by_name (cur_bfd, ".tlsdata");
         break;
 #endif
 #ifdef scTlsBss
       case scTlsBss:
         section = get_section_index (objfile, ".tlsbss");
-        bfd_section = bfd_get_section_by_name (cur_bfd, ".tlsbss");
         break;
 #endif
       default:
         /* This kind of symbol is not associated to a section.  */
         section = -1;
-        bfd_section = NULL;
     }
 
-  prim_record_minimal_symbol_and_info (name, address, ms_type,
-                                       section, bfd_section, objfile);
+  reader.record_with_info (name, address, ms_type, section);
 }
 
 /* Master parsing procedure for first-pass reading of file symbols
    into a partial_symtab.  */
 
 static void
-parse_partial_symbols (struct objfile *objfile)
+parse_partial_symbols (minimal_symbol_reader &reader,
+                      struct objfile *objfile)
 {
   struct gdbarch *gdbarch = get_objfile_arch (objfile);
   const bfd_size_type external_sym_size = debug_swap->external_sym_size;
@@ -2330,24 +2311,21 @@ parse_partial_symbols (struct objfile *objfile)
   FDR *fh;
   char *ext_out;
   char *ext_out_end;
-  EXTR *ext_block;
   EXTR *ext_in;
   EXTR *ext_in_end;
   SYMR sh;
   struct partial_symtab *pst;
   int textlow_not_set = 1;
-  int past_first_source_file = 0;
 
-  /* List of current psymtab's include files */
-  char **psymtab_include_list;
+  /* List of current psymtab's include files */
+  const char **psymtab_include_list;
   int includes_allocated;
   int includes_used;
   EXTR *extern_tab;
   struct pst_map *fdr_to_pst;
-  /* Index within current psymtab dependency list */
+  /* Index within current psymtab dependency list */
   struct partial_symtab **dependency_list;
   int dependencies_used, dependencies_allocated;
-  struct cleanup *old_chain;
   char *name;
   enum language prev_language;
   asection *text_sect;
@@ -2361,16 +2339,15 @@ parse_partial_symbols (struct objfile *objfile)
      the text section (and fh->adr) really starts at zero.  */
   text_sect = bfd_get_section_by_name (cur_bfd, ".text");
   if (text_sect != NULL
-      && (bfd_get_section_flags (cur_bfd, text_sect) & SEC_RELOC))
+      && (bfd_section_flags (text_sect) & SEC_RELOC))
     relocatable = 1;
 
-  extern_tab = (EXTR *) obstack_alloc (&objfile->objfile_obstack,
-                                      sizeof (EXTR) * hdr->iextMax);
+  extern_tab = XOBNEWVEC (&objfile->objfile_obstack, EXTR, hdr->iextMax);
 
   includes_allocated = 30;
   includes_used = 0;
-  psymtab_include_list = (char **) alloca (includes_allocated *
-                                          sizeof (char *));
+  psymtab_include_list = (const char **) alloca (includes_allocated *
+                                                sizeof (const char *));
   next_symbol_text_func = mdebug_next_symbol_text;
 
   dependencies_allocated = 30;
@@ -2379,7 +2356,7 @@ parse_partial_symbols (struct objfile *objfile)
     (struct partial_symtab **) alloca (dependencies_allocated *
                                       sizeof (struct partial_symtab *));
 
-  last_source_file = NULL;
+  set_last_source_file (NULL);
 
   /*
    * Big plan:
@@ -2387,7 +2364,7 @@ parse_partial_symbols (struct objfile *objfile)
    * Only parse the Local and External symbols, and the Relative FDR.
    * Fixup enough of the loader symtab to be able to use it.
    * Allocate space only for the file's portions we need to
-   * look at. (XXX)
+   * look at.  (XXX)
    */
 
   max_gdbinfo = 0;
@@ -2395,36 +2372,34 @@ parse_partial_symbols (struct objfile *objfile)
 
   /* Allocate the map FDR -> PST.
      Minor hack: -O3 images might claim some global data belongs
-     to FDR -1. We`ll go along with that */
-  fdr_to_pst = (struct pst_map *) xzalloc ((hdr->ifdMax + 1) * sizeof *fdr_to_pst);
-  old_chain = make_cleanup (xfree, fdr_to_pst);
+     to FDR -1.  We`ll go along with that.  */
+  gdb::def_vector<struct pst_map> fdr_to_pst_holder (hdr->ifdMax + 1);
+  fdr_to_pst = fdr_to_pst_holder.data ();
   fdr_to_pst++;
   {
-    struct partial_symtab *pst = new_psymtab ("", objfile);
-    fdr_to_pst[-1].pst = pst;
-    FDR_IDX (pst) = -1;
+    struct partial_symtab *new_pst = new_psymtab ("", objfile);
+
+    fdr_to_pst[-1].pst = new_pst;
+    FDR_IDX (new_pst) = -1;
   }
 
   /* Allocate the global pending list.  */
-  pending_list =
-    ((struct mdebug_pending **)
-     obstack_alloc (&objfile->objfile_obstack,
-                   hdr->ifdMax * sizeof (struct mdebug_pending *)));
+  pending_list = XOBNEWVEC (&objfile->objfile_obstack, mdebug_pending *,
+                           hdr->ifdMax);
   memset (pending_list, 0,
          hdr->ifdMax * sizeof (struct mdebug_pending *));
 
   /* Pass 0 over external syms: swap them in.  */
-  ext_block = (EXTR *) xmalloc (hdr->iextMax * sizeof (EXTR));
-  make_cleanup (xfree, ext_block);
+  gdb::def_vector<EXTR> ext_block (hdr->iextMax);
 
   ext_out = (char *) debug_info->external_ext;
   ext_out_end = ext_out + hdr->iextMax * external_ext_size;
-  ext_in = ext_block;
+  ext_in = ext_block.data ();
   for (; ext_out < ext_out_end; ext_out += external_ext_size, ext_in++)
     (*swap_ext_in) (cur_bfd, ext_out, ext_in);
 
-  /* Pass 1 over external syms: Presize and partition the list */
-  ext_in = ext_block;
+  /* Pass 1 over external syms: Presize and partition the list */
+  ext_in = ext_block.data ();
   ext_in_end = ext_in + hdr->iextMax;
   for (; ext_in < ext_in_end; ext_in++)
     {
@@ -2436,7 +2411,7 @@ parse_partial_symbols (struct objfile *objfile)
        fdr_to_pst[ext_in->ifd].n_globals++;
     }
 
-  /* Pass 1.5 over files:  partition out global symbol space */
+  /* Pass 1.5 over files:  partition out global symbol space */
   s_idx = 0;
   for (f_idx = -1; f_idx < hdr->ifdMax; f_idx++)
     {
@@ -2457,7 +2432,7 @@ parse_partial_symbols (struct objfile *objfile)
      Since absolute sections don't get relocated, we 
      end up calculating an address different from that of 
      the symbol's minimal symbol (created earlier from the
-     Elf symtab).  
+     Elf symtab).
 
      To fix this, either :
      1) don't create the duplicate symbol
@@ -2468,16 +2443,16 @@ parse_partial_symbols (struct objfile *objfile)
      (inefficient; 
      assumes no side-effects result from ignoring ECOFF symbol)
      3) create it, but lookup ELF's minimal symbol and use it's section
-     during relocation, then modify "uniqify" phase to merge and 
+     during relocation, then modify "uniquify" phase to merge and
      eliminate the duplicate symbol
      (highly inefficient)
 
      I've implemented #1 here...
      Skip the creation of the minimal symbols based on the ECOFF 
-     symbol table. */
+     symbol table.  */
 
-  /* Pass 2 over external syms: fill in external symbols */
-  ext_in = ext_block;
+  /* Pass 2 over external syms: fill in external symbols */
+  ext_in = ext_block.data ();
   ext_in_end = ext_in + hdr->iextMax;
   for (; ext_in < ext_in_end; ext_in++)
     {
@@ -2488,15 +2463,13 @@ parse_partial_symbols (struct objfile *objfile)
          external symbols.  */
       if (ext_in->ifd < -1 || ext_in->ifd >= hdr->ifdMax)
        {
-         complaint (&symfile_complaints,
-                    _("bad ifd for external symbol: %d (max %ld)"), ext_in->ifd,
-                    hdr->ifdMax);
+         complaint (_("bad ifd for external symbol: %d (max %ld)"),
+                    ext_in->ifd, hdr->ifdMax);
          continue;
        }
       if (ext_in->asym.iss < 0 || ext_in->asym.iss >= hdr->issExtMax)
        {
-         complaint (&symfile_complaints,
-                    _("bad iss for external symbol: %ld (max %ld)"),
+         complaint (_("bad iss for external symbol: %ld (max %ld)"),
                     ext_in->asym.iss, hdr->issExtMax);
          continue;
        }
@@ -2509,20 +2482,18 @@ parse_partial_symbols (struct objfile *objfile)
        continue;
 
 
-      /* Pass 3 over files, over local syms: fill in static symbols */
+      /* Pass 3 over files, over local syms: fill in static symbols */
       name = debug_info->ssext + ext_in->asym.iss;
 
-      /* Process ECOFF Symbol Types and Storage Classes */
+      /* Process ECOFF Symbol Types and Storage Classes */
       switch (ext_in->asym.st)
        {
        case stProc:
          /* Beginnning of Procedure */
-         svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
          break;
        case stStaticProc:
          /* Load time only static procs */
          ms_type = mst_file_text;
-         svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
          break;
        case stGlobal:
          /* External symbol */
@@ -2535,18 +2506,14 @@ parse_partial_symbols (struct objfile *objfile)
          else if (SC_IS_DATA (ext_in->asym.sc))
            {
              ms_type = mst_data;
-             svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
            }
          else if (SC_IS_BSS (ext_in->asym.sc))
            {
              ms_type = mst_bss;
-             svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_BSS (objfile));
            }
           else if (SC_IS_SBSS (ext_in->asym.sc))
             {
               ms_type = mst_bss;
-              svalue += ANOFFSET (objfile->section_offsets, 
-                                  get_section_index (objfile, ".sbss"));
             }
          else
            ms_type = mst_abs;
@@ -2555,24 +2522,23 @@ parse_partial_symbols (struct objfile *objfile)
          /* Label */
 
           /* On certain platforms, some extra label symbols can be
-             generated by the linker. One possible usage for this kind
+             generated by the linker.  One possible usage for this kind
              of symbols is to represent the address of the begining of a
-             given section. For instance, on Tru64 5.1, the address of
+             given section.  For instance, on Tru64 5.1, the address of
              the _ftext label is the start address of the .text section.
 
              The storage class of these symbols is usually directly
-             related to the section to which the symbol refers. For
+             related to the section to which the symbol refers.  For
              instance, on Tru64 5.1, the storage class for the _fdata
              label is scData, refering to the .data section.
 
              It is actually possible that the section associated to the
-             storage class of the label does not exist. On True64 5.1
+             storage class of the label does not exist.  On True64 5.1
              for instance, the libm.so shared library does not contain
              any .data section, although it contains a _fpdata label
-             which storage class is scData... Since these symbols are
+             which storage class is scData...  Since these symbols are
              usually useless for the debugger user anyway, we just
-             discard these symbols.
-           */
+             discard these symbols.  */
           
          if (SC_IS_TEXT (ext_in->asym.sc))
            {
@@ -2580,7 +2546,6 @@ parse_partial_symbols (struct objfile *objfile)
                 continue;
                 
              ms_type = mst_file_text;
-             svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
            }
          else if (SC_IS_DATA (ext_in->asym.sc))
            {
@@ -2588,7 +2553,6 @@ parse_partial_symbols (struct objfile *objfile)
                 continue;
 
              ms_type = mst_file_data;
-             svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
            }
          else if (SC_IS_BSS (ext_in->asym.sc))
            {
@@ -2596,7 +2560,6 @@ parse_partial_symbols (struct objfile *objfile)
                 continue;
 
              ms_type = mst_file_bss;
-             svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_BSS (objfile));
            }
           else if (SC_IS_SBSS (ext_in->asym.sc))
             {
@@ -2606,7 +2569,6 @@ parse_partial_symbols (struct objfile *objfile)
                 continue;
 
               ms_type = mst_file_bss;
-              svalue += ANOFFSET (objfile->section_offsets, sbss_sect_index);
             }
          else
            ms_type = mst_abs;
@@ -2614,10 +2576,10 @@ parse_partial_symbols (struct objfile *objfile)
        case stLocal:
        case stNil:
          /* The alpha has the section start addresses in stLocal symbols
-            whose name starts with a `.'. Skip those but complain for all
+            whose name starts with a `.'.  Skip those but complain for all
             other stLocal symbols.
             Irix6 puts the section start addresses in stNil symbols, skip
-            those too. */
+            those too.  */
          if (name[0] == '.')
            continue;
          /* Fall through.  */
@@ -2626,11 +2588,11 @@ parse_partial_symbols (struct objfile *objfile)
          unknown_ext_complaint (name);
        }
       if (!ECOFF_IN_ELF (cur_bfd))
-        record_minimal_symbol (name, svalue, ms_type, ext_in->asym.sc,
+        record_minimal_symbol (reader, name, svalue, ms_type, ext_in->asym.sc,
                                objfile);
     }
 
-  /* Pass 3 over files, over local syms: fill in static symbols */
+  /* Pass 3 over files, over local syms: fill in static symbols */
   for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
     {
       struct partial_symtab *save_pst;
@@ -2648,21 +2610,13 @@ parse_partial_symbols (struct objfile *objfile)
       /* Determine the start address for this object file from the
          file header and relocate it, except for Irix 5.2 zero fh->adr.  */
       if (fh->cpd)
-       {
-         textlow = fh->adr;
-         if (relocatable || textlow != 0)
-           textlow += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
-       }
+       textlow = fh->adr;
       else
        textlow = 0;
-      pst = start_psymtab_common (objfile, objfile->section_offsets,
+      pst = start_psymtab_common (objfile,
                                  fdr_name (fh),
-                                 textlow,
-                                 objfile->global_psymbols.next,
-                                 objfile->static_psymbols.next);
-      pst->read_symtab_private = ((char *)
-                                 obstack_alloc (&objfile->objfile_obstack,
-                                                sizeof (struct symloc)));
+                                 textlow);
+      pst->read_symtab_private = XOBNEW (&objfile->objfile_obstack, symloc);
       memset (pst->read_symtab_private, 0, sizeof (struct symloc));
 
       save_pst = pst;
@@ -2672,8 +2626,8 @@ parse_partial_symbols (struct objfile *objfile)
       DEBUG_INFO (pst) = debug_info;
       PENDING_LIST (pst) = pending_list;
 
-      /* The way to turn this into a symtab is to call... */
-      pst->read_symtab = mdebug_psymtab_to_symtab;
+      /* The way to turn this into a symtab is to call...  */
+      pst->read_symtab = mdebug_read_symtab;
 
       /* Set up language for the pst.
          The language from the FDR is used if it is unambigious (e.g. cfront
@@ -2684,7 +2638,7 @@ parse_partial_symbols (struct objfile *objfile)
          a header file, which is not what we want.
          But the FDRs for the header files are after the FDR for the source
          file, so we can assign the language of the source file to the
-         following header files. Then we save the language in the private
+         following header files.  Then we save the language in the private
          pst data so that we can reuse it when building symtabs.  */
       prev_language = psymtab_language;
 
@@ -2701,14 +2655,14 @@ parse_partial_symbols (struct objfile *objfile)
        psymtab_language = prev_language;
       PST_PRIVATE (pst)->pst_language = psymtab_language;
 
-      pst->texthigh = pst->textlow;
+      pst->set_text_high (pst->raw_text_low ());
 
       /* For stabs-in-ecoff files, the second symbol must be @stab.
          This symbol is emitted by mips-tfile to signal that the
          current object file uses encapsulated stabs instead of mips
          ecoff for local symbols.  (It is the second symbol because
          the first symbol is the stFile used to signal the start of a
-         file). */
+         file).  */
       processing_gcc_compilation = 0;
       if (fh->csym >= 2)
        {
@@ -2726,7 +2680,7 @@ parse_partial_symbols (struct objfile *objfile)
          for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
            {
              int type_code;
-             char *namestring;
+             const char *namestring;
 
              (*swap_sym_in) (cur_bfd,
                              (((char *) debug_info->external_sym)
@@ -2740,11 +2694,10 @@ parse_partial_symbols (struct objfile *objfile)
                      CORE_ADDR procaddr;
                      long isym;
 
-                     sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
                      if (sh.st == stStaticProc)
                        {
                          namestring = debug_info->ss + fh->issBase + sh.iss;
-                          record_minimal_symbol (namestring, sh.value,
+                          record_minimal_symbol (reader, namestring, sh.value,
                                                  mst_file_text, sh.sc,
                                                  objfile);
                        }
@@ -2765,10 +2718,11 @@ parse_partial_symbols (struct objfile *objfile)
 
                          /* Kludge for Irix 5.2 zero fh->adr.  */
                          if (!relocatable
-                         && (pst->textlow == 0 || procaddr < pst->textlow))
-                           pst->textlow = procaddr;
-                         if (high > pst->texthigh)
-                           pst->texthigh = high;
+                             && (!pst->text_low_valid
+                                 || procaddr < pst->raw_text_low ()))
+                           pst->set_text_low (procaddr);
+                         if (high > pst->raw_text_high ())
+                           pst->set_text_high (high);
                        }
                    }
                  else if (sh.st == stStatic)
@@ -2787,18 +2741,16 @@ parse_partial_symbols (struct objfile *objfile)
                        case scPData:
                        case scXData:
                          namestring = debug_info->ss + fh->issBase + sh.iss;
-                         sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
-                          record_minimal_symbol (namestring, sh.value,
+                          record_minimal_symbol (reader, namestring, sh.value,
                                                  mst_file_data, sh.sc,
                                                  objfile);
                          break;
 
                        default:
                          /* FIXME!  Shouldn't this use cases for bss, 
-                            then have the default be abs? */
+                            then have the default be abs?  */
                          namestring = debug_info->ss + fh->issBase + sh.iss;
-                         sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_BSS (objfile));
-                          record_minimal_symbol (namestring, sh.value,
+                          record_minimal_symbol (reader, namestring, sh.value,
                                                  mst_file_bss, sh.sc,
                                                  objfile);
                          break;
@@ -2806,10 +2758,14 @@ parse_partial_symbols (struct objfile *objfile)
                    }
                  continue;
                }
-             /* Handle stabs continuation */
+             /* Handle stabs continuation */
              {
                char *stabstring = debug_info->ss + fh->issBase + sh.iss;
+               /* If we need to heap-allocate STABSTRING, this owns
+                  it.  */
+               gdb::unique_xmalloc_ptr<char> stabstring_storage;
                int len = strlen (stabstring);
+
                while (stabstring[len - 1] == '\\')
                  {
                    SYMR sh2;
@@ -2817,10 +2773,10 @@ parse_partial_symbols (struct objfile *objfile)
                    char *stabstring2;
                    int len2;
 
-                   /* Ignore continuation char from 1st string */
+                   /* Ignore continuation char from 1st string */
                    len--;
 
-                   /* Read next stabstring */
+                   /* Read next stabstring */
                    cur_sdx++;
                    (*swap_sym_in) (cur_bfd,
                                    (((char *) debug_info->external_sym)
@@ -2830,13 +2786,19 @@ parse_partial_symbols (struct objfile *objfile)
                    stabstring2 = debug_info->ss + fh->issBase + sh2.iss;
                    len2 = strlen (stabstring2);
 
-                   /* Concatinate stabstring2 with stabstring1 */
-                   if (stabstring
-                    && stabstring != debug_info->ss + fh->issBase + sh.iss)
-                     stabstring = xrealloc (stabstring, len + len2 + 1);
+                   /* Concatenate stabstring2 with stabstring1.  */
+                   if (stabstring_storage != nullptr)
+                     {
+                       stabstring_storage.reset
+                         ((char *) xrealloc (stabstring_storage.release (),
+                                             len + len2 + 1));
+                       stabstring = stabstring_storage.get ();
+                     }
                    else
                      {
-                       stabstring = xmalloc (len + len2 + 1);
+                       stabstring_storage.reset
+                         ((char *) xmalloc (len + len2 + 1));
+                       stabstring = stabstring_storage.get ();
                        strcpy (stabstring, stabstring1);
                      }
                    strcpy (stabstring + len, stabstring2);
@@ -2845,40 +2807,37 @@ parse_partial_symbols (struct objfile *objfile)
 
                switch (type_code)
                  {
-                   char *p;
-                   /*
-                    * Standard, external, non-debugger, symbols
-                    */
+                   const char *p;
+
+                   /* Standard, external, non-debugger, symbols.  */
 
                  case N_TEXT | N_EXT:
                  case N_NBTEXT | N_EXT:
-                   sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
                    goto record_it;
 
                  case N_DATA | N_EXT:
                  case N_NBDATA | N_EXT:
-                   sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
                    goto record_it;
 
                  case N_BSS:
                  case N_BSS | N_EXT:
                  case N_NBBSS | N_EXT:
-                 case N_SETV | N_EXT:          /* FIXME, is this in BSS? */
-                   sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_BSS (objfile));
+                 case N_SETV | N_EXT:          /* FIXME, is this in BSS?  */
                    goto record_it;
 
                  case N_ABS | N_EXT:
                  record_it:
-                 continue;
+                   continue;
 
-                 /* Standard, local, non-debugger, symbols */
+                 /* Standard, local, non-debugger, symbols */
 
                  case N_NBTEXT:
 
-                   /* We need to be able to deal with both N_FN or N_TEXT,
-                      because we have no way of knowing whether the sys-supplied ld
-                      or GNU ld was used to make the executable.  Sequents throw
-                      in another wrinkle -- they renumbered N_FN.  */
+                   /* We need to be able to deal with both N_FN or
+                      N_TEXT, because we have no way of knowing
+                      whether the sys-supplied ld or GNU ld was used
+                      to make the executable.  Sequents throw in
+                      another wrinkle -- they renumbered N_FN.  */
 
                  case N_FN:
                  case N_FN_SEQ:
@@ -2886,11 +2845,10 @@ parse_partial_symbols (struct objfile *objfile)
                    continue;
 
                  case N_DATA:
-                   sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
                    goto record_it;
 
                  case N_UNDF | N_EXT:
-                   continue;                   /* Just undefined, not COMMON */
+                   continue;           /* Just undefined, not COMMON.  */
 
                  case N_UNDF:
                    continue;
@@ -2902,7 +2860,7 @@ parse_partial_symbols (struct objfile *objfile)
                  case N_NBBSS:
                    continue;
 
-                   /* Keep going . . . */
+                   /* Keep going . . .  */
 
                    /*
                     * Special symbol types for GNU
@@ -2926,35 +2884,21 @@ parse_partial_symbols (struct objfile *objfile)
 
                  case N_SO:
                    {
-                     CORE_ADDR valu;
                      static int prev_so_symnum = -10;
-                     static int first_so_symnum;
-                     char *p;
-                     int prev_textlow_not_set;
-
-                     valu = sh.value + ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
+                     const char *basename;
 
-                     prev_textlow_not_set = textlow_not_set;
-
-                     /* A zero value is probably an indication for the SunPRO 3.0
-                        compiler. end_psymtab explicitly tests for zero, so
-                        don't relocate it.  */
+                     /* A zero value is probably an indication for the
+                        SunPRO 3.0 compiler.  dbx_end_psymtab explicitly tests
+                        for zero, so don't relocate it.  */
 
                      if (sh.value == 0
                          && gdbarch_sofun_address_maybe_missing (gdbarch))
-                       {
-                         textlow_not_set = 1;
-                         valu = 0;
-                       }
+                       textlow_not_set = 1;
                      else
                        textlow_not_set = 0;
 
-                     past_first_source_file = 1;
-
                      if (prev_so_symnum != symnum - 1)
-                       {                       /* Here if prev stab wasn't N_SO */
-                         first_so_symnum = symnum;
-
+                       {               /* Here if prev stab wasn't N_SO.  */
                          if (pst)
                            {
                              pst = (struct partial_symtab *) 0;
@@ -2965,27 +2909,31 @@ parse_partial_symbols (struct objfile *objfile)
 
                      prev_so_symnum = symnum;
 
-                     /* End the current partial symtab and start a new one */
+                     /* End the current partial symtab and start a
+                        new one.  */
 
                      /* SET_NAMESTRING ();*/
                      namestring = stabstring;
 
-                     /* Null name means end of .o file.  Don't start a new one. */
+                     /* Null name means end of .o file.  Don't start a new
+                        one.  */
                      if (*namestring == '\000')
                        continue;
 
-                     /* Some compilers (including gcc) emit a pair of initial N_SOs.
-                        The first one is a directory name; the second the file name.
-                        If pst exists, is empty, and has a filename ending in '/',
-                        we assume the previous N_SO was a directory name. */
-
-                     p = strrchr (namestring, '/');
-                     if (p && *(p + 1) == '\000')
-                       continue;               /* Simply ignore directory name SOs */
-
-                     /* Some other compilers (C++ ones in particular) emit useless
-                        SOs for non-existant .c files.  We ignore all subsequent SOs that
-                        immediately follow the first.  */
+                     /* Some compilers (including gcc) emit a pair of
+                        initial N_SOs.  The first one is a directory name;
+                        the second the file name.  If pst exists, is
+                        empty, and has a filename ending in '/', we assume
+                        the previous N_SO was a directory name.  */
+                     basename = lbasename (namestring);
+                     if (basename != namestring && *basename == '\000')
+                       continue;               /* Simply ignore directory
+                                                  name SOs.  */
+
+                     /* Some other compilers (C++ ones in particular) emit
+                        useless SOs for non-existant .c files.  We ignore
+                        all subsequent SOs that immediately follow the
+                        first.  */
 
                      if (!pst)
                        pst = save_pst;
@@ -2998,39 +2946,46 @@ parse_partial_symbols (struct objfile *objfile)
                  case N_SOL:
                    {
                      enum language tmp_language;
-                     /* Mark down an include file in the current psymtab */
 
-                     /* SET_NAMESTRING ();*/
+                     /* Mark down an include file in the current psymtab.  */
+
+                     /* SET_NAMESTRING (); */
                      namestring = stabstring;
 
-                     tmp_language = deduce_language_from_filename (namestring);
+                     tmp_language
+                       = deduce_language_from_filename (namestring);
 
-                     /* Only change the psymtab's language if we've learned
-                        something useful (eg. tmp_language is not language_unknown).
-                        In addition, to match what start_subfile does, never change
-                        from C++ to C.  */
+                     /* Only change the psymtab's language if we've
+                        learned something useful (eg. tmp_language is not
+                        language_unknown).  In addition, to match what
+                        start_subfile does, never change from C++ to
+                        C.  */
                      if (tmp_language != language_unknown
                          && (tmp_language != language_c
                              || psymtab_language != language_cplus))
                        psymtab_language = tmp_language;
 
-                     /* In C++, one may expect the same filename to come round many
-                        times, when code is coming alternately from the main file
-                        and from inline functions in other files. So I check to see
-                        if this is a file we've seen before -- either the main
-                        source file, or a previously included file.
-
-                        This seems to be a lot of time to be spending on N_SOL, but
-                        things like "break c-exp.y:435" need to work (I
-                        suppose the psymtab_include_list could be hashed or put
-                        in a binary tree, if profiling shows this is a major hog).  */
-                     if (pst && strcmp (namestring, pst->filename) == 0)
+                     /* In C++, one may expect the same filename to come
+                        round many times, when code is coming alternately
+                        from the main file and from inline functions in
+                        other files.  So I check to see if this is a file
+                        we've seen before -- either the main source file,
+                        or a previously included file.
+
+                        This seems to be a lot of time to be spending on
+                        N_SOL, but things like "break c-exp.y:435" need to
+                        work (I suppose the psymtab_include_list could be
+                        hashed or put in a binary tree, if profiling shows
+                        this is a major hog).  */
+                     if (pst && filename_cmp (namestring, pst->filename) == 0)
                        continue;
+
                      {
                        int i;
+
                        for (i = 0; i < includes_used; i++)
-                         if (strcmp (namestring,
-                                     psymtab_include_list[i]) == 0)
+                         if (filename_cmp (namestring,
+                                           psymtab_include_list[i]) == 0)
                            {
                              i = -1;
                              break;
@@ -3042,72 +2997,76 @@ parse_partial_symbols (struct objfile *objfile)
                      psymtab_include_list[includes_used++] = namestring;
                      if (includes_used >= includes_allocated)
                        {
-                         char **orig = psymtab_include_list;
+                         const char **orig = psymtab_include_list;
 
-                         psymtab_include_list = (char **)
+                         psymtab_include_list = (const char **)
                            alloca ((includes_allocated *= 2) *
-                                   sizeof (char *));
+                                   sizeof (const char *));
                          memcpy (psymtab_include_list, orig,
-                                 includes_used * sizeof (char *));
+                                 includes_used * sizeof (const char *));
                        }
                      continue;
                    }
-                 case N_LSYM:                  /* Typedef or automatic variable. */
-                 case N_STSYM:         /* Data seg var -- static  */
-                 case N_LCSYM:         /* BSS      "  */
-                 case N_ROSYM:         /* Read-only data seg var -- static.  */
-                 case N_NBSTS:         /* Gould nobase.  */
-                 case N_NBLCS:         /* symbols.  */
+                 case N_LSYM:      /* Typedef or automatic variable.  */
+                 case N_STSYM:     /* Data seg var -- static  */
+                 case N_LCSYM:     /* BSS      "  */
+                 case N_ROSYM:     /* Read-only data seg var -- static.  */
+                 case N_NBSTS:     /* Gould nobase.  */
+                 case N_NBLCS:     /* symbols.  */
                  case N_FUN:
-                 case N_GSYM:                  /* Global (extern) variable; can be
-                                                  data or bss (sigh FIXME).  */
+                 case N_GSYM:      /* Global (extern) variable; can be
+                                      data or bss (sigh FIXME).  */
 
                    /* Following may probably be ignored; I'll leave them here
                       for now (until I do Pascal and Modula 2 extensions).  */
 
-                 case N_PC:                    /* I may or may not need this; I
-                                                  suspect not.  */
-                 case N_M2C:                   /* I suspect that I can ignore this here. */
-                 case N_SCOPE:         /* Same.   */
+                 case N_PC:        /* I may or may not need this; I
+                                      suspect not.  */
+                 case N_M2C:       /* I suspect that I can ignore this
+                                      here.  */
+                 case N_SCOPE:     /* Same.  */
 
-                   /*    SET_NAMESTRING ();*/
+                   /*    SET_NAMESTRING (); */
                    namestring = stabstring;
                    p = (char *) strchr (namestring, ':');
                    if (!p)
-                     continue;                 /* Not a debugging symbol.   */
+                     continue;     /* Not a debugging symbol.  */
 
 
 
                    /* Main processing section for debugging symbols which
-                      the initial read through the symbol tables needs to worry
-                      about.  If we reach this point, the symbol which we are
-                      considering is definitely one we are interested in.
-                      p must also contain the (valid) index into the namestring
-                      which indicates the debugging type symbol.  */
+                      the initial read through the symbol tables needs to
+                      worry about.  If we reach this point, the symbol
+                      which we are considering is definitely one we are
+                      interested in.  p must also contain the (valid)
+                      index into the namestring which indicates the
+                      debugging type symbol.  */
 
                    switch (p[1])
                      {
                      case 'S':
-                       sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
-
                        if (gdbarch_static_transform_name_p (gdbarch))
                          namestring = gdbarch_static_transform_name
                                         (gdbarch, namestring);
 
-                       add_psymbol_to_list (namestring, p - namestring, 1,
-                                            VAR_DOMAIN, LOC_STATIC,
-                                            &objfile->static_psymbols,
-                                            0, sh.value,
+                       add_psymbol_to_list (gdb::string_view (namestring,
+                                                              p - namestring),
+                                            true, VAR_DOMAIN, LOC_STATIC,
+                                            SECT_OFF_DATA (objfile),
+                                            psymbol_placement::STATIC,
+                                            sh.value,
                                             psymtab_language, objfile);
                        continue;
                      case 'G':
-                       sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
-                       /* The addresses in these entries are reported to be
-                          wrong.  See the code that reads 'G's for symtabs. */
-                       add_psymbol_to_list (namestring, p - namestring, 1,
-                                            VAR_DOMAIN, LOC_STATIC,
-                                            &objfile->global_psymbols,
-                                            0, sh.value,
+                       /* The addresses in these entries are reported
+                          to be wrong.  See the code that reads 'G's
+                          for symtabs.  */
+                       add_psymbol_to_list (gdb::string_view (namestring,
+                                                              p - namestring),
+                                            true, VAR_DOMAIN, LOC_STATIC,
+                                            SECT_OFF_DATA (objfile),
+                                            psymbol_placement::GLOBAL,
+                                            sh.value,
                                             psymtab_language, objfile);
                        continue;
 
@@ -3122,42 +3081,45 @@ parse_partial_symbols (struct objfile *objfile)
                            || (p == namestring + 1
                                && namestring[0] != ' '))
                          {
-                           add_psymbol_to_list (namestring, p - namestring, 1,
-                                                STRUCT_DOMAIN, LOC_TYPEDEF,
-                                                &objfile->static_psymbols,
-                                                sh.value, 0,
-                                                psymtab_language, objfile);
+                           add_psymbol_to_list
+                             (gdb::string_view (namestring, p - namestring),
+                              true, STRUCT_DOMAIN, LOC_TYPEDEF, -1,
+                              psymbol_placement::STATIC, 0, psymtab_language,
+                              objfile);
                            if (p[2] == 't')
                              {
                                /* Also a typedef with the same name.  */
-                               add_psymbol_to_list (namestring, p - namestring,
-                                                    1,
-                                                    VAR_DOMAIN, LOC_TYPEDEF,
-                                                    &objfile->static_psymbols,
-                                                    sh.value, 0,
-                                                    psymtab_language, objfile);
+                               add_psymbol_to_list
+                                 (gdb::string_view (namestring,
+                                                    p - namestring),
+                                  true, VAR_DOMAIN, LOC_TYPEDEF, -1,
+                                  psymbol_placement::STATIC, 0,
+                                  psymtab_language, objfile);
                                p += 1;
                              }
                          }
                        goto check_enum;
                      case 't':
-                       if (p != namestring)    /* a name is there, not just :T... */
+                       if (p != namestring)    /* a name is there, not
+                                                  just :T...  */
                          {
-                           add_psymbol_to_list (namestring, p - namestring, 1,
-                                                VAR_DOMAIN, LOC_TYPEDEF,
-                                                &objfile->static_psymbols,
-                                                sh.value, 0,
-                                                psymtab_language, objfile);
+                           add_psymbol_to_list
+                             (gdb::string_view (namestring,
+                                                p - namestring),
+                              true, VAR_DOMAIN, LOC_TYPEDEF, -1,
+                              psymbol_placement::STATIC, 0, psymtab_language,
+                              objfile);
                          }
                      check_enum:
-                       /* If this is an enumerated type, we need to
-                          add all the enum constants to the partial symbol
-                          table.  This does not cover enums without names, e.g.
-                          "enum {a, b} c;" in C, but fortunately those are
-                          rare.  There is no way for GDB to find those from the
-                          enum type without spending too much time on it.  Thus
-                          to solve this problem, the compiler needs to put out the
-                          enum in a nameless type.  GCC2 does this.  */
+                       /* If this is an enumerated type, we need to add
+                          all the enum constants to the partial symbol
+                          table.  This does not cover enums without names,
+                          e.g. "enum {a, b} c;" in C, but fortunately
+                          those are rare.  There is no way for GDB to find
+                          those from the enum type without spending too
+                          much time on it.  Thus to solve this problem,
+                          the compiler needs to put out the enum in a
+                          nameless type.  GCC2 does this.  */
 
                        /* We are looking for something of the form
                           <name> ":" ("t" | "T") [<number> "="] "e"
@@ -3165,8 +3127,8 @@ parse_partial_symbols (struct objfile *objfile)
 
                        /* Skip over the colon and the 't' or 'T'.  */
                        p += 2;
-                       /* This type may be given a number.  Also, numbers can come
-                          in pairs like (0,26).  Skip over it.  */
+                       /* This type may be given a number.  Also, numbers
+                          can come in pairs like (0,26).  Skip over it.  */
                        while ((*p >= '0' && *p <= '9')
                               || *p == '(' || *p == ',' || *p == ')'
                               || *p == '=')
@@ -3174,7 +3136,8 @@ parse_partial_symbols (struct objfile *objfile)
 
                        if (*p++ == 'e')
                          {
-                           /* The aix4 compiler emits extra crud before the members.  */
+                           /* The aix4 compiler emits extra crud before
+                              the members.  */
                            if (*p == '-')
                              {
                                /* Skip over the type (?).  */
@@ -3192,10 +3155,10 @@ parse_partial_symbols (struct objfile *objfile)
                               Accept either.  */
                            while (*p && *p != ';' && *p != ',')
                              {
-                               char *q;
+                               const char *q;
 
-                               /* Check for and handle cretinous dbx symbol name
-                                  continuation!  */
+                               /* Check for and handle cretinous dbx
+                                  symbol name continuation!  */
                                if (*p == '\\' || (*p == '?' && p[1] == '\0'))
                                  p = next_symbol_text (objfile);
 
@@ -3204,11 +3167,15 @@ parse_partial_symbols (struct objfile *objfile)
                                for (q = p; *q && *q != ':'; q++)
                                  ;
                                /* Note that the value doesn't matter for
-                                  enum constants in psymtabs, just in symtabs.  */
-                               add_psymbol_to_list (p, q - p, 1,
-                                                    VAR_DOMAIN, LOC_CONST,
-                                                    &objfile->static_psymbols, 0,
-                                                    0, psymtab_language, objfile);
+                                  enum constants in psymtabs, just in
+                                  symtabs.  */
+                               add_psymbol_to_list (gdb::string_view (p,
+                                                                      q - p),
+                                                    true, VAR_DOMAIN,
+                                                    LOC_CONST, -1,
+                                                    psymbol_placement::STATIC,
+                                                    0, psymtab_language,
+                                                    objfile);
                                /* Point past the name.  */
                                p = q;
                                /* Skip over the value.  */
@@ -3222,54 +3189,53 @@ parse_partial_symbols (struct objfile *objfile)
                        continue;
                      case 'c':
                        /* Constant, e.g. from "const" in Pascal.  */
-                       add_psymbol_to_list (namestring, p - namestring, 1,
-                                            VAR_DOMAIN, LOC_CONST,
-                                            &objfile->static_psymbols, sh.value,
+                       add_psymbol_to_list (gdb::string_view (namestring,
+                                                              p - namestring),
+                                            true, VAR_DOMAIN, LOC_CONST, -1,
+                                            psymbol_placement::STATIC,
                                             0, psymtab_language, objfile);
                        continue;
 
                      case 'f':
                        if (! pst)
                          {
-                           int name_len = p - namestring;
-                           char *name = xmalloc (name_len + 1);
-                           memcpy (name, namestring, name_len);
-                           name[name_len] = '\0';
-                           function_outside_compilation_unit_complaint (name);
-                           xfree (name);
+                           std::string copy (namestring, p);
+                           function_outside_compilation_unit_complaint
+                             (copy.c_str ());
                          }
-                       sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
-                       add_psymbol_to_list (namestring, p - namestring, 1,
-                                            VAR_DOMAIN, LOC_BLOCK,
-                                            &objfile->static_psymbols,
-                                            0, sh.value,
+                       add_psymbol_to_list (gdb::string_view (namestring,
+                                                              p - namestring),
+                                            true, VAR_DOMAIN, LOC_BLOCK,
+                                            SECT_OFF_TEXT (objfile),
+                                            psymbol_placement::STATIC,
+                                            sh.value,
                                             psymtab_language, objfile);
                        continue;
 
                        /* Global functions were ignored here, but now they
-                          are put into the global psymtab like one would expect.
-                          They're also in the minimal symbol table.  */
+                          are put into the global psymtab like one would
+                          expect.  They're also in the minimal symbol
+                          table.  */
                      case 'F':
                        if (! pst)
                          {
-                           int name_len = p - namestring;
-                           char *name = xmalloc (name_len + 1);
-                           memcpy (name, namestring, name_len);
-                           name[name_len] = '\0';
-                           function_outside_compilation_unit_complaint (name);
-                           xfree (name);
+                           std::string copy (namestring, p);
+                           function_outside_compilation_unit_complaint
+                             (copy.c_str ());
                          }
-                       sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
-                       add_psymbol_to_list (namestring, p - namestring, 1,
-                                            VAR_DOMAIN, LOC_BLOCK,
-                                            &objfile->global_psymbols,
-                                            0, sh.value,
+                       add_psymbol_to_list (gdb::string_view (namestring,
+                                                              p - namestring),
+                                            true, VAR_DOMAIN, LOC_BLOCK,
+                                            SECT_OFF_TEXT (objfile),
+                                            psymbol_placement::GLOBAL,
+                                            sh.value,
                                             psymtab_language, objfile);
                        continue;
 
-                       /* Two things show up here (hopefully); static symbols of
-                          local scope (static used inside braces) or extensions
-                          of structure symbols.  We can ignore both.  */
+                       /* Two things show up here (hopefully); static
+                          symbols of local scope (static used inside
+                          braces) or extensions of structure symbols.  We
+                          can ignore both.  */
                      case 'V':
                      case '(':
                      case '0':
@@ -3283,29 +3249,30 @@ parse_partial_symbols (struct objfile *objfile)
                      case '8':
                      case '9':
                      case '-':
-                     case '#':         /* for symbol identification (used in live ranges) */
+                     case '#':         /* For symbol identification (used
+                                          in live ranges).  */
                        continue;
 
                      case ':':
-                       /* It is a C++ nested symbol.  We don't need to record it
-                          (I don't think); if we try to look up foo::bar::baz,
-                          then symbols for the symtab containing foo should get
-                          read in, I think.  */
+                       /* It is a C++ nested symbol.  We don't need to
+                          record it (I don't think); if we try to look up
+                          foo::bar::baz, then symbols for the symtab
+                          containing foo should get read in, I think.  */
                        /* Someone says sun cc puts out symbols like
                           /foo/baz/maclib::/usr/local/bin/maclib,
                           which would get here with a symbol type of ':'.  */
                        continue;
 
                      default:
-                       /* Unexpected symbol descriptor.  The second and subsequent stabs
-                          of a continued stab can show up here.  The question is
-                          whether they ever can mimic a normal stab--it would be
-                          nice if not, since we certainly don't want to spend the
-                          time searching to the end of every string looking for
+                       /* Unexpected symbol descriptor.  The second and
+                          subsequent stabs of a continued stab can show up
+                          here.  The question is whether they ever can
+                          mimic a normal stab--it would be nice if not,
+                          since we certainly don't want to spend the time
+                          searching to the end of every string looking for
                           a backslash.  */
 
-                       complaint (&symfile_complaints,
-                                  _("unknown symbol descriptor `%c'"), p[1]);
+                       complaint (_("unknown symbol descriptor `%c'"), p[1]);
 
                        /* Ignore it; perhaps it is an extension that we don't
                           know about.  */
@@ -3317,9 +3284,9 @@ parse_partial_symbols (struct objfile *objfile)
 
                  case N_ENDM:
                    /* Solaris 2 end of module, finish current partial
-                      symbol table.  END_PSYMTAB will set
-                      pst->texthigh to the proper value, which is
-                      necessary if a module compiled without
+                      symbol table.  dbx_end_psymtab will set the
+                      high text address of PST to the proper value,
+                      which is necessary if a module compiled without
                       debugging info follows this module.  */
                    if (pst
                        && gdbarch_sofun_address_maybe_missing (gdbarch))
@@ -3331,18 +3298,20 @@ parse_partial_symbols (struct objfile *objfile)
                    continue;
 
                  case N_RBRAC:
-                   if (sh.value > save_pst->texthigh)
-                     save_pst->texthigh = sh.value;
+                   if (sh.value > save_pst->raw_text_high ())
+                     save_pst->set_text_high (sh.value);
                    continue;
                  case N_EINCL:
                  case N_DSLINE:
                  case N_BSLINE:
-                 case N_SSYM:                  /* Claim: Structure or union element.
-                                                  Hopefully, I can ignore this.  */
-                 case N_ENTRY:         /* Alternate entry point; can ignore. */
-                 case N_MAIN:                  /* Can definitely ignore this.   */
-                 case N_CATCH:         /* These are GNU C++ extensions */
-                 case N_EHDECL:                /* that can safely be ignored here. */
+                 case N_SSYM:          /* Claim: Structure or union
+                                          element.  Hopefully, I can
+                                          ignore this.  */
+                 case N_ENTRY:         /* Alternate entry point; can
+                                          ignore.  */
+                 case N_MAIN:          /* Can definitely ignore this.   */
+                 case N_CATCH:         /* These are GNU C++ extensions.  */
+                 case N_EHDECL:        /* that can safely be ignored here.  */
                  case N_LENG:
                  case N_BCOMM:
                  case N_ECOMM:
@@ -3354,24 +3323,23 @@ parse_partial_symbols (struct objfile *objfile)
                  case N_LBRAC:
                  case N_NSYMS:         /* Ultrix 4.0: symbol count */
                  case N_DEFD:                  /* GNU Modula-2 */
-                 case N_ALIAS:         /* SunPro F77: alias name, ignore for now.  */
+                 case N_ALIAS:         /* SunPro F77: alias name, ignore
+                                          for now.  */
 
-                 case N_OBJ:                   /* useless types from Solaris */
+                 case N_OBJ:           /* Useless types from Solaris.  */
                  case N_OPT:
-                   /* These symbols aren't interesting; don't worry about them */
+                   /* These symbols aren't interesting; don't worry about
+                      them.  */
 
                    continue;
 
                  default:
-                   /* If we haven't found it yet, ignore it.  It's probably some
-                      new type we don't know about yet.  */
-                   complaint (&symfile_complaints, _("unknown symbol type %s"),
-                              hex_string (type_code)); /*CUR_SYMBOL_TYPE*/
+                   /* If we haven't found it yet, ignore it.  It's
+                      probably some new type we don't know about yet.  */
+                   complaint (_("unknown symbol type %s"),
+                              hex_string (type_code)); /* CUR_SYMBOL_TYPE */
                    continue;
                  }
-               if (stabstring
-                   && stabstring != debug_info->ss + fh->issBase + sh.iss)
-                 xfree (stabstring);
              }
              /* end - Handle continuation */
            }
@@ -3380,8 +3348,10 @@ parse_partial_symbols (struct objfile *objfile)
        {
          for (cur_sdx = 0; cur_sdx < fh->csym;)
            {
-             char *name;
-             enum address_class class;
+             char *sym_name;
+             enum address_class theclass;
+             CORE_ADDR minsym_value;
+             short section = -1;
 
              (*swap_sym_in) (cur_bfd,
                              ((char *) debug_info->external_sym
@@ -3400,12 +3370,14 @@ parse_partial_symbols (struct objfile *objfile)
                  || (sh.index == indexNil
                      && (sh.st != stStatic || sh.sc == scAbs)))
                {
-                 /* FIXME, premature? */
+                 /* FIXME, premature?  */
                  cur_sdx++;
                  continue;
                }
 
-             name = debug_info->ss + fh->issBase + sh.iss;
+             sym_name = debug_info->ss + fh->issBase + sh.iss;
+
+             minsym_value = sh.value;
 
              switch (sh.sc)
                {
@@ -3414,18 +3386,18 @@ parse_partial_symbols (struct objfile *objfile)
                  /* The value of a stEnd symbol is the displacement from the
                     corresponding start symbol value, do not relocate it.  */
                  if (sh.st != stEnd)
-                   sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
+                   section = SECT_OFF_TEXT (objfile);
                  break;
                case scData:
                case scSData:
                case scRData:
                case scPData:
                case scXData:
-                 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
+                 section = SECT_OFF_DATA (objfile);
                  break;
                case scBss:
                case scSBss:
-                 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_BSS (objfile));
+                 section = SECT_OFF_BSS (objfile);
                  break;
                }
 
@@ -3436,10 +3408,9 @@ parse_partial_symbols (struct objfile *objfile)
                  int new_sdx;
 
                case stStaticProc:
-                 prim_record_minimal_symbol_and_info (name, sh.value,
-                                                      mst_file_text,
-                                                      SECT_OFF_TEXT (objfile), NULL,
-                                                      objfile);
+                 reader.record_with_info (sym_name, minsym_value,
+                                          mst_file_text,
+                                          SECT_OFF_TEXT (objfile));
 
                  /* FALLTHROUGH */
 
@@ -3449,8 +3420,8 @@ parse_partial_symbols (struct objfile *objfile)
                    {
                      /* Should not happen, but does when cross-compiling
                         with the MIPS compiler.  FIXME -- pull later.  */
-                     index_complaint (name);
-                     new_sdx = cur_sdx + 1;    /* Don't skip at all */
+                     index_complaint (sym_name);
+                     new_sdx = cur_sdx + 1;    /* Don't skip at all */
                    }
                  else
                    new_sdx = AUX_GET_ISYM (fh->fBigendian,
@@ -3461,10 +3432,9 @@ parse_partial_symbols (struct objfile *objfile)
                  if (new_sdx <= cur_sdx)
                    {
                      /* This should not happen either... FIXME.  */
-                     complaint (&symfile_complaints,
-                                _("bad proc end in aux found from symbol %s"),
-                                name);
-                     new_sdx = cur_sdx + 1;    /* Don't skip backward */
+                     complaint (_("bad proc end in aux found from symbol %s"),
+                                sym_name);
+                     new_sdx = cur_sdx + 1;    /* Don't skip backward.  */
                    }
 
                   /* For stProc symbol records, we need to check the
@@ -3478,8 +3448,8 @@ parse_partial_symbols (struct objfile *objfile)
                     goto skip;
 
                  /* Usually there is a local and a global stProc symbol
-                    for a function. This means that the function name
-                    has already been entered into the mimimal symbol table
+                    for a function.  This means that the function name
+                    has already been entered into the minimal symbol table
                     while processing the global symbols in pass 2 above.
                     One notable exception is the PROGRAM name from
                     f77 compiled executables, it is only put out as
@@ -3489,15 +3459,17 @@ parse_partial_symbols (struct objfile *objfile)
                     symbol table, and the MAIN__ symbol via the minimal
                     symbol table.  */
                  if (sh.st == stProc)
-                   add_psymbol_to_list (name, strlen (name), 1,
+                   add_psymbol_to_list (sym_name, true,
                                         VAR_DOMAIN, LOC_BLOCK,
-                                        &objfile->global_psymbols,
-                                   0, sh.value, psymtab_language, objfile);
+                                        section,
+                                        psymbol_placement::GLOBAL,
+                                        sh.value, psymtab_language, objfile);
                  else
-                   add_psymbol_to_list (name, strlen (name), 1,
+                   add_psymbol_to_list (sym_name, true,
                                         VAR_DOMAIN, LOC_BLOCK,
-                                        &objfile->static_psymbols,
-                                   0, sh.value, psymtab_language, objfile);
+                                        section,
+                                        psymbol_placement::STATIC,
+                                        sh.value, psymtab_language, objfile);
 
                  procaddr = sh.value;
 
@@ -3512,32 +3484,29 @@ parse_partial_symbols (struct objfile *objfile)
 
                  /* Kludge for Irix 5.2 zero fh->adr.  */
                  if (!relocatable
-                     && (pst->textlow == 0 || procaddr < pst->textlow))
-                   pst->textlow = procaddr;
+                     && (!pst->text_low_valid
+                         || procaddr < pst->raw_text_low ()))
+                   pst->set_text_low (procaddr);
 
                  high = procaddr + sh.value;
-                 if (high > pst->texthigh)
-                   pst->texthigh = high;
+                 if (high > pst->raw_text_high ())
+                   pst->set_text_high (high);
                  continue;
 
                case stStatic:  /* Variable */
                  if (SC_IS_DATA (sh.sc))
-                   prim_record_minimal_symbol_and_info (name, sh.value,
-                                                        mst_file_data,
-                                                        SECT_OFF_DATA (objfile),
-                                                        NULL,
-                                                        objfile);
+                   reader.record_with_info (sym_name, minsym_value,
+                                            mst_file_data,
+                                            SECT_OFF_DATA (objfile));
                  else
-                   prim_record_minimal_symbol_and_info (name, sh.value,
-                                                        mst_file_bss,
-                                                        SECT_OFF_BSS (objfile),
-                                                        NULL,
-                                                        objfile);
-                 class = LOC_STATIC;
+                   reader.record_with_info (sym_name, minsym_value,
+                                            mst_file_bss,
+                                            SECT_OFF_BSS (objfile));
+                 theclass = LOC_STATIC;
                  break;
 
                case stIndirect:        /* Irix5 forward declaration */
-                 /* Skip forward declarations from Irix5 cc */
+                 /* Skip forward declarations from Irix5 cc */
                  goto skip;
 
                case stTypedef: /* Typedef */
@@ -3545,11 +3514,11 @@ parse_partial_symbols (struct objfile *objfile)
                     structs from alpha and mips cc.  */
                  if (sh.iss == 0 || has_opaque_xref (fh, &sh))
                    goto skip;
-                 class = LOC_TYPEDEF;
+                 theclass = LOC_TYPEDEF;
                  break;
 
                case stConstant:        /* Constant decl */
-                 class = LOC_CONST;
+                 theclass = LOC_CONST;
                  break;
 
                case stUnion:
@@ -3557,28 +3526,27 @@ parse_partial_symbols (struct objfile *objfile)
                case stEnum:
                case stBlock:   /* { }, str, un, enum */
                  /* Do not create a partial symbol for cc unnamed aggregates
-                    and gcc empty aggregates. */
+                    and gcc empty aggregates.  */
                  if ((sh.sc == scInfo
                       || SC_IS_COMMON (sh.sc))
                      && sh.iss != 0
                      && sh.index != cur_sdx + 2)
                    {
-                     add_psymbol_to_list (name, strlen (name), 1,
-                                          STRUCT_DOMAIN, LOC_TYPEDEF,
-                                          &objfile->static_psymbols,
-                                          0, (CORE_ADDR) 0,
-                                          psymtab_language, objfile);
+                     add_psymbol_to_list (sym_name, true,
+                                          STRUCT_DOMAIN, LOC_TYPEDEF, -1,
+                                          psymbol_placement::STATIC,
+                                          0, psymtab_language, objfile);
                    }
                  handle_psymbol_enumerators (objfile, fh, sh.st, sh.value);
 
-                 /* Skip over the block */
+                 /* Skip over the block */
                  new_sdx = sh.index;
                  if (new_sdx <= cur_sdx)
                    {
-                     /* This happens with the Ultrix kernel. */
-                     complaint (&symfile_complaints,
-                                _("bad aux index at block symbol %s"), name);
-                     new_sdx = cur_sdx + 1;    /* Don't skip backward */
+                     /* This happens with the Ultrix kernel.  */
+                     complaint (_("bad aux index at block symbol %s"),
+                                sym_name);
+                     new_sdx = cur_sdx + 1;    /* Don't skip backward */
                    }
                  cur_sdx = new_sdx;
                  continue;
@@ -3591,41 +3559,42 @@ parse_partial_symbols (struct objfile *objfile)
                case stLocal:   /* Local variables */
                  /* Normally these are skipped because we skip over
                     all blocks we see.  However, these can occur
-                    as visible symbols in a .h file that contains code. */
+                    as visible symbols in a .h file that contains code.  */
                  goto skip;
 
                default:
-                 /* Both complaints are valid:  one gives symbol name,
+                 /* Both complaints are valid:  one gives symbol sym_name,
                     the other the offending symbol type.  */
-                 complaint (&symfile_complaints, _("unknown local symbol %s"),
-                            name);
-                 complaint (&symfile_complaints, _("with type %d"), sh.st);
+                 complaint (_("unknown local symbol %s"),
+                            sym_name);
+                 complaint (_("with type %d"), sh.st);
                  cur_sdx++;
                  continue;
                }
-             /* Use this gdb symbol */
-             add_psymbol_to_list (name, strlen (name), 1,
-                                  VAR_DOMAIN, class,
-                                  &objfile->static_psymbols,
-                                  0, sh.value, psymtab_language, objfile);
+             /* Use this gdb symbol */
+             add_psymbol_to_list (sym_name, true,
+                                  VAR_DOMAIN, theclass, section,
+                                  psymbol_placement::STATIC,
+                                  sh.value, psymtab_language, objfile);
            skip:
-             cur_sdx++;        /* Go to next file symbol */
+             cur_sdx++;        /* Go to next file symbol */
            }
 
-         /* Now do enter the external symbols. */
+         /* Now do enter the external symbols.  */
          ext_ptr = &extern_tab[fdr_to_pst[f_idx].globals_offset];
          cur_sdx = fdr_to_pst[f_idx].n_globals;
          PST_PRIVATE (save_pst)->extern_count = cur_sdx;
          PST_PRIVATE (save_pst)->extern_tab = ext_ptr;
          for (; --cur_sdx >= 0; ext_ptr++)
            {
-             enum address_class class;
+             enum address_class theclass;
              SYMR *psh;
-             char *name;
              CORE_ADDR svalue;
+             short section;
 
              if (ext_ptr->ifd != f_idx)
-               internal_error (__FILE__, __LINE__, _("failed internal consistency check"));
+               internal_error (__FILE__, __LINE__,
+                               _("failed internal consistency check"));
              psh = &ext_ptr->asym;
 
              /* Do not add undefined symbols to the partial symbol table.  */
@@ -3635,20 +3604,21 @@ parse_partial_symbols (struct objfile *objfile)
              svalue = psh->value;
              switch (psh->sc)
                {
+               default:
                case scText:
                case scRConst:
-                 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
+                 section = SECT_OFF_TEXT (objfile);
                  break;
                case scData:
                case scSData:
                case scRData:
                case scPData:
                case scXData:
-                 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
+                 section = SECT_OFF_DATA (objfile);
                  break;
                case scBss:
                case scSBss:
-                 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_BSS (objfile));
+                 section = SECT_OFF_BSS (objfile);
                  break;
                }
 
@@ -3665,35 +3635,38 @@ parse_partial_symbols (struct objfile *objfile)
                     Ignore them, as parse_external will ignore them too.  */
                  continue;
                case stLabel:
-                 class = LOC_LABEL;
+                 theclass = LOC_LABEL;
                  break;
                default:
                  unknown_ext_complaint (debug_info->ssext + psh->iss);
-                 /* Fall through, pretend it's global.  */
+                 /* Pretend it's global.  */
+                 /* Fall through.  */
                case stGlobal:
                  /* Global common symbols are resolved by the runtime loader,
                     ignore them.  */
                  if (SC_IS_COMMON (psh->sc))
                    continue;
 
-                 class = LOC_STATIC;
+                 theclass = LOC_STATIC;
                  break;
                }
-             name = debug_info->ssext + psh->iss;
-             add_psymbol_to_list (name, strlen (name), 1,
-                                  VAR_DOMAIN, class,
-                                  &objfile->global_psymbols,
-                                  0, svalue,
-                                  psymtab_language, objfile);
+             char *sym_name = debug_info->ssext + psh->iss;
+             add_psymbol_to_list (sym_name, true,
+                                  VAR_DOMAIN, theclass,
+                                  section,
+                                  psymbol_placement::GLOBAL,
+                                  svalue, psymtab_language, objfile);
            }
        }
 
-      /* Link pst to FDR. end_psymtab returns NULL if the psymtab was
+      /* Link pst to FDR.  dbx_end_psymtab returns NULL if the psymtab was
          empty and put on the free list.  */
-      fdr_to_pst[f_idx].pst = end_psymtab (save_pst,
-                                       psymtab_include_list, includes_used,
-                                          -1, save_pst->texthigh,
-                      dependency_list, dependencies_used, textlow_not_set);
+      fdr_to_pst[f_idx].pst
+       = dbx_end_psymtab (objfile, save_pst,
+                          psymtab_include_list, includes_used,
+                          -1, save_pst->raw_text_high (),
+                          dependency_list, dependencies_used,
+                          textlow_not_set);
       includes_used = 0;
       dependencies_used = 0;
 
@@ -3710,44 +3683,41 @@ parse_partial_symbols (struct objfile *objfile)
          other cases.  */
       save_pst = fdr_to_pst[f_idx].pst;
       if (save_pst != NULL
-         && save_pst->textlow != 0
+         && save_pst->text_low_valid
          && !(objfile->flags & OBJF_REORDERED))
        {
-         ALL_OBJFILE_PSYMTABS (objfile, pst)
-         {
-           if (save_pst != pst
-               && save_pst->textlow >= pst->textlow
-               && save_pst->textlow < pst->texthigh
-               && save_pst->texthigh > pst->texthigh)
-             {
-               objfile->flags |= OBJF_REORDERED;
-               break;
-             }
-         }
+         for (partial_symtab *iter : objfile->psymtabs ())
+           {
+             if (save_pst != iter
+                 && save_pst->raw_text_low () >= iter->raw_text_low ()
+                 && save_pst->raw_text_low () < iter->raw_text_high ()
+                 && save_pst->raw_text_high () > iter->raw_text_high ())
+               {
+                 objfile->flags |= OBJF_REORDERED;
+                 break;
+               }
+           }
        }
     }
 
-  /* Now scan the FDRs for dependencies */
+  /* Now scan the FDRs for dependencies */
   for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
     {
       fh = f_idx + debug_info->fdr;
       pst = fdr_to_pst[f_idx].pst;
 
-      if (pst == (struct partial_symtab *) NULL)
+      if (pst == NULL)
        continue;
 
-      /* This should catch stabs-in-ecoff. */
+      /* This should catch stabs-in-ecoff.  */
       if (fh->crfd <= 1)
        continue;
 
-      /* Skip the first file indirect entry as it is a self dependency
-         for source files or a reverse .h -> .c dependency for header files.  */
+      /* Skip the first file indirect entry as it is a self dependency for
+         source files or a reverse .h -> .c dependency for header files.  */
       pst->number_of_dependencies = 0;
-      pst->dependencies =
-       ((struct partial_symtab **)
-        obstack_alloc (&objfile->objfile_obstack,
-                       ((fh->crfd - 1)
-                        * sizeof (struct partial_symtab *))));
+      pst->dependencies
+       = objfile->partial_symtabs->allocate_dependencies (fh->crfd - 1);
       for (s_idx = 1; s_idx < fh->crfd; s_idx++)
        {
          RFDT rh;
@@ -3758,7 +3728,7 @@ parse_partial_symbols (struct objfile *objfile)
                          &rh);
          if (rh < 0 || rh >= hdr->ifdMax)
            {
-             complaint (&symfile_complaints, _("bad file number %ld"), rh);
+             complaint (_("bad file number %ld"), rh);
              continue;
            }
 
@@ -3766,25 +3736,26 @@ parse_partial_symbols (struct objfile *objfile)
          if (rh == f_idx)
            continue;
 
-         /* Do not add to dependeny list if psymtab was empty.  */
-         if (fdr_to_pst[rh].pst == (struct partial_symtab *) NULL)
+         /* Do not add to dependency list if psymtab was empty.  */
+         if (fdr_to_pst[rh].pst == NULL)
            continue;
-         pst->dependencies[pst->number_of_dependencies++] = fdr_to_pst[rh].pst;
+         pst->dependencies[pst->number_of_dependencies++]
+           = fdr_to_pst[rh].pst;
        }
     }
 
   /* Remove the dummy psymtab created for -O3 images above, if it is
      still empty, to enable the detection of stripped executables.  */
-  if (objfile->psymtabs->next == NULL
-      && objfile->psymtabs->number_of_dependencies == 0
-      && objfile->psymtabs->n_global_syms == 0
-      && objfile->psymtabs->n_static_syms == 0)
-    objfile->psymtabs = NULL;
-  do_cleanups (old_chain);
+  pst = objfile->partial_symtabs->psymtabs;
+  if (pst->next == NULL
+      && pst->number_of_dependencies == 0
+      && pst->n_global_syms == 0
+      && pst->n_static_syms == 0)
+    objfile->partial_symtabs->psymtabs = NULL;
 }
 
 /* If the current psymbol has an enumerated type, we need to add
-   all the the enum constants to the partial symbol table.  */
+   all the enum constants to the partial symbol table.  */
 
 static void
 handle_psymbol_enumerators (struct objfile *objfile, FDR *fh, int stype,
@@ -3843,17 +3814,17 @@ handle_psymbol_enumerators (struct objfile *objfile, FDR *fh, int stype,
 
       /* Note that the value doesn't matter for enum constants
          in psymtabs, just in symtabs.  */
-      add_psymbol_to_list (name, strlen (name), 1,
-                          VAR_DOMAIN, LOC_CONST,
-                          &objfile->static_psymbols, 0,
-                          (CORE_ADDR) 0, psymtab_language, objfile);
+      add_psymbol_to_list (name, true,
+                          VAR_DOMAIN, LOC_CONST, -1,
+                          psymbol_placement::STATIC, 0,
+                          psymtab_language, objfile);
       ext_sym += external_sym_size;
     }
 }
 
-/* Get the next symbol.  OBJFILE is unused. */
+/* Get the next symbol.  OBJFILE is unused.  */
 
-static char *
+static const char *
 mdebug_next_symbol_text (struct objfile *objfile)
 {
   SYMR sh;
@@ -3878,24 +3849,26 @@ mdebug_next_symbol_text (struct objfile *objfile)
    The flow of control and even the memory allocation differs.  FIXME.  */
 
 static void
-psymtab_to_symtab_1 (struct partial_symtab *pst, char *filename)
+psymtab_to_symtab_1 (struct objfile *objfile,
+                    struct partial_symtab *pst, const char *filename)
 {
   bfd_size_type external_sym_size;
   bfd_size_type external_pdr_size;
   void (*swap_sym_in) (bfd *, void *, SYMR *);
   void (*swap_pdr_in) (bfd *, void *, PDR *);
   int i;
-  struct symtab *st = NULL;
+  struct compunit_symtab *cust = NULL;
   FDR *fh;
   struct linetable *lines;
   CORE_ADDR lowest_pdr_addr = 0;
   int last_symtab_ended = 0;
+  struct section_offsets *section_offsets = objfile->section_offsets;
 
   if (pst->readin)
     return;
   pst->readin = 1;
 
-  /* Read in all partial symbtabs on which this one is dependent.
+  /* Read in all partial symtabs on which this one is dependent.
      NOTE that we do have circular dependencies, sigh.  We solved
      that by setting pst->readin before this point.  */
 
@@ -3914,18 +3887,18 @@ psymtab_to_symtab_1 (struct partial_symtab *pst, char *filename)
            wrap_here ("");     /* Flush output */
            gdb_flush (gdb_stdout);
          }
-       /* We only pass the filename for debug purposes */
-       psymtab_to_symtab_1 (pst->dependencies[i],
+       /* We only pass the filename for debug purposes */
+       psymtab_to_symtab_1 (objfile, pst->dependencies[i],
                             pst->dependencies[i]->filename);
       }
 
   /* Do nothing if this is a dummy psymtab.  */
 
   if (pst->n_global_syms == 0 && pst->n_static_syms == 0
-      && pst->textlow == 0 && pst->texthigh == 0)
+      && !pst->text_low_valid && !pst->text_high_valid)
     return;
 
-  /* Now read the symbols for this symtab */
+  /* Now read the symbols for this symtab */
 
   cur_bfd = CUR_BFD (pst);
   debug_swap = DEBUG_SWAP (pst);
@@ -3935,16 +3908,16 @@ psymtab_to_symtab_1 (struct partial_symtab *pst, char *filename)
   external_pdr_size = debug_swap->external_pdr_size;
   swap_sym_in = debug_swap->swap_sym_in;
   swap_pdr_in = debug_swap->swap_pdr_in;
-  current_objfile = pst->objfile;
+  mdebugread_objfile = objfile;
   cur_fd = FDR_IDX (pst);
   fh = ((cur_fd == -1)
-       ? (FDR *) NULL
+       ? NULL
        : debug_info->fdr + cur_fd);
   cur_fdr = fh;
 
-  /* See comment in parse_partial_symbols about the @stabs sentinel. */
+  /* See comment in parse_partial_symbols about the @stabs sentinel.  */
   processing_gcc_compilation = 0;
-  if (fh != (FDR *) NULL && fh->csym >= 2)
+  if (fh != NULL && fh->csym >= 2)
     {
       SYMR sh;
 
@@ -3963,15 +3936,15 @@ psymtab_to_symtab_1 (struct partial_symtab *pst, char *filename)
 
   if (processing_gcc_compilation != 0)
     {
-      struct gdbarch *gdbarch = get_objfile_arch (pst->objfile);
+      struct gdbarch *gdbarch = get_objfile_arch (objfile);
 
       /* This symbol table contains stabs-in-ecoff entries.  */
 
-      /* Parse local symbols first */
+      /* Parse local symbols first */
 
-      if (fh->csym <= 2)       /* FIXME, this blows psymtab->symtab ptr */
+      if (fh->csym <= 2)       /* FIXME, this blows psymtab->symtab ptr */
        {
-         current_objfile = NULL;
+         mdebugread_objfile = NULL;
          return;
        }
       for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
@@ -3990,6 +3963,7 @@ psymtab_to_symtab_1 (struct partial_symtab *pst, char *filename)
          if (ECOFF_IS_STAB (&sh) || (name[0] == '#'))
            {
              int type_code = ECOFF_UNMARK_STAB (sh.index);
+             enum language language = PST_PRIVATE (pst)->pst_language;
 
              /* We should never get non N_STAB symbols here, but they
                 should be harmless, so keep process_one_symbol from
@@ -4000,17 +3974,16 @@ psymtab_to_symtab_1 (struct partial_symtab *pst, char *filename)
                      it here instead of in process_one_symbol, so we
                      can keep a handle to its symtab.  The symtab
                      would otherwise be ended twice, once in
-                     process_one_symbol, and once after this loop. */
+                     process_one_symbol, and once after this loop.  */
                  if (type_code == N_SO
-                     && last_source_file
+                     && get_last_source_file ()
                      && previous_stab_code != (unsigned char) N_SO
                      && *name == '\000')
                    {
-                     valu += ANOFFSET (pst->section_offsets,
-                                       SECT_OFF_TEXT (pst->objfile));
+                     valu += ANOFFSET (section_offsets,
+                                       SECT_OFF_TEXT (objfile));
                      previous_stab_code = N_SO;
-                     st = end_symtab (valu, pst->objfile,
-                                      SECT_OFF_TEXT (pst->objfile));
+                     cust = end_symtab (valu, SECT_OFF_TEXT (objfile));
                      end_stabs ();
                      last_symtab_ended = 1;
                    }
@@ -4018,32 +3991,30 @@ psymtab_to_symtab_1 (struct partial_symtab *pst, char *filename)
                    {
                      last_symtab_ended = 0;
                      process_one_symbol (type_code, 0, valu, name,
-                                         pst->section_offsets, pst->objfile);
+                                         section_offsets, objfile, language);
                    }
                }
              /* Similarly a hack.  */
              else if (name[0] == '#')
                {
                  process_one_symbol (N_SLINE, 0, valu, name,
-                                     pst->section_offsets, pst->objfile);
+                                     section_offsets, objfile, language);
                }
              if (type_code == N_FUN)
                {
                  /* Make up special symbol to contain
-                    procedure specific info */
-                 struct mdebug_extra_func_info *e =
-                 ((struct mdebug_extra_func_info *)
-                  obstack_alloc (&current_objfile->objfile_obstack,
-                                 sizeof (struct mdebug_extra_func_info)));
+                    procedure specific info.  */
+                 mdebug_extra_func_info *e
+                   = OBSTACK_ZALLOC (&mdebugread_objfile->objfile_obstack,
+                                     mdebug_extra_func_info);
                  struct symbol *s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
 
-                 memset (e, 0, sizeof (struct mdebug_extra_func_info));
                  SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
-                 SYMBOL_CLASS (s) = LOC_CONST;
-                 SYMBOL_TYPE (s) = objfile_type (pst->objfile)->builtin_void;
+                 SYMBOL_ACLASS_INDEX (s) = LOC_CONST;
+                 SYMBOL_TYPE (s) = objfile_type (objfile)->builtin_void;
                  SYMBOL_VALUE_BYTES (s) = (gdb_byte *) e;
                  e->pdr.framereg = -1;
-                 add_symbol_to_list (s, &local_symbols);
+                 add_symbol_to_list (s, get_local_symbols ());
                }
            }
          else if (sh.st == stLabel)
@@ -4056,23 +4027,24 @@ psymtab_to_symtab_1 (struct partial_symtab *pst, char *filename)
                }
              else
                {
-                 /* Handle encoded stab line number. */
-                 valu += ANOFFSET (pst->section_offsets, SECT_OFF_TEXT (pst->objfile));
-                 record_line (current_subfile, sh.index,
+                 /* Handle encoded stab line number.  */
+                 valu += ANOFFSET (section_offsets,
+                                   SECT_OFF_TEXT (objfile));
+                 record_line (get_current_subfile (), sh.index,
                               gdbarch_addr_bits_remove (gdbarch, valu));
                }
            }
          else if (sh.st == stProc || sh.st == stStaticProc
                   || sh.st == stStatic || sh.st == stEnd)
-           /* These are generated by gcc-2.x, do not complain */
+           /* These are generated by gcc-2.x, do not complain */
            ;
          else
-           complaint (&symfile_complaints, _("unknown stabs symbol %s"), name);
+           complaint (_("unknown stabs symbol %s"), name);
        }
 
       if (! last_symtab_ended)
        {
-         st = end_symtab (pst->texthigh, pst->objfile, SECT_OFF_TEXT (pst->objfile));
+         cust = end_symtab (pst->raw_text_high (), SECT_OFF_TEXT (objfile));
          end_stabs ();
        }
 
@@ -4085,20 +4057,17 @@ psymtab_to_symtab_1 (struct partial_symtab *pst, char *filename)
       /* Fill in procedure info next.  */
       if (fh->cpd > 0)
        {
-         PDR *pr_block;
-         struct cleanup *old_chain;
          char *pdr_ptr;
          char *pdr_end;
          PDR *pdr_in;
          PDR *pdr_in_end;
 
-         pr_block = (PDR *) xmalloc (fh->cpd * sizeof (PDR));
-         old_chain = make_cleanup (xfree, pr_block);
+         gdb::def_vector<PDR> pr_block (fh->cpd);
 
          pdr_ptr = ((char *) debug_info->external_pdr
                     + fh->ipdFirst * external_pdr_size);
          pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
-         pdr_in = pr_block;
+         pdr_in = pr_block.data ();
          for (;
               pdr_ptr < pdr_end;
               pdr_ptr += external_pdr_size, pdr_in++)
@@ -4107,54 +4076,51 @@ psymtab_to_symtab_1 (struct partial_symtab *pst, char *filename)
 
              /* Determine lowest PDR address, the PDRs are not always
                 sorted.  */
-             if (pdr_in == pr_block)
+             if (pdr_in == pr_block.data ())
                lowest_pdr_addr = pdr_in->adr;
              else if (pdr_in->adr < lowest_pdr_addr)
                lowest_pdr_addr = pdr_in->adr;
            }
 
-         pdr_in = pr_block;
+         pdr_in = pr_block.data ();
          pdr_in_end = pdr_in + fh->cpd;
          for (; pdr_in < pdr_in_end; pdr_in++)
-           parse_procedure (pdr_in, st, pst);
-
-         do_cleanups (old_chain);
+           parse_procedure (pdr_in, cust, pst);
        }
     }
   else
     {
       /* This symbol table contains ordinary ecoff entries.  */
 
-      int f_max;
-      int maxlines;
+      int maxlines, size;
       EXTR *ext_ptr;
 
       if (fh == 0)
        {
          maxlines = 0;
-         st = new_symtab ("unknown", 0, pst->objfile);
+         cust = new_symtab ("unknown", 0, objfile);
        }
       else
        {
          maxlines = 2 * fh->cline;
-         st = new_symtab (pst->filename, maxlines, pst->objfile);
+         cust = new_symtab (pst->filename, maxlines, objfile);
 
          /* The proper language was already determined when building
             the psymtab, use it.  */
-         st->language = PST_PRIVATE (pst)->pst_language;
+         COMPUNIT_FILETABS (cust)->language = PST_PRIVATE (pst)->pst_language;
        }
 
-      psymtab_language = st->language;
+      psymtab_language = COMPUNIT_FILETABS (cust)->language;
 
-      lines = LINETABLE (st);
+      lines = SYMTAB_LINETABLE (COMPUNIT_FILETABS (cust));
 
-      /* Get a new lexical context */
+      /* Get a new lexical context */
 
       push_parse_stack ();
-      top_stack->cur_st = st;
-      top_stack->cur_block = BLOCKVECTOR_BLOCK (BLOCKVECTOR (st),
-                                               STATIC_BLOCK);
-      BLOCK_START (top_stack->cur_block) = pst->textlow;
+      top_stack->cur_st = COMPUNIT_FILETABS (cust);
+      top_stack->cur_block
+       = BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (cust), STATIC_BLOCK);
+      BLOCK_START (top_stack->cur_block) = pst->text_low (objfile);
       BLOCK_END (top_stack->cur_block) = 0;
       top_stack->blocktype = stFile;
       top_stack->cur_type = 0;
@@ -4167,7 +4133,7 @@ psymtab_to_symtab_1 (struct partial_symtab *pst, char *filename)
          char *sym_ptr;
          char *sym_end;
 
-         /* Parse local symbols first */
+         /* Parse local symbols first */
          sym_ptr = ((char *) debug_info->external_sym
                     + fh->isymBase * external_sym_size);
          sym_end = sym_ptr + fh->csym * external_sym_size;
@@ -4179,7 +4145,8 @@ psymtab_to_symtab_1 (struct partial_symtab *pst, char *filename)
              (*swap_sym_in) (cur_bfd, sym_ptr, &sh);
              c = parse_symbol (&sh,
                                debug_info->external_aux + fh->iauxBase,
-                               sym_ptr, fh->fBigendian, pst->section_offsets, pst->objfile);
+                               sym_ptr, fh->fBigendian,
+                               section_offsets, objfile);
              sym_ptr += c * external_sym_size;
            }
 
@@ -4188,21 +4155,17 @@ psymtab_to_symtab_1 (struct partial_symtab *pst, char *filename)
             structures, so we swap them all first.  */
          if (fh->cpd > 0)
            {
-             PDR *pr_block;
-             struct cleanup *old_chain;
              char *pdr_ptr;
              char *pdr_end;
              PDR *pdr_in;
              PDR *pdr_in_end;
 
-             pr_block = (PDR *) xmalloc (fh->cpd * sizeof (PDR));
-
-             old_chain = make_cleanup (xfree, pr_block);
+             gdb::def_vector<PDR> pr_block (fh->cpd);
 
              pdr_ptr = ((char *) debug_info->external_pdr
                         + fh->ipdFirst * external_pdr_size);
              pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
-             pdr_in = pr_block;
+             pdr_in = pr_block.data ();
              for (;
                   pdr_ptr < pdr_end;
                   pdr_ptr += external_pdr_size, pdr_in++)
@@ -4211,39 +4174,48 @@ psymtab_to_symtab_1 (struct partial_symtab *pst, char *filename)
 
                  /* Determine lowest PDR address, the PDRs are not always
                     sorted.  */
-                 if (pdr_in == pr_block)
+                 if (pdr_in == pr_block.data ())
                    lowest_pdr_addr = pdr_in->adr;
                  else if (pdr_in->adr < lowest_pdr_addr)
                    lowest_pdr_addr = pdr_in->adr;
                }
 
-             parse_lines (fh, pr_block, lines, maxlines, pst, lowest_pdr_addr);
+             parse_lines (fh, pr_block.data (), lines, maxlines,
+                          pst->text_low (objfile), lowest_pdr_addr);
              if (lines->nitems < fh->cline)
                lines = shrink_linetable (lines);
 
              /* Fill in procedure info next.  */
-             pdr_in = pr_block;
+             pdr_in = pr_block.data ();
              pdr_in_end = pdr_in + fh->cpd;
              for (; pdr_in < pdr_in_end; pdr_in++)
-               parse_procedure (pdr_in, 0, pst);
-
-             do_cleanups (old_chain);
+               parse_procedure (pdr_in, NULL, pst);
            }
        }
 
-      LINETABLE (st) = lines;
+      size = lines->nitems;
+      if (size > 1)
+       --size;
+      SYMTAB_LINETABLE (COMPUNIT_FILETABS (cust))
+       = ((struct linetable *)
+          obstack_copy (&mdebugread_objfile->objfile_obstack,
+                        lines, (sizeof (struct linetable)
+                                + size * sizeof (lines->item))));
+      xfree (lines);
 
       /* .. and our share of externals.
-         XXX use the global list to speed up things here. how?
-         FIXME, Maybe quit once we have found the right number of ext's? */
-      top_stack->cur_st = st;
-      top_stack->cur_block = BLOCKVECTOR_BLOCK (BLOCKVECTOR (top_stack->cur_st),
-                                               GLOBAL_BLOCK);
+         XXX use the global list to speed up things here.  How?
+         FIXME, Maybe quit once we have found the right number of ext's?  */
+      top_stack->cur_st = COMPUNIT_FILETABS (cust);
+      top_stack->cur_block
+       = BLOCKVECTOR_BLOCK (SYMTAB_BLOCKVECTOR (top_stack->cur_st),
+                            GLOBAL_BLOCK);
       top_stack->blocktype = stFile;
 
       ext_ptr = PST_PRIVATE (pst)->extern_tab;
       for (i = PST_PRIVATE (pst)->extern_count; --i >= 0; ext_ptr++)
-       parse_external (ext_ptr, fh->fBigendian, pst->section_offsets, pst->objfile);
+       parse_external (ext_ptr, fh->fBigendian,
+                       section_offsets, objfile);
 
       /* If there are undefined symbols, tell the user.
          The alpha has an undefined symbol for every symbol that is
@@ -4251,26 +4223,27 @@ psymtab_to_symtab_1 (struct partial_symtab *pst, char *filename)
       if (info_verbose && n_undef_symbols)
        {
          printf_filtered (_("File %s contains %d unresolved references:"),
-                          st->filename, n_undef_symbols);
-         printf_filtered ("\n\t%4d variables\n\t%4d procedures\n\t%4d labels\n",
+                          symtab_to_filename_for_display
+                            (COMPUNIT_FILETABS (cust)),
+                          n_undef_symbols);
+         printf_filtered ("\n\t%4d variables\n\t%4d "
+                          "procedures\n\t%4d labels\n",
                           n_undef_vars, n_undef_procs, n_undef_labels);
          n_undef_symbols = n_undef_labels = n_undef_vars = n_undef_procs = 0;
 
        }
       pop_parse_stack ();
 
-      st->primary = 1;
-
-      sort_blocks (st);
+      sort_blocks (COMPUNIT_FILETABS (cust));
     }
 
   /* Now link the psymtab and the symtab.  */
-  pst->symtab = st;
+  pst->compunit_symtab = cust;
 
-  current_objfile = NULL;
+  mdebugread_objfile = NULL;
 }
 \f
-/* Ancillary parsing procedures. */
+/* Ancillary parsing procedures.  */
 
 /* Return 1 if the symbol pointed to by SH has a cross reference
    to an opaque aggregate type, else 0.  */
@@ -4305,11 +4278,13 @@ has_opaque_xref (FDR *fh, SYMR *sh)
 /* Lookup the type at relative index RN.  Return it in TPP
    if found and in any event come up with its name PNAME.
    BIGEND says whether aux symbols are big-endian or not (from fh->fBigendian).
-   Return value says how many aux symbols we ate. */
+   Return value says how many aux symbols we ate.  */
 
 static int
-cross_ref (int fd, union aux_ext *ax, struct type **tpp, enum type_code type_code,     /* Use to alloc new type if none is found. */
-          char **pname, int bigend, char *sym_name)
+cross_ref (int fd, union aux_ext *ax, struct type **tpp,
+          enum type_code type_code,
+          /* Use to alloc new type if none is found.  */
+          const char **pname, int bigend, const char *sym_name)
 {
   RNDXR rn[1];
   unsigned int rf;
@@ -4320,11 +4295,11 @@ cross_ref (int fd, union aux_ext *ax, struct type **tpp, enum type_code type_cod
   int xref_fd;
   struct mdebug_pending *pend;
 
-  *tpp = (struct type *) NULL;
+  *tpp = NULL;
 
   (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, rn);
 
-  /* Escape index means 'the next one' */
+  /* Escape index means 'the next one' */
   if (rn->rfd == 0xfff)
     {
       result++;
@@ -4336,17 +4311,18 @@ cross_ref (int fd, union aux_ext *ax, struct type **tpp, enum type_code type_cod
     }
 
   /* mips cc uses a rf of -1 for opaque struct definitions.
-     Set TYPE_FLAG_STUB for these types so that check_typedef will
+     Set TYPE_STUB for these types so that check_typedef will
      resolve them if the struct gets defined in another compilation unit.  */
   if (rf == -1)
     {
       *pname = "<undefined>";
-      *tpp = init_type (type_code, 0, TYPE_FLAG_STUB, (char *) NULL, current_objfile);
+      *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
+      TYPE_STUB (*tpp) = 1;
       return result;
     }
 
   /* mips cc uses an escaped rn->index of 0 for struct return types
-     of procedures that were compiled without -g. These will always remain
+     of procedures that were compiled without -g.  These will always remain
      undefined.  */
   if (rn->rfd == 0xfff && rn->index == 0)
     {
@@ -4407,12 +4383,12 @@ cross_ref (int fd, union aux_ext *ax, struct type **tpp, enum type_code type_cod
             two cases:
             a) forward declarations of structs/unions/enums which are not
             defined in this compilation unit.
-            For these the type will be void. This is a bad design decision
+            For these the type will be void.  This is a bad design decision
             as cross referencing across compilation units is impossible
             due to the missing name.
             b) forward declarations of structs/unions/enums/typedefs which
             are defined later in this file or in another file in the same
-            compilation unit. Irix5 cc uses a stIndirect symbol for this.
+            compilation unit.  Irix5 cc uses a stIndirect symbol for this.
             Simply cross reference those again to get the true type.
             The forward references are not entered in the pending list and
             in the symbol table.  */
@@ -4422,13 +4398,11 @@ cross_ref (int fd, union aux_ext *ax, struct type **tpp, enum type_code type_cod
                                        + fh->iauxBase + sh.index)->a_ti,
                                      &tir);
          if (tir.tq0 != tqNil)
-           complaint (&symfile_complaints,
-                      _("illegal tq0 in forward typedef for %s"), sym_name);
+           complaint (_("illegal tq0 in forward typedef for %s"), sym_name);
          switch (tir.bt)
            {
            case btVoid:
-             *tpp = init_type (type_code, 0, 0, (char *) NULL,
-                               current_objfile);
+             *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
              *pname = "<undefined>";
              break;
 
@@ -4443,45 +4417,43 @@ cross_ref (int fd, union aux_ext *ax, struct type **tpp, enum type_code type_cod
              break;
 
            case btTypedef:
-             /* Follow a forward typedef. This might recursively
+             /* Follow a forward typedef.  This might recursively
                 call cross_ref till we get a non typedef'ed type.
                 FIXME: This is not correct behaviour, but gdb currently
-                cannot handle typedefs without type copying. Type
+                cannot handle typedefs without type copying.  Type
                 copying is impossible as we might have mutual forward
                 references between two files and the copied type would not
                 get filled in when we later parse its definition.  */
              *tpp = parse_type (xref_fd,
                                 debug_info->external_aux + fh->iauxBase,
                                 sh.index,
-                                (int *) NULL,
+                                NULL,
                                 fh->fBigendian,
                                 debug_info->ss + fh->issBase + sh.iss);
              add_pending (fh, esh, *tpp);
              break;
 
            default:
-             complaint (&symfile_complaints,
-                        _("illegal bt %d in forward typedef for %s"), tir.bt,
+             complaint (_("illegal bt %d in forward typedef for %s"), tir.bt,
                         sym_name);
-             *tpp = init_type (type_code, 0, 0, (char *) NULL,
-                               current_objfile);
+             *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
              break;
            }
          return result;
        }
       else if (sh.st == stTypedef)
        {
-         /* Parse the type for a normal typedef. This might recursively call
+         /* Parse the type for a normal typedef.  This might recursively call
             cross_ref till we get a non typedef'ed type.
             FIXME: This is not correct behaviour, but gdb currently
-            cannot handle typedefs without type copying. But type copying is
+            cannot handle typedefs without type copying.  But type copying is
             impossible as we might have mutual forward references between
             two files and the copied type would not get filled in when
             we later parse its definition.   */
          *tpp = parse_type (xref_fd,
                             debug_info->external_aux + fh->iauxBase,
                             sh.index,
-                            (int *) NULL,
+                            NULL,
                             fh->fBigendian,
                             debug_info->ss + fh->issBase + sh.iss);
        }
@@ -4492,40 +4464,40 @@ cross_ref (int fd, union aux_ext *ax, struct type **tpp, enum type_code type_cod
             has not been parsed yet.
             Initialize the type only, it will be filled in when
             it's definition is parsed.  */
-         *tpp = init_type (type_code, 0, 0, (char *) NULL, current_objfile);
+         *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
        }
       add_pending (fh, esh, *tpp);
     }
 
-  /* We used one auxent normally, two if we got a "next one" rf. */
+  /* We used one auxent normally, two if we got a "next one" rf.  */
   return result;
 }
 
 
 /* Quick&dirty lookup procedure, to avoid the MI ones that require
-   keeping the symtab sorted */
+   keeping the symtab sorted */
 
 static struct symbol *
-mylookup_symbol (char *name, struct block *block,
-                domain_enum domain, enum address_class class)
+mylookup_symbol (const char *name, const struct block *block,
+                domain_enum domain, enum address_class theclass)
 {
-  struct dict_iterator iter;
+  struct block_iterator iter;
   int inc;
   struct symbol *sym;
 
   inc = name[0];
   ALL_BLOCK_SYMBOLS (block, iter, sym)
     {
-      if (SYMBOL_LINKAGE_NAME (sym)[0] == inc
+      if (sym->linkage_name ()[0] == inc
          && SYMBOL_DOMAIN (sym) == domain
-         && SYMBOL_CLASS (sym) == class
-         && strcmp (SYMBOL_LINKAGE_NAME (sym), name) == 0)
+         && SYMBOL_CLASS (sym) == theclass
+         && strcmp (sym->linkage_name (), name) == 0)
        return sym;
     }
 
   block = BLOCK_SUPERBLOCK (block);
   if (block)
-    return mylookup_symbol (name, block, domain, class);
+    return mylookup_symbol (name, block, domain, theclass);
   return 0;
 }
 
@@ -4535,23 +4507,25 @@ mylookup_symbol (char *name, struct block *block,
 static void
 add_symbol (struct symbol *s, struct symtab *symtab, struct block *b)
 {
-  SYMBOL_SYMTAB (s) = symtab;
-  dict_add_symbol (BLOCK_DICT (b), s);
+  symbol_set_symtab (s, symtab);
+  mdict_add_symbol (BLOCK_MULTIDICT (b), s);
 }
 
-/* Add a new block B to a symtab S */
+/* Add a new block B to a symtab S */
 
 static void
 add_block (struct block *b, struct symtab *s)
 {
-  struct blockvector *bv = BLOCKVECTOR (s);
+  /* Cast away "const", but that's ok because we're building the
+     symtab and blockvector here.  */
+  struct blockvector *bv = (struct blockvector *) SYMTAB_BLOCKVECTOR (s);
 
   bv = (struct blockvector *) xrealloc ((void *) bv,
                                        (sizeof (struct blockvector)
                                         + BLOCKVECTOR_NBLOCKS (bv)
                                         * sizeof (bv->block)));
-  if (bv != BLOCKVECTOR (s))
-    BLOCKVECTOR (s) = bv;
+  if (bv != SYMTAB_BLOCKVECTOR (s))
+    SYMTAB_BLOCKVECTOR (s) = bv;
 
   BLOCKVECTOR_BLOCK (bv, BLOCKVECTOR_NBLOCKS (bv)++) = b;
 }
@@ -4566,7 +4540,7 @@ add_block (struct block *b, struct symtab *s)
    a prologue than mips_skip_prologue).
    But due to the compressed line table format there are line number entries
    for the same line which are needed to bridge the gap to the next
-   line number entry. These entries have a bogus address info with them
+   line number entry.  These entries have a bogus address info with them
    and we are unable to tell them from intended duplicate line number
    entries.
    This is another reason why -ggdb debugging format is preferable.  */
@@ -4575,13 +4549,13 @@ static int
 add_line (struct linetable *lt, int lineno, CORE_ADDR adr, int last)
 {
   /* DEC c89 sometimes produces zero linenos which confuse gdb.
-     Change them to something sensible. */
+     Change them to something sensible.  */
   if (lineno == 0)
     lineno = 1;
   if (last == 0)
-    last = -2;                 /* make sure we record first line */
+    last = -2;                 /* Make sure we record first line.  */
 
-  if (last == lineno)          /* skip continuation lines */
+  if (last == lineno)          /* Skip continuation lines.  */
     return lineno;
 
   lt->item[lt->nitems].line = lineno;
@@ -4589,33 +4563,34 @@ add_line (struct linetable *lt, int lineno, CORE_ADDR adr, int last)
   return lineno;
 }
 \f
-/* Sorting and reordering procedures */
+/* Sorting and reordering procedures */
 
-/* Blocks with a smaller low bound should come first */
+/* Blocks with a smaller low bound should come first */
 
-static int
-compare_blocks (const void *arg1, const void *arg2)
+static bool
+block_is_less_than (const struct block *b1, const struct block *b2)
 {
-  LONGEST addr_diff;
-  struct block **b1 = (struct block **) arg1;
-  struct block **b2 = (struct block **) arg2;
-
-  addr_diff = (BLOCK_START ((*b1))) - (BLOCK_START ((*b2)));
-  if (addr_diff == 0)
-    return (BLOCK_END ((*b2))) - (BLOCK_END ((*b1)));
-  return addr_diff;
+  CORE_ADDR start1 = BLOCK_START (b1);
+  CORE_ADDR start2 = BLOCK_START (b2);
+
+  if (start1 != start2)
+    return start1 < start2;
+
+  return (BLOCK_END (b2)) < (BLOCK_END (b1));
 }
 
 /* Sort the blocks of a symtab S.
    Reorder the blocks in the blockvector by code-address,
-   as required by some MI search routines */
+   as required by some MI search routines */
 
 static void
 sort_blocks (struct symtab *s)
 {
-  struct blockvector *bv = BLOCKVECTOR (s);
+  /* We have to cast away const here, but this is ok because we're
+     constructing the blockvector in this code.  */
+  struct blockvector *bv = (struct blockvector *) SYMTAB_BLOCKVECTOR (s);
 
-  if (BLOCKVECTOR_NBLOCKS (bv) <= 2)
+  if (BLOCKVECTOR_NBLOCKS (bv) <= FIRST_LOCAL_BLOCK)
     {
       /* Cosmetic */
       if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) == 0)
@@ -4630,11 +4605,10 @@ sort_blocks (struct symtab *s)
    * are very different.  It would be nice to find a reliable test
    * to detect -O3 images in advance.
    */
-  if (BLOCKVECTOR_NBLOCKS (bv) > 3)
-    qsort (&BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK),
-          BLOCKVECTOR_NBLOCKS (bv) - FIRST_LOCAL_BLOCK,
-          sizeof (struct block *),
-          compare_blocks);
+  if (BLOCKVECTOR_NBLOCKS (bv) > FIRST_LOCAL_BLOCK + 1)
+    std::sort (&BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK),
+              &BLOCKVECTOR_BLOCK (bv, BLOCKVECTOR_NBLOCKS (bv)),
+              block_is_less_than);
 
   {
     CORE_ADDR high = 0;
@@ -4656,55 +4630,57 @@ sort_blocks (struct symtab *s)
 }
 \f
 
-/* Constructor/restructor/destructor procedures */
+/* Constructor/restructor/destructor procedures */
 
 /* Allocate a new symtab for NAME.  Needs an estimate of how many
-   linenumbers MAXLINES we'll put in it */
+   linenumbers MAXLINES we'll put in it */
 
-static struct symtab *
-new_symtab (char *name, int maxlines, struct objfile *objfile)
+static struct compunit_symtab *
+new_symtab (const char *name, int maxlines, struct objfile *objfile)
 {
-  struct symtab *s = allocate_symtab (name, objfile);
-
-  LINETABLE (s) = new_linetable (maxlines);
-
-  /* All symtabs must have at least two blocks */
-  BLOCKVECTOR (s) = new_bvect (2);
-  BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK)
-    = new_block (NON_FUNCTION_BLOCK);
-  BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK)
-    = new_block (NON_FUNCTION_BLOCK);
-  BLOCK_SUPERBLOCK (BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK)) =
-    BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK);
-
-  s->free_code = free_linetable;
-  s->debugformat = "ECOFF";
-  return (s);
+  struct compunit_symtab *cust = allocate_compunit_symtab (objfile, name);
+  struct symtab *symtab;
+  struct blockvector *bv;
+  enum language lang;
+
+  add_compunit_symtab_to_objfile (cust);
+  symtab = allocate_symtab (cust, name);
+
+  SYMTAB_LINETABLE (symtab) = new_linetable (maxlines);
+  lang = compunit_language (cust);
+
+  /* All symtabs must have at least two blocks.  */
+  bv = new_bvect (2);
+  BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK) = new_block (NON_FUNCTION_BLOCK, lang);
+  BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK) = new_block (NON_FUNCTION_BLOCK, lang);
+  BLOCK_SUPERBLOCK (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
+    BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
+  COMPUNIT_BLOCKVECTOR (cust) = bv;
+
+  COMPUNIT_DEBUGFORMAT (cust) = "ECOFF";
+  return cust;
 }
 
-/* Allocate a new partial_symtab NAME */
+/* Allocate a new partial_symtab NAME */
 
 static struct partial_symtab *
-new_psymtab (char *name, struct objfile *objfile)
+new_psymtab (const char *name, struct objfile *objfile)
 {
   struct partial_symtab *psymtab;
 
   psymtab = allocate_psymtab (name, objfile);
-  psymtab->section_offsets = objfile->section_offsets;
 
-  /* Keep a backpointer to the file's symbols */
+  /* Keep a backpointer to the file's symbols */
 
-  psymtab->read_symtab_private = ((char *)
-                                 obstack_alloc (&objfile->objfile_obstack,
-                                                sizeof (struct symloc)));
-  memset (psymtab->read_symtab_private, 0, sizeof (struct symloc));
+  psymtab->read_symtab_private
+    = OBSTACK_ZALLOC (&objfile->objfile_obstack, symloc);
   CUR_BFD (psymtab) = cur_bfd;
   DEBUG_SWAP (psymtab) = debug_swap;
   DEBUG_INFO (psymtab) = debug_info;
   PENDING_LIST (psymtab) = pending_list;
 
-  /* The way to turn this into a symtab is to call... */
-  psymtab->read_symtab = mdebug_psymtab_to_symtab;
+  /* The way to turn this into a symtab is to call...  */
+  psymtab->read_symtab = mdebug_read_symtab;
   return (psymtab);
 }
 
@@ -4718,13 +4694,15 @@ new_linetable (int size)
 {
   struct linetable *l;
 
-  size = (size - 1) * sizeof (l->item) + sizeof (struct linetable);
+  if (size > 1)
+    --size;
+  size = size * sizeof (l->item) + sizeof (struct linetable);
   l = (struct linetable *) xmalloc (size);
   l->nitems = 0;
   return l;
 }
 
-/* Oops, too big. Shrink it.  This was important with the 2.4 linetables,
+/* Oops, too big.  Shrink it.  This was important with the 2.4 linetables,
    I am not so sure about the 3.4 ones.
 
    Since the struct linetable already includes one item, we subtract one when
@@ -4733,14 +4711,13 @@ new_linetable (int size)
 static struct linetable *
 shrink_linetable (struct linetable *lt)
 {
-
   return (struct linetable *) xrealloc ((void *) lt,
                                        (sizeof (struct linetable)
                                         + ((lt->nitems - 1)
                                            * sizeof (lt->item))));
 }
 
-/* Allocate and zero a new blockvector of NBLOCKS blocks. */
+/* Allocate and zero a new blockvector of NBLOCKS blocks.  */
 
 static struct blockvector *
 new_bvect (int nblocks)
@@ -4756,50 +4733,48 @@ new_bvect (int nblocks)
   return bv;
 }
 
-/* Allocate and zero a new block, and set its BLOCK_DICT.  If function
-   is non-zero, assume the block is associated to a function, and make
-   sure that the symbols are stored linearly; otherwise, store them
-   hashed.  */
+/* Allocate and zero a new block of language LANGUAGE, and set its
+   BLOCK_MULTIDICT.  If function is non-zero, assume the block is
+   associated to a function, and make sure that the symbols are stored
+   linearly; otherwise, store them hashed.  */
 
 static struct block *
-new_block (enum block_type type)
+new_block (enum block_type type, enum language language)
 {
   /* FIXME: carlton/2003-09-11: This should use allocate_block to
      allocate the block.  Which, in turn, suggests that the block
      should be allocated on an obstack.  */
-  struct block *retval = xzalloc (sizeof (struct block));
+  struct block *retval = XCNEW (struct block);
 
   if (type == FUNCTION_BLOCK)
-    BLOCK_DICT (retval) = dict_create_linear_expandable ();
+    BLOCK_MULTIDICT (retval) = mdict_create_linear_expandable (language);
   else
-    BLOCK_DICT (retval) = dict_create_hashed_expandable ();
+    BLOCK_MULTIDICT (retval) = mdict_create_hashed_expandable (language);
 
   return retval;
 }
 
-/* Create a new symbol with printname NAME */
+/* Create a new symbol with printname NAME */
 
 static struct symbol *
-new_symbol (char *name)
+new_symbol (const char *name)
 {
-  struct symbol *s = ((struct symbol *)
-                     obstack_alloc (&current_objfile->objfile_obstack,
-                                    sizeof (struct symbol)));
+  struct symbol *s = allocate_symbol (mdebugread_objfile);
 
-  memset (s, 0, sizeof (*s));
-  SYMBOL_LANGUAGE (s) = psymtab_language;
-  SYMBOL_SET_NAMES (s, name, strlen (name), 1, current_objfile);
+  SYMBOL_SET_LANGUAGE (s, psymtab_language,
+                      &mdebugread_objfile->objfile_obstack);
+  SYMBOL_SET_NAMES (s, name, true, mdebugread_objfile);
   return s;
 }
 
-/* Create a new type with printname NAME */
+/* Create a new type with printname NAME */
 
 static struct type *
 new_type (char *name)
 {
   struct type *t;
 
-  t = alloc_type (current_objfile);
+  t = alloc_type (mdebugread_objfile);
   TYPE_NAME (t) = name;
   INIT_CPLUS_SPECIFIC (t);
   return t;
@@ -4816,31 +4791,29 @@ elfmdebug_build_psymtabs (struct objfile *objfile,
 {
   bfd *abfd = objfile->obfd;
   struct ecoff_debug_info *info;
-  struct cleanup *back_to;
 
   /* FIXME: It's not clear whether we should be getting minimal symbol
      information from .mdebug in an ELF file, or whether we will.
      Re-initialize the minimal symbol reader in case we do.  */
 
-  init_minimal_symbol_collection ();
-  back_to = make_cleanup_discard_minimal_symbols ();
+  minimal_symbol_reader reader (objfile);
 
-  info = ((struct ecoff_debug_info *)
-         obstack_alloc (&objfile->objfile_obstack,
-                        sizeof (struct ecoff_debug_info)));
+  info = XOBNEW (&objfile->objfile_obstack, ecoff_debug_info);
 
   if (!(*swap->read_debug_info) (abfd, sec, info))
     error (_("Error reading ECOFF debugging information: %s"),
           bfd_errmsg (bfd_get_error ()));
 
-  mdebug_build_psymtabs (objfile, swap, info);
+  mdebug_build_psymtabs (reader, objfile, swap, info);
 
-  install_minimal_symbols (objfile);
-  do_cleanups (back_to);
+  reader.install ();
 }
 
 void
 _initialize_mdebugread (void)
 {
-  basic_type_data = register_objfile_data ();
+  mdebug_register_index
+    = register_symbol_register_impl (LOC_REGISTER, &mdebug_register_funcs);
+  mdebug_regparm_index
+    = register_symbol_register_impl (LOC_REGPARM_ADDR, &mdebug_register_funcs);
 }
This page took 0.0896749999999999 seconds and 4 git commands to generate.