Subversion Repositories Kolibri OS

/* wrstabs.c -- Output stabs debugging information

   Copyright (C) 1996-2015 Free Software Foundation, Inc.

   Written by Ian Lance Taylor .

   This file is part of GNU Binutils.

   This program is free software; you can redistribute it and/or modify

   it under the terms of the GNU General Public License as published by

   the Free Software Foundation; either version 3 of the License, or

   (at your option) any later version.

   This program is distributed in the hope that it will be useful,

   but WITHOUT ANY WARRANTY; without even the implied warranty of

   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License

   along with this program; if not, write to the Free Software

   Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, MA

   02110-1301, USA.  */

/* This file contains code which writes out stabs debugging

   information.  */

#include "sysdep.h"

#include 

#include "bfd.h"

#include "libiberty.h"

#include "filenames.h"

#include "safe-ctype.h"

#include "bucomm.h"

#include "debug.h"

#include "budbg.h"

#include "aout/aout64.h"

#include "aout/stab_gnu.h"

/* The size of a stabs symbol.  This presumes 32 bit values.  */

#define STAB_SYMBOL_SIZE (12)

/* An entry in a string hash table.  */

struct string_hash_entry

{

  struct bfd_hash_entry root;

  /* Next string in this table.  */

  struct string_hash_entry *next;

  /* Index in string table.  */

  long index;

  /* Size of type if this is a typedef.  */

  unsigned int size;

};

/* A string hash table.  */

struct string_hash_table

{

  struct bfd_hash_table table;

};

/* The type stack.  Each element on the stack is a string.  */

struct stab_type_stack

{

  /* The next element on the stack.  */

  struct stab_type_stack *next;

  /* This element as a string.  */

  char *string;

  /* The type index of this element.  */

  long index;

  /* The size of the type.  */

  unsigned int size;

  /* Whether type string defines a new type.  */

  bfd_boolean definition;

  /* String defining struct fields.  */

  char *fields;

  /* NULL terminated array of strings defining base classes for a

     class.  */

  char **baseclasses;

  /* String defining class methods.  */

  char *methods;

  /* String defining vtable pointer for a class.  */

  char *vtable;

};

/* This structure is used to keep track of type indices for tagged

   types.  */

struct stab_tag

{

  /* The type index.  */

  long index;

  /* The tag name.  */

  const char *tag;

  /* The kind of type.  This is set to DEBUG_KIND_ILLEGAL when the

     type is defined.  */

  enum debug_type_kind kind;

  /* The size of the struct.  */

  unsigned int size;

};

/* We remember various sorts of type indices.  They are not related,

   but, for convenience, we keep all the information in this

   structure.  */

struct stab_type_cache

{

  /* The void type index.  */

  long void_type;

  /* Signed integer type indices, indexed by size - 1.  */

  long signed_integer_types[8];

  /* Unsigned integer type indices, indexed by size - 1.  */

  long unsigned_integer_types[8];

  /* Floating point types, indexed by size - 1.  */

  long float_types[16];

  /* Pointers to types, indexed by the type index.  */

  long *pointer_types;

  size_t pointer_types_alloc;

  /* Functions returning types, indexed by the type index.  */

  long *function_types;

  size_t function_types_alloc;

  /* References to types, indexed by the type index.  */

  long *reference_types;

  size_t reference_types_alloc;

  /* Struct/union/class type indices, indexed by the struct id.  */

  struct stab_tag *struct_types;

  size_t struct_types_alloc;

};

/* This is the handle passed through debug_write.  */

struct stab_write_handle

{

  /* The BFD.  */

  bfd *abfd;

  /* This buffer holds the symbols.  */

  bfd_byte *symbols;

  size_t symbols_size;

  size_t symbols_alloc;

  /* This is a list of hash table entries for the strings.  */

  struct string_hash_entry *strings;

  /* The last string hash table entry.  */

  struct string_hash_entry *last_string;

  /* The size of the strings.  */

  size_t strings_size;

  /* This hash table eliminates duplicate strings.  */

  struct string_hash_table strhash;

  /* The type stack.  */

  struct stab_type_stack *type_stack;

  /* The next type index.  */

  long type_index;

  /* The type cache.  */

  struct stab_type_cache type_cache;

  /* A mapping from typedef names to type indices.  */

  struct string_hash_table typedef_hash;

  /* If this is not -1, it is the offset to the most recent N_SO

     symbol, and the value of that symbol needs to be set.  */

  long so_offset;

  /* If this is not -1, it is the offset to the most recent N_FUN

     symbol, and the value of that symbol needs to be set.  */

  long fun_offset;

  /* The last text section address seen.  */

  bfd_vma last_text_address;

  /* The block nesting depth.  */

  unsigned int nesting;

  /* The function address.  */

  bfd_vma fnaddr;

  /* A pending LBRAC symbol.  */

  bfd_vma pending_lbrac;

  /* The current line number file name.  */

  const char *lineno_filename;

};

static struct bfd_hash_entry *string_hash_newfunc

  (struct bfd_hash_entry *, struct bfd_hash_table *, const char *);

static bfd_boolean stab_write_symbol

  (struct stab_write_handle *, int, int, bfd_vma, const char *);

static bfd_boolean stab_push_string

  (struct stab_write_handle *, const char *, long, bfd_boolean, unsigned int);

static bfd_boolean stab_push_defined_type

  (struct stab_write_handle *, long, unsigned int);

static char *stab_pop_type (struct stab_write_handle *);

static bfd_boolean stab_modify_type

  (struct stab_write_handle *, int, unsigned int, long **, size_t *);

static long stab_get_struct_index

  (struct stab_write_handle *, const char *, unsigned int,

   enum debug_type_kind, unsigned int *);

static bfd_boolean stab_class_method_var

  (struct stab_write_handle *, const char *, enum debug_visibility,

   bfd_boolean, bfd_boolean, bfd_boolean, bfd_vma, bfd_boolean);

static bfd_boolean stab_start_compilation_unit (void *, const char *);

static bfd_boolean stab_start_source (void *, const char *);

static bfd_boolean stab_empty_type (void *);

static bfd_boolean stab_void_type (void *);

static bfd_boolean stab_int_type (void *, unsigned int, bfd_boolean);

static bfd_boolean stab_float_type (void *, unsigned int);

static bfd_boolean stab_complex_type (void *, unsigned int);

static bfd_boolean stab_bool_type (void *, unsigned int);

static bfd_boolean stab_enum_type

  (void *, const char *, const char **, bfd_signed_vma *);

static bfd_boolean stab_pointer_type (void *);

static bfd_boolean stab_function_type (void *, int, bfd_boolean);

static bfd_boolean stab_reference_type (void *);

static bfd_boolean stab_range_type (void *, bfd_signed_vma, bfd_signed_vma);

static bfd_boolean stab_array_type

  (void *, bfd_signed_vma, bfd_signed_vma, bfd_boolean);

static bfd_boolean stab_set_type (void *, bfd_boolean);

static bfd_boolean stab_offset_type (void *);

static bfd_boolean stab_method_type (void *, bfd_boolean, int, bfd_boolean);

static bfd_boolean stab_const_type (void *);

static bfd_boolean stab_volatile_type (void *);

static bfd_boolean stab_start_struct_type

  (void *, const char *, unsigned int, bfd_boolean, unsigned int);

static bfd_boolean stab_struct_field

  (void *, const char *, bfd_vma, bfd_vma, enum debug_visibility);

static bfd_boolean stab_end_struct_type (void *);

static bfd_boolean stab_start_class_type

  (void *, const char *, unsigned int, bfd_boolean, unsigned int,

   bfd_boolean, bfd_boolean);

static bfd_boolean stab_class_static_member

  (void *, const char *, const char *, enum debug_visibility);

static bfd_boolean stab_class_baseclass

  (void *, bfd_vma, bfd_boolean, enum debug_visibility);

static bfd_boolean stab_class_start_method (void *, const char *);

static bfd_boolean stab_class_method_variant

  (void *, const char *, enum debug_visibility, bfd_boolean, bfd_boolean,

   bfd_vma, bfd_boolean);

static bfd_boolean stab_class_static_method_variant

  (void *, const char *, enum debug_visibility, bfd_boolean, bfd_boolean);

static bfd_boolean stab_class_end_method (void *);

static bfd_boolean stab_end_class_type (void *);

static bfd_boolean stab_typedef_type (void *, const char *);

static bfd_boolean stab_tag_type

  (void *, const char *, unsigned int, enum debug_type_kind);

static bfd_boolean stab_typdef (void *, const char *);

static bfd_boolean stab_tag (void *, const char *);

static bfd_boolean stab_int_constant (void *, const char *, bfd_vma);

static bfd_boolean stab_float_constant (void *, const char *, double);

static bfd_boolean stab_typed_constant (void *, const char *, bfd_vma);

static bfd_boolean stab_variable

  (void *, const char *, enum debug_var_kind, bfd_vma);

static bfd_boolean stab_start_function (void *, const char *, bfd_boolean);

static bfd_boolean stab_function_parameter

  (void *, const char *, enum debug_parm_kind, bfd_vma);

static bfd_boolean stab_start_block (void *, bfd_vma);

static bfd_boolean stab_end_block (void *, bfd_vma);

static bfd_boolean stab_end_function (void *);

static bfd_boolean stab_lineno (void *, const char *, unsigned long, bfd_vma);

static const struct debug_write_fns stab_fns =

{

  stab_start_compilation_unit,

  stab_start_source,

  stab_empty_type,

  stab_void_type,

  stab_int_type,

  stab_float_type,

  stab_complex_type,

  stab_bool_type,

  stab_enum_type,

  stab_pointer_type,

  stab_function_type,

  stab_reference_type,

  stab_range_type,

  stab_array_type,

  stab_set_type,

  stab_offset_type,

  stab_method_type,

  stab_const_type,

  stab_volatile_type,

  stab_start_struct_type,

  stab_struct_field,

  stab_end_struct_type,

  stab_start_class_type,

  stab_class_static_member,

  stab_class_baseclass,

  stab_class_start_method,

  stab_class_method_variant,

  stab_class_static_method_variant,

  stab_class_end_method,

  stab_end_class_type,

  stab_typedef_type,

  stab_tag_type,

  stab_typdef,

  stab_tag,

  stab_int_constant,

  stab_float_constant,

  stab_typed_constant,

  stab_variable,

  stab_start_function,

  stab_function_parameter,

  stab_start_block,

  stab_end_block,

  stab_end_function,

  stab_lineno

};

/* Routine to create an entry in a string hash table.  */

static struct bfd_hash_entry *

string_hash_newfunc (struct bfd_hash_entry *entry,

		     struct bfd_hash_table *table, const char *string)

{

  struct string_hash_entry *ret = (struct string_hash_entry *) entry;

  /* Allocate the structure if it has not already been allocated by a

     subclass.  */

  if (ret == (struct string_hash_entry *) NULL)

    ret = ((struct string_hash_entry *)

	   bfd_hash_allocate (table, sizeof (struct string_hash_entry)));

  if (ret == (struct string_hash_entry *) NULL)

    return NULL;

  /* Call the allocation method of the superclass.  */

  ret = ((struct string_hash_entry *)

	 bfd_hash_newfunc ((struct bfd_hash_entry *) ret, table, string));

  if (ret)

    {

      /* Initialize the local fields.  */

      ret->next = NULL;

      ret->index = -1;

      ret->size = 0;

    }

  return (struct bfd_hash_entry *) ret;

}

/* Look up an entry in a string hash table.  */

#define string_hash_lookup(t, string, create, copy) \

  ((struct string_hash_entry *) \

   bfd_hash_lookup (&(t)->table, (string), (create), (copy)))

/* Add a symbol to the stabs debugging information we are building.  */

static bfd_boolean

stab_write_symbol (struct stab_write_handle *info, int type, int desc,

		   bfd_vma value, const char *string)

{

  bfd_size_type strx;

  bfd_byte sym[STAB_SYMBOL_SIZE];

  if (string == NULL)

    strx = 0;

  else

    {

      struct string_hash_entry *h;

      h = string_hash_lookup (&info->strhash, string, TRUE, TRUE);

      if (h == NULL)

	{

	  non_fatal (_("string_hash_lookup failed: %s"),

		     bfd_errmsg (bfd_get_error ()));

	  return FALSE;

	}

      if (h->index != -1)

	strx = h->index;

      else

	{

	  strx = info->strings_size;

	  h->index = strx;

	  if (info->last_string == NULL)

	    info->strings = h;

	  else

	    info->last_string->next = h;

	  info->last_string = h;

	  info->strings_size += strlen (string) + 1;

	}

    }

  /* This presumes 32 bit values.  */

  bfd_put_32 (info->abfd, strx, sym);

  bfd_put_8 (info->abfd, type, sym + 4);

  bfd_put_8 (info->abfd, 0, sym + 5);

  bfd_put_16 (info->abfd, desc, sym + 6);

  bfd_put_32 (info->abfd, value, sym + 8);

  if (info->symbols_size + STAB_SYMBOL_SIZE > info->symbols_alloc)

    {

      info->symbols_alloc *= 2;

      info->symbols = (bfd_byte *) xrealloc (info->symbols,

					     info->symbols_alloc);

    }

  memcpy (info->symbols + info->symbols_size, sym, STAB_SYMBOL_SIZE);

  info->symbols_size += STAB_SYMBOL_SIZE;

  return TRUE;

}

/* Push a string on to the type stack.  */

static bfd_boolean

stab_push_string (struct stab_write_handle *info, const char *string,

		  long tindex, bfd_boolean definition, unsigned int size)

{

  struct stab_type_stack *s;

  s = (struct stab_type_stack *) xmalloc (sizeof *s);

  s->string = xstrdup (string);

  s->index = tindex;

  s->definition = definition;

  s->size = size;

  s->fields = NULL;

  s->baseclasses = NULL;

  s->methods = NULL;

  s->vtable = NULL;

  s->next = info->type_stack;

  info->type_stack = s;

  return TRUE;

}

/* Push a type index which has already been defined.  */

static bfd_boolean

stab_push_defined_type (struct stab_write_handle *info, long tindex,

			unsigned int size)

{

  char buf[20];

  sprintf (buf, "%ld", tindex);

  return stab_push_string (info, buf, tindex, FALSE, size);

}

/* Pop a type off the type stack.  The caller is responsible for

   freeing the string.  */

static char *

stab_pop_type (struct stab_write_handle *info)

{

  struct stab_type_stack *s;

  char *ret;

  s = info->type_stack;

  assert (s != NULL);

  info->type_stack = s->next;

  ret = s->string;

  free (s);

  return ret;

}

/* The general routine to write out stabs in sections debugging

   information.  This accumulates the stabs symbols and the strings in

   two obstacks.  We can't easily write out the information as we go

   along, because we need to know the section sizes before we can

   write out the section contents.  ABFD is the BFD and DHANDLE is the

   handle for the debugging information.  This sets *PSYMS to point to

   the symbols, *PSYMSIZE the size of the symbols, *PSTRINGS to the

   strings, and *PSTRINGSIZE to the size of the strings.  */

bfd_boolean

write_stabs_in_sections_debugging_info (bfd *abfd, void *dhandle,

					bfd_byte **psyms,

					bfd_size_type *psymsize,

					bfd_byte **pstrings,

					bfd_size_type *pstringsize)

{

  struct stab_write_handle info;

  struct string_hash_entry *h;

  bfd_byte *p;

  info.abfd = abfd;

  info.symbols_size = 0;

  info.symbols_alloc = 500;

  info.symbols = (bfd_byte *) xmalloc (info.symbols_alloc);

  info.strings = NULL;

  info.last_string = NULL;

  /* Reserve 1 byte for a null byte.  */

  info.strings_size = 1;

  if (!bfd_hash_table_init (&info.strhash.table, string_hash_newfunc,

			    sizeof (struct string_hash_entry))

      || !bfd_hash_table_init (&info.typedef_hash.table, string_hash_newfunc,

			       sizeof (struct string_hash_entry)))

    {

      non_fatal ("bfd_hash_table_init_failed: %s",

		 bfd_errmsg (bfd_get_error ()));

      return FALSE;

    }

  info.type_stack = NULL;

  info.type_index = 1;

  memset (&info.type_cache, 0, sizeof info.type_cache);

  info.so_offset = -1;

  info.fun_offset = -1;

  info.last_text_address = 0;

  info.nesting = 0;

  info.fnaddr = 0;

  info.pending_lbrac = (bfd_vma) -1;

  /* The initial symbol holds the string size.  */

  if (! stab_write_symbol (&info, 0, 0, 0, (const char *) NULL))

    return FALSE;

  /* Output an initial N_SO symbol.  */

  info.so_offset = info.symbols_size;

  if (! stab_write_symbol (&info, N_SO, 0, 0, bfd_get_filename (abfd)))

    return FALSE;

  if (! debug_write (dhandle, &stab_fns, (void *) &info))

    return FALSE;

  assert (info.pending_lbrac == (bfd_vma) -1);

  /* Output a trailing N_SO.  */

  if (! stab_write_symbol (&info, N_SO, 0, info.last_text_address,

			   (const char *) NULL))

    return FALSE;

  /* Put the string size in the initial symbol.  */

  bfd_put_32 (abfd, info.strings_size, info.symbols + 8);

  *psyms = info.symbols;

  *psymsize = info.symbols_size;

  *pstringsize = info.strings_size;

  *pstrings = (bfd_byte *) xmalloc (info.strings_size);

  p = *pstrings;

  *p++ = '\0';

  for (h = info.strings; h != NULL; h = h->next)

    {

      strcpy ((char *) p, h->root.string);

      p += strlen ((char *) p) + 1;

    }

  return TRUE;

}

/* Start writing out information for a compilation unit.  */

static bfd_boolean

stab_start_compilation_unit (void *p, const char *filename)

{

  struct stab_write_handle *info = (struct stab_write_handle *) p;

  /* We would normally output an N_SO symbol here.  However, that

     would force us to reset all of our type information.  I think we

     will be better off just outputting an N_SOL symbol, and not

     worrying about splitting information between files.  */

  info->lineno_filename = filename;

  return stab_write_symbol (info, N_SOL, 0, 0, filename);

}

/* Start writing out information for a particular source file.  */

static bfd_boolean

stab_start_source (void *p, const char *filename)

{

  struct stab_write_handle *info = (struct stab_write_handle *) p;

  /* FIXME: The symbol's value is supposed to be the text section

     address.  However, we would have to fill it in later, and gdb

     doesn't care, so we don't bother with it.  */

  info->lineno_filename = filename;

  return stab_write_symbol (info, N_SOL, 0, 0, filename);

}

/* Push an empty type.  This shouldn't normally happen.  We just use a

   void type.  */

static bfd_boolean

stab_empty_type (void *p)

{

  struct stab_write_handle *info = (struct stab_write_handle *) p;

  /* We don't call stab_void_type if the type is not yet defined,

     because that might screw up the typedef.  */

  if (info->type_cache.void_type != 0)

    return stab_push_defined_type (info, info->type_cache.void_type, 0);

  else

    {

      long tindex;

      char buf[40];

      tindex = info->type_index;

      ++info->type_index;

      sprintf (buf, "%ld=%ld", tindex, tindex);

      return stab_push_string (info, buf, tindex, FALSE, 0);

    }

}

/* Push a void type.  */

static bfd_boolean

stab_void_type (void *p)

{

  struct stab_write_handle *info = (struct stab_write_handle *) p;

  if (info->type_cache.void_type != 0)

    return stab_push_defined_type (info, info->type_cache.void_type, 0);

  else

    {

      long tindex;

      char buf[40];

      tindex = info->type_index;

      ++info->type_index;

      info->type_cache.void_type = tindex;

      sprintf (buf, "%ld=%ld", tindex, tindex);

      return stab_push_string (info, buf, tindex, TRUE, 0);

    }

}

/* Push an integer type.  */

static bfd_boolean

stab_int_type (void *p, unsigned int size, bfd_boolean unsignedp)

{

  struct stab_write_handle *info = (struct stab_write_handle *) p;

  long *cache;

  if (size <= 0 || (size > sizeof (long) && size != 8))

    {

      non_fatal (_("stab_int_type: bad size %u"), size);

      return FALSE;

    }

  if (unsignedp)

    cache = info->type_cache.signed_integer_types;

  else

    cache = info->type_cache.unsigned_integer_types;

  if (cache[size - 1] != 0)

    return stab_push_defined_type (info, cache[size - 1], size);

  else

    {

      long tindex;

      char buf[100];

      tindex = info->type_index;

      ++info->type_index;

      cache[size - 1] = tindex;

      sprintf (buf, "%ld=r%ld;", tindex, tindex);

      if (unsignedp)

	{

	  strcat (buf, "0;");

	  if (size < sizeof (long))

	    sprintf (buf + strlen (buf), "%ld;", ((long) 1 << (size * 8)) - 1);

	  else if (size == sizeof (long))

	    strcat (buf, "-1;");

	  else if (size == 8)

	    strcat (buf, "01777777777777777777777;");

	  else

	    abort ();

	}

      else

	{

	  if (size <= sizeof (long))

	    sprintf (buf + strlen (buf), "%ld;%ld;",

		     (long) - ((unsigned long) 1 << (size * 8 - 1)),

		     (long) (((unsigned long) 1 << (size * 8 - 1)) - 1));

	  else if (size == 8)

	    strcat (buf, "01000000000000000000000;0777777777777777777777;");

	  else

	    abort ();

	}

      return stab_push_string (info, buf, tindex, TRUE, size);

    }

}

/* Push a floating point type.  */

static bfd_boolean

stab_float_type (void *p, unsigned int size)

{

  struct stab_write_handle *info = (struct stab_write_handle *) p;

  if (size > 0

      && size - 1 < (sizeof info->type_cache.float_types

		     / sizeof info->type_cache.float_types[0])

      && info->type_cache.float_types[size - 1] != 0)

    return stab_push_defined_type (info,

				   info->type_cache.float_types[size - 1],

				   size);

  else

    {

      long tindex;

      char *int_type;

      char buf[50];

      /* Floats are defined as a subrange of int.  */

      if (! stab_int_type (info, 4, FALSE))

	return FALSE;

      int_type = stab_pop_type (info);

      tindex = info->type_index;

      ++info->type_index;

      if (size > 0

	  && size - 1 < (sizeof info->type_cache.float_types

			 / sizeof info->type_cache.float_types[0]))

	info->type_cache.float_types[size - 1] = tindex;

      sprintf (buf, "%ld=r%s;%u;0;", tindex, int_type, size);

      free (int_type);

      return stab_push_string (info, buf, tindex, TRUE, size);

    }

}

/* Push a complex type.  */

static bfd_boolean

stab_complex_type (void *p, unsigned int size)

{

  struct stab_write_handle *info = (struct stab_write_handle *) p;

  char buf[50];

  long tindex;

  tindex = info->type_index;

  ++info->type_index;

  sprintf (buf, "%ld=r%ld;%u;0;", tindex, tindex, size);

  return stab_push_string (info, buf, tindex, TRUE, size * 2);

}

/* Push a bfd_boolean type.  We use an XCOFF predefined type, since gdb

   always recognizes them.  */

static bfd_boolean

stab_bool_type (void *p, unsigned int size)

{

  struct stab_write_handle *info = (struct stab_write_handle *) p;

  long tindex;

  switch (size)

    {

    case 1:

      tindex = -21;

      break;

    case 2:

      tindex = -22;

      break;

    default:

    case 4:

      tindex = -16;

      break;

    case 8:

      tindex = -33;

      break;

    }

  return stab_push_defined_type (info, tindex, size);

}

/* Push an enum type.  */

static bfd_boolean

stab_enum_type (void *p, const char *tag, const char **names,

		bfd_signed_vma *vals)

{

  struct stab_write_handle *info = (struct stab_write_handle *) p;

  size_t len;

  const char **pn;

  char *buf;

  long tindex = 0;

  bfd_signed_vma *pv;

  if (names == NULL)

    {

      assert (tag != NULL);

      buf = (char *) xmalloc (10 + strlen (tag));

      sprintf (buf, "xe%s:", tag);

      /* FIXME: The size is just a guess.  */

      if (! stab_push_string (info, buf, 0, FALSE, 4))

	return FALSE;

      free (buf);

      return TRUE;

    }

  len = 10;

  if (tag != NULL)

    len += strlen (tag);

  for (pn = names; *pn != NULL; pn++)

    len += strlen (*pn) + 20;

  buf = (char *) xmalloc (len);

  if (tag == NULL)

    strcpy (buf, "e");

  else

    {

      tindex = info->type_index;

      ++info->type_index;

      sprintf (buf, "%s:T%ld=e", tag, tindex);

    }

  for (pn = names, pv = vals; *pn != NULL; pn++, pv++)

    sprintf (buf + strlen (buf), "%s:%ld,", *pn, (long) *pv);

  strcat (buf, ";");

  if (tag == NULL)

    {

      /* FIXME: The size is just a guess.  */

      if (! stab_push_string (info, buf, 0, FALSE, 4))

	return FALSE;

    }

  else

    {

      /* FIXME: The size is just a guess.  */

      if (! stab_write_symbol (info, N_LSYM, 0, 0, buf)

	  || ! stab_push_defined_type (info, tindex, 4))

	return FALSE;

    }

  free (buf);

  return TRUE;

}

/* Push a modification of the top type on the stack.  Cache the

   results in CACHE and CACHE_ALLOC.  */

static bfd_boolean

stab_modify_type (struct stab_write_handle *info, int mod,

		  unsigned int size, long **cache, size_t *cache_alloc)

{

  long targindex;

  long tindex;

  char *s, *buf;

  assert (info->type_stack != NULL);

  targindex = info->type_stack->index;

  if (targindex <= 0

      || cache == NULL)

    {

      bfd_boolean definition;

      /* Either the target type has no index, or we aren't caching

         this modifier.  Either way we have no way of recording the

         new type, so we don't bother to define one.  */

      definition = info->type_stack->definition;

      s = stab_pop_type (info);

      buf = (char *) xmalloc (strlen (s) + 2);

      sprintf (buf, "%c%s", mod, s);

      free (s);

      if (! stab_push_string (info, buf, 0, definition, size))

	return FALSE;

      free (buf);

    }

  else

    {

      if ((size_t) targindex >= *cache_alloc)

	{

	  size_t alloc;

	  alloc = *cache_alloc;

	  if (alloc == 0)

	    alloc = 10;

	  while ((size_t) targindex >= alloc)

	    alloc *= 2;

	  *cache = (long *) xrealloc (*cache, alloc * sizeof (long));

	  memset (*cache + *cache_alloc, 0,

		  (alloc - *cache_alloc) * sizeof (long));

	  *cache_alloc = alloc;

	}

      tindex = (*cache)[targindex];

      if (tindex != 0 && ! info->type_stack->definition)

	{

	  /* We have already defined a modification of this type, and

             the entry on the type stack is not a definition, so we

             can safely discard it (we may have a definition on the

             stack, even if we already defined a modification, if it

             is a struct which we did not define at the time it was

             referenced).  */

	  free (stab_pop_type (info));

	  if (! stab_push_defined_type (info, tindex, size))

	    return FALSE;

	}

      else

	{

	  tindex = info->type_index;

	  ++info->type_index;

	  s = stab_pop_type (info);

	  buf = (char *) xmalloc (strlen (s) + 20);

	  sprintf (buf, "%ld=%c%s", tindex, mod, s);

	  free (s);

	  (*cache)[targindex] = tindex;

	  if (! stab_push_string (info, buf, tindex, TRUE, size))

	    return FALSE;

	  free (buf);

	}

    }

  return TRUE;

}

/* Push a pointer type.  */

static bfd_boolean

stab_pointer_type (void *p)

{

  struct stab_write_handle *info = (struct stab_write_handle *) p;

  /* FIXME: The size should depend upon the architecture.  */

  return stab_modify_type (info, '*', 4, &info->type_cache.pointer_types,

			   &info->type_cache.pointer_types_alloc);

}

/* Push a function type.  */

static bfd_boolean

stab_function_type (void *p, int argcount,

		    bfd_boolean varargs ATTRIBUTE_UNUSED)

{

  struct stab_write_handle *info = (struct stab_write_handle *) p;

  int i;

  /* We have no way to represent the argument types, so we just

     discard them.  However, if they define new types, we must output

     them.  We do this by producing empty typedefs.  */

  for (i = 0; i < argcount; i++)

    {

      if (! info->type_stack->definition)

	free (stab_pop_type (info));

      else

	{

	  char *s, *buf;

	  s = stab_pop_type (info);

	  buf = (char *) xmalloc (strlen (s) + 3);

	  sprintf (buf, ":t%s", s);

	  free (s);

	  if (! stab_write_symbol (info, N_LSYM, 0, 0, buf))

	    return FALSE;

	  free (buf);

	}

    }

  return stab_modify_type (info, 'f', 0, &info->type_cache.function_types,

			   &info->type_cache.function_types_alloc);

}

/* Push a reference type.  */

static bfd_boolean

stab_reference_type (void *p)

{

  struct stab_write_handle *info = (struct stab_write_handle *) p;

  /* FIXME: The size should depend upon the architecture.  */

  return stab_modify_type (info, '&', 4, &info->type_cache.reference_types,

			   &info->type_cache.reference_types_alloc);

}

/* Push a range type.  */

static bfd_boolean

stab_range_type (void *p, bfd_signed_vma low, bfd_signed_vma high)

{

  struct stab_write_handle *info = (struct stab_write_handle *) p;

  bfd_boolean definition;

  unsigned int size;

  char *s, *buf;

  definition = info->type_stack->definition;

  size = info->type_stack->size;

  s = stab_pop_type (info);

  buf = (char *) xmalloc (strlen (s) + 100);

  sprintf (buf, "r%s;%ld;%ld;", s, (long) low, (long) high);

  free (s);

  if (! stab_push_string (info, buf, 0, definition, size))

    return FALSE;

  free (buf);

  return TRUE;

}

/* Push an array type.  */

static bfd_boolean

stab_array_type (void *p, bfd_signed_vma low, bfd_signed_vma high,

		 bfd_boolean stringp)

{

  struct stab_write_handle *info = (struct stab_write_handle *) p;

  bfd_boolean definition;

  unsigned int element_size;

  char *range, *element, *buf;

  long tindex;

  unsigned int size;

  definition = info->type_stack->definition;

  range = stab_pop_type (info);

  definition = definition || info->type_stack->definition;

  element_size = info->type_stack->size;

  element = stab_pop_type (info);

  buf = (char *) xmalloc (strlen (range) + strlen (element) + 100);

  if (! stringp)

    {

      tindex = 0;

      *buf = '\0';

    }

  else

    {

      /* We need to define a type in order to include the string

         attribute.  */

      tindex = info->type_index;

      ++info->type_index;

      definition = TRUE;

      sprintf (buf, "%ld=@S;", tindex);

    }

  sprintf (buf + strlen (buf), "ar%s;%ld;%ld;%s",

	   range, (long) low, (long) high, element);

  free (range);

  free (element);

  if (high < low)

    size = 0;

  else

    size = element_size * ((high - low) + 1);

  if (! stab_push_string (info, buf, tindex, definition, size))

    return FALSE;

  free (buf);

  return TRUE;

}

/* Push a set type.  */

static bfd_boolean

stab_set_type (void *p, bfd_boolean bitstringp)

{

  struct stab_write_handle *info = (struct stab_write_handle *) p;

  bfd_boolean definition;

  char *s, *buf;

  long tindex;

  definition = info->type_stack->definition;

  s = stab_pop_type (info);

  buf = (char *) xmalloc (strlen (s) + 30);

  if (! bitstringp)

    {

      *buf = '\0';

      tindex = 0;

    }

  else

    {

      /* We need to define a type in order to include the string

         attribute.  */

      tindex = info->type_index;

      ++info->type_index;

      definition = TRUE;

      sprintf (buf, "%ld=@S;", tindex);

    }

  sprintf (buf + strlen (buf), "S%s", s);

  free (s);

  if (! stab_push_string (info, buf, tindex, definition, 0))

    return FALSE;

  free (buf);

  return TRUE;

}

/* Push an offset type.  */

static bfd_boolean

stab_offset_type (void *p)

{

  struct stab_write_handle *info = (struct stab_write_handle *) p;

  bfd_boolean definition;

  char *target, *base, *buf;

  definition = info->type_stack->definition;

  target = stab_pop_type (info);

  definition = definition || info->type_stack->definition;

  base = stab_pop_type (info);

  buf = (char *) xmalloc (strlen (target) + strlen (base) + 3);

  sprintf (buf, "@%s,%s", base, target);

  free (base);

  free (target);

  if (! stab_push_string (info, buf, 0, definition, 0))

    return FALSE;