]> git.saurik.com Git - bison.git/blobdiff - src/reader.c
First set of tests: use the `calc' example from the documentation.
[bison.git] / src / reader.c
index 662353b307efc994ab8842d71a62ff4aaffd3630..0d5e71fbc436336ad6ee1a4ca841dfc8fd726720 100644 (file)
@@ -1,49 +1,67 @@
 /* Input parser for bison
-   Copyright (C) 1984, 1986, 1989, 1992 Free Software Foundation, Inc.
+   Copyright (C) 1984, 86, 89, 92, 98, 2000 Free Software Foundation, Inc.
 
-This file is part of Bison, the GNU Compiler Compiler.
+   This file is part of Bison, the GNU Compiler Compiler.
 
-Bison 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.
+   Bison 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.
 
-Bison 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.
+   Bison 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 Bison; see the file COPYING.  If not, write to
-the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
+   You should have received a copy of the GNU General Public License
+   along with Bison; see the file COPYING.  If not, write to
+   the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
+   Boston, MA 02111-1307, USA.  */
 
 
-/* read in the grammar specification and record it in the format described in gram.h.
-  All guards are copied into the fguard file and all actions into faction,
-  in each case forming the body of a C function (yyguard or yyaction)
-  which contains a switch statement to decide which guard or action to execute.
+/* Read in the grammar specification and record it in the format
+   described in gram.h.  All guards are copied into the fguard file
+   and all actions into faction, in each case forming the body of a C
+   function (yyguard or yyaction) which contains a switch statement to
+   decide which guard or action to execute.
 
-The entry point is reader().  */
+   The entry point is reader ().  */
 
 #include <stdio.h>
-#include <ctype.h>
 #include "system.h"
 #include "files.h"
-#include "new.h"
+#include "alloc.h"
 #include "symtab.h"
 #include "lex.h"
 #include "gram.h"
 #include "machine.h"
-
-#define        LTYPESTR        "\n#ifndef YYLTYPE\ntypedef\n  struct yyltype\n\
-    {\n      int timestamp;\n      int first_line;\n      int first_column;\
-\n      int last_line;\n      int last_column;\n      char *text;\n   }\n\
-  yyltype;\n\n#define YYLTYPE yyltype\n#endif\n\n"
+#include "complain.h"
+
+#define        LTYPESTR        "\
+\n\
+#ifndef YYLTYPE\n\
+typedef\n\
+  struct yyltype\n\
+\
+    {\n\
+      int timestamp;\n\
+      int first_line;\n\
+      int first_column;\
+\n\
+      int last_line;\n\
+      int last_column;\n\
+      char *text;\n\
+   }\n\
+\
+  yyltype;\n\
+\n\
+#define YYLTYPE yyltype\n\
+#endif\n\
+\n"
 
 /* Number of slots allocated (but not necessarily used yet) in `rline'  */
-int rline_allocated;
+static int rline_allocated;
 
-extern char *program_name;
 extern int definesflag;
 extern int nolinesflag;
 extern int noparserflag;
@@ -52,46 +70,21 @@ extern bucket *symval;
 extern int numval;
 extern int expected_conflicts;
 extern char *token_buffer;
-
-extern void init_lex();
-extern void tabinit();
-extern void output_headers();
-extern void output_trailers();
-extern void free_symtab();
-extern void open_extra_files();
-extern char *int_to_string();
-extern void fatal();
-extern void fatals();
-extern void warn();
-extern void warni();
-extern void warns();
-extern void warnss();
-extern void warnsss();
-extern void unlex();
-extern void done();
-
-extern int skip_white_space();
-extern int parse_percent_token();
-extern int lex();
-
-void reader_output_yylsp();
-void read_declarations();
-void copy_definition();
-void parse_token_decl();
-void parse_start_decl();
-void parse_type_decl();
-void parse_assoc_decl();
-void parse_union_decl();
-void parse_expect_decl();
-void parse_thong_decl();
-void copy_action();
-void readgram();
-void record_rule_line();
-void packsymbols();
-void output_token_defines();
-void packgram();
-int read_signed_integer();
-static int get_type();
+extern int maxtoken;
+
+extern void init_lex PARAMS((void));
+extern char *grow_token_buffer PARAMS((char *));
+extern void tabinit PARAMS((void));
+extern void output_headers PARAMS((void));
+extern void output_trailers PARAMS((void));
+extern void free_symtab PARAMS((void));
+extern void open_extra_files PARAMS((void));
+extern char *printable_version PARAMS((int));
+extern void unlex PARAMS((int));
+
+extern int skip_white_space PARAMS((void));
+extern int parse_percent_token PARAMS((void));
+extern int lex PARAMS((void));
 
 typedef
   struct symbol_list
@@ -103,13 +96,38 @@ typedef
   symbol_list;
 
 
+extern void reader PARAMS((void));
+extern void reader_output_yylsp PARAMS((FILE *));
+
+static void read_declarations PARAMS((void));
+static void copy_definition PARAMS((void));
+static void parse_token_decl PARAMS((int, int));
+static void parse_start_decl PARAMS((void));
+static void parse_type_decl PARAMS((void));
+static void parse_assoc_decl PARAMS((int));
+static void parse_union_decl PARAMS((void));
+static void parse_expect_decl PARAMS((void));
+static char *get_type_name PARAMS((int, symbol_list *));
+static void copy_guard PARAMS((symbol_list *, int));
+static void parse_thong_decl PARAMS((void));
+static void copy_action PARAMS((symbol_list *, int));
+static bucket *gensym PARAMS((void));
+static void readgram PARAMS((void));
+static void record_rule_line PARAMS((void));
+static void packsymbols PARAMS((void));
+static void output_token_defines PARAMS((FILE *));
+static void packgram PARAMS((void));
+
+#if 0
+static int get_type PARAMS((void));
+#endif
 
 int lineno;
-symbol_list *grammar;
-int start_flag;
-bucket *startval;
 char **tags;
 int *user_toknums;
+static symbol_list *grammar;
+static int start_flag;
+static bucket *startval;
 
 /* Nonzero if components of semantic values are used, implying
    they must be unions.  */
@@ -122,43 +140,188 @@ static int lastprec;  /* incremented for each %left, %right or %nonassoc seen */
 static int gensym_count;  /* incremented for each generated symbol */
 
 static bucket *errtoken;
+static bucket *undeftoken;
 
 /* Nonzero if any action or guard uses the @n construct.  */
 static int yylsp_needed;
 
-extern char *version_string;
-
+\f
+/*===================\
+| Low level lexing.  |
+\===================*/
 
 static void
-skip_to_char(target)
-     int target;
+skip_to_char (int target)
 {
   int c;
   if (target == '\n')
-    warn("   Skipping to next \\n");
+    complain (_("   Skipping to next \\n"));
   else
-    warni("   Skipping to next %c", target);
+    complain (_("   Skipping to next %c"), target);
 
   do
-    c = skip_white_space();
+    c = skip_white_space ();
   while (c != target && c != EOF);
-  if (c != EOF) 
-    ungetc(c, finput);
+  if (c != EOF)
+    ungetc (c, finput);
+}
+
+
+/*---------------------------------------------------------.
+| Read a signed integer from STREAM and return its value.  |
+`---------------------------------------------------------*/
+
+static inline int
+read_signed_integer (FILE *stream)
+{
+  register int c = getc (stream);
+  register int sign = 1;
+  register int n = 0;
+
+  if (c == '-')
+    {
+      c = getc (stream);
+      sign = -1;
+    }
+
+  while (isdigit (c))
+    {
+      n = 10 * n + (c - '0');
+      c = getc (stream);
+    }
+
+  ungetc (c, stream);
+
+  return sign * n;
+}
+\f
+/*-------------------------------------------------------------------.
+| Dump the string from FINPUT to FOUTPUT.  MATCH is the delimiter of |
+| the string (either ' or ").                                        |
+`-------------------------------------------------------------------*/
+
+static inline void
+copy_string (FILE *fin, FILE *fout, int match)
+{
+  int c;
+
+  putc (match, fout);
+  c = getc (fin);
+
+  while (c != match)
+    {
+      if (c == EOF)
+       fatal (_("unterminated string at end of file"));
+      if (c == '\n')
+       {
+         complain (_("unterminated string"));
+         ungetc (c, fin);
+         c = match;            /* invent terminator */
+         continue;
+       }
+
+      putc(c, fout);
+
+      if (c == '\\')
+       {
+         c = getc (fin);
+         if (c == EOF)
+           fatal (_("unterminated string at end of file"));
+         putc (c, fout);
+         if (c == '\n')
+           lineno++;
+       }
+
+      c = getc(fin);
+    }
+
+  putc(c, fout);
+}
+
+
+/* Dump the comment from IN to OUT1 and OUT2.  C is either `*' or `/',
+   depending upon the type of comments used.  OUT2 might be NULL.  */
+
+static inline void
+copy_comment2 (FILE *in, FILE *out1, FILE* out2, int c)
+{
+  int cplus_comment;
+  register int ended;
+
+  cplus_comment = (c == '/');
+  putc (c, out1);
+  if (out2)
+    putc (c, out2);
+  c = getc (in);
+
+  ended = 0;
+  while (!ended)
+    {
+      if (!cplus_comment && c == '*')
+       {
+         while (c == '*')
+           {
+             putc (c, out1);
+             if (out2)
+               putc (c, out2);
+             c = getc (in);
+           }
+
+         if (c == '/')
+           {
+             putc(c, out1);
+             if (out2)
+               putc(c, out2);
+             ended = 1;
+           }
+       }
+      else if (c == '\n')
+       {
+         lineno++;
+         putc (c, out1);
+         if (out2)
+           putc (c, out2);
+         if (cplus_comment)
+           ended = 1;
+         else
+           c = getc (in);
+       }
+      else if (c == EOF)
+       fatal (_("unterminated comment"));
+      else
+       {
+         putc (c, out1);
+         if (out2)
+           putc (c, out2);
+         c = getc (in);
+       }
+    }
+}
+
+
+/* Dump the comment from FIN to FOUT.  C is either `*' or `/',
+   depending upon the type of comments used.  */
+
+static inline void
+copy_comment (FILE *fin, FILE *fout, int c)
+{
+  copy_comment2 (fin, fout, NULL, c);
 }
 
 
 void
-reader()
+reader (void)
 {
   start_flag = 0;
   startval = NULL;  /* start symbol not specified yet. */
 
 #if 0
-  translations = 0;  /* initially assume token number translation not needed.  */
+  /* initially assume token number translation not needed.  */
+  translations = 0;
 #endif
-  /* Nowadays translations is always set to 1,
-     since we give `error' a user-token-number
-     to satisfy the Posix demand for YYERRCODE==256.  */
+  /* Nowadays translations is always set to 1, since we give `error' a
+     user-token-number to satisfy the Posix demand for YYERRCODE==256.
+     */
   translations = 1;
 
   nsyms = 1;
@@ -166,7 +329,7 @@ reader()
   nrules = 0;
   nitems = 0;
   rline_allocated = 10;
-  rline = NEW2(rline_allocated, short);
+  rline = NEW2 (rline_allocated, short);
 
   typed = 0;
   lastprec = 0;
@@ -179,64 +342,71 @@ reader()
 
   grammar = NULL;
 
-  init_lex();
+  init_lex ();
   lineno = 1;
 
-  /* initialize the symbol table.  */
-  tabinit();
-  /* construct the error token */
-  errtoken = getsym("error");
+  /* Initialize the symbol table.  */
+  tabinit ();
+  /* Construct the error token */
+  errtoken = getsym ("error");
   errtoken->class = STOKEN;
-  errtoken->user_token_number = 256; /* Value specified by posix.  */
-  /* construct a token that represents all undefined literal tokens. */
-  /* it is always token number 2.  */
-  getsym("$undefined.")->class = STOKEN;
-  /* Read the declaration section.  Copy %{ ... %} groups to ftable and fdefines file.
-     Also notice any %token, %left, etc. found there.  */
-  if (noparserflag) 
-    fprintf(ftable, "\n/*  Bison-generated parse tables, made from %s\n",
-               infile);
-  else
-    fprintf(ftable, "\n/*  A Bison parser, made from %s\n", infile);
-  fprintf(ftable, " by  %s  */\n\n", version_string);
-  fprintf(ftable, "#define YYBISON 1  /* Identify Bison output.  */\n\n");
-  read_declarations();
-  /* start writing the guard and action files, if they are needed.  */
-  output_headers();
-  /* read in the grammar, build grammar in list form.  write out guards and actions.  */
-  readgram();
-  /* Now we know whether we need the line-number stack.
-     If we do, write its type into the .tab.h file.  */
+  errtoken->user_token_number = 256; /* Value specified by POSIX.  */
+  /* Construct a token that represents all undefined literal tokens.
+     It is always token number 2.  */
+  undeftoken = getsym ("$undefined.");
+  undeftoken->class = STOKEN;
+  undeftoken->user_token_number = 2;
+
+  /* Read the declaration section.  Copy %{ ... %} groups to FTABLE
+     and FDEFINES file.  Also notice any %token, %left, etc. found
+     there.  */
+  putc ('\n', ftable);
+  fprintf (ftable, "\
+/* %s, made from %s\n\
+   by GNU bison %s.  */\n\
+\n",
+          noparserflag ? "Bison-generated parse tables" : "A Bison parser",
+          infile,
+          VERSION);
+
+  fputs ("#define YYBISON 1  /* Identify Bison output.  */\n\n", ftable);
+  read_declarations ();
+  /* Start writing the guard and action files, if they are needed.  */
+  output_headers ();
+  /* Read in the grammar, build grammar in list form.  Write out
+     guards and actions.  */
+  readgram ();
+  /* Now we know whether we need the line-number stack.  If we do,
+     write its type into the .tab.h file.  */
   if (fdefines)
-    reader_output_yylsp(fdefines);
-  /* write closing delimiters for actions and guards.  */
-  output_trailers();
+    reader_output_yylsp (fdefines);
+  /* Write closing delimiters for actions and guards.  */
+  output_trailers ();
   if (yylsp_needed)
-    fprintf(ftable, "#define YYLSP_NEEDED\n\n");
-  /* assign the symbols their symbol numbers.
-     Write #defines for the token symbols into fdefines if requested.  */
-  packsymbols();
-  /* convert the grammar into the format described in gram.h.  */
-  packgram();
-  /* free the symbol table data structure
-     since symbols are now all referred to by symbol number.  */
-  free_symtab();
+    fputs ("#define YYLSP_NEEDED\n\n", ftable);
+  /* Assign the symbols their symbol numbers.  Write #defines for the
+     token symbols into FDEFINES if requested.  */
+  packsymbols ();
+  /* Convert the grammar into the format described in gram.h.  */
+  packgram ();
+  /* Free the symbol table data structure since symbols are now all
+     referred to by symbol number.  */
+  free_symtab ();
 }
 
 void
-reader_output_yylsp(f)
-     FILE *f;
+reader_output_yylsp (FILE *f)
 {
   if (yylsp_needed)
     fprintf(f, LTYPESTR);
 }
 
-/* read from finput until %% is seen.  Discard the %%.
-Handle any % declarations,
-and copy the contents of any %{ ... %} groups to fattrs.  */
+/* Read from finput until `%%' is seen.  Discard the `%%'.  Handle any
+   `%' declarations, and copy the contents of any `%{ ... %}' groups
+   to fattrs.  */
 
-void
-read_declarations ()
+static void
+read_declarations (void)
 {
   register int c;
   register int tok;
@@ -261,23 +431,23 @@ read_declarations ()
            case TOKEN:
              parse_token_decl (STOKEN, SNTERM);
              break;
-       
+
            case NTERM:
              parse_token_decl (SNTERM, STOKEN);
              break;
-       
+
            case TYPE:
              parse_type_decl();
              break;
-       
+
            case START:
              parse_start_decl();
              break;
-       
+
            case UNION:
-             parse_union_decl();
+             parse_union_decl ();
              break;
-       
+
            case EXPECT:
              parse_expect_decl();
              break;
@@ -312,41 +482,37 @@ read_declarations ()
              break;
 
            default:
-             warns("unrecognized: %s", token_buffer);
+             complain (_("unrecognized: %s"), token_buffer);
              skip_to_char('%');
          }
        }
       else if (c == EOF)
-        fatal("no input grammar");
+        fatal (_("no input grammar"));
       else
        {
-               char buff[100];
-               sprintf(buff, "unknown character: %s", printable_version(c)); 
-               warn(buff);
-               skip_to_char('%');
+         complain (_("unknown character: %s"), printable_version(c));
+         skip_to_char('%');
        }
     }
 }
 
 
-/* copy the contents of a %{ ... %} into the definitions file.
-The %{ has already been read.  Return after reading the %}.  */
+/* Copy the contents of a `%{ ... %}' into the definitions file.  The
+   `%{' has already been read.  Return after reading the `%}'.  */
 
-void
-copy_definition ()
+static void
+copy_definition (void)
 {
   register int c;
-  register int match;
-  register int ended;
-  register int after_percent;  /* -1 while reading a character if prev char was % */
-  int cplus_comment;
+  /* -1 while reading a character if prev char was %. */
+  register int after_percent;
 
   if (!nolinesflag)
     fprintf(fattrs, "#line %d \"%s\"\n", lineno, infile);
 
   after_percent = 0;
 
-  c = getc(finput);
+  c = getc (finput);
 
   for (;;)
     {
@@ -360,92 +526,23 @@ copy_definition ()
        case '%':
           after_percent = -1;
          break;
-             
+
        case '\'':
        case '"':
-         match = c;
-         putc(c, fattrs);
-         c = getc(finput);
-
-         while (c != match)
-           {
-             if (c == EOF)
-               fatal("unterminated string at end of file");
-             if (c == '\n')
-               {
-                 warn("unterminated string");
-                 ungetc(c, finput);
-                 c = match;
-                 continue;
-               }
-
-             putc(c, fattrs);
-             
-             if (c == '\\')
-               {
-                 c = getc(finput);
-                 if (c == EOF)
-                   fatal("unterminated string at end of file");
-                 putc(c, fattrs);
-                 if (c == '\n')
-                   lineno++;
-               }
-
-             c = getc(finput);
-           }
-
-         putc(c, fattrs);
+         copy_string (finput, fattrs, c);
          break;
 
        case '/':
-         putc(c, fattrs);
-         c = getc(finput);
+         putc (c, fattrs);
+         c = getc (finput);
          if (c != '*' && c != '/')
            continue;
-
-         cplus_comment = (c == '/');
-         putc(c, fattrs);
-         c = getc(finput);
-
-         ended = 0;
-         while (!ended)
-           {
-             if (!cplus_comment && c == '*')
-               {
-                 while (c == '*')
-                   {
-                     putc(c, fattrs);
-                     c = getc(finput);
-                   }
-
-                 if (c == '/')
-                   {
-                     putc(c, fattrs);
-                     ended = 1;
-                   }
-               }
-             else if (c == '\n')
-               {
-                 lineno++;
-                 putc(c, fattrs);
-                 if (cplus_comment)
-                   ended = 1;
-                 else
-                   c = getc(finput);
-               }
-             else if (c == EOF)
-               fatal("unterminated comment in `%{' definition");
-             else
-               {
-                 putc(c, fattrs);
-                 c = getc(finput);
-               }
-           }
-
+         copy_comment (finput, fattrs, c);
          break;
 
        case EOF:
-         fatal("unterminated `%{' definition");
+         fatal ("%s",
+                _("unterminated `%{' definition"));
 
        default:
          putc(c, fattrs);
@@ -471,9 +568,8 @@ copy_definition ()
 For %token, what_is is STOKEN and what_is_not is SNTERM.
 For %nterm, the arguments are reversed.  */
 
-void
-parse_token_decl (what_is, what_is_not)
-     int what_is, what_is_not;
+static void
+parse_token_decl (int what_is, int what_is_not)
 {
   register int token = 0;
   register char *typename = 0;
@@ -482,8 +578,13 @@ parse_token_decl (what_is, what_is_not)
 
   for (;;)
     {
-      if(ungetc(skip_white_space(), finput) == '%')
+      int tmp_char = ungetc (skip_white_space (), finput);
+
+      if (tmp_char == '%')
        return;
+      if (tmp_char == EOF)
+       fatal (_("Premature EOF after %s"), token_buffer);
+
       token = lex();
       if (token == COMMA)
        {
@@ -499,7 +600,7 @@ parse_token_decl (what_is, what_is_not)
          symbol = NULL;
        }
       else if (token == IDENTIFIER && *symval->tag == '\"'
-               && symbol) 
+               && symbol)
        {
          translations = 1;
          symval->class = STOKEN;
@@ -507,8 +608,8 @@ parse_token_decl (what_is, what_is_not)
          symval->user_token_number = symbol->user_token_number;
          symbol->user_token_number = SALIAS;
 
-         symval->alias = symbol;       
-         symbol->alias = symval;       
+         symval->alias = symbol;
+         symbol->alias = symval;
          symbol = NULL;
 
          nsyms--;   /* symbol and symval combined are only one symbol */
@@ -519,7 +620,7 @@ parse_token_decl (what_is, what_is_not)
          symbol = symval;
 
          if (symbol->class == what_is_not)
-           warns("symbol %s redefined", symbol->tag);
+           complain (_("symbol %s redefined"), symbol->tag);
          symbol->class = what_is;
          if (what_is == SNTERM && oldclass != SNTERM)
            symbol->value = nvars++;
@@ -529,7 +630,7 @@ parse_token_decl (what_is, what_is_not)
              if (symbol->type_name == NULL)
                symbol->type_name = typename;
              else if (strcmp(typename, symbol->type_name) != 0)
-               warns("type redeclaration for %s", symbol->tag);
+               complain (_("type redeclaration for %s"), symbol->tag);
            }
        }
       else if (symbol && token == NUMBER)
@@ -539,8 +640,8 @@ parse_token_decl (what_is, what_is_not)
         }
       else
        {
-         warnss("`%s' is invalid in %s",
-               token_buffer, 
+         complain (_("`%s' is invalid in %s"),
+                   token_buffer,
                (what_is == STOKEN) ? "%token" : "%nterm");
          skip_to_char('%');
        }
@@ -548,7 +649,7 @@ parse_token_decl (what_is, what_is_not)
 
 }
 
-/* parse what comes after %thong 
+/* parse what comes after %thong
        the full syntax is
                %thong <type> token number literal
  the <type> or number may be omitted.  The number specifies the
@@ -559,14 +660,14 @@ parse_token_decl (what_is, what_is_not)
  The ->user_token_number of the first is SALIAS and the ->user_token_number
  of the second is set to the number, if any, from the declaration.
  The two symbols are linked via pointers in their ->alias fields.
+
  during output_defines_table, the symbol is reported
  thereafter, only the literal string is retained
  it is the literal string that is output to yytname
 */
 
-void
-parse_thong_decl ()
+static void
+parse_thong_decl (void)
 {
   register int token;
   register struct bucket *symbol;
@@ -585,10 +686,10 @@ parse_thong_decl ()
 
   /* process first token */
 
-  if (token != IDENTIFIER) 
+  if (token != IDENTIFIER)
     {
-      warns("unrecognized item %s, expected an identifier", 
-           token_buffer);
+      complain (_("unrecognized item %s, expected an identifier"),
+               token_buffer);
       skip_to_char('%');
       return;
     }
@@ -598,7 +699,7 @@ parse_thong_decl ()
   symbol = symval;
 
   token = lex();               /* get number or literal string */
-       
+
   if (token == NUMBER) {
     usrtoknum = numval;
     token = lex();             /* okay, did number, now get literal */
@@ -607,10 +708,10 @@ parse_thong_decl ()
 
   /* process literal string token */
 
-  if (token != IDENTIFIER || *symval->tag != '\"') 
+  if (token != IDENTIFIER || *symval->tag != '\"')
     {
-      warns("expected string constant instead of %s", 
-           token_buffer);
+      complain (_("expected string constant instead of %s"),
+               token_buffer);
       skip_to_char('%');
       return;
     }
@@ -618,22 +719,22 @@ parse_thong_decl ()
   symval->type_name = typename;
   symval->user_token_number = usrtoknum;
 
-  symval->alias = symbol;      
-  symbol->alias = symval;      
+  symval->alias = symbol;
+  symbol->alias = symval;
 
   nsyms--;                     /* symbol and symval combined are only one symbol */
 }
 
 
-/* parse what comes after %start */
+/* Parse what comes after %start */
 
-void
-parse_start_decl ()
+static void
+parse_start_decl (void)
 {
   if (start_flag)
-    warn("multiple %start declarations");
-  if (lex() != IDENTIFIER)
-    warn("invalid %start declaration");
+    complain (_("multiple %s declarations"), "%start");
+  if (lex () != IDENTIFIER)
+    complain (_("invalid %s declaration"), "%start");
   else
     {
       start_flag = 1;
@@ -645,15 +746,15 @@ parse_start_decl ()
 
 /* read in a %type declaration and record its information for get_type_name to access */
 
-void
-parse_type_decl ()
+static void
+parse_type_decl (void)
 {
   register int k;
   register char *name;
 
   if (lex() != TYPENAME)
     {
-      warn("%type declaration has no <typename>");
+      complain ("%s", _("%type declaration has no <typename>"));
       skip_to_char('%');
       return;
     }
@@ -665,9 +766,12 @@ parse_type_decl ()
   for (;;)
     {
       register int t;
+      int tmp_char = ungetc (skip_white_space (), finput);
 
-      if(ungetc(skip_white_space(), finput) == '%')
+      if (tmp_char == '%')
        return;
+      if (tmp_char == EOF)
+       fatal (_("Premature EOF after %s"), token_buffer);
 
       t = lex();
 
@@ -682,12 +786,13 @@ parse_type_decl ()
          if (symval->type_name == NULL)
            symval->type_name = name;
          else if (strcmp(name, symval->type_name) != 0)
-           warns("type redeclaration for %s", symval->tag);
+           complain (_("type redeclaration for %s"), symval->tag);
 
          break;
 
        default:
-         warns("invalid %%type declaration due to item: `%s'", token_buffer);
+         complain (_("invalid %%type declaration due to item: %s"),
+                   token_buffer);
          skip_to_char('%');
        }
     }
@@ -698,9 +803,8 @@ parse_type_decl ()
 /* read in a %left, %right or %nonassoc declaration and record its information.  */
 /* assoc is either LEFT_ASSOC, RIGHT_ASSOC or NON_ASSOC.  */
 
-void
-parse_assoc_decl (assoc)
-int assoc;
+static void
+parse_assoc_decl (int assoc)
 {
   register int k;
   register char *name = NULL;
@@ -711,9 +815,12 @@ int assoc;
   for (;;)
     {
       register int t;
+      int tmp_char = ungetc (skip_white_space (), finput);
 
-      if(ungetc(skip_white_space(), finput) == '%')
+      if (tmp_char == '%')
        return;
+      if (tmp_char == EOF)
+       fatal (_("Premature EOF after %s"), token_buffer);
 
       t = lex();
 
@@ -731,18 +838,18 @@ int assoc;
 
        case IDENTIFIER:
          if (symval->prec != 0)
-           warns("redefining precedence of %s", symval->tag);
+           complain (_("redefining precedence of %s"), symval->tag);
          symval->prec = lastprec;
          symval->assoc = assoc;
          if (symval->class == SNTERM)
-           warns("symbol %s redefined", symval->tag);
+           complain (_("symbol %s redefined"), symval->tag);
          symval->class = STOKEN;
          if (name)
            { /* record the type, if one is specified */
              if (symval->type_name == NULL)
                symval->type_name = name;
              else if (strcmp(name, symval->type_name) != 0)
-               warns("type redeclaration for %s", symval->tag);
+               complain (_("type redeclaration for %s"), symval->tag);
            }
          break;
 
@@ -752,9 +859,9 @@ int assoc;
              symval->user_token_number = numval;
              translations = 1;
             }
-          else   
+          else
             {
-             warns("invalid text (%s) - number should be after identifier", 
+             complain (_("invalid text (%s) - number should be after identifier"),
                        token_buffer);
              skip_to_char('%');
             }
@@ -764,7 +871,7 @@ int assoc;
          return;
 
        default:
-         warns("unexpected item: %s", token_buffer);
+         complain (_("unexpected item: %s"), token_buffer);
          skip_to_char('%');
        }
 
@@ -779,38 +886,33 @@ int assoc;
    where it is made into the
    definition of YYSTYPE, the type of elements of the parser value stack.  */
 
-void
-parse_union_decl()
+static void
+parse_union_decl (void)
 {
   register int c;
-  register int count;
-  register int in_comment;
-  int cplus_comment;
+  register int count = 0;
 
   if (typed)
-    warn("multiple %union declarations");
+    complain (_("multiple %s declarations"), "%union");
 
   typed = 1;
 
   if (!nolinesflag)
-    fprintf(fattrs, "\n#line %d \"%s\"\n", lineno, infile);
+    fprintf (fattrs, "\n#line %d \"%s\"\n", lineno, infile);
   else
-    fprintf(fattrs, "\n");
+    fprintf (fattrs, "\n");
 
-  fprintf(fattrs, "typedef union");
+  fprintf (fattrs, "typedef union");
   if (fdefines)
-    fprintf(fdefines, "typedef union");
+    fprintf (fdefines, "typedef union");
 
-  count = 0;
-  in_comment = 0;
-
-  c = getc(finput);
+  c = getc (finput);
 
   while (c != EOF)
     {
-      putc(c, fattrs);
+      putc (c, fattrs);
       if (fdefines)
-       putc(c, fdefines);
+       putc (c, fdefines);
 
       switch (c)
        {
@@ -819,50 +921,10 @@ parse_union_decl()
          break;
 
        case '/':
-         c = getc(finput);
+         c = getc (finput);
          if (c != '*' && c != '/')
-           ungetc(c, finput);
-         else
-           {
-             putc(c, fattrs);
-             if (fdefines)
-               putc(c, fdefines);
-             cplus_comment = (c == '/');
-             in_comment = 1;
-             c = getc(finput);
-             while (in_comment)
-               {
-                 putc(c, fattrs);
-                 if (fdefines)
-                   putc(c, fdefines);
-
-                 if (c == '\n')
-                   {
-                     lineno++;
-                     if (cplus_comment)
-                       {
-                         in_comment = 0;
-                         break;
-                       }
-                   }
-                 if (c == EOF)
-                   fatal("unterminated comment at end of file");
-
-                 if (!cplus_comment && c == '*')
-                   {
-                     c = getc(finput);
-                     if (c == '/')
-                       {
-                         putc('/', fattrs);
-                         if (fdefines)
-                           putc('/', fdefines);
-                         in_comment = 0;
-                       }
-                   }
-                 else
-                   c = getc(finput);
-               }
-           }
+           continue;
+         copy_comment2 (finput, fattrs, fdefines, c);
          break;
 
 
@@ -872,29 +934,30 @@ parse_union_decl()
 
        case '}':
          if (count == 0)
-           warn ("unmatched close-brace (`}')");
+           complain (_("unmatched %s"), "`}'");
          count--;
          if (count <= 0)
            {
-             fprintf(fattrs, " YYSTYPE;\n");
+             fprintf (fattrs, " YYSTYPE;\n");
              if (fdefines)
-               fprintf(fdefines, " YYSTYPE;\n");
+               fprintf (fdefines, " YYSTYPE;\n");
              /* JF don't choke on trailing semi */
-             c=skip_white_space();
-             if(c!=';') ungetc(c,finput);
+             c = skip_white_space ();
+             if (c != ';')
+               ungetc (c,finput);
              return;
            }
        }
 
-      c = getc(finput);
+      c = getc (finput);
     }
 }
 
 /* parse the declaration %expect N which says to expect N
    shift-reduce conflicts.  */
 
-void
-parse_expect_decl()
+static void
+parse_expect_decl (void)
 {
   register int c;
   register int count;
@@ -916,27 +979,54 @@ parse_expect_decl()
   ungetc (c, finput);
 
   if (count <= 0 || count > 10)
-       warn("argument of %expect is not an integer");
+    complain ("%s", _("argument of %expect is not an integer"));
   expected_conflicts = atoi (buffer);
 }
 
 /* that's all of parsing the declaration section */
 \f
-/* Get the data type (alternative in the union) of the value for symbol n in rule rule.  */
-
-char *
-get_type_name(n, rule)
-int n;
-symbol_list *rule;
+/* FIN is pointing to a location (i.e., a `@').  Output to FOUT
+   a reference to this location. STACK_OFFSET is the number of values
+   in the current rule so far, which says where to find `$0' with
+   respect to the top of the stack.  */
+static inline void
+copy_at (FILE *fin, FILE *fout, int stack_offset)
 {
-  static char *msg = "invalid $ value";
+  int c;
+
+  c = getc (fin);
+  if (c == '$')
+    {
+      fprintf (fout, "yyloc");
+      yylsp_needed = 1;
+    }
+  else if (isdigit(c) || c == '-')
+    {
+      int n;
+
+      ungetc (c, fin);
+      n = read_signed_integer (fin);
 
+      fprintf (fout, "yylsp[%d]", n - stack_offset);
+      yylsp_needed = 1;
+    }
+  else
+    complain (_("@%s is invalid"), printable_version (c));
+}
+
+
+/* Get the data type (alternative in the union) of the value for
+   symbol n in rule rule.  */
+
+static char *
+get_type_name (int n, symbol_list *rule)
+{
   register int i;
   register symbol_list *rp;
 
   if (n < 0)
     {
-      warn(msg);
+      complain (_("invalid $ value"));
       return NULL;
     }
 
@@ -948,43 +1038,39 @@ symbol_list *rule;
       rp = rp->next;
       if (rp == NULL || rp->sym == NULL)
        {
-         warn(msg);
+         complain (_("invalid $ value"));
          return NULL;
        }
       i++;
     }
 
-  return (rp->sym->type_name);
+  return rp->sym->type_name;
 }
 
 
-/* after %guard is seen in the input file,
-copy the actual guard into the guards file.
-If the guard is followed by an action, copy that into the actions file.
-stack_offset is the number of values in the current rule so far,
-which says where to find $0 with respect to the top of the stack,
-for the simple parser in which the stack is not popped until after the guard is run.  */
 
-void
-copy_guard(rule, stack_offset)
-symbol_list *rule;
-int stack_offset;
+/* After `%guard' is seen in the input file, copy the actual guard
+   into the guards file.  If the guard is followed by an action, copy
+   that into the actions file.  STACK_OFFSET is the number of values
+   in the current rule so far, which says where to find `$0' with
+   respect to the top of the stack, for the simple parser in which the
+   stack is not popped until after the guard is run.  */
+
+static void
+copy_guard (symbol_list *rule, int stack_offset)
 {
   register int c;
   register int n;
   register int count;
-  register int match;
-  register int ended;
   register char *type_name;
   int brace_flag = 0;
-  int cplus_comment;
 
   /* offset is always 0 if parser has already popped the stack pointer */
   if (semantic_parser) stack_offset = 0;
 
   fprintf(fguard, "\ncase %d:\n", nrules);
   if (!nolinesflag)
-    fprintf(fguard, "#line %d \"%s\"\n", lineno, infile);
+    fprintf (fguard, "#line %d \"%s\"\n", lineno, infile);
   putc('{', fguard);
 
   count = 0;
@@ -1009,94 +1095,24 @@ int stack_offset;
          putc(c, fguard);
          if (count > 0)
            count--;
-         else 
+         else
            {
-             warn("unmatched right brace (`}')");
+             complain (_("unmatched %s"), "`}'");
              c = getc(finput); /* skip it */
            }
           break;
 
        case '\'':
        case '"':
-         match = c;
-         putc(c, fguard);
-         c = getc(finput);
-
-         while (c != match)
-           {
-             if (c == EOF)
-               fatal("unterminated string at end of file");
-             if (c == '\n') 
-               {
-                 warn("unterminated string");
-                 ungetc(c, finput);
-                 c = match;            /* invent terminator */
-                 continue;
-               }
-
-             putc(c, fguard);
-             
-             if (c == '\\')
-               {
-                 c = getc(finput);
-                 if (c == EOF)
-                   fatal("unterminated string");
-                 putc(c, fguard);
-                 if (c == '\n')
-                   lineno++;
-               }
-
-             c = getc(finput);
-           }
-
-         putc(c, fguard);
+         copy_string (finput, fguard, c);
          break;
 
        case '/':
-         putc(c, fguard);
-         c = getc(finput);
+         putc (c, fguard);
+         c = getc (finput);
          if (c != '*' && c != '/')
            continue;
-
-         cplus_comment = (c == '/');
-         putc(c, fguard);
-         c = getc(finput);
-
-         ended = 0;
-         while (!ended)
-           {
-             if (!cplus_comment && c == '*')
-               {
-                 while (c == '*')
-                   {
-                     putc(c, fguard);
-                     c = getc(finput);
-                   }
-
-                 if (c == '/')
-                   {
-                     putc(c, fguard);
-                     ended = 1;
-                   }
-               }
-             else if (c == '\n')
-               {
-                 lineno++;
-                 putc(c, fguard);
-                 if (cplus_comment)
-                   ended = 1;
-                 else
-                   c = getc(finput);
-               }
-             else if (c == EOF)
-               fatal("unterminated comment");
-             else
-               {
-                 putc(c, fguard);
-                 c = getc(finput);
-               }
-           }
-
+         copy_comment (finput, fguard, c);
          break;
 
        case '$':
@@ -1108,7 +1124,12 @@ int stack_offset;
              register char *cp = token_buffer;
 
              while ((c = getc(finput)) != '>' && c > 0)
-               *cp++ = c;
+               {
+                 if (cp == token_buffer + maxtoken)
+                   cp = grow_token_buffer(cp);
+
+                 *cp++ = c;
+               }
              *cp = 0;
              type_name = token_buffer;
 
@@ -1118,18 +1139,19 @@ int stack_offset;
          if (c == '$')
            {
              fprintf(fguard, "yyval");
-             if (!type_name) type_name = rule->sym->type_name;
+             if (!type_name)
+               type_name = rule->sym->type_name;
              if (type_name)
                fprintf(fguard, ".%s", type_name);
              if(!type_name && typed)
-               warns("$$ of `%s' has no declared type", rule->sym->tag);
+               complain (_("$$ of `%s' has no declared type"),
+                         rule->sym->tag);
            }
-
          else if (isdigit(c) || c == '-')
            {
              ungetc (c, finput);
-             n = read_signed_integer(finput);
-             c = getc(finput);
+             n = read_signed_integer (finput);
+             c = getc (finput);
 
              if (!type_name && n > 0)
                type_name = get_type_name(n, rule);
@@ -1137,39 +1159,25 @@ int stack_offset;
              fprintf(fguard, "yyvsp[%d]", n - stack_offset);
              if (type_name)
                fprintf(fguard, ".%s", type_name);
-             if(!type_name && typed)
-               warnss("$%s of `%s' has no declared type", int_to_string(n), rule->sym->tag);
+             if (!type_name && typed)
+               complain (_("$%d of `%s' has no declared type"),
+                         n, rule->sym->tag);
              continue;
            }
          else
-           warni("$%s is invalid", printable_version(c));
-
+           complain (_("$%s is invalid"), printable_version (c));
          break;
 
        case '@':
-         c = getc(finput);
-         if (isdigit(c) || c == '-')
-           {
-             ungetc (c, finput);
-             n = read_signed_integer(finput);
-             c = getc(finput);
-           }
-         else
-           {
-             warni("@%s is invalid", printable_version(c));
-             n = 1;
-           }
-
-         fprintf(fguard, "yylsp[%d]", n - stack_offset);
-         yylsp_needed = 1;
-
-         continue;
+         copy_at (finput, fguard, stack_offset);
+         break;
 
        case EOF:
-         fatal("unterminated %%guard clause");
+         fatal ("%s",
+                _("unterminated %guard clause"));
 
        default:
-         putc(c, fguard);
+         putc (c, fguard);
        }
 
       if (c != '}' || count != 0)
@@ -1180,12 +1188,12 @@ int stack_offset;
 
   fprintf(fguard, ";\n    break;}");
   if (c == '{')
-    copy_action(rule, stack_offset);
+    copy_action (rule, stack_offset);
   else if (c == '=')
     {
       c = getc(finput);        /* why not skip_white_space -wjh */
       if (c == '{')
-       copy_action(rule, stack_offset);
+       copy_action (rule, stack_offset);
     }
   else
     ungetc(c, finput);
@@ -1193,31 +1201,27 @@ int stack_offset;
 
 
 
-/* Assuming that a { has just been seen, copy everything up to the matching }
-into the actions file.
-stack_offset is the number of values in the current rule so far,
-which says where to find $0 with respect to the top of the stack.  */
+/* Assuming that a `{' has just been seen, copy everything up to the
+   matching `}' into the actions file.  STACK_OFFSET is the number of
+   values in the current rule so far, which says where to find `$0'
+   with respect to the top of the stack.  */
 
-void
-copy_action(rule, stack_offset)
-symbol_list *rule;
-int stack_offset;
+static void
+copy_action (symbol_list *rule, int stack_offset)
 {
   register int c;
   register int n;
   register int count;
-  register int match;
-  register int ended;
   register char *type_name;
-  int cplus_comment;
 
   /* offset is always 0 if parser has already popped the stack pointer */
-  if (semantic_parser) stack_offset = 0;
+  if (semantic_parser)
+    stack_offset = 0;
 
-  fprintf(faction, "\ncase %d:\n", nrules);
+  fprintf (faction, "\ncase %d:\n", nrules);
   if (!nolinesflag)
-    fprintf(faction, "#line %d \"%s\"\n", lineno, infile);
-  putc('{', faction);
+    fprintf (faction, "#line %d \"%s\"\n", lineno, infile);
+  putc ('{', faction);
 
   count = 1;
   c = getc(finput);
@@ -1240,85 +1244,15 @@ int stack_offset;
 
            case '\'':
            case '"':
-             match = c;
-             putc(c, faction);
-             c = getc(finput);
-
-             while (c != match)
-               {
-                 if (c == '\n')
-                   {
-                     warn("unterminated string");
-                     ungetc(c, finput);
-                     c = match;
-                     continue;
-                   }
-                 else if (c == EOF)
-                   fatal("unterminated string at end of file");
-
-                 putc(c, faction);
-
-                 if (c == '\\')
-                   {
-                     c = getc(finput);
-                     if (c == EOF)
-                       fatal("unterminated string");
-                     putc(c, faction);
-                     if (c == '\n')
-                       lineno++;
-                   }
-
-                 c = getc(finput);
-               }
-
-             putc(c, faction);
+             copy_string (finput, faction, c);
              break;
 
            case '/':
-             putc(c, faction);
-             c = getc(finput);
+             putc (c, faction);
+             c = getc (finput);
              if (c != '*' && c != '/')
                continue;
-
-             cplus_comment = (c == '/');
-             putc(c, faction);
-             c = getc(finput);
-
-             ended = 0;
-             while (!ended)
-               {
-                 if (!cplus_comment && c == '*')
-                   {
-                     while (c == '*')
-                       {
-                         putc(c, faction);
-                         c = getc(finput);
-                       }
-
-                     if (c == '/')
-                       {
-                         putc(c, faction);
-                         ended = 1;
-                       }
-                   }
-                 else if (c == '\n')
-                   {
-                     lineno++;
-                     putc(c, faction);
-                     if (cplus_comment)
-                       ended = 1;
-                     else
-                       c = getc(finput);
-                   }
-                 else if (c == EOF)
-                   fatal("unterminated comment");
-                 else
-                   {
-                     putc(c, faction);
-                     c = getc(finput);
-                   }
-               }
-
+             copy_comment (finput, faction, c);
              break;
 
            case '$':
@@ -1330,7 +1264,12 @@ int stack_offset;
                  register char *cp = token_buffer;
 
                  while ((c = getc(finput)) != '>' && c > 0)
-                   *cp++ = c;
+                   {
+                     if (cp == token_buffer + maxtoken)
+                       cp = grow_token_buffer(cp);
+
+                     *cp++ = c;
+                   }
                  *cp = 0;
                  type_name = token_buffer;
                  value_components_used = 1;
@@ -1340,11 +1279,13 @@ int stack_offset;
              if (c == '$')
                {
                  fprintf(faction, "yyval");
-                 if (!type_name) type_name = get_type_name(0, rule);
+                 if (!type_name)
+                   type_name = get_type_name(0, rule);
                  if (type_name)
                    fprintf(faction, ".%s", type_name);
-                 if(!type_name && typed)       
-                   warns("$$ of `%s' has no declared type", rule->sym->tag);
+                 if(!type_name && typed)
+                   complain (_("$$ of `%s' has no declared type"),
+                             rule->sym->tag);
                }
              else if (isdigit(c) || c == '-')
                {
@@ -1358,37 +1299,22 @@ int stack_offset;
                  fprintf(faction, "yyvsp[%d]", n - stack_offset);
                  if (type_name)
                    fprintf(faction, ".%s", type_name);
-                 if(!type_name && typed)       
-                   warnss("$%s of `%s' has no declared type", 
-                               int_to_string(n), rule->sym->tag);
+                 if(!type_name && typed)
+                   complain (_("$%d of `%s' has no declared type"),
+                             n, rule->sym->tag);
                  continue;
                }
              else
-               warni("$%s is invalid", printable_version(c));
+               complain (_("$%s is invalid"), printable_version (c));
 
              break;
 
            case '@':
-             c = getc(finput);
-             if (isdigit(c) || c == '-')
-               {
-                 ungetc (c, finput);
-                 n = read_signed_integer(finput);
-                 c = getc(finput);
-               }
-             else
-               {
-                 warn("invalid @-construct");
-                 n = 1;
-               }
-
-             fprintf(faction, "yylsp[%d]", n - stack_offset);
-             yylsp_needed = 1;
-
-             continue;
+             copy_at (finput, faction, stack_offset);
+             break;
 
            case EOF:
-             fatal("unmatched `{'");
+             fatal (_("unmatched %s"), "`{'");
 
            default:
              putc(c, faction);
@@ -1414,8 +1340,8 @@ int stack_offset;
 /* generate a dummy symbol, a nonterminal,
 whose name cannot conflict with the user's names. */
 
-bucket *
-gensym()
+static bucket *
+gensym (void)
 {
   register bucket *sym;
 
@@ -1423,7 +1349,7 @@ gensym()
   sym = getsym(token_buffer);
   sym->class = SNTERM;
   sym->value = nvars++;
-  return (sym);
+  return sym;
 }
 
 /* Parse the input grammar into a one symbol_list structure.
@@ -1435,11 +1361,11 @@ The next symbol is the lhs of the following rule.
 All guards and actions are copied out to the appropriate files,
 labelled by the rule number they apply to.  */
 
-void
-readgram()
+static void
+readgram (void)
 {
   register int t;
-  register bucket *lhs;
+  register bucket *lhs = NULL;
   register symbol_list *p;
   register symbol_list *p1;
   register bucket *bp;
@@ -1470,18 +1396,18 @@ readgram()
                  startval = lhs;
                  start_flag = 1;
                }
-    
+
              t = lex();
              if (t != COLON)
                {
-                 warn("ill-formed rule: initial symbol not followed by colon");
+                 complain (_("ill-formed rule: initial symbol not followed by colon"));
                  unlex(t);
                }
            }
 
          if (nrules == 0 && t == BAR)
            {
-             warn("grammar starts with vertical bar");
+             complain (_("grammar starts with vertical bar"));
              lhs = symval;     /* BOGUS: use a random symval */
            }
          /* start a new rule and record its lhs.  */
@@ -1512,7 +1438,7 @@ readgram()
              nvars++;
            }
          else if (lhs->class == STOKEN)
-           warns("rule given for %s, which is a token", lhs->tag);
+           complain (_("rule given for %s, which is a token"), lhs->tag);
 
          /* read the rhs of the rule.  */
 
@@ -1610,7 +1536,7 @@ readgram()
 
          if (t == PREC)
            {
-             warn("two @prec's in a row");
+             complain (_("two @prec's in a row"));
              t = lex();
              crule->ruleprec = symval;
              t = lex();
@@ -1618,7 +1544,8 @@ readgram()
          if (t == GUARD)
            {
              if (! semantic_parser)
-               warn("%%guard present but %%semantic_parser not specified");
+               complain ("%s",
+                         _("%guard present but %semantic_parser not specified"));
 
              copy_guard(crule, rulelength);
              t = lex();
@@ -1626,28 +1553,32 @@ readgram()
          else if (t == LEFT_CURLY)
            {
                /* This case never occurs -wjh */
-             if (actionflag)  warn("two actions at end of one rule");
+             if (actionflag)
+               complain (_("two actions at end of one rule"));
              copy_action(crule, rulelength);
              actionflag = 1;
              xactions++;       /* -wjh */
              t = lex();
            }
-         /* If $$ is being set in default way,
-            warn if any type mismatch.  */
-         else if (!xactions && first_rhs && lhs->type_name != first_rhs->type_name)
+         /* If $$ is being set in default way, report if any type
+            mismatch.  */
+         else if (!xactions
+                  && first_rhs
+                  && lhs->type_name != first_rhs->type_name)
            {
-             if (lhs->type_name == 0 || first_rhs->type_name == 0
+             if (lhs->type_name == 0
+                 || first_rhs->type_name == 0
                  || strcmp(lhs->type_name,first_rhs->type_name))
-               warnss("type clash (`%s' `%s') on default action",
-                       lhs->type_name ? lhs->type_name : "",
-                       first_rhs->type_name ? first_rhs->type_name : "");
+               complain (_("type clash (`%s' `%s') on default action"),
+                         lhs->type_name ? lhs->type_name : "",
+                            first_rhs->type_name ? first_rhs->type_name : "");
            }
          /* Warn if there is no default for $$ but we need one.  */
          else if (!xactions && !first_rhs && lhs->type_name != 0)
-           warn("empty rule for typed nonterminal, and no action");
+           complain (_("empty rule for typed nonterminal, and no action"));
          if (t == SEMICOLON)
            t = lex();
-       }    
+       }
 #if 0
   /* these things can appear as alternatives to rules.  */
 /* NO, they cannot.
@@ -1688,7 +1619,7 @@ readgram()
 
       else
        {
-         warns("invalid input: %s", token_buffer);
+         complain (_("invalid input: %s"), token_buffer);
          t = lex();
        }
     }
@@ -1696,10 +1627,10 @@ readgram()
   /* grammar has been read.  Do some checking */
 
   if (nsyms > MAXSHORT)
-    fatals("too many symbols (tokens plus nonterminals); maximum %s",
-          int_to_string(MAXSHORT));
+    fatal (_("too many symbols (tokens plus nonterminals); maximum %d"),
+          MAXSHORT);
   if (nrules == 0)
-    fatal("no rules in the input grammar");
+    fatal (_("no rules in the input grammar"));
 
   if (typed == 0       /* JF put out same default YYSTYPE as YACC does */
       && !value_components_used)
@@ -1717,8 +1648,8 @@ readgram()
   for (bp = firstsymbol; bp; bp = bp->next)
     if (bp->class == SUNKNOWN)
       {
-       warns("symbol %s is used, but is not defined as a token and has no rules",
-                       bp->tag);
+       complain (_("symbol %s is used, but is not defined as a token and has no rules"),
+                 bp->tag);
        bp->class = SNTERM;
        bp->value = nvars++;
       }
@@ -1727,25 +1658,26 @@ readgram()
 }
 
 
-void
-record_rule_line ()
+static void
+record_rule_line (void)
 {
   /* Record each rule's source line number in rline table.  */
 
   if (nrules >= rline_allocated)
     {
       rline_allocated = nrules * 2;
-      rline = (short *) xrealloc (rline,
-                                rline_allocated * sizeof (short));
+      rline = (short *) xrealloc ((char *) rline,
+                                 rline_allocated * sizeof (short));
     }
   rline[nrules] = lineno;
 }
 
 
+#if 0
 /* read in a %type declaration and record its information for get_type_name to access */
 /* this is unused.  it is only called from the #if 0 part of readgram */
 static int
-get_type()
+get_type (void)
 {
   register int k;
   register int t;
@@ -1753,9 +1685,9 @@ get_type()
 
   t = lex();
 
-  if (t != TYPENAME) 
+  if (t != TYPENAME)
     {
-      warn("ill-formed %type declaration");
+      complain (_("invalid %s declaration"), "%type");
       return t;
     }
 
@@ -1770,7 +1702,7 @@ get_type()
       switch (t)
        {
        case SEMICOLON:
-         return (lex());
+         return lex();
 
        case COMMA:
          break;
@@ -1779,33 +1711,35 @@ get_type()
          if (symval->type_name == NULL)
            symval->type_name = name;
          else if (strcmp(name, symval->type_name) != 0)
-           warns("type redeclaration for %s", symval->tag);
+           complain (_("type redeclaration for %s"), symval->tag);
 
          break;
 
        default:
-         return (t);
+         return t;
        }
     }
 }
+#endif
 
 
+/* Assign symbol numbers, and write definition of token names into
+   fdefines.  Set up vectors tags and sprec of names and precedences
+   of symbols.  */
 
-/* assign symbol numbers, and write definition of token names into fdefines.
-Set up vectors tags and sprec of names and precedences of symbols.  */
-
-void
-packsymbols()
+static void
+packsymbols (void)
 {
   register bucket *bp;
   register int tokno = 1;
   register int i;
   register int last_user_token_number;
+  static char DOLLAR[] = "$";
 
   /* int lossage = 0; JF set but not used */
 
   tags = NEW2(nsyms + 1, char *);
-  tags[0] = "$";
+  tags[0] = DOLLAR;
   user_toknums = NEW2(nsyms + 1, int);
   user_toknums[0] = 0;
 
@@ -1823,34 +1757,38 @@ packsymbols()
        }
       else if (bp->alias)
        {
-               /* this symbol and its alias are a single token defn.
-                 allocate a tokno, and assign to both
-                 check agreement of ->prec and ->assoc fields 
-                       and make both the same
-               */
-               if (bp->value == 0)
-                       bp->value = bp->alias->value = tokno++;
-
-               if (bp->prec != bp->alias->prec) {
-                       if (bp->prec != 0 && bp->alias->prec != 0
-                                       && bp->user_token_number == SALIAS)
-                               warnss("conflicting precedences for %s and %s",
-                                       bp->tag, bp->alias->tag);
-                       if (bp->prec != 0) bp->alias->prec = bp->prec;
-                       else bp->prec = bp->alias->prec;
-               }
+         /* this symbol and its alias are a single token defn.
+            allocate a tokno, and assign to both check agreement of
+            ->prec and ->assoc fields and make both the same */
+         if (bp->value == 0)
+           bp->value = bp->alias->value = tokno++;
 
-               if (bp->assoc != bp->alias->assoc) {
-                       if (bp->assoc != 0 && bp->alias->assoc != 0
-                                       && bp->user_token_number == SALIAS)
-                               warnss("conflicting assoc values for %s and %s",
-                                       bp->tag, bp->alias->tag);
-                       if (bp->assoc != 0) bp->alias->assoc = bp->assoc;
-                       else bp->assoc = bp->alias->assoc;
-               }
+         if (bp->prec != bp->alias->prec)
+           {
+             if (bp->prec != 0 && bp->alias->prec != 0
+                 && bp->user_token_number == SALIAS)
+               complain (_("conflicting precedences for %s and %s"),
+                         bp->tag, bp->alias->tag);
+             if (bp->prec != 0)
+               bp->alias->prec = bp->prec;
+             else
+               bp->prec = bp->alias->prec;
+           }
+
+         if (bp->assoc != bp->alias->assoc)
+           {
+             if (bp->assoc != 0 && bp->alias->assoc != 0
+                 && bp->user_token_number == SALIAS)
+               complain (_("conflicting assoc values for %s and %s"),
+                         bp->tag, bp->alias->tag);
+             if (bp->assoc != 0)
+               bp->alias->assoc = bp->assoc;
+             else
+               bp->assoc = bp->alias->assoc;
+           }
 
-               if (bp->user_token_number == SALIAS)
-                       continue;  /* do not do processing below for SALIASs */
+         if (bp->user_token_number == SALIAS)
+           continue;  /* do not do processing below for SALIASs */
 
        }
       else  /* bp->class == STOKEN */
@@ -1875,25 +1813,27 @@ packsymbols()
 
   if (translations)
     {
-      register int i;
+      register int j;
 
       token_translations = NEW2(max_user_token_number+1, short);
 
-      /* initialize all entries for literal tokens to 2,
-        the internal token number for $undefined.,
-        which represents all invalid inputs.  */
-      for (i = 0; i <= max_user_token_number; i++)
-        token_translations[i] = 2;      
+      /* initialize all entries for literal tokens to 2, the internal
+        token number for $undefined., which represents all invalid
+        inputs.  */
+      for (j = 0; j <= max_user_token_number; j++)
+        token_translations[j] = 2;
 
       for (bp = firstsymbol; bp; bp = bp->next)
         {
-          if (bp->value >= ntokens) continue;            /* non-terminal */
-          if (bp->user_token_number == SALIAS) continue;  
+          if (bp->value >= ntokens)
+           continue;             /* non-terminal */
+          if (bp->user_token_number == SALIAS)
+           continue;
           if (token_translations[bp->user_token_number] != 2)
-           warnsss("tokens %s and %s both assigned number %s",
-                             tags[token_translations[bp->user_token_number]],
-                             bp->tag,
-                             int_to_string(bp->user_token_number));
+           complain (_("tokens %s and %s both assigned number %d"),
+                     tags[token_translations[bp->user_token_number]],
+                 bp->tag,
+                 bp->user_token_number);
           token_translations[bp->user_token_number] = bp->value;
         }
     }
@@ -1904,9 +1844,9 @@ packsymbols()
     output_token_defines(ftable);
 
   if (startval->class == SUNKNOWN)
-    fatals("the start symbol %s is undefined", startval->tag);
+    fatal (_("the start symbol %s is undefined"), startval->tag);
   else if (startval->class == STOKEN)
-    fatals("the start symbol %s is a token", startval->tag);
+    fatal (_("the start symbol %s is a token"), startval->tag);
 
   start_symbol = startval->value;
 
@@ -1937,13 +1877,12 @@ packsymbols()
 #endif
     }
 }
-      
-/* For named tokens, but not literal ones, define the name.  
-   The value is the user token number.  
-*/
-void
-output_token_defines(file)
-FILE *file;
+
+/* For named tokens, but not literal ones, define the name.  The value
+   is the user token number.  */
+
+static void
+output_token_defines (FILE *file)
 {
   bucket *bp;
   register char *cp, *symbol;
@@ -1957,7 +1896,7 @@ FILE *file;
       if (bp->user_token_number == SALIAS) continue;
       if ('\'' == *symbol) continue;   /* skip literal character */
       if (bp == errtoken) continue;    /* skip error token */
-      if ('\"' == *symbol) 
+      if ('\"' == *symbol)
        {
                /* use literal string only if given a symbol with an alias */
                if (bp->alias)
@@ -1971,12 +1910,12 @@ FILE *file;
       while ((c = *cp++) && c != '.');
       if (c != '\0')  continue;
 
-      fprintf(file, "#define\t%s\t%d\n", symbol,
-               ((translations && ! rawtoknumflag) 
-                       ? bp->user_token_number 
-                       : bp->value));
+      fprintf (file, "#define\t%s\t%d\n", symbol,
+              ((translations && ! rawtoknumflag)
+               ? bp->user_token_number
+               : bp->value));
       if (semantic_parser)
-        fprintf(file, "#define\tT%s\t%d\n", symbol, bp->value);
+        fprintf (file, "#define\tT%s\t%d\n", symbol, bp->value);
     }
 
   putc('\n', file);
@@ -1986,8 +1925,8 @@ FILE *file;
 
 /* convert the rules into the representation using rrhs, rlhs and ritems.  */
 
-void
-packgram()
+static void
+packgram (void)
 {
   register int itemno;
   register int ruleno;
@@ -2044,30 +1983,3 @@ packgram()
 
   ritem[itemno] = 0;
 }
-\f
-/* Read a signed integer from STREAM and return its value.  */
-
-int
-read_signed_integer (stream)
-     FILE *stream;
-{
-  register int c = getc(stream);
-  register int sign = 1;
-  register int n;
-
-  if (c == '-')
-    {
-      c = getc(stream);
-      sign = -1;
-    }
-  n = 0;
-  while (isdigit(c))
-    {
-      n = 10*n + (c - '0');
-      c = getc(stream);
-    }
-
-  ungetc(c, stream);
-
-  return n * sign;
-}