]> git.saurik.com Git - bison.git/blobdiff - src/parse-gram.c
regen.
[bison.git] / src / parse-gram.c
index 19038b32fab6a4486a32494f5a69c432072d271c..9d1427db9c509e5838d2671904e54f8cef6694df 100644 (file)
@@ -1,9 +1,8 @@
-/* A Bison parser, made by GNU Bison 2.4.1.173-62efdd.  */
+/* A Bison parser, made by GNU Bison 2.5.66-427a.  */
 
-/* Skeleton implementation for Bison's Yacc-like parsers in C
+/* Bison implementation for Yacc-like parsers in C
    
-      Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
-   2007, 2008, 2009 Free Software Foundation, Inc.
+      Copyright (C) 1984, 1989-1990, 2000-2011 Free Software Foundation, Inc.
    
    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
@@ -45,7 +44,7 @@
 #define YYBISON 1
 
 /* Bison version.  */
-#define YYBISON_VERSION "2.4.1.173-62efdd"
+#define YYBISON_VERSION "2.5.66-427a"
 
 /* Skeleton name.  */
 #define YYSKELETON_NAME "yacc.c"
 
 /* Copy the first part of user declarations.  */
 
-/* Line 252 of yacc.c  */
+/* Line 268 of yacc.c  */
 #line 1 "parse-gram.y"
 /* Bison Grammar Parser                             -*- C -*-
 
-   Copyright (C) 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009 Free
-   Software Foundation, Inc.
+   Copyright (C) 2002-2012 Free Software Foundation, Inc.
 
    This file is part of Bison, the GNU Compiler Compiler.
 
@@ -140,19 +138,38 @@ static void add_param (char const *type, char *decl, location loc);
 
 static symbol_class current_class = unknown_sym;
 static uniqstr current_type = NULL;
-static symbol *current_lhs;
+static symbol *current_lhs_symbol;
 static location current_lhs_location;
 static named_ref *current_lhs_named_ref;
 static int current_prec = 0;
 
+/** Set the new current left-hand side symbol, possibly common
+ * to several right-hand side parts of rule.
+ */
+static
+void
+current_lhs(symbol *sym, location loc, named_ref *ref)
+{
+  current_lhs_symbol = sym;
+  current_lhs_location = loc;
+  /* In order to simplify memory management, named references for lhs
+     are always assigned by deep copy into the current symbol_list
+     node.  This is because a single named-ref in the grammar may
+     result in several uses when the user factors lhs between several
+     rules using "|".  Therefore free the parser's original copy.  */
+  free (current_lhs_named_ref);
+  current_lhs_named_ref = ref;
+}
+
+
 #define YYTYPE_INT16 int_fast16_t
 #define YYTYPE_INT8 int_fast8_t
 #define YYTYPE_UINT16 uint_fast16_t
 #define YYTYPE_UINT8 uint_fast8_t
 
 
-/* Line 252 of yacc.c  */
-#line 156 "parse-gram.c"
+/* Line 268 of yacc.c  */
+#line 173 "../../../src/parse-gram.c"
 
 /* Enabling traces.  */
 #ifndef YYDEBUG
@@ -302,8 +319,8 @@ static int current_prec = 0;
 typedef union YYSTYPE
 {
 
-/* Line 277 of yacc.c  */
-#line 94 "parse-gram.y"
+/* Line 293 of yacc.c  */
+#line 113 "parse-gram.y"
 
   symbol *symbol;
   symbol_list *list;
@@ -317,8 +334,8 @@ typedef union YYSTYPE
 
 
 
-/* Line 277 of yacc.c  */
-#line 322 "parse-gram.c"
+/* Line 293 of yacc.c  */
+#line 339 "../../../src/parse-gram.c"
 } YYSTYPE;
 # define YYSTYPE_IS_TRIVIAL 1
 # define yystype YYSTYPE /* obsolescent; will be withdrawn */
@@ -342,8 +359,8 @@ typedef struct YYLTYPE
 /* Copy the second part of user declarations.  */
 
 
-/* Line 327 of yacc.c  */
-#line 347 "parse-gram.c"
+/* Line 343 of yacc.c  */
+#line 364 "../../../src/parse-gram.c"
 
 #ifdef short
 # undef short
@@ -429,34 +446,10 @@ YYID (yyi)
 }
 #endif
 
-#if ! defined yyoverflow || YYERROR_VERBOSE
+#if 1
 
 /* The parser invokes alloca or malloc; define the necessary symbols.  */
 
-# ifdef YYSTACK_USE_ALLOCA
-#  if YYSTACK_USE_ALLOCA
-#   ifdef __GNUC__
-#    define YYSTACK_ALLOC __builtin_alloca
-#   elif defined __BUILTIN_VA_ARG_INCR
-#    include <alloca.h> /* INFRINGES ON USER NAME SPACE */
-#   elif defined _AIX
-#    define YYSTACK_ALLOC __alloca
-#   elif defined _MSC_VER
-#    include <malloc.h> /* INFRINGES ON USER NAME SPACE */
-#    define alloca _alloca
-#   else
-#    define YYSTACK_ALLOC alloca
-#    if ! defined _ALLOCA_H && ! defined _STDLIB_H && (defined __STDC__ || defined __C99__FUNC__ \
-     || defined __cplusplus || defined _MSC_VER)
-#     include <stdlib.h> /* INFRINGES ON USER NAME SPACE */
-#     ifndef _STDLIB_H
-#      define _STDLIB_H 1
-#     endif
-#    endif
-#   endif
-#  endif
-# endif
-
 # ifdef YYSTACK_ALLOC
    /* Pacify GCC's `empty if-body' warning.  */
 #  define YYSTACK_FREE(Ptr) do { /* empty */; } while (YYID (0))
@@ -473,30 +466,31 @@ YYID (yyi)
 #  ifndef YYSTACK_ALLOC_MAXIMUM
 #   define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM
 #  endif
-#  if (defined __cplusplus && ! defined _STDLIB_H \
+#  if (defined __cplusplus && ! defined EXIT_SUCCESS \
        && ! ((defined YYMALLOC || defined malloc) \
             && (defined YYFREE || defined free)))
 #   include <stdlib.h> /* INFRINGES ON USER NAME SPACE */
-#   ifndef _STDLIB_H
-#    define _STDLIB_H 1
+#   ifndef EXIT_SUCCESS
+#    define EXIT_SUCCESS 0
 #   endif
 #  endif
 #  ifndef YYMALLOC
 #   define YYMALLOC malloc
-#   if ! defined malloc && ! defined _STDLIB_H && (defined __STDC__ || defined __C99__FUNC__ \
+#   if ! defined malloc && ! defined EXIT_SUCCESS && (defined __STDC__ || defined __C99__FUNC__ \
      || defined __cplusplus || defined _MSC_VER)
 void *malloc (YYSIZE_T); /* INFRINGES ON USER NAME SPACE */
 #   endif
 #  endif
 #  ifndef YYFREE
 #   define YYFREE free
-#   if ! defined free && ! defined _STDLIB_H && (defined __STDC__ || defined __C99__FUNC__ \
+#   if ! defined free && ! defined EXIT_SUCCESS && (defined __STDC__ || defined __C99__FUNC__ \
      || defined __cplusplus || defined _MSC_VER)
 void free (void *); /* INFRINGES ON USER NAME SPACE */
 #   endif
 #  endif
 # endif
-#endif /* ! defined yyoverflow || YYERROR_VERBOSE */
+# define YYCOPY_NEEDED 1
+#endif
 
 
 #if (! defined yyoverflow \
@@ -521,23 +515,7 @@ union yyalloc
      ((N) * (sizeof (yytype_int16) + sizeof (YYSTYPE) + sizeof (YYLTYPE)) \
       + 2 * YYSTACK_GAP_MAXIMUM)
 
-/* Copy COUNT objects from FROM to TO.  The source and destination do
-   not overlap.  */
-# ifndef YYCOPY
-#  if defined __GNUC__ && 1 < __GNUC__
-#   define YYCOPY(To, From, Count) \
-      __builtin_memcpy (To, From, (Count) * sizeof (*(From)))
-#  else
-#   define YYCOPY(To, From, Count)             \
-      do                                       \
-       {                                       \
-         YYSIZE_T yyi;                         \
-         for (yyi = 0; yyi < (Count); yyi++)   \
-           (To)[yyi] = (From)[yyi];            \
-       }                                       \
-      while (YYID (0))
-#  endif
-# endif
+# define YYCOPY_NEEDED 1
 
 /* Relocate STACK from its old location to the new one.  The
    local variables YYSIZE and YYSTACKSIZE give the old and new number of
@@ -557,6 +535,26 @@ union yyalloc
 
 #endif
 
+#if defined YYCOPY_NEEDED && YYCOPY_NEEDED
+/* Copy COUNT objects from SRC to DST.  The source and destination do
+   not overlap.  */
+# ifndef YYCOPY
+#  if defined __GNUC__ && 1 < __GNUC__
+#   define YYCOPY(Dst, Src, Count) \
+      __builtin_memcpy (Dst, Src, (Count) * sizeof (*(Src)))
+#  else
+#   define YYCOPY(Dst, Src, Count)              \
+      do                                        \
+        {                                       \
+          YYSIZE_T yyi;                         \
+          for (yyi = 0; yyi < (Count); yyi++)   \
+            (Dst)[yyi] = (Src)[yyi];            \
+        }                                       \
+      while (YYID (0))
+#  endif
+# endif
+#endif /* !YYCOPY_NEEDED */
+
 /* YYFINAL -- State number of the termination state.  */
 #define YYFINAL  3
 /* YYLAST -- Last index in YYTABLE.  */
@@ -669,17 +667,17 @@ static const yytype_int8 yyrhs[] =
 /* YYRLINE[YYN] -- source line where rule number YYN was defined.  */
 static const yytype_uint16 yyrline[] =
 {
-       0,   209,   209,   217,   219,   223,   224,   234,   235,   240,
-     241,   246,   247,   248,   249,   250,   251,   256,   265,   266,
-     267,   268,   269,   270,   271,   272,   273,   274,   275,   290,
-     291,   315,   316,   317,   318,   322,   323,   324,   328,   335,
-     342,   346,   350,   357,   372,   373,   377,   389,   389,   394,
-     394,   399,   410,   425,   426,   427,   431,   432,   437,   439,
-     444,   445,   450,   452,   457,   458,   462,   463,   464,   465,
-     470,   475,   480,   486,   492,   503,   504,   513,   514,   520,
-     521,   522,   529,   529,   534,   535,   536,   541,   543,   545,
-     547,   549,   551,   556,   558,   569,   570,   575,   576,   577,
-     586,   606,   608,   617,   622,   623,   628,   635,   637
+       0,   228,   228,   236,   238,   242,   243,   253,   254,   259,
+     260,   265,   266,   267,   268,   269,   270,   275,   284,   285,
+     286,   287,   288,   289,   290,   291,   292,   293,   294,   309,
+     310,   334,   335,   336,   337,   341,   342,   343,   347,   354,
+     361,   365,   369,   376,   391,   392,   396,   408,   408,   413,
+     413,   418,   429,   444,   445,   446,   450,   451,   456,   458,
+     463,   464,   469,   471,   476,   477,   481,   482,   483,   484,
+     489,   494,   499,   505,   511,   522,   523,   532,   533,   539,
+     540,   541,   548,   548,   556,   557,   558,   563,   565,   567,
+     569,   571,   573,   578,   580,   591,   592,   597,   598,   599,
+     608,   628,   630,   639,   644,   645,   650,   657,   659
 };
 #endif
 
@@ -921,17 +919,19 @@ static const yytype_uint8 yystos[] =
 
 #define YYRECOVERING()  (!!yyerrstatus)
 
-#define YYBACKUP(Token, Value)                                 \
-do                                                             \
-  if (yychar == YYEMPTY && yylen == 1)                         \
-    {                                                          \
-      yychar = (Token);                                                \
-      yylval = (Value);                                                \
-      YYPOPSTACK (1);                                          \
-      goto yybackup;                                           \
-    }                                                          \
-  else                                                         \
-    {                                                          \
+#define YYBACKUP(Token, Value)                                  \
+do                                                              \
+  if (yychar == YYEMPTY)                                        \
+    {                                                           \
+      yychar = (Token);                                         \
+      yylval = (Value);                                         \
+      YYPOPSTACK (yylen);                                       \
+      yystate = *yyssp;                                         \
+      YY_LAC_DISCARD ("YYBACKUP");                              \
+      goto yybackup;                                            \
+    }                                                           \
+  else                                                          \
+    {                                                           \
       yyerror (YY_("syntax error: cannot back up")); \
       YYERROR;                                                 \
     }                                                          \
@@ -1049,165 +1049,165 @@ yy_symbol_value_print (yyoutput, yytype, yyvaluep, yylocationp)
     {
       case 3: /* "\"string\"" */
 
-/* Line 798 of yacc.c  */
-#line 184 "parse-gram.y"
+/* Line 821 of yacc.c  */
+#line 203 "parse-gram.y"
        { fputs (quotearg_style (c_quoting_style, (yyvaluep->chars)), stderr); };
 
-/* Line 798 of yacc.c  */
-#line 1058 "parse-gram.c"
+/* Line 821 of yacc.c  */
+#line 1058 "../../../src/parse-gram.c"
        break;
       case 4: /* "\"integer\"" */
 
-/* Line 798 of yacc.c  */
-#line 196 "parse-gram.y"
+/* Line 821 of yacc.c  */
+#line 215 "parse-gram.y"
        { fprintf (stderr, "%d", (yyvaluep->integer)); };
 
-/* Line 798 of yacc.c  */
-#line 1067 "parse-gram.c"
+/* Line 821 of yacc.c  */
+#line 1067 "../../../src/parse-gram.c"
        break;
       case 43: /* "\"{...}\"" */
 
-/* Line 798 of yacc.c  */
-#line 186 "parse-gram.y"
+/* Line 821 of yacc.c  */
+#line 205 "parse-gram.y"
        { fprintf (stderr, "{\n%s\n}", (yyvaluep->code)); };
 
-/* Line 798 of yacc.c  */
-#line 1076 "parse-gram.c"
+/* Line 821 of yacc.c  */
+#line 1076 "../../../src/parse-gram.c"
        break;
       case 44: /* "\"[identifier]\"" */
 
-/* Line 798 of yacc.c  */
-#line 191 "parse-gram.y"
+/* Line 821 of yacc.c  */
+#line 210 "parse-gram.y"
        { fprintf (stderr, "[%s]", (yyvaluep->uniqstr)); };
 
-/* Line 798 of yacc.c  */
-#line 1085 "parse-gram.c"
+/* Line 821 of yacc.c  */
+#line 1085 "../../../src/parse-gram.c"
        break;
       case 45: /* "\"char\"" */
 
-/* Line 798 of yacc.c  */
-#line 178 "parse-gram.y"
+/* Line 821 of yacc.c  */
+#line 197 "parse-gram.y"
        { fputs (char_name ((yyvaluep->character)), stderr); };
 
-/* Line 798 of yacc.c  */
-#line 1094 "parse-gram.c"
+/* Line 821 of yacc.c  */
+#line 1094 "../../../src/parse-gram.c"
        break;
       case 46: /* "\"epilogue\"" */
 
-/* Line 798 of yacc.c  */
-#line 186 "parse-gram.y"
+/* Line 821 of yacc.c  */
+#line 205 "parse-gram.y"
        { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); };
 
-/* Line 798 of yacc.c  */
-#line 1103 "parse-gram.c"
+/* Line 821 of yacc.c  */
+#line 1103 "../../../src/parse-gram.c"
        break;
       case 48: /* "\"identifier\"" */
 
-/* Line 798 of yacc.c  */
-#line 190 "parse-gram.y"
+/* Line 821 of yacc.c  */
+#line 209 "parse-gram.y"
        { fputs ((yyvaluep->uniqstr), stderr); };
 
-/* Line 798 of yacc.c  */
-#line 1112 "parse-gram.c"
+/* Line 821 of yacc.c  */
+#line 1112 "../../../src/parse-gram.c"
        break;
       case 49: /* "\"identifier:\"" */
 
-/* Line 798 of yacc.c  */
-#line 192 "parse-gram.y"
+/* Line 821 of yacc.c  */
+#line 211 "parse-gram.y"
        { fprintf (stderr, "%s:", (yyvaluep->uniqstr)); };
 
-/* Line 798 of yacc.c  */
-#line 1121 "parse-gram.c"
+/* Line 821 of yacc.c  */
+#line 1121 "../../../src/parse-gram.c"
        break;
       case 52: /* "\"%{...%}\"" */
 
-/* Line 798 of yacc.c  */
-#line 186 "parse-gram.y"
+/* Line 821 of yacc.c  */
+#line 205 "parse-gram.y"
        { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); };
 
-/* Line 798 of yacc.c  */
-#line 1130 "parse-gram.c"
+/* Line 821 of yacc.c  */
+#line 1130 "../../../src/parse-gram.c"
        break;
       case 54: /* "\"type\"" */
 
-/* Line 798 of yacc.c  */
-#line 193 "parse-gram.y"
+/* Line 821 of yacc.c  */
+#line 212 "parse-gram.y"
        { fprintf (stderr, "<%s>", (yyvaluep->uniqstr)); };
 
-/* Line 798 of yacc.c  */
-#line 1139 "parse-gram.c"
+/* Line 821 of yacc.c  */
+#line 1139 "../../../src/parse-gram.c"
        break;
       case 71: /* "symbol.prec" */
 
-/* Line 798 of yacc.c  */
-#line 199 "parse-gram.y"
+/* Line 821 of yacc.c  */
+#line 218 "parse-gram.y"
        { fprintf (stderr, "%s", (yyvaluep->symbol)->tag); };
 
-/* Line 798 of yacc.c  */
-#line 1148 "parse-gram.c"
+/* Line 821 of yacc.c  */
+#line 1148 "../../../src/parse-gram.c"
        break;
       case 84: /* "variable" */
 
-/* Line 798 of yacc.c  */
-#line 190 "parse-gram.y"
+/* Line 821 of yacc.c  */
+#line 209 "parse-gram.y"
        { fputs ((yyvaluep->uniqstr), stderr); };
 
-/* Line 798 of yacc.c  */
-#line 1157 "parse-gram.c"
+/* Line 821 of yacc.c  */
+#line 1157 "../../../src/parse-gram.c"
        break;
       case 85: /* "content.opt" */
 
-/* Line 798 of yacc.c  */
-#line 186 "parse-gram.y"
+/* Line 821 of yacc.c  */
+#line 205 "parse-gram.y"
        { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); };
 
-/* Line 798 of yacc.c  */
-#line 1166 "parse-gram.c"
+/* Line 821 of yacc.c  */
+#line 1166 "../../../src/parse-gram.c"
        break;
       case 86: /* "braceless" */
 
-/* Line 798 of yacc.c  */
-#line 186 "parse-gram.y"
+/* Line 821 of yacc.c  */
+#line 205 "parse-gram.y"
        { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); };
 
-/* Line 798 of yacc.c  */
-#line 1175 "parse-gram.c"
+/* Line 821 of yacc.c  */
+#line 1175 "../../../src/parse-gram.c"
        break;
       case 87: /* "id" */
 
-/* Line 798 of yacc.c  */
-#line 199 "parse-gram.y"
+/* Line 821 of yacc.c  */
+#line 218 "parse-gram.y"
        { fprintf (stderr, "%s", (yyvaluep->symbol)->tag); };
 
-/* Line 798 of yacc.c  */
-#line 1184 "parse-gram.c"
+/* Line 821 of yacc.c  */
+#line 1184 "../../../src/parse-gram.c"
        break;
       case 88: /* "id_colon" */
 
-/* Line 798 of yacc.c  */
-#line 200 "parse-gram.y"
+/* Line 821 of yacc.c  */
+#line 219 "parse-gram.y"
        { fprintf (stderr, "%s:", (yyvaluep->symbol)->tag); };
 
-/* Line 798 of yacc.c  */
-#line 1193 "parse-gram.c"
+/* Line 821 of yacc.c  */
+#line 1193 "../../../src/parse-gram.c"
        break;
       case 89: /* "symbol" */
 
-/* Line 798 of yacc.c  */
-#line 199 "parse-gram.y"
+/* Line 821 of yacc.c  */
+#line 218 "parse-gram.y"
        { fprintf (stderr, "%s", (yyvaluep->symbol)->tag); };
 
-/* Line 798 of yacc.c  */
-#line 1202 "parse-gram.c"
+/* Line 821 of yacc.c  */
+#line 1202 "../../../src/parse-gram.c"
        break;
       case 90: /* "string_as_id" */
 
-/* Line 798 of yacc.c  */
-#line 199 "parse-gram.y"
+/* Line 821 of yacc.c  */
+#line 218 "parse-gram.y"
        { fprintf (stderr, "%s", (yyvaluep->symbol)->tag); };
 
-/* Line 798 of yacc.c  */
-#line 1211 "parse-gram.c"
+/* Line 821 of yacc.c  */
+#line 1211 "../../../src/parse-gram.c"
        break;
       default:
        break;
@@ -1340,7 +1340,239 @@ int yydebug;
 # define YYMAXDEPTH 10000
 #endif
 
-\f
+/* Given a state stack such that *YYBOTTOM is its bottom, such that
+   *YYTOP is either its top or is YYTOP_EMPTY to indicate an empty
+   stack, and such that *YYCAPACITY is the maximum number of elements it
+   can hold without a reallocation, make sure there is enough room to
+   store YYADD more elements.  If not, allocate a new stack using
+   YYSTACK_ALLOC, copy the existing elements, and adjust *YYBOTTOM,
+   *YYTOP, and *YYCAPACITY to reflect the new capacity and memory
+   location.  If *YYBOTTOM != YYBOTTOM_NO_FREE, then free the old stack
+   using YYSTACK_FREE.  Return 0 if successful or if no reallocation is
+   required.  Return 1 if memory is exhausted.  */
+static int
+yy_lac_stack_realloc (YYSIZE_T *yycapacity, YYSIZE_T yyadd,
+#if YYDEBUG
+                      char const *yydebug_prefix,
+                      char const *yydebug_suffix,
+#endif
+                      yytype_int16 **yybottom,
+                      yytype_int16 *yybottom_no_free,
+                      yytype_int16 **yytop, yytype_int16 *yytop_empty)
+{
+  YYSIZE_T yysize_old =
+    *yytop == yytop_empty ? 0 : *yytop - *yybottom + 1;
+  YYSIZE_T yysize_new = yysize_old + yyadd;
+  if (*yycapacity < yysize_new)
+    {
+      YYSIZE_T yyalloc = 2 * yysize_new;
+      yytype_int16 *yybottom_new;
+      /* Use YYMAXDEPTH for maximum stack size given that the stack
+         should never need to grow larger than the main state stack
+         needs to grow without LAC.  */
+      if (YYMAXDEPTH < yysize_new)
+        {
+          YYDPRINTF ((stderr, "%smax size exceeded%s", yydebug_prefix,
+                      yydebug_suffix));
+          return 1;
+        }
+      if (YYMAXDEPTH < yyalloc)
+        yyalloc = YYMAXDEPTH;
+      yybottom_new =
+        (yytype_int16*) YYSTACK_ALLOC (yyalloc * sizeof *yybottom_new);
+      if (!yybottom_new)
+        {
+          YYDPRINTF ((stderr, "%srealloc failed%s", yydebug_prefix,
+                      yydebug_suffix));
+          return 1;
+        }
+      if (*yytop != yytop_empty)
+        {
+          YYCOPY (yybottom_new, *yybottom, yysize_old);
+          *yytop = yybottom_new + (yysize_old - 1);
+        }
+      if (*yybottom != yybottom_no_free)
+        YYSTACK_FREE (*yybottom);
+      *yybottom = yybottom_new;
+      *yycapacity = yyalloc;
+    }
+  return 0;
+}
+
+/* Establish the initial context for the current lookahead if no initial
+   context is currently established.
+
+   We define a context as a snapshot of the parser stacks.  We define
+   the initial context for a lookahead as the context in which the
+   parser initially examines that lookahead in order to select a
+   syntactic action.  Thus, if the lookahead eventually proves
+   syntactically unacceptable (possibly in a later context reached via a
+   series of reductions), the initial context can be used to determine
+   the exact set of tokens that would be syntactically acceptable in the
+   lookahead's place.  Moreover, it is the context after which any
+   further semantic actions would be erroneous because they would be
+   determined by a syntactically unacceptable token.
+
+   YY_LAC_ESTABLISH should be invoked when a reduction is about to be
+   performed in an inconsistent state (which, for the purposes of LAC,
+   includes consistent states that don't know they're consistent because
+   their default reductions have been disabled).  Iff there is a
+   lookahead token, it should also be invoked before reporting a syntax
+   error.  This latter case is for the sake of the debugging output.
+
+   For parse.lac=full, the implementation of YY_LAC_ESTABLISH is as
+   follows.  If no initial context is currently established for the
+   current lookahead, then check if that lookahead can eventually be
+   shifted if syntactic actions continue from the current context.
+   Report a syntax error if it cannot.  */
+#define YY_LAC_ESTABLISH                                         \
+do {                                                             \
+  if (!yy_lac_established)                                       \
+    {                                                            \
+      YYDPRINTF ((stderr,                                        \
+                  "LAC: initial context established for %s\n",   \
+                  yytname[yytoken]));                            \
+      yy_lac_established = 1;                                    \
+      {                                                          \
+        int yy_lac_status =                                      \
+          yy_lac (yyesa, &yyes, &yyes_capacity, yyssp, yytoken); \
+        if (yy_lac_status == 2)                                  \
+          goto yyexhaustedlab;                                   \
+        if (yy_lac_status == 1)                                  \
+          goto yyerrlab;                                         \
+      }                                                          \
+    }                                                            \
+} while (YYID (0))
+
+/* Discard any previous initial lookahead context because of Event,
+   which may be a lookahead change or an invalidation of the currently
+   established initial context for the current lookahead.
+
+   The most common example of a lookahead change is a shift.  An example
+   of both cases is syntax error recovery.  That is, a syntax error
+   occurs when the lookahead is syntactically erroneous for the
+   currently established initial context, so error recovery manipulates
+   the parser stacks to try to find a new initial context in which the
+   current lookahead is syntactically acceptable.  If it fails to find
+   such a context, it discards the lookahead.  */
+#if YYDEBUG
+# define YY_LAC_DISCARD(Event)                                           \
+do {                                                                     \
+  if (yy_lac_established)                                                \
+    {                                                                    \
+      if (yydebug)                                                       \
+        YYFPRINTF (stderr, "LAC: initial context discarded due to "      \
+                   Event "\n");                                          \
+      yy_lac_established = 0;                                            \
+    }                                                                    \
+} while (YYID (0))
+#else
+# define YY_LAC_DISCARD(Event) yy_lac_established = 0
+#endif
+
+/* Given the stack whose top is *YYSSP, return 0 iff YYTOKEN can
+   eventually (after perhaps some reductions) be shifted, return 1 if
+   not, or return 2 if memory is exhausted.  As preconditions and
+   postconditions: *YYES_CAPACITY is the allocated size of the array to
+   which *YYES points, and either *YYES = YYESA or *YYES points to an
+   array allocated with YYSTACK_ALLOC.  yy_lac may overwrite the
+   contents of either array, alter *YYES and *YYES_CAPACITY, and free
+   any old *YYES other than YYESA.  */
+static int
+yy_lac (yytype_int16 *yyesa, yytype_int16 **yyes,
+        YYSIZE_T *yyes_capacity, yytype_int16 *yyssp, int yytoken)
+{
+  yytype_int16 *yyes_prev = yyssp;
+  yytype_int16 *yyesp = yyes_prev;
+  YYDPRINTF ((stderr, "LAC: checking lookahead %s:", yytname[yytoken]));
+  if (yytoken == YYUNDEFTOK)
+    {
+      YYDPRINTF ((stderr, " Always Err\n"));
+      return 1;
+    }
+  while (1)
+    {
+      int yyrule = yypact[*yyesp];
+      if (yypact_value_is_default (yyrule)
+          || (yyrule += yytoken) < 0 || YYLAST < yyrule
+          || yycheck[yyrule] != yytoken)
+        {
+          yyrule = yydefact[*yyesp];
+          if (yyrule == 0)
+            {
+              YYDPRINTF ((stderr, " Err\n"));
+              return 1;
+            }
+        }
+      else
+        {
+          yyrule = yytable[yyrule];
+          if (yytable_value_is_error (yyrule))
+            {
+              YYDPRINTF ((stderr, " Err\n"));
+              return 1;
+            }
+          if (0 < yyrule)
+            {
+              YYDPRINTF ((stderr, " S%d\n", yyrule));
+              return 0;
+            }
+          yyrule = -yyrule;
+        }
+      {
+        YYSIZE_T yylen = yyr2[yyrule];
+        YYDPRINTF ((stderr, " R%d", yyrule - 1));
+        if (yyesp != yyes_prev)
+          {
+            YYSIZE_T yysize = yyesp - *yyes + 1;
+            if (yylen < yysize)
+              {
+                yyesp -= yylen;
+                yylen = 0;
+              }
+            else
+              {
+                yylen -= yysize;
+                yyesp = yyes_prev;
+              }
+          }
+        if (yylen)
+          yyesp = yyes_prev -= yylen;
+      }
+      {
+        int yystate;
+        {
+          int yylhs = yyr1[yyrule] - YYNTOKENS;
+          yystate = yypgoto[yylhs] + *yyesp;
+          if (yystate < 0 || YYLAST < yystate
+              || yycheck[yystate] != *yyesp)
+            yystate = yydefgoto[yylhs];
+          else
+            yystate = yytable[yystate];
+        }
+        if (yyesp == yyes_prev)
+          {
+            yyesp = *yyes;
+            *yyesp = yystate;
+          }
+        else
+          {
+            if (yy_lac_stack_realloc (yyes_capacity, 1,
+#if YYDEBUG
+                                      " (", ")",
+#endif
+                                      yyes, yyesa, &yyesp, yyes_prev))
+              {
+                YYDPRINTF ((stderr, "\n"));
+                return 2;
+              }
+            *++yyesp = yystate;
+          }
+        YYDPRINTF ((stderr, " G%d", yystate));
+      }
+    }
+}
+
 
 #if YYERROR_VERBOSE
 
@@ -1444,124 +1676,146 @@ yytnamerr (char *yyres, const char *yystr)
 # endif
 
 /* Copy into *YYMSG, which is of size *YYMSG_ALLOC, an error message
-   about the unexpected token YYTOKEN while in state YYSTATE.
-
-   Return 0 if *YYMSG was successfully written.  Return 1 if an ordinary
-   "syntax error" message will suffice instead.  Return 2 if *YYMSG is
-   not large enough to hold the message.  In the last case, also set
-   *YYMSG_ALLOC to either (a) the required number of bytes or (b) zero
-   if the required number of bytes is too large to store.  */
+   about the unexpected token YYTOKEN for the state stack whose top is
+   YYSSP.  In order to see if a particular token T is a
+   valid looakhead, invoke yy_lac (YYESA, YYES, YYES_CAPACITY, YYSSP, T).
+
+   Return 0 if *YYMSG was successfully written.  Return 1 if *YYMSG is
+   not large enough to hold the message.  In that case, also set
+   *YYMSG_ALLOC to the required number of bytes.  Return 2 if the
+   required number of bytes is too large to store or if
+   yy_lac returned 2.  */
 static int
 yysyntax_error (YYSIZE_T *yymsg_alloc, char **yymsg,
-                int yystate, int yytoken)
+                yytype_int16 *yyesa, yytype_int16 **yyes,
+                YYSIZE_T *yyes_capacity, yytype_int16 *yyssp, int yytoken)
 {
-  int yyn = yypact[yystate];
-
-  if (! (YYPACT_NINF < yyn && yyn <= YYLAST))
-    return 1;
-  else
+  YYSIZE_T yysize0 = yytnamerr (0, yytname[yytoken]);
+  YYSIZE_T yysize = yysize0;
+  YYSIZE_T yysize1;
+  enum { YYERROR_VERBOSE_ARGS_MAXIMUM = 5 };
+  /* Internationalized format string. */
+  const char *yyformat = 0;
+  /* Arguments of yyformat. */
+  char const *yyarg[YYERROR_VERBOSE_ARGS_MAXIMUM];
+  /* Number of reported tokens (one for the "unexpected", one per
+     "expected"). */
+  int yycount = 0;
+
+  /* There are many possibilities here to consider:
+     - Assume YYFAIL is not used.  It's too flawed to consider.  See
+       <http://lists.gnu.org/archive/html/bison-patches/2009-12/msg00024.html>
+       for details.  YYERROR is fine as it does not invoke this
+       function.
+     - If this state is a consistent state with a default action, then
+       the only way this function was invoked is if the default action
+       is an error action.  In that case, don't check for expected
+       tokens because there are none.
+     - The only way there can be no lookahead present (in yychar) is if
+       this state is a consistent state with a default action.  Thus,
+       detecting the absence of a lookahead is sufficient to determine
+       that there is no unexpected or expected token to report.  In that
+       case, just report a simple "syntax error".
+     - Don't assume there isn't a lookahead just because this state is a
+       consistent state with a default action.  There might have been a
+       previous inconsistent state, consistent state with a non-default
+       action, or user semantic action that manipulated yychar.
+       In the first two cases, it might appear that the current syntax
+       error should have been detected in the previous state when yy_lac
+       was invoked.  However, at that time, there might have been a
+       different syntax error that discarded a different initial context
+       during error recovery, leaving behind the current lookahead.
+  */
+  if (yytoken != YYEMPTY)
     {
-      YYSIZE_T yysize0 = yytnamerr (0, yytname[yytoken]);
-      YYSIZE_T yysize = yysize0;
-      YYSIZE_T yysize1;
-      enum { YYERROR_VERBOSE_ARGS_MAXIMUM = 5 };
-      /* Internationalized format string. */
-      const char *yyformat = 0;
-      /* Arguments of yyformat. */
-      char const *yyarg[YYERROR_VERBOSE_ARGS_MAXIMUM];
-
-      /* Start YYX at -YYN if negative to avoid negative indexes in
-        YYCHECK.  In other words, skip the first -YYN actions for this
-        state because they are default actions.  */
-      int yyxbegin = yyn < 0 ? -yyn : 0;
-
-      /* Stay within bounds of both yycheck and yytname.  */
-      int yychecklim = YYLAST - yyn + 1;
-      int yyxend = yychecklim < YYNTOKENS ? yychecklim : YYNTOKENS;
-      /* Number of reported tokens (one for the "unexpected", one per
-         "expected"). */
-      int yycount = 0;
-      int yyx;
-
+      int yyn = yypact[*yyssp];
+      YYDPRINTF ((stderr, "Constructing syntax error message\n"));
       yyarg[yycount++] = yytname[yytoken];
-
-      for (yyx = yyxbegin; yyx < yyxend; ++yyx)
-       if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR
-           && !yytable_value_is_error (yytable[yyx + yyn]))
-         {
-           if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM)
-             {
-               yycount = 1;
-               yysize = yysize0;
-               break;
-             }
-           yyarg[yycount++] = yytname[yyx];
-           yysize1 = yysize + yytnamerr (0, yytname[yyx]);
-           if (! (yysize <= yysize1
-                  && yysize1 <= YYSTACK_ALLOC_MAXIMUM))
-             {
-               /* Overflow.  */
-               *yymsg_alloc = 0;
-               return 2;
-             }
-           yysize = yysize1;
-         }
-
-      switch (yycount)
+      if (!yypact_value_is_default (yyn))
         {
-#define YYCASE_(N, S)                           \
-          case N:                               \
-            yyformat = S;                       \
-          break
-          YYCASE_(1, YY_("syntax error, unexpected %s"));
-          YYCASE_(2, YY_("syntax error, unexpected %s, expecting %s"));
-          YYCASE_(3, YY_("syntax error, unexpected %s, expecting %s or %s"));
-          YYCASE_(4, YY_("syntax error, unexpected %s, expecting %s or %s or %s"));
-          YYCASE_(5, YY_("syntax error, unexpected %s, expecting %s or %s or %s or %s"));
-#undef YYCASE_
+          int yyx;
+
+          for (yyx = 0; yyx < YYNTOKENS; ++yyx)
+            if (yyx != YYTERROR && yyx != YYUNDEFTOK)
+              {
+                {
+                  int yy_lac_status = yy_lac (yyesa, yyes, yyes_capacity,
+                                              yyssp, yyx);
+                  if (yy_lac_status == 2)
+                    return 2;
+                  if (yy_lac_status == 1)
+                    continue;
+                }
+                if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM)
+                  {
+                    yycount = 1;
+                    yysize = yysize0;
+                    break;
+                  }
+                yyarg[yycount++] = yytname[yyx];
+                yysize1 = yysize + yytnamerr (0, yytname[yyx]);
+                if (! (yysize <= yysize1
+                       && yysize1 <= YYSTACK_ALLOC_MAXIMUM))
+                  return 2;
+                yysize = yysize1;
+              }
         }
+# if YYDEBUG
+      else if (yydebug)
+        YYFPRINTF (stderr, "No expected tokens.\n");
+# endif
+    }
 
-      yysize1 = yysize + yystrlen (yyformat);
-      if (! (yysize <= yysize1 && yysize1 <= YYSTACK_ALLOC_MAXIMUM))
+  switch (yycount)
+    {
+# define YYCASE_(N, S)                      \
+      case N:                               \
+        yyformat = S;                       \
+      break
+      YYCASE_(0, YY_("syntax error"));
+      YYCASE_(1, YY_("syntax error, unexpected %s"));
+      YYCASE_(2, YY_("syntax error, unexpected %s, expecting %s"));
+      YYCASE_(3, YY_("syntax error, unexpected %s, expecting %s or %s"));
+      YYCASE_(4, YY_("syntax error, unexpected %s, expecting %s or %s or %s"));
+      YYCASE_(5, YY_("syntax error, unexpected %s, expecting %s or %s or %s or %s"));
+# undef YYCASE_
+    }
+
+  yysize1 = yysize + yystrlen (yyformat);
+  if (! (yysize <= yysize1 && yysize1 <= YYSTACK_ALLOC_MAXIMUM))
+    return 2;
+  yysize = yysize1;
+
+  if (*yymsg_alloc < yysize)
+    {
+      *yymsg_alloc = 2 * yysize;
+      if (! (yysize <= *yymsg_alloc
+             && *yymsg_alloc <= YYSTACK_ALLOC_MAXIMUM))
+        *yymsg_alloc = YYSTACK_ALLOC_MAXIMUM;
+      return 1;
+    }
+
+  /* Avoid sprintf, as that infringes on the user's name space.
+     Don't have undefined behavior even if the translation
+     produced a string with the wrong number of "%s"s.  */
+  {
+    char *yyp = *yymsg;
+    int yyi = 0;
+    while ((*yyp = *yyformat) != '\0')
+      if (*yyp == '%' && yyformat[1] == 's' && yyi < yycount)
         {
-          /* Overflow.  */
-          *yymsg_alloc = 0;
-          return 2;
+          yyp += yytnamerr (yyp, yyarg[yyi++]);
+          yyformat += 2;
         }
-      yysize = yysize1;
-
-      if (*yymsg_alloc < yysize)
+      else
         {
-          *yymsg_alloc = 2 * yysize;
-          if (! (yysize <= *yymsg_alloc
-                 && *yymsg_alloc <= YYSTACK_ALLOC_MAXIMUM))
-            *yymsg_alloc = YYSTACK_ALLOC_MAXIMUM;
-          return 2;
+          yyp++;
+          yyformat++;
         }
-
-      /* Avoid sprintf, as that infringes on the user's name space.
-         Don't have undefined behavior even if the translation
-         produced a string with the wrong number of "%s"s.  */
-      {
-        char *yyp = *yymsg;
-        int yyi = 0;
-        while ((*yyp = *yyformat) != '\0')
-          if (*yyp == '%' && yyformat[1] == 's' && yyi < yycount)
-            {
-              yyp += yytnamerr (yyp, yyarg[yyi++]);
-              yyformat += 2;
-            }
-          else
-            {
-              yyp++;
-              yyformat++;
-            }
-      }
-      return 0;
-    }
+  }
+  return 0;
 }
 #endif /* YYERROR_VERBOSE */
-\f
 
 /*-----------------------------------------------.
 | Release the memory associated to this symbol.  |
@@ -1679,10 +1933,15 @@ YYLTYPE yylloc;
     YYLTYPE *yylsp;
 
     /* The locations where the error started and ended.  */
-    YYLTYPE yyerror_range[2];
+    YYLTYPE yyerror_range[3];
 
     YYSIZE_T yystacksize;
 
+    yytype_int16 yyesa[20];
+    yytype_int16 *yyes;
+    YYSIZE_T yyes_capacity;
+
+  int yy_lac_established = 0;
   int yyn;
   int yyresult;
   /* Lookahead token as an internal (translated) token number.  */
@@ -1711,6 +1970,11 @@ YYLTYPE yylloc;
   yyls = yylsa;
   yystacksize = YYINITDEPTH;
 
+  yyes = yyesa;
+  yyes_capacity = sizeof yyesa / sizeof *yyes;
+  if (YYMAXDEPTH < yyes_capacity)
+    yyes_capacity = YYMAXDEPTH;
+
   YYDPRINTF ((stderr, "Starting parse\n"));
 
   yystate = 0;
@@ -1734,8 +1998,8 @@ YYLTYPE yylloc;
 
 /* User initialization code.  */
 
-/* Line 1281 of yacc.c  */
-#line 86 "parse-gram.y"
+/* Line 1592 of yacc.c  */
+#line 105 "parse-gram.y"
 {
   /* Bison's grammar can initial empty locations, hence a default
      location is needed. */
@@ -1743,8 +2007,8 @@ YYLTYPE yylloc;
   boundary_set (&yylloc.end, current_file, 1, 1);
 }
 
-/* Line 1281 of yacc.c  */
-#line 1748 "parse-gram.c"
+/* Line 1592 of yacc.c  */
+#line 2012 "../../../src/parse-gram.c"
   yylsp[0] = yylloc;
 
   goto yysetstate;
@@ -1870,12 +2134,16 @@ yybackup:
      detect an error, take that action.  */
   yyn += yytoken;
   if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken)
-    goto yydefault;
+    {
+      YY_LAC_ESTABLISH;
+      goto yydefault;
+    }
   yyn = yytable[yyn];
   if (yyn <= 0)
     {
       if (yytable_value_is_error (yyn))
-       goto yyerrlab;
+        goto yyerrlab;
+      YY_LAC_ESTABLISH;
       yyn = -yyn;
       goto yyreduce;
     }
@@ -1890,6 +2158,7 @@ yybackup:
 
   /* Discard the shifted token.  */
   yychar = YYEMPTY;
+  YY_LAC_DISCARD ("shift");
 
   yystate = yyn;
   *++yyvsp = yylval;
@@ -1927,12 +2196,14 @@ yyreduce:
   /* Default location.  */
   YYLLOC_DEFAULT (yyloc, (yylsp - yylen), yylen);
   YY_REDUCE_PRINT (yyn);
-  switch (yyn)
-    {
-        case 6:
+  {
+    int yychar_backup = yychar;
+    switch (yyn)
+      {
+          case 6:
 
-/* Line 1494 of yacc.c  */
-#line 225 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 244 "parse-gram.y"
     {
       code_props plain_code;
       code_props_plain_init (&plain_code, (yyvsp[(1) - (1)].chars), (yylsp[(1) - (1)]));
@@ -1946,15 +2217,15 @@ yyreduce:
 
   case 7:
 
-/* Line 1494 of yacc.c  */
-#line 234 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 253 "parse-gram.y"
     { debug_flag = true; }
     break;
 
   case 8:
 
-/* Line 1494 of yacc.c  */
-#line 236 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 255 "parse-gram.y"
     {
       muscle_percent_define_insert ((yyvsp[(2) - (3)].uniqstr), (yylsp[(2) - (3)]), (yyvsp[(3) - (3)].chars),
                                     MUSCLE_PERCENT_DEFINE_GRAMMAR_FILE);
@@ -1963,15 +2234,15 @@ yyreduce:
 
   case 9:
 
-/* Line 1494 of yacc.c  */
-#line 240 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 259 "parse-gram.y"
     { defines_flag = true; }
     break;
 
   case 10:
 
-/* Line 1494 of yacc.c  */
-#line 242 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 261 "parse-gram.y"
     {
       defines_flag = true;
       spec_defines_file = xstrdup ((yyvsp[(2) - (2)].chars));
@@ -1980,43 +2251,43 @@ yyreduce:
 
   case 11:
 
-/* Line 1494 of yacc.c  */
-#line 246 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 265 "parse-gram.y"
     { error_verbose = true; }
     break;
 
   case 12:
 
-/* Line 1494 of yacc.c  */
-#line 247 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 266 "parse-gram.y"
     { expected_sr_conflicts = (yyvsp[(2) - (2)].integer); }
     break;
 
   case 13:
 
-/* Line 1494 of yacc.c  */
-#line 248 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 267 "parse-gram.y"
     { expected_rr_conflicts = (yyvsp[(2) - (2)].integer); }
     break;
 
   case 14:
 
-/* Line 1494 of yacc.c  */
-#line 249 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 268 "parse-gram.y"
     { spec_file_prefix = (yyvsp[(2) - (2)].chars); }
     break;
 
   case 15:
 
-/* Line 1494 of yacc.c  */
-#line 250 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 269 "parse-gram.y"
     { spec_file_prefix = (yyvsp[(3) - (3)].chars); }
     break;
 
   case 16:
 
-/* Line 1494 of yacc.c  */
-#line 252 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 271 "parse-gram.y"
     {
       nondeterministic_parser = true;
       glr_parser = true;
@@ -2025,8 +2296,8 @@ yyreduce:
 
   case 17:
 
-/* Line 1494 of yacc.c  */
-#line 257 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 276 "parse-gram.y"
     {
       code_props action;
       code_props_symbol_action_init (&action, (yyvsp[(2) - (2)].code), (yylsp[(2) - (2)]));
@@ -2039,78 +2310,78 @@ yyreduce:
 
   case 18:
 
-/* Line 1494 of yacc.c  */
-#line 265 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 284 "parse-gram.y"
     { language_argmatch ((yyvsp[(2) - (2)].chars), grammar_prio, (yylsp[(1) - (2)])); }
     break;
 
   case 19:
 
-/* Line 1494 of yacc.c  */
-#line 266 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 285 "parse-gram.y"
     { add_param ("lex_param", (yyvsp[(2) - (2)].code), (yylsp[(2) - (2)])); }
     break;
 
   case 20:
 
-/* Line 1494 of yacc.c  */
-#line 267 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 286 "parse-gram.y"
     { locations_flag = true; }
     break;
 
   case 21:
 
-/* Line 1494 of yacc.c  */
-#line 268 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 287 "parse-gram.y"
     { spec_name_prefix = (yyvsp[(2) - (2)].chars); }
     break;
 
   case 22:
 
-/* Line 1494 of yacc.c  */
-#line 269 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 288 "parse-gram.y"
     { spec_name_prefix = (yyvsp[(3) - (3)].chars); }
     break;
 
   case 23:
 
-/* Line 1494 of yacc.c  */
-#line 270 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 289 "parse-gram.y"
     { no_lines_flag = true; }
     break;
 
   case 24:
 
-/* Line 1494 of yacc.c  */
-#line 271 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 290 "parse-gram.y"
     { nondeterministic_parser = true; }
     break;
 
   case 25:
 
-/* Line 1494 of yacc.c  */
-#line 272 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 291 "parse-gram.y"
     { spec_outfile = (yyvsp[(2) - (2)].chars); }
     break;
 
   case 26:
 
-/* Line 1494 of yacc.c  */
-#line 273 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 292 "parse-gram.y"
     { spec_outfile = (yyvsp[(3) - (3)].chars); }
     break;
 
   case 27:
 
-/* Line 1494 of yacc.c  */
-#line 274 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 293 "parse-gram.y"
     { add_param ("parse_param", (yyvsp[(2) - (2)].code), (yylsp[(2) - (2)])); }
     break;
 
   case 28:
 
-/* Line 1494 of yacc.c  */
-#line 276 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 295 "parse-gram.y"
     {
       /* %pure-parser is deprecated in favor of `%define api.pure', so use
          `%define api.pure' in a backward-compatible manner here.  First, don't
@@ -2129,18 +2400,18 @@ yyreduce:
 
   case 29:
 
-/* Line 1494 of yacc.c  */
-#line 290 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 309 "parse-gram.y"
     { version_check (&(yylsp[(2) - (2)]), (yyvsp[(2) - (2)].chars)); }
     break;
 
   case 30:
 
-/* Line 1494 of yacc.c  */
-#line 292 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 311 "parse-gram.y"
     {
       char const *skeleton_user = (yyvsp[(2) - (2)].chars);
-      if (strchr (skeleton_user, '/'))
+      if (mbschr (skeleton_user, '/'))
         {
           size_t dir_length = strlen (current_file);
           char *skeleton_build;
@@ -2165,29 +2436,29 @@ yyreduce:
 
   case 31:
 
-/* Line 1494 of yacc.c  */
-#line 315 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 334 "parse-gram.y"
     { token_table_flag = true; }
     break;
 
   case 32:
 
-/* Line 1494 of yacc.c  */
-#line 316 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 335 "parse-gram.y"
     { report_flag |= report_states; }
     break;
 
   case 33:
 
-/* Line 1494 of yacc.c  */
-#line 317 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 336 "parse-gram.y"
     { yacc_flag = true; }
     break;
 
   case 37:
 
-/* Line 1494 of yacc.c  */
-#line 325 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 344 "parse-gram.y"
     {
       grammar_start_symbol_set ((yyvsp[(2) - (2)].symbol), (yylsp[(2) - (2)]));
     }
@@ -2195,8 +2466,8 @@ yyreduce:
 
   case 38:
 
-/* Line 1494 of yacc.c  */
-#line 329 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 348 "parse-gram.y"
     {
       symbol_list *list;
       for (list = (yyvsp[(3) - (3)].list); list; list = list->next)
@@ -2207,8 +2478,8 @@ yyreduce:
 
   case 39:
 
-/* Line 1494 of yacc.c  */
-#line 336 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 355 "parse-gram.y"
     {
       symbol_list *list;
       for (list = (yyvsp[(3) - (3)].list); list; list = list->next)
@@ -2219,8 +2490,8 @@ yyreduce:
 
   case 40:
 
-/* Line 1494 of yacc.c  */
-#line 343 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 362 "parse-gram.y"
     {
       default_prec = true;
     }
@@ -2228,8 +2499,8 @@ yyreduce:
 
   case 41:
 
-/* Line 1494 of yacc.c  */
-#line 347 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 366 "parse-gram.y"
     {
       default_prec = false;
     }
@@ -2237,8 +2508,8 @@ yyreduce:
 
   case 42:
 
-/* Line 1494 of yacc.c  */
-#line 351 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 370 "parse-gram.y"
     {
       /* Do not invoke muscle_percent_code_grow here since it invokes
          muscle_user_name_list_grow.  */
@@ -2249,8 +2520,8 @@ yyreduce:
 
   case 43:
 
-/* Line 1494 of yacc.c  */
-#line 358 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 377 "parse-gram.y"
     {
       muscle_percent_code_grow ((yyvsp[(2) - (3)].uniqstr), (yylsp[(2) - (3)]), (yyvsp[(3) - (3)].chars), (yylsp[(3) - (3)]));
       code_scanner_last_string_free ();
@@ -2259,22 +2530,22 @@ yyreduce:
 
   case 44:
 
-/* Line 1494 of yacc.c  */
-#line 372 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 391 "parse-gram.y"
     {}
     break;
 
   case 45:
 
-/* Line 1494 of yacc.c  */
-#line 373 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 392 "parse-gram.y"
     { muscle_code_grow ("union_name", (yyvsp[(1) - (1)].uniqstr), (yylsp[(1) - (1)])); }
     break;
 
   case 46:
 
-/* Line 1494 of yacc.c  */
-#line 378 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 397 "parse-gram.y"
     {
       union_seen = true;
       muscle_code_grow ("stype", (yyvsp[(3) - (3)].chars), (yylsp[(3) - (3)]));
@@ -2284,15 +2555,15 @@ yyreduce:
 
   case 47:
 
-/* Line 1494 of yacc.c  */
-#line 389 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 408 "parse-gram.y"
     { current_class = nterm_sym; }
     break;
 
   case 48:
 
-/* Line 1494 of yacc.c  */
-#line 390 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 409 "parse-gram.y"
     {
       current_class = unknown_sym;
       current_type = NULL;
@@ -2301,15 +2572,15 @@ yyreduce:
 
   case 49:
 
-/* Line 1494 of yacc.c  */
-#line 394 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 413 "parse-gram.y"
     { current_class = token_sym; }
     break;
 
   case 50:
 
-/* Line 1494 of yacc.c  */
-#line 395 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 414 "parse-gram.y"
     {
       current_class = unknown_sym;
       current_type = NULL;
@@ -2318,8 +2589,8 @@ yyreduce:
 
   case 51:
 
-/* Line 1494 of yacc.c  */
-#line 400 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 419 "parse-gram.y"
     {
       symbol_list *list;
       tag_seen = true;
@@ -2331,8 +2602,8 @@ yyreduce:
 
   case 52:
 
-/* Line 1494 of yacc.c  */
-#line 411 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 430 "parse-gram.y"
     {
       symbol_list *list;
       ++current_prec;
@@ -2348,127 +2619,127 @@ yyreduce:
 
   case 53:
 
-/* Line 1494 of yacc.c  */
-#line 425 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 444 "parse-gram.y"
     { (yyval.assoc) = left_assoc; }
     break;
 
   case 54:
 
-/* Line 1494 of yacc.c  */
-#line 426 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 445 "parse-gram.y"
     { (yyval.assoc) = right_assoc; }
     break;
 
   case 55:
 
-/* Line 1494 of yacc.c  */
-#line 427 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 446 "parse-gram.y"
     { (yyval.assoc) = non_assoc; }
     break;
 
   case 56:
 
-/* Line 1494 of yacc.c  */
-#line 431 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 450 "parse-gram.y"
     { current_type = NULL; }
     break;
 
   case 57:
 
-/* Line 1494 of yacc.c  */
-#line 432 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 451 "parse-gram.y"
     { current_type = (yyvsp[(1) - (1)].uniqstr); tag_seen = true; }
     break;
 
   case 58:
 
-/* Line 1494 of yacc.c  */
-#line 438 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 457 "parse-gram.y"
     { (yyval.list) = symbol_list_sym_new ((yyvsp[(1) - (1)].symbol), (yylsp[(1) - (1)])); }
     break;
 
   case 59:
 
-/* Line 1494 of yacc.c  */
-#line 440 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 459 "parse-gram.y"
     { (yyval.list) = symbol_list_prepend ((yyvsp[(1) - (2)].list), symbol_list_sym_new ((yyvsp[(2) - (2)].symbol), (yylsp[(2) - (2)]))); }
     break;
 
   case 60:
 
-/* Line 1494 of yacc.c  */
-#line 444 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 463 "parse-gram.y"
     { (yyval.symbol) = (yyvsp[(1) - (1)].symbol); }
     break;
 
   case 61:
 
-/* Line 1494 of yacc.c  */
-#line 445 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 464 "parse-gram.y"
     { (yyval.symbol) = (yyvsp[(1) - (2)].symbol); symbol_user_token_number_set ((yyvsp[(1) - (2)].symbol), (yyvsp[(2) - (2)].integer), (yylsp[(2) - (2)])); }
     break;
 
   case 62:
 
-/* Line 1494 of yacc.c  */
-#line 451 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 470 "parse-gram.y"
     { (yyval.list) = symbol_list_sym_new ((yyvsp[(1) - (1)].symbol), (yylsp[(1) - (1)])); }
     break;
 
   case 63:
 
-/* Line 1494 of yacc.c  */
-#line 453 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 472 "parse-gram.y"
     { (yyval.list) = symbol_list_prepend ((yyvsp[(1) - (2)].list), symbol_list_sym_new ((yyvsp[(2) - (2)].symbol), (yylsp[(2) - (2)]))); }
     break;
 
   case 64:
 
-/* Line 1494 of yacc.c  */
-#line 457 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 476 "parse-gram.y"
     { (yyval.list) = (yyvsp[(1) - (1)].list); }
     break;
 
   case 65:
 
-/* Line 1494 of yacc.c  */
-#line 458 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 477 "parse-gram.y"
     { (yyval.list) = symbol_list_prepend ((yyvsp[(1) - (2)].list), (yyvsp[(2) - (2)].list)); }
     break;
 
   case 66:
 
-/* Line 1494 of yacc.c  */
-#line 462 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 481 "parse-gram.y"
     { (yyval.list) = symbol_list_sym_new ((yyvsp[(1) - (1)].symbol), (yylsp[(1) - (1)])); }
     break;
 
   case 67:
 
-/* Line 1494 of yacc.c  */
-#line 463 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 482 "parse-gram.y"
     { (yyval.list) = symbol_list_type_new ((yyvsp[(1) - (1)].uniqstr), (yylsp[(1) - (1)])); }
     break;
 
   case 68:
 
-/* Line 1494 of yacc.c  */
-#line 464 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 483 "parse-gram.y"
     { (yyval.list) = symbol_list_default_tagged_new ((yylsp[(1) - (1)])); }
     break;
 
   case 69:
 
-/* Line 1494 of yacc.c  */
-#line 465 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 484 "parse-gram.y"
     { (yyval.list) = symbol_list_default_tagless_new ((yylsp[(1) - (1)])); }
     break;
 
   case 70:
 
-/* Line 1494 of yacc.c  */
-#line 471 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 490 "parse-gram.y"
     {
        current_type = (yyvsp[(1) - (1)].uniqstr);
        tag_seen = true;
@@ -2477,8 +2748,8 @@ yyreduce:
 
   case 71:
 
-/* Line 1494 of yacc.c  */
-#line 476 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 495 "parse-gram.y"
     {
        symbol_class_set ((yyvsp[(1) - (1)].symbol), current_class, (yylsp[(1) - (1)]), true);
        symbol_type_set ((yyvsp[(1) - (1)].symbol), current_type, (yylsp[(1) - (1)]));
@@ -2487,8 +2758,8 @@ yyreduce:
 
   case 72:
 
-/* Line 1494 of yacc.c  */
-#line 481 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 500 "parse-gram.y"
     {
       symbol_class_set ((yyvsp[(1) - (2)].symbol), current_class, (yylsp[(1) - (2)]), true);
       symbol_type_set ((yyvsp[(1) - (2)].symbol), current_type, (yylsp[(1) - (2)]));
@@ -2498,8 +2769,8 @@ yyreduce:
 
   case 73:
 
-/* Line 1494 of yacc.c  */
-#line 487 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 506 "parse-gram.y"
     {
       symbol_class_set ((yyvsp[(1) - (2)].symbol), current_class, (yylsp[(1) - (2)]), true);
       symbol_type_set ((yyvsp[(1) - (2)].symbol), current_type, (yylsp[(1) - (2)]));
@@ -2509,8 +2780,8 @@ yyreduce:
 
   case 74:
 
-/* Line 1494 of yacc.c  */
-#line 493 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 512 "parse-gram.y"
     {
       symbol_class_set ((yyvsp[(1) - (3)].symbol), current_class, (yylsp[(1) - (3)]), true);
       symbol_type_set ((yyvsp[(1) - (3)].symbol), current_type, (yylsp[(1) - (3)]));
@@ -2521,8 +2792,8 @@ yyreduce:
 
   case 81:
 
-/* Line 1494 of yacc.c  */
-#line 523 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 542 "parse-gram.y"
     {
       yyerrok;
     }
@@ -2530,108 +2801,117 @@ yyreduce:
 
   case 82:
 
-/* Line 1494 of yacc.c  */
-#line 529 "parse-gram.y"
-    { current_lhs = (yyvsp[(1) - (2)].symbol); current_lhs_location = (yylsp[(1) - (2)]);
-    current_lhs_named_ref = (yyvsp[(2) - (2)].named_ref); }
+/* Line 1808 of yacc.c  */
+#line 548 "parse-gram.y"
+    { current_lhs ((yyvsp[(1) - (2)].symbol), (yylsp[(1) - (2)]), (yyvsp[(2) - (2)].named_ref)); }
+    break;
+
+  case 83:
+
+/* Line 1808 of yacc.c  */
+#line 549 "parse-gram.y"
+    {
+    /* Free the current lhs. */
+    current_lhs (0, (yylsp[(1) - (4)]), 0);
+  }
     break;
 
   case 84:
 
-/* Line 1494 of yacc.c  */
-#line 534 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 556 "parse-gram.y"
     { grammar_current_rule_end ((yylsp[(1) - (1)])); }
     break;
 
   case 85:
 
-/* Line 1494 of yacc.c  */
-#line 535 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 557 "parse-gram.y"
     { grammar_current_rule_end ((yylsp[(3) - (3)])); }
     break;
 
   case 87:
 
-/* Line 1494 of yacc.c  */
-#line 541 "parse-gram.y"
-    { grammar_current_rule_begin (current_lhs, current_lhs_location,
+/* Line 1808 of yacc.c  */
+#line 563 "parse-gram.y"
+    { grammar_current_rule_begin (current_lhs_symbol, current_lhs_location,
                                  current_lhs_named_ref); }
     break;
 
   case 88:
 
-/* Line 1494 of yacc.c  */
-#line 544 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 566 "parse-gram.y"
     { grammar_current_rule_symbol_append ((yyvsp[(2) - (3)].symbol), (yylsp[(2) - (3)]), (yyvsp[(3) - (3)].named_ref)); }
     break;
 
   case 89:
 
-/* Line 1494 of yacc.c  */
-#line 546 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 568 "parse-gram.y"
     { grammar_current_rule_action_append ((yyvsp[(2) - (3)].code), (yylsp[(2) - (3)]), (yyvsp[(3) - (3)].named_ref)); }
     break;
 
   case 90:
 
-/* Line 1494 of yacc.c  */
-#line 548 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 570 "parse-gram.y"
     { grammar_current_rule_prec_set ((yyvsp[(3) - (3)].symbol), (yylsp[(3) - (3)])); }
     break;
 
   case 91:
 
-/* Line 1494 of yacc.c  */
-#line 550 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 572 "parse-gram.y"
     { grammar_current_rule_dprec_set ((yyvsp[(3) - (3)].integer), (yylsp[(3) - (3)])); }
     break;
 
   case 92:
 
-/* Line 1494 of yacc.c  */
-#line 552 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 574 "parse-gram.y"
     { grammar_current_rule_merge_set ((yyvsp[(3) - (3)].uniqstr), (yylsp[(3) - (3)])); }
     break;
 
   case 93:
 
-/* Line 1494 of yacc.c  */
-#line 556 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 578 "parse-gram.y"
     { (yyval.named_ref) = 0; }
     break;
 
   case 94:
 
-/* Line 1494 of yacc.c  */
-#line 558 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 580 "parse-gram.y"
     { (yyval.named_ref) = named_ref_new((yyvsp[(1) - (1)].uniqstr), (yylsp[(1) - (1)])); }
     break;
 
   case 96:
 
-/* Line 1494 of yacc.c  */
-#line 570 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 592 "parse-gram.y"
     { (yyval.uniqstr) = uniqstr_new ((yyvsp[(1) - (1)].chars)); }
     break;
 
   case 97:
 
-/* Line 1494 of yacc.c  */
-#line 575 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 597 "parse-gram.y"
     { (yyval.chars) = ""; }
     break;
 
   case 98:
 
-/* Line 1494 of yacc.c  */
-#line 576 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 598 "parse-gram.y"
     { (yyval.chars) = (yyvsp[(1) - (1)].uniqstr); }
     break;
 
   case 100:
 
-/* Line 1494 of yacc.c  */
-#line 587 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 609 "parse-gram.y"
     {
       code_props plain_code;
       (yyvsp[(1) - (1)].code)[strlen ((yyvsp[(1) - (1)].code)) - 1] = '\n';
@@ -2644,15 +2924,15 @@ yyreduce:
 
   case 101:
 
-/* Line 1494 of yacc.c  */
-#line 607 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 629 "parse-gram.y"
     { (yyval.symbol) = symbol_from_uniqstr ((yyvsp[(1) - (1)].uniqstr), (yylsp[(1) - (1)])); }
     break;
 
   case 102:
 
-/* Line 1494 of yacc.c  */
-#line 609 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 631 "parse-gram.y"
     {
       (yyval.symbol) = symbol_get (char_name ((yyvsp[(1) - (1)].character)), (yylsp[(1) - (1)]));
       symbol_class_set ((yyval.symbol), token_sym, (yylsp[(1) - (1)]), false);
@@ -2662,15 +2942,15 @@ yyreduce:
 
   case 103:
 
-/* Line 1494 of yacc.c  */
-#line 617 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 639 "parse-gram.y"
     { (yyval.symbol) = symbol_from_uniqstr ((yyvsp[(1) - (1)].uniqstr), (yylsp[(1) - (1)])); }
     break;
 
   case 106:
 
-/* Line 1494 of yacc.c  */
-#line 629 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 651 "parse-gram.y"
     {
       (yyval.symbol) = symbol_get (quotearg_style (c_quoting_style, (yyvsp[(1) - (1)].chars)), (yylsp[(1) - (1)]));
       symbol_class_set ((yyval.symbol), token_sym, (yylsp[(1) - (1)]), false);
@@ -2679,8 +2959,8 @@ yyreduce:
 
   case 108:
 
-/* Line 1494 of yacc.c  */
-#line 638 "parse-gram.y"
+/* Line 1808 of yacc.c  */
+#line 660 "parse-gram.y"
     {
       code_props plain_code;
       code_props_plain_init (&plain_code, (yyvsp[(2) - (2)].chars), (yylsp[(2) - (2)]));
@@ -2693,10 +2973,13 @@ yyreduce:
 
 
 
-/* Line 1494 of yacc.c  */
-#line 2698 "parse-gram.c"
-      default: break;
-    }
+/* Line 1808 of yacc.c  */
+#line 2978 "../../../src/parse-gram.c"
+        default: break;
+      }
+    if (yychar_backup != yychar)
+      YY_LAC_DISCARD ("yychar change");
+  }
   /* User semantic actions sometimes alter yychar, and that requires
      that yytoken be updated with the new translation.  We take the
      approach of translating immediately before every use of yytoken.
@@ -2738,7 +3021,7 @@ yyreduce:
 yyerrlab:
   /* Make sure we have latest lookahead translation.  See comments at
      user semantic actions for why this is necessary.  */
-  yytoken = YYTRANSLATE (yychar);
+  yytoken = yychar == YYEMPTY ? YYEMPTY : YYTRANSLATE (yychar);
 
   /* If not already recovering from an error, report this error.  */
   if (!yyerrstatus)
@@ -2747,32 +3030,43 @@ yyerrlab:
 #if ! YYERROR_VERBOSE
       yyerror (YY_("syntax error"));
 #else
-      while (1)
-        {
-          int yysyntax_error_status =
-            yysyntax_error (&yymsg_alloc, &yymsg, yystate, yytoken);
-          if (yysyntax_error_status == 2 && 0 < yymsg_alloc)
-            {
-              if (yymsg != yymsgbuf)
-                YYSTACK_FREE (yymsg);
-              yymsg = (char *) YYSTACK_ALLOC (yymsg_alloc);
-              if (yymsg)
-                continue;
-              yymsg = yymsgbuf;
-              yymsg_alloc = sizeof yymsgbuf;
-            }
-          if (yysyntax_error_status == 0)
-            yyerror (yymsg);
-          else
-            yyerror (YY_("syntax error"));
-          if (yysyntax_error_status == 2)
-            goto yyexhaustedlab;
-          break;
-        }
+# define YYSYNTAX_ERROR yysyntax_error (&yymsg_alloc, &yymsg, \
+                                        yyesa, &yyes, &yyes_capacity, \
+                                        yyssp, yytoken)
+      {
+        char const *yymsgp = YY_("syntax error");
+        int yysyntax_error_status;
+        if (yychar != YYEMPTY)
+          YY_LAC_ESTABLISH;
+        yysyntax_error_status = YYSYNTAX_ERROR;
+        if (yysyntax_error_status == 0)
+          yymsgp = yymsg;
+        else if (yysyntax_error_status == 1)
+          {
+            if (yymsg != yymsgbuf)
+              YYSTACK_FREE (yymsg);
+            yymsg = (char *) YYSTACK_ALLOC (yymsg_alloc);
+            if (!yymsg)
+              {
+                yymsg = yymsgbuf;
+                yymsg_alloc = sizeof yymsgbuf;
+                yysyntax_error_status = 2;
+              }
+            else
+              {
+                yysyntax_error_status = YYSYNTAX_ERROR;
+                yymsgp = yymsg;
+              }
+          }
+        yyerror (yymsgp);
+        if (yysyntax_error_status == 2)
+          goto yyexhaustedlab;
+      }
+# undef YYSYNTAX_ERROR
 #endif
     }
 
-  yyerror_range[0] = yylloc;
+  yyerror_range[1] = yylloc;
 
   if (yyerrstatus == 3)
     {
@@ -2809,7 +3103,7 @@ yyerrorlab:
   if (/*CONSTCOND*/ 0)
      goto yyerrorlab;
 
-  yyerror_range[0] = yylsp[1-yylen];
+  yyerror_range[1] = yylsp[1-yylen];
   /* Do not reclaim the symbols of the rule which action triggered
      this YYERROR.  */
   YYPOPSTACK (yylen);
@@ -2843,7 +3137,7 @@ yyerrlab1:
       if (yyssp == yyss)
        YYABORT;
 
-      yyerror_range[0] = *yylsp;
+      yyerror_range[1] = *yylsp;
       yydestruct ("Error: popping",
                  yystos[yystate], yyvsp, yylsp);
       YYPOPSTACK (1);
@@ -2851,12 +3145,16 @@ yyerrlab1:
       YY_STACK_PRINT (yyss, yyssp);
     }
 
+  /* If the stack popping above didn't lose the initial context for the
+     current lookahead token, the shift below will for sure.  */
+  YY_LAC_DISCARD ("error recovery");
+
   *++yyvsp = yylval;
 
-  yyerror_range[1] = yylloc;
+  yyerror_range[2] = yylloc;
   /* Using YYLLOC is tempting, but would change the location of
      the lookahead.  YYLOC is available though.  */
-  YYLLOC_DEFAULT (yyloc, (yyerror_range - 1), 2);
+  YYLLOC_DEFAULT (yyloc, yyerror_range, 2);
   *++yylsp = yyloc;
 
   /* Shift the error token.  */
@@ -2880,7 +3178,7 @@ yyabortlab:
   yyresult = 1;
   goto yyreturn;
 
-#if !defined(yyoverflow) || YYERROR_VERBOSE
+#if 1
 /*-------------------------------------------------.
 | yyexhaustedlab -- memory exhaustion comes here.  |
 `-------------------------------------------------*/
@@ -2913,6 +3211,8 @@ yyreturn:
   if (yyss != yyssa)
     YYSTACK_FREE (yyss);
 #endif
+  if (yyes != yyesa)
+    YYSTACK_FREE (yyes);
 #if YYERROR_VERBOSE
   if (yymsg != yymsgbuf)
     YYSTACK_FREE (yymsg);
@@ -2923,8 +3223,8 @@ yyreturn:
 
 
 
-/* Line 1725 of yacc.c  */
-#line 648 "parse-gram.y"
+/* Line 2069 of yacc.c  */
+#line 670 "parse-gram.y"
 
 
 
@@ -2944,7 +3244,7 @@ lloc_default (YYLTYPE const *rhs, int n)
   loc.start = rhs[n].end;
   loc.end = rhs[n].end;
 
-  /* Ignore empty nonterminals the start of the the right-hand side.
+  /* Ignore empty nonterminals the start of the right-hand side.
      Do not bother to ignore them at the end of the right-hand side,
      since empty nonterminals have the same end as their predecessors.  */
   for (i = 1; i <= n; i++)
@@ -3016,8 +3316,8 @@ version_check (location const *loc, char const *version)
   if (strverscmp (version, PACKAGE_VERSION) > 0)
     {
       complain_at (*loc, "require bison %s, but have %s",
-                  version, PACKAGE_VERSION);
-      exit (63);
+                   version, PACKAGE_VERSION);
+      exit (EX_MISMATCH);
     }
 }