Merge from pch-branch up to tag pch-commit-20020603.

From-SVN: r54232

1 files changed, 1824 insertions, 0 deletions

diff --git a/gcc/gengtype.c b/gcc/gengtype.c
new file mode 100644
index 0000000..dda57e2
--- /dev/null
+++ b/gcc/gengtype.c
@@ -0,0 +1,1824 @@
+/* Process source files and output type information.
+   Copyright (C) 2002 Free Software Foundation, Inc.
+
+This file is part of GCC.
+
+GCC 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 2, or (at your option) any later
+version.
+
+GCC 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 GCC; see the file COPYING.  If not, write to the Free
+Software Foundation, 59 Temple Place - Suite 330, Boston, MA
+02111-1307, USA.  */
+
+#include "hconfig.h"
+#include "system.h"
+#include <ctype.h>
+#include "gengtype.h"
+
+static int hit_error = 0;
+void
+error_at_line VPARAMS ((struct fileloc *pos, const char *msg, ...))
+{
+  VA_OPEN (ap, msg);
+  VA_FIXEDARG (ap, struct fileloc *, pos);
+  VA_FIXEDARG (ap, const char *, msg);
+
+  fprintf (stderr, "%s:%d: ", pos->file, pos->line);
+  vfprintf (stderr, msg, ap);
+  fputc ('\n', stderr);
+  hit_error = 1;
+
+  VA_CLOSE (ap);
+}
+
+struct type string_type = {
+  TYPE_STRING, NULL, NULL, GC_USED
+  UNION_INIT_ZERO
+}; 
+
+static pair_p typedefs;
+static type_p structures;
+static type_p param_structs;
+static pair_p variables;
+
+void
+do_typedef (s, t, pos)
+     const char *s;
+     type_p t;
+     struct fileloc *pos;
+{
+  pair_p p;
+
+  for (p = typedefs; p != NULL; p = p->next)
+    if (strcmp (p->name, s) == 0)
+      {
+	if (p->type != t)
+	  {
+	    error_at_line (pos, "type `%s' previously defined", s);
+	    error_at_line (&p->line, "previously defined here");
+	  }
+	return;
+      }
+
+  p = xmalloc (sizeof (struct pair));
+  p->next = typedefs;
+  p->name = s;
+  p->type = t;
+  p->line = *pos;
+  typedefs = p;
+}
+
+type_p
+resolve_typedef (s, pos)
+     const char *s;
+     struct fileloc *pos;
+{
+  pair_p p;
+  for (p = typedefs; p != NULL; p = p->next)
+    if (strcmp (p->name, s) == 0)
+      return p->type;
+  error_at_line (pos, "unidentified type `%s'", s);
+  return create_scalar_type ("char", 4);
+}
+
+void
+new_structure (name, isunion, pos, fields, o)
+     const char *name;
+     int isunion;
+     struct fileloc *pos;
+     pair_p fields;
+     options_p o;
+{
+  type_p si;
+  type_p s = NULL;
+  lang_bitmap bitmap = get_base_file_bitmap (pos->file);
+
+  for (si = structures; si != NULL; si = si->next)
+    if (strcmp (name, si->u.s.tag) == 0 
+	&& UNION_P (si) == isunion)
+      {
+	type_p ls = NULL;
+	if (si->kind == TYPE_LANG_STRUCT)
+	  {
+	    ls = si;
+	    
+	    for (si = ls->u.s.lang_struct; si != NULL; si = si->next)
+	      if (si->u.s.bitmap == bitmap)
+		s = si;
+	  }
+	else if (si->u.s.line.file != NULL && si->u.s.bitmap != bitmap)
+	  {
+	    ls = si;
+	    si = xcalloc (1, sizeof (struct type));
+	    memcpy (si, ls, sizeof (struct type));
+	    ls->kind = TYPE_LANG_STRUCT;
+	    ls->u.s.lang_struct = si;
+	    ls->u.s.fields = NULL;
+	    si->next = NULL;
+	    si->pointer_to = NULL;
+	    si->u.s.lang_struct = ls;
+	  }
+	else
+	  s = si;
+
+	if (ls != NULL && s == NULL)
+	  {
+	    s = xcalloc (1, sizeof (struct type));
+	    s->next = ls->u.s.lang_struct;
+	    ls->u.s.lang_struct = s;
+	    s->u.s.lang_struct = ls;
+	  }
+	break;
+      }
+  
+  if (s == NULL)
+    {
+      s = xcalloc (1, sizeof (struct type));
+      s->next = structures;
+      structures = s;
+    }
+
+  if (s->u.s.line.file != NULL
+      || (s->u.s.lang_struct && (s->u.s.lang_struct->u.s.bitmap & bitmap)))
+    {
+      error_at_line (pos, "duplicate structure definition");
+      error_at_line (&s->u.s.line, "previous definition here");
+    }
+
+  s->kind = isunion ? TYPE_UNION : TYPE_STRUCT;
+  s->u.s.tag = name;
+  s->u.s.line = *pos;
+  s->u.s.fields = fields;
+  s->u.s.opt = o;
+  s->u.s.bitmap = bitmap;
+  if (s->u.s.lang_struct)
+    s->u.s.lang_struct->u.s.bitmap |= bitmap;
+}
+
+type_p
+find_structure (name, isunion)
+     const char *name;
+     int isunion;
+{
+  type_p s;
+
+  for (s = structures; s != NULL; s = s->next)
+    if (strcmp (name, s->u.s.tag) == 0 
+	&& UNION_P (s) == isunion)
+      return s;
+
+  s = xcalloc (1, sizeof (struct type));
+  s->next = structures;
+  structures = s;
+  s->kind = isunion ? TYPE_UNION : TYPE_STRUCT;
+  s->u.s.tag = name;
+  structures = s;
+  return s;
+}
+
+type_p
+create_scalar_type (name, name_len)
+     const char *name;
+     size_t name_len;
+{
+  type_p r = xcalloc (1, sizeof (struct type));
+  r->kind = TYPE_SCALAR;
+  r->u.sc = xmemdup (name, name_len, name_len + 1);
+  return r;
+}
+
+type_p
+create_pointer (t)
+     type_p t;
+{
+  if (! t->pointer_to)
+    {
+      type_p r = xcalloc (1, sizeof (struct type));
+      r->kind = TYPE_POINTER;
+      r->u.p = t;
+      t->pointer_to = r;
+    }
+  return t->pointer_to;
+}
+
+type_p
+create_array (t, len)
+     type_p t;
+     const char *len;
+{
+  type_p v;
+  
+  v = xcalloc (1, sizeof (*v));
+  v->kind = TYPE_ARRAY;
+  v->u.a.p = t;
+  v->u.a.len = len;
+  return v;
+}
+
+type_p
+adjust_field_type (t, opt)
+     type_p t;
+     options_p opt;
+{
+  int length_p = 0;
+  const int pointer_p = t->kind == TYPE_POINTER;
+  
+  for (; opt; opt = opt->next)
+    if (strcmp (opt->name, "length") == 0)
+      length_p = 1;
+    else if (strcmp (opt->name, "param_is") == 0)
+      {
+	type_p realt;
+
+	if (pointer_p)
+	  t = t->u.p;
+	
+	for (realt = param_structs; realt; realt = realt->next)
+	  if (realt->u.param_struct.stru == t
+	      && realt->u.param_struct.param == (type_p) opt->info)
+	    return pointer_p ? create_pointer (realt) : realt;
+	realt = xcalloc (1, sizeof (*realt));
+	realt->kind = TYPE_PARAM_STRUCT;
+	realt->next = param_structs;
+	param_structs = realt;
+	realt->u.param_struct.stru = t;
+	realt->u.param_struct.param = (type_p) opt->info;
+	return pointer_p ? create_pointer (realt) : realt;
+      }
+  
+  if (! length_p
+      && pointer_p
+      && t->u.p->kind == TYPE_SCALAR
+      && (strcmp (t->u.p->u.sc, "char") == 0
+	  || strcmp (t->u.p->u.sc, "unsigned char") == 0))
+    return &string_type;
+  if (t->kind == TYPE_ARRAY && t->u.a.p->kind == TYPE_POINTER
+      && t->u.a.p->u.p->kind == TYPE_SCALAR
+      && (strcmp (t->u.a.p->u.p->u.sc, "char") == 0
+	  || strcmp (t->u.a.p->u.p->u.sc, "unsigned char") == 0))
+    return create_array (&string_type, t->u.a.len);
+
+  return t;
+}
+
+void
+note_variable (s, t, o, pos)
+     const char *s;
+     type_p t;
+     options_p o;
+     struct fileloc *pos;
+{
+  pair_p n;
+  n = xmalloc (sizeof (*n));
+  n->name = s;
+  n->type = t;
+  n->line = *pos;
+  n->opt = o;
+  n->next = variables;
+  variables = n;
+}
+
+void
+note_yacc_type (o, fields, typeinfo, pos)
+     options_p o;
+     pair_p fields;
+     pair_p typeinfo;
+     struct fileloc *pos;
+{
+  pair_p p;
+  pair_p *p_p;
+  
+  for (p = typeinfo; p; p = p->next)
+    {
+      pair_p m;
+      
+      if (p->name == NULL)
+	continue;
+
+      if (p->type == (type_p) 1)
+	{
+	  pair_p pp;
+	  int ok = 0;
+	  
+	  for (pp = typeinfo; pp; pp = pp->next)
+	    if (pp->type != (type_p) 1
+		&& strcmp (pp->opt->info, p->opt->info) == 0)
+	      {
+		ok = 1;
+		break;
+	      }
+	  if (! ok)
+	    continue;
+	}
+
+      for (m = fields; m; m = m->next)
+	if (strcmp (m->name, p->name) == 0)
+	  p->type = m->type;
+      if (p->type == NULL)
+	{
+	  error_at_line (&p->line, 
+			 "couldn't match fieldname `%s'", p->name);
+	  p->name = NULL;
+	}
+    }
+  
+  p_p = &typeinfo;
+  while (*p_p)
+    {
+      pair_p p = *p_p;
+
+      if (p->name == NULL
+	  || p->type == (type_p) 1)
+	*p_p = p->next;
+      else
+	p_p = &p->next;
+    }
+
+  new_structure ("yy_union", 1, pos, typeinfo, o);
+  do_typedef ("YYSTYPE", find_structure ("yy_union", 1), pos);
+}
+
+static void process_gc_options PARAMS ((options_p, enum gc_used_enum, int *));
+static void set_gc_used_type PARAMS ((type_p, enum gc_used_enum));
+static void set_gc_used PARAMS ((pair_p));
+
+static void
+process_gc_options (opt, level, maybe_undef)
+     options_p opt;
+     enum gc_used_enum level;
+     int *maybe_undef;
+{
+  options_p o;
+  for (o = opt; o; o = o->next)
+    if (strcmp (o->name, "ptr_alias") == 0 && level == GC_POINTED_TO)
+      set_gc_used_type ((type_p) o->info, GC_POINTED_TO);
+    else if (strcmp (o->name, "maybe_undef") == 0)
+      *maybe_undef = 1;
+}
+
+static void
+set_gc_used_type (t, level)
+     type_p t;
+     enum gc_used_enum level;
+{
+  if (t->gc_used >= level)
+    return;
+
+  t->gc_used = level;
+
+  switch (t->kind)
+    {
+    case TYPE_STRUCT:
+    case TYPE_UNION:
+      {
+	pair_p f;
+	int dummy;
+
+	process_gc_options (t->u.s.opt, level, &dummy);
+
+	for (f = t->u.s.fields; f; f = f->next)
+	  {
+	    int maybe_undef = 0;
+	    process_gc_options (t->u.s.opt, level, &maybe_undef);
+	    
+	    if (maybe_undef && f->type->kind == TYPE_POINTER)
+	      set_gc_used_type (f->type->u.p, GC_MAYBE_POINTED_TO);
+	    else
+	      set_gc_used_type (f->type, GC_USED);
+	  }
+	break;
+      }
+
+    case TYPE_POINTER:
+      set_gc_used_type (t->u.p, GC_POINTED_TO);
+      break;
+
+    case TYPE_ARRAY:
+      set_gc_used_type (t->u.a.p, GC_USED);
+      break;
+      
+    case TYPE_LANG_STRUCT:
+      for (t = t->u.s.lang_struct; t; t = t->next)
+	set_gc_used_type (t, level);
+      break;
+
+    case TYPE_PARAM_STRUCT:
+      set_gc_used_type (t->u.param_struct.param, GC_POINTED_TO);
+      set_gc_used_type (t->u.param_struct.stru, GC_USED);
+      break;
+
+    default:
+      break;
+    }
+}
+
+static void
+set_gc_used (variables)
+     pair_p variables;
+{
+  pair_p p;
+  for (p = variables; p; p = p->next)
+    set_gc_used_type (p->type, GC_USED);
+}
+
+/* File mapping routines.  For each input file, there is one output .c file
+   (but some output files have many input files), and there is one .h file
+   for the whole build.  */
+
+typedef struct filemap *filemap_p;
+
+struct filemap {
+  filemap_p next;
+  const char *input_name;
+  const char *output_name;
+  FILE *output;
+};
+
+static filemap_p files;
+FILE * header_file;
+
+enum {
+  BASE_FILE_C,
+  BASE_FILE_OBJC,
+  BASE_FILE_CPLUSPLUS
+};
+static const char *lang_names[] = {
+  "c", "objc", "cp", "f", "ada", "java"
+};
+#define NUM_BASE_FILES (sizeof (lang_names) / sizeof (lang_names[0]))
+FILE *base_files[NUM_BASE_FILES];
+
+static FILE * create_file PARAMS ((const char *));
+static const char * get_file_basename PARAMS ((const char *));
+
+static FILE *
+create_file (name)
+     const char *name;
+{
+  static const char *const hdr[] = {
+    "   Copyright (C) 2002 Free Software Foundation, Inc.\n",
+    "\n",
+    "This file is part of GCC.\n",
+    "\n",
+    "GCC is free software; you can redistribute it and/or modify it under\n",
+    "the terms of the GNU General Public License as published by the Free\n",
+    "Software Foundation; either version 2, or (at your option) any later\n",
+    "version.\n",
+    "\n",
+    "GCC is distributed in the hope that it will be useful, but WITHOUT ANY\n",
+    "WARRANTY; without even the implied warranty of MERCHANTABILITY or\n",
+    "FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License\n",
+    "for more details.\n",
+    "\n",
+    "You should have received a copy of the GNU General Public License\n",
+    "along with GCC; see the file COPYING.  If not, write to the Free\n",
+    "Software Foundation, 59 Temple Place - Suite 330, Boston, MA\n",
+    "02111-1307, USA.  */\n",
+    "\n",
+    "/* This file is machine generated.  Do not edit.  */\n"
+  };
+  FILE *f;
+  size_t i;
+  
+  f = tmpfile();
+  if (f == NULL)
+    {
+      perror ("couldn't create temporary file");
+      exit (1);
+    }
+  fprintf (f, "/* Type information for %s.\n", name);
+  for (i = 0; i < sizeof(hdr)/sizeof(hdr[0]); i++)
+    fputs (hdr[i], f);
+  return f;
+}
+
+static void
+open_base_files (void)
+{
+  size_t i;
+  
+  header_file = create_file ("GCC");
+
+  for (i = 0; i < NUM_BASE_FILES; i++)
+    {
+      filemap_p newf;
+      char *s;
+      
+      base_files[i] = create_file (lang_names[i]);
+      newf = xmalloc (sizeof (*newf));
+      newf->next = files;
+      files = newf;
+      newf->input_name = NULL;
+      newf->output = base_files[i];
+      newf->output_name = s = xmalloc (16);
+      sprintf (s, "gtype-%s.h", lang_names[i]);
+    }
+}
+
+#define startswith(len, c, s)  \
+  ((size_t)(len) >= strlen (s) && memcmp (c, s, strlen (s)) == 0)
+
+static const char *
+get_file_basename (f)
+     const char *f;
+{
+  size_t len;
+  const char *basename;
+  
+  /* Determine the output file name.  */
+  len = strlen (f);
+  basename = strrchr (f, '/');
+  if (basename == NULL)
+    basename = f;
+  else
+    basename++;
+  if (startswith (basename - f, basename-2, "f/"))
+    basename -= 2;
+  else if (startswith (basename - f, basename-3, "cp/"))
+    basename -= 3;
+  else if (startswith (basename - f, basename-4, "ada/"))
+    basename -= 4;
+  else if (startswith (basename - f, basename-5, "java/"))
+    basename -= 5;
+  else if (startswith (basename - f, basename-5, "objc/"))
+    basename -= 5;
+
+  return basename;
+}
+
+unsigned
+get_base_file_bitmap (input_file)
+     const char *input_file;
+{
+  const char *basename = get_file_basename (input_file);
+  const char *slashpos = strchr (basename, '/');
+  size_t len = strlen (basename);
+  
+  if (slashpos != NULL)
+    {
+      size_t i;
+      for (i = 0; i < NUM_BASE_FILES; i++)
+	if ((size_t)(slashpos - basename) == strlen (lang_names [i])
+	    && memcmp (basename, lang_names[i], strlen (lang_names[i])) == 0)
+	  return 1 << i;
+    }
+  else if (strcmp (basename, "c-lang.c") == 0)
+    return 1 << BASE_FILE_C;
+  else if (strcmp (basename, "c-parse.in") == 0
+	   || strcmp (basename, "c-tree.h") == 0
+	   || strcmp (basename, "c-decl.c") == 0
+	   || strcmp (basename, "c-objc-common.c") == 0)
+    return 1 << BASE_FILE_C | 1 << BASE_FILE_OBJC;
+  else if (startswith (len, basename, "c-"))
+    return 1 << BASE_FILE_C | 1 << BASE_FILE_OBJC | 1 << BASE_FILE_CPLUSPLUS;
+  else
+    return (1 << NUM_BASE_FILES) - 1;
+  abort ();
+}
+
+FILE *
+get_output_file_with_visibility (input_file)
+     const char *input_file;
+{
+  filemap_p fm, fmo;
+  size_t len;
+  const char *basename;
+
+  /* Do we already know the file?  */
+  for (fm = files; fm; fm = fm->next)
+    if (input_file == fm->input_name)
+      return fm->output;
+
+  /* No, we'll be creating a new filemap.  */
+  fm = xmalloc (sizeof (*fm));
+  fm->next = files;
+  files = fm;
+  fm->input_name = input_file;
+  
+  /* Determine the output file name.  */
+  basename = get_file_basename (input_file);
+
+  len = strlen (basename);
+  if ((len > 2 && memcmp (basename+len-2, ".c", 2) == 0)
+      || (len > 2 && memcmp (basename+len-2, ".y", 2) == 0)
+      || (len > 3 && memcmp (basename+len-3, ".in", 3) == 0))
+    {
+      char *s;
+      
+      fm->output_name = s = xmalloc (sizeof ("gt-") + len);
+      sprintf (s, "gt-%s", basename);
+      for (; *s != '.'; s++)
+	if (! isalnum (*s) && *s != '-')
+	  *s = '-';
+      memcpy (s, ".h", sizeof (".h"));
+    }
+  else if (strcmp (basename, "c-common.h") == 0)
+    fm->output_name = "gt-c-common.h";
+  else if (strcmp (basename, "c-tree.h") == 0)
+    fm->output_name = "gt-c-decl.h";
+  else 
+    {
+      size_t i;
+      
+      fm->output_name = "gtype-desc.c";
+      for (i = 0; i < NUM_BASE_FILES; i++)
+	if (memcmp (basename, lang_names[i], strlen (lang_names[i])) == 0
+	    && basename[strlen(lang_names[i])] == '/')
+	  {
+	    char *s;
+	    
+	    s = xmalloc (16);
+	    sprintf (s, "gtype-%s.h", lang_names[i]);
+	    fm->output_name = s;
+	    break;
+	  }
+    }
+
+  /* Look through to see if we've ever seen this output filename before.  */
+  for (fmo = fm->next; fmo; fmo = fmo->next)
+    if (strcmp (fmo->output_name, fm->output_name) == 0)
+      {
+	fm->output = fmo->output;
+	break;
+      }
+
+  /* If not, create it.  */
+  if (fmo == NULL)
+    {
+      fm->output = create_file (fm->output_name);
+      if (strcmp (fm->output_name, "gtype-desc.c") == 0)
+	{
+	  fputs ("#include \"config.h\"\n", fm->output);
+	  fputs ("#include \"system.h\"\n", fm->output);
+	  fputs ("#include \"varray.h\"\n", fm->output);
+	  fputs ("#include \"hashtab.h\"\n", fm->output);
+	  fputs ("#include \"bitmap.h\"\n", fm->output);
+	  fputs ("#include \"tree.h\"\n", fm->output);
+	  fputs ("#include \"rtl.h\"\n", fm->output);
+	  fputs ("#include \"function.h\"\n", fm->output);
+	  fputs ("#include \"insn-config.h\"\n", fm->output);
+	  fputs ("#include \"expr.h\"\n", fm->output);
+	  fputs ("#include \"hard-reg-set.h\"\n", fm->output);
+	  fputs ("#include \"basic-block.h\"\n", fm->output);
+	  fputs ("#include \"cselib.h\"\n", fm->output);
+	  fputs ("#include \"insn-addr.h\"\n", fm->output);
+	  fputs ("#include \"ssa.h\"\n", fm->output);
+	  fputs ("#include \"optabs.h\"\n", fm->output);
+	  fputs ("#include \"libfuncs.h\"\n", fm->output);
+	  fputs ("#include \"debug.h\"\n", fm->output);
+	  fputs ("#include \"ggc.h\"\n", fm->output);
+	}
+    }
+
+  return fm->output;
+}
+
+const char *
+get_output_file_name (input_file)
+     const char *input_file;
+{
+  filemap_p fm;
+
+  for (fm = files; fm; fm = fm->next)
+    if (input_file == fm->input_name)
+      return fm->output_name;
+  (void) get_output_file_with_visibility (input_file);
+  return get_output_file_name (input_file);
+}
+
+static void
+close_output_files PARAMS ((void))
+{
+  filemap_p fm;
+  struct filemap header;
+  header.next = files;
+  header.output_name = "gtype-desc.h";
+  header.output = header_file;
+  
+  for (fm = &header; fm; fm = fm->next)
+    {
+      int no_write_p;
+      filemap_p ofm;
+      FILE *newfile;
+      
+      /* Handle each output file once.  */
+      if (fm->output == NULL)
+	continue;
+      
+      for (ofm = fm->next; ofm; ofm = ofm->next)
+	if (fm->output == ofm->output)
+	  ofm->output = NULL;
+      
+      /* Compare the output file with the file to be created, avoiding
+	 unnecessarily changing timestamps.  */
+      newfile = fopen (fm->output_name, "r");
+      if (newfile != NULL)
+	{
+	  int ch1, ch2;
+	  
+	  rewind (fm->output);
+	  do {
+	    ch1 = fgetc (fm->output);
+	    ch2 = fgetc (newfile);
+	  } while (ch1 != EOF && ch1 == ch2);
+
+	  fclose (newfile);
+	  
+	  no_write_p = ch1 == ch2;
+	}
+      else
+	no_write_p = 0;
+     
+      /* Nothing interesting to do.  Close the output file.  */
+      if (no_write_p)
+	{
+	  fclose (fm->output);
+	  continue;
+	}
+
+      newfile = fopen (fm->output_name, "w");
+      if (newfile == NULL)
+	{
+	  perror ("opening output file");
+	  exit (1);
+	}
+      {
+	int ch;
+	rewind (fm->output);
+	while ((ch = fgetc (fm->output)) != EOF)
+	  fputc (ch, newfile);
+      }
+      fclose (newfile);
+      fclose (fm->output);
+    }
+}
+
+struct flist {
+  struct flist *next;
+  int started_p;
+  const char *name;
+  FILE *f;
+};
+
+static void output_escaped_param PARAMS ((FILE *, const char *, const char *,
+					  const char *, const char *,
+					  struct fileloc *));
+static void write_gc_structure_fields 
+  PARAMS ((FILE *, type_p, const char *, const char *, options_p, 
+	   int, struct fileloc *, lang_bitmap, type_p));
+static void write_gc_marker_routine_for_structure PARAMS ((type_p, type_p));
+static void write_gc_types PARAMS ((type_p structures, type_p param_structs));
+static void put_mangled_filename PARAMS ((FILE *, const char *));
+static void finish_root_table PARAMS ((struct flist *flp, const char *pfx, 
+				       const char *tname, const char *lastname,
+				       const char *name));
+static void write_gc_root PARAMS ((FILE *, pair_p, type_p, const char *, int,
+				   struct fileloc *, const char *));
+static void write_gc_roots PARAMS ((pair_p));
+
+static int gc_counter;
+
+static void
+output_escaped_param (of, param, val, prev_val, oname, line)
+     FILE *of;
+     const char *param;
+     const char *val;
+     const char *prev_val;
+     const char *oname;
+     struct fileloc *line;
+{
+  const char *p;
+  
+  for (p = param; *p; p++)
+    if (*p != '%')
+      fputc (*p, of);
+    else if (*++p == 'h')
+      fprintf (of, "(%s)", val);
+    else if (*p == '0')
+      fputs ("(*x)", of);
+    else if (*p == '1')
+      fprintf (of, "(%s)", prev_val);
+    else
+      error_at_line (line, "`%s' option contains bad escape %c%c",
+		     oname, '%', *p);
+}
+
+static void
+write_gc_structure_fields (of, s, val, prev_val, opts, indent, line, bitmap,
+			   param)
+     FILE *of;
+     type_p s;
+     const char *val;
+     const char *prev_val;
+     options_p opts;
+     int indent;
+     struct fileloc *line;
+     lang_bitmap bitmap;
+     type_p param;
+{
+  pair_p f;
+  int tagcounter = -1;
+
+  if (! s->u.s.line.file)
+    error_at_line (line, "incomplete structure `%s'", s->u.s.tag);
+  else if ((s->u.s.bitmap & bitmap) != bitmap)
+    {
+      error_at_line (line, "structure defined for mismatching languages");
+      error_at_line (&s->u.s.line, "one structure defined here");
+    }
+  
+  if (s->kind == TYPE_UNION)
+    {
+      const char *tagexpr = NULL;
+      options_p oo;
+      
+      tagcounter = ++gc_counter;
+      for (oo = opts; oo; oo = oo->next)
+	if (strcmp (oo->name, "desc") == 0)
+	  tagexpr = (const char *)oo->info;
+      if (tagexpr == NULL)
+	{
+	  tagexpr = "1";
+	  error_at_line (line, "missing `desc' option");
+	}
+
+      fprintf (of, "%*s{\n", indent, "");
+      indent += 2;
+      fprintf (of, "%*sunsigned int tag%d = (", indent, "", tagcounter);
+      output_escaped_param (of, tagexpr, val, prev_val, "desc", line);
+      fputs (");\n", of);
+    }
+  
+  for (f = s->u.s.fields; f; f = f->next)
+    {
+      const char *tagid = NULL;
+      const char *length = NULL;
+      const char *special = NULL;
+      int skip_p = 0;
+      int always_p = 0;
+      int maybe_undef_p = 0;
+      int use_param_p = 0;
+      options_p oo;
+      type_p t = f->type;
+      
+      if (t->kind == TYPE_SCALAR
+	  || (t->kind == TYPE_ARRAY 
+	      && t->u.a.p->kind == TYPE_SCALAR))
+	continue;
+      
+      for (oo = f->opt; oo; oo = oo->next)
+	if (strcmp (oo->name, "length") == 0)
+	  length = (const char *)oo->info;
+	else if (strcmp (oo->name, "maybe_undef") == 0)
+	  maybe_undef_p = 1;
+	else if (strcmp (oo->name, "tag") == 0)
+	  tagid = (const char *)oo->info;
+	else if (strcmp (oo->name, "special") == 0)
+	  special = (const char *)oo->info;
+	else if (strcmp (oo->name, "skip") == 0)
+	  skip_p = 1;
+	else if (strcmp (oo->name, "always") == 0)
+	  always_p = 1;
+	else if (strcmp (oo->name, "desc") == 0 && UNION_P (t))
+	  ;
+ 	else if (strcmp (oo->name, "descbits") == 0 && UNION_P (t))
+	  ;
+ 	else if (strcmp (oo->name, "param_is") == 0)
+	  ;
+	else if (strcmp (oo->name, "use_param") == 0)
+	  use_param_p = 1;
+	else
+	  error_at_line (&f->line, "unknown field option `%s'\n", oo->name);
+
+      if (skip_p)
+	continue;
+      
+      if (use_param_p)
+	{
+	  if (param != NULL)
+	    {
+	      type_p t1;
+	      type_p nt = param;
+	      int arraycount = 0;
+	      
+	      for (t1 = t; t->kind == TYPE_ARRAY; t = t->u.a.p)
+		arraycount++;
+	      for (; t->kind == TYPE_POINTER; t = t->u.p)
+		nt = create_pointer (nt);
+	      while (arraycount-- > 0)
+		nt = create_array (nt, t->u.a.len);
+	      t = nt;
+	    }
+	  else if (s->kind == TYPE_UNION && ! always_p && tagid)
+	    ;
+	  else
+	    error_at_line (&f->line, "no parameter defined");
+	}
+
+      if (maybe_undef_p
+	  && (t->kind != TYPE_POINTER
+	      || t->u.p->kind != TYPE_STRUCT))
+	error_at_line (&f->line, 
+		       "field `%s' has invalid option `maybe_undef_p'\n",
+		       f->name);
+      if (s->kind == TYPE_UNION && ! always_p )
+	{
+	  if (! tagid)
+	    {
+	      error_at_line (&f->line, "field `%s' has no tag", f->name);
+	      continue;
+	    }
+	  fprintf (of, "%*sif (tag%d == (%s)) {\n", indent, "", 
+		   tagcounter, tagid);
+	  indent += 2;
+	}
+      
+      switch (t->kind)
+	{
+	case TYPE_STRING:
+	  /* Do nothing; strings go in the string pool.  */
+	  break;
+
+	case TYPE_LANG_STRUCT:
+	  {
+	    type_p ti;
+	    for (ti = t->u.s.lang_struct; ti; ti = ti->next)
+	      if (ti->u.s.bitmap & bitmap)
+		{
+		  t = ti;
+		  break;
+		}
+	    if (ti == NULL)
+	      {
+		error_at_line (&f->line, 
+			       "structure not defined for this language");
+		break;
+	      }
+	  }
+	  /* Fall through... */
+	case TYPE_STRUCT:
+	case TYPE_UNION:
+	  {
+	    char *newval;
+
+	    newval = xmalloc (strlen (val) + sizeof (".") + strlen (f->name));
+	    sprintf (newval, "%s.%s", val, f->name);
+	    write_gc_structure_fields (of, t, newval, val, f->opt, indent, 
+				       &f->line, bitmap, param);
+	    free (newval);
+	    break;
+	  }
+
+	case TYPE_POINTER:
+	  if (! length)
+	    {
+	      if (maybe_undef_p
+		  && t->u.p->u.s.line.file == NULL)
+		fprintf (of, "%*sif (%s.%s) abort();\n", indent, "",
+			 val, f->name);
+	      else if (UNION_OR_STRUCT_P (t->u.p))
+		fprintf (of, "%*sgt_ggc_m_%s (%s.%s);\n", indent, "", 
+			 t->u.p->u.s.tag, val, f->name);
+	      else if (t->u.p->kind == TYPE_PARAM_STRUCT)
+		fprintf (of, "%*sgt_ggc_mm_%d%s_%s (%s.%s);\n", indent, "",
+			 (int) strlen (t->u.p->u.param_struct.param->u.s.tag),
+			 t->u.p->u.param_struct.param->u.s.tag,
+			 t->u.p->u.param_struct.stru->u.s.tag,
+			 val, f->name);
+	      else
+		error_at_line (&f->line, "field `%s' is pointer to scalar",
+			       f->name);
+	      break;
+	    }
+	  else if (t->u.p->kind == TYPE_SCALAR
+		   || t->u.p->kind == TYPE_STRING)
+	    fprintf (of, "%*sggc_mark (%s.%s);\n", indent, "", 
+		     val, f->name);
+	  else
+	    {
+	      int loopcounter = ++gc_counter;
+	      
+	      fprintf (of, "%*sif (%s.%s != NULL) {\n", indent, "",
+		       val, f->name);
+	      indent += 2;
+	      fprintf (of, "%*ssize_t i%d;\n", indent, "", loopcounter);
+	      fprintf (of, "%*sggc_set_mark (%s.%s);\n", indent, "", 
+		       val, f->name);
+	      fprintf (of, "%*sfor (i%d = 0; i%d < (", indent, "", 
+		       loopcounter, loopcounter);
+	      output_escaped_param (of, length, val, prev_val, "length", line);
+	      fprintf (of, "); i%d++) {\n", loopcounter);
+	      indent += 2;
+	      switch (t->u.p->kind)
+		{
+		case TYPE_STRUCT:
+		case TYPE_UNION:
+		  {
+		    char *newval;
+		    
+		    newval = xmalloc (strlen (val) + 8 + strlen (f->name));
+		    sprintf (newval, "%s.%s[i%d]", val, f->name, loopcounter);
+		    write_gc_structure_fields (of, t->u.p, newval, val,
+					       f->opt, indent, &f->line,
+					       bitmap, param);
+		    free (newval);
+		    break;
+		  }
+		case TYPE_POINTER:
+		  if (UNION_OR_STRUCT_P (t->u.p->u.p))
+		    fprintf (of, "%*sgt_ggc_m_%s (%s.%s[i%d]);\n", indent, "", 
+			     t->u.p->u.p->u.s.tag, val, f->name,
+			     loopcounter);
+		  else
+		    error_at_line (&f->line, 
+				   "field `%s' is array of pointer to scalar",
+				   f->name);
+		  break;
+		default:
+		  error_at_line (&f->line, 
+				 "field `%s' is array of unimplemented type",
+				 f->name);
+		  break;
+		}
+	      indent -= 2;
+	      fprintf (of, "%*s}\n", indent, "");
+	      indent -= 2;
+	      fprintf (of, "%*s}\n", indent, "");
+	    }
+	  break;
+
+	case TYPE_ARRAY:
+	  {
+	    int loopcounter = ++gc_counter;
+	    type_p ta;
+	    int i;
+
+	    if (! length &&
+		(strcmp (t->u.a.len, "0") == 0
+		 || strcmp (t->u.a.len, "1") == 0))
+	      error_at_line (&f->line, 
+			     "field `%s' is array of size %s",
+			     f->name, t->u.a.len);
+	    
+	    /* Arrays of scalars can be ignored.  */
+	    for (ta = t; ta->kind == TYPE_ARRAY; ta = ta->u.a.p)
+	      ;
+	    if (ta->kind == TYPE_SCALAR
+		|| ta->kind == TYPE_STRING)
+	      break;
+
+	    fprintf (of, "%*s{\n", indent, "");
+	    indent += 2;
+
+	    if (special != NULL && strcmp (special, "tree_exp") == 0)
+	      {
+		fprintf (of, "%*sconst size_t tree_exp_size = (",
+                         indent, "");
+		output_escaped_param (of, length, val, prev_val,
+				      "length", line);
+		fputs (");\n", of);
+
+		length = "first_rtl_op (TREE_CODE ((tree)&%h))";
+	      }
+
+	    for (ta = t, i = 0; ta->kind == TYPE_ARRAY; ta = ta->u.a.p, i++)
+	      {
+		fprintf (of, "%*ssize_t i%d_%d;\n", 
+			 indent, "", loopcounter, i);
+		fprintf (of, "%*sconst size_t ilimit%d_%d = (",
+			 indent, "", loopcounter, i);
+		if (i == 0 && length != NULL)
+		  output_escaped_param (of, length, val, prev_val, 
+					"length", line);
+		else
+		  fputs (ta->u.a.len, of);
+		fputs (");\n", of);
+	      }
+		
+	    for (ta = t, i = 0; ta->kind == TYPE_ARRAY; ta = ta->u.a.p, i++)
+	      {
+		fprintf (of, 
+		 "%*sfor (i%d_%d = 0; i%d_%d < ilimit%d_%d; i%d_%d++) {\n",
+			 indent, "", loopcounter, i, loopcounter, i,
+			 loopcounter, i, loopcounter, i);
+		indent += 2;
+	      }
+
+	    if (ta->kind == TYPE_POINTER
+		&& (ta->u.p->kind == TYPE_STRUCT
+		    || ta->u.p->kind == TYPE_UNION))
+	      {
+		fprintf (of, "%*sgt_ggc_m_%s (%s.%s", 
+			 indent, "", ta->u.p->u.s.tag, val, f->name);
+		for (ta = t, i = 0; 
+		     ta->kind == TYPE_ARRAY; 
+		     ta = ta->u.a.p, i++)
+		  fprintf (of, "[i%d_%d]", loopcounter, i);
+		fputs (");\n", of);
+	      }
+	    else if (ta->kind == TYPE_STRUCT || ta->kind == TYPE_UNION)
+	      {
+		char *newval;
+		int len;
+		
+		len = strlen (val) + strlen (f->name) + 2;
+		for (ta = t; ta->kind == TYPE_ARRAY; ta = ta->u.a.p)
+		  len += sizeof ("[i_]") + 2*6;
+		
+		newval = xmalloc (len);
+		sprintf (newval, "%s.%s", val, f->name);
+		for (ta = t, i = 0; 
+		     ta->kind == TYPE_ARRAY; 
+		     ta = ta->u.a.p, i++)
+		  sprintf (newval + strlen (newval), "[i%d_%d]", 
+			   loopcounter, i);
+		write_gc_structure_fields (of, t->u.p, newval, val,
+					   f->opt, indent, &f->line, bitmap,
+					   param);
+		free (newval);
+	      }
+	    else if (ta->kind == TYPE_POINTER && ta->u.p->kind == TYPE_SCALAR
+		     && use_param_p && param == NULL)
+	      fprintf (of, "%*sabort();\n", indent, "");
+	    else
+	      error_at_line (&f->line, 
+			     "field `%s' is array of unimplemented type",
+			     f->name);
+	    for (ta = t, i = 0; ta->kind == TYPE_ARRAY; ta = ta->u.a.p, i++)
+	      {
+		indent -= 2;
+		fprintf (of, "%*s}\n", indent, "");
+	      }
+
+	    if (special != NULL && strcmp (special, "tree_exp") == 0)
+	      {
+		fprintf (of, 
+		 "%*sfor (; i%d_0 < tree_exp_size; i%d_0++)\n",
+			 indent, "", loopcounter, loopcounter);
+		fprintf (of, "%*s  gt_ggc_m_rtx_def (%s.%s[i%d_0]);\n",
+			 indent, "", val, f->name, loopcounter);
+		special = NULL;
+	      }
+
+	    indent -= 2;
+	    fprintf (of, "%*s}\n", indent, "");
+	    break;
+	  }
+
+	default:
+	  error_at_line (&f->line, 
+			 "field `%s' is unimplemented type",
+			 f->name);
+	  break;
+	}
+      
+      if (s->kind == TYPE_UNION && ! always_p )
+	{
+	  indent -= 2;
+	  fprintf (of, "%*s}\n", indent, "");
+	}
+      if (special)
+	error_at_line (&f->line, "unhandled special `%s'", special);
+    }
+  if (s->kind == TYPE_UNION)
+    {
+      indent -= 2;
+      fprintf (of, "%*s}\n", indent, "");
+    }
+}
+
+static void
+write_gc_marker_routine_for_structure (s, param)
+     type_p s;
+     type_p param;
+{
+  FILE *f;
+  if (param == NULL)
+    f = get_output_file_with_visibility (s->u.s.line.file);
+  else
+    f = get_output_file_with_visibility (param->u.s.line.file);
+  
+  fputc ('\n', f);
+  fputs ("void\n", f);
+  if (param == NULL)
+    fprintf (f, "gt_ggc_mx_%s (x_p)\n", s->u.s.tag);
+  else
+    fprintf (f, "gt_ggc_mm_%d%s_%s (x_p)\n", (int) strlen (param->u.s.tag),
+	     param->u.s.tag, s->u.s.tag);
+  fputs ("      void *x_p;\n", f);
+  fputs ("{\n", f);
+  fprintf (f, "  %s %s * const x = (%s %s *)x_p;\n",
+	   s->kind == TYPE_UNION ? "union" : "struct", s->u.s.tag,
+	   s->kind == TYPE_UNION ? "union" : "struct", s->u.s.tag);
+  fputs ("  if (! ggc_test_and_set_mark (x))\n", f);
+  fputs ("    return;\n", f);
+  
+  gc_counter = 0;
+  write_gc_structure_fields (f, s, "(*x)", "not valid postage",
+			     s->u.s.opt, 2, &s->u.s.line, s->u.s.bitmap,
+			     param);
+  
+  fputs ("}\n", f);
+}
+     
+
+static void
+write_gc_types (structures, param_structs)
+     type_p structures;
+     type_p param_structs;
+{
+  type_p s;
+  
+  fputs ("\n/* GC marker procedures.  */\n", header_file);
+  for (s = structures; s; s = s->next)
+    if (s->gc_used == GC_POINTED_TO
+	|| s->gc_used == GC_MAYBE_POINTED_TO)
+      {
+	options_p opt;
+	
+	if (s->gc_used == GC_MAYBE_POINTED_TO
+	    && s->u.s.line.file == NULL)
+	  continue;
+
+	fprintf (header_file,
+		 "#define gt_ggc_m_%s(X) do { \\\n", s->u.s.tag);
+	fprintf (header_file,
+		 "  if (X != NULL) gt_ggc_mx_%s (X);\\\n", s->u.s.tag);
+	fprintf (header_file,
+		 "  } while (0)\n");
+	
+	for (opt = s->u.s.opt; opt; opt = opt->next)
+	  if (strcmp (opt->name, "ptr_alias") == 0)
+	    {
+	      type_p t = (type_p) opt->info;
+	      if (t->kind == TYPE_STRUCT 
+		  || t->kind == TYPE_UNION
+		  || t->kind == TYPE_LANG_STRUCT)
+		fprintf (header_file,
+			 "#define gt_ggc_mx_%s gt_ggc_mx_%s\n",
+			 s->u.s.tag, t->u.s.tag);
+	      else
+		error_at_line (&s->u.s.line, 
+			       "structure alias is not a structure");
+	      break;
+	    }
+	if (opt)
+	  continue;
+
+	/* Declare the marker procedure only once.  */
+	fprintf (header_file, 
+		 "extern void gt_ggc_mx_%s PARAMS ((void *));\n",
+		 s->u.s.tag);
+  
+	if (s->u.s.line.file == NULL)
+	  {
+	    fprintf (stderr, "warning: structure `%s' used but not defined\n", 
+		     s->u.s.tag);
+	    continue;
+	  }
+  
+	if (s->kind == TYPE_LANG_STRUCT)
+	  {
+	    type_p ss;
+	    for (ss = s->u.s.lang_struct; ss; ss = ss->next)
+	      write_gc_marker_routine_for_structure (ss, NULL);
+	  }
+	else
+	  write_gc_marker_routine_for_structure (s, NULL);
+      }
+
+  for (s = param_structs; s; s = s->next)
+    if (s->gc_used == GC_POINTED_TO)
+      {
+	type_p param = s->u.param_struct.param;
+	type_p stru = s->u.param_struct.stru;
+
+	if (param->kind != TYPE_STRUCT && param->kind != TYPE_UNION
+	    && param->kind != TYPE_LANG_STRUCT)
+	  {
+	    error_at_line (&s->u.param_struct.line,
+			   "unsupported parameter type");
+	    continue;
+	  }
+	
+	/* Declare the marker procedure.  */
+	fprintf (header_file, 
+		 "extern void gt_ggc_mm_%d%s_%s PARAMS ((void *));\n",
+		 (int) strlen (param->u.s.tag), param->u.s.tag,
+		 stru->u.s.tag);
+  
+	if (stru->u.s.line.file == NULL)
+	  {
+	    fprintf (stderr, "warning: structure `%s' used but not defined\n", 
+		     s->u.s.tag);
+	    continue;
+	  }
+  
+	if (stru->kind == TYPE_LANG_STRUCT)
+	  {
+	    type_p ss;
+	    for (ss = stru->u.s.lang_struct; ss; ss = ss->next)
+	      write_gc_marker_routine_for_structure (ss, param);
+	  }
+	else
+	  write_gc_marker_routine_for_structure (stru, param);
+      }
+}
+
+static void
+put_mangled_filename (f, fn)
+     FILE *f;
+     const char *fn;
+{
+  const char *name = get_output_file_name (fn);
+  for (; *name != 0; name++)
+    if (isalnum (*name))
+      fputc (*name, f);
+    else
+      fputc ('_', f);
+}
+
+static void
+finish_root_table (flp, pfx, lastname, tname, name)
+     struct flist *flp;
+     const char *pfx;
+     const char *tname;
+     const char *lastname;
+     const char *name;
+{
+  struct flist *fli2;
+  unsigned started_bitmap = 0;
+  
+  for (fli2 = flp; fli2; fli2 = fli2->next)
+    if (fli2->started_p)
+      {
+	fprintf (fli2->f, "  %s\n", lastname);
+	fputs ("};\n\n", fli2->f);
+      }
+
+  for (fli2 = flp; fli2; fli2 = fli2->next)
+    if (fli2->started_p)
+      {
+	lang_bitmap bitmap = get_base_file_bitmap (fli2->name);
+	int fnum;
+
+	for (fnum = 0; bitmap != 0; fnum++, bitmap >>= 1)
+	  if (bitmap & 1)
+	    {
+	      fprintf (base_files[fnum],
+		       "extern const struct %s gt_ggc_%s_",
+		       tname, pfx);
+	      put_mangled_filename (base_files[fnum], fli2->name);
+	      fputs ("[];\n", base_files[fnum]);
+	    }
+      }
+
+  for (fli2 = flp; fli2; fli2 = fli2->next)
+    if (fli2->started_p)
+      {
+	lang_bitmap bitmap = get_base_file_bitmap (fli2->name);
+	int fnum;
+
+	fli2->started_p = 0;
+
+	for (fnum = 0; bitmap != 0; fnum++, bitmap >>= 1)
+	  if (bitmap & 1)
+	    {
+	      if (! (started_bitmap & (1 << fnum)))
+		{
+		  fprintf (base_files [fnum],
+			   "const struct %s * const %s[] = {\n",
+			   tname, name);
+		  started_bitmap |= 1 << fnum;
+		}
+	      fprintf (base_files[fnum], "  gt_ggc_%s_", pfx);
+	      put_mangled_filename (base_files[fnum], fli2->name);
+	      fputs (",\n", base_files[fnum]);
+	    }
+      }
+
+  {
+    unsigned bitmap;
+    int fnum;
+    
+    for (bitmap = started_bitmap, fnum = 0; bitmap != 0; fnum++, bitmap >>= 1)
+      if (bitmap & 1)
+	{
+	  fputs ("  NULL\n", base_files[fnum]);
+	  fputs ("};\n\n", base_files[fnum]);
+	}
+  }
+}
+
+static void
+write_gc_root (f, v, type, name, has_length, line, if_marked)
+     FILE *f;
+     pair_p v;
+     type_p type;
+     const char *name;
+     int has_length;
+     struct fileloc *line;
+     const char *if_marked;
+{
+  switch (type->kind)
+    {
+    case TYPE_STRUCT:
+      {
+	pair_p fld;
+	for (fld = type->u.s.fields; fld; fld = fld->next)
+	  {
+	    int skip_p = 0;
+	    const char *desc = NULL;
+	    options_p o;
+	    
+	    for (o = fld->opt; o; o = o->next)
+	      if (strcmp (o->name, "skip") == 0)
+		skip_p = 1;
+	      else if (strcmp (o->name, "desc") == 0)
+		desc = (const char *)o->info;
+	      else
+		error_at_line (line,
+		       "field `%s' of global `%s' has unknown option `%s'",
+			       fld->name, name, o->name);
+	    
+	    if (skip_p)
+	      continue;
+	    else if (desc && fld->type->kind == TYPE_UNION)
+	      {
+		pair_p validf = NULL;
+		pair_p ufld;
+		
+		for (ufld = fld->type->u.s.fields; ufld; ufld = ufld->next)
+		  {
+		    const char *tag = NULL;
+		    options_p oo;
+		    
+		    for (oo = ufld->opt; oo; oo = oo->next)
+		      if (strcmp (oo->name, "tag") == 0)
+			tag = (const char *)oo->info;
+		    if (tag == NULL || strcmp (tag, desc) != 0)
+		      continue;
+		    if (validf != NULL)
+		      error_at_line (line, 
+			   "both `%s.%s.%s' and `%s.%s.%s' have tag `%s'",
+				     name, fld->name, validf->name,
+				     name, fld->name, ufld->name,
+				     tag);
+		    validf = ufld;
+		  }
+		if (validf != NULL)
+		  {
+		    char *newname;
+		    newname = xmalloc (strlen (name) + 3 + strlen (fld->name)
+				       + strlen (validf->name));
+		    sprintf (newname, "%s.%s.%s", 
+			     name, fld->name, validf->name);
+		    write_gc_root (f, v, validf->type, newname, 0, line,
+				   if_marked);
+		    free (newname);
+		  }
+	      }
+	    else if (desc)
+	      error_at_line (line, 
+		     "global `%s.%s' has `desc' option but is not union",
+			     name, fld->name);
+	    else
+	      {
+		char *newname;
+		newname = xmalloc (strlen (name) + 2 + strlen (fld->name));
+		sprintf (newname, "%s.%s", name, fld->name);
+		write_gc_root (f, v, fld->type, newname, 0, line, if_marked);
+		free (newname);
+	      }
+	  }
+      }
+      break;
+
+    case TYPE_ARRAY:
+      {
+	char *newname;
+	newname = xmalloc (strlen (name) + 4);
+	sprintf (newname, "%s[0]", name);
+	write_gc_root (f, v, type->u.a.p, newname, has_length, line, if_marked);
+	free (newname);
+      }
+      break;
+      
+    case TYPE_POINTER:
+      {
+	type_p ap, tp;
+	
+	fputs ("  {\n", f);
+	fprintf (f, "    &%s,\n", name);
+	fputs ("    1", f);
+	
+	for (ap = v->type; ap->kind == TYPE_ARRAY; ap = ap->u.a.p)
+	  if (ap->u.a.len[0])
+	    fprintf (f, " * (%s)", ap->u.a.len);
+	  else if (ap == v->type)
+	    fprintf (f, " * (sizeof (%s) / sizeof (%s[0]))",
+		     v->name, v->name);
+	fputs (",\n", f);
+	fprintf (f, "    sizeof (%s", v->name);
+	for (ap = v->type; ap->kind == TYPE_ARRAY; ap = ap->u.a.p)
+	  fputs ("[0]", f);
+	fputs ("),\n", f);
+	
+	tp = type->u.p;
+	
+	if (! has_length && UNION_OR_STRUCT_P (tp))
+	  {
+	    fprintf (f, "    &gt_ggc_mx_%s\n", tp->u.s.tag);
+	  }
+	else if (! has_length && tp->kind == TYPE_PARAM_STRUCT)
+	  {
+	    fprintf (f, "    &gt_ggc_mm_%d%s_%s",
+		     (int) strlen (tp->u.param_struct.param->u.s.tag),
+		     tp->u.param_struct.param->u.s.tag,
+		     tp->u.param_struct.stru->u.s.tag);
+	  }
+	else if (has_length
+		 && tp->kind == TYPE_POINTER)
+	  {
+	    fprintf (f, "    &gt_ggc_ma_%s", name);
+	  }
+	else
+	  {
+	    error_at_line (line, 
+			   "global `%s' is pointer to unimplemented type",
+			   name);
+	  }
+	if (if_marked)
+	  fprintf (f, ",\n    &%s", if_marked);
+	fputs ("\n  },\n", f);
+      }
+      break;
+
+    case TYPE_SCALAR:
+    case TYPE_STRING:
+      break;
+      
+    default:
+      error_at_line (line, 
+		     "global `%s' is unimplemented type",
+		     name);
+    }
+}
+
+static void
+write_gc_roots (variables)
+     pair_p variables;
+{
+  pair_p v;
+  struct flist *flp = NULL;
+
+  for (v = variables; v; v = v->next)
+    {
+      FILE *f = get_output_file_with_visibility (v->line.file);
+      struct flist *fli;
+      const char *length = NULL;
+      int deletable_p = 0;
+      options_p o;
+
+      for (o = v->opt; o; o = o->next)
+	if (strcmp (o->name, "length") == 0)
+	  length = (const char *)o->info;
+	else if (strcmp (o->name, "deletable") == 0)
+	  deletable_p = 1;
+	else if (strcmp (o->name, "param_is") == 0)
+	  ;
+	else if (strcmp (o->name, "if_marked") == 0)
+	  ;
+	else
+	  error_at_line (&v->line, 
+			 "global `%s' has unknown option `%s'",
+			 v->name, o->name);
+
+      for (fli = flp; fli; fli = fli->next)
+	if (fli->f == f)
+	  break;
+      if (fli == NULL)
+	{
+	  fli = xmalloc (sizeof (*fli));
+	  fli->f = f;
+	  fli->next = flp;
+	  fli->started_p = 0;
+	  fli->name = v->line.file;
+	  flp = fli;
+
+	  fputs ("\n/* GC roots.  */\n\n", f);
+	}
+
+      if (! deletable_p
+	  && length
+	  && v->type->kind == TYPE_POINTER
+	  && (v->type->u.p->kind == TYPE_POINTER
+	      || v->type->u.p->kind == TYPE_STRUCT))
+	{
+	  fprintf (f, "static void gt_ggc_ma_%s PARAMS ((void *));\n",
+		   v->name);
+	  fprintf (f, "static void\ngt_ggc_ma_%s (x_p)\n      void *x_p;\n",
+		   v->name);
+	  fputs ("{\n", f);
+	  fputs ("  size_t i;\n", f);
+
+	  if (v->type->u.p->kind == TYPE_POINTER)
+	    {
+	      type_p s = v->type->u.p->u.p;
+
+	      fprintf (f, "  %s %s ** const x = (%s %s **)x_p;\n",
+		       s->kind == TYPE_UNION ? "union" : "struct", s->u.s.tag,
+		       s->kind == TYPE_UNION ? "union" : "struct", s->u.s.tag);
+	      fputs ("  if (ggc_test_and_set_mark (x))\n", f);
+	      fprintf (f, "    for (i = 0; i < (%s); i++)\n", length);
+	      if (s->kind != TYPE_STRUCT && s->kind != TYPE_UNION)
+		{
+		  error_at_line (&v->line, 
+				 "global `%s' has unsupported ** type",
+				 v->name);
+		  continue;
+		}
+
+	      fprintf (f, "      gt_ggc_m_%s (x[i]);\n", s->u.s.tag);
+	    }
+	  else
+	    {
+	      type_p s = v->type->u.p;
+
+	      fprintf (f, "  %s %s * const x = (%s %s *)x_p;\n",
+		       s->kind == TYPE_UNION ? "union" : "struct", s->u.s.tag,
+		       s->kind == TYPE_UNION ? "union" : "struct", s->u.s.tag);
+	      fputs ("  if (ggc_test_and_set_mark (x))\n", f);
+	      fprintf (f, "    for (i = 0; i < (%s); i++)\n", length);
+	      fputs ("      {\n", f);
+	      write_gc_structure_fields (f, s, "x[i]", "x[i]",
+					 v->opt, 8, &v->line, s->u.s.bitmap,
+					 NULL);
+	      fputs ("      }\n", f);
+	    }
+
+	  fputs ("}\n\n", f);
+	}
+    }
+
+  for (v = variables; v; v = v->next)
+    {
+      FILE *f = get_output_file_with_visibility (v->line.file);
+      struct flist *fli;
+      int skip_p = 0;
+      int length_p = 0;
+      options_p o;
+      
+      for (o = v->opt; o; o = o->next)
+	if (strcmp (o->name, "length") == 0)
+	  length_p = 1;
+	else if (strcmp (o->name, "deletable") == 0
+		 || strcmp (o->name, "if_marked") == 0)
+	  skip_p = 1;
+
+      if (skip_p)
+	continue;
+
+      for (fli = flp; fli; fli = fli->next)
+	if (fli->f == f)
+	  break;
+      if (! fli->started_p)
+	{
+	  fli->started_p = 1;
+
+	  fputs ("const struct ggc_root_tab gt_ggc_r_", f);
+	  put_mangled_filename (f, v->line.file);
+	  fputs ("[] = {\n", f);
+	}
+
+      write_gc_root (f, v, v->type, v->name, length_p, &v->line, NULL);
+    }
+
+  finish_root_table (flp, "r", "LAST_GGC_ROOT_TAB", "ggc_root_tab", 
+		     "gt_ggc_rtab");
+
+  for (v = variables; v; v = v->next)
+    {
+      FILE *f = get_output_file_with_visibility (v->line.file);
+      struct flist *fli;
+      int skip_p = 1;
+      options_p o;
+
+      for (o = v->opt; o; o = o->next)
+	if (strcmp (o->name, "deletable") == 0)
+	  skip_p = 0;
+	else if (strcmp (o->name, "if_marked") == 0)
+	  skip_p = 1;
+
+      if (skip_p)
+	continue;
+
+      for (fli = flp; fli; fli = fli->next)
+	if (fli->f == f)
+	  break;
+      if (! fli->started_p)
+	{
+	  fli->started_p = 1;
+
+	  fputs ("const struct ggc_root_tab gt_ggc_rd_", f);
+	  put_mangled_filename (f, v->line.file);
+	  fputs ("[] = {\n", f);
+	}
+      
+      fprintf (f, "  { &%s, 1, sizeof (%s), NULL },\n",
+	       v->name, v->name);
+    }
+  
+  finish_root_table (flp, "rd", "LAST_GGC_ROOT_TAB", "ggc_root_tab",
+		     "gt_ggc_deletable_rtab");
+
+  for (v = variables; v; v = v->next)
+    {
+      FILE *f = get_output_file_with_visibility (v->line.file);
+      struct flist *fli;
+      const char *if_marked = NULL;
+      int length_p = 0;
+      options_p o;
+      
+      for (o = v->opt; o; o = o->next)
+	if (strcmp (o->name, "length") == 0)
+	  length_p = 1;
+	else if (strcmp (o->name, "if_marked") == 0)
+	  if_marked = (const char *) o->info;
+
+      if (if_marked == NULL)
+	continue;
+
+      if (v->type->kind != TYPE_POINTER
+	  || v->type->u.p->kind != TYPE_PARAM_STRUCT
+	  || v->type->u.p->u.param_struct.stru != find_structure ("htab", 0))
+	{
+	  error_at_line (&v->line, "if_marked option used but not hash table");
+	  continue;
+	}
+
+      for (fli = flp; fli; fli = fli->next)
+	if (fli->f == f)
+	  break;
+      if (! fli->started_p)
+	{
+	  fli->started_p = 1;
+
+	  fputs ("const struct ggc_cache_tab gt_ggc_rc_", f);
+	  put_mangled_filename (f, v->line.file);
+	  fputs ("[] = {\n", f);
+	}
+      
+      write_gc_root (f, v, create_pointer (v->type->u.p->u.param_struct.param),
+		     v->name, length_p, &v->line, if_marked);
+    }
+  
+  finish_root_table (flp, "rc", "LAST_GGC_CACHE_TAB", "ggc_cache_tab",
+		     "gt_ggc_cache_rtab");
+}
+
+
+extern int main PARAMS ((int argc, char **argv));
+int 
+main(argc, argv)
+     int argc;
+     char **argv;
+{
+  int i;
+  static struct fileloc pos = { __FILE__, __LINE__ };
+
+  do_typedef ("CUMULATIVE_ARGS",
+	      create_scalar_type ("CUMULATIVE_ARGS", 
+				  strlen ("CUMULATIVE_ARGS")),
+	      &pos);
+  do_typedef ("REAL_VALUE_TYPE",
+	      create_scalar_type ("REAL_VALUE_TYPE", 
+				  strlen ("REAL_VALUE_TYPE")),
+	      &pos);
+  do_typedef ("PTR", create_pointer (create_scalar_type ("void",
+							 strlen ("void"))),
+	      &pos);
+
+  for (i = 1; i < argc; i++)
+    parse_file (argv[i]);
+
+  if (hit_error != 0)
+    exit (1);
+
+  set_gc_used (variables);
+
+  open_base_files ();
+  write_gc_types (structures, param_structs);
+  write_gc_roots (variables);
+  close_output_files ();
+
+  return (hit_error != 0);
+}