| #line 2 "parser/tf_fuzz_grammar.lex.c" |
| |
| #line 4 "parser/tf_fuzz_grammar.lex.c" |
| |
| #define YY_INT_ALIGNED short int |
| |
| /* A lexical scanner generated by flex */ |
| |
| #define FLEX_SCANNER |
| #define YY_FLEX_MAJOR_VERSION 2 |
| #define YY_FLEX_MINOR_VERSION 6 |
| #define YY_FLEX_SUBMINOR_VERSION 0 |
| #if YY_FLEX_SUBMINOR_VERSION > 0 |
| #define FLEX_BETA |
| #endif |
| |
| /* First, we deal with platform-specific or compiler-specific issues. */ |
| |
| /* begin standard C headers. */ |
| #include <stdio.h> |
| #include <string.h> |
| #include <errno.h> |
| #include <stdlib.h> |
| |
| /* end standard C headers. */ |
| |
| /* flex integer type definitions */ |
| |
| #ifndef FLEXINT_H |
| #define FLEXINT_H |
| |
| /* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */ |
| |
| #if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L |
| |
| /* C99 says to define __STDC_LIMIT_MACROS before including stdint.h, |
| * if you want the limit (max/min) macros for int types. |
| */ |
| #ifndef __STDC_LIMIT_MACROS |
| #define __STDC_LIMIT_MACROS 1 |
| #endif |
| |
| #include <inttypes.h> |
| typedef int8_t flex_int8_t; |
| typedef uint8_t flex_uint8_t; |
| typedef int16_t flex_int16_t; |
| typedef uint16_t flex_uint16_t; |
| typedef int32_t flex_int32_t; |
| typedef uint32_t flex_uint32_t; |
| #else |
| typedef signed char flex_int8_t; |
| typedef short int flex_int16_t; |
| typedef int flex_int32_t; |
| typedef unsigned char flex_uint8_t; |
| typedef unsigned short int flex_uint16_t; |
| typedef unsigned int flex_uint32_t; |
| |
| /* Limits of integral types. */ |
| #ifndef INT8_MIN |
| #define INT8_MIN (-128) |
| #endif |
| #ifndef INT16_MIN |
| #define INT16_MIN (-32767-1) |
| #endif |
| #ifndef INT32_MIN |
| #define INT32_MIN (-2147483647-1) |
| #endif |
| #ifndef INT8_MAX |
| #define INT8_MAX (127) |
| #endif |
| #ifndef INT16_MAX |
| #define INT16_MAX (32767) |
| #endif |
| #ifndef INT32_MAX |
| #define INT32_MAX (2147483647) |
| #endif |
| #ifndef UINT8_MAX |
| #define UINT8_MAX (255U) |
| #endif |
| #ifndef UINT16_MAX |
| #define UINT16_MAX (65535U) |
| #endif |
| #ifndef UINT32_MAX |
| #define UINT32_MAX (4294967295U) |
| #endif |
| |
| #endif /* ! C99 */ |
| |
| #endif /* ! FLEXINT_H */ |
| |
| #ifdef __cplusplus |
| |
| /* The "const" storage-class-modifier is valid. */ |
| #define YY_USE_CONST |
| |
| #else /* ! __cplusplus */ |
| |
| /* C99 requires __STDC__ to be defined as 1. */ |
| #if defined (__STDC__) |
| |
| #define YY_USE_CONST |
| |
| #endif /* defined (__STDC__) */ |
| #endif /* ! __cplusplus */ |
| |
| #ifdef YY_USE_CONST |
| #define yyconst const |
| #else |
| #define yyconst |
| #endif |
| |
| /* Returned upon end-of-file. */ |
| #define YY_NULL 0 |
| |
| /* Promotes a possibly negative, possibly signed char to an unsigned |
| * integer for use as an array index. If the signed char is negative, |
| * we want to instead treat it as an 8-bit unsigned char, hence the |
| * double cast. |
| */ |
| #define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c) |
| |
| /* Enter a start condition. This macro really ought to take a parameter, |
| * but we do it the disgusting crufty way forced on us by the ()-less |
| * definition of BEGIN. |
| */ |
| #define BEGIN (yy_start) = 1 + 2 * |
| |
| /* Translate the current start state into a value that can be later handed |
| * to BEGIN to return to the state. The YYSTATE alias is for lex |
| * compatibility. |
| */ |
| #define YY_START (((yy_start) - 1) / 2) |
| #define YYSTATE YY_START |
| |
| /* Action number for EOF rule of a given start state. */ |
| #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1) |
| |
| /* Special action meaning "start processing a new file". */ |
| #define YY_NEW_FILE yyrestart(yyin ) |
| |
| #define YY_END_OF_BUFFER_CHAR 0 |
| |
| /* Size of default input buffer. */ |
| #ifndef YY_BUF_SIZE |
| #ifdef __ia64__ |
| /* On IA-64, the buffer size is 16k, not 8k. |
| * Moreover, YY_BUF_SIZE is 2*YY_READ_BUF_SIZE in the general case. |
| * Ditto for the __ia64__ case accordingly. |
| */ |
| #define YY_BUF_SIZE 32768 |
| #else |
| #define YY_BUF_SIZE 16384 |
| #endif /* __ia64__ */ |
| #endif |
| |
| /* The state buf must be large enough to hold one state per character in the main buffer. |
| */ |
| #define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type)) |
| |
| #ifndef YY_TYPEDEF_YY_BUFFER_STATE |
| #define YY_TYPEDEF_YY_BUFFER_STATE |
| typedef struct yy_buffer_state *YY_BUFFER_STATE; |
| #endif |
| |
| #ifndef YY_TYPEDEF_YY_SIZE_T |
| #define YY_TYPEDEF_YY_SIZE_T |
| typedef size_t yy_size_t; |
| #endif |
| |
| extern yy_size_t yyleng; |
| |
| extern FILE *yyin, *yyout; |
| |
| #define EOB_ACT_CONTINUE_SCAN 0 |
| #define EOB_ACT_END_OF_FILE 1 |
| #define EOB_ACT_LAST_MATCH 2 |
| |
| /* Note: We specifically omit the test for yy_rule_can_match_eol because it requires |
| * access to the local variable yy_act. Since yyless() is a macro, it would break |
| * existing scanners that call yyless() from OUTSIDE yylex. |
| * One obvious solution it to make yy_act a global. I tried that, and saw |
| * a 5% performance hit in a non-yylineno scanner, because yy_act is |
| * normally declared as a register variable-- so it is not worth it. |
| */ |
| #define YY_LESS_LINENO(n) \ |
| do { \ |
| int yyl;\ |
| for ( yyl = n; yyl < yyleng; ++yyl )\ |
| if ( yytext[yyl] == '\n' )\ |
| --yylineno;\ |
| }while(0) |
| #define YY_LINENO_REWIND_TO(dst) \ |
| do {\ |
| const char *p;\ |
| for ( p = yy_cp-1; p >= (dst); --p)\ |
| if ( *p == '\n' )\ |
| --yylineno;\ |
| }while(0) |
| |
| /* Return all but the first "n" matched characters back to the input stream. */ |
| #define yyless(n) \ |
| do \ |
| { \ |
| /* Undo effects of setting up yytext. */ \ |
| int yyless_macro_arg = (n); \ |
| YY_LESS_LINENO(yyless_macro_arg);\ |
| *yy_cp = (yy_hold_char); \ |
| YY_RESTORE_YY_MORE_OFFSET \ |
| (yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \ |
| YY_DO_BEFORE_ACTION; /* set up yytext again */ \ |
| } \ |
| while ( 0 ) |
| |
| #define unput(c) yyunput( c, (yytext_ptr) ) |
| |
| #ifndef YY_STRUCT_YY_BUFFER_STATE |
| #define YY_STRUCT_YY_BUFFER_STATE |
| struct yy_buffer_state |
| { |
| FILE *yy_input_file; |
| |
| char *yy_ch_buf; /* input buffer */ |
| char *yy_buf_pos; /* current position in input buffer */ |
| |
| /* Size of input buffer in bytes, not including room for EOB |
| * characters. |
| */ |
| yy_size_t yy_buf_size; |
| |
| /* Number of characters read into yy_ch_buf, not including EOB |
| * characters. |
| */ |
| int yy_n_chars; |
| |
| /* Whether we "own" the buffer - i.e., we know we created it, |
| * and can realloc() it to grow it, and should free() it to |
| * delete it. |
| */ |
| int yy_is_our_buffer; |
| |
| /* Whether this is an "interactive" input source; if so, and |
| * if we're using stdio for input, then we want to use getc() |
| * instead of fread(), to make sure we stop fetching input after |
| * each newline. |
| */ |
| int yy_is_interactive; |
| |
| /* Whether we're considered to be at the beginning of a line. |
| * If so, '^' rules will be active on the next match, otherwise |
| * not. |
| */ |
| int yy_at_bol; |
| |
| int yy_bs_lineno; /**< The line count. */ |
| int yy_bs_column; /**< The column count. */ |
| |
| /* Whether to try to fill the input buffer when we reach the |
| * end of it. |
| */ |
| int yy_fill_buffer; |
| |
| int yy_buffer_status; |
| |
| #define YY_BUFFER_NEW 0 |
| #define YY_BUFFER_NORMAL 1 |
| /* When an EOF's been seen but there's still some text to process |
| * then we mark the buffer as YY_EOF_PENDING, to indicate that we |
| * shouldn't try reading from the input source any more. We might |
| * still have a bunch of tokens to match, though, because of |
| * possible backing-up. |
| * |
| * When we actually see the EOF, we change the status to "new" |
| * (via yyrestart()), so that the user can continue scanning by |
| * just pointing yyin at a new input file. |
| */ |
| #define YY_BUFFER_EOF_PENDING 2 |
| |
| }; |
| #endif /* !YY_STRUCT_YY_BUFFER_STATE */ |
| |
| /* Stack of input buffers. */ |
| static size_t yy_buffer_stack_top = 0; /**< index of top of stack. */ |
| static size_t yy_buffer_stack_max = 0; /**< capacity of stack. */ |
| static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Stack as an array. */ |
| |
| /* We provide macros for accessing buffer states in case in the |
| * future we want to put the buffer states in a more general |
| * "scanner state". |
| * |
| * Returns the top of the stack, or NULL. |
| */ |
| #define YY_CURRENT_BUFFER ( (yy_buffer_stack) \ |
| ? (yy_buffer_stack)[(yy_buffer_stack_top)] \ |
| : NULL) |
| |
| /* Same as previous macro, but useful when we know that the buffer stack is not |
| * NULL or when we need an lvalue. For internal use only. |
| */ |
| #define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)] |
| |
| /* yy_hold_char holds the character lost when yytext is formed. */ |
| static char yy_hold_char; |
| static int yy_n_chars; /* number of characters read into yy_ch_buf */ |
| yy_size_t yyleng; |
| |
| /* Points to current character in buffer. */ |
| static char *yy_c_buf_p = (char *) 0; |
| static int yy_init = 0; /* whether we need to initialize */ |
| static int yy_start = 0; /* start state number */ |
| |
| /* Flag which is used to allow yywrap()'s to do buffer switches |
| * instead of setting up a fresh yyin. A bit of a hack ... |
| */ |
| static int yy_did_buffer_switch_on_eof; |
| |
| void yyrestart (FILE *input_file ); |
| void yy_switch_to_buffer (YY_BUFFER_STATE new_buffer ); |
| YY_BUFFER_STATE yy_create_buffer (FILE *file,int size ); |
| void yy_delete_buffer (YY_BUFFER_STATE b ); |
| void yy_flush_buffer (YY_BUFFER_STATE b ); |
| void yypush_buffer_state (YY_BUFFER_STATE new_buffer ); |
| void yypop_buffer_state (void ); |
| |
| static void yyensure_buffer_stack (void ); |
| static void yy_load_buffer_state (void ); |
| static void yy_init_buffer (YY_BUFFER_STATE b,FILE *file ); |
| |
| #define YY_FLUSH_BUFFER yy_flush_buffer(YY_CURRENT_BUFFER ) |
| |
| YY_BUFFER_STATE yy_scan_buffer (char *base,yy_size_t size ); |
| YY_BUFFER_STATE yy_scan_string (yyconst char *yy_str ); |
| YY_BUFFER_STATE yy_scan_bytes (yyconst char *bytes,yy_size_t len ); |
| |
| void *yyalloc (yy_size_t ); |
| void *yyrealloc (void *,yy_size_t ); |
| void yyfree (void * ); |
| |
| #define yy_new_buffer yy_create_buffer |
| |
| #define yy_set_interactive(is_interactive) \ |
| { \ |
| if ( ! YY_CURRENT_BUFFER ){ \ |
| yyensure_buffer_stack (); \ |
| YY_CURRENT_BUFFER_LVALUE = \ |
| yy_create_buffer(yyin,YY_BUF_SIZE ); \ |
| } \ |
| YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \ |
| } |
| |
| #define yy_set_bol(at_bol) \ |
| { \ |
| if ( ! YY_CURRENT_BUFFER ){\ |
| yyensure_buffer_stack (); \ |
| YY_CURRENT_BUFFER_LVALUE = \ |
| yy_create_buffer(yyin,YY_BUF_SIZE ); \ |
| } \ |
| YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \ |
| } |
| |
| #define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol) |
| |
| /* Begin user sect3 */ |
| |
| #define yywrap() (/*CONSTCOND*/1) |
| #define YY_SKIP_YYWRAP |
| |
| typedef unsigned char YY_CHAR; |
| |
| FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0; |
| |
| typedef int yy_state_type; |
| |
| extern int yylineno; |
| |
| int yylineno = 1; |
| |
| extern char yytext[]; |
| |
| static yy_state_type yy_get_previous_state (void ); |
| static yy_state_type yy_try_NUL_trans (yy_state_type current_state ); |
| static int yy_get_next_buffer (void ); |
| #if defined(__GNUC__) && __GNUC__ >= 3 |
| __attribute__((__noreturn__)) |
| #endif |
| static void yy_fatal_error (yyconst char msg[] ); |
| |
| /* Done after the current pattern has been matched and before the |
| * corresponding action - sets up yytext. |
| */ |
| #define YY_DO_BEFORE_ACTION \ |
| (yytext_ptr) = yy_bp; \ |
| yyleng = (size_t) (yy_cp - yy_bp); \ |
| (yy_hold_char) = *yy_cp; \ |
| *yy_cp = '\0'; \ |
| if ( yyleng >= YYLMAX ) \ |
| YY_FATAL_ERROR( "token too large, exceeds YYLMAX" ); \ |
| yy_flex_strncpy( yytext, (yytext_ptr), yyleng + 1 ); \ |
| (yy_c_buf_p) = yy_cp; |
| |
| #define YY_NUM_RULES 98 |
| #define YY_END_OF_BUFFER 99 |
| /* This struct is not used in this scanner, |
| but its presence is necessary. */ |
| struct yy_trans_info |
| { |
| flex_int32_t yy_verify; |
| flex_int32_t yy_nxt; |
| }; |
| static yyconst flex_int16_t yy_accept[310] = |
| { 0, |
| 92, 92, 0, 0, 99, 97, 96, 96, 1, 97, |
| 97, 30, 92, 97, 92, 26, 91, 91, 91, 91, |
| 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, |
| 91, 91, 91, 91, 24, 25, 7, 6, 7, 0, |
| 94, 0, 92, 4, 0, 91, 0, 91, 95, 91, |
| 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, |
| 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, |
| 91, 91, 91, 46, 91, 91, 91, 91, 91, 91, |
| 11, 91, 91, 91, 91, 45, 91, 91, 91, 91, |
| 91, 91, 50, 91, 5, 93, 0, 2, 32, 60, |
| |
| 91, 91, 37, 91, 91, 91, 34, 82, 91, 91, |
| 91, 91, 19, 91, 91, 91, 91, 16, 91, 54, |
| 91, 91, 41, 64, 91, 91, 91, 91, 91, 91, |
| 91, 91, 52, 91, 91, 91, 91, 91, 91, 91, |
| 91, 91, 13, 8, 91, 91, 15, 91, 28, 38, |
| 78, 88, 91, 91, 91, 91, 57, 91, 65, 29, |
| 72, 91, 91, 91, 14, 68, 91, 91, 91, 21, |
| 47, 89, 40, 27, 91, 84, 70, 91, 91, 91, |
| 91, 91, 91, 48, 91, 91, 91, 80, 91, 20, |
| 86, 91, 91, 91, 9, 91, 91, 44, 75, 58, |
| |
| 91, 91, 90, 91, 91, 91, 91, 36, 91, 91, |
| 91, 91, 91, 23, 91, 91, 74, 91, 51, 91, |
| 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, |
| 39, 91, 91, 91, 91, 91, 91, 91, 31, 91, |
| 91, 91, 91, 81, 42, 91, 18, 61, 91, 66, |
| 91, 91, 91, 91, 76, 91, 91, 55, 91, 17, |
| 91, 10, 12, 91, 77, 91, 91, 91, 91, 71, |
| 33, 67, 53, 91, 91, 91, 91, 22, 91, 91, |
| 91, 35, 43, 91, 91, 91, 91, 91, 83, 91, |
| 63, 79, 91, 0, 87, 91, 59, 91, 73, 69, |
| |
| 91, 0, 0, 3, 91, 56, 85, 49, 0 |
| } ; |
| |
| static yyconst YY_CHAR yy_ec[256] = |
| { 0, |
| 1, 1, 1, 1, 1, 1, 1, 1, 2, 3, |
| 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, |
| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, |
| 1, 5, 1, 6, 1, 1, 1, 1, 7, 1, |
| 1, 8, 9, 1, 9, 10, 11, 12, 12, 12, |
| 12, 12, 12, 12, 12, 12, 12, 1, 13, 1, |
| 1, 1, 1, 1, 14, 14, 14, 14, 14, 14, |
| 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, |
| 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, |
| 16, 17, 18, 17, 19, 17, 20, 21, 22, 23, |
| |
| 24, 25, 26, 27, 28, 15, 29, 30, 31, 32, |
| 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, |
| 43, 15, 44, 1, 45, 1, 1, 1, 1, 1, |
| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, |
| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, |
| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, |
| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, |
| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, |
| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, |
| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, |
| |
| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, |
| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, |
| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, |
| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, |
| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, |
| 1, 1, 1, 1, 1 |
| } ; |
| |
| static yyconst YY_CHAR yy_meta[46] = |
| { 0, |
| 1, 1, 1, 1, 2, 1, 1, 1, 1, 3, |
| 3, 4, 1, 4, 5, 1, 1, 2, 5, 4, |
| 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, |
| 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, |
| 5, 5, 5, 1, 1 |
| } ; |
| |
| static yyconst flex_uint16_t yy_base[317] = |
| { 0, |
| 0, 0, 43, 44, 359, 360, 360, 360, 360, 352, |
| 0, 360, 345, 42, 344, 360, 0, 49, 26, 22, |
| 55, 26, 46, 335, 330, 69, 328, 61, 53, 59, |
| 65, 324, 79, 78, 360, 360, 360, 360, 340, 344, |
| 360, 342, 336, 360, 344, 0, 328, 0, 360, 307, |
| 318, 305, 36, 308, 303, 85, 308, 307, 316, 301, |
| 302, 307, 314, 300, 295, 288, 299, 304, 304, 78, |
| 103, 293, 302, 300, 287, 287, 292, 293, 284, 70, |
| 0, 94, 280, 292, 279, 0, 282, 292, 278, 277, |
| 282, 273, 0, 282, 360, 360, 306, 360, 280, 274, |
| |
| 270, 283, 0, 261, 283, 266, 277, 272, 279, 274, |
| 261, 263, 71, 265, 268, 262, 265, 0, 267, 0, |
| 95, 268, 0, 0, 97, 256, 264, 86, 263, 258, |
| 258, 260, 0, 247, 245, 244, 243, 251, 246, 243, |
| 253, 242, 235, 0, 248, 240, 0, 247, 0, 0, |
| 242, 249, 241, 229, 226, 229, 236, 234, 0, 0, |
| 219, 223, 220, 228, 0, 215, 221, 234, 219, 0, |
| 0, 0, 0, 0, 218, 0, 0, 220, 218, 217, |
| 101, 228, 215, 0, 222, 219, 210, 0, 221, 0, |
| 216, 221, 204, 208, 0, 200, 203, 213, 0, 0, |
| |
| 212, 198, 0, 211, 210, 205, 211, 0, 197, 206, |
| 205, 204, 193, 0, 188, 187, 0, 192, 0, 180, |
| 186, 193, 184, 186, 186, 185, 188, 177, 177, 170, |
| 0, 175, 187, 186, 179, 165, 179, 187, 0, 167, |
| 165, 165, 179, 0, 0, 163, 0, 0, 175, 0, |
| 156, 158, 154, 160, 0, 169, 169, 0, 155, 0, |
| 168, 168, 0, 166, 0, 159, 155, 160, 148, 0, |
| 0, 0, 0, 151, 160, 143, 116, 0, 109, 127, |
| 134, 0, 0, 126, 117, 117, 122, 100, 0, 96, |
| 0, 0, 98, 140, 0, 107, 0, 87, 0, 0, |
| |
| 40, 46, 142, 360, 33, 0, 0, 0, 360, 155, |
| 160, 163, 165, 170, 174, 178 |
| } ; |
| |
| static yyconst flex_int16_t yy_def[317] = |
| { 0, |
| 309, 1, 310, 310, 309, 309, 309, 309, 309, 311, |
| 312, 309, 309, 309, 309, 309, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 309, 309, 309, 309, 309, 311, |
| 309, 312, 309, 309, 314, 313, 315, 18, 309, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 309, 309, 314, 309, 313, 313, |
| |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, |
| 313, 313, 313, 316, 313, 313, 313, 313, 313, 313, |
| |
| 313, 316, 316, 309, 313, 313, 313, 313, 0, 309, |
| 309, 309, 309, 309, 309, 309 |
| } ; |
| |
| static yyconst flex_uint16_t yy_nxt[406] = |
| { 0, |
| 6, 7, 8, 9, 7, 10, 11, 12, 13, 6, |
| 14, 15, 16, 17, 17, 18, 17, 17, 17, 19, |
| 17, 20, 21, 22, 23, 17, 24, 17, 25, 17, |
| 17, 26, 27, 28, 17, 29, 30, 31, 32, 33, |
| 34, 17, 17, 35, 36, 38, 38, 50, 53, 44, |
| 39, 39, 45, 47, 54, 51, 308, 59, 304, 102, |
| 48, 60, 48, 52, 103, 62, 49, 61, 48, 48, |
| 48, 48, 48, 48, 55, 63, 80, 307, 56, 57, |
| 75, 64, 82, 81, 76, 83, 84, 58, 67, 141, |
| 68, 69, 70, 77, 168, 85, 78, 86, 89, 79, |
| |
| 142, 71, 90, 169, 72, 92, 106, 87, 73, 122, |
| 93, 91, 123, 94, 107, 143, 175, 182, 178, 124, |
| 108, 125, 221, 306, 126, 127, 128, 183, 305, 301, |
| 176, 144, 179, 300, 129, 294, 222, 299, 294, 130, |
| 131, 303, 132, 303, 303, 298, 303, 297, 296, 295, |
| 293, 292, 304, 291, 304, 37, 37, 37, 37, 37, |
| 40, 40, 40, 40, 40, 42, 42, 42, 46, 46, |
| 97, 97, 97, 97, 97, 47, 290, 47, 302, 302, |
| 302, 302, 302, 289, 288, 287, 286, 285, 284, 283, |
| 282, 281, 280, 279, 278, 277, 276, 275, 274, 273, |
| |
| 272, 271, 270, 269, 268, 267, 266, 265, 264, 263, |
| 262, 261, 260, 259, 258, 257, 256, 255, 254, 253, |
| 252, 251, 250, 249, 248, 247, 246, 245, 244, 243, |
| 242, 241, 240, 239, 238, 237, 236, 235, 234, 233, |
| 232, 231, 230, 229, 228, 227, 226, 225, 224, 223, |
| 220, 219, 218, 217, 216, 215, 214, 213, 212, 211, |
| 210, 209, 208, 207, 206, 205, 204, 203, 202, 201, |
| 200, 199, 198, 197, 196, 195, 194, 193, 192, 191, |
| 190, 189, 188, 187, 186, 185, 184, 181, 180, 177, |
| 174, 173, 172, 171, 170, 167, 166, 165, 164, 163, |
| |
| 162, 161, 160, 159, 158, 157, 156, 155, 98, 154, |
| 153, 152, 151, 150, 149, 148, 147, 146, 145, 140, |
| 139, 138, 137, 136, 135, 134, 133, 121, 120, 119, |
| 118, 117, 116, 115, 114, 113, 112, 111, 110, 109, |
| 105, 104, 101, 100, 99, 49, 98, 43, 96, 41, |
| 95, 88, 74, 66, 65, 43, 43, 41, 309, 5, |
| 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, |
| 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, |
| 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, |
| 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, |
| |
| 309, 309, 309, 309, 309 |
| } ; |
| |
| static yyconst flex_int16_t yy_chk[406] = |
| { 0, |
| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, |
| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, |
| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, |
| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, |
| 1, 1, 1, 1, 1, 3, 4, 19, 20, 14, |
| 3, 4, 14, 18, 20, 19, 305, 22, 302, 53, |
| 18, 22, 18, 19, 53, 23, 18, 22, 18, 18, |
| 18, 18, 18, 18, 21, 23, 29, 301, 21, 21, |
| 28, 23, 30, 29, 28, 30, 30, 21, 26, 80, |
| 26, 26, 26, 28, 113, 30, 28, 31, 33, 28, |
| |
| 80, 26, 33, 113, 26, 34, 56, 31, 26, 70, |
| 34, 33, 70, 34, 56, 82, 121, 128, 125, 70, |
| 56, 71, 181, 298, 71, 71, 71, 128, 296, 293, |
| 121, 82, 125, 290, 71, 281, 181, 288, 281, 71, |
| 71, 294, 71, 303, 294, 287, 303, 286, 285, 284, |
| 280, 279, 294, 277, 303, 310, 310, 310, 310, 310, |
| 311, 311, 311, 311, 311, 312, 312, 312, 313, 313, |
| 314, 314, 314, 314, 314, 315, 276, 315, 316, 316, |
| 316, 316, 316, 275, 274, 269, 268, 267, 266, 264, |
| 262, 261, 259, 257, 256, 254, 253, 252, 251, 249, |
| |
| 246, 243, 242, 241, 240, 238, 237, 236, 235, 234, |
| 233, 232, 230, 229, 228, 227, 226, 225, 224, 223, |
| 222, 221, 220, 218, 216, 215, 213, 212, 211, 210, |
| 209, 207, 206, 205, 204, 202, 201, 198, 197, 196, |
| 194, 193, 192, 191, 189, 187, 186, 185, 183, 182, |
| 180, 179, 178, 175, 169, 168, 167, 166, 164, 163, |
| 162, 161, 158, 157, 156, 155, 154, 153, 152, 151, |
| 148, 146, 145, 143, 142, 141, 140, 139, 138, 137, |
| 136, 135, 134, 132, 131, 130, 129, 127, 126, 122, |
| 119, 117, 116, 115, 114, 112, 111, 110, 109, 108, |
| |
| 107, 106, 105, 104, 102, 101, 100, 99, 97, 94, |
| 92, 91, 90, 89, 88, 87, 85, 84, 83, 79, |
| 78, 77, 76, 75, 74, 73, 72, 69, 68, 67, |
| 66, 65, 64, 63, 62, 61, 60, 59, 58, 57, |
| 55, 54, 52, 51, 50, 47, 45, 43, 42, 40, |
| 39, 32, 27, 25, 24, 15, 13, 10, 5, 309, |
| 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, |
| 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, |
| 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, |
| 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, |
| |
| 309, 309, 309, 309, 309 |
| } ; |
| |
| /* Table of booleans, true if rule could match eol. */ |
| static yyconst flex_int32_t yy_rule_can_match_eol[99] = |
| { 0, |
| 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, }; |
| |
| static yy_state_type yy_last_accepting_state; |
| static char *yy_last_accepting_cpos; |
| |
| extern int yy_flex_debug; |
| int yy_flex_debug = 0; |
| |
| /* The intent behind this definition is that it'll catch |
| * any uses of REJECT which flex missed. |
| */ |
| #define REJECT reject_used_but_not_detected |
| #define yymore() yymore_used_but_not_detected |
| #define YY_MORE_ADJ 0 |
| #define YY_RESTORE_YY_MORE_OFFSET |
| #ifndef YYLMAX |
| #define YYLMAX 8192 |
| #endif |
| |
| char yytext[YYLMAX]; |
| char *yytext_ptr; |
| #line 1 "parser/tf_fuzz_grammar.l" |
| /* |
| * Copyright (c) 2019-2020, Arm Limited. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| * |
| */ |
| #line 10 "parser/tf_fuzz_grammar.l" |
| #include "class_forwards.hpp" |
| #include "boilerplate.hpp" |
| #include "gibberish.hpp" |
| #include "compute.hpp" |
| #include "string_ops.hpp" |
| #include "data_blocks.hpp" |
| #include "psa_asset.hpp" |
| #include "sst_asset.hpp" |
| #include "crypto_asset.hpp" |
| #include "find_or_create_asset.hpp" |
| #include "template_line.hpp" |
| #include "tf_fuzz.hpp" |
| #include "psa_call.hpp" |
| #include "tf_fuzz_grammar.tab.hpp" |
| |
| int yycolumn = 1; |
| |
| //char *yytext; |
| |
| #define YY_USER_ACTION yylloc.first_line = yylloc.last_line = yylineno; \ |
| yylloc.first_column = yycolumn; yylloc.last_column = yycolumn + yyleng - 1; \ |
| yycolumn += yyleng; \ |
| yylval.str = strdup(yytext); |
| |
| void yyerror (tf_fuzz_info *, const char *str) |
| /* not sure why it sends the yyparse() argument to yyerror(), but OK... */ |
| { |
| fprintf (stderr, "tf_fuzz template on line %d, at text = \"%s\": %s\n", |
| yylineno, yytext, str); |
| exit (1); |
| } |
| |
| #ifndef yyterminate |
| #define yyterminate() return YY_NULL |
| #endif |
| |
| |
| #line 738 "parser/tf_fuzz_grammar.lex.c" |
| |
| #define INITIAL 0 |
| #define BLOCK_COMMENT 1 |
| |
| #ifndef YY_NO_UNISTD_H |
| /* Special case for "unistd.h", since it is non-ANSI. We include it way |
| * down here because we want the user's section 1 to have been scanned first. |
| * The user has a chance to override it with an option. |
| */ |
| #include <unistd.h> |
| #endif |
| |
| #ifndef YY_EXTRA_TYPE |
| #define YY_EXTRA_TYPE void * |
| #endif |
| |
| static int yy_init_globals (void ); |
| |
| /* Accessor methods to globals. |
| These are made visible to non-reentrant scanners for convenience. */ |
| |
| int yylex_destroy (void ); |
| |
| int yyget_debug (void ); |
| |
| void yyset_debug (int debug_flag ); |
| |
| YY_EXTRA_TYPE yyget_extra (void ); |
| |
| void yyset_extra (YY_EXTRA_TYPE user_defined ); |
| |
| FILE *yyget_in (void ); |
| |
| void yyset_in (FILE * _in_str ); |
| |
| FILE *yyget_out (void ); |
| |
| void yyset_out (FILE * _out_str ); |
| |
| yy_size_t yyget_leng (void ); |
| |
| char *yyget_text (void ); |
| |
| int yyget_lineno (void ); |
| |
| void yyset_lineno (int _line_number ); |
| |
| /* Macros after this point can all be overridden by user definitions in |
| * section 1. |
| */ |
| |
| #ifndef YY_SKIP_YYWRAP |
| #ifdef __cplusplus |
| extern "C" int yywrap (void ); |
| #else |
| extern int yywrap (void ); |
| #endif |
| #endif |
| |
| #ifndef YY_NO_UNPUT |
| |
| static void yyunput (int c,char *buf_ptr ); |
| |
| #endif |
| |
| #ifndef yytext_ptr |
| static void yy_flex_strncpy (char *,yyconst char *,int ); |
| #endif |
| |
| #ifdef YY_NEED_STRLEN |
| static int yy_flex_strlen (yyconst char * ); |
| #endif |
| |
| #ifndef YY_NO_INPUT |
| |
| #ifdef __cplusplus |
| static int yyinput (void ); |
| #else |
| static int input (void ); |
| #endif |
| |
| #endif |
| |
| /* Amount of stuff to slurp up with each read. */ |
| #ifndef YY_READ_BUF_SIZE |
| #ifdef __ia64__ |
| /* On IA-64, the buffer size is 16k, not 8k */ |
| #define YY_READ_BUF_SIZE 16384 |
| #else |
| #define YY_READ_BUF_SIZE 8192 |
| #endif /* __ia64__ */ |
| #endif |
| |
| /* Copy whatever the last rule matched to the standard output. */ |
| #ifndef ECHO |
| /* This used to be an fputs(), but since the string might contain NUL's, |
| * we now use fwrite(). |
| */ |
| #define ECHO do { if (fwrite( yytext, yyleng, 1, yyout )) {} } while (0) |
| #endif |
| |
| /* Gets input and stuffs it into "buf". number of characters read, or YY_NULL, |
| * is returned in "result". |
| */ |
| #ifndef YY_INPUT |
| #define YY_INPUT(buf,result,max_size) \ |
| if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \ |
| { \ |
| int c = '*'; \ |
| size_t n; \ |
| for ( n = 0; n < max_size && \ |
| (c = getc( yyin )) != EOF && c != '\n'; ++n ) \ |
| buf[n] = (char) c; \ |
| if ( c == '\n' ) \ |
| buf[n++] = (char) c; \ |
| if ( c == EOF && ferror( yyin ) ) \ |
| YY_FATAL_ERROR( "input in flex scanner failed" ); \ |
| result = n; \ |
| } \ |
| else \ |
| { \ |
| errno=0; \ |
| while ( (result = fread(buf, 1, max_size, yyin))==0 && ferror(yyin)) \ |
| { \ |
| if( errno != EINTR) \ |
| { \ |
| YY_FATAL_ERROR( "input in flex scanner failed" ); \ |
| break; \ |
| } \ |
| errno=0; \ |
| clearerr(yyin); \ |
| } \ |
| }\ |
| \ |
| |
| #endif |
| |
| /* No semi-colon after return; correct usage is to write "yyterminate();" - |
| * we don't want an extra ';' after the "return" because that will cause |
| * some compilers to complain about unreachable statements. |
| */ |
| #ifndef yyterminate |
| #define yyterminate() return YY_NULL |
| #endif |
| |
| /* Number of entries by which start-condition stack grows. */ |
| #ifndef YY_START_STACK_INCR |
| #define YY_START_STACK_INCR 25 |
| #endif |
| |
| /* Report a fatal error. */ |
| #ifndef YY_FATAL_ERROR |
| #define YY_FATAL_ERROR(msg) yy_fatal_error( msg ) |
| #endif |
| |
| /* end tables serialization structures and prototypes */ |
| |
| /* Default declaration of generated scanner - a define so the user can |
| * easily add parameters. |
| */ |
| #ifndef YY_DECL |
| #define YY_DECL_IS_OURS 1 |
| |
| extern int yylex (void); |
| |
| #define YY_DECL int yylex (void) |
| #endif /* !YY_DECL */ |
| |
| /* Code executed at the beginning of each rule, after yytext and yyleng |
| * have been set up. |
| */ |
| #ifndef YY_USER_ACTION |
| #define YY_USER_ACTION |
| #endif |
| |
| /* Code executed at the end of each rule. */ |
| #ifndef YY_BREAK |
| #define YY_BREAK /*LINTED*/break; |
| #endif |
| |
| #define YY_RULE_SETUP \ |
| YY_USER_ACTION |
| |
| /** The main scanner function which does all the work. |
| */ |
| YY_DECL |
| { |
| yy_state_type yy_current_state; |
| char *yy_cp, *yy_bp; |
| int yy_act; |
| |
| if ( !(yy_init) ) |
| { |
| (yy_init) = 1; |
| |
| #ifdef YY_USER_INIT |
| YY_USER_INIT; |
| #endif |
| |
| if ( ! (yy_start) ) |
| (yy_start) = 1; /* first start state */ |
| |
| if ( ! yyin ) |
| yyin = stdin; |
| |
| if ( ! yyout ) |
| yyout = stdout; |
| |
| if ( ! YY_CURRENT_BUFFER ) { |
| yyensure_buffer_stack (); |
| YY_CURRENT_BUFFER_LVALUE = |
| yy_create_buffer(yyin,YY_BUF_SIZE ); |
| } |
| |
| yy_load_buffer_state( ); |
| } |
| |
| { |
| #line 55 "parser/tf_fuzz_grammar.l" |
| |
| |
| #line 960 "parser/tf_fuzz_grammar.lex.c" |
| |
| while ( /*CONSTCOND*/1 ) /* loops until end-of-file is reached */ |
| { |
| yy_cp = (yy_c_buf_p); |
| |
| /* Support of yytext. */ |
| *yy_cp = (yy_hold_char); |
| |
| /* yy_bp points to the position in yy_ch_buf of the start of |
| * the current run. |
| */ |
| yy_bp = yy_cp; |
| |
| yy_current_state = (yy_start); |
| yy_match: |
| do |
| { |
| YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)] ; |
| if ( yy_accept[yy_current_state] ) |
| { |
| (yy_last_accepting_state) = yy_current_state; |
| (yy_last_accepting_cpos) = yy_cp; |
| } |
| while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) |
| { |
| yy_current_state = (int) yy_def[yy_current_state]; |
| if ( yy_current_state >= 310 ) |
| yy_c = yy_meta[(unsigned int) yy_c]; |
| } |
| yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c]; |
| ++yy_cp; |
| } |
| while ( yy_base[yy_current_state] != 360 ); |
| |
| yy_find_action: |
| yy_act = yy_accept[yy_current_state]; |
| if ( yy_act == 0 ) |
| { /* have to back up */ |
| yy_cp = (yy_last_accepting_cpos); |
| yy_current_state = (yy_last_accepting_state); |
| yy_act = yy_accept[yy_current_state]; |
| } |
| |
| YY_DO_BEFORE_ACTION; |
| |
| if ( yy_act != YY_END_OF_BUFFER && yy_rule_can_match_eol[yy_act] ) |
| { |
| yy_size_t yyl; |
| for ( yyl = 0; yyl < yyleng; ++yyl ) |
| if ( yytext[yyl] == '\n' ) |
| |
| yylineno++; |
| ; |
| } |
| |
| do_action: /* This label is used only to access EOF actions. */ |
| |
| switch ( yy_act ) |
| { /* beginning of action switch */ |
| case 0: /* must back up */ |
| /* undo the effects of YY_DO_BEFORE_ACTION */ |
| *yy_cp = (yy_hold_char); |
| yy_cp = (yy_last_accepting_cpos); |
| yy_current_state = (yy_last_accepting_state); |
| goto yy_find_action; |
| |
| case 1: |
| YY_RULE_SETUP |
| #line 57 "parser/tf_fuzz_grammar.l" |
| ; /* ignore all \r */ |
| YY_BREAK |
| case 2: |
| /* rule 2 can match eol */ |
| YY_RULE_SETUP |
| #line 58 "parser/tf_fuzz_grammar.l" |
| ; /* ignore C++-style line comments */ |
| YY_BREAK |
| case 3: |
| /* rule 3 can match eol */ |
| YY_RULE_SETUP |
| #line 59 "parser/tf_fuzz_grammar.l" |
| return PURPOSE; |
| YY_BREAK |
| case 4: |
| YY_RULE_SETUP |
| #line 60 "parser/tf_fuzz_grammar.l" |
| {BEGIN(BLOCK_COMMENT);} |
| YY_BREAK |
| case 5: |
| YY_RULE_SETUP |
| #line 61 "parser/tf_fuzz_grammar.l" |
| {BEGIN(INITIAL);} |
| YY_BREAK |
| case 6: |
| /* rule 6 can match eol */ |
| YY_RULE_SETUP |
| #line 62 "parser/tf_fuzz_grammar.l" |
| ; |
| YY_BREAK |
| case 7: |
| YY_RULE_SETUP |
| #line 63 "parser/tf_fuzz_grammar.l" |
| ; |
| YY_BREAK |
| /* Root commands: */ |
| case 8: |
| YY_RULE_SETUP |
| #line 65 "parser/tf_fuzz_grammar.l" |
| return SET; |
| YY_BREAK |
| case 9: |
| YY_RULE_SETUP |
| #line 66 "parser/tf_fuzz_grammar.l" |
| return READ; |
| YY_BREAK |
| case 10: |
| YY_RULE_SETUP |
| #line 67 "parser/tf_fuzz_grammar.l" |
| return REMOVE; |
| YY_BREAK |
| case 11: |
| YY_RULE_SETUP |
| #line 68 "parser/tf_fuzz_grammar.l" |
| return REMOVE; |
| YY_BREAK |
| case 12: |
| YY_RULE_SETUP |
| #line 69 "parser/tf_fuzz_grammar.l" |
| return SECURE; |
| YY_BREAK |
| case 13: |
| YY_RULE_SETUP |
| #line 70 "parser/tf_fuzz_grammar.l" |
| return SECURE; |
| YY_BREAK |
| case 14: |
| YY_RULE_SETUP |
| #line 71 "parser/tf_fuzz_grammar.l" |
| return DONE; |
| YY_BREAK |
| /* PSA-asset types: */ |
| case 15: |
| YY_RULE_SETUP |
| #line 73 "parser/tf_fuzz_grammar.l" |
| return SST; |
| YY_BREAK |
| case 16: |
| YY_RULE_SETUP |
| #line 74 "parser/tf_fuzz_grammar.l" |
| return KEY; |
| YY_BREAK |
| case 17: |
| YY_RULE_SETUP |
| #line 75 "parser/tf_fuzz_grammar.l" |
| return POLICY; |
| YY_BREAK |
| /* Other root-command operands: */ |
| case 18: |
| YY_RULE_SETUP |
| #line 77 "parser/tf_fuzz_grammar.l" |
| return EXPECT; |
| YY_BREAK |
| case 19: |
| YY_RULE_SETUP |
| #line 78 "parser/tf_fuzz_grammar.l" |
| return EXPECT; |
| YY_BREAK |
| case 20: |
| YY_RULE_SETUP |
| #line 79 "parser/tf_fuzz_grammar.l" |
| return PASS; |
| YY_BREAK |
| case 21: |
| YY_RULE_SETUP |
| #line 80 "parser/tf_fuzz_grammar.l" |
| return FAIL; |
| YY_BREAK |
| case 22: |
| YY_RULE_SETUP |
| #line 81 "parser/tf_fuzz_grammar.l" |
| return NOTHING; |
| YY_BREAK |
| case 23: |
| YY_RULE_SETUP |
| #line 82 "parser/tf_fuzz_grammar.l" |
| return ERROR; |
| YY_BREAK |
| case 24: |
| YY_RULE_SETUP |
| #line 83 "parser/tf_fuzz_grammar.l" |
| return OPEN_BRACE; |
| YY_BREAK |
| case 25: |
| YY_RULE_SETUP |
| #line 84 "parser/tf_fuzz_grammar.l" |
| return CLOSE_BRACE; |
| YY_BREAK |
| case 26: |
| YY_RULE_SETUP |
| #line 85 "parser/tf_fuzz_grammar.l" |
| return SEMICOLON; |
| YY_BREAK |
| case 27: |
| YY_RULE_SETUP |
| #line 86 "parser/tf_fuzz_grammar.l" |
| return NAME; |
| YY_BREAK |
| case 28: |
| YY_RULE_SETUP |
| #line 87 "parser/tf_fuzz_grammar.l" |
| return UID; |
| YY_BREAK |
| case 29: |
| YY_RULE_SETUP |
| #line 88 "parser/tf_fuzz_grammar.l" |
| return DATA; |
| YY_BREAK |
| case 30: |
| YY_RULE_SETUP |
| #line 89 "parser/tf_fuzz_grammar.l" |
| return STAR; |
| YY_BREAK |
| case 31: |
| YY_RULE_SETUP |
| #line 90 "parser/tf_fuzz_grammar.l" |
| return ACTIVE; |
| YY_BREAK |
| case 32: |
| YY_RULE_SETUP |
| #line 91 "parser/tf_fuzz_grammar.l" |
| return ACTIVE; |
| YY_BREAK |
| case 33: |
| YY_RULE_SETUP |
| #line 92 "parser/tf_fuzz_grammar.l" |
| return DELETED; |
| YY_BREAK |
| case 34: |
| YY_RULE_SETUP |
| #line 93 "parser/tf_fuzz_grammar.l" |
| return DELETED; |
| YY_BREAK |
| case 35: |
| YY_RULE_SETUP |
| #line 94 "parser/tf_fuzz_grammar.l" |
| return DELETED; |
| YY_BREAK |
| case 36: |
| YY_RULE_SETUP |
| #line 95 "parser/tf_fuzz_grammar.l" |
| return CHECK; |
| YY_BREAK |
| case 37: |
| YY_RULE_SETUP |
| #line 96 "parser/tf_fuzz_grammar.l" |
| return CHECK; |
| YY_BREAK |
| case 38: |
| YY_RULE_SETUP |
| #line 97 "parser/tf_fuzz_grammar.l" |
| return VAR; |
| YY_BREAK |
| case 39: |
| YY_RULE_SETUP |
| #line 98 "parser/tf_fuzz_grammar.l" |
| return PRINT; |
| YY_BREAK |
| case 40: |
| YY_RULE_SETUP |
| #line 99 "parser/tf_fuzz_grammar.l" |
| return HASH; |
| YY_BREAK |
| case 41: |
| YY_RULE_SETUP |
| #line 100 "parser/tf_fuzz_grammar.l" |
| return NEQ; |
| YY_BREAK |
| case 42: |
| YY_RULE_SETUP |
| #line 101 "parser/tf_fuzz_grammar.l" |
| return DFNAME; |
| YY_BREAK |
| case 43: |
| YY_RULE_SETUP |
| #line 102 "parser/tf_fuzz_grammar.l" |
| return SHUFFLE; |
| YY_BREAK |
| case 44: |
| YY_RULE_SETUP |
| #line 103 "parser/tf_fuzz_grammar.l" |
| return SHUFFLE; |
| YY_BREAK |
| case 45: |
| YY_RULE_SETUP |
| #line 104 "parser/tf_fuzz_grammar.l" |
| return TO; |
| YY_BREAK |
| case 46: |
| YY_RULE_SETUP |
| #line 105 "parser/tf_fuzz_grammar.l" |
| return OF; |
| YY_BREAK |
| /* SST creation keywords: */ |
| case 47: |
| YY_RULE_SETUP |
| #line 107 "parser/tf_fuzz_grammar.l" |
| return FLAG; |
| YY_BREAK |
| case 48: |
| YY_RULE_SETUP |
| #line 108 "parser/tf_fuzz_grammar.l" |
| return NONE; |
| YY_BREAK |
| case 49: |
| YY_RULE_SETUP |
| #line 109 "parser/tf_fuzz_grammar.l" |
| return WRITE_ONCE; |
| YY_BREAK |
| case 50: |
| YY_RULE_SETUP |
| #line 110 "parser/tf_fuzz_grammar.l" |
| return WRITE_ONCE; |
| YY_BREAK |
| case 51: |
| YY_RULE_SETUP |
| #line 111 "parser/tf_fuzz_grammar.l" |
| return NO_RP; |
| YY_BREAK |
| case 52: |
| YY_RULE_SETUP |
| #line 112 "parser/tf_fuzz_grammar.l" |
| return NO_RP; |
| YY_BREAK |
| case 53: |
| YY_RULE_SETUP |
| #line 113 "parser/tf_fuzz_grammar.l" |
| return NO_CONF; |
| YY_BREAK |
| case 54: |
| YY_RULE_SETUP |
| #line 114 "parser/tf_fuzz_grammar.l" |
| return NO_CONF; |
| YY_BREAK |
| /* Offset into an SST asset */ |
| case 55: |
| YY_RULE_SETUP |
| #line 116 "parser/tf_fuzz_grammar.l" |
| return OFFSET; |
| YY_BREAK |
| /* Policy keywords: */ |
| case 56: |
| YY_RULE_SETUP |
| #line 118 "parser/tf_fuzz_grammar.l" |
| return ATTR; |
| YY_BREAK |
| case 57: |
| YY_RULE_SETUP |
| #line 119 "parser/tf_fuzz_grammar.l" |
| return ATTR; |
| YY_BREAK |
| case 58: |
| YY_RULE_SETUP |
| #line 120 "parser/tf_fuzz_grammar.l" |
| return TYPE; |
| YY_BREAK |
| case 59: |
| YY_RULE_SETUP |
| #line 121 "parser/tf_fuzz_grammar.l" |
| return ALG; |
| YY_BREAK |
| case 60: |
| YY_RULE_SETUP |
| #line 122 "parser/tf_fuzz_grammar.l" |
| return ALG; |
| YY_BREAK |
| /* Policy-usage and -lifetime keywords: */ |
| case 61: |
| YY_RULE_SETUP |
| #line 124 "parser/tf_fuzz_grammar.l" |
| return EXPORT; |
| YY_BREAK |
| case 62: |
| YY_RULE_SETUP |
| #line 125 "parser/tf_fuzz_grammar.l" |
| return EXPORT; |
| YY_BREAK |
| case 63: |
| YY_RULE_SETUP |
| #line 126 "parser/tf_fuzz_grammar.l" |
| return NOEXPORT; |
| YY_BREAK |
| case 64: |
| YY_RULE_SETUP |
| #line 127 "parser/tf_fuzz_grammar.l" |
| return NOEXPORT; |
| YY_BREAK |
| case 65: |
| YY_RULE_SETUP |
| #line 128 "parser/tf_fuzz_grammar.l" |
| return COPY; |
| YY_BREAK |
| case 66: |
| YY_RULE_SETUP |
| #line 129 "parser/tf_fuzz_grammar.l" |
| return NOCOPY; |
| YY_BREAK |
| case 67: |
| YY_RULE_SETUP |
| #line 130 "parser/tf_fuzz_grammar.l" |
| return ENCRYPT; |
| YY_BREAK |
| case 68: |
| YY_RULE_SETUP |
| #line 131 "parser/tf_fuzz_grammar.l" |
| return ENCRYPT; |
| YY_BREAK |
| case 69: |
| YY_RULE_SETUP |
| #line 132 "parser/tf_fuzz_grammar.l" |
| return NOENCRYPT; |
| YY_BREAK |
| case 70: |
| YY_RULE_SETUP |
| #line 133 "parser/tf_fuzz_grammar.l" |
| return NOENCRYPT; |
| YY_BREAK |
| case 71: |
| YY_RULE_SETUP |
| #line 134 "parser/tf_fuzz_grammar.l" |
| return DECRYPT; |
| YY_BREAK |
| case 72: |
| YY_RULE_SETUP |
| #line 135 "parser/tf_fuzz_grammar.l" |
| return DECRYPT; |
| YY_BREAK |
| case 73: |
| YY_RULE_SETUP |
| #line 136 "parser/tf_fuzz_grammar.l" |
| return NODECRYPT; |
| YY_BREAK |
| case 74: |
| YY_RULE_SETUP |
| #line 137 "parser/tf_fuzz_grammar.l" |
| return NODECRYPT; |
| YY_BREAK |
| case 75: |
| YY_RULE_SETUP |
| #line 138 "parser/tf_fuzz_grammar.l" |
| return SIGN; |
| YY_BREAK |
| case 76: |
| YY_RULE_SETUP |
| #line 139 "parser/tf_fuzz_grammar.l" |
| return NOSIGN; |
| YY_BREAK |
| case 77: |
| YY_RULE_SETUP |
| #line 140 "parser/tf_fuzz_grammar.l" |
| return VERIFY; |
| YY_BREAK |
| case 78: |
| YY_RULE_SETUP |
| #line 141 "parser/tf_fuzz_grammar.l" |
| return VERIFY; |
| YY_BREAK |
| case 79: |
| YY_RULE_SETUP |
| #line 142 "parser/tf_fuzz_grammar.l" |
| return NOVERIFY; |
| YY_BREAK |
| case 80: |
| YY_RULE_SETUP |
| #line 143 "parser/tf_fuzz_grammar.l" |
| return NOVERIFY; |
| YY_BREAK |
| case 81: |
| YY_RULE_SETUP |
| #line 144 "parser/tf_fuzz_grammar.l" |
| return DERIVE; |
| YY_BREAK |
| case 82: |
| YY_RULE_SETUP |
| #line 145 "parser/tf_fuzz_grammar.l" |
| return DERIVE; |
| YY_BREAK |
| case 83: |
| YY_RULE_SETUP |
| #line 146 "parser/tf_fuzz_grammar.l" |
| return NODERIVE; |
| YY_BREAK |
| case 84: |
| YY_RULE_SETUP |
| #line 147 "parser/tf_fuzz_grammar.l" |
| return NODERIVE; |
| YY_BREAK |
| case 85: |
| YY_RULE_SETUP |
| #line 148 "parser/tf_fuzz_grammar.l" |
| return PERSISTENT; |
| YY_BREAK |
| case 86: |
| YY_RULE_SETUP |
| #line 149 "parser/tf_fuzz_grammar.l" |
| return PERSISTENT; |
| YY_BREAK |
| case 87: |
| YY_RULE_SETUP |
| #line 150 "parser/tf_fuzz_grammar.l" |
| return VOLATILE; |
| YY_BREAK |
| case 88: |
| YY_RULE_SETUP |
| #line 151 "parser/tf_fuzz_grammar.l" |
| return VOLATILE; |
| YY_BREAK |
| case 89: |
| YY_RULE_SETUP |
| #line 152 "parser/tf_fuzz_grammar.l" |
| return FROM; |
| YY_BREAK |
| case 90: |
| YY_RULE_SETUP |
| #line 153 "parser/tf_fuzz_grammar.l" |
| return WITH; |
| YY_BREAK |
| /* Structure operands: */ |
| case 91: |
| YY_RULE_SETUP |
| #line 155 "parser/tf_fuzz_grammar.l" |
| {yylval.str = yytext; return IDENTIFIER_TOK;} |
| YY_BREAK |
| case 92: |
| YY_RULE_SETUP |
| #line 156 "parser/tf_fuzz_grammar.l" |
| {yylval.valueN = atol(yytext); return NUMBER_TOK;} |
| YY_BREAK |
| case 93: |
| YY_RULE_SETUP |
| #line 157 "parser/tf_fuzz_grammar.l" |
| {yylval.str = yytext; return FILE_PATH_TOK;} |
| YY_BREAK |
| case 94: |
| /* rule 94 can match eol */ |
| YY_RULE_SETUP |
| #line 158 "parser/tf_fuzz_grammar.l" |
| {yylval.str = yytext; return LITERAL_TOK;} |
| YY_BREAK |
| case 95: |
| YY_RULE_SETUP |
| #line 159 "parser/tf_fuzz_grammar.l" |
| {yylval.str = yytext; return HEX_LIST;} |
| YY_BREAK |
| /* inside quotes: anything but a quote, or nothing */ |
| case 96: |
| /* rule 96 can match eol */ |
| YY_RULE_SETUP |
| #line 161 "parser/tf_fuzz_grammar.l" |
| ; /* ignore white space */ |
| YY_BREAK |
| case 97: |
| YY_RULE_SETUP |
| #line 162 "parser/tf_fuzz_grammar.l" |
| yyerror ((tf_fuzz_info *) NULL, "Unexpected character"); |
| YY_BREAK |
| case 98: |
| YY_RULE_SETUP |
| #line 164 "parser/tf_fuzz_grammar.l" |
| YY_FATAL_ERROR( "flex scanner jammed" ); |
| YY_BREAK |
| #line 1531 "parser/tf_fuzz_grammar.lex.c" |
| case YY_STATE_EOF(INITIAL): |
| case YY_STATE_EOF(BLOCK_COMMENT): |
| yyterminate(); |
| |
| case YY_END_OF_BUFFER: |
| { |
| /* Amount of text matched not including the EOB char. */ |
| int yy_amount_of_matched_text = (int) (yy_cp - (yytext_ptr)) - 1; |
| |
| /* Undo the effects of YY_DO_BEFORE_ACTION. */ |
| *yy_cp = (yy_hold_char); |
| YY_RESTORE_YY_MORE_OFFSET |
| |
| if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_NEW ) |
| { |
| /* We're scanning a new file or input source. It's |
| * possible that this happened because the user |
| * just pointed yyin at a new source and called |
| * yylex(). If so, then we have to assure |
| * consistency between YY_CURRENT_BUFFER and our |
| * globals. Here is the right place to do so, because |
| * this is the first action (other than possibly a |
| * back-up) that will match for the new input source. |
| */ |
| (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars; |
| YY_CURRENT_BUFFER_LVALUE->yy_input_file = yyin; |
| YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL; |
| } |
| |
| /* Note that here we test for yy_c_buf_p "<=" to the position |
| * of the first EOB in the buffer, since yy_c_buf_p will |
| * already have been incremented past the NUL character |
| * (since all states make transitions on EOB to the |
| * end-of-buffer state). Contrast this with the test |
| * in input(). |
| */ |
| if ( (yy_c_buf_p) <= &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] ) |
| { /* This was really a NUL. */ |
| yy_state_type yy_next_state; |
| |
| (yy_c_buf_p) = (yytext_ptr) + yy_amount_of_matched_text; |
| |
| yy_current_state = yy_get_previous_state( ); |
| |
| /* Okay, we're now positioned to make the NUL |
| * transition. We couldn't have |
| * yy_get_previous_state() go ahead and do it |
| * for us because it doesn't know how to deal |
| * with the possibility of jamming (and we don't |
| * want to build jamming into it because then it |
| * will run more slowly). |
| */ |
| |
| yy_next_state = yy_try_NUL_trans( yy_current_state ); |
| |
| yy_bp = (yytext_ptr) + YY_MORE_ADJ; |
| |
| if ( yy_next_state ) |
| { |
| /* Consume the NUL. */ |
| yy_cp = ++(yy_c_buf_p); |
| yy_current_state = yy_next_state; |
| goto yy_match; |
| } |
| |
| else |
| { |
| yy_cp = (yy_c_buf_p); |
| goto yy_find_action; |
| } |
| } |
| |
| else switch ( yy_get_next_buffer( ) ) |
| { |
| case EOB_ACT_END_OF_FILE: |
| { |
| (yy_did_buffer_switch_on_eof) = 0; |
| |
| if ( yywrap( ) ) |
| { |
| /* Note: because we've taken care in |
| * yy_get_next_buffer() to have set up |
| * yytext, we can now set up |
| * yy_c_buf_p so that if some total |
| * hoser (like flex itself) wants to |
| * call the scanner after we return the |
| * YY_NULL, it'll still work - another |
| * YY_NULL will get returned. |
| */ |
| (yy_c_buf_p) = (yytext_ptr) + YY_MORE_ADJ; |
| |
| yy_act = YY_STATE_EOF(YY_START); |
| goto do_action; |
| } |
| |
| else |
| { |
| if ( ! (yy_did_buffer_switch_on_eof) ) |
| YY_NEW_FILE; |
| } |
| break; |
| } |
| |
| case EOB_ACT_CONTINUE_SCAN: |
| (yy_c_buf_p) = |
| (yytext_ptr) + yy_amount_of_matched_text; |
| |
| yy_current_state = yy_get_previous_state( ); |
| |
| yy_cp = (yy_c_buf_p); |
| yy_bp = (yytext_ptr) + YY_MORE_ADJ; |
| goto yy_match; |
| |
| case EOB_ACT_LAST_MATCH: |
| (yy_c_buf_p) = |
| &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)]; |
| |
| yy_current_state = yy_get_previous_state( ); |
| |
| yy_cp = (yy_c_buf_p); |
| yy_bp = (yytext_ptr) + YY_MORE_ADJ; |
| goto yy_find_action; |
| } |
| break; |
| } |
| |
| default: |
| YY_FATAL_ERROR( |
| "fatal flex scanner internal error--no action found" ); |
| } /* end of action switch */ |
| } /* end of scanning one token */ |
| } /* end of user's declarations */ |
| } /* end of yylex */ |
| |
| /* yy_get_next_buffer - try to read in a new buffer |
| * |
| * Returns a code representing an action: |
| * EOB_ACT_LAST_MATCH - |
| * EOB_ACT_CONTINUE_SCAN - continue scanning from current position |
| * EOB_ACT_END_OF_FILE - end of file |
| */ |
| static int yy_get_next_buffer (void) |
| { |
| char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf; |
| char *source = (yytext_ptr); |
| yy_size_t number_to_move, i; |
| int ret_val; |
| |
| if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] ) |
| YY_FATAL_ERROR( |
| "fatal flex scanner internal error--end of buffer missed" ); |
| |
| if ( YY_CURRENT_BUFFER_LVALUE->yy_fill_buffer == 0 ) |
| { /* Don't try to fill the buffer, so this is an EOF. */ |
| if ( (yy_c_buf_p) - (yytext_ptr) - YY_MORE_ADJ == 1 ) |
| { |
| /* We matched a single character, the EOB, so |
| * treat this as a final EOF. |
| */ |
| return EOB_ACT_END_OF_FILE; |
| } |
| |
| else |
| { |
| /* We matched some text prior to the EOB, first |
| * process it. |
| */ |
| return EOB_ACT_LAST_MATCH; |
| } |
| } |
| |
| /* Try to read more data. */ |
| |
| /* First move last chars to start of buffer. */ |
| number_to_move = (yy_size_t) ((yy_c_buf_p) - (yytext_ptr)) - 1; |
| |
| for ( i = 0; i < number_to_move; ++i ) |
| *(dest++) = *(source++); |
| |
| if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_EOF_PENDING ) |
| /* don't do the read, it's not guaranteed to return an EOF, |
| * just force an EOF |
| */ |
| YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars) = 0; |
| |
| else |
| { |
| yy_size_t num_to_read = |
| YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1; |
| |
| while ( num_to_read <= 0 ) |
| { /* Not enough room in the buffer - grow it. */ |
| |
| /* just a shorter name for the current buffer */ |
| YY_BUFFER_STATE b = YY_CURRENT_BUFFER_LVALUE; |
| |
| int yy_c_buf_p_offset = |
| (int) ((yy_c_buf_p) - b->yy_ch_buf); |
| |
| if ( b->yy_is_our_buffer ) |
| { |
| yy_size_t new_size = b->yy_buf_size * 2; |
| |
| if ( new_size <= 0 ) |
| b->yy_buf_size += b->yy_buf_size / 8; |
| else |
| b->yy_buf_size *= 2; |
| |
| b->yy_ch_buf = (char *) |
| /* Include room in for 2 EOB chars. */ |
| yyrealloc((void *) b->yy_ch_buf,b->yy_buf_size + 2 ); |
| } |
| else |
| /* Can't grow it, we don't own it. */ |
| b->yy_ch_buf = 0; |
| |
| if ( ! b->yy_ch_buf ) |
| YY_FATAL_ERROR( |
| "fatal error - scanner input buffer overflow" ); |
| |
| (yy_c_buf_p) = &b->yy_ch_buf[yy_c_buf_p_offset]; |
| |
| num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size - |
| number_to_move - 1; |
| |
| } |
| |
| if ( num_to_read > YY_READ_BUF_SIZE ) |
| num_to_read = YY_READ_BUF_SIZE; |
| |
| /* Read in more data. */ |
| YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]), |
| (yy_n_chars), num_to_read ); |
| |
| YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars); |
| } |
| |
| if ( (yy_n_chars) == 0 ) |
| { |
| if ( number_to_move == YY_MORE_ADJ ) |
| { |
| ret_val = EOB_ACT_END_OF_FILE; |
| yyrestart(yyin ); |
| } |
| |
| else |
| { |
| ret_val = EOB_ACT_LAST_MATCH; |
| YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = |
| YY_BUFFER_EOF_PENDING; |
| } |
| } |
| |
| else |
| ret_val = EOB_ACT_CONTINUE_SCAN; |
| |
| if ((int) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) { |
| /* Extend the array by 50%, plus the number we really need. */ |
| int new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1); |
| YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) yyrealloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size ); |
| if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf ) |
| YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" ); |
| } |
| |
| (yy_n_chars) += number_to_move; |
| YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR; |
| YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR; |
| |
| (yytext_ptr) = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[0]; |
| |
| return ret_val; |
| } |
| |
| /* yy_get_previous_state - get the state just before the EOB char was reached */ |
| |
| static yy_state_type yy_get_previous_state (void) |
| { |
| yy_state_type yy_current_state; |
| char *yy_cp; |
| |
| yy_current_state = (yy_start); |
| |
| for ( yy_cp = (yytext_ptr) + YY_MORE_ADJ; yy_cp < (yy_c_buf_p); ++yy_cp ) |
| { |
| YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1); |
| if ( yy_accept[yy_current_state] ) |
| { |
| (yy_last_accepting_state) = yy_current_state; |
| (yy_last_accepting_cpos) = yy_cp; |
| } |
| while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) |
| { |
| yy_current_state = (int) yy_def[yy_current_state]; |
| if ( yy_current_state >= 310 ) |
| yy_c = yy_meta[(unsigned int) yy_c]; |
| } |
| yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c]; |
| } |
| |
| return yy_current_state; |
| } |
| |
| /* yy_try_NUL_trans - try to make a transition on the NUL character |
| * |
| * synopsis |
| * next_state = yy_try_NUL_trans( current_state ); |
| */ |
| static yy_state_type yy_try_NUL_trans (yy_state_type yy_current_state ) |
| { |
| int yy_is_jam; |
| char *yy_cp = (yy_c_buf_p); |
| |
| YY_CHAR yy_c = 1; |
| if ( yy_accept[yy_current_state] ) |
| { |
| (yy_last_accepting_state) = yy_current_state; |
| (yy_last_accepting_cpos) = yy_cp; |
| } |
| while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) |
| { |
| yy_current_state = (int) yy_def[yy_current_state]; |
| if ( yy_current_state >= 310 ) |
| yy_c = yy_meta[(unsigned int) yy_c]; |
| } |
| yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c]; |
| yy_is_jam = (yy_current_state == 309); |
| |
| return yy_is_jam ? 0 : yy_current_state; |
| } |
| |
| #ifndef YY_NO_UNPUT |
| |
| static void yyunput (int c, char * yy_bp ) |
| { |
| char *yy_cp; |
| |
| yy_cp = (yy_c_buf_p); |
| |
| /* undo effects of setting up yytext */ |
| *yy_cp = (yy_hold_char); |
| |
| if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 ) |
| { /* need to shift things up to make room */ |
| /* +2 for EOB chars. */ |
| yy_size_t number_to_move = (yy_n_chars) + 2; |
| char *dest = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[ |
| YY_CURRENT_BUFFER_LVALUE->yy_buf_size + 2]; |
| char *source = |
| &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]; |
| |
| while ( source > YY_CURRENT_BUFFER_LVALUE->yy_ch_buf ) |
| *--dest = *--source; |
| |
| yy_cp += (int) (dest - source); |
| yy_bp += (int) (dest - source); |
| YY_CURRENT_BUFFER_LVALUE->yy_n_chars = |
| (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_buf_size; |
| |
| if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 ) |
| YY_FATAL_ERROR( "flex scanner push-back overflow" ); |
| } |
| |
| *--yy_cp = (char) c; |
| |
| if ( c == '\n' ){ |
| --yylineno; |
| } |
| |
| (yytext_ptr) = yy_bp; |
| (yy_hold_char) = *yy_cp; |
| (yy_c_buf_p) = yy_cp; |
| } |
| |
| #endif |
| |
| #ifndef YY_NO_INPUT |
| #ifdef __cplusplus |
| static int yyinput (void) |
| #else |
| static int input (void) |
| #endif |
| |
| { |
| int c; |
| |
| *(yy_c_buf_p) = (yy_hold_char); |
| |
| if ( *(yy_c_buf_p) == YY_END_OF_BUFFER_CHAR ) |
| { |
| /* yy_c_buf_p now points to the character we want to return. |
| * If this occurs *before* the EOB characters, then it's a |
| * valid NUL; if not, then we've hit the end of the buffer. |
| */ |
| if ( (yy_c_buf_p) < &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] ) |
| /* This was really a NUL. */ |
| *(yy_c_buf_p) = '\0'; |
| |
| else |
| { /* need more input */ |
| yy_size_t offset = (yy_c_buf_p) - (yytext_ptr); |
| ++(yy_c_buf_p); |
| |
| switch ( yy_get_next_buffer( ) ) |
| { |
| case EOB_ACT_LAST_MATCH: |
| /* This happens because yy_g_n_b() |
| * sees that we've accumulated a |
| * token and flags that we need to |
| * try matching the token before |
| * proceeding. But for input(), |
| * there's no matching to consider. |
| * So convert the EOB_ACT_LAST_MATCH |
| * to EOB_ACT_END_OF_FILE. |
| */ |
| |
| /* Reset buffer status. */ |
| yyrestart(yyin ); |
| |
| /*FALLTHROUGH*/ |
| |
| case EOB_ACT_END_OF_FILE: |
| { |
| if ( yywrap( ) ) |
| return EOF; |
| |
| if ( ! (yy_did_buffer_switch_on_eof) ) |
| YY_NEW_FILE; |
| #ifdef __cplusplus |
| return yyinput(); |
| #else |
| return input(); |
| #endif |
| } |
| |
| case EOB_ACT_CONTINUE_SCAN: |
| (yy_c_buf_p) = (yytext_ptr) + offset; |
| break; |
| } |
| } |
| } |
| |
| c = *(unsigned char *) (yy_c_buf_p); /* cast for 8-bit char's */ |
| *(yy_c_buf_p) = '\0'; /* preserve yytext */ |
| (yy_hold_char) = *++(yy_c_buf_p); |
| |
| if ( c == '\n' ) |
| |
| yylineno++; |
| ; |
| |
| return c; |
| } |
| #endif /* ifndef YY_NO_INPUT */ |
| |
| /** Immediately switch to a different input stream. |
| * @param input_file A readable stream. |
| * |
| * @note This function does not reset the start condition to @c INITIAL . |
| */ |
| void yyrestart (FILE * input_file ) |
| { |
| |
| if ( ! YY_CURRENT_BUFFER ){ |
| yyensure_buffer_stack (); |
| YY_CURRENT_BUFFER_LVALUE = |
| yy_create_buffer(yyin,YY_BUF_SIZE ); |
| } |
| |
| yy_init_buffer(YY_CURRENT_BUFFER,input_file ); |
| yy_load_buffer_state( ); |
| } |
| |
| /** Switch to a different input buffer. |
| * @param new_buffer The new input buffer. |
| * |
| */ |
| void yy_switch_to_buffer (YY_BUFFER_STATE new_buffer ) |
| { |
| |
| /* TODO. We should be able to replace this entire function body |
| * with |
| * yypop_buffer_state(); |
| * yypush_buffer_state(new_buffer); |
| */ |
| yyensure_buffer_stack (); |
| if ( YY_CURRENT_BUFFER == new_buffer ) |
| return; |
| |
| if ( YY_CURRENT_BUFFER ) |
| { |
| /* Flush out information for old buffer. */ |
| *(yy_c_buf_p) = (yy_hold_char); |
| YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p); |
| YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars); |
| } |
| |
| YY_CURRENT_BUFFER_LVALUE = new_buffer; |
| yy_load_buffer_state( ); |
| |
| /* We don't actually know whether we did this switch during |
| * EOF (yywrap()) processing, but the only time this flag |
| * is looked at is after yywrap() is called, so it's safe |
| * to go ahead and always set it. |
| */ |
| (yy_did_buffer_switch_on_eof) = 1; |
| } |
| |
| static void yy_load_buffer_state (void) |
| { |
| (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars; |
| (yytext_ptr) = (yy_c_buf_p) = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos; |
| yyin = YY_CURRENT_BUFFER_LVALUE->yy_input_file; |
| (yy_hold_char) = *(yy_c_buf_p); |
| } |
| |
| /** Allocate and initialize an input buffer state. |
| * @param file A readable stream. |
| * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE. |
| * |
| * @return the allocated buffer state. |
| */ |
| YY_BUFFER_STATE yy_create_buffer (FILE * file, int size ) |
| { |
| YY_BUFFER_STATE b; |
| |
| b = (YY_BUFFER_STATE) yyalloc(sizeof( struct yy_buffer_state ) ); |
| if ( ! b ) |
| YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" ); |
| |
| b->yy_buf_size = (yy_size_t)size; |
| |
| /* yy_ch_buf has to be 2 characters longer than the size given because |
| * we need to put in 2 end-of-buffer characters. |
| */ |
| b->yy_ch_buf = (char *) yyalloc(b->yy_buf_size + 2 ); |
| if ( ! b->yy_ch_buf ) |
| YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" ); |
| |
| b->yy_is_our_buffer = 1; |
| |
| yy_init_buffer(b,file ); |
| |
| return b; |
| } |
| |
| /** Destroy the buffer. |
| * @param b a buffer created with yy_create_buffer() |
| * |
| */ |
| void yy_delete_buffer (YY_BUFFER_STATE b ) |
| { |
| |
| if ( ! b ) |
| return; |
| |
| if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */ |
| YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0; |
| |
| if ( b->yy_is_our_buffer ) |
| yyfree((void *) b->yy_ch_buf ); |
| |
| yyfree((void *) b ); |
| } |
| |
| /* Initializes or reinitializes a buffer. |
| * This function is sometimes called more than once on the same buffer, |
| * such as during a yyrestart() or at EOF. |
| */ |
| static void yy_init_buffer (YY_BUFFER_STATE b, FILE * file ) |
| |
| { |
| int oerrno = errno; |
| |
| yy_flush_buffer(b ); |
| |
| b->yy_input_file = file; |
| b->yy_fill_buffer = 1; |
| |
| /* If b is the current buffer, then yy_init_buffer was _probably_ |
| * called from yyrestart() or through yy_get_next_buffer. |
| * In that case, we don't want to reset the lineno or column. |
| */ |
| if (b != YY_CURRENT_BUFFER){ |
| b->yy_bs_lineno = 1; |
| b->yy_bs_column = 0; |
| } |
| |
| b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0; |
| |
| errno = oerrno; |
| } |
| |
| /** Discard all buffered characters. On the next scan, YY_INPUT will be called. |
| * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER. |
| * |
| */ |
| void yy_flush_buffer (YY_BUFFER_STATE b ) |
| { |
| if ( ! b ) |
| return; |
| |
| b->yy_n_chars = 0; |
| |
| /* We always need two end-of-buffer characters. The first causes |
| * a transition to the end-of-buffer state. The second causes |
| * a jam in that state. |
| */ |
| b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR; |
| b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR; |
| |
| b->yy_buf_pos = &b->yy_ch_buf[0]; |
| |
| b->yy_at_bol = 1; |
| b->yy_buffer_status = YY_BUFFER_NEW; |
| |
| if ( b == YY_CURRENT_BUFFER ) |
| yy_load_buffer_state( ); |
| } |
| |
| /** Pushes the new state onto the stack. The new state becomes |
| * the current state. This function will allocate the stack |
| * if necessary. |
| * @param new_buffer The new state. |
| * |
| */ |
| void yypush_buffer_state (YY_BUFFER_STATE new_buffer ) |
| { |
| if (new_buffer == NULL) |
| return; |
| |
| yyensure_buffer_stack(); |
| |
| /* This block is copied from yy_switch_to_buffer. */ |
| if ( YY_CURRENT_BUFFER ) |
| { |
| /* Flush out information for old buffer. */ |
| *(yy_c_buf_p) = (yy_hold_char); |
| YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p); |
| YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars); |
| } |
| |
| /* Only push if top exists. Otherwise, replace top. */ |
| if (YY_CURRENT_BUFFER) |
| (yy_buffer_stack_top)++; |
| YY_CURRENT_BUFFER_LVALUE = new_buffer; |
| |
| /* copied from yy_switch_to_buffer. */ |
| yy_load_buffer_state( ); |
| (yy_did_buffer_switch_on_eof) = 1; |
| } |
| |
| /** Removes and deletes the top of the stack, if present. |
| * The next element becomes the new top. |
| * |
| */ |
| void yypop_buffer_state (void) |
| { |
| if (!YY_CURRENT_BUFFER) |
| return; |
| |
| yy_delete_buffer(YY_CURRENT_BUFFER ); |
| YY_CURRENT_BUFFER_LVALUE = NULL; |
| if ((yy_buffer_stack_top) > 0) |
| --(yy_buffer_stack_top); |
| |
| if (YY_CURRENT_BUFFER) { |
| yy_load_buffer_state( ); |
| (yy_did_buffer_switch_on_eof) = 1; |
| } |
| } |
| |
| /* Allocates the stack if it does not exist. |
| * Guarantees space for at least one push. |
| */ |
| static void yyensure_buffer_stack (void) |
| { |
| yy_size_t num_to_alloc; |
| |
| if (!(yy_buffer_stack)) { |
| |
| /* First allocation is just for 2 elements, since we don't know if this |
| * scanner will even need a stack. We use 2 instead of 1 to avoid an |
| * immediate realloc on the next call. |
| */ |
| num_to_alloc = 1; /* After all that talk, this was set to 1 anyways... */ |
| (yy_buffer_stack) = (struct yy_buffer_state**)yyalloc |
| (num_to_alloc * sizeof(struct yy_buffer_state*) |
| ); |
| if ( ! (yy_buffer_stack) ) |
| YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" ); |
| |
| memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*)); |
| |
| (yy_buffer_stack_max) = num_to_alloc; |
| (yy_buffer_stack_top) = 0; |
| return; |
| } |
| |
| if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){ |
| |
| /* Increase the buffer to prepare for a possible push. */ |
| yy_size_t grow_size = 8 /* arbitrary grow size */; |
| |
| num_to_alloc = (yy_buffer_stack_max) + grow_size; |
| (yy_buffer_stack) = (struct yy_buffer_state**)yyrealloc |
| ((yy_buffer_stack), |
| num_to_alloc * sizeof(struct yy_buffer_state*) |
| ); |
| if ( ! (yy_buffer_stack) ) |
| YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" ); |
| |
| /* zero only the new slots.*/ |
| memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*)); |
| (yy_buffer_stack_max) = num_to_alloc; |
| } |
| } |
| |
| /** Setup the input buffer state to scan directly from a user-specified character buffer. |
| * @param base the character buffer |
| * @param size the size in bytes of the character buffer |
| * |
| * @return the newly allocated buffer state object. |
| */ |
| YY_BUFFER_STATE yy_scan_buffer (char * base, yy_size_t size ) |
| { |
| YY_BUFFER_STATE b; |
| |
| if ( size < 2 || |
| base[size-2] != YY_END_OF_BUFFER_CHAR || |
| base[size-1] != YY_END_OF_BUFFER_CHAR ) |
| /* They forgot to leave room for the EOB's. */ |
| return 0; |
| |
| b = (YY_BUFFER_STATE) yyalloc(sizeof( struct yy_buffer_state ) ); |
| if ( ! b ) |
| YY_FATAL_ERROR( "out of dynamic memory in yy_scan_buffer()" ); |
| |
| b->yy_buf_size = size - 2; /* "- 2" to take care of EOB's */ |
| b->yy_buf_pos = b->yy_ch_buf = base; |
| b->yy_is_our_buffer = 0; |
| b->yy_input_file = 0; |
| b->yy_n_chars = b->yy_buf_size; |
| b->yy_is_interactive = 0; |
| b->yy_at_bol = 1; |
| b->yy_fill_buffer = 0; |
| b->yy_buffer_status = YY_BUFFER_NEW; |
| |
| yy_switch_to_buffer(b ); |
| |
| return b; |
| } |
| |
| /** Setup the input buffer state to scan a string. The next call to yylex() will |
| * scan from a @e copy of @a str. |
| * @param yystr a NUL-terminated string to scan |
| * |
| * @return the newly allocated buffer state object. |
| * @note If you want to scan bytes that may contain NUL values, then use |
| * yy_scan_bytes() instead. |
| */ |
| YY_BUFFER_STATE yy_scan_string (yyconst char * yystr ) |
| { |
| |
| return yy_scan_bytes(yystr,strlen(yystr) ); |
| } |
| |
| /** Setup the input buffer state to scan the given bytes. The next call to yylex() will |
| * scan from a @e copy of @a bytes. |
| * @param yybytes the byte buffer to scan |
| * @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes. |
| * |
| * @return the newly allocated buffer state object. |
| */ |
| YY_BUFFER_STATE yy_scan_bytes (yyconst char * yybytes, yy_size_t _yybytes_len ) |
| { |
| YY_BUFFER_STATE b; |
| char *buf; |
| yy_size_t n; |
| yy_size_t i; |
| |
| /* Get memory for full buffer, including space for trailing EOB's. */ |
| n = _yybytes_len + 2; |
| buf = (char *) yyalloc(n ); |
| if ( ! buf ) |
| YY_FATAL_ERROR( "out of dynamic memory in yy_scan_bytes()" ); |
| |
| for ( i = 0; i < _yybytes_len; ++i ) |
| buf[i] = yybytes[i]; |
| |
| buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR; |
| |
| b = yy_scan_buffer(buf,n ); |
| if ( ! b ) |
| YY_FATAL_ERROR( "bad buffer in yy_scan_bytes()" ); |
| |
| /* It's okay to grow etc. this buffer, and we should throw it |
| * away when we're done. |
| */ |
| b->yy_is_our_buffer = 1; |
| |
| return b; |
| } |
| |
| #ifndef YY_EXIT_FAILURE |
| #define YY_EXIT_FAILURE 2 |
| #endif |
| |
| static void yy_fatal_error (yyconst char* msg ) |
| { |
| (void) fprintf( stderr, "%s\n", msg ); |
| exit( YY_EXIT_FAILURE ); |
| } |
| |
| /* Redefine yyless() so it works in section 3 code. */ |
| |
| #undef yyless |
| #define yyless(n) \ |
| do \ |
| { \ |
| /* Undo effects of setting up yytext. */ \ |
| int yyless_macro_arg = (n); \ |
| YY_LESS_LINENO(yyless_macro_arg);\ |
| yytext[yyleng] = (yy_hold_char); \ |
| (yy_c_buf_p) = yytext + yyless_macro_arg; \ |
| (yy_hold_char) = *(yy_c_buf_p); \ |
| *(yy_c_buf_p) = '\0'; \ |
| yyleng = yyless_macro_arg; \ |
| } \ |
| while ( 0 ) |
| |
| /* Accessor methods (get/set functions) to struct members. */ |
| |
| /** Get the current line number. |
| * |
| */ |
| int yyget_lineno (void) |
| { |
| |
| return yylineno; |
| } |
| |
| /** Get the input stream. |
| * |
| */ |
| FILE *yyget_in (void) |
| { |
| return yyin; |
| } |
| |
| /** Get the output stream. |
| * |
| */ |
| FILE *yyget_out (void) |
| { |
| return yyout; |
| } |
| |
| /** Get the length of the current token. |
| * |
| */ |
| yy_size_t yyget_leng (void) |
| { |
| return yyleng; |
| } |
| |
| /** Get the current token. |
| * |
| */ |
| |
| char *yyget_text (void) |
| { |
| return yytext; |
| } |
| |
| /** Set the current line number. |
| * @param _line_number line number |
| * |
| */ |
| void yyset_lineno (int _line_number ) |
| { |
| |
| yylineno = _line_number; |
| } |
| |
| /** Set the input stream. This does not discard the current |
| * input buffer. |
| * @param _in_str A readable stream. |
| * |
| * @see yy_switch_to_buffer |
| */ |
| void yyset_in (FILE * _in_str ) |
| { |
| yyin = _in_str ; |
| } |
| |
| void yyset_out (FILE * _out_str ) |
| { |
| yyout = _out_str ; |
| } |
| |
| int yyget_debug (void) |
| { |
| return yy_flex_debug; |
| } |
| |
| void yyset_debug (int _bdebug ) |
| { |
| yy_flex_debug = _bdebug ; |
| } |
| |
| static int yy_init_globals (void) |
| { |
| /* Initialization is the same as for the non-reentrant scanner. |
| * This function is called from yylex_destroy(), so don't allocate here. |
| */ |
| |
| /* We do not touch yylineno unless the option is enabled. */ |
| yylineno = 1; |
| |
| (yy_buffer_stack) = 0; |
| (yy_buffer_stack_top) = 0; |
| (yy_buffer_stack_max) = 0; |
| (yy_c_buf_p) = (char *) 0; |
| (yy_init) = 0; |
| (yy_start) = 0; |
| |
| /* Defined in main.c */ |
| #ifdef YY_STDINIT |
| yyin = stdin; |
| yyout = stdout; |
| #else |
| yyin = (FILE *) 0; |
| yyout = (FILE *) 0; |
| #endif |
| |
| /* For future reference: Set errno on error, since we are called by |
| * yylex_init() |
| */ |
| return 0; |
| } |
| |
| /* yylex_destroy is for both reentrant and non-reentrant scanners. */ |
| int yylex_destroy (void) |
| { |
| |
| /* Pop the buffer stack, destroying each element. */ |
| while(YY_CURRENT_BUFFER){ |
| yy_delete_buffer(YY_CURRENT_BUFFER ); |
| YY_CURRENT_BUFFER_LVALUE = NULL; |
| yypop_buffer_state(); |
| } |
| |
| /* Destroy the stack itself. */ |
| yyfree((yy_buffer_stack) ); |
| (yy_buffer_stack) = NULL; |
| |
| /* Reset the globals. This is important in a non-reentrant scanner so the next time |
| * yylex() is called, initialization will occur. */ |
| yy_init_globals( ); |
| |
| return 0; |
| } |
| |
| /* |
| * Internal utility routines. |
| */ |
| |
| #ifndef yytext_ptr |
| static void yy_flex_strncpy (char* s1, yyconst char * s2, int n ) |
| { |
| |
| int i; |
| for ( i = 0; i < n; ++i ) |
| s1[i] = s2[i]; |
| } |
| #endif |
| |
| #ifdef YY_NEED_STRLEN |
| static int yy_flex_strlen (yyconst char * s ) |
| { |
| int n; |
| for ( n = 0; s[n]; ++n ) |
| ; |
| |
| return n; |
| } |
| #endif |
| |
| void *yyalloc (yy_size_t size ) |
| { |
| return (void *) malloc( size ); |
| } |
| |
| void *yyrealloc (void * ptr, yy_size_t size ) |
| { |
| |
| /* The cast to (char *) in the following accommodates both |
| * implementations that use char* generic pointers, and those |
| * that use void* generic pointers. It works with the latter |
| * because both ANSI C and C++ allow castless assignment from |
| * any pointer type to void*, and deal with argument conversions |
| * as though doing an assignment. |
| */ |
| return (void *) realloc( (char *) ptr, size ); |
| } |
| |
| void yyfree (void * ptr ) |
| { |
| free( (char *) ptr ); /* see yyrealloc() for (char *) cast */ |
| } |
| |
| #define YYTABLES_NAME "yytables" |
| |
| #line 164 "parser/tf_fuzz_grammar.l" |
| |
| |
| |
| |