* alpha-tdep.c (alpha_register_virtual_type): Use alpha-specific
[binutils-gdb.git] / binutils / stabs.c
index be9fce0a6f21cdfd42f0a61100e22aab7858c5d1..91eff59ffacef349d5253b2cb7ec6a9d20d4ad82 100644 (file)
@@ -1,5 +1,6 @@
 /* stabs.c -- Parse stabs debugging information
-   Copyright (C) 1995, 1996 Free Software Foundation, Inc.
+   Copyright 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003
+   Free Software Foundation, Inc.
    Written by Ian Lance Taylor <ian@cygnus.com>.
 
    This file is part of GNU Binutils.
    trying to identify the correct address for anything.  */
 
 #include <stdio.h>
-#include <ctype.h>
 
 #include "bfd.h"
 #include "bucomm.h"
 #include "libiberty.h"
+#include "safe-ctype.h"
 #include "demangle.h"
 #include "debug.h"
 #include "budbg.h"
-
-/* Meaningless definition needs by aout64.h.  FIXME.  */
-#define BYTES_IN_WORD 4
-
+#include "filenames.h"
 #include "aout/aout64.h"
 #include "aout/stab_gnu.h"
 
 
 struct stab_handle
 {
-  /* True if this is stabs in sections.  */
-  boolean sections;
-  /* The type of the last stab symbol, so that we can detect N_SO
-     pairs.  */
-  int last_type;
+  /* The BFD.  */
+  bfd *abfd;
+  /* TRUE if this is stabs in sections.  */
+  bfd_boolean sections;
+  /* The symbol table.  */
+  asymbol **syms;
+  /* The number of symbols.  */
+  long symcount;
+  /* The accumulated file name string.  */
+  char *so_string;
+  /* The value of the last N_SO symbol.  */
+  bfd_vma so_value;
   /* The value of the start of the file, so that we can handle file
      relative N_LBRAC and N_RBRAC symbols.  */
   bfd_vma file_start_offset;
@@ -65,13 +70,19 @@ struct stab_handle
   int gcc_compiled;
   /* Whether an N_OPT symbol was seen that was not generated by gcc,
      so that we can detect the SunPRO compiler.  */
-  boolean n_opt_found;
+  bfd_boolean n_opt_found;
   /* The main file name.  */
   char *main_filename;
-  /* A stack of N_BINCL files.  */
+  /* A stack of unfinished N_BINCL files.  */
   struct bincl_file *bincl_stack;
+  /* A list of finished N_BINCL files.  */
+  struct bincl_file *bincl_list;
   /* Whether we are inside a function or not.  */
-  boolean within_function;
+  bfd_boolean within_function;
+  /* The address of the end of the function, used if we have seen an
+     N_FUN symbol while in a function.  This is -1 if we have not seen
+     an N_FUN (the normal case).  */
+  bfd_vma function_end;
   /* The depth of block nesting.  */
   int block_depth;
   /* List of pending variable definitions.  */
@@ -84,6 +95,9 @@ struct stab_handle
   debug_type xcoff_types[XCOFF_TYPE_COUNT];
   /* Undefined tags.  */
   struct stab_tag *tags;
+  /* Set by parse_stab_type if it sees a structure defined as a cross
+     reference to itself.  Reset by parse_stab_type otherwise.  */
+  bfd_boolean self_crossref;
 };
 
 /* A list of these structures is used to hold pending variable
@@ -133,59 +147,70 @@ struct stab_tag
   debug_type type;
 };
 
-static char *savestring PARAMS ((const char *, int));
-static bfd_vma parse_number PARAMS ((const char **, boolean *));
-static void bad_stab PARAMS ((const char *));
-static void warn_stab PARAMS ((const char *, const char *));
-static boolean parse_stab_string
+static char *savestring
+  PARAMS ((const char *, int));
+static bfd_vma parse_number
+  PARAMS ((const char **, bfd_boolean *));
+static void bad_stab
+  PARAMS ((const char *));
+static void warn_stab
+  PARAMS ((const char *, const char *));
+static bfd_boolean parse_stab_string
   PARAMS ((PTR, struct stab_handle *, int, int, bfd_vma, const char *));
 static debug_type parse_stab_type
   PARAMS ((PTR, struct stab_handle *, const char *, const char **,
           debug_type **));
-static boolean parse_stab_type_number
+static bfd_boolean parse_stab_type_number
   PARAMS ((const char **, int *));
 static debug_type parse_stab_range_type
   PARAMS ((PTR, struct stab_handle *, const char *, const char **,
           const int *));
-static debug_type parse_stab_sun_builtin_type PARAMS ((PTR, const char **));
+static debug_type parse_stab_sun_builtin_type
+  PARAMS ((PTR, const char **));
 static debug_type parse_stab_sun_floating_type
   PARAMS ((PTR, const char **));
-static debug_type parse_stab_enum_type PARAMS ((PTR, const char **));
+static debug_type parse_stab_enum_type
+  PARAMS ((PTR, const char **));
 static debug_type parse_stab_struct_type
-  PARAMS ((PTR, struct stab_handle *, const char *, const char **, boolean,
-          const int *));
-static boolean parse_stab_baseclasses
+  PARAMS ((PTR, struct stab_handle *, const char *, const char **,
+          bfd_boolean, const int *));
+static bfd_boolean parse_stab_baseclasses
   PARAMS ((PTR, struct stab_handle *, const char **, debug_baseclass **));
-static boolean parse_stab_struct_fields
+static bfd_boolean parse_stab_struct_fields
   PARAMS ((PTR, struct stab_handle *, const char **, debug_field **,
-          boolean *));
-static boolean parse_stab_cpp_abbrev
+          bfd_boolean *));
+static bfd_boolean parse_stab_cpp_abbrev
   PARAMS ((PTR, struct stab_handle *, const char **, debug_field *));
-static boolean parse_stab_one_struct_field
+static bfd_boolean parse_stab_one_struct_field
   PARAMS ((PTR, struct stab_handle *, const char **, const char *,
-          debug_field *, boolean *));
-static boolean parse_stab_members
+          debug_field *, bfd_boolean *));
+static bfd_boolean parse_stab_members
   PARAMS ((PTR, struct stab_handle *, const char *, const char **,
           const int *, debug_method **));
 static debug_type parse_stab_argtypes
   PARAMS ((PTR, struct stab_handle *, debug_type, const char *, const char *,
-          debug_type, const char *, boolean, boolean, const char **));
-static boolean parse_stab_tilde_field
+          debug_type, const char *, bfd_boolean, bfd_boolean, const char **));
+static bfd_boolean parse_stab_tilde_field
   PARAMS ((PTR, struct stab_handle *, const char **, const int *,
-          debug_type *, boolean *));
+          debug_type *, bfd_boolean *));
 static debug_type parse_stab_array_type
-  PARAMS ((PTR, struct stab_handle *, const char **, boolean));
-static void push_bincl PARAMS ((struct stab_handle *, const char *));
-static const char *pop_bincl PARAMS ((struct stab_handle *));
-static boolean stab_record_variable
+  PARAMS ((PTR, struct stab_handle *, const char **, bfd_boolean));
+static void push_bincl
+  PARAMS ((struct stab_handle *, const char *, bfd_vma));
+static const char *pop_bincl
+  PARAMS ((struct stab_handle *));
+static bfd_boolean find_excl
+  PARAMS ((struct stab_handle *, const char *, bfd_vma));
+static bfd_boolean stab_record_variable
   PARAMS ((PTR, struct stab_handle *, const char *, debug_type,
           enum debug_var_kind, bfd_vma));
-static boolean stab_emit_pending_vars PARAMS ((PTR, struct stab_handle *));
+static bfd_boolean stab_emit_pending_vars
+  PARAMS ((PTR, struct stab_handle *));
 static debug_type *stab_find_slot
   PARAMS ((struct stab_handle *, const int *));
 static debug_type stab_find_type
   PARAMS ((PTR, struct stab_handle *, const int *));
-static boolean stab_record_type
+static bfd_boolean stab_record_type
   PARAMS ((PTR, struct stab_handle *, const int *, debug_type));
 static debug_type stab_xcoff_builtin_type
   PARAMS ((PTR, struct stab_handle *, int));
@@ -193,7 +218,8 @@ static debug_type stab_find_tagged_type
   PARAMS ((PTR, struct stab_handle *, const char *, int,
           enum debug_type_kind));
 static debug_type *stab_demangle_argtypes
-  PARAMS ((PTR, struct stab_handle *, const char *, boolean *));
+  PARAMS ((PTR, struct stab_handle *, const char *, bfd_boolean *,
+          unsigned int));
 
 /* Save a string in memory.  */
 
@@ -215,43 +241,48 @@ savestring (start, len)
 static bfd_vma
 parse_number (pp, poverflow)
      const char **pp;
-     boolean *poverflow;
+     bfd_boolean *poverflow;
 {
   unsigned long ul;
   const char *orig;
 
   if (poverflow != NULL)
-    *poverflow = false;
+    *poverflow = FALSE;
 
   orig = *pp;
 
   errno = 0;
   ul = strtoul (*pp, (char **) pp, 0);
   if (ul + 1 != 0 || errno == 0)
-    return (bfd_vma) ul;
+    {
+      /* If bfd_vma is larger than unsigned long, and the number is
+         meant to be negative, we have to make sure that we sign
+         extend properly.  */
+      if (*orig == '-')
+       return (bfd_vma) (bfd_signed_vma) (long) ul;
+      return (bfd_vma) ul;
+    }
 
   /* Note that even though strtoul overflowed, it should have set *pp
      to the end of the number, which is where we want it.  */
-
   if (sizeof (bfd_vma) > sizeof (unsigned long))
     {
       const char *p;
-      boolean neg;
+      bfd_boolean neg;
       int base;
       bfd_vma over, lastdig;
-      boolean overflow;
+      bfd_boolean overflow;
       bfd_vma v;
 
       /* Our own version of strtoul, for a bfd_vma.  */
-
       p = orig;
 
-      neg = false;
+      neg = FALSE;
       if (*p == '+')
        ++p;
       else if (*p == '-')
        {
-         neg = true;
+         neg = TRUE;
          ++p;
        }
 
@@ -273,18 +304,18 @@ parse_number (pp, poverflow)
       over = ((bfd_vma) (bfd_signed_vma) -1) / (bfd_vma) base;
       lastdig = ((bfd_vma) (bfd_signed_vma) -1) % (bfd_vma) base;
 
-      overflow = false;
+      overflow = FALSE;
       v = 0;
       while (1)
        {
          int d;
 
          d = *p++;
-         if (isdigit ((unsigned char) d))
+         if (ISDIGIT (d))
            d -= '0';
-         else if (isupper ((unsigned char) d))
+         else if (ISUPPER (d))
            d -= 'A';
-         else if (islower ((unsigned char) d))
+         else if (ISLOWER (d))
            d -= 'a';
          else
            break;
@@ -294,7 +325,7 @@ parse_number (pp, poverflow)
 
          if (v > over || (v == over && (bfd_vma) d > lastdig))
            {
-             overflow = true;
+             overflow = TRUE;
              break;
            }
        }
@@ -309,11 +340,10 @@ parse_number (pp, poverflow)
 
   /* If we get here, the number is too large to represent in a
      bfd_vma.  */
-
   if (poverflow != NULL)
-    *poverflow = true;
+    *poverflow = TRUE;
   else
-    warn_stab (orig, "numeric overflow");
+    warn_stab (orig, _("numeric overflow"));
 
   return 0;
 }
@@ -324,7 +354,7 @@ static void
 bad_stab (p)
      const char *p;
 {
-  fprintf (stderr, "Bad stab: %s\n", p);
+  fprintf (stderr, _("Bad stab: %s\n"), p);
 }
 
 /* Warn about something in a stab string.  */
@@ -334,32 +364,38 @@ warn_stab (p, err)
      const char *p;
      const char *err;
 {
-  fprintf (stderr, "Warning: %s: %s\n", err, p);
+  fprintf (stderr, _("Warning: %s: %s\n"), err, p);
 }
 
 /* Create a handle to parse stabs symbols with.  */
 
-/*ARGSUSED*/
 PTR
-start_stab (dhandle, sections)
-     PTR dhandle;
-     boolean sections;
+start_stab (dhandle, abfd, sections, syms, symcount)
+     PTR dhandle ATTRIBUTE_UNUSED;
+     bfd *abfd;
+     bfd_boolean sections;
+     asymbol **syms;
+     long symcount;
 {
   struct stab_handle *ret;
 
   ret = (struct stab_handle *) xmalloc (sizeof *ret);
   memset (ret, 0, sizeof *ret);
+  ret->abfd = abfd;
   ret->sections = sections;
+  ret->syms = syms;
+  ret->symcount = symcount;
   ret->files = 1;
   ret->file_types = (struct stab_types **) xmalloc (sizeof *ret->file_types);
   ret->file_types[0] = NULL;
+  ret->function_end = (bfd_vma) -1;
   return (PTR) ret;
 }
 
 /* When we have processed all the stabs information, we need to go
    through and fill in all the undefined tags.  */
 
-boolean
+bfd_boolean
 finish_stab (dhandle, handle)
      PTR dhandle;
      PTR handle;
@@ -369,9 +405,11 @@ finish_stab (dhandle, handle)
 
   if (info->within_function)
     {
-      if (! debug_end_function (dhandle, (bfd_vma) -1))
-       return false;
-      info->within_function = false;
+      if (! stab_emit_pending_vars (dhandle, info)
+         || ! debug_end_function (dhandle, info->function_end))
+       return FALSE;
+      info->within_function = FALSE;
+      info->function_end = (bfd_vma) -1;
     }
 
   for (st = info->tags; st != NULL; st = st->next)
@@ -383,18 +421,15 @@ finish_stab (dhandle, handle)
        kind = DEBUG_KIND_STRUCT;
       st->slot = debug_make_undefined_tagged_type (dhandle, st->name, kind);
       if (st->slot == DEBUG_TYPE_NULL)
-       return false;
+       return FALSE;
     }
 
-  if (info->pending)
-    fprintf (stderr, "Left over pending variables in stabs debugging\n");
-
-  return true;
+  return TRUE;
 }
 
 /* Handle a single stabs symbol.  */
 
-boolean
+bfd_boolean
 parse_stab (dhandle, handle, type, desc, value, string)
      PTR dhandle;
      PTR handle;
@@ -405,6 +440,38 @@ parse_stab (dhandle, handle, type, desc, value, string)
 {
   struct stab_handle *info = (struct stab_handle *) handle;
 
+  /* gcc will emit two N_SO strings per compilation unit, one for the
+     directory name and one for the file name.  We just collect N_SO
+     strings as we see them, and start the new compilation unit when
+     we see a non N_SO symbol.  */
+  if (info->so_string != NULL
+      && (type != N_SO || *string == '\0' || value != info->so_value))
+    {
+      if (! debug_set_filename (dhandle, info->so_string))
+       return FALSE;
+      info->main_filename = info->so_string;
+
+      info->gcc_compiled = 0;
+      info->n_opt_found = FALSE;
+
+      /* Generally, for stabs in the symbol table, the N_LBRAC and
+        N_RBRAC symbols are relative to the N_SO symbol value.  */
+      if (! info->sections)
+       info->file_start_offset = info->so_value;
+
+      /* We need to reset the mapping from type numbers to types.  We
+        can't free the old mapping, because of the use of
+        debug_make_indirect_type.  */
+      info->files = 1;
+      info->file_types = ((struct stab_types **)
+                         xmalloc (sizeof *info->file_types));
+      info->file_types[0] = NULL;
+
+      info->so_string = NULL;
+
+      /* Now process whatever type we just got.  */
+    }
+
   switch (type)
     {
     case N_FN:
@@ -418,8 +485,8 @@ parse_stab (dhandle, handle, type, desc, value, string)
 
       if (! info->within_function)
        {
-         fprintf (stderr, "N_LBRAC not within function\n");
-         return false;
+         fprintf (stderr, _("N_LBRAC not within function\n"));
+         return FALSE;
        }
 
       /* Start an inner lexical block.  */
@@ -427,11 +494,11 @@ parse_stab (dhandle, handle, type, desc, value, string)
                               (value
                                + info->file_start_offset
                                + info->function_start_offset)))
-       return false;
+       return FALSE;
 
       /* Emit any pending variable definitions.  */
       if (! stab_emit_pending_vars (dhandle, info))
-       return false;
+       return FALSE;
 
       ++info->block_depth;
       break;
@@ -445,128 +512,147 @@ parse_stab (dhandle, handle, type, desc, value, string)
          if we do, we probably need to emit them before closing the
          block.  */
       if (! stab_emit_pending_vars (dhandle, info))
-       return false;
+       return FALSE;
 
       /* End an inner lexical block.  */
       if (! debug_end_block (dhandle,
                             (value
                              + info->file_start_offset
                              + info->function_start_offset)))
-       return false;
+       return FALSE;
 
       --info->block_depth;
       if (info->block_depth < 0)
        {
-         fprintf (stderr, "Too many N_RBRACs\n");
-         return false;
+         fprintf (stderr, _("Too many N_RBRACs\n"));
+         return FALSE;
        }
       break;
 
     case N_SO:
-      /* Start a file.  If we get two in a row, the first is the
-         directory name.  An empty string is emitted by gcc at the end
-         of a compilation unit.  */
-      if (*string == '\0')
+      /* This always ends a function.  */
+      if (info->within_function)
        {
-         if (info->within_function)
-           {
-             if (! debug_end_function (dhandle, value))
-               return false;
-             info->within_function = false;
-           }
-         return true;
+         bfd_vma endval;
+
+         endval = value;
+         if (*string != '\0'
+             && info->function_end != (bfd_vma) -1
+             && info->function_end < endval)
+           endval = info->function_end;
+         if (! stab_emit_pending_vars (dhandle, info)
+             || ! debug_end_function (dhandle, endval))
+           return FALSE;
+         info->within_function = FALSE;
+         info->function_end = (bfd_vma) -1;
        }
-      info->gcc_compiled = 0;
-      info->n_opt_found = false;
-      if (info->last_type == N_SO)
-       {
-         char *o;
 
-         if (! debug_append_filename (dhandle, string))
-           return false;
-         o = info->main_filename;
-         info->main_filename = concat (o, string, (const char *) NULL);
-         free (o);
-       }
+      /* An empty string is emitted by gcc at the end of a compilation
+         unit.  */
+      if (*string == '\0')
+       return TRUE;
+
+      /* Just accumulate strings until we see a non N_SO symbol.  If
+         the string starts with a directory separator or some other
+        form of absolute path specification, we discard the previously
+         accumulated strings.  */
+      if (info->so_string == NULL)
+       info->so_string = xstrdup (string);
       else
        {
-         if (info->within_function)
-           {
-             if (! debug_end_function (dhandle, value))
-               return false;
-             info->within_function = false;
-           }
-         if (! debug_set_filename (dhandle, string))
-           return false;
-         if (info->main_filename != NULL)
-           free (info->main_filename);
-         info->main_filename = xstrdup (string);
-
-         /* Generally, for stabs in the symbol table, the N_LBRAC and
-             N_RBRAC symbols are relative to the N_SO symbol value.  */
-         if (! info->sections)
-           info->file_start_offset = value;
-
-         /* We need to reset the mapping from type numbers to types.
-             We can't free the old mapping, because of the use of
-             debug_make_indirect_type.  */
-         info->files = 1;
-         info->file_types = ((struct stab_types **)
-                             xmalloc (sizeof *info->file_types));
-         info->file_types[0] = NULL;
+         char *f;
+
+         f = info->so_string;
+
+         if (IS_ABSOLUTE_PATH (string))
+           info->so_string = xstrdup (string);
+         else
+           info->so_string = concat (info->so_string, string,
+                                     (const char *) NULL);
+         free (f);
        }
+
+      info->so_value = value;
+
       break;
 
     case N_SOL:
       /* Start an include file.  */
       if (! debug_start_source (dhandle, string))
-       return false;
+       return FALSE;
       break;
 
     case N_BINCL:
       /* Start an include file which may be replaced.  */
-      push_bincl (info, string);
+      push_bincl (info, string, value);
       if (! debug_start_source (dhandle, string))
-       return false;
+       return FALSE;
       break;
 
     case N_EINCL:
       /* End an N_BINCL include.  */
       if (! debug_start_source (dhandle, pop_bincl (info)))
-       return false;
+       return FALSE;
       break;
 
     case N_EXCL:
       /* This is a duplicate of a header file named by N_BINCL which
          was eliminated by the linker.  */
-      ++info->files;
-      info->file_types = ((struct stab_types **)
-                         xrealloc ((PTR) info->file_types,
-                                   (info->files
-                                    * sizeof *info->file_types)));
-      info->file_types[info->files - 1] = NULL;
+      if (! find_excl (info, string, value))
+       return FALSE;
       break;
 
     case N_SLINE:
       if (! debug_record_line (dhandle, desc,
-                              value + info->function_start_offset))
-       return false;
+                              value + (info->within_function
+                                       ? info->function_start_offset : 0)))
+       return FALSE;
       break;
 
     case N_BCOMM:
       if (! debug_start_common_block (dhandle, string))
-       return false;
+       return FALSE;
       break;
 
     case N_ECOMM:
       if (! debug_end_common_block (dhandle, string))
-       return false;
+       return FALSE;
       break;
 
+    case N_FUN:
+      if (*string == '\0')
+       {
+         if (info->within_function)
+           {
+             /* This always marks the end of a function; we don't
+                 need to worry about info->function_end.  */
+             if (info->sections)
+               value += info->function_start_offset;
+             if (! stab_emit_pending_vars (dhandle, info)
+                 || ! debug_end_function (dhandle, value))
+               return FALSE;
+             info->within_function = FALSE;
+             info->function_end = (bfd_vma) -1;
+           }
+         break;
+       }
+
+      /* A const static symbol in the .text section will have an N_FUN
+         entry.  We need to use these to mark the end of the function,
+         in case we are looking at gcc output before it was changed to
+         always emit an empty N_FUN.  We can't call debug_end_function
+         here, because it might be a local static symbol.  */
+      if (info->within_function
+         && (info->function_end == (bfd_vma) -1
+             || value < info->function_end))
+       info->function_end = value;
+
+      /* Fall through.  */
       /* FIXME: gdb checks the string for N_STSYM, N_LCSYM or N_ROSYM
          symbols, and if it does not start with :S, gdb relocates the
          value to the start of the section.  gcc always seems to use
          :S, so we don't worry about this.  */
+      /* Fall through.  */
     default:
       {
        const char *colon;
@@ -577,18 +663,26 @@ parse_stab (dhandle, handle, type, desc, value, string)
          {
            if (info->within_function)
              {
-               if (! debug_end_function (dhandle, value))
-                 return false;
+               bfd_vma endval;
+
+               endval = value;
+               if (info->function_end != (bfd_vma) -1
+                   && info->function_end < endval)
+                 endval = info->function_end;
+               if (! stab_emit_pending_vars (dhandle, info)
+                   || ! debug_end_function (dhandle, endval))
+                 return FALSE;
+               info->function_end = (bfd_vma) -1;
              }
            /* For stabs in sections, line numbers and block addresses
                are offsets from the start of the function.  */
            if (info->sections)
              info->function_start_offset = value;
-           info->within_function = true;
+           info->within_function = TRUE;
          }
 
        if (! parse_stab_string (dhandle, info, type, desc, value, string))
-         return false;
+         return FALSE;
       }
       break;
 
@@ -598,23 +692,22 @@ parse_stab (dhandle, handle, type, desc, value, string)
       else if (string != NULL && strcmp (string, "gcc_compiled.") == 0)
        info->gcc_compiled = 1;
       else
-       info->n_opt_found = true;
+       info->n_opt_found = TRUE;
       break;
 
     case N_OBJ:
     case N_ENDM:
     case N_MAIN:
+    case N_WARNING:
       break;
     }
 
-  info->last_type = type;
-
-  return true;
+  return TRUE;
 }
 
 /* Parse the stabs string.  */
 
-static boolean
+static bfd_boolean
 parse_stab_string (dhandle, info, stabtype, desc, value, string)
      PTR dhandle;
      struct stab_handle *info;
@@ -627,13 +720,14 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
   char *name;
   int type;
   debug_type dtype;
-  boolean synonym;
+  bfd_boolean synonym;
+  bfd_boolean self_crossref;
   unsigned int lineno;
   debug_type *slot;
 
   p = strchr (string, ':');
   if (p == NULL)
-    return true;
+    return TRUE;
 
   while (p[1] == ':')
     {
@@ -642,7 +736,7 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
       if (p == NULL)
        {
          bad_stab (string);
-         return false;
+         return FALSE;
        }
     }
 
@@ -676,7 +770,7 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
          /* SunPRO (3.0 at least) static variable encoding.  */
          break;
        default:
-         warn_stab (string, "unknown C++ encoded name");
+         warn_stab (string, _("unknown C++ encoded name"));
          break;
        }
     }
@@ -690,7 +784,7 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
     }
 
   ++p;
-  if (isdigit ((unsigned char) *p) || *p == '(' || *p == '-')
+  if (ISDIGIT (*p) || *p == '(' || *p == '-')
     type = 'l';
   else
     type = *p++;
@@ -707,7 +801,7 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
       if (*p != '=')
        {
          bad_stab (string);
-         return false;
+         return FALSE;
        }
       ++p;
       switch (*p++)
@@ -715,7 +809,7 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
        case 'r':
          /* Floating point constant.  */
          if (! debug_record_float_const (dhandle, name, atof (p)))
-           return false;
+           return FALSE;
          break;
        case 'i':
          /* Integer constant.  */
@@ -726,7 +820,7 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
             other languages probably should have at least unsigned as
             well as signed constants.  */
          if (! debug_record_int_const (dhandle, name, atoi (p)))
-           return false;
+           return FALSE;
          break;
        case 'e':
          /* SYMBOL:c=eTYPE,INTVALUE for a constant symbol whose value
@@ -736,18 +830,18 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
          dtype = parse_stab_type (dhandle, info, (const char *) NULL,
                                   &p, (debug_type **) NULL);
          if (dtype == DEBUG_TYPE_NULL)
-           return false;
+           return FALSE;
          if (*p != ',')
            {
              bad_stab (string);
-             return false;
+             return FALSE;
            }
          if (! debug_record_typed_const (dhandle, name, dtype, atoi (p)))
-           return false;
+           return FALSE;
          break;
        default:
          bad_stab (string);
-         return false;
+         return FALSE;
        }
 
       break;
@@ -757,9 +851,9 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
       dtype = parse_stab_type (dhandle, info, (const char *) NULL,
                               &p, (debug_type **) NULL);
       if (dtype == DEBUG_TYPE_NULL)
-       return false;
+       return FALSE;
       if (! debug_record_label (dhandle, name, dtype, value))
-       return false;
+       return FALSE;
       break;
 
     case 'f':
@@ -768,9 +862,9 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
       dtype = parse_stab_type (dhandle, info, (const char *) NULL, &p,
                               (debug_type **) NULL);
       if (dtype == DEBUG_TYPE_NULL)
-       return false;
+       return FALSE;
       if (! debug_record_function (dhandle, name, dtype, type == 'F', value))
-       return false;
+       return FALSE;
 
       /* Sun acc puts declared types of arguments here.  We don't care
         about their actual types (FIXME -- we should remember the whole
@@ -782,21 +876,40 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
          if (parse_stab_type (dhandle, info, (const char *) NULL, &p,
                               (debug_type **) NULL)
              == DEBUG_TYPE_NULL)
-           return false;
+           return FALSE;
        }
 
       break;
 
     case 'G':
-      /* A global symbol.  The value must be extracted from the symbol
-         table.  */
-      dtype = parse_stab_type (dhandle, info, (const char *) NULL, &p,
-                              (debug_type **) NULL);
-      if (dtype == DEBUG_TYPE_NULL)
-       return false;
-      if (! stab_record_variable (dhandle, info, name, dtype, DEBUG_GLOBAL,
-                                 (bfd_vma) -1))
-       return false;
+      {
+       char leading;
+       long c;
+       asymbol **ps;
+
+       /* A global symbol.  The value must be extracted from the
+          symbol table.  */
+       dtype = parse_stab_type (dhandle, info, (const char *) NULL, &p,
+                                (debug_type **) NULL);
+       if (dtype == DEBUG_TYPE_NULL)
+         return FALSE;
+       leading = bfd_get_symbol_leading_char (info->abfd);
+       for (c = info->symcount, ps = info->syms; c > 0; --c, ++ps)
+         {
+           const char *n;
+
+           n = bfd_asymbol_name (*ps);
+           if (leading != '\0' && *n == leading)
+             ++n;
+           if (*n == *name && strcmp (n, name) == 0)
+             break;
+         }
+       if (c > 0)
+         value = bfd_asymbol_value (*ps);
+       if (! stab_record_variable (dhandle, info, name, dtype, DEBUG_GLOBAL,
+                                   value))
+         return FALSE;
+      }
       break;
 
       /* This case is faked by a conditional above, when there is no
@@ -807,10 +920,10 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
       dtype = parse_stab_type (dhandle, info, (const char *) NULL, &p,
                               (debug_type **) NULL);
       if (dtype == DEBUG_TYPE_NULL)
-       return false;
+       return FALSE;
       if (! stab_record_variable (dhandle, info, name, dtype, DEBUG_LOCAL,
                                  value))
-       return false;
+       return FALSE;
       break;
 
     case 'p':
@@ -831,21 +944,20 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
              debug_type ftype;
 
              ftype = debug_make_function_type (dhandle, dtype,
-                                               (debug_type *) NULL, false);
+                                               (debug_type *) NULL, FALSE);
              dtype = debug_make_pointer_type (dhandle, ftype);
            }
        }
       if (dtype == DEBUG_TYPE_NULL)
-       return false;
+       return FALSE;
       if (! debug_record_parameter (dhandle, name, dtype, DEBUG_PARM_STACK,
                                    value))
-       return false;
+       return FALSE;
 
       /* FIXME: At this point gdb considers rearranging the parameter
         address on a big endian machine if it is smaller than an int.
         We have no way to do that, since we don't really know much
         about the target.  */
-
       break;
 
     case 'P':
@@ -858,7 +970,7 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
              if (parse_stab_type (dhandle, info, (const char *) NULL, &p,
                                   (debug_type **) NULL)
                  == DEBUG_TYPE_NULL)
-               return false;
+               return FALSE;
            }
          break;
        }
@@ -868,10 +980,10 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
       dtype = parse_stab_type (dhandle, info, (const char *) NULL, &p,
                               (debug_type **) NULL);
       if (dtype == DEBUG_TYPE_NULL)
-       return false;
+       return FALSE;
       if (! debug_record_parameter (dhandle, name, dtype, DEBUG_PARM_REG,
                                    value))
-       return false;
+       return FALSE;
       break;
 
     case 'r':
@@ -879,41 +991,40 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
       dtype = parse_stab_type (dhandle, info, (const char *) NULL, &p,
                               (debug_type **) NULL);
       if (dtype == DEBUG_TYPE_NULL)
-       return false;
+       return FALSE;
       if (! stab_record_variable (dhandle, info, name, dtype, DEBUG_REGISTER,
                                  value))
-       return false;
+       return FALSE;
 
       /* FIXME: At this point gdb checks to combine pairs of 'p' and
         'r' stabs into a single 'P' stab.  */
-
       break;
 
     case 'S':
-      /* Static symbol at top level of file */
+      /* Static symbol at top level of file */
       dtype = parse_stab_type (dhandle, info, (const char *) NULL, &p,
                               (debug_type **) NULL);
       if (dtype == DEBUG_TYPE_NULL)
-       return false;
+       return FALSE;
       if (! stab_record_variable (dhandle, info, name, dtype, DEBUG_STATIC,
                                  value))
-       return false;
+       return FALSE;
       break;
 
     case 't':
       /* A typedef.  */
       dtype = parse_stab_type (dhandle, info, name, &p, &slot);
       if (dtype == DEBUG_TYPE_NULL)
-       return false;
+       return FALSE;
       if (name == NULL)
        {
          /* A nameless type.  Nothing to do.  */
-         return true;
+         return TRUE;
        }
 
       dtype = debug_name_type (dhandle, name, dtype);
       if (dtype == DEBUG_TYPE_NULL)
-       return false;
+       return FALSE;
 
       if (slot != NULL)
        *slot = dtype;
@@ -925,50 +1036,57 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
         by 't' which means we are typedef'ing it as well.  */
       if (*p != 't')
        {
-         synonym = false;
-         /* FIXME: gdb sets synonym to true if the current language
+         synonym = FALSE;
+         /* FIXME: gdb sets synonym to TRUE if the current language
              is C++.  */
        }
       else
        {
-         synonym = true;
+         synonym = TRUE;
          ++p;
        }
 
       dtype = parse_stab_type (dhandle, info, name, &p, &slot);
       if (dtype == DEBUG_TYPE_NULL)
-       return false;
+       return FALSE;
       if (name == NULL)
-       return true;
+       return TRUE;
+
+      /* INFO->SELF_CROSSREF is set by parse_stab_type if this type is
+         a cross reference to itself.  These are generated by some
+         versions of g++.  */
+      self_crossref = info->self_crossref;
 
       dtype = debug_tag_type (dhandle, name, dtype);
       if (dtype == DEBUG_TYPE_NULL)
-       return false;
+       return FALSE;
       if (slot != NULL)
        *slot = dtype;
 
       /* See if we have a cross reference to this tag which we can now
-         fill in.  */
-      {
-       register struct stab_tag **pst;
+         fill in.  Avoid filling in a cross reference to ourselves,
+         because that would lead to circular debugging information.  */
+      if (! self_crossref)
+       {
+         register struct stab_tag **pst;
 
-       for (pst = &info->tags; *pst != NULL; pst = &(*pst)->next)
-         {
-           if ((*pst)->name[0] == name[0]
-               && strcmp ((*pst)->name, name) == 0)
-             {
-               (*pst)->slot = dtype;
-               *pst = (*pst)->next;
-               break;
-             }
-         }
-      }
+         for (pst = &info->tags; *pst != NULL; pst = &(*pst)->next)
+           {
+             if ((*pst)->name[0] == name[0]
+                 && strcmp ((*pst)->name, name) == 0)
+               {
+                 (*pst)->slot = dtype;
+                 *pst = (*pst)->next;
+                 break;
+               }
+           }
+       }
 
       if (synonym)
        {
          dtype = debug_name_type (dhandle, name, dtype);
          if (dtype == DEBUG_TYPE_NULL)
-           return false;
+           return FALSE;
 
          if (slot != NULL)
            *slot = dtype;
@@ -981,11 +1099,11 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
       dtype = parse_stab_type (dhandle, info, (const char *) NULL, &p,
                               (debug_type **) NULL);
       if (dtype == DEBUG_TYPE_NULL)
-       return false;
+       return FALSE;
       /* FIXME: gdb checks os9k_stabs here.  */
       if (! stab_record_variable (dhandle, info, name, dtype,
                                  DEBUG_LOCAL_STATIC, value))
-       return false;
+       return FALSE;
       break;
 
     case 'v':
@@ -993,10 +1111,10 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
       dtype = parse_stab_type (dhandle, info, (const char *) NULL, &p,
                               (debug_type **) NULL);
       if (dtype == DEBUG_TYPE_NULL)
-       return false;
+       return FALSE;
       if (! debug_record_parameter (dhandle, name, dtype, DEBUG_PARM_REFERENCE,
                                    value))
-       return false;
+       return FALSE;
       break;
 
     case 'a':
@@ -1004,10 +1122,10 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
       dtype = parse_stab_type (dhandle, info, (const char *) NULL, &p,
                               (debug_type **) NULL);
       if (dtype == DEBUG_TYPE_NULL)
-       return false;
+       return FALSE;
       if (! debug_record_parameter (dhandle, name, dtype, DEBUG_PARM_REF_REG,
                                    value))
-       return false;
+       return FALSE;
       break;
 
     case 'X':
@@ -1018,21 +1136,21 @@ parse_stab_string (dhandle, info, stabtype, desc, value, string)
       dtype = parse_stab_type (dhandle, info, (const char *) NULL, &p,
                               (debug_type **) NULL);
       if (dtype == DEBUG_TYPE_NULL)
-       return false;
+       return FALSE;
       if (! stab_record_variable (dhandle, info, name, dtype, DEBUG_LOCAL,
                                  value))
-       return false;
+       return FALSE;
       break;
 
     default:
       bad_stab (string);
-      return false;
+      return FALSE;
     }
 
   /* FIXME: gdb converts structure values to structure pointers in a
      couple of cases, depending upon the target.  */
 
-  return true;
+  return TRUE;
 }
 
 /* Parse a stabs type.  The typename argument is non-NULL if this is a
@@ -1051,7 +1169,7 @@ parse_stab_type (dhandle, info, typename, pp, slotp)
   const char *orig;
   int typenums[2];
   int size;
-  boolean stringp;
+  bfd_boolean stringp;
   int descriptor;
   debug_type dtype;
 
@@ -1061,12 +1179,14 @@ parse_stab_type (dhandle, info, typename, pp, slotp)
   orig = *pp;
 
   size = -1;
-  stringp = false;
+  stringp = FALSE;
+
+  info->self_crossref = FALSE;
 
   /* Read type number if present.  The type number may be omitted.
      for instance in a two-dimensional array declared with type
      "ar1;1;10;ar1;1;10;4".  */
-  if (! isdigit ((unsigned char) **pp) && **pp != '(' && **pp != '-')
+  if (! ISDIGIT (**pp) && **pp != '(' && **pp != '-')
     {
       /* 'typenums=' not present, type is anonymous.  Read and return
         the definition, but don't put it in the type vector.  */
@@ -1078,11 +1198,9 @@ parse_stab_type (dhandle, info, typename, pp, slotp)
        return DEBUG_TYPE_NULL;
 
       if (**pp != '=')
-       {
-         /* Type is not being defined here.  Either it already
-            exists, or this is a forward reference to it.  */
-         return stab_find_type (dhandle, info, typenums);
-       }
+       /* Type is not being defined here.  Either it already
+          exists, or this is a forward reference to it.  */
+       return stab_find_type (dhandle, info, typenums);
 
       /* Only set the slot if the type is being defined.  This means
          that the mapping from type numbers to types will only record
@@ -1109,11 +1227,9 @@ parse_stab_type (dhandle, info, typename, pp, slotp)
          const char *p = *pp + 1;
          const char *attr;
 
-         if (isdigit ((unsigned char) *p) || *p == '(' || *p == '-')
-           {
-             /* Member type.  */
-             break;
-           }
+         if (ISDIGIT (*p) || *p == '(' || *p == '-')
+           /* Member type.  */
+           break;
 
          /* Type attributes.  */
          attr = p;
@@ -1132,12 +1248,13 @@ parse_stab_type (dhandle, info, typename, pp, slotp)
            {
            case 's':
              size = atoi (attr + 1);
+             size /= 8;  /* Size is in bits.  We store it in bytes.  */
              if (size <= 0)
                size = -1;
              break;
 
            case 'S':
-             stringp = true;
+             stringp = TRUE;
              break;
 
            default:
@@ -1159,7 +1276,6 @@ parse_stab_type (dhandle, info, typename, pp, slotp)
        const char *q1, *q2, *p;
 
        /* A cross reference to another type.  */
-
        switch (**pp)
          {
          case 's':
@@ -1174,7 +1290,7 @@ parse_stab_type (dhandle, info, typename, pp, slotp)
          default:
            /* Complain and keep going, so compilers can invent new
               cross-reference types.  */
-           warn_stab (orig, "unrecognized cross reference type");
+           warn_stab (orig, _("unrecognized cross reference type"));
            code = DEBUG_KIND_STRUCT;
            break;
          }
@@ -1187,20 +1303,36 @@ parse_stab_type (dhandle, info, typename, pp, slotp)
            bad_stab (orig);
            return DEBUG_TYPE_NULL;
          }
-       while (q1 != NULL && p > q1 && p[1] == ':')
+       if (q1 != NULL && p > q1 && p[1] == ':')
          {
-           q2 = strchr (q1, '>');
-           if (q2 == NULL || q2 < p)
-             break;
-           p += 2;
-           p = strchr (p, ':');
-           if (p == NULL)
+           int nest = 0;
+
+           for (q2 = q1; *q2 != '\0'; ++q2)
+             {
+               if (*q2 == '<')
+                 ++nest;
+               else if (*q2 == '>')
+                 --nest;
+               else if (*q2 == ':' && nest == 0)
+                 break;
+             }
+           p = q2;
+           if (*p != ':')
              {
                bad_stab (orig);
                return DEBUG_TYPE_NULL;
              }
          }
 
+       /* Some versions of g++ can emit stabs like
+              fleep:T20=xsfleep:
+          which define structures in terms of themselves.  We need to
+          tell the caller to avoid building a circular structure.  */
+       if (typename != NULL
+           && strncmp (typename, *pp, p - *pp) == 0
+           && typename[p - *pp] == '\0')
+         info->self_crossref = TRUE;
+
        dtype = stab_find_tagged_type (dhandle, info, *pp, p - *pp, code);
 
        *pp = p + 1;
@@ -1224,7 +1356,6 @@ parse_stab_type (dhandle, info, typename, pp, slotp)
        int xtypenums[2];
 
        /* This type is defined as another type.  */
-
        (*pp)--;
        hold = *pp;
 
@@ -1283,7 +1414,7 @@ parse_stab_type (dhandle, info, typename, pp, slotp)
               (dhandle,
                parse_stab_type (dhandle, info, (const char *) NULL, pp,
                                 (debug_type **) NULL),
-               (debug_type *) NULL, false));
+               (debug_type *) NULL, FALSE));
       break;
 
     case 'k':
@@ -1354,7 +1485,7 @@ parse_stab_type (dhandle, info, typename, pp, slotp)
          ++*pp;
          dtype = debug_make_method_type (dhandle, return_type,
                                          DEBUG_TYPE_NULL,
-                                         (debug_type *) NULL, false);
+                                         (debug_type *) NULL, FALSE);
        }
       else
        {
@@ -1363,7 +1494,7 @@ parse_stab_type (dhandle, info, typename, pp, slotp)
          debug_type *args;
          unsigned int n;
          unsigned int alloc;
-         boolean varargs;
+         bfd_boolean varargs;
 
          domain = parse_stab_type (dhandle, info, (const char *) NULL,
                                    pp, (debug_type **) NULL);
@@ -1414,11 +1545,11 @@ parse_stab_type (dhandle, info, typename, pp, slotp)
             the void type.  */
          if (n == 0
              || debug_get_type_kind (dhandle, args[n - 1]) != DEBUG_KIND_VOID)
-           varargs = true;
+           varargs = TRUE;
          else
            {
              --n;
-             varargs = false;
+             varargs = FALSE;
            }
 
          args[n] = DEBUG_TYPE_NULL;
@@ -1494,7 +1625,7 @@ parse_stab_type (dhandle, info, typename, pp, slotp)
   if (size != -1)
     {
       if (! debug_record_type_size (dhandle, dtype, (unsigned int) size))
-       return false;
+       return DEBUG_TYPE_NULL;
     }
 
   return dtype;
@@ -1505,7 +1636,7 @@ parse_stab_type (dhandle, info, typename, pp, slotp)
    single number N is equivalent to (0,N).  Return the two numbers by
    storing them in the vector TYPENUMS.  */
 
-static boolean
+static bfd_boolean
 parse_stab_type_number (pp, typenums)
      const char **pp;
      int *typenums;
@@ -1517,28 +1648,28 @@ parse_stab_type_number (pp, typenums)
   if (**pp != '(')
     {
       typenums[0] = 0;
-      typenums[1] = (int) parse_number (pp, (boolean *) NULL);
+      typenums[1] = (int) parse_number (pp, (bfd_boolean *) NULL);
     }
   else
     {
       ++*pp;
-      typenums[0] = (int) parse_number (pp, (boolean *) NULL);
+      typenums[0] = (int) parse_number (pp, (bfd_boolean *) NULL);
       if (**pp != ',')
        {
          bad_stab (orig);
-         return false;
+         return FALSE;
        }
       ++*pp;
-      typenums[1] = (int) parse_number (pp, (boolean *) NULL);
+      typenums[1] = (int) parse_number (pp, (bfd_boolean *) NULL);
       if (**pp != ')')
        {
          bad_stab (orig);
-         return false;
+         return FALSE;
        }
       ++*pp;
     }
 
-  return true;
+  return TRUE;
 }
 
 /* Parse a range type.  */
@@ -1553,11 +1684,11 @@ parse_stab_range_type (dhandle, info, typename, pp, typenums)
 {
   const char *orig;
   int rangenums[2];
-  boolean self_subrange;
+  bfd_boolean self_subrange;
   debug_type index_type;
   const char *s2, *s3;
   bfd_signed_vma n2, n3;
-  boolean ov2, ov3;
+  bfd_boolean ov2, ov3;
 
   orig = *pp;
 
@@ -1607,21 +1738,21 @@ parse_stab_range_type (dhandle, info, typename, pp, typenums)
     {
       /* gcc will emit range stabs for long long types.  Handle this
          as a special case.  FIXME: This needs to be more general.  */
-#define LLLOW  "01000000000000000000000;"
-#define LLHIGH "0777777777777777777777;"
+#define LLLOW   "01000000000000000000000;"
+#define LLHIGH   "0777777777777777777777;"
 #define ULLHIGH "01777777777777777777777;"
       if (index_type == DEBUG_TYPE_NULL)
        {
          if (strncmp (s2, LLLOW, sizeof LLLOW - 1) == 0
              && strncmp (s3, LLHIGH, sizeof LLHIGH - 1) == 0)
-           return debug_make_int_type (dhandle, 8, false);
+           return debug_make_int_type (dhandle, 8, FALSE);
          if (! ov2
              && n2 == 0
              && strncmp (s3, ULLHIGH, sizeof ULLHIGH - 1) == 0)
-           return debug_make_int_type (dhandle, 8, true);
+           return debug_make_int_type (dhandle, 8, TRUE);
        }
 
-      warn_stab (orig, "numeric overflow");
+      warn_stab (orig, _("numeric overflow"));
     }
 
   if (index_type == DEBUG_TYPE_NULL)
@@ -1631,6 +1762,11 @@ parse_stab_range_type (dhandle, info, typename, pp, typenums)
       if (self_subrange && n2 == 0 && n3 == 0)
        return debug_make_void_type (dhandle);
 
+      /* A type defined as a subrange of itself, with n2 positive and
+        n3 zero, is a complex type, and n2 is the number of bytes.  */
+      if (self_subrange && n3 == 0 && n2 > 0)
+       return debug_make_complex_type (dhandle, n2);
+
       /* If n3 is zero and n2 is positive, this is a floating point
          type, and n2 is the number of bytes.  */
       if (n3 == 0 && n2 > 0)
@@ -1646,44 +1782,51 @@ parse_stab_range_type (dhandle, info, typename, pp, typenums)
          if (typename != NULL)
            {
              if (strcmp (typename, "long long int") == 0)
-               return debug_make_int_type (dhandle, 8, false);
+               return debug_make_int_type (dhandle, 8, FALSE);
              else if (strcmp (typename, "long long unsigned int") == 0)
-               return debug_make_int_type (dhandle, 8, true);
+               return debug_make_int_type (dhandle, 8, TRUE);
            }
          /* FIXME: The size here really depends upon the target.  */
-         return debug_make_int_type (dhandle, 4, true);
+         return debug_make_int_type (dhandle, 4, TRUE);
        }
 
       /* A range of 0 to 127 is char.  */
       if (self_subrange && n2 == 0 && n3 == 127)
-       return debug_make_int_type (dhandle, 1, false);
+       return debug_make_int_type (dhandle, 1, FALSE);
 
       /* FIXME: gdb checks for the language CHILL here.  */
 
       if (n2 == 0)
        {
          if (n3 < 0)
-           return debug_make_int_type (dhandle, - n3, true);
+           return debug_make_int_type (dhandle, - n3, TRUE);
          else if (n3 == 0xff)
-           return debug_make_int_type (dhandle, 1, true);
+           return debug_make_int_type (dhandle, 1, TRUE);
          else if (n3 == 0xffff)
-           return debug_make_int_type (dhandle, 2, true);
-         /* -1 is used for the upper bound of (4 byte) "unsigned int"
-            and "unsigned long", and we already checked for that, so
-            don't need to test for it here.  */
+           return debug_make_int_type (dhandle, 2, TRUE);
+         else if (n3 == (bfd_signed_vma) 0xffffffff)
+           return debug_make_int_type (dhandle, 4, TRUE);
+#ifdef BFD64
+         else if (n3 == ((((bfd_signed_vma) 0xffffffff) << 32) | 0xffffffff))
+           return debug_make_int_type (dhandle, 8, TRUE);
+#endif
        }
       else if (n3 == 0
               && n2 < 0
               && (self_subrange || n2 == -8))
-       return debug_make_int_type (dhandle, - n2, true);
-      else if (n2 == - n3 - 1)
+       return debug_make_int_type (dhandle, - n2, TRUE);
+      else if (n2 == - n3 - 1 || n2 == n3 + 1)
        {
          if (n3 == 0x7f)
-           return debug_make_int_type (dhandle, 1, false);
+           return debug_make_int_type (dhandle, 1, FALSE);
          else if (n3 == 0x7fff)
-           return debug_make_int_type (dhandle, 2, false);
+           return debug_make_int_type (dhandle, 2, FALSE);
          else if (n3 == 0x7fffffff)
-           return debug_make_int_type (dhandle, 4, false);
+           return debug_make_int_type (dhandle, 4, FALSE);
+#ifdef BFD64
+         else if (n3 == ((((bfd_vma) 0x7fffffff) << 32) | 0xffffffff))
+           return debug_make_int_type (dhandle, 8, FALSE);
+#endif
        }
     }
 
@@ -1701,8 +1844,8 @@ parse_stab_range_type (dhandle, info, typename, pp, typenums)
     {
       /* Does this actually ever happen?  Is that why we are worrying
          about dealing with it rather than just calling error_type?  */
-      warn_stab (orig, "missing index type");
-      index_type = debug_make_int_type (dhandle, 4, false);
+      warn_stab (orig, _("missing index type"));
+      index_type = debug_make_int_type (dhandle, 4, FALSE);
     }
 
   return debug_make_range_type (dhandle, index_type, n2, n3);
@@ -1726,7 +1869,7 @@ parse_stab_sun_builtin_type (dhandle, pp)
      const char **pp;
 {
   const char *orig;
-  boolean unsignedp;
+  bfd_boolean unsignedp;
   bfd_vma bits;
 
   orig = *pp;
@@ -1734,10 +1877,10 @@ parse_stab_sun_builtin_type (dhandle, pp)
   switch (**pp)
     {
     case 's':
-      unsignedp = false;
+      unsignedp = FALSE;
       break;
     case 'u':
-      unsignedp = true;
+      unsignedp = TRUE;
       break;
     default:
       bad_stab (orig);
@@ -1756,7 +1899,7 @@ parse_stab_sun_builtin_type (dhandle, pp)
      by this type, except that unsigned short is 4 instead of 2.
      Since this information is redundant with the third number,
      we will ignore it.  */
-  (void) parse_number (pp, (boolean *) NULL);
+  (void) parse_number (pp, (bfd_boolean *) NULL);
   if (**pp != ';')
     {
       bad_stab (orig);
@@ -1764,8 +1907,8 @@ parse_stab_sun_builtin_type (dhandle, pp)
     }
   ++*pp;
 
-  /* The second number is always 0, so ignore it too. */
-  (void) parse_number (pp, (boolean *) NULL);
+  /* The second number is always 0, so ignore it too.  */
+  (void) parse_number (pp, (bfd_boolean *) NULL);
   if (**pp != ';')
     {
       bad_stab (orig);
@@ -1773,8 +1916,8 @@ parse_stab_sun_builtin_type (dhandle, pp)
     }
   ++*pp;
 
-  /* The third number is the number of bits for this type. */
-  bits = parse_number (pp, (boolean *) NULL);
+  /* The third number is the number of bits for this type.  */
+  bits = parse_number (pp, (bfd_boolean *) NULL);
 
   /* The type *should* end with a semicolon.  If it are embedded
      in a larger type the semicolon may be the only way to know where
@@ -1806,7 +1949,7 @@ parse_stab_sun_floating_type (dhandle, pp)
 
   /* The first number has more details about the type, for example
      FN_COMPLEX.  */
-  details = parse_number (pp, (boolean *) NULL);
+  details = parse_number (pp, (bfd_boolean *) NULL);
   if (**pp != ';')
     {
       bad_stab (orig);
@@ -1814,7 +1957,7 @@ parse_stab_sun_floating_type (dhandle, pp)
     }
 
   /* The second number is the number of bytes occupied by this type */
-  bytes = parse_number (pp, (boolean *) NULL);
+  bytes = parse_number (pp, (bfd_boolean *) NULL);
   if (**pp != ';')
     {
       bad_stab (orig);
@@ -1826,7 +1969,7 @@ parse_stab_sun_floating_type (dhandle, pp)
       || details == NF_COMPLEX32)
     return debug_make_complex_type (dhandle, bytes);
 
-  return debug_make_float_type (dhandle, bytes);      
+  return debug_make_float_type (dhandle, bytes);
 }
 
 /* Handle an enum type.  */
@@ -1875,7 +2018,7 @@ parse_stab_enum_type (dhandle, pp)
       name = savestring (*pp, p - *pp);
 
       *pp = p + 1;
-      val = (bfd_signed_vma) parse_number (pp, (boolean *) NULL);
+      val = (bfd_signed_vma) parse_number (pp, (bfd_boolean *) NULL);
       if (**pp != ',')
        {
          bad_stab (orig);
@@ -1919,22 +2062,22 @@ parse_stab_struct_type (dhandle, info, tagname, pp, structp, typenums)
      struct stab_handle *info;
      const char *tagname;
      const char **pp;
-     boolean structp;
+     bfd_boolean structp;
      const int *typenums;
 {
   const char *orig;
   bfd_vma size;
   debug_baseclass *baseclasses;
   debug_field *fields;
-  boolean statics;
+  bfd_boolean statics;
   debug_method *methods;
   debug_type vptrbase;
-  boolean ownvptr;
+  bfd_boolean ownvptr;
 
   orig = *pp;
 
   /* Get the size.  */
-  size = parse_number (pp, (boolean *) NULL);
+  size = parse_number (pp, (bfd_boolean *) NULL);
 
   /* Get the other information.  */
   if (! parse_stab_baseclasses (dhandle, info, pp, &baseclasses)
@@ -1977,9 +2120,9 @@ parse_stab_struct_type (dhandle, info, tagname, pp, structp, typenums)
        Offset in bits from start of class ________________________|  |
        Type number of base class ____________________________________|
 
-  Return true for success, false for failure.  */
+  Return TRUE for success, FALSE for failure.  */
 
-static boolean
+static bfd_boolean
 parse_stab_baseclasses (dhandle, info, pp, retp)
      PTR dhandle;
      struct stab_handle *info;
@@ -1997,16 +2140,16 @@ parse_stab_baseclasses (dhandle, info, pp, retp)
   if (**pp != '!')
     {
       /* No base classes.  */
-      return true;
+      return TRUE;
     }
   ++*pp;
 
-  c = (unsigned int) parse_number (pp, (boolean *) NULL);
+  c = (unsigned int) parse_number (pp, (bfd_boolean *) NULL);
 
   if (**pp != ',')
     {
       bad_stab (orig);
-      return false;
+      return FALSE;
     }
   ++*pp;
 
@@ -2014,7 +2157,7 @@ parse_stab_baseclasses (dhandle, info, pp, retp)
 
   for (i = 0; i < c; i++)
     {
-      boolean virtual;
+      bfd_boolean virtual;
       enum debug_visibility visibility;
       bfd_vma bitpos;
       debug_type type;
@@ -2022,14 +2165,14 @@ parse_stab_baseclasses (dhandle, info, pp, retp)
       switch (**pp)
        {
        case '0':
-         virtual = false;
+         virtual = FALSE;
          break;
        case '1':
-         virtual = true;
+         virtual = TRUE;
          break;
        default:
-         warn_stab (orig, "unknown virtual character for baseclass");
-         virtual = false;
+         warn_stab (orig, _("unknown virtual character for baseclass"));
+         virtual = FALSE;
          break;
        }
       ++*pp;
@@ -2046,7 +2189,7 @@ parse_stab_baseclasses (dhandle, info, pp, retp)
          visibility = DEBUG_VISIBILITY_PUBLIC;
          break;
        default:
-         warn_stab (orig, "unknown visibility character for baseclass");
+         warn_stab (orig, _("unknown visibility character for baseclass"));
          visibility = DEBUG_VISIBILITY_PUBLIC;
          break;
        }
@@ -2055,26 +2198,26 @@ parse_stab_baseclasses (dhandle, info, pp, retp)
       /* The remaining value is the bit offset of the portion of the
         object corresponding to this baseclass.  Always zero in the
         absence of multiple inheritance.  */
-      bitpos = parse_number (pp, (boolean *) NULL);
+      bitpos = parse_number (pp, (bfd_boolean *) NULL);
       if (**pp != ',')
        {
          bad_stab (orig);
-         return false;
+         return FALSE;
        }
       ++*pp;
 
       type = parse_stab_type (dhandle, info, (const char *) NULL, pp,
                              (debug_type **) NULL);
       if (type == DEBUG_TYPE_NULL)
-       return false;
+       return FALSE;
 
       classes[i] = debug_make_baseclass (dhandle, type, bitpos, virtual,
                                         visibility);
       if (classes[i] == DEBUG_BASECLASS_NULL)
-       return false;
+       return FALSE;
 
       if (**pp != ';')
-       return false;
+       return FALSE;
       ++*pp;
     }
 
@@ -2082,7 +2225,7 @@ parse_stab_baseclasses (dhandle, info, pp, retp)
 
   *retp = classes;
 
-  return true;
+  return TRUE;
 }
 
 /* Read struct or class data fields.  They have the form:
@@ -2105,13 +2248,13 @@ parse_stab_baseclasses (dhandle, info, pp, retp)
 
    Returns 1 for success, 0 for failure.  */
 
-static boolean
+static bfd_boolean
 parse_stab_struct_fields (dhandle, info, pp, retp, staticsp)
      PTR dhandle;
      struct stab_handle *info;
      const char **pp;
      debug_field **retp;
-     boolean *staticsp;
+     bfd_boolean *staticsp;
 {
   const char *orig;
   const char *p;
@@ -2120,7 +2263,7 @@ parse_stab_struct_fields (dhandle, info, pp, retp, staticsp)
   unsigned int alloc;
 
   *retp = NULL;
-  *staticsp = false;
+  *staticsp = FALSE;
 
   orig = *pp;
 
@@ -2152,7 +2295,7 @@ parse_stab_struct_fields (dhandle, info, pp, retp, staticsp)
        {
          ++*pp;
          if (! parse_stab_cpp_abbrev (dhandle, info, pp, fields + c))
-           return false;
+           return FALSE;
          ++c;
          continue;
        }
@@ -2160,13 +2303,13 @@ parse_stab_struct_fields (dhandle, info, pp, retp, staticsp)
       /* Look for the ':' that separates the field name from the field
         values.  Data members are delimited by a single ':', while member
         functions are delimited by a pair of ':'s.  When we hit the member
-        functions (if any), terminate scan loop and return. */
+        functions (if any), terminate scan loop and return.  */
 
       p = strchr (p, ':');
       if (p == NULL)
        {
          bad_stab (orig);
-         return false;
+         return FALSE;
        }
 
       if (p[1] == ':')
@@ -2174,7 +2317,7 @@ parse_stab_struct_fields (dhandle, info, pp, retp, staticsp)
 
       if (! parse_stab_one_struct_field (dhandle, info, pp, p, fields + c,
                                         staticsp))
-       return false;
+       return FALSE;
 
       ++c;
     }
@@ -2183,12 +2326,12 @@ parse_stab_struct_fields (dhandle, info, pp, retp, staticsp)
 
   *retp = fields;
 
-  return true;
+  return TRUE;
 }
 
 /* Special GNU C++ name.  */
 
-static boolean
+static bfd_boolean
 parse_stab_cpp_abbrev (dhandle, info, pp, retp)
      PTR dhandle;
      struct stab_handle *info;
@@ -2210,7 +2353,7 @@ parse_stab_cpp_abbrev (dhandle, info, pp, retp)
   if (**pp != 'v')
     {
       bad_stab (*pp);
-      return false;
+      return FALSE;
     }
   ++*pp;
 
@@ -2225,7 +2368,7 @@ parse_stab_cpp_abbrev (dhandle, info, pp, retp)
   context = parse_stab_type (dhandle, info, (const char *) NULL, pp,
                             (debug_type **) NULL);
   if (context == DEBUG_TYPE_NULL)
-    return false;
+    return FALSE;
 
   switch (cpp_abbrev)
     {
@@ -2238,13 +2381,13 @@ parse_stab_cpp_abbrev (dhandle, info, pp, retp)
       typename = debug_get_type_name (dhandle, context);
       if (typename == NULL)
        {
-         warn_stab (orig, "unnamed $vb type");
+         warn_stab (orig, _("unnamed $vb type"));
          typename = "FOO";
        }
       name = concat ("_vb$", typename, (const char *) NULL);
       break;
     default:
-      warn_stab (orig, "unrecognized C++ abbreviation");
+      warn_stab (orig, _("unrecognized C++ abbreviation"));
       name = "INVALID_CPLUSPLUS_ABBREV";
       break;
     }
@@ -2252,7 +2395,7 @@ parse_stab_cpp_abbrev (dhandle, info, pp, retp)
   if (**pp != ':')
     {
       bad_stab (orig);
-      return false;
+      return FALSE;
     }
   ++*pp;
 
@@ -2261,36 +2404,36 @@ parse_stab_cpp_abbrev (dhandle, info, pp, retp)
   if (**pp != ',')
     {
       bad_stab (orig);
-      return false;
+      return FALSE;
     }
   ++*pp;
 
-  bitpos = parse_number (pp, (boolean *) NULL);
+  bitpos = parse_number (pp, (bfd_boolean *) NULL);
   if (**pp != ';')
     {
       bad_stab (orig);
-      return false;
+      return FALSE;
     }
   ++*pp;
 
   *retp = debug_make_field (dhandle, name, type, bitpos, 0,
                            DEBUG_VISIBILITY_PRIVATE);
   if (*retp == DEBUG_FIELD_NULL)
-    return false;
+    return FALSE;
 
-  return true;
+  return TRUE;
 }
 
 /* Parse a single field in a struct or union.  */
 
-static boolean
+static bfd_boolean
 parse_stab_one_struct_field (dhandle, info, pp, p, retp, staticsp)
      PTR dhandle;
      struct stab_handle *info;
      const char **pp;
      const char *p;
      debug_field *retp;
-     boolean *staticsp;
+     bfd_boolean *staticsp;
 {
   const char *orig;
   char *name;
@@ -2324,7 +2467,7 @@ parse_stab_one_struct_field (dhandle, info, pp, p, retp, staticsp)
          visibility = DEBUG_VISIBILITY_PUBLIC;
          break;
        default:
-         warn_stab (orig, "unknown visibility character for field");
+         warn_stab (orig, _("unknown visibility character for field"));
          visibility = DEBUG_VISIBILITY_PUBLIC;
          break;
        }
@@ -2334,7 +2477,7 @@ parse_stab_one_struct_field (dhandle, info, pp, p, retp, staticsp)
   type = parse_stab_type (dhandle, info, (const char *) NULL, pp,
                          (debug_type **) NULL);
   if (type == DEBUG_TYPE_NULL)
-    return false;
+    return FALSE;
 
   if (**pp == ':')
     {
@@ -2346,7 +2489,7 @@ parse_stab_one_struct_field (dhandle, info, pp, p, retp, staticsp)
       if (p == NULL)
        {
          bad_stab (orig);
-         return false;
+         return FALSE;
        }
 
       varname = savestring (*pp, p - *pp);
@@ -2355,31 +2498,31 @@ parse_stab_one_struct_field (dhandle, info, pp, p, retp, staticsp)
 
       *retp = debug_make_static_member (dhandle, name, type, varname,
                                        visibility);
-      *staticsp = true;
+      *staticsp = TRUE;
 
-      return true;
+      return TRUE;
     }
 
   if (**pp != ',')
     {
       bad_stab (orig);
-      return false;
+      return FALSE;
     }
   ++*pp;
 
-  bitpos = parse_number (pp, (boolean *) NULL);
+  bitpos = parse_number (pp, (bfd_boolean *) NULL);
   if (**pp != ',')
     {
       bad_stab (orig);
-      return false;
+      return FALSE;
     }
   ++*pp;
 
-  bitsize = parse_number (pp, (boolean *) NULL);
+  bitsize = parse_number (pp, (bfd_boolean *) NULL);
   if (**pp != ';')
     {
       bad_stab (orig);
-      return false;
+      return FALSE;
     }
   ++*pp;
 
@@ -2405,7 +2548,7 @@ parse_stab_one_struct_field (dhandle, info, pp, p, retp, staticsp)
 
   *retp = debug_make_field (dhandle, name, type, bitpos, bitsize, visibility);
 
-  return true;
+  return TRUE;
 }
 
 /* Read member function stabs info for C++ classes.  The form of each member
@@ -2421,7 +2564,7 @@ parse_stab_one_struct_field (dhandle, info, pp, p, retp, staticsp)
    $ is the CPLUS_MARKER (usually '$'), `*' holds the place for an operator
    name (such as `+=') and `.' marks the end of the operator name.  */
 
-static boolean
+static bfd_boolean
 parse_stab_members (dhandle, info, tagname, pp, typenums, retp)
      PTR dhandle;
      struct stab_handle *info;
@@ -2476,7 +2619,7 @@ parse_stab_members (dhandle, info, tagname, pp, typenums, retp)
          if (*p != '.')
            {
              bad_stab (orig);
-             return false;
+             return FALSE;
            }
          name = savestring (*pp, p - *pp);
          *pp = p + 1;
@@ -2492,13 +2635,14 @@ parse_stab_members (dhandle, info, tagname, pp, typenums, retp)
       do
        {
          debug_type type;
+         bfd_boolean stub;
          char *argtypes;
          enum debug_visibility visibility;
-         boolean constp, volatilep, staticp;
+         bfd_boolean constp, volatilep, staticp;
          bfd_vma voffset;
          debug_type context;
          const char *physname;
-         boolean varargs;
+         bfd_boolean varargs;
 
          if (look_ahead_type != DEBUG_TYPE_NULL)
            {
@@ -2511,11 +2655,11 @@ parse_stab_members (dhandle, info, tagname, pp, typenums, retp)
              type = parse_stab_type (dhandle, info, (const char *) NULL, pp,
                                      (debug_type **) NULL);
              if (type == DEBUG_TYPE_NULL)
-               return false;
+               return FALSE;
              if (**pp != ':')
                {
                  bad_stab (orig);
-                 return false;
+                 return FALSE;
                }
            }
 
@@ -2524,9 +2668,14 @@ parse_stab_members (dhandle, info, tagname, pp, typenums, retp)
          if (p == NULL)
            {
              bad_stab (orig);
-             return false;
+             return FALSE;
            }
 
+         stub = FALSE;
+         if (debug_get_type_kind (dhandle, type) == DEBUG_KIND_METHOD
+             && debug_get_parameter_types (dhandle, type, &varargs) == NULL)
+           stub = TRUE;
+
          argtypes = savestring (*pp, p - *pp);
          *pp = p + 1;
 
@@ -2544,8 +2693,8 @@ parse_stab_members (dhandle, info, tagname, pp, typenums, retp)
            }
          ++*pp;
 
-         constp = false;
-         volatilep = false;
+         constp = FALSE;
+         volatilep = FALSE;
          switch (**pp)
            {
            case 'A':
@@ -2554,18 +2703,18 @@ parse_stab_members (dhandle, info, tagname, pp, typenums, retp)
              break;
            case 'B':
              /* const member function.  */
-             constp = true;
+             constp = TRUE;
              ++*pp;
              break;
            case 'C':
              /* volatile member function.  */
-             volatilep = true;
+             volatilep = TRUE;
              ++*pp;
              break;
            case 'D':
              /* const volatile member function.  */
-             constp = true;
-             volatilep = true;
+             constp = TRUE;
+             volatilep = TRUE;
              ++*pp;
              break;
            case '*':
@@ -2574,31 +2723,26 @@ parse_stab_members (dhandle, info, tagname, pp, typenums, retp)
              /* File compiled with g++ version 1; no information.  */
              break;
            default:
-             warn_stab (orig, "const/volatile indicator missing");
+             warn_stab (orig, _("const/volatile indicator missing"));
              break;
            }
 
-         staticp = false;
+         staticp = FALSE;
          switch (**pp)
            {
            case '*':
              /* virtual member function, followed by index.  The sign
-                bit is set to distinguish pointers-to-methods from
-                virtual function indicies.  Since the array is in
-                words, the quantity must be shifted left by 1 on 16
-                bit machine, and by 2 on 32 bit machine, forcing the
-                sign bit out, and usable as a valid index into the
-                array.  Remove the sign bit here.  */
+                bit is supposedly set to distinguish
+                pointers-to-methods from virtual function indicies.  */
              ++*pp;
-             voffset = parse_number (pp, (boolean *) NULL);
+             voffset = parse_number (pp, (bfd_boolean *) NULL);
              if (**pp != ';')
                {
                  bad_stab (orig);
-                 return false;
+                 return FALSE;
                }
              ++*pp;
              voffset &= 0x7fffffff;
-             voffset += 2;
 
              if (**pp == ';' || *pp == '\0')
                {
@@ -2610,34 +2754,37 @@ parse_stab_members (dhandle, info, tagname, pp, typenums, retp)
                  /* Figure out from whence this virtual function
                     came.  It may belong to virtual function table of
                     one of its baseclasses.  */
-                   look_ahead_type = parse_stab_type (dhandle, info,
-                                                      (const char *) NULL,
-                                                      pp,
-                                                      (debug_type **) NULL);
-                   if (**pp == ':')
-                     {
-                       /* g++ version 1 overloaded methods.  */
-                     }
-                   else
-                     {
-                       context = look_ahead_type;
-                       look_ahead_type = DEBUG_TYPE_NULL;
-                       if (**pp != ';')
-                         {
-                           bad_stab (orig);
-                           return false;
-                         }
-                       ++*pp;
-                     }
-                 }
+                 look_ahead_type = parse_stab_type (dhandle, info,
+                                                    (const char *) NULL,
+                                                    pp,
+                                                    (debug_type **) NULL);
+                 if (**pp == ':')
+                   {
+                     /* g++ version 1 overloaded methods.  */
+                     context = DEBUG_TYPE_NULL;
+                   }
+                 else
+                   {
+                     context = look_ahead_type;
+                     look_ahead_type = DEBUG_TYPE_NULL;
+                     if (**pp != ';')
+                       {
+                         bad_stab (orig);
+                         return FALSE;
+                       }
+                     ++*pp;
+                   }
+               }
              break;
 
            case '?':
              /* static member function.  */
              ++*pp;
-             staticp = true;
+             staticp = TRUE;
              voffset = 0;
              context = DEBUG_TYPE_NULL;
+             if (strncmp (argtypes, name, strlen (name)) != 0)
+               stub = TRUE;
              break;
 
            default:
@@ -2653,15 +2800,12 @@ parse_stab_members (dhandle, info, tagname, pp, typenums, retp)
              break;
            }
 
-         /* If this is a method type which is not a stub--that is,
-            the argument types are fully specified--then the argtypes
-            string is actually the physical name of the function.
-            Otherwise, the argtypes string is the mangled from of the
-            argument types, and the physical name of the function,
-            and the argument types, must be deduced from it.  */
-
-         if (debug_get_type_kind (dhandle, type) == DEBUG_KIND_METHOD
-             && debug_get_parameter_types (dhandle, type, &varargs) != NULL)
+         /* If the type is not a stub, then the argtypes string is
+             the physical name of the function.  Otherwise the
+             argtypes string is the mangled form of the argument
+             types, and the full type and the physical name must be
+             extracted from them.  */
+         if (! stub)
            physname = argtypes;
          else
            {
@@ -2669,18 +2813,18 @@ parse_stab_members (dhandle, info, tagname, pp, typenums, retp)
 
              class_type = stab_find_type (dhandle, info, typenums);
              if (class_type == DEBUG_TYPE_NULL)
-               return false;
+               return FALSE;
              return_type = debug_get_return_type (dhandle, type);
              if (return_type == DEBUG_TYPE_NULL)
                {
                  bad_stab (orig);
-                 return false;
+                 return FALSE;
                }
              type = parse_stab_argtypes (dhandle, info, class_type, name,
                                          tagname, return_type, argtypes,
                                          constp, volatilep, &physname);
              if (type == DEBUG_TYPE_NULL)
-               return false;
+               return FALSE;
            }
 
          if (cvars + 1 >= allocvars)
@@ -2704,7 +2848,7 @@ parse_stab_members (dhandle, info, tagname, pp, typenums, retp)
                                                                constp,
                                                                volatilep);
          if (variants[cvars] == DEBUG_METHOD_VARIANT_NULL)
-           return false;
+           return FALSE;
 
          ++cvars;
        }
@@ -2732,7 +2876,7 @@ parse_stab_members (dhandle, info, tagname, pp, typenums, retp)
 
   *retp = methods;
 
-  return true;
+  return TRUE;
 }
 
 /* Parse a string representing argument types for a method.  Stabs
@@ -2751,20 +2895,21 @@ parse_stab_argtypes (dhandle, info, class_type, fieldname, tagname,
      const char *tagname;
      debug_type return_type;
      const char *argtypes;
-     boolean constp;
-     boolean volatilep;
+     bfd_boolean constp;
+     bfd_boolean volatilep;
      const char **pphysname;
 {
-  boolean is_full_physname_constructor;
-  boolean is_constructor;
-  boolean is_destructor;
+  bfd_boolean is_full_physname_constructor;
+  bfd_boolean is_constructor;
+  bfd_boolean is_destructor;
   debug_type *args;
-  boolean varargs;
+  bfd_boolean varargs;
+  unsigned int physname_len = 0;
 
   /* Constructors are sometimes handled specially.  */
   is_full_physname_constructor = ((argtypes[0] == '_'
                                   && argtypes[1] == '_'
-                                  && (isdigit ((unsigned char) argtypes[2])
+                                  && (ISDIGIT (argtypes[2])
                                       || argtypes[2] == 'Q'
                                       || argtypes[2] == 't'))
                                  || strncmp (argtypes, "__ct", 4) == 0);
@@ -2819,7 +2964,7 @@ parse_stab_argtypes (dhandle, info, class_type, fieldname, tagname,
          opname = cplus_mangle_opname (fieldname + 3, 0);
          if (opname == NULL)
            {
-             fprintf (stderr, "No mangling for \"%s\"\n", fieldname);
+             fprintf (stderr, _("No mangling for \"%s\"\n"), fieldname);
              return DEBUG_TYPE_NULL;
            }
          mangled_name_len += strlen (opname);
@@ -2836,6 +2981,7 @@ parse_stab_argtypes (dhandle, info, class_type, fieldname, tagname,
            strcpy (physname, fieldname);
        }
 
+      physname_len = strlen (physname);
       strcat (physname, buf);
       if (tagname != NULL)
        strcat (physname, tagname);
@@ -2844,15 +2990,15 @@ parse_stab_argtypes (dhandle, info, class_type, fieldname, tagname,
       *pphysname = physname;
     }
 
-  if (*argtypes == '\0')
+  if (*argtypes == '\0' || is_destructor)
     {
       args = (debug_type *) xmalloc (sizeof *args);
       *args = NULL;
       return debug_make_method_type (dhandle, return_type, class_type, args,
-                                    false);
+                                    FALSE);
     }
 
-  args = stab_demangle_argtypes (dhandle, info, *pphysname, &varargs);
+  args = stab_demangle_argtypes (dhandle, info, *pphysname, &varargs, physname_len);
   if (args == NULL)
     return DEBUG_TYPE_NULL;
 
@@ -2868,42 +3014,42 @@ parse_stab_argtypes (dhandle, info, class_type, fieldname, tagname,
    This function is called when we have parsed all the method declarations,
    so we can look for the vptr base class info.  */
 
-static boolean
+static bfd_boolean
 parse_stab_tilde_field (dhandle, info, pp, typenums, retvptrbase, retownvptr)
      PTR dhandle;
      struct stab_handle *info;
      const char **pp;
      const int *typenums;
      debug_type *retvptrbase;
-     boolean *retownvptr;
+     bfd_boolean *retownvptr;
 {
   const char *orig;
   const char *hold;
   int vtypenums[2];
 
   *retvptrbase = DEBUG_TYPE_NULL;
-  *retownvptr = false;
+  *retownvptr = FALSE;
 
   orig = *pp;
 
-  /* If we are positioned at a ';', then skip it. */
+  /* If we are positioned at a ';', then skip it.  */
   if (**pp == ';')
     ++*pp;
 
   if (**pp != '~')
-    return true;
+    return TRUE;
 
   ++*pp;
 
   if (**pp == '=' || **pp == '+' || **pp == '-')
     {
       /* Obsolete flags that used to indicate the presence of
-        constructors and/or destructors. */
+        constructors and/or destructors.  */
       ++*pp;
     }
 
   if (**pp != '%')
-    return true;
+    return TRUE;
 
   ++*pp;
 
@@ -2912,11 +3058,11 @@ parse_stab_tilde_field (dhandle, info, pp, typenums, retvptrbase, retownvptr)
   /* The next number is the type number of the base class (possibly
      our own class) which supplies the vtable for this class.  */
   if (! parse_stab_type_number (pp, vtypenums))
-    return false;
+    return FALSE;
 
   if (vtypenums[0] == typenums[0]
       && vtypenums[1] == typenums[1])
-    *retownvptr = true;
+    *retownvptr = TRUE;
   else
     {
       debug_type vtype;
@@ -2931,7 +3077,7 @@ parse_stab_tilde_field (dhandle, info, pp, typenums, retvptrbase, retownvptr)
       if (*p != ';')
        {
          bad_stab (orig);
-         return false;
+         return FALSE;
        }
 
       *retvptrbase = vtype;
@@ -2939,7 +3085,7 @@ parse_stab_tilde_field (dhandle, info, pp, typenums, retvptrbase, retownvptr)
       *pp = p + 1;
     }
 
-  return true;    
+  return TRUE;
 }
 
 /* Read a definition of an array type.  */
@@ -2949,11 +3095,13 @@ parse_stab_array_type (dhandle, info, pp, stringp)
      PTR dhandle;
      struct stab_handle *info;
      const char **pp;
-     boolean stringp;
+     bfd_boolean stringp;
 {
   const char *orig;
+  const char *p;
+  int typenums[2];
   debug_type index_type;
-  boolean adjustable;
+  bfd_boolean adjustable;
   bfd_signed_vma lower, upper;
   debug_type element_type;
 
@@ -2968,8 +3116,27 @@ parse_stab_array_type (dhandle, info, pp, stringp)
 
   /* FIXME: gdb checks os9k_stabs here.  */
 
-  index_type = parse_stab_type (dhandle, info, (const char *) NULL, pp,
-                               (debug_type **) NULL);
+  /* If the index type is type 0, we take it as int.  */
+  p = *pp;
+  if (! parse_stab_type_number (&p, typenums))
+    return DEBUG_TYPE_NULL;
+  if (typenums[0] == 0 && typenums[1] == 0 && **pp != '=')
+    {
+      index_type = debug_find_named_type (dhandle, "int");
+      if (index_type == DEBUG_TYPE_NULL)
+       {
+         index_type = debug_make_int_type (dhandle, 4, FALSE);
+         if (index_type == DEBUG_TYPE_NULL)
+           return DEBUG_TYPE_NULL;
+       }
+      *pp = p;
+    }
+  else
+    {
+      index_type = parse_stab_type (dhandle, info, (const char *) NULL, pp,
+                                   (debug_type **) NULL);
+    }
+
   if (**pp != ';')
     {
       bad_stab (orig);
@@ -2977,40 +3144,40 @@ parse_stab_array_type (dhandle, info, pp, stringp)
     }
   ++*pp;
 
-  adjustable = false;
+  adjustable = FALSE;
 
-  if (! isdigit ((unsigned char) **pp) && **pp != '-')
+  if (! ISDIGIT (**pp) && **pp != '-')
     {
       ++*pp;
-      adjustable = true;
+      adjustable = TRUE;
     }
 
-  lower = (bfd_signed_vma) parse_number (pp, (boolean *) NULL);
+  lower = (bfd_signed_vma) parse_number (pp, (bfd_boolean *) NULL);
   if (**pp != ';')
     {
       bad_stab (orig);
-      return false;
+      return DEBUG_TYPE_NULL;
     }
   ++*pp;
 
-  if (! isdigit ((unsigned char) **pp) && **pp != '-')
+  if (! ISDIGIT (**pp) && **pp != '-')
     {
       ++*pp;
-      adjustable = true;
+      adjustable = TRUE;
     }
 
-  upper = (bfd_signed_vma) parse_number (pp, (boolean *) NULL);
+  upper = (bfd_signed_vma) parse_number (pp, (bfd_boolean *) NULL);
   if (**pp != ';')
     {
       bad_stab (orig);
-      return false;
+      return DEBUG_TYPE_NULL;
     }
   ++*pp;
 
   element_type = parse_stab_type (dhandle, info, (const char *) NULL, pp,
                                  (debug_type **) NULL);
   if (element_type == DEBUG_TYPE_NULL)
-    return false;
+    return DEBUG_TYPE_NULL;
 
   if (adjustable)
     {
@@ -3022,26 +3189,43 @@ parse_stab_array_type (dhandle, info, pp, stringp)
                                upper, stringp);
 }
 
-/* Keep a stack of N_BINCL include files.  */
+/* This struct holds information about files we have seen using
+   N_BINCL.  */
 
 struct bincl_file
 {
+  /* The next N_BINCL file.  */
   struct bincl_file *next;
+  /* The next N_BINCL on the stack.  */
+  struct bincl_file *next_stack;
+  /* The file name.  */
   const char *name;
+  /* The hash value.  */
+  bfd_vma hash;
+  /* The file index.  */
+  unsigned int file;
+  /* The list of types defined in this file.  */
+  struct stab_types *file_types;
 };
 
 /* Start a new N_BINCL file, pushing it onto the stack.  */
 
 static void
-push_bincl (info, name)
+push_bincl (info, name, hash)
      struct stab_handle *info;
      const char *name;
+     bfd_vma hash;
 {
   struct bincl_file *n;
 
   n = (struct bincl_file *) xmalloc (sizeof *n);
-  n->next = info->bincl_stack;
+  n->next = info->bincl_list;
+  n->next_stack = info->bincl_stack;
   n->name = name;
+  n->hash = hash;
+  n->file = info->files;
+  n->file_types = NULL;
+  info->bincl_list = n;
   info->bincl_stack = n;
 
   ++info->files;
@@ -3049,7 +3233,7 @@ push_bincl (info, name)
                      xrealloc ((PTR) info->file_types,
                                (info->files
                                 * sizeof *info->file_types)));
-  info->file_types[info->files - 1] = NULL;
+  info->file_types[n->file] = NULL;
 }
 
 /* Finish an N_BINCL file, at an N_EINCL, popping the name off the
@@ -3064,19 +3248,52 @@ pop_bincl (info)
   o = info->bincl_stack;
   if (o == NULL)
     return info->main_filename;
-  info->bincl_stack = o->next;
-  free (o);
+  info->bincl_stack = o->next_stack;
+
+  o->file_types = info->file_types[o->file];
+
   if (info->bincl_stack == NULL)
     return info->main_filename;
   return info->bincl_stack->name;
 }
 
+/* Handle an N_EXCL: get the types from the corresponding N_BINCL.  */
+
+static bfd_boolean
+find_excl (info, name, hash)
+     struct stab_handle *info;
+     const char *name;
+     bfd_vma hash;
+{
+  struct bincl_file *l;
+
+  ++info->files;
+  info->file_types = ((struct stab_types **)
+                     xrealloc ((PTR) info->file_types,
+                               (info->files
+                                * sizeof *info->file_types)));
+
+  for (l = info->bincl_list; l != NULL; l = l->next)
+    if (l->hash == hash && strcmp (l->name, name) == 0)
+      break;
+  if (l == NULL)
+    {
+      warn_stab (name, _("Undefined N_EXCL"));
+      info->file_types[info->files - 1] = NULL;
+      return TRUE;
+    }
+
+  info->file_types[info->files - 1] = l->file_types;
+
+  return TRUE;
+}
+
 /* Handle a variable definition.  gcc emits variable definitions for a
    block before the N_LBRAC, so we must hold onto them until we see
    it.  The SunPRO compiler emits variable definitions after the
    N_LBRAC, so we can call debug_record_variable immediately.  */
 
-static boolean
+static bfd_boolean
 stab_record_variable (dhandle, info, name, type, kind, val)
      PTR dhandle;
      struct stab_handle *info;
@@ -3102,13 +3319,13 @@ stab_record_variable (dhandle, info, name, type, kind, val)
   v->val = val;
   info->pending = v;
 
-  return true;
+  return TRUE;
 }
 
 /* Emit pending variable definitions.  This is called after we see the
    N_LBRAC that starts the block.  */
 
-static boolean
+static bfd_boolean
 stab_emit_pending_vars (dhandle, info)
      PTR dhandle;
      struct stab_handle *info;
@@ -3121,7 +3338,7 @@ stab_emit_pending_vars (dhandle, info)
       struct stab_pending_var *next;
 
       if (! debug_record_variable (dhandle, v->name, v->type, v->kind, v->val))
-       return false;
+       return FALSE;
 
       next = v->next;
       free (v);
@@ -3130,7 +3347,7 @@ stab_emit_pending_vars (dhandle, info)
 
   info->pending = NULL;
 
-  return true;
+  return TRUE;
 }
 
 /* Find the slot for a type in the database.  */
@@ -3149,12 +3366,12 @@ stab_find_slot (info, typenums)
 
   if (filenum < 0 || (unsigned int) filenum >= info->files)
     {
-      fprintf (stderr, "Type file number %d out of range\n", filenum);
+      fprintf (stderr, _("Type file number %d out of range\n"), filenum);
       return NULL;
     }
   if (index < 0)
     {
-      fprintf (stderr, "Type index number %d out of range\n", index);
+      fprintf (stderr, _("Type index number %d out of range\n"), index);
       return NULL;
     }
 
@@ -3208,9 +3425,9 @@ stab_find_type (dhandle, info, typenums)
 
 /* Record that a given type number refers to a given type.  */
 
-static boolean
+static bfd_boolean
 stab_record_type (dhandle, info, typenums, type)
-     PTR dhandle;
+     PTR dhandle ATTRIBUTE_UNUSED;
      struct stab_handle *info;
      const int *typenums;
      debug_type type;
@@ -3219,13 +3436,13 @@ stab_record_type (dhandle, info, typenums, type)
 
   slot = stab_find_slot (info, typenums);
   if (slot == NULL)
-    return false;
+    return FALSE;
 
   /* gdb appears to ignore type redefinitions, so we do as well.  */
 
   *slot = type;
 
-  return true;
+  return TRUE;
 }
 
 /* Return an XCOFF builtin type.  */
@@ -3241,7 +3458,7 @@ stab_xcoff_builtin_type (dhandle, info, typenum)
 
   if (typenum >= 0 || typenum < -XCOFF_TYPE_COUNT)
     {
-      fprintf (stderr, "Unrecognized XCOFF type %d\n", typenum);
+      fprintf (stderr, _("Unrecognized XCOFF type %d\n"), typenum);
       return DEBUG_TYPE_NULL;
     }
   if (info->xcoff_types[-typenum] != NULL)
@@ -3253,42 +3470,42 @@ stab_xcoff_builtin_type (dhandle, info, typenum)
       /* The size of this and all the other types are fixed, defined
         by the debugging format.  */
       name = "int";
-      rettype = debug_make_int_type (dhandle, 4, false);
+      rettype = debug_make_int_type (dhandle, 4, FALSE);
       break;
     case 2:
       name = "char";
-      rettype = debug_make_int_type (dhandle, 1, false);
+      rettype = debug_make_int_type (dhandle, 1, FALSE);
       break;
     case 3:
       name = "short";
-      rettype = debug_make_int_type (dhandle, 2, false);
+      rettype = debug_make_int_type (dhandle, 2, FALSE);
       break;
     case 4:
       name = "long";
-      rettype = debug_make_int_type (dhandle, 4, false);
+      rettype = debug_make_int_type (dhandle, 4, FALSE);
       break;
     case 5:
       name = "unsigned char";
-      rettype = debug_make_int_type (dhandle, 1, true);
+      rettype = debug_make_int_type (dhandle, 1, TRUE);
       break;
     case 6:
       name = "signed char";
-      rettype = debug_make_int_type (dhandle, 1, false);
+      rettype = debug_make_int_type (dhandle, 1, FALSE);
       break;
     case 7:
       name = "unsigned short";
-      rettype = debug_make_int_type (dhandle, 2, true);
+      rettype = debug_make_int_type (dhandle, 2, TRUE);
       break;
     case 8:
       name = "unsigned int";
-      rettype = debug_make_int_type (dhandle, 4, true);
+      rettype = debug_make_int_type (dhandle, 4, TRUE);
       break;
     case 9:
       name = "unsigned";
-      rettype = debug_make_int_type (dhandle, 4, true);
+      rettype = debug_make_int_type (dhandle, 4, TRUE);
     case 10:
       name = "unsigned long";
-      rettype = debug_make_int_type (dhandle, 4, true);
+      rettype = debug_make_int_type (dhandle, 4, TRUE);
       break;
     case 11:
       name = "void";
@@ -3313,7 +3530,7 @@ stab_xcoff_builtin_type (dhandle, info, typenum)
       break;
     case 15:
       name = "integer";
-      rettype = debug_make_int_type (dhandle, 4, false);
+      rettype = debug_make_int_type (dhandle, 4, FALSE);
       break;
     case 16:
       name = "boolean";
@@ -3335,7 +3552,7 @@ stab_xcoff_builtin_type (dhandle, info, typenum)
     case 20:
       /* FIXME */
       name = "character";
-      rettype = debug_make_int_type (dhandle, 1, true);
+      rettype = debug_make_int_type (dhandle, 1, TRUE);
       break;
     case 21:
       name = "logical*1";
@@ -3365,28 +3582,28 @@ stab_xcoff_builtin_type (dhandle, info, typenum)
       break;
     case 27:
       name = "integer*1";
-      rettype = debug_make_int_type (dhandle, 1, false);
+      rettype = debug_make_int_type (dhandle, 1, FALSE);
       break;
     case 28:
       name = "integer*2";
-      rettype = debug_make_int_type (dhandle, 2, false);
+      rettype = debug_make_int_type (dhandle, 2, FALSE);
       break;
     case 29:
       name = "integer*4";
-      rettype = debug_make_int_type (dhandle, 4, false);
+      rettype = debug_make_int_type (dhandle, 4, FALSE);
       break;
     case 30:
       /* FIXME */
       name = "wchar";
-      rettype = debug_make_int_type (dhandle, 2, false);
+      rettype = debug_make_int_type (dhandle, 2, FALSE);
       break;
     case 31:
       name = "long long";
-      rettype = debug_make_int_type (dhandle, 8, false);
+      rettype = debug_make_int_type (dhandle, 8, FALSE);
       break;
     case 32:
       name = "unsigned long long";
-      rettype = debug_make_int_type (dhandle, 8, true);
+      rettype = debug_make_int_type (dhandle, 8, TRUE);
       break;
     case 33:
       name = "logical*8";
@@ -3394,7 +3611,7 @@ stab_xcoff_builtin_type (dhandle, info, typenum)
       break;
     case 34:
       name = "integer*8";
-      rettype = debug_make_int_type (dhandle, 8, false);
+      rettype = debug_make_int_type (dhandle, 8, FALSE);
       break;
     default:
       abort ();
@@ -3496,7 +3713,7 @@ struct stab_demangle_info
   /* The array of arguments we are building.  */
   debug_type *args;
   /* Whether the method takes a variable number of arguments.  */
-  boolean varargs;
+  bfd_boolean varargs;
   /* The array of types we have remembered.  */
   struct stab_demangle_typestring *typestrings;
   /* The number of typestrings.  */
@@ -3505,33 +3722,35 @@ struct stab_demangle_info
   unsigned int typestring_alloc;
 };
 
-static void stab_bad_demangle PARAMS ((const char *));
-static unsigned int stab_demangle_count PARAMS ((const char **));
-static boolean stab_demangle_get_count
+static void stab_bad_demangle
+  PARAMS ((const char *));
+static unsigned int stab_demangle_count
+  PARAMS ((const char **));
+static bfd_boolean stab_demangle_get_count
   PARAMS ((const char **, unsigned int *));
-static boolean stab_demangle_prefix
-  PARAMS ((struct stab_demangle_info *, const char **));
-static boolean stab_demangle_function_name
+static bfd_boolean stab_demangle_prefix
+  PARAMS ((struct stab_demangle_info *, const char **, unsigned int));
+static bfd_boolean stab_demangle_function_name
   PARAMS ((struct stab_demangle_info *, const char **, const char *));
-static boolean stab_demangle_signature
+static bfd_boolean stab_demangle_signature
   PARAMS ((struct stab_demangle_info *, const char **));
-static boolean stab_demangle_qualified
+static bfd_boolean stab_demangle_qualified
   PARAMS ((struct stab_demangle_info *, const char **, debug_type *));
-static boolean stab_demangle_template
-  PARAMS ((struct stab_demangle_info *, const char **));
-static boolean stab_demangle_class
+static bfd_boolean stab_demangle_template
+  PARAMS ((struct stab_demangle_info *, const char **, char **));
+static bfd_boolean stab_demangle_class
   PARAMS ((struct stab_demangle_info *, const char **, const char **));
-static boolean stab_demangle_args
+static bfd_boolean stab_demangle_args
   PARAMS ((struct stab_demangle_info *, const char **, debug_type **,
-          boolean *));
-static boolean stab_demangle_arg
+          bfd_boolean *));
+static bfd_boolean stab_demangle_arg
   PARAMS ((struct stab_demangle_info *, const char **, debug_type **,
           unsigned int *, unsigned int *));
-static boolean stab_demangle_type
+static bfd_boolean stab_demangle_type
   PARAMS ((struct stab_demangle_info *, const char **, debug_type *));
-static boolean stab_demangle_fund_type
+static bfd_boolean stab_demangle_fund_type
   PARAMS ((struct stab_demangle_info *, const char **, debug_type *));
-static boolean stab_demangle_remember_type
+static bfd_boolean stab_demangle_remember_type
   PARAMS ((struct stab_demangle_info *, const char *, int));
 
 /* Warn about a bad demangling.  */
@@ -3540,7 +3759,7 @@ static void
 stab_bad_demangle (s)
      const char *s;
 {
-  fprintf (stderr, "bad mangled name `%s'\n", s);
+  fprintf (stderr, _("bad mangled name `%s'\n"), s);
 }
 
 /* Get a count from a stab string.  */
@@ -3552,7 +3771,7 @@ stab_demangle_count (pp)
   unsigned int count;
 
   count = 0;
-  while (isdigit ((unsigned char) **pp))
+  while (ISDIGIT (**pp))
     {
       count *= 10;
       count += **pp - '0';
@@ -3564,17 +3783,17 @@ stab_demangle_count (pp)
 /* Require a count in a string.  The count may be multiple digits, in
    which case it must end in an underscore.  */
 
-static boolean
+static bfd_boolean
 stab_demangle_get_count (pp, pi)
      const char **pp;
      unsigned int *pi;
 {
-  if (! isdigit ((unsigned char) **pp))
-    return false;
+  if (! ISDIGIT (**pp))
+    return FALSE;
 
   *pi = **pp - '0';
   ++*pp;
-  if (isdigit ((unsigned char) **pp))
+  if (ISDIGIT (**pp))
     {
       unsigned int count;
       const char *p;
@@ -3587,7 +3806,7 @@ stab_demangle_get_count (pp, pi)
          count += *p - '0';
          ++p;
        }
-      while (isdigit ((unsigned char) *p));
+      while (ISDIGIT (*p));
       if (*p == '_')
        {
          *pp = p + 1;
@@ -3595,25 +3814,26 @@ stab_demangle_get_count (pp, pi)
        }
     }
 
-  return true;
+  return TRUE;
 }
 
 /* This function demangles a physical name, returning a NULL
    terminated array of argument types.  */
 
 static debug_type *
-stab_demangle_argtypes (dhandle, info, physname, pvarargs)
+stab_demangle_argtypes (dhandle, info, physname, pvarargs, physname_len)
      PTR dhandle;
      struct stab_handle *info;
      const char *physname;
-     boolean *pvarargs;
+     bfd_boolean *pvarargs;
+     unsigned int physname_len;
 {
   struct stab_demangle_info minfo;
 
   minfo.dhandle = dhandle;
   minfo.info = info;
   minfo.args = NULL;
-  minfo.varargs = false;
+  minfo.varargs = FALSE;
   minfo.typestring_alloc = 10;
   minfo.typestrings = ((struct stab_demangle_typestring *)
                       xmalloc (minfo.typestring_alloc
@@ -3623,7 +3843,7 @@ stab_demangle_argtypes (dhandle, info, physname, pvarargs)
   /* cplus_demangle checks for special GNU mangled forms, but we can't
      see any of them in mangled method argument types.  */
 
-  if (! stab_demangle_prefix (&minfo, &physname))
+  if (! stab_demangle_prefix (&minfo, &physname, physname_len))
     goto error_return;
 
   if (*physname != '\0')
@@ -3636,7 +3856,7 @@ stab_demangle_argtypes (dhandle, info, physname, pvarargs)
   minfo.typestrings = NULL;
 
   if (minfo.args == NULL)
-    fprintf (stderr, "no argument types in mangled string\n");
+    fprintf (stderr, _("no argument types in mangled string\n"));
 
   *pvarargs = minfo.varargs;
   return minfo.args;
@@ -3649,10 +3869,11 @@ stab_demangle_argtypes (dhandle, info, physname, pvarargs)
 
 /* Demangle the prefix of the mangled name.  */
 
-static boolean
-stab_demangle_prefix (minfo, pp)
+static bfd_boolean
+stab_demangle_prefix (minfo, pp, physname_len)
      struct stab_demangle_info *minfo;
      const char **pp;
+     unsigned int physname_len;
 {
   const char *scan;
   unsigned int i;
@@ -3660,38 +3881,41 @@ stab_demangle_prefix (minfo, pp)
   /* cplus_demangle checks for global constructors and destructors,
      but we can't see them in mangled argument types.  */
 
-  /* Look for `__'.  */
-  scan = *pp;
-  do
+  if (physname_len)
+    scan = *pp + physname_len;
+  else
     {
-      scan = strchr (scan, '_');
-    }
-  while (scan != NULL && *++scan != '_');
+      /* Look for `__'.  */
+      scan = *pp;
+      do
+       scan = strchr (scan, '_');
+      while (scan != NULL && *++scan != '_');
 
-  if (scan == NULL)
-    {
-      stab_bad_demangle (*pp);
-      return false;
-    }
+      if (scan == NULL)
+       {
+         stab_bad_demangle (*pp);
+         return FALSE;
+       }
 
-  --scan;
+      --scan;
 
-  /* We found `__'; move ahead to the last contiguous `__' pair.  */
-  i = strspn (scan, "_");
-  if (i > 2)
-    scan += i - 2;
+      /* We found `__'; move ahead to the last contiguous `__' pair.  */
+      i = strspn (scan, "_");
+      if (i > 2)
+       scan += i - 2;
+    }
 
   if (scan == *pp
-      && (isdigit ((unsigned char) scan[2])
+      && (ISDIGIT (scan[2])
          || scan[2] == 'Q'
          || scan[2] == 't'))
     {
       /* This is a GNU style constructor name.  */
       *pp = scan + 2;
-      return true;
+      return TRUE;
     }
   else if (scan == *pp
-          && ! isdigit ((unsigned char) scan[2])
+          && ! ISDIGIT (scan[2])
           && scan[2] != 't')
     {
       /* Look for the `__' that separates the prefix from the
@@ -3702,7 +3926,7 @@ stab_demangle_prefix (minfo, pp)
       if (scan == NULL || scan[2] == '\0')
        {
          stab_bad_demangle (*pp);
-         return false;
+         return FALSE;
        }
 
       return stab_demangle_function_name (minfo, pp, scan);
@@ -3715,7 +3939,7 @@ stab_demangle_prefix (minfo, pp)
   else
     {
       stab_bad_demangle (*pp);
-      return false;
+      return FALSE;
     }
   /*NOTREACHED*/
 }
@@ -3724,7 +3948,7 @@ stab_demangle_prefix (minfo, pp)
    double underscore which separates the function name from the
    signature.  */
 
-static boolean
+static bfd_boolean
 stab_demangle_function_name (minfo, pp, scan)
      struct stab_demangle_info *minfo;
      const char **pp;
@@ -3749,7 +3973,7 @@ stab_demangle_function_name (minfo, pp, scan)
       /* This is a type conversion operator.  */
       tem = name + 5;
       if (! stab_demangle_type (minfo, &tem, (debug_type *) NULL))
-       return false;
+       return FALSE;
     }
   else if (name[0] == '_'
           && name[1] == '_'
@@ -3761,28 +3985,28 @@ stab_demangle_function_name (minfo, pp, scan)
       /* This is a type conversion operator.  */
       tem = name + 4;
       if (! stab_demangle_type (minfo, &tem, (debug_type *) NULL))
-       return false;
+       return FALSE;
     }
 
-  return true;
+  return TRUE;
 }
 
 /* Demangle the signature.  This is where the argument types are
    found.  */
 
-static boolean
+static bfd_boolean
 stab_demangle_signature (minfo, pp)
      struct stab_demangle_info *minfo;
      const char **pp;
 {
   const char *orig;
-  boolean expect_func, func_done;
+  bfd_boolean expect_func, func_done;
   const char *hold;
 
   orig = *pp;
 
-  expect_func = false;
-  func_done = false;
+  expect_func = FALSE;
+  func_done = FALSE;
   hold = NULL;
 
   while (**pp != '\0')
@@ -3793,8 +4017,8 @@ stab_demangle_signature (minfo, pp)
          hold = *pp;
          if (! stab_demangle_qualified (minfo, pp, (debug_type *) NULL)
              || ! stab_demangle_remember_type (minfo, hold, *pp - hold))
-           return false;
-         expect_func = true;
+           return FALSE;
+         expect_func = TRUE;
          hold = NULL;
          break;
 
@@ -3818,8 +4042,8 @@ stab_demangle_signature (minfo, pp)
            hold = *pp;
          if (! stab_demangle_class (minfo, pp, (const char **) NULL)
              || ! stab_demangle_remember_type (minfo, hold, *pp - hold))
-           return false;
-         expect_func = true;
+           return FALSE;
+         expect_func = TRUE;
          hold = NULL;
          break;
 
@@ -3827,21 +4051,21 @@ stab_demangle_signature (minfo, pp)
          /* Function.  I don't know if this actually happens with g++
              output.  */
          hold = NULL;
-         func_done = true;
+         func_done = TRUE;
          ++*pp;
          if (! stab_demangle_args (minfo, pp, &minfo->args, &minfo->varargs))
-           return false;
+           return FALSE;
          break;
 
        case 't':
          /* Template.  */
          if (hold == NULL)
            hold = *pp;
-         if (! stab_demangle_template (minfo, pp)
+         if (! stab_demangle_template (minfo, pp, (char **) NULL)
              || ! stab_demangle_remember_type (minfo, hold, *pp - hold))
-           return false;
+           return FALSE;
          hold = NULL;
-         expect_func = true;
+         expect_func = TRUE;
          break;
 
        case '_':
@@ -3851,22 +4075,22 @@ stab_demangle_signature (minfo, pp)
             has been mangled by some algorithm we don't know how to
             deal with.  So just reject the entire demangling.  */
          stab_bad_demangle (orig);
-         return false;
+         return FALSE;
 
        default:
          /* Assume we have stumbled onto the first outermost function
             argument token, and start processing args.  */
-         func_done = true;
+         func_done = TRUE;
          if (! stab_demangle_args (minfo, pp, &minfo->args, &minfo->varargs))
-           return false;
+           return FALSE;
          break;
        }
 
       if (expect_func)
        {
-         func_done = true;
+         func_done = TRUE;
          if (! stab_demangle_args (minfo, pp, &minfo->args, &minfo->varargs))
-           return false;
+           return FALSE;
        }
     }
 
@@ -3877,16 +4101,16 @@ stab_demangle_signature (minfo, pp)
         first case, and need to ensure that the '(void)' gets added
         to the current declp.  */
       if (! stab_demangle_args (minfo, pp, &minfo->args, &minfo->varargs))
-       return false;
+       return FALSE;
     }
 
-  return true;
+  return TRUE;
 }
 
 /* Demangle a qualified name, such as "Q25Outer5Inner" which is the
    mangled form of "Outer::Inner".  */
 
-static boolean
+static bfd_boolean
 stab_demangle_qualified (minfo, pp, ptype)
      struct stab_demangle_info *minfo;
      const char **pp;
@@ -3906,18 +4130,18 @@ stab_demangle_qualified (minfo, pp, ptype)
         preceded by an underscore (to distinguish it from the <= 9
         case) and followed by an underscore.  */
       p = *pp + 2;
-      if (! isdigit ((unsigned char) *p) || *p == '0')
+      if (! ISDIGIT (*p) || *p == '0')
        {
          stab_bad_demangle (orig);
-         return false;
+         return FALSE;
        }
       qualifiers = atoi (p);
-      while (isdigit ((unsigned char) *p))
+      while (ISDIGIT (*p))
        ++p;
       if (*p != '_')
        {
          stab_bad_demangle (orig);
-         return false;
+         return FALSE;
        }
       *pp = p + 1;
       break;
@@ -3934,7 +4158,7 @@ stab_demangle_qualified (minfo, pp, ptype)
     case '0':
     default:
       stab_bad_demangle (orig);
-      return false;
+      return FALSE;
     }
 
   context = DEBUG_TYPE_NULL;
@@ -3946,10 +4170,21 @@ stab_demangle_qualified (minfo, pp, ptype)
        ++*pp;
       if (**pp == 't')
        {
-         /* FIXME: I don't know how to handle the ptype != NULL case
-             here.  */
-         if (! stab_demangle_template (minfo, pp))
-           return false;
+         char *name;
+
+         if (! stab_demangle_template (minfo, pp,
+                                       ptype != NULL ? &name : NULL))
+           return FALSE;
+
+         if (ptype != NULL)
+           {
+             context = stab_find_tagged_type (minfo->dhandle, minfo->info,
+                                              name, strlen (name),
+                                              DEBUG_KIND_CLASS);
+             free (name);
+             if (context == DEBUG_TYPE_NULL)
+               return FALSE;
+           }
        }
       else
        {
@@ -3959,7 +4194,7 @@ stab_demangle_qualified (minfo, pp, ptype)
          if (strlen (*pp) < len)
            {
              stab_bad_demangle (orig);
-             return false;
+             return FALSE;
            }
 
          if (ptype != NULL)
@@ -3993,7 +4228,7 @@ stab_demangle_qualified (minfo, pp, ptype)
 
                      ft = debug_get_field_type (minfo->dhandle, *fields);
                      if (ft == NULL)
-                       return false;
+                       return FALSE;
                      dn = debug_get_type_name (minfo->dhandle, ft);
                      if (dn != NULL && strcmp (dn, name) == 0)
                        {
@@ -4007,7 +4242,7 @@ stab_demangle_qualified (minfo, pp, ptype)
 
              if (context == DEBUG_TYPE_NULL)
                {
-         /* We have to fall back on finding the type by name.
+                 /* We have to fall back on finding the type by name.
                      If there are more types to come, then this must
                      be a class.  Otherwise, it could be anything.  */
 
@@ -4030,7 +4265,7 @@ stab_demangle_qualified (minfo, pp, ptype)
                                                        ? DEBUG_KIND_ILLEGAL
                                                        : DEBUG_KIND_CLASS));
                      if (context == DEBUG_TYPE_NULL)
-                       return false;
+                       return FALSE;
                    }
                }
            }
@@ -4042,15 +4277,17 @@ stab_demangle_qualified (minfo, pp, ptype)
   if (ptype != NULL)
     *ptype = context;
 
-  return true;
+  return TRUE;
 }
 
-/* Demangle a template.  */
+/* Demangle a template.  If PNAME is not NULL, this sets *PNAME to a
+   string representation of the template.  */
 
-static boolean
-stab_demangle_template (minfo, pp)
+static bfd_boolean
+stab_demangle_template (minfo, pp, pname)
      struct stab_demangle_info *minfo;
      const char **pp;
+     char **pname;
 {
   const char *orig;
   unsigned int r, i;
@@ -4064,7 +4301,7 @@ stab_demangle_template (minfo, pp)
   if (r == 0 || strlen (*pp) < r)
     {
       stab_bad_demangle (orig);
-      return false;
+      return FALSE;
     }
   *pp += r;
 
@@ -4072,7 +4309,7 @@ stab_demangle_template (minfo, pp)
   if (stab_demangle_get_count (pp, &r) == 0)
     {
       stab_bad_demangle (orig);
-      return false;
+      return FALSE;
     }
 
   for (i = 0; i < r; i++)
@@ -4082,26 +4319,26 @@ stab_demangle_template (minfo, pp)
          /* This is a type parameter.  */
          ++*pp;
          if (! stab_demangle_type (minfo, pp, (debug_type *) NULL))
-           return false;
+           return FALSE;
        }
       else
        {
          const char *old_p;
-         boolean pointerp, realp, integralp, charp, boolp;
-         boolean done;
+         bfd_boolean pointerp, realp, integralp, charp, boolp;
+         bfd_boolean done;
 
          old_p = *pp;
-         pointerp = false;
-         realp = false;
-         integralp = false;
-         charp = false;
-         boolp = false;
-         done = false;
+         pointerp = FALSE;
+         realp = FALSE;
+         integralp = FALSE;
+         charp = FALSE;
+         boolp = FALSE;
+         done = FALSE;
 
          /* This is a value parameter.  */
 
          if (! stab_demangle_type (minfo, pp, (debug_type *) NULL))
-           return false;
+           return FALSE;
 
          while (*old_p != '\0' && ! done)
            {
@@ -4110,8 +4347,8 @@ stab_demangle_template (minfo, pp)
                case 'P':
                case 'p':
                case 'R':
-                 pointerp = true;
-                 done = true;
+                 pointerp = TRUE;
+                 done = TRUE;
                  break;
                case 'C':       /* Const.  */
                case 'S':       /* Signed.  */
@@ -4123,8 +4360,8 @@ stab_demangle_template (minfo, pp)
                  ++old_p;
                  break;
                case 'Q':       /* Qualified name.  */
-                 integralp = true;
-                 done = true;
+                 integralp = TRUE;
+                 done = TRUE;
                  break;
                case 'T':       /* Remembered type.  */
                  abort ();
@@ -4135,27 +4372,27 @@ stab_demangle_template (minfo, pp)
                case 'i':       /* Int.  */
                case 's':       /* Short.  */
                case 'w':       /* Wchar_t.  */
-                 integralp = true;
-                 done = true;
+                 integralp = TRUE;
+                 done = TRUE;
                  break;
                case 'b':       /* Bool.  */
-                 boolp = true;
-                 done = true;
+                 boolp = TRUE;
+                 done = TRUE;
                  break;
                case 'c':       /* Char.  */
-                 charp = true;
-                 done = true;
+                 charp = TRUE;
+                 done = TRUE;
                  break;
                case 'r':       /* Long double.  */
                case 'd':       /* Double.  */
                case 'f':       /* Float.  */
-                 realp = true;
-                 done = true;
+                 realp = TRUE;
+                 done = TRUE;
                  break;
                default:
-                 /* Assume it's a uder defined integral type.  */
-                 integralp = true;
-                 done = true;
+                 /* Assume it's a user defined integral type.  */
+                 integralp = TRUE;
+                 done = TRUE;
                  break;
                }
            }
@@ -4164,7 +4401,7 @@ stab_demangle_template (minfo, pp)
            {
              if (**pp == 'm')
                ++*pp;
-             while (isdigit ((unsigned char) **pp))
+             while (ISDIGIT (**pp))
                ++*pp;
            }
          else if (charp)
@@ -4177,7 +4414,7 @@ stab_demangle_template (minfo, pp)
              if (val == 0)
                {
                  stab_bad_demangle (orig);
-                 return false;
+                 return FALSE;
                }
            }
          else if (boolp)
@@ -4188,25 +4425,25 @@ stab_demangle_template (minfo, pp)
              if (val != 0 && val != 1)
                {
                  stab_bad_demangle (orig);
-                 return false;
+                 return FALSE;
                }
            }
          else if (realp)
            {
              if (**pp == 'm')
                ++*pp;
-             while (isdigit ((unsigned char) **pp))
+             while (ISDIGIT (**pp))
                ++*pp;
              if (**pp == '.')
                {
                  ++*pp;
-                 while (isdigit ((unsigned char) **pp))
+                 while (ISDIGIT (**pp))
                    ++*pp;
                }
              if (**pp == 'e')
                {
                  ++*pp;
-                 while (isdigit ((unsigned char) **pp))
+                 while (ISDIGIT (**pp))
                    ++*pp;
                }
            }
@@ -4217,21 +4454,61 @@ stab_demangle_template (minfo, pp)
              if (! stab_demangle_get_count (pp, &len))
                {
                  stab_bad_demangle (orig);
-                 return false;
+                 return FALSE;
                }
              *pp += len;
            }
        }
     }
 
-  return true;
+  /* We can translate this to a string fairly easily by invoking the
+     regular demangling routine.  */
+  if (pname != NULL)
+    {
+      char *s1, *s2, *s3, *s4 = NULL;
+      char *from, *to;
+
+      s1 = savestring (orig, *pp - orig);
+
+      s2 = concat ("NoSuchStrinG__", s1, (const char *) NULL);
+
+      free (s1);
+
+      s3 = cplus_demangle (s2, DMGL_ANSI);
+
+      free (s2);
+
+      if (s3 != NULL)
+       s4 = strstr (s3, "::NoSuchStrinG");
+      if (s3 == NULL || s4 == NULL)
+       {
+         stab_bad_demangle (orig);
+         if (s3 != NULL)
+           free (s3);
+         return FALSE;
+       }
+
+      /* Eliminating all spaces, except those between > characters,
+         makes it more likely that the demangled name will match the
+         name which g++ used as the structure name.  */
+      for (from = to = s3; from != s4; ++from)
+       if (*from != ' '
+           || (from[1] == '>' && from > s3 && from[-1] == '>'))
+         *to++ = *from;
+
+      *pname = savestring (s3, to - s3);
+
+      free (s3);
+    }
+
+  return TRUE;
 }
 
 /* Demangle a class name.  */
 
-static boolean
+static bfd_boolean
 stab_demangle_class (minfo, pp, pstart)
-     struct stab_demangle_info *minfo;
+     struct stab_demangle_info *minfo ATTRIBUTE_UNUSED;
      const char **pp;
      const char **pstart;
 {
@@ -4244,7 +4521,7 @@ stab_demangle_class (minfo, pp, pstart)
   if (strlen (*pp) < n)
     {
       stab_bad_demangle (orig);
-      return false;
+      return FALSE;
     }
 
   if (pstart != NULL)
@@ -4252,18 +4529,18 @@ stab_demangle_class (minfo, pp, pstart)
 
   *pp += n;
 
-  return true;
+  return TRUE;
 }
 
 /* Demangle function arguments.  If the pargs argument is not NULL, it
    is set to a NULL terminated array holding the arguments.  */
 
-static boolean
+static bfd_boolean
 stab_demangle_args (minfo, pp, pargs, pvarargs)
      struct stab_demangle_info *minfo;
      const char **pp;
      debug_type **pargs;
-     boolean *pvarargs;
+     bfd_boolean *pvarargs;
 {
   const char *orig;
   unsigned int alloc, count;
@@ -4274,7 +4551,7 @@ stab_demangle_args (minfo, pp, pargs, pvarargs)
   if (pargs != NULL)
     {
       *pargs = (debug_type *) xmalloc (alloc * sizeof **pargs);
-      *pvarargs = false;
+      *pvarargs = FALSE;
     }
   count = 0;
 
@@ -4295,20 +4572,20 @@ stab_demangle_args (minfo, pp, pargs, pvarargs)
              if (! stab_demangle_get_count (pp, &r))
                {
                  stab_bad_demangle (orig);
-                 return false;
+                 return FALSE;
                }
            }
 
          if (! stab_demangle_get_count (pp, &t))
            {
              stab_bad_demangle (orig);
-             return false;
+             return FALSE;
            }
 
          if (t >= minfo->typestring_count)
            {
              stab_bad_demangle (orig);
-             return false;
+             return FALSE;
            }
          while (r-- > 0)
            {
@@ -4316,13 +4593,13 @@ stab_demangle_args (minfo, pp, pargs, pvarargs)
 
              tem = minfo->typestrings[t].typestring;
              if (! stab_demangle_arg (minfo, &tem, pargs, &count, &alloc))
-               return false;
+               return FALSE;
            }
        }
       else
        {
          if (! stab_demangle_arg (minfo, pp, pargs, &count, &alloc))
-           return false;
+           return FALSE;
        }
     }
 
@@ -4332,16 +4609,16 @@ stab_demangle_args (minfo, pp, pargs, pvarargs)
   if (**pp == 'e')
     {
       if (pargs != NULL)
-       *pvarargs = true;
+       *pvarargs = TRUE;
       ++*pp;
     }
 
-  return true;
+  return TRUE;
 }
 
 /* Demangle a single argument.  */
 
-static boolean
+static bfd_boolean
 stab_demangle_arg (minfo, pp, pargs, pcount, palloc)
      struct stab_demangle_info *minfo;
      const char **pp;
@@ -4356,12 +4633,12 @@ stab_demangle_arg (minfo, pp, pargs, pcount, palloc)
   if (! stab_demangle_type (minfo, pp,
                            pargs == NULL ? (debug_type *) NULL : &type)
       || ! stab_demangle_remember_type (minfo, start, *pp - start))
-    return false;
+    return FALSE;
 
   if (pargs != NULL)
     {
       if (type == DEBUG_TYPE_NULL)
-       return false;
+       return FALSE;
 
       if (*pcount + 1 >= *palloc)
        {
@@ -4373,13 +4650,13 @@ stab_demangle_arg (minfo, pp, pargs, pcount, palloc)
       ++*pcount;
     }
 
-  return true;
+  return TRUE;
 }
 
 /* Demangle a type.  If the ptype argument is not NULL, *ptype is set
    to the newly allocated type.  */
 
-static boolean
+static bfd_boolean
 stab_demangle_type (minfo, pp, ptype)
      struct stab_demangle_info *minfo;
      const char **pp;
@@ -4396,7 +4673,7 @@ stab_demangle_type (minfo, pp, ptype)
       /* A pointer type.  */
       ++*pp;
       if (! stab_demangle_type (minfo, pp, ptype))
-       return false;
+       return FALSE;
       if (ptype != NULL)
        *ptype = debug_make_pointer_type (minfo->dhandle, *ptype);
       break;
@@ -4405,7 +4682,7 @@ stab_demangle_type (minfo, pp, ptype)
       /* A reference type.  */
       ++*pp;
       if (! stab_demangle_type (minfo, pp, ptype))
-       return false;
+       return FALSE;
       if (ptype != NULL)
        *ptype = debug_make_reference_type (minfo->dhandle, *ptype);
       break;
@@ -4419,10 +4696,10 @@ stab_demangle_type (minfo, pp, ptype)
        high = 0;
        while (**pp != '\0' && **pp != '_')
          {
-           if (! isdigit ((unsigned char) **pp))
+           if (! ISDIGIT (**pp))
              {
                stab_bad_demangle (orig);
-               return false;
+               return FALSE;
              }
            high *= 10;
            high += **pp - '0';
@@ -4431,21 +4708,21 @@ stab_demangle_type (minfo, pp, ptype)
        if (**pp != '_')
          {
            stab_bad_demangle (orig);
-           return false;
+           return FALSE;
          }
        ++*pp;
 
        if (! stab_demangle_type (minfo, pp, ptype))
-         return false;
+         return FALSE;
        if (ptype != NULL)
          {
            debug_type int_type;
 
            int_type = debug_find_named_type (minfo->dhandle, "int");
            if (int_type == NULL)
-             int_type = debug_make_int_type (minfo->dhandle, 4, false);
+             int_type = debug_make_int_type (minfo->dhandle, 4, FALSE);
            *ptype = debug_make_array_type (minfo->dhandle, *ptype, int_type,
-                                           0, high, false);
+                                           0, high, FALSE);
          }
       }
       break;
@@ -4460,16 +4737,16 @@ stab_demangle_type (minfo, pp, ptype)
        if (! stab_demangle_get_count (pp, &i))
          {
            stab_bad_demangle (orig);
-           return false;
+           return FALSE;
          }
        if (i >= minfo->typestring_count)
          {
            stab_bad_demangle (orig);
-           return false;
+           return FALSE;
          }
        p = minfo->typestrings[i].typestring;
        if (! stab_demangle_type (minfo, &p, ptype))
-         return false;
+         return FALSE;
       }
       break;
 
@@ -4477,7 +4754,7 @@ stab_demangle_type (minfo, pp, ptype)
       /* A function.  */
       {
        debug_type *args;
-       boolean varargs;
+       bfd_boolean varargs;
 
        ++*pp;
        if (! stab_demangle_args (minfo, pp,
@@ -4485,20 +4762,20 @@ stab_demangle_type (minfo, pp, ptype)
                                   ? (debug_type **) NULL
                                   : &args),
                                  (ptype == NULL
-                                  ? (boolean *) NULL
+                                  ? (bfd_boolean *) NULL
                                   : &varargs)))
-         return false;
+         return FALSE;
        if (**pp != '_')
          {
            /* cplus_demangle will accept a function without a return
               type, but I don't know when that will happen, or what
               to do if it does.  */
            stab_bad_demangle (orig);
-           return false;
+           return FALSE;
          }
        ++*pp;
        if (! stab_demangle_type (minfo, pp, ptype))
-         return false;
+         return FALSE;
        if (ptype != NULL)
          *ptype = debug_make_function_type (minfo->dhandle, *ptype, args,
                                             varargs);
@@ -4509,49 +4786,71 @@ stab_demangle_type (minfo, pp, ptype)
     case 'M':
     case 'O':
       {
-       boolean memberp, constp, volatilep;
+       bfd_boolean memberp, constp, volatilep;
+       debug_type class_type = DEBUG_TYPE_NULL;
        debug_type *args;
-       boolean varargs;
+       bfd_boolean varargs;
        unsigned int n;
        const char *name;
 
        memberp = **pp == 'M';
-       constp = false;
-       volatilep = false;
+       constp = FALSE;
+       volatilep = FALSE;
        args = NULL;
-       varargs = false;
+       varargs = FALSE;
 
        ++*pp;
-       if (! isdigit ((unsigned char) **pp))
+       if (ISDIGIT (**pp))
          {
-           stab_bad_demangle (orig);
-           return false;
+           n = stab_demangle_count (pp);
+           if (strlen (*pp) < n)
+             {
+               stab_bad_demangle (orig);
+               return FALSE;
+             }
+           name = *pp;
+           *pp += n;
+
+           if (ptype != NULL)
+             {
+               class_type = stab_find_tagged_type (minfo->dhandle,
+                                                   minfo->info,
+                                                   name, (int) n,
+                                                   DEBUG_KIND_CLASS);
+               if (class_type == DEBUG_TYPE_NULL)
+                 return FALSE;
+             }
+         }
+       else if (**pp == 'Q')
+         {
+           if (! stab_demangle_qualified (minfo, pp,
+                                          (ptype == NULL
+                                           ? (debug_type *) NULL
+                                           : &class_type)))
+             return FALSE;
          }
-       n = stab_demangle_count (pp);
-       if (strlen (*pp) < n)
+       else
          {
            stab_bad_demangle (orig);
-           return false;
+           return FALSE;
          }
-       name = *pp;
-       *pp += n;
 
        if (memberp)
          {
            if (**pp == 'C')
              {
-               constp = true;
+               constp = TRUE;
                ++*pp;
              }
            else if (**pp == 'V')
              {
-               volatilep = true;
+               volatilep = TRUE;
                ++*pp;
              }
            if (**pp != 'F')
              {
                stab_bad_demangle (orig);
-               return false;
+               return FALSE;
              }
            ++*pp;
            if (! stab_demangle_args (minfo, pp,
@@ -4559,31 +4858,23 @@ stab_demangle_type (minfo, pp, ptype)
                                       ? (debug_type **) NULL
                                       : &args),
                                      (ptype == NULL
-                                      ? (boolean *) NULL
+                                      ? (bfd_boolean *) NULL
                                       : &varargs)))
-             return false;
+             return FALSE;
          }
 
        if (**pp != '_')
          {
            stab_bad_demangle (orig);
-           return false;
+           return FALSE;
          }
        ++*pp;
 
        if (! stab_demangle_type (minfo, pp, ptype))
-         return false;
+         return FALSE;
 
        if (ptype != NULL)
          {
-           debug_type class_type;
-
-           class_type = stab_find_tagged_type (minfo->dhandle, minfo->info,
-                                               name, (int) n,
-                                               DEBUG_KIND_CLASS);
-           if (class_type == DEBUG_TYPE_NULL)
-             return false;
-
            if (! memberp)
              *ptype = debug_make_offset_type (minfo->dhandle, class_type,
                                               *ptype);
@@ -4601,13 +4892,13 @@ stab_demangle_type (minfo, pp, ptype)
     case 'G':
       ++*pp;
       if (! stab_demangle_type (minfo, pp, ptype))
-       return false;
+       return FALSE;
       break;
 
     case 'C':
       ++*pp;
       if (! stab_demangle_type (minfo, pp, ptype))
-       return false;
+       return FALSE;
       if (ptype != NULL)
        *ptype = debug_make_const_type (minfo->dhandle, *ptype);
       break;
@@ -4618,66 +4909,66 @@ stab_demangle_type (minfo, pp, ptype)
 
        hold = *pp;
        if (! stab_demangle_qualified (minfo, pp, ptype))
-         return false;
+         return FALSE;
       }
       break;
 
     default:
       if (! stab_demangle_fund_type (minfo, pp, ptype))
-       return false;
+       return FALSE;
       break;
     }
 
-  return true;
+  return TRUE;
 }
 
 /* Demangle a fundamental type.  If the ptype argument is not NULL,
    *ptype is set to the newly allocated type.  */
 
-static boolean
+static bfd_boolean
 stab_demangle_fund_type (minfo, pp, ptype)
      struct stab_demangle_info *minfo;
      const char **pp;
      debug_type *ptype;
 {
   const char *orig;
-  boolean constp, volatilep, unsignedp, signedp;
-  boolean done;
+  bfd_boolean constp, volatilep, unsignedp, signedp;
+  bfd_boolean done;
 
   orig = *pp;
 
-  constp = false;
-  volatilep = false;
-  unsignedp = false;
-  signedp = false;
+  constp = FALSE;
+  volatilep = FALSE;
+  unsignedp = FALSE;
+  signedp = FALSE;
 
-  done = false;
+  done = FALSE;
   while (! done)
     {
       switch (**pp)
        {
        case 'C':
-         constp = true;
+         constp = TRUE;
          ++*pp;
          break;
 
        case 'U':
-         unsignedp = true;
+         unsignedp = TRUE;
          ++*pp;
          break;
 
        case 'S':
-         signedp = true;
+         signedp = TRUE;
          ++*pp;
          break;
 
        case 'V':
-         volatilep = true;
+         volatilep = TRUE;
          ++*pp;
          break;
 
        default:
-         done = true;
+         done = TRUE;
          break;
        }
     }
@@ -4782,7 +5073,7 @@ stab_demangle_fund_type (minfo, pp, ptype)
        {
          *ptype = debug_find_named_type (minfo->dhandle, "__wchar_t");
          if (*ptype == DEBUG_TYPE_NULL)
-           *ptype = debug_make_int_type (minfo->dhandle, 2, true);
+           *ptype = debug_make_int_type (minfo->dhandle, 2, TRUE);
        }
       ++*pp;
       break;
@@ -4819,10 +5110,10 @@ stab_demangle_fund_type (minfo, pp, ptype)
 
     case 'G':
       ++*pp;
-      if (! isdigit ((unsigned char) **pp))
+      if (! ISDIGIT (**pp))
        {
          stab_bad_demangle (orig);
-         return false;
+         return FALSE;
        }
       /* Fall through.  */
     case '0': case '1': case '2': case '3': case '4':
@@ -4831,13 +5122,14 @@ stab_demangle_fund_type (minfo, pp, ptype)
        const char *hold;
 
        if (! stab_demangle_class (minfo, pp, &hold))
-         return false;
+         return FALSE;
        if (ptype != NULL)
          {
            char *name;
 
            name = savestring (hold, *pp - hold);
            *ptype = debug_find_named_type (minfo->dhandle, name);
+           free (name);
            if (*ptype == DEBUG_TYPE_NULL)
              {
                /* FIXME: It is probably incorrect to assume that
@@ -4845,21 +5137,35 @@ stab_demangle_fund_type (minfo, pp, ptype)
                *ptype = stab_find_tagged_type (minfo->dhandle, minfo->info,
                                                hold, *pp - hold,
                                                DEBUG_KIND_ILLEGAL);
+               if (*ptype == DEBUG_TYPE_NULL)
+                 return FALSE;
              }
-           free (name);
          }
       }
       break;
 
     case 't':
-      if (! stab_demangle_template (minfo, pp))
-       return false;
-      abort ();
+      {
+       char *name;
+
+       if (! stab_demangle_template (minfo, pp,
+                                     ptype != NULL ? &name : NULL))
+         return FALSE;
+       if (ptype != NULL)
+         {
+           *ptype = stab_find_tagged_type (minfo->dhandle, minfo->info,
+                                           name, strlen (name),
+                                           DEBUG_KIND_CLASS);
+           free (name);
+           if (*ptype == DEBUG_TYPE_NULL)
+             return FALSE;
+         }
+      }
       break;
 
     default:
       stab_bad_demangle (orig);
-      return false;
+      return FALSE;
     }
 
   if (ptype != NULL)
@@ -4870,12 +5176,12 @@ stab_demangle_fund_type (minfo, pp, ptype)
        *ptype = debug_make_volatile_type (minfo->dhandle, *ptype);
     }
 
-  return true;
+  return TRUE;
 }
 
 /* Remember a type string in a demangled string.  */
 
-static boolean
+static bfd_boolean
 stab_demangle_remember_type (minfo, p, len)
      struct stab_demangle_info *minfo;
      const char *p;
@@ -4894,5 +5200,5 @@ stab_demangle_remember_type (minfo, p, len)
   minfo->typestrings[minfo->typestring_count].len = (unsigned int) len;
   ++minfo->typestring_count;
 
-  return true;
+  return TRUE;
 }