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

Generated by: LCOV version 1.14