LCOV - code coverage report
Current view: top level - src/test/isolation - specparse.c (source / functions) Hit Total Coverage
Test: PostgreSQL 17devel Lines: 127 196 64.8 %
Date: 2024-03-29 12:13:04 Functions: 2 2 100.0 %
Legend: Lines: hit not hit

          Line data    Source code
       1             : /* A Bison parser, made by GNU Bison 3.7.5.  */
       2             : 
       3             : /* Bison implementation for Yacc-like parsers in C
       4             : 
       5             :    Copyright (C) 1984, 1989-1990, 2000-2015, 2018-2021 Free Software Foundation,
       6             :    Inc.
       7             : 
       8             :    This program is free software: you can redistribute it and/or modify
       9             :    it under the terms of the GNU General Public License as published by
      10             :    the Free Software Foundation, either version 3 of the License, or
      11             :    (at your option) any later version.
      12             : 
      13             :    This program is distributed in the hope that it will be useful,
      14             :    but WITHOUT ANY WARRANTY; without even the implied warranty of
      15             :    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
      16             :    GNU General Public License for more details.
      17             : 
      18             :    You should have received a copy of the GNU General Public License
      19             :    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
      20             : 
      21             : /* As a special exception, you may create a larger work that contains
      22             :    part or all of the Bison parser skeleton and distribute that work
      23             :    under terms of your choice, so long as that work isn't itself a
      24             :    parser generator using the skeleton or a modified version thereof
      25             :    as a parser skeleton.  Alternatively, if you modify or redistribute
      26             :    the parser skeleton itself, you may (at your option) remove this
      27             :    special exception, which will cause the skeleton and the resulting
      28             :    Bison output files to be licensed under the GNU General Public
      29             :    License without this special exception.
      30             : 
      31             :    This special exception was added by the Free Software Foundation in
      32             :    version 2.2 of Bison.  */
      33             : 
      34             : /* C LALR(1) parser skeleton written by Richard Stallman, by
      35             :    simplifying the original so-called "semantic" parser.  */
      36             : 
      37             : /* DO NOT RELY ON FEATURES THAT ARE NOT DOCUMENTED in the manual,
      38             :    especially those whose name start with YY_ or yy_.  They are
      39             :    private implementation details that can be changed or removed.  */
      40             : 
      41             : /* All symbols defined below should begin with yy or YY, to avoid
      42             :    infringing on user name space.  This should be done even for local
      43             :    variables, as they might otherwise be expanded by user macros.
      44             :    There are some unavoidable exceptions within include files to
      45             :    define necessary library symbols; they are noted "INFRINGES ON
      46             :    USER NAME SPACE" below.  */
      47             : 
      48             : /* Identify Bison output, and Bison version.  */
      49             : #define YYBISON 30705
      50             : 
      51             : /* Bison version string.  */
      52             : #define YYBISON_VERSION "3.7.5"
      53             : 
      54             : /* Skeleton name.  */
      55             : #define YYSKELETON_NAME "yacc.c"
      56             : 
      57             : /* Pure parsers.  */
      58             : #define YYPURE 0
      59             : 
      60             : /* Push parsers.  */
      61             : #define YYPUSH 0
      62             : 
      63             : /* Pull parsers.  */
      64             : #define YYPULL 1
      65             : 
      66             : 
      67             : /* Substitute the variable and function names.  */
      68             : #define yyparse         spec_yyparse
      69             : #define yylex           spec_yylex
      70             : #define yyerror         spec_yyerror
      71             : #define yydebug         spec_yydebug
      72             : #define yynerrs         spec_yynerrs
      73             : #define yylval          spec_yylval
      74             : #define yychar          spec_yychar
      75             : 
      76             : /* First part of user prologue.  */
      77             : #line 1 "specparse.y"
      78             : 
      79             : /*-------------------------------------------------------------------------
      80             :  *
      81             :  * specparse.y
      82             :  *    bison grammar for the isolation test file format
      83             :  *
      84             :  * Portions Copyright (c) 1996-2024, PostgreSQL Global Development Group
      85             :  * Portions Copyright (c) 1994, Regents of the University of California
      86             :  *
      87             :  *-------------------------------------------------------------------------
      88             :  */
      89             : 
      90             : #include "postgres_fe.h"
      91             : 
      92             : #include "isolationtester.h"
      93             : 
      94             : 
      95             : TestSpec        parseresult;            /* result of parsing is left here */
      96             : 
      97             : 
      98             : #line 99 "specparse.c"
      99             : 
     100             : # ifndef YY_CAST
     101             : #  ifdef __cplusplus
     102             : #   define YY_CAST(Type, Val) static_cast<Type> (Val)
     103             : #   define YY_REINTERPRET_CAST(Type, Val) reinterpret_cast<Type> (Val)
     104             : #  else
     105             : #   define YY_CAST(Type, Val) ((Type) (Val))
     106             : #   define YY_REINTERPRET_CAST(Type, Val) ((Type) (Val))
     107             : #  endif
     108             : # endif
     109             : # ifndef YY_NULLPTR
     110             : #  if defined __cplusplus
     111             : #   if 201103L <= __cplusplus
     112             : #    define YY_NULLPTR nullptr
     113             : #   else
     114             : #    define YY_NULLPTR 0
     115             : #   endif
     116             : #  else
     117             : #   define YY_NULLPTR ((void*)0)
     118             : #  endif
     119             : # endif
     120             : 
     121             : #include "specparse.h"
     122             : /* Symbol kind.  */
     123             : enum yysymbol_kind_t
     124             : {
     125             :   YYSYMBOL_YYEMPTY = -2,
     126             :   YYSYMBOL_YYEOF = 0,                      /* "end of file"  */
     127             :   YYSYMBOL_YYerror = 1,                    /* error  */
     128             :   YYSYMBOL_YYUNDEF = 2,                    /* "invalid token"  */
     129             :   YYSYMBOL_sqlblock = 3,                   /* sqlblock  */
     130             :   YYSYMBOL_identifier = 4,                 /* identifier  */
     131             :   YYSYMBOL_INTEGER = 5,                    /* INTEGER  */
     132             :   YYSYMBOL_NOTICES = 6,                    /* NOTICES  */
     133             :   YYSYMBOL_PERMUTATION = 7,                /* PERMUTATION  */
     134             :   YYSYMBOL_SESSION = 8,                    /* SESSION  */
     135             :   YYSYMBOL_SETUP = 9,                      /* SETUP  */
     136             :   YYSYMBOL_STEP = 10,                      /* STEP  */
     137             :   YYSYMBOL_TEARDOWN = 11,                  /* TEARDOWN  */
     138             :   YYSYMBOL_TEST = 12,                      /* TEST  */
     139             :   YYSYMBOL_13_ = 13,                       /* '('  */
     140             :   YYSYMBOL_14_ = 14,                       /* ')'  */
     141             :   YYSYMBOL_15_ = 15,                       /* ','  */
     142             :   YYSYMBOL_16_ = 16,                       /* '*'  */
     143             :   YYSYMBOL_YYACCEPT = 17,                  /* $accept  */
     144             :   YYSYMBOL_TestSpec = 18,                  /* TestSpec  */
     145             :   YYSYMBOL_setup_list = 19,                /* setup_list  */
     146             :   YYSYMBOL_opt_setup = 20,                 /* opt_setup  */
     147             :   YYSYMBOL_setup = 21,                     /* setup  */
     148             :   YYSYMBOL_opt_teardown = 22,              /* opt_teardown  */
     149             :   YYSYMBOL_session_list = 23,              /* session_list  */
     150             :   YYSYMBOL_session = 24,                   /* session  */
     151             :   YYSYMBOL_step_list = 25,                 /* step_list  */
     152             :   YYSYMBOL_step = 26,                      /* step  */
     153             :   YYSYMBOL_opt_permutation_list = 27,      /* opt_permutation_list  */
     154             :   YYSYMBOL_permutation_list = 28,          /* permutation_list  */
     155             :   YYSYMBOL_permutation = 29,               /* permutation  */
     156             :   YYSYMBOL_permutation_step_list = 30,     /* permutation_step_list  */
     157             :   YYSYMBOL_permutation_step = 31,          /* permutation_step  */
     158             :   YYSYMBOL_blocker_list = 32,              /* blocker_list  */
     159             :   YYSYMBOL_blocker = 33                    /* blocker  */
     160             : };
     161             : typedef enum yysymbol_kind_t yysymbol_kind_t;
     162             : 
     163             : 
     164             : 
     165             : 
     166             : #ifdef short
     167             : # undef short
     168             : #endif
     169             : 
     170             : /* On compilers that do not define __PTRDIFF_MAX__ etc., make sure
     171             :    <limits.h> and (if available) <stdint.h> are included
     172             :    so that the code can choose integer types of a good width.  */
     173             : 
     174             : #ifndef __PTRDIFF_MAX__
     175             : # include <limits.h> /* INFRINGES ON USER NAME SPACE */
     176             : # if defined __STDC_VERSION__ && 199901 <= __STDC_VERSION__
     177             : #  include <stdint.h> /* INFRINGES ON USER NAME SPACE */
     178             : #  define YY_STDINT_H
     179             : # endif
     180             : #endif
     181             : 
     182             : /* Narrow types that promote to a signed type and that can represent a
     183             :    signed or unsigned integer of at least N bits.  In tables they can
     184             :    save space and decrease cache pressure.  Promoting to a signed type
     185             :    helps avoid bugs in integer arithmetic.  */
     186             : 
     187             : #ifdef __INT_LEAST8_MAX__
     188             : typedef __INT_LEAST8_TYPE__ yytype_int8;
     189             : #elif defined YY_STDINT_H
     190             : typedef int_least8_t yytype_int8;
     191             : #else
     192             : typedef signed char yytype_int8;
     193             : #endif
     194             : 
     195             : #ifdef __INT_LEAST16_MAX__
     196             : typedef __INT_LEAST16_TYPE__ yytype_int16;
     197             : #elif defined YY_STDINT_H
     198             : typedef int_least16_t yytype_int16;
     199             : #else
     200             : typedef short yytype_int16;
     201             : #endif
     202             : 
     203             : /* Work around bug in HP-UX 11.23, which defines these macros
     204             :    incorrectly for preprocessor constants.  This workaround can likely
     205             :    be removed in 2023, as HPE has promised support for HP-UX 11.23
     206             :    (aka HP-UX 11i v2) only through the end of 2022; see Table 2 of
     207             :    <https://h20195.www2.hpe.com/V2/getpdf.aspx/4AA4-7673ENW.pdf>.  */
     208             : #ifdef __hpux
     209             : # undef UINT_LEAST8_MAX
     210             : # undef UINT_LEAST16_MAX
     211             : # define UINT_LEAST8_MAX 255
     212             : # define UINT_LEAST16_MAX 65535
     213             : #endif
     214             : 
     215             : #if defined __UINT_LEAST8_MAX__ && __UINT_LEAST8_MAX__ <= __INT_MAX__
     216             : typedef __UINT_LEAST8_TYPE__ yytype_uint8;
     217             : #elif (!defined __UINT_LEAST8_MAX__ && defined YY_STDINT_H \
     218             :        && UINT_LEAST8_MAX <= INT_MAX)
     219             : typedef uint_least8_t yytype_uint8;
     220             : #elif !defined __UINT_LEAST8_MAX__ && UCHAR_MAX <= INT_MAX
     221             : typedef unsigned char yytype_uint8;
     222             : #else
     223             : typedef short yytype_uint8;
     224             : #endif
     225             : 
     226             : #if defined __UINT_LEAST16_MAX__ && __UINT_LEAST16_MAX__ <= __INT_MAX__
     227             : typedef __UINT_LEAST16_TYPE__ yytype_uint16;
     228             : #elif (!defined __UINT_LEAST16_MAX__ && defined YY_STDINT_H \
     229             :        && UINT_LEAST16_MAX <= INT_MAX)
     230             : typedef uint_least16_t yytype_uint16;
     231             : #elif !defined __UINT_LEAST16_MAX__ && USHRT_MAX <= INT_MAX
     232             : typedef unsigned short yytype_uint16;
     233             : #else
     234             : typedef int yytype_uint16;
     235             : #endif
     236             : 
     237             : #ifndef YYPTRDIFF_T
     238             : # if defined __PTRDIFF_TYPE__ && defined __PTRDIFF_MAX__
     239             : #  define YYPTRDIFF_T __PTRDIFF_TYPE__
     240             : #  define YYPTRDIFF_MAXIMUM __PTRDIFF_MAX__
     241             : # elif defined PTRDIFF_MAX
     242             : #  ifndef ptrdiff_t
     243             : #   include <stddef.h> /* INFRINGES ON USER NAME SPACE */
     244             : #  endif
     245             : #  define YYPTRDIFF_T ptrdiff_t
     246             : #  define YYPTRDIFF_MAXIMUM PTRDIFF_MAX
     247             : # else
     248             : #  define YYPTRDIFF_T long
     249             : #  define YYPTRDIFF_MAXIMUM LONG_MAX
     250             : # endif
     251             : #endif
     252             : 
     253             : #ifndef YYSIZE_T
     254             : # ifdef __SIZE_TYPE__
     255             : #  define YYSIZE_T __SIZE_TYPE__
     256             : # elif defined size_t
     257             : #  define YYSIZE_T size_t
     258             : # elif defined __STDC_VERSION__ && 199901 <= __STDC_VERSION__
     259             : #  include <stddef.h> /* INFRINGES ON USER NAME SPACE */
     260             : #  define YYSIZE_T size_t
     261             : # else
     262             : #  define YYSIZE_T unsigned
     263             : # endif
     264             : #endif
     265             : 
     266             : #define YYSIZE_MAXIMUM                                  \
     267             :   YY_CAST (YYPTRDIFF_T,                                 \
     268             :            (YYPTRDIFF_MAXIMUM < YY_CAST (YYSIZE_T, -1)  \
     269             :             ? YYPTRDIFF_MAXIMUM                         \
     270             :             : YY_CAST (YYSIZE_T, -1)))
     271             : 
     272             : #define YYSIZEOF(X) YY_CAST (YYPTRDIFF_T, sizeof (X))
     273             : 
     274             : 
     275             : /* Stored state numbers (used for stacks). */
     276             : typedef yytype_int8 yy_state_t;
     277             : 
     278             : /* State numbers in computations.  */
     279             : typedef int yy_state_fast_t;
     280             : 
     281             : #ifndef YY_
     282             : # if defined YYENABLE_NLS && YYENABLE_NLS
     283             : #  if ENABLE_NLS
     284             : #   include <libintl.h> /* INFRINGES ON USER NAME SPACE */
     285             : #   define YY_(Msgid) dgettext ("bison-runtime", Msgid)
     286             : #  endif
     287             : # endif
     288             : # ifndef YY_
     289             : #  define YY_(Msgid) Msgid
     290             : # endif
     291             : #endif
     292             : 
     293             : 
     294             : #ifndef YY_ATTRIBUTE_PURE
     295             : # if defined __GNUC__ && 2 < __GNUC__ + (96 <= __GNUC_MINOR__)
     296             : #  define YY_ATTRIBUTE_PURE __attribute__ ((__pure__))
     297             : # else
     298             : #  define YY_ATTRIBUTE_PURE
     299             : # endif
     300             : #endif
     301             : 
     302             : #ifndef YY_ATTRIBUTE_UNUSED
     303             : # if defined __GNUC__ && 2 < __GNUC__ + (7 <= __GNUC_MINOR__)
     304             : #  define YY_ATTRIBUTE_UNUSED __attribute__ ((__unused__))
     305             : # else
     306             : #  define YY_ATTRIBUTE_UNUSED
     307             : # endif
     308             : #endif
     309             : 
     310             : /* Suppress unused-variable warnings by "using" E.  */
     311             : #if ! defined lint || defined __GNUC__
     312             : # define YY_USE(E) ((void) (E))
     313             : #else
     314             : # define YY_USE(E) /* empty */
     315             : #endif
     316             : 
     317             : #if defined __GNUC__ && ! defined __ICC && 407 <= __GNUC__ * 100 + __GNUC_MINOR__
     318             : /* Suppress an incorrect diagnostic about yylval being uninitialized.  */
     319             : # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN                            \
     320             :     _Pragma ("GCC diagnostic push")                                     \
     321             :     _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"")              \
     322             :     _Pragma ("GCC diagnostic ignored \"-Wmaybe-uninitialized\"")
     323             : # define YY_IGNORE_MAYBE_UNINITIALIZED_END      \
     324             :     _Pragma ("GCC diagnostic pop")
     325             : #else
     326             : # define YY_INITIAL_VALUE(Value) Value
     327             : #endif
     328             : #ifndef YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
     329             : # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
     330             : # define YY_IGNORE_MAYBE_UNINITIALIZED_END
     331             : #endif
     332             : #ifndef YY_INITIAL_VALUE
     333             : # define YY_INITIAL_VALUE(Value) /* Nothing. */
     334             : #endif
     335             : 
     336             : #if defined __cplusplus && defined __GNUC__ && ! defined __ICC && 6 <= __GNUC__
     337             : # define YY_IGNORE_USELESS_CAST_BEGIN                          \
     338             :     _Pragma ("GCC diagnostic push")                            \
     339             :     _Pragma ("GCC diagnostic ignored \"-Wuseless-cast\"")
     340             : # define YY_IGNORE_USELESS_CAST_END            \
     341             :     _Pragma ("GCC diagnostic pop")
     342             : #endif
     343             : #ifndef YY_IGNORE_USELESS_CAST_BEGIN
     344             : # define YY_IGNORE_USELESS_CAST_BEGIN
     345             : # define YY_IGNORE_USELESS_CAST_END
     346             : #endif
     347             : 
     348             : 
     349             : #define YY_ASSERT(E) ((void) (0 && (E)))
     350             : 
     351             : #if !defined yyoverflow
     352             : 
     353             : /* The parser invokes alloca or malloc; define the necessary symbols.  */
     354             : 
     355             : # ifdef YYSTACK_USE_ALLOCA
     356             : #  if YYSTACK_USE_ALLOCA
     357             : #   ifdef __GNUC__
     358             : #    define YYSTACK_ALLOC __builtin_alloca
     359             : #   elif defined __BUILTIN_VA_ARG_INCR
     360             : #    include <alloca.h> /* INFRINGES ON USER NAME SPACE */
     361             : #   elif defined _AIX
     362             : #    define YYSTACK_ALLOC __alloca
     363             : #   elif defined _MSC_VER
     364             : #    include <malloc.h> /* INFRINGES ON USER NAME SPACE */
     365             : #    define alloca _alloca
     366             : #   else
     367             : #    define YYSTACK_ALLOC alloca
     368             : #    if ! defined _ALLOCA_H && ! defined EXIT_SUCCESS
     369             : #     include <stdlib.h> /* INFRINGES ON USER NAME SPACE */
     370             :       /* Use EXIT_SUCCESS as a witness for stdlib.h.  */
     371             : #     ifndef EXIT_SUCCESS
     372             : #      define EXIT_SUCCESS 0
     373             : #     endif
     374             : #    endif
     375             : #   endif
     376             : #  endif
     377             : # endif
     378             : 
     379             : # ifdef YYSTACK_ALLOC
     380             :    /* Pacify GCC's 'empty if-body' warning.  */
     381             : #  define YYSTACK_FREE(Ptr) do { /* empty */; } while (0)
     382             : #  ifndef YYSTACK_ALLOC_MAXIMUM
     383             :     /* The OS might guarantee only one guard page at the bottom of the stack,
     384             :        and a page size can be as small as 4096 bytes.  So we cannot safely
     385             :        invoke alloca (N) if N exceeds 4096.  Use a slightly smaller number
     386             :        to allow for a few compiler-allocated temporary stack slots.  */
     387             : #   define YYSTACK_ALLOC_MAXIMUM 4032 /* reasonable circa 2006 */
     388             : #  endif
     389             : # else
     390             : #  define YYSTACK_ALLOC YYMALLOC
     391             : #  define YYSTACK_FREE YYFREE
     392             : #  ifndef YYSTACK_ALLOC_MAXIMUM
     393             : #   define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM
     394             : #  endif
     395             : #  if (defined __cplusplus && ! defined EXIT_SUCCESS \
     396             :        && ! ((defined YYMALLOC || defined malloc) \
     397             :              && (defined YYFREE || defined free)))
     398             : #   include <stdlib.h> /* INFRINGES ON USER NAME SPACE */
     399             : #   ifndef EXIT_SUCCESS
     400             : #    define EXIT_SUCCESS 0
     401             : #   endif
     402             : #  endif
     403             : #  ifndef YYMALLOC
     404             : #   define YYMALLOC malloc
     405             : #   if ! defined malloc && ! defined EXIT_SUCCESS
     406             : void *malloc (YYSIZE_T); /* INFRINGES ON USER NAME SPACE */
     407             : #   endif
     408             : #  endif
     409             : #  ifndef YYFREE
     410             : #   define YYFREE free
     411             : #   if ! defined free && ! defined EXIT_SUCCESS
     412             : void free (void *); /* INFRINGES ON USER NAME SPACE */
     413             : #   endif
     414             : #  endif
     415             : # endif
     416             : #endif /* !defined yyoverflow */
     417             : 
     418             : #if (! defined yyoverflow \
     419             :      && (! defined __cplusplus \
     420             :          || (defined YYSTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL)))
     421             : 
     422             : /* A type that is properly aligned for any stack member.  */
     423             : union yyalloc
     424             : {
     425             :   yy_state_t yyss_alloc;
     426             :   YYSTYPE yyvs_alloc;
     427             : };
     428             : 
     429             : /* The size of the maximum gap between one aligned stack and the next.  */
     430             : # define YYSTACK_GAP_MAXIMUM (YYSIZEOF (union yyalloc) - 1)
     431             : 
     432             : /* The size of an array large to enough to hold all stacks, each with
     433             :    N elements.  */
     434             : # define YYSTACK_BYTES(N) \
     435             :      ((N) * (YYSIZEOF (yy_state_t) + YYSIZEOF (YYSTYPE)) \
     436             :       + YYSTACK_GAP_MAXIMUM)
     437             : 
     438             : # define YYCOPY_NEEDED 1
     439             : 
     440             : /* Relocate STACK from its old location to the new one.  The
     441             :    local variables YYSIZE and YYSTACKSIZE give the old and new number of
     442             :    elements in the stack, and YYPTR gives the new location of the
     443             :    stack.  Advance YYPTR to a properly aligned location for the next
     444             :    stack.  */
     445             : # define YYSTACK_RELOCATE(Stack_alloc, Stack)                           \
     446             :     do                                                                  \
     447             :       {                                                                 \
     448             :         YYPTRDIFF_T yynewbytes;                                         \
     449             :         YYCOPY (&yyptr->Stack_alloc, Stack, yysize);                    \
     450             :         Stack = &yyptr->Stack_alloc;                                    \
     451             :         yynewbytes = yystacksize * YYSIZEOF (*Stack) + YYSTACK_GAP_MAXIMUM; \
     452             :         yyptr += yynewbytes / YYSIZEOF (*yyptr);                        \
     453             :       }                                                                 \
     454             :     while (0)
     455             : 
     456             : #endif
     457             : 
     458             : #if defined YYCOPY_NEEDED && YYCOPY_NEEDED
     459             : /* Copy COUNT objects from SRC to DST.  The source and destination do
     460             :    not overlap.  */
     461             : # ifndef YYCOPY
     462             : #  if defined __GNUC__ && 1 < __GNUC__
     463             : #   define YYCOPY(Dst, Src, Count) \
     464             :       __builtin_memcpy (Dst, Src, YY_CAST (YYSIZE_T, (Count)) * sizeof (*(Src)))
     465             : #  else
     466             : #   define YYCOPY(Dst, Src, Count)              \
     467             :       do                                        \
     468             :         {                                       \
     469             :           YYPTRDIFF_T yyi;                      \
     470             :           for (yyi = 0; yyi < (Count); yyi++)   \
     471             :             (Dst)[yyi] = (Src)[yyi];            \
     472             :         }                                       \
     473             :       while (0)
     474             : #  endif
     475             : # endif
     476             : #endif /* !YYCOPY_NEEDED */
     477             : 
     478             : /* YYFINAL -- State number of the termination state.  */
     479             : #define YYFINAL  3
     480             : /* YYLAST -- Last index in YYTABLE.  */
     481             : #define YYLAST   41
     482             : 
     483             : /* YYNTOKENS -- Number of terminals.  */
     484             : #define YYNTOKENS  17
     485             : /* YYNNTS -- Number of nonterminals.  */
     486             : #define YYNNTS  17
     487             : /* YYNRULES -- Number of rules.  */
     488             : #define YYNRULES  29
     489             : /* YYNSTATES -- Number of states.  */
     490             : #define YYNSTATES  43
     491             : 
     492             : /* YYMAXUTOK -- Last valid token kind.  */
     493             : #define YYMAXUTOK   267
     494             : 
     495             : 
     496             : /* YYTRANSLATE(TOKEN-NUM) -- Symbol number corresponding to TOKEN-NUM
     497             :    as returned by yylex, with out-of-bounds checking.  */
     498             : #define YYTRANSLATE(YYX)                                \
     499             :   (0 <= (YYX) && (YYX) <= YYMAXUTOK                     \
     500             :    ? YY_CAST (yysymbol_kind_t, yytranslate[YYX])        \
     501             :    : YYSYMBOL_YYUNDEF)
     502             : 
     503             : /* YYTRANSLATE[TOKEN-NUM] -- Symbol number corresponding to TOKEN-NUM
     504             :    as returned by yylex.  */
     505             : static const yytype_int8 yytranslate[] =
     506             : {
     507             :        0,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     508             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     509             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     510             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     511             :       13,    14,    16,     2,    15,     2,     2,     2,     2,     2,
     512             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     513             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     514             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     515             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     516             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     517             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     518             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     519             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     520             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     521             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     522             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     523             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     524             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     525             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     526             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     527             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     528             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     529             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     530             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     531             :        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     532             :        2,     2,     2,     2,     2,     2,     1,     2,     3,     4,
     533             :        5,     6,     7,     8,     9,    10,    11,    12
     534             : };
     535             : 
     536             : #if YYDEBUG
     537             :   /* YYRLINE[YYN] -- Source line where rule number YYN was defined.  */
     538             : static const yytype_int16 yyrline[] =
     539             : {
     540             :        0,    59,    59,    76,    80,    90,    91,    95,    99,   100,
     541             :      104,   111,   120,   132,   139,   149,   161,   166,   172,   179,
     542             :      189,   198,   205,   214,   222,   233,   240,   249,   258,   267
     543             : };
     544             : #endif
     545             : 
     546             : /** Accessing symbol of state STATE.  */
     547             : #define YY_ACCESSING_SYMBOL(State) YY_CAST (yysymbol_kind_t, yystos[State])
     548             : 
     549             : #if YYDEBUG || 0
     550             : /* The user-facing name of the symbol whose (internal) number is
     551             :    YYSYMBOL.  No bounds checking.  */
     552             : static const char *yysymbol_name (yysymbol_kind_t yysymbol) YY_ATTRIBUTE_UNUSED;
     553             : 
     554             : /* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM.
     555             :    First, the terminals, then, starting at YYNTOKENS, nonterminals.  */
     556             : static const char *const yytname[] =
     557             : {
     558             :   "\"end of file\"", "error", "\"invalid token\"", "sqlblock",
     559             :   "identifier", "INTEGER", "NOTICES", "PERMUTATION", "SESSION", "SETUP",
     560             :   "STEP", "TEARDOWN", "TEST", "'('", "')'", "','", "'*'", "$accept",
     561             :   "TestSpec", "setup_list", "opt_setup", "setup", "opt_teardown",
     562             :   "session_list", "session", "step_list", "step", "opt_permutation_list",
     563             :   "permutation_list", "permutation", "permutation_step_list",
     564             :   "permutation_step", "blocker_list", "blocker", YY_NULLPTR
     565             : };
     566             : 
     567             : static const char *
     568             : yysymbol_name (yysymbol_kind_t yysymbol)
     569             : {
     570             :   return yytname[yysymbol];
     571             : }
     572             : #endif
     573             : 
     574             : #ifdef YYPRINT
     575             : /* YYTOKNUM[NUM] -- (External) token number corresponding to the
     576             :    (internal) symbol number NUM (which must be that of a token).  */
     577             : static const yytype_int16 yytoknum[] =
     578             : {
     579             :        0,   256,   257,   258,   259,   260,   261,   262,   263,   264,
     580             :      265,   266,   267,    40,    41,    44,    42
     581             : };
     582             : #endif
     583             : 
     584             : #define YYPACT_NINF (-14)
     585             : 
     586             : #define yypact_value_is_default(Yyn) \
     587             :   ((Yyn) == YYPACT_NINF)
     588             : 
     589             : #define YYTABLE_NINF (-1)
     590             : 
     591             : #define yytable_value_is_error(Yyn) \
     592             :   0
     593             : 
     594             :   /* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
     595             :      STATE-NUM.  */
     596             : static const yytype_int8 yypact[] =
     597             : {
     598             :      -14,     2,    -8,   -14,     3,     4,   -14,     7,   -14,   -14,
     599             :        6,    -3,   -14,     8,    12,   -14,   -14,    11,   -14,     1,
     600             :      -14,     9,    12,   -14,   -14,    15,    -2,   -14,    -4,   -14,
     601             :       17,   -14,   -14,    18,   -14,    -1,   -14,   -14,    16,   -14,
     602             :       -4,   -14,   -14
     603             : };
     604             : 
     605             :   /* YYDEFACT[STATE-NUM] -- Default reduction number in state STATE-NUM.
     606             :      Performed when YYTABLE does not specify something else to do.  Zero
     607             :      means the default is an error.  */
     608             : static const yytype_int8 yydefact[] =
     609             : {
     610             :        3,     0,     8,     1,     0,     0,     4,     0,     7,     9,
     611             :        0,    17,    11,     5,     0,    10,     2,    16,    19,     0,
     612             :        6,    23,    20,    22,    18,     0,     8,    14,     0,    21,
     613             :        0,    12,    13,    27,    29,     0,    26,    15,     0,    24,
     614             :        0,    28,    25
     615             : };
     616             : 
     617             :   /* YYPGOTO[NTERM-NUM].  */
     618             : static const yytype_int8 yypgoto[] =
     619             : {
     620             :      -14,   -14,   -14,   -14,    10,     0,   -14,    14,   -14,     5,
     621             :      -14,   -14,    13,   -14,    19,   -14,   -13
     622             : };
     623             : 
     624             :   /* YYDEFGOTO[NTERM-NUM].  */
     625             : static const yytype_int8 yydefgoto[] =
     626             : {
     627             :        0,     1,     2,    19,     6,     7,    11,    12,    26,    27,
     628             :       16,    17,    18,    22,    23,    35,    36
     629             : };
     630             : 
     631             :   /* YYTABLE[YYPACT[STATE-NUM]] -- What to do in state STATE-NUM.  If
     632             :      positive, shift that token.  If negative, reduce the rule whose
     633             :      number is the opposite.  If YYTABLE_NINF, syntax error.  */
     634             : static const yytype_int8 yytable[] =
     635             : {
     636             :       33,     4,     3,     5,    14,    10,     8,     9,    25,     5,
     637             :       13,    25,    34,    39,    40,    10,    21,     4,    14,    30,
     638             :       37,    41,    28,    20,    38,    15,    31,    42,     0,     0,
     639             :       24,    32,     0,     0,     0,     0,     0,     0,     0,     0,
     640             :        0,    29
     641             : };
     642             : 
     643             : static const yytype_int8 yycheck[] =
     644             : {
     645             :        4,     9,     0,    11,     7,     8,     3,     3,    10,    11,
     646             :        4,    10,    16,    14,    15,     8,     4,     9,     7,     4,
     647             :        3,     5,    13,    13,     6,    11,    26,    40,    -1,    -1,
     648             :       17,    26,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     649             :       -1,    22
     650             : };
     651             : 
     652             :   /* YYSTOS[STATE-NUM] -- The (internal number of the) accessing
     653             :      symbol of state STATE-NUM.  */
     654             : static const yytype_int8 yystos[] =
     655             : {
     656             :        0,    18,    19,     0,     9,    11,    21,    22,     3,     3,
     657             :        8,    23,    24,     4,     7,    24,    27,    28,    29,    20,
     658             :       21,     4,    30,    31,    29,    10,    25,    26,    13,    31,
     659             :        4,    22,    26,     4,    16,    32,    33,     3,     6,    14,
     660             :       15,     5,    33
     661             : };
     662             : 
     663             :   /* YYR1[YYN] -- Symbol number of symbol that rule YYN derives.  */
     664             : static const yytype_int8 yyr1[] =
     665             : {
     666             :        0,    17,    18,    19,    19,    20,    20,    21,    22,    22,
     667             :       23,    23,    24,    25,    25,    26,    27,    27,    28,    28,
     668             :       29,    30,    30,    31,    31,    32,    32,    33,    33,    33
     669             : };
     670             : 
     671             :   /* YYR2[YYN] -- Number of symbols on the right hand side of rule YYN.  */
     672             : static const yytype_int8 yyr2[] =
     673             : {
     674             :        0,     2,     4,     0,     2,     0,     1,     2,     0,     2,
     675             :        2,     1,     5,     2,     1,     3,     1,     0,     2,     1,
     676             :        2,     2,     1,     1,     4,     3,     1,     1,     3,     1
     677             : };
     678             : 
     679             : 
     680             : enum { YYENOMEM = -2 };
     681             : 
     682             : #define yyerrok         (yyerrstatus = 0)
     683             : #define yyclearin       (yychar = YYEMPTY)
     684             : 
     685             : #define YYACCEPT        goto yyacceptlab
     686             : #define YYABORT         goto yyabortlab
     687             : #define YYERROR         goto yyerrorlab
     688             : 
     689             : 
     690             : #define YYRECOVERING()  (!!yyerrstatus)
     691             : 
     692             : #define YYBACKUP(Token, Value)                                    \
     693             :   do                                                              \
     694             :     if (yychar == YYEMPTY)                                        \
     695             :       {                                                           \
     696             :         yychar = (Token);                                         \
     697             :         yylval = (Value);                                         \
     698             :         YYPOPSTACK (yylen);                                       \
     699             :         yystate = *yyssp;                                         \
     700             :         goto yybackup;                                            \
     701             :       }                                                           \
     702             :     else                                                          \
     703             :       {                                                           \
     704             :         yyerror (YY_("syntax error: cannot back up")); \
     705             :         YYERROR;                                                  \
     706             :       }                                                           \
     707             :   while (0)
     708             : 
     709             : /* Backward compatibility with an undocumented macro.
     710             :    Use YYerror or YYUNDEF. */
     711             : #define YYERRCODE YYUNDEF
     712             : 
     713             : 
     714             : /* Enable debugging if requested.  */
     715             : #if YYDEBUG
     716             : 
     717             : # ifndef YYFPRINTF
     718             : #  include <stdio.h> /* INFRINGES ON USER NAME SPACE */
     719             : #  define YYFPRINTF fprintf
     720             : # endif
     721             : 
     722             : # define YYDPRINTF(Args)                        \
     723             : do {                                            \
     724             :   if (yydebug)                                  \
     725             :     YYFPRINTF Args;                             \
     726             : } while (0)
     727             : 
     728             : /* This macro is provided for backward compatibility. */
     729             : # ifndef YY_LOCATION_PRINT
     730             : #  define YY_LOCATION_PRINT(File, Loc) ((void) 0)
     731             : # endif
     732             : 
     733             : 
     734             : # define YY_SYMBOL_PRINT(Title, Kind, Value, Location)                    \
     735             : do {                                                                      \
     736             :   if (yydebug)                                                            \
     737             :     {                                                                     \
     738             :       YYFPRINTF (stderr, "%s ", Title);                                   \
     739             :       yy_symbol_print (stderr,                                            \
     740             :                   Kind, Value); \
     741             :       YYFPRINTF (stderr, "\n");                                           \
     742             :     }                                                                     \
     743             : } while (0)
     744             : 
     745             : 
     746             : /*-----------------------------------.
     747             : | Print this symbol's value on YYO.  |
     748             : `-----------------------------------*/
     749             : 
     750             : static void
     751             : yy_symbol_value_print (FILE *yyo,
     752             :                        yysymbol_kind_t yykind, YYSTYPE const * const yyvaluep)
     753             : {
     754             :   FILE *yyoutput = yyo;
     755             :   YY_USE (yyoutput);
     756             :   if (!yyvaluep)
     757             :     return;
     758             : # ifdef YYPRINT
     759             :   if (yykind < YYNTOKENS)
     760             :     YYPRINT (yyo, yytoknum[yykind], *yyvaluep);
     761             : # endif
     762             :   YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
     763             :   YY_USE (yykind);
     764             :   YY_IGNORE_MAYBE_UNINITIALIZED_END
     765             : }
     766             : 
     767             : 
     768             : /*---------------------------.
     769             : | Print this symbol on YYO.  |
     770             : `---------------------------*/
     771             : 
     772             : static void
     773             : yy_symbol_print (FILE *yyo,
     774             :                  yysymbol_kind_t yykind, YYSTYPE const * const yyvaluep)
     775             : {
     776             :   YYFPRINTF (yyo, "%s %s (",
     777             :              yykind < YYNTOKENS ? "token" : "nterm", yysymbol_name (yykind));
     778             : 
     779             :   yy_symbol_value_print (yyo, yykind, yyvaluep);
     780             :   YYFPRINTF (yyo, ")");
     781             : }
     782             : 
     783             : /*------------------------------------------------------------------.
     784             : | yy_stack_print -- Print the state stack from its BOTTOM up to its |
     785             : | TOP (included).                                                   |
     786             : `------------------------------------------------------------------*/
     787             : 
     788             : static void
     789             : yy_stack_print (yy_state_t *yybottom, yy_state_t *yytop)
     790             : {
     791             :   YYFPRINTF (stderr, "Stack now");
     792             :   for (; yybottom <= yytop; yybottom++)
     793             :     {
     794             :       int yybot = *yybottom;
     795             :       YYFPRINTF (stderr, " %d", yybot);
     796             :     }
     797             :   YYFPRINTF (stderr, "\n");
     798             : }
     799             : 
     800             : # define YY_STACK_PRINT(Bottom, Top)                            \
     801             : do {                                                            \
     802             :   if (yydebug)                                                  \
     803             :     yy_stack_print ((Bottom), (Top));                           \
     804             : } while (0)
     805             : 
     806             : 
     807             : /*------------------------------------------------.
     808             : | Report that the YYRULE is going to be reduced.  |
     809             : `------------------------------------------------*/
     810             : 
     811             : static void
     812             : yy_reduce_print (yy_state_t *yyssp, YYSTYPE *yyvsp,
     813             :                  int yyrule)
     814             : {
     815             :   int yylno = yyrline[yyrule];
     816             :   int yynrhs = yyr2[yyrule];
     817             :   int yyi;
     818             :   YYFPRINTF (stderr, "Reducing stack by rule %d (line %d):\n",
     819             :              yyrule - 1, yylno);
     820             :   /* The symbols being reduced.  */
     821             :   for (yyi = 0; yyi < yynrhs; yyi++)
     822             :     {
     823             :       YYFPRINTF (stderr, "   $%d = ", yyi + 1);
     824             :       yy_symbol_print (stderr,
     825             :                        YY_ACCESSING_SYMBOL (+yyssp[yyi + 1 - yynrhs]),
     826             :                        &yyvsp[(yyi + 1) - (yynrhs)]);
     827             :       YYFPRINTF (stderr, "\n");
     828             :     }
     829             : }
     830             : 
     831             : # define YY_REDUCE_PRINT(Rule)          \
     832             : do {                                    \
     833             :   if (yydebug)                          \
     834             :     yy_reduce_print (yyssp, yyvsp, Rule); \
     835             : } while (0)
     836             : 
     837             : /* Nonzero means print parse trace.  It is left uninitialized so that
     838             :    multiple parsers can coexist.  */
     839             : int yydebug;
     840             : #else /* !YYDEBUG */
     841             : # define YYDPRINTF(Args) ((void) 0)
     842             : # define YY_SYMBOL_PRINT(Title, Kind, Value, Location)
     843             : # define YY_STACK_PRINT(Bottom, Top)
     844             : # define YY_REDUCE_PRINT(Rule)
     845             : #endif /* !YYDEBUG */
     846             : 
     847             : 
     848             : /* YYINITDEPTH -- initial size of the parser's stacks.  */
     849             : #ifndef YYINITDEPTH
     850             : # define YYINITDEPTH 200
     851             : #endif
     852             : 
     853             : /* YYMAXDEPTH -- maximum size the stacks can grow to (effective only
     854             :    if the built-in stack extension method is used).
     855             : 
     856             :    Do not make this value too large; the results are undefined if
     857             :    YYSTACK_ALLOC_MAXIMUM < YYSTACK_BYTES (YYMAXDEPTH)
     858             :    evaluated with infinite-precision integer arithmetic.  */
     859             : 
     860             : #ifndef YYMAXDEPTH
     861             : # define YYMAXDEPTH 10000
     862             : #endif
     863             : 
     864             : 
     865             : 
     866             : 
     867             : 
     868             : 
     869             : /*-----------------------------------------------.
     870             : | Release the memory associated to this symbol.  |
     871             : `-----------------------------------------------*/
     872             : 
     873             : static void
     874         520 : yydestruct (const char *yymsg,
     875             :             yysymbol_kind_t yykind, YYSTYPE *yyvaluep)
     876             : {
     877             :   YY_USE (yyvaluep);
     878         520 :   if (!yymsg)
     879           0 :     yymsg = "Deleting";
     880             :   YY_SYMBOL_PRINT (yymsg, yykind, yyvaluep, yylocationp);
     881             : 
     882             :   YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
     883             :   YY_USE (yykind);
     884             :   YY_IGNORE_MAYBE_UNINITIALIZED_END
     885         520 : }
     886             : 
     887             : 
     888             : /* Lookahead token kind.  */
     889             : int yychar;
     890             : 
     891             : /* The semantic value of the lookahead symbol.  */
     892             : YYSTYPE yylval;
     893             : /* Number of syntax errors so far.  */
     894             : int yynerrs;
     895             : 
     896             : 
     897             : 
     898             : 
     899             : /*----------.
     900             : | yyparse.  |
     901             : `----------*/
     902             : 
     903             : int
     904         260 : yyparse (void)
     905             : {
     906         260 :     yy_state_fast_t yystate = 0;
     907             :     /* Number of tokens to shift before error messages enabled.  */
     908         260 :     int yyerrstatus = 0;
     909             : 
     910             :     /* Refer to the stacks through separate pointers, to allow yyoverflow
     911             :        to reallocate them elsewhere.  */
     912             : 
     913             :     /* Their size.  */
     914         260 :     YYPTRDIFF_T yystacksize = YYINITDEPTH;
     915             : 
     916             :     /* The state stack: array, bottom, top.  */
     917             :     yy_state_t yyssa[YYINITDEPTH];
     918         260 :     yy_state_t *yyss = yyssa;
     919         260 :     yy_state_t *yyssp = yyss;
     920             : 
     921             :     /* The semantic value stack: array, bottom, top.  */
     922             :     YYSTYPE yyvsa[YYINITDEPTH];
     923         260 :     YYSTYPE *yyvs = yyvsa;
     924         260 :     YYSTYPE *yyvsp = yyvs;
     925             : 
     926             :   int yyn;
     927             :   /* The return value of yyparse.  */
     928             :   int yyresult;
     929             :   /* Lookahead symbol kind.  */
     930         260 :   yysymbol_kind_t yytoken = YYSYMBOL_YYEMPTY;
     931             :   /* The variables used to return semantic value and location from the
     932             :      action routines.  */
     933             :   YYSTYPE yyval;
     934             : 
     935             : 
     936             : 
     937             : #define YYPOPSTACK(N)   (yyvsp -= (N), yyssp -= (N))
     938             : 
     939             :   /* The number of symbols on the RHS of the reduced rule.
     940             :      Keep to zero when no symbol should be popped.  */
     941         260 :   int yylen = 0;
     942             : 
     943             :   YYDPRINTF ((stderr, "Starting parse\n"));
     944             : 
     945         260 :   yychar = YYEMPTY; /* Cause a token to be read.  */
     946         260 :   goto yysetstate;
     947             : 
     948             : 
     949             : /*------------------------------------------------------------.
     950             : | yynewstate -- push a new state, which is found in yystate.  |
     951             : `------------------------------------------------------------*/
     952       80944 : yynewstate:
     953             :   /* In all cases, when you get here, the value and location stacks
     954             :      have just been pushed.  So pushing a state here evens the stacks.  */
     955       80944 :   yyssp++;
     956             : 
     957             : 
     958             : /*--------------------------------------------------------------------.
     959             : | yysetstate -- set current state (the top of the stack) to yystate.  |
     960             : `--------------------------------------------------------------------*/
     961       81204 : yysetstate:
     962             :   YYDPRINTF ((stderr, "Entering state %d\n", yystate));
     963             :   YY_ASSERT (0 <= yystate && yystate < YYNSTATES);
     964             :   YY_IGNORE_USELESS_CAST_BEGIN
     965       81204 :   *yyssp = YY_CAST (yy_state_t, yystate);
     966             :   YY_IGNORE_USELESS_CAST_END
     967             :   YY_STACK_PRINT (yyss, yyssp);
     968             : 
     969       81204 :   if (yyss + yystacksize - 1 <= yyssp)
     970             : #if !defined yyoverflow && !defined YYSTACK_RELOCATE
     971             :     goto yyexhaustedlab;
     972             : #else
     973             :     {
     974             :       /* Get the current used size of the three stacks, in elements.  */
     975           0 :       YYPTRDIFF_T yysize = yyssp - yyss + 1;
     976             : 
     977             : # if defined yyoverflow
     978             :       {
     979             :         /* Give user a chance to reallocate the stack.  Use copies of
     980             :            these so that the &'s don't force the real ones into
     981             :            memory.  */
     982             :         yy_state_t *yyss1 = yyss;
     983             :         YYSTYPE *yyvs1 = yyvs;
     984             : 
     985             :         /* Each stack pointer address is followed by the size of the
     986             :            data in use in that stack, in bytes.  This used to be a
     987             :            conditional around just the two extra args, but that might
     988             :            be undefined if yyoverflow is a macro.  */
     989             :         yyoverflow (YY_("memory exhausted"),
     990             :                     &yyss1, yysize * YYSIZEOF (*yyssp),
     991             :                     &yyvs1, yysize * YYSIZEOF (*yyvsp),
     992             :                     &yystacksize);
     993             :         yyss = yyss1;
     994             :         yyvs = yyvs1;
     995             :       }
     996             : # else /* defined YYSTACK_RELOCATE */
     997             :       /* Extend the stack our own way.  */
     998           0 :       if (YYMAXDEPTH <= yystacksize)
     999           0 :         goto yyexhaustedlab;
    1000           0 :       yystacksize *= 2;
    1001           0 :       if (YYMAXDEPTH < yystacksize)
    1002           0 :         yystacksize = YYMAXDEPTH;
    1003             : 
    1004             :       {
    1005           0 :         yy_state_t *yyss1 = yyss;
    1006             :         union yyalloc *yyptr =
    1007           0 :           YY_CAST (union yyalloc *,
    1008             :                    YYSTACK_ALLOC (YY_CAST (YYSIZE_T, YYSTACK_BYTES (yystacksize))));
    1009           0 :         if (! yyptr)
    1010           0 :           goto yyexhaustedlab;
    1011           0 :         YYSTACK_RELOCATE (yyss_alloc, yyss);
    1012           0 :         YYSTACK_RELOCATE (yyvs_alloc, yyvs);
    1013             : #  undef YYSTACK_RELOCATE
    1014           0 :         if (yyss1 != yyssa)
    1015           0 :           YYSTACK_FREE (yyss1);
    1016             :       }
    1017             : # endif
    1018             : 
    1019           0 :       yyssp = yyss + yysize - 1;
    1020           0 :       yyvsp = yyvs + yysize - 1;
    1021             : 
    1022             :       YY_IGNORE_USELESS_CAST_BEGIN
    1023             :       YYDPRINTF ((stderr, "Stack size increased to %ld\n",
    1024             :                   YY_CAST (long, yystacksize)));
    1025             :       YY_IGNORE_USELESS_CAST_END
    1026             : 
    1027           0 :       if (yyss + yystacksize - 1 <= yyssp)
    1028           0 :         YYABORT;
    1029             :     }
    1030             : #endif /* !defined yyoverflow && !defined YYSTACK_RELOCATE */
    1031             : 
    1032       81204 :   if (yystate == YYFINAL)
    1033         260 :     YYACCEPT;
    1034             : 
    1035       80944 :   goto yybackup;
    1036             : 
    1037             : 
    1038             : /*-----------.
    1039             : | yybackup.  |
    1040             : `-----------*/
    1041       80944 : yybackup:
    1042             :   /* Do appropriate processing given the current state.  Read a
    1043             :      lookahead token if we need one and don't already have one.  */
    1044             : 
    1045             :   /* First try to decide what to do without reference to lookahead token.  */
    1046       80944 :   yyn = yypact[yystate];
    1047       80944 :   if (yypact_value_is_default (yyn))
    1048       28670 :     goto yydefault;
    1049             : 
    1050             :   /* Not known => get a lookahead token if don't already have one.  */
    1051             : 
    1052             :   /* YYCHAR is either empty, or end-of-input, or a valid lookahead.  */
    1053       52274 :   if (yychar == YYEMPTY)
    1054             :     {
    1055             :       YYDPRINTF ((stderr, "Reading a token\n"));
    1056       31434 :       yychar = yylex ();
    1057             :     }
    1058             : 
    1059       52274 :   if (yychar <= YYEOF)
    1060             :     {
    1061        1008 :       yychar = YYEOF;
    1062        1008 :       yytoken = YYSYMBOL_YYEOF;
    1063             :       YYDPRINTF ((stderr, "Now at end of input.\n"));
    1064             :     }
    1065       51266 :   else if (yychar == YYerror)
    1066             :     {
    1067             :       /* The scanner already issued an error message, process directly
    1068             :          to error recovery.  But do not keep the error token as
    1069             :          lookahead, it is too special and may lead us to an endless
    1070             :          loop in error recovery. */
    1071           0 :       yychar = YYUNDEF;
    1072           0 :       yytoken = YYSYMBOL_YYerror;
    1073           0 :       goto yyerrlab1;
    1074             :     }
    1075             :   else
    1076             :     {
    1077       51266 :       yytoken = YYTRANSLATE (yychar);
    1078             :       YY_SYMBOL_PRINT ("Next token is", yytoken, &yylval, &yylloc);
    1079             :     }
    1080             : 
    1081             :   /* If the proper action on seeing token YYTOKEN is to reduce or to
    1082             :      detect an error, take that action.  */
    1083       52274 :   yyn += yytoken;
    1084       52274 :   if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken)
    1085       20840 :     goto yydefault;
    1086       31434 :   yyn = yytable[yyn];
    1087       31434 :   if (yyn <= 0)
    1088             :     {
    1089             :       if (yytable_value_is_error (yyn))
    1090             :         goto yyerrlab;
    1091           0 :       yyn = -yyn;
    1092           0 :       goto yyreduce;
    1093             :     }
    1094             : 
    1095             :   /* Count tokens shifted since error; after three, turn off error
    1096             :      status.  */
    1097       31434 :   if (yyerrstatus)
    1098           0 :     yyerrstatus--;
    1099             : 
    1100             :   /* Shift the lookahead token.  */
    1101             :   YY_SYMBOL_PRINT ("Shifting", yytoken, &yylval, &yylloc);
    1102       31434 :   yystate = yyn;
    1103             :   YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
    1104       31434 :   *++yyvsp = yylval;
    1105             :   YY_IGNORE_MAYBE_UNINITIALIZED_END
    1106             : 
    1107             :   /* Discard the shifted token.  */
    1108       31434 :   yychar = YYEMPTY;
    1109       31434 :   goto yynewstate;
    1110             : 
    1111             : 
    1112             : /*-----------------------------------------------------------.
    1113             : | yydefault -- do the default action for the current state.  |
    1114             : `-----------------------------------------------------------*/
    1115       49510 : yydefault:
    1116       49510 :   yyn = yydefact[yystate];
    1117       49510 :   if (yyn == 0)
    1118           0 :     goto yyerrlab;
    1119       49510 :   goto yyreduce;
    1120             : 
    1121             : 
    1122             : /*-----------------------------.
    1123             : | yyreduce -- do a reduction.  |
    1124             : `-----------------------------*/
    1125       49510 : yyreduce:
    1126             :   /* yyn is the number of a rule to reduce with.  */
    1127       49510 :   yylen = yyr2[yyn];
    1128             : 
    1129             :   /* If YYLEN is nonzero, implement the default value of the action:
    1130             :      '$$ = $1'.
    1131             : 
    1132             :      Otherwise, the following line sets YYVAL to garbage.
    1133             :      This behavior is undocumented and Bison
    1134             :      users should not rely upon it.  Assigning to YYVAL
    1135             :      unconditionally makes the parser a bit smaller, and it avoids a
    1136             :      GCC warning that YYVAL may be used uninitialized.  */
    1137       49510 :   yyval = yyvsp[1-yylen];
    1138             : 
    1139             : 
    1140             :   YY_REDUCE_PRINT (yyn);
    1141       49510 :   switch (yyn)
    1142             :     {
    1143         260 :   case 2: /* TestSpec: setup_list opt_teardown session_list opt_permutation_list  */
    1144             : #line 63 "specparse.y"
    1145             :                         {
    1146             :                 parseresult.setupsqls = (char **) (yyvsp[-3].ptr_list).elements;
    1147             :                 parseresult.nsetupsqls = (yyvsp[-3].ptr_list).nelements;
    1148             :                 parseresult.teardownsql = (yyvsp[-2].str);
    1149             :                 parseresult.sessions = (Session **) (yyvsp[-1].ptr_list).elements;
    1150             :                 parseresult.nsessions = (yyvsp[-1].ptr_list).nelements;
    1151             :                 parseresult.permutations = (Permutation **) (yyvsp[0].ptr_list).elements;
    1152             :                 parseresult.npermutations = (yyvsp[0].ptr_list).nelements;
    1153             :             }
    1154             : #line 1155 "specparse.c"
    1155         260 :     break;
    1156             : 
    1157         260 :   case 3: /* setup_list: %empty  */
    1158             : #line 76 "specparse.y"
    1159             :                         {
    1160             :                 (yyval.ptr_list).elements = NULL;
    1161             :                 (yyval.ptr_list).nelements = 0;
    1162             :             }
    1163             : #line 1164 "specparse.c"
    1164         260 :     break;
    1165             : 
    1166         262 :   case 4: /* setup_list: setup_list setup  */
    1167             : #line 81 "specparse.y"
    1168             :                         {
    1169             :                 (yyval.ptr_list).elements = pg_realloc((yyvsp[-1].ptr_list).elements,
    1170             :                                          ((yyvsp[-1].ptr_list).nelements + 1) * sizeof(void *));
    1171             :                 (yyval.ptr_list).elements[(yyvsp[-1].ptr_list).nelements] = (yyvsp[0].str);
    1172             :                 (yyval.ptr_list).nelements = (yyvsp[-1].ptr_list).nelements + 1;
    1173             :             }
    1174             : #line 1175 "specparse.c"
    1175         262 :     break;
    1176             : 
    1177         246 :   case 5: /* opt_setup: %empty  */
    1178             : #line 90 "specparse.y"
    1179             :                                                         { (yyval.str) = NULL; }
    1180             : #line 1181 "specparse.c"
    1181         246 :     break;
    1182             : 
    1183         390 :   case 6: /* opt_setup: setup  */
    1184             : #line 91 "specparse.y"
    1185             :                                                         { (yyval.str) = (yyvsp[0].str); }
    1186             : #line 1187 "specparse.c"
    1187         390 :     break;
    1188             : 
    1189         652 :   case 7: /* setup: SETUP sqlblock  */
    1190             : #line 95 "specparse.y"
    1191             :                                                 { (yyval.str) = (yyvsp[0].str); }
    1192             : #line 1193 "specparse.c"
    1193         652 :     break;
    1194             : 
    1195         614 :   case 8: /* opt_teardown: %empty  */
    1196             : #line 99 "specparse.y"
    1197             :                                                         { (yyval.str) = NULL; }
    1198             : #line 1199 "specparse.c"
    1199         614 :     break;
    1200             : 
    1201         282 :   case 9: /* opt_teardown: TEARDOWN sqlblock  */
    1202             : #line 100 "specparse.y"
    1203             :                                                 { (yyval.str) = (yyvsp[0].str); }
    1204             : #line 1205 "specparse.c"
    1205         282 :     break;
    1206             : 
    1207         376 :   case 10: /* session_list: session_list session  */
    1208             : #line 105 "specparse.y"
    1209             :                         {
    1210             :                 (yyval.ptr_list).elements = pg_realloc((yyvsp[-1].ptr_list).elements,
    1211             :                                          ((yyvsp[-1].ptr_list).nelements + 1) * sizeof(void *));
    1212             :                 (yyval.ptr_list).elements[(yyvsp[-1].ptr_list).nelements] = (yyvsp[0].session);
    1213             :                 (yyval.ptr_list).nelements = (yyvsp[-1].ptr_list).nelements + 1;
    1214             :             }
    1215             : #line 1216 "specparse.c"
    1216         376 :     break;
    1217             : 
    1218         260 :   case 11: /* session_list: session  */
    1219             : #line 112 "specparse.y"
    1220             :                         {
    1221             :                 (yyval.ptr_list).nelements = 1;
    1222             :                 (yyval.ptr_list).elements = pg_malloc(sizeof(void *));
    1223             :                 (yyval.ptr_list).elements[0] = (yyvsp[0].session);
    1224             :             }
    1225             : #line 1226 "specparse.c"
    1226         260 :     break;
    1227             : 
    1228         636 :   case 12: /* session: SESSION identifier opt_setup step_list opt_teardown  */
    1229             : #line 121 "specparse.y"
    1230             :                         {
    1231             :                 (yyval.session) = pg_malloc(sizeof(Session));
    1232             :                 (yyval.session)->name = (yyvsp[-3].str);
    1233             :                 (yyval.session)->setupsql = (yyvsp[-2].str);
    1234             :                 (yyval.session)->steps = (Step **) (yyvsp[-1].ptr_list).elements;
    1235             :                 (yyval.session)->nsteps = (yyvsp[-1].ptr_list).nelements;
    1236             :                 (yyval.session)->teardownsql = (yyvsp[0].str);
    1237             :             }
    1238             : #line 1239 "specparse.c"
    1239         636 :     break;
    1240             : 
    1241        2030 :   case 13: /* step_list: step_list step  */
    1242             : #line 133 "specparse.y"
    1243             :                         {
    1244             :                 (yyval.ptr_list).elements = pg_realloc((yyvsp[-1].ptr_list).elements,
    1245             :                                          ((yyvsp[-1].ptr_list).nelements + 1) * sizeof(void *));
    1246             :                 (yyval.ptr_list).elements[(yyvsp[-1].ptr_list).nelements] = (yyvsp[0].step);
    1247             :                 (yyval.ptr_list).nelements = (yyvsp[-1].ptr_list).nelements + 1;
    1248             :             }
    1249             : #line 1250 "specparse.c"
    1250        2030 :     break;
    1251             : 
    1252         636 :   case 14: /* step_list: step  */
    1253             : #line 140 "specparse.y"
    1254             :                         {
    1255             :                 (yyval.ptr_list).nelements = 1;
    1256             :                 (yyval.ptr_list).elements = pg_malloc(sizeof(void *));
    1257             :                 (yyval.ptr_list).elements[0] = (yyvsp[0].step);
    1258             :             }
    1259             : #line 1260 "specparse.c"
    1260         636 :     break;
    1261             : 
    1262        2666 :   case 15: /* step: STEP identifier sqlblock  */
    1263             : #line 150 "specparse.y"
    1264             :                         {
    1265             :                 (yyval.step) = pg_malloc(sizeof(Step));
    1266             :                 (yyval.step)->name = (yyvsp[-1].str);
    1267             :                 (yyval.step)->sql = (yyvsp[0].str);
    1268             :                 (yyval.step)->session = -1; /* until filled */
    1269             :                 (yyval.step)->used = false;
    1270             :             }
    1271             : #line 1272 "specparse.c"
    1272        2666 :     break;
    1273             : 
    1274         232 :   case 16: /* opt_permutation_list: permutation_list  */
    1275             : #line 162 "specparse.y"
    1276             :                         {
    1277             :                 (yyval.ptr_list) = (yyvsp[0].ptr_list);
    1278             :             }
    1279             : #line 1280 "specparse.c"
    1280         232 :     break;
    1281             : 
    1282          28 :   case 17: /* opt_permutation_list: %empty  */
    1283             : #line 166 "specparse.y"
    1284             :                         {
    1285             :                 (yyval.ptr_list).elements = NULL;
    1286             :                 (yyval.ptr_list).nelements = 0;
    1287             :             }
    1288             : #line 1289 "specparse.c"
    1289          28 :     break;
    1290             : 
    1291        2106 :   case 18: /* permutation_list: permutation_list permutation  */
    1292             : #line 173 "specparse.y"
    1293             :                         {
    1294             :                 (yyval.ptr_list).elements = pg_realloc((yyvsp[-1].ptr_list).elements,
    1295             :                                          ((yyvsp[-1].ptr_list).nelements + 1) * sizeof(void *));
    1296             :                 (yyval.ptr_list).elements[(yyvsp[-1].ptr_list).nelements] = (yyvsp[0].permutation);
    1297             :                 (yyval.ptr_list).nelements = (yyvsp[-1].ptr_list).nelements + 1;
    1298             :             }
    1299             : #line 1300 "specparse.c"
    1300        2106 :     break;
    1301             : 
    1302         232 :   case 19: /* permutation_list: permutation  */
    1303             : #line 180 "specparse.y"
    1304             :                         {
    1305             :                 (yyval.ptr_list).nelements = 1;
    1306             :                 (yyval.ptr_list).elements = pg_malloc(sizeof(void *));
    1307             :                 (yyval.ptr_list).elements[0] = (yyvsp[0].permutation);
    1308             :             }
    1309             : #line 1310 "specparse.c"
    1310         232 :     break;
    1311             : 
    1312        2338 :   case 20: /* permutation: PERMUTATION permutation_step_list  */
    1313             : #line 190 "specparse.y"
    1314             :                         {
    1315             :                 (yyval.permutation) = pg_malloc(sizeof(Permutation));
    1316             :                 (yyval.permutation)->nsteps = (yyvsp[0].ptr_list).nelements;
    1317             :                 (yyval.permutation)->steps = (PermutationStep **) (yyvsp[0].ptr_list).elements;
    1318             :             }
    1319             : #line 1320 "specparse.c"
    1320        2338 :     break;
    1321             : 
    1322       15068 :   case 21: /* permutation_step_list: permutation_step_list permutation_step  */
    1323             : #line 199 "specparse.y"
    1324             :                         {
    1325             :                 (yyval.ptr_list).elements = pg_realloc((yyvsp[-1].ptr_list).elements,
    1326             :                                          ((yyvsp[-1].ptr_list).nelements + 1) * sizeof(void *));
    1327             :                 (yyval.ptr_list).elements[(yyvsp[-1].ptr_list).nelements] = (yyvsp[0].permutationstep);
    1328             :                 (yyval.ptr_list).nelements = (yyvsp[-1].ptr_list).nelements + 1;
    1329             :             }
    1330             : #line 1331 "specparse.c"
    1331       15068 :     break;
    1332             : 
    1333        2338 :   case 22: /* permutation_step_list: permutation_step  */
    1334             : #line 206 "specparse.y"
    1335             :                         {
    1336             :                 (yyval.ptr_list).nelements = 1;
    1337             :                 (yyval.ptr_list).elements = pg_malloc(sizeof(void *));
    1338             :                 (yyval.ptr_list).elements[0] = (yyvsp[0].permutationstep);
    1339             :             }
    1340             : #line 1341 "specparse.c"
    1341        2338 :     break;
    1342             : 
    1343       17310 :   case 23: /* permutation_step: identifier  */
    1344             : #line 215 "specparse.y"
    1345             :                         {
    1346             :                 (yyval.permutationstep) = pg_malloc(sizeof(PermutationStep));
    1347             :                 (yyval.permutationstep)->name = (yyvsp[0].str);
    1348             :                 (yyval.permutationstep)->blockers = NULL;
    1349             :                 (yyval.permutationstep)->nblockers = 0;
    1350             :                 (yyval.permutationstep)->step = NULL;
    1351             :             }
    1352             : #line 1353 "specparse.c"
    1353       17310 :     break;
    1354             : 
    1355          96 :   case 24: /* permutation_step: identifier '(' blocker_list ')'  */
    1356             : #line 223 "specparse.y"
    1357             :                         {
    1358             :                 (yyval.permutationstep) = pg_malloc(sizeof(PermutationStep));
    1359             :                 (yyval.permutationstep)->name = (yyvsp[-3].str);
    1360             :                 (yyval.permutationstep)->blockers = (PermutationStepBlocker **) (yyvsp[-1].ptr_list).elements;
    1361             :                 (yyval.permutationstep)->nblockers = (yyvsp[-1].ptr_list).nelements;
    1362             :                 (yyval.permutationstep)->step = NULL;
    1363             :             }
    1364             : #line 1365 "specparse.c"
    1365          96 :     break;
    1366             : 
    1367           0 :   case 25: /* blocker_list: blocker_list ',' blocker  */
    1368             : #line 234 "specparse.y"
    1369             :                         {
    1370             :                 (yyval.ptr_list).elements = pg_realloc((yyvsp[-2].ptr_list).elements,
    1371             :                                          ((yyvsp[-2].ptr_list).nelements + 1) * sizeof(void *));
    1372             :                 (yyval.ptr_list).elements[(yyvsp[-2].ptr_list).nelements] = (yyvsp[0].blocker);
    1373             :                 (yyval.ptr_list).nelements = (yyvsp[-2].ptr_list).nelements + 1;
    1374             :             }
    1375             : #line 1376 "specparse.c"
    1376           0 :     break;
    1377             : 
    1378          96 :   case 26: /* blocker_list: blocker  */
    1379             : #line 241 "specparse.y"
    1380             :                         {
    1381             :                 (yyval.ptr_list).nelements = 1;
    1382             :                 (yyval.ptr_list).elements = pg_malloc(sizeof(void *));
    1383             :                 (yyval.ptr_list).elements[0] = (yyvsp[0].blocker);
    1384             :             }
    1385             : #line 1386 "specparse.c"
    1386          96 :     break;
    1387             : 
    1388          72 :   case 27: /* blocker: identifier  */
    1389             : #line 250 "specparse.y"
    1390             :                         {
    1391             :                 (yyval.blocker) = pg_malloc(sizeof(PermutationStepBlocker));
    1392             :                 (yyval.blocker)->stepname = (yyvsp[0].str);
    1393             :                 (yyval.blocker)->blocktype = PSB_OTHER_STEP;
    1394             :                 (yyval.blocker)->num_notices = -1;
    1395             :                 (yyval.blocker)->step = NULL;
    1396             :                 (yyval.blocker)->target_notices = -1;
    1397             :             }
    1398             : #line 1399 "specparse.c"
    1399          72 :     break;
    1400             : 
    1401           2 :   case 28: /* blocker: identifier NOTICES INTEGER  */
    1402             : #line 259 "specparse.y"
    1403             :                         {
    1404             :                 (yyval.blocker) = pg_malloc(sizeof(PermutationStepBlocker));
    1405             :                 (yyval.blocker)->stepname = (yyvsp[-2].str);
    1406             :                 (yyval.blocker)->blocktype = PSB_NUM_NOTICES;
    1407             :                 (yyval.blocker)->num_notices = (yyvsp[0].integer);
    1408             :                 (yyval.blocker)->step = NULL;
    1409             :                 (yyval.blocker)->target_notices = -1;
    1410             :             }
    1411             : #line 1412 "specparse.c"
    1412           2 :     break;
    1413             : 
    1414          22 :   case 29: /* blocker: '*'  */
    1415             : #line 268 "specparse.y"
    1416             :                         {
    1417             :                 (yyval.blocker) = pg_malloc(sizeof(PermutationStepBlocker));
    1418             :                 (yyval.blocker)->stepname = NULL;
    1419             :                 (yyval.blocker)->blocktype = PSB_ONCE;
    1420             :                 (yyval.blocker)->num_notices = -1;
    1421             :                 (yyval.blocker)->step = NULL;
    1422             :                 (yyval.blocker)->target_notices = -1;
    1423             :             }
    1424             : #line 1425 "specparse.c"
    1425          22 :     break;
    1426             : 
    1427             : 
    1428             : #line 1429 "specparse.c"
    1429             : 
    1430           0 :       default: break;
    1431             :     }
    1432             :   /* User semantic actions sometimes alter yychar, and that requires
    1433             :      that yytoken be updated with the new translation.  We take the
    1434             :      approach of translating immediately before every use of yytoken.
    1435             :      One alternative is translating here after every semantic action,
    1436             :      but that translation would be missed if the semantic action invokes
    1437             :      YYABORT, YYACCEPT, or YYERROR immediately after altering yychar or
    1438             :      if it invokes YYBACKUP.  In the case of YYABORT or YYACCEPT, an
    1439             :      incorrect destructor might then be invoked immediately.  In the
    1440             :      case of YYERROR or YYBACKUP, subsequent parser actions might lead
    1441             :      to an incorrect destructor call or verbose syntax error message
    1442             :      before the lookahead is translated.  */
    1443             :   YY_SYMBOL_PRINT ("-> $$ =", YY_CAST (yysymbol_kind_t, yyr1[yyn]), &yyval, &yyloc);
    1444             : 
    1445       49510 :   YYPOPSTACK (yylen);
    1446       49510 :   yylen = 0;
    1447             : 
    1448       49510 :   *++yyvsp = yyval;
    1449             : 
    1450             :   /* Now 'shift' the result of the reduction.  Determine what state
    1451             :      that goes to, based on the state we popped back to and the rule
    1452             :      number reduced by.  */
    1453             :   {
    1454       49510 :     const int yylhs = yyr1[yyn] - YYNTOKENS;
    1455       49510 :     const int yyi = yypgoto[yylhs] + *yyssp;
    1456       44858 :     yystate = (0 <= yyi && yyi <= YYLAST && yycheck[yyi] == *yyssp
    1457       20606 :                ? yytable[yyi]
    1458       94368 :                : yydefgoto[yylhs]);
    1459             :   }
    1460             : 
    1461       49510 :   goto yynewstate;
    1462             : 
    1463             : 
    1464             : /*--------------------------------------.
    1465             : | yyerrlab -- here on detecting error.  |
    1466             : `--------------------------------------*/
    1467           0 : yyerrlab:
    1468             :   /* Make sure we have latest lookahead translation.  See comments at
    1469             :      user semantic actions for why this is necessary.  */
    1470           0 :   yytoken = yychar == YYEMPTY ? YYSYMBOL_YYEMPTY : YYTRANSLATE (yychar);
    1471             :   /* If not already recovering from an error, report this error.  */
    1472           0 :   if (!yyerrstatus)
    1473             :     {
    1474           0 :       ++yynerrs;
    1475           0 :       yyerror (YY_("syntax error"));
    1476             :     }
    1477             : 
    1478           0 :   if (yyerrstatus == 3)
    1479             :     {
    1480             :       /* If just tried and failed to reuse lookahead token after an
    1481             :          error, discard it.  */
    1482             : 
    1483           0 :       if (yychar <= YYEOF)
    1484             :         {
    1485             :           /* Return failure if at end of input.  */
    1486           0 :           if (yychar == YYEOF)
    1487           0 :             YYABORT;
    1488             :         }
    1489             :       else
    1490             :         {
    1491           0 :           yydestruct ("Error: discarding",
    1492             :                       yytoken, &yylval);
    1493           0 :           yychar = YYEMPTY;
    1494             :         }
    1495             :     }
    1496             : 
    1497             :   /* Else will try to reuse lookahead token after shifting the error
    1498             :      token.  */
    1499           0 :   goto yyerrlab1;
    1500             : 
    1501             : 
    1502             : /*---------------------------------------------------.
    1503             : | yyerrorlab -- error raised explicitly by YYERROR.  |
    1504             : `---------------------------------------------------*/
    1505             : yyerrorlab:
    1506             :   /* Pacify compilers when the user code never invokes YYERROR and the
    1507             :      label yyerrorlab therefore never appears in user code.  */
    1508             :   if (0)
    1509             :     YYERROR;
    1510             : 
    1511             :   /* Do not reclaim the symbols of the rule whose action triggered
    1512             :      this YYERROR.  */
    1513             :   YYPOPSTACK (yylen);
    1514             :   yylen = 0;
    1515             :   YY_STACK_PRINT (yyss, yyssp);
    1516             :   yystate = *yyssp;
    1517             :   goto yyerrlab1;
    1518             : 
    1519             : 
    1520             : /*-------------------------------------------------------------.
    1521             : | yyerrlab1 -- common code for both syntax error and YYERROR.  |
    1522             : `-------------------------------------------------------------*/
    1523           0 : yyerrlab1:
    1524           0 :   yyerrstatus = 3;      /* Each real token shifted decrements this.  */
    1525             : 
    1526             :   /* Pop stack until we find a state that shifts the error token.  */
    1527             :   for (;;)
    1528             :     {
    1529           0 :       yyn = yypact[yystate];
    1530           0 :       if (!yypact_value_is_default (yyn))
    1531             :         {
    1532           0 :           yyn += YYSYMBOL_YYerror;
    1533           0 :           if (0 <= yyn && yyn <= YYLAST && yycheck[yyn] == YYSYMBOL_YYerror)
    1534             :             {
    1535           0 :               yyn = yytable[yyn];
    1536           0 :               if (0 < yyn)
    1537           0 :                 break;
    1538             :             }
    1539             :         }
    1540             : 
    1541             :       /* Pop the current state because it cannot handle the error token.  */
    1542           0 :       if (yyssp == yyss)
    1543           0 :         YYABORT;
    1544             : 
    1545             : 
    1546           0 :       yydestruct ("Error: popping",
    1547           0 :                   YY_ACCESSING_SYMBOL (yystate), yyvsp);
    1548           0 :       YYPOPSTACK (1);
    1549           0 :       yystate = *yyssp;
    1550             :       YY_STACK_PRINT (yyss, yyssp);
    1551             :     }
    1552             : 
    1553             :   YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
    1554           0 :   *++yyvsp = yylval;
    1555             :   YY_IGNORE_MAYBE_UNINITIALIZED_END
    1556             : 
    1557             : 
    1558             :   /* Shift the error token.  */
    1559             :   YY_SYMBOL_PRINT ("Shifting", YY_ACCESSING_SYMBOL (yyn), yyvsp, yylsp);
    1560             : 
    1561           0 :   yystate = yyn;
    1562           0 :   goto yynewstate;
    1563             : 
    1564             : 
    1565             : /*-------------------------------------.
    1566             : | yyacceptlab -- YYACCEPT comes here.  |
    1567             : `-------------------------------------*/
    1568         260 : yyacceptlab:
    1569         260 :   yyresult = 0;
    1570         260 :   goto yyreturn;
    1571             : 
    1572             : 
    1573             : /*-----------------------------------.
    1574             : | yyabortlab -- YYABORT comes here.  |
    1575             : `-----------------------------------*/
    1576           0 : yyabortlab:
    1577           0 :   yyresult = 1;
    1578           0 :   goto yyreturn;
    1579             : 
    1580             : 
    1581             : #if !defined yyoverflow
    1582             : /*-------------------------------------------------.
    1583             : | yyexhaustedlab -- memory exhaustion comes here.  |
    1584             : `-------------------------------------------------*/
    1585           0 : yyexhaustedlab:
    1586           0 :   yyerror (YY_("memory exhausted"));
    1587           0 :   yyresult = 2;
    1588           0 :   goto yyreturn;
    1589             : #endif
    1590             : 
    1591             : 
    1592             : /*-------------------------------------------------------.
    1593             : | yyreturn -- parsing is finished, clean up and return.  |
    1594             : `-------------------------------------------------------*/
    1595         260 : yyreturn:
    1596         260 :   if (yychar != YYEMPTY)
    1597             :     {
    1598             :       /* Make sure we have latest lookahead translation.  See comments at
    1599             :          user semantic actions for why this is necessary.  */
    1600           0 :       yytoken = YYTRANSLATE (yychar);
    1601           0 :       yydestruct ("Cleanup: discarding lookahead",
    1602             :                   yytoken, &yylval);
    1603             :     }
    1604             :   /* Do not reclaim the symbols of the rule whose action triggered
    1605             :      this YYABORT or YYACCEPT.  */
    1606         260 :   YYPOPSTACK (yylen);
    1607             :   YY_STACK_PRINT (yyss, yyssp);
    1608         780 :   while (yyssp != yyss)
    1609             :     {
    1610         520 :       yydestruct ("Cleanup: popping",
    1611         520 :                   YY_ACCESSING_SYMBOL (+*yyssp), yyvsp);
    1612         520 :       YYPOPSTACK (1);
    1613             :     }
    1614             : #ifndef yyoverflow
    1615         260 :   if (yyss != yyssa)
    1616           0 :     YYSTACK_FREE (yyss);
    1617             : #endif
    1618             : 
    1619         260 :   return yyresult;
    1620             : }
    1621             : 
    1622             : #line 278 "specparse.y"
    1623             : 

Generated by: LCOV version 1.14