cprover
ansi_c_lex.yy.cpp File Reference
#include <stdio.h>
#include <string.h>
#include <errno.h>
#include <stdlib.h>
#include <util/string_constant.h>
#include <util/unicode.h>
#include "preprocessor_line.h"
#include "literals/convert_float_literal.h"
#include "literals/convert_integer_literal.h"
#include "literals/convert_character_literal.h"
#include "literals/convert_string_literal.h"
#include "literals/unescape_string.h"
#include "ansi_c_parser.h"
#include "ansi_c_y.tab.h"
#include <util/pragma_wsign_compare.def>
#include <util/pragma_wnull_conversion.def>
#include <util/pragma_wdeprecated_register.def>
#include <unistd.h>
Include dependency graph for ansi_c_lex.yy.cpp:

Go to the source code of this file.

Classes

struct  yy_buffer_state
 
struct  yy_trans_info
 

Macros

#define YY_INT_ALIGNED   short int
 
#define yy_create_buffer   yyansi_c_create_buffer
 
#define yy_delete_buffer   yyansi_c_delete_buffer
 
#define yy_flex_debug   yyansi_c_flex_debug
 
#define yy_init_buffer   yyansi_c_init_buffer
 
#define yy_flush_buffer   yyansi_c_flush_buffer
 
#define yy_load_buffer_state   yyansi_c_load_buffer_state
 
#define yy_switch_to_buffer   yyansi_c_switch_to_buffer
 
#define yyin   yyansi_cin
 
#define yyleng   yyansi_cleng
 
#define yylex   yyansi_clex
 
#define yylineno   yyansi_clineno
 
#define yyout   yyansi_cout
 
#define yyrestart   yyansi_crestart
 
#define yytext   yyansi_ctext
 
#define yywrap   yyansi_cwrap
 
#define yyalloc   yyansi_calloc
 
#define yyrealloc   yyansi_crealloc
 
#define yyfree   yyansi_cfree
 
#define FLEX_SCANNER
 
#define YY_FLEX_MAJOR_VERSION   2
 
#define YY_FLEX_MINOR_VERSION   6
 
#define YY_FLEX_SUBMINOR_VERSION   1
 
#define FLEX_BETA
 
#define FLEXINT_H
 
#define INT8_MIN   (-128)
 
#define INT16_MIN   (-32767-1)
 
#define INT32_MIN   (-2147483647-1)
 
#define INT8_MAX   (127)
 
#define INT16_MAX   (32767)
 
#define INT32_MAX   (2147483647)
 
#define UINT8_MAX   (255U)
 
#define UINT16_MAX   (65535U)
 
#define UINT32_MAX   (4294967295U)
 
#define yyconst   const
 
#define yynoreturn
 
#define YY_NULL   0
 
#define YY_SC_TO_UI(c)   ((unsigned int) (unsigned char) c)
 
#define BEGIN   (yy_start) = 1 + 2 *
 
#define YY_START   (((yy_start) - 1) / 2)
 
#define YYSTATE   YY_START
 
#define YY_STATE_EOF(state)   (YY_END_OF_BUFFER + state + 1)
 
#define YY_NEW_FILE   yyansi_crestart(yyansi_cin )
 
#define YY_END_OF_BUFFER_CHAR   0
 
#define YY_BUF_SIZE   16384
 
#define YY_STATE_BUF_SIZE   ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))
 
#define YY_TYPEDEF_YY_BUFFER_STATE
 
#define YY_TYPEDEF_YY_SIZE_T
 
#define EOB_ACT_CONTINUE_SCAN   0
 
#define EOB_ACT_END_OF_FILE   1
 
#define EOB_ACT_LAST_MATCH   2
 
#define YY_LESS_LINENO(n)
 
#define YY_LINENO_REWIND_TO(ptr)
 
#define yyless(n)
 
#define unput(c)   yyunput( c, (yytext_ptr) )
 
#define YY_STRUCT_YY_BUFFER_STATE
 
#define YY_BUFFER_NEW   0
 
#define YY_BUFFER_NORMAL   1
 
#define YY_BUFFER_EOF_PENDING   2
 
#define YY_CURRENT_BUFFER
 
#define YY_CURRENT_BUFFER_LVALUE   (yy_buffer_stack)[(yy_buffer_stack_top)]
 
#define YY_FLUSH_BUFFER   yyansi_c_flush_buffer(YY_CURRENT_BUFFER )
 
#define yy_new_buffer   yyansi_c_create_buffer
 
#define yy_set_interactive(is_interactive)
 
#define yy_set_bol(at_bol)
 
#define YY_AT_BOL()   (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)
 
#define yytext_ptr   yyansi_ctext
 
#define YY_DO_BEFORE_ACTION
 
#define YY_NUM_RULES   428
 
#define YY_END_OF_BUFFER   429
 
#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
 
#define YY_NO_INPUT   1
 
#define PARSER   ansi_c_parser
 
#define YYSTYPE   unsigned
 
#define ECHO
 
#define loc()   { newstack(yyansi_clval); PARSER.set_source_location(stack(yyansi_clval)); }
 
#define INITIAL   0
 
#define GRAMMAR   1
 
#define COMMENT1   2
 
#define COMMENT2   3
 
#define STRING_LITERAL   4
 
#define STRING_LITERAL_COMMENT   5
 
#define ASM_BLOCK   6
 
#define MSC_ASM   7
 
#define IGNORE_PARENS   8
 
#define MSC_PRAGMA   9
 
#define MSC_ANNOTATION   10
 
#define GCC_ATTRIBUTE1   11
 
#define GCC_ATTRIBUTE1a   12
 
#define GCC_ATTRIBUTE2   13
 
#define GCC_ATTRIBUTE3   14
 
#define GCC_ATTRIBUTE4   15
 
#define GCC_ATTRIBUTE5   16
 
#define GCC_ASM   17
 
#define GCC_ASM_PAREN   18
 
#define CPROVER_ID   19
 
#define YY_EXTRA_TYPE   void *
 
#define YY_READ_BUF_SIZE   8192
 
#define YY_INPUT(buf, result, max_size)
 
#define yyterminate()   return YY_NULL
 
#define YY_START_STACK_INCR   25
 
#define YY_FATAL_ERROR(msg)   yy_fatal_error( msg )
 
#define YY_DECL_IS_OURS   1
 
#define YY_DECL   int yyansi_clex (void)
 
#define YY_USER_ACTION
 
#define YY_BREAK   /*LINTED*/break;
 
#define YY_RULE_SETUP   YY_USER_ACTION
 
#define YY_EXIT_FAILURE   2
 
#define yyless(n)
 
#define YYTABLES_NAME   "yytables"
 

Typedefs

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
 
typedef struct yy_buffer_stateYY_BUFFER_STATE
 
typedef size_t yy_size_t
 
typedef unsigned char YY_CHAR
 
typedef int yy_state_type
 

Functions

void yyansi_crestart (FILE *input_file)
 Immediately switch to a different input stream. More...
 
void yyansi_c_switch_to_buffer (YY_BUFFER_STATE new_buffer)
 Switch to a different input buffer. More...
 
YY_BUFFER_STATE yyansi_c_create_buffer (FILE *file, int size)
 Allocate and initialize an input buffer state. More...
 
void yyansi_c_delete_buffer (YY_BUFFER_STATE b)
 Destroy the buffer. More...
 
void yyansi_c_flush_buffer (YY_BUFFER_STATE b)
 Discard all buffered characters. More...
 
void yyansi_cpush_buffer_state (YY_BUFFER_STATE new_buffer)
 Pushes the new state onto the stack. More...
 
void yyansi_cpop_buffer_state (void)
 Removes and deletes the top of the stack, if present. More...
 
static void yyansi_censure_buffer_stack (void)
 
static void yyansi_c_load_buffer_state (void)
 
static void yyansi_c_init_buffer (YY_BUFFER_STATE b, FILE *file)
 
YY_BUFFER_STATE yyansi_c_scan_buffer (char *base, yy_size_t size)
 Setup the input buffer state to scan directly from a user-specified character buffer. More...
 
YY_BUFFER_STATE yyansi_c_scan_string (const char *yystr)
 Setup the input buffer state to scan a string. More...
 
YY_BUFFER_STATE yyansi_c_scan_bytes (const char *yybytes, int _yybytes_len)
 Setup the input buffer state to scan the given bytes. More...
 
void * yyansi_calloc (yy_size_t)
 
void * yyansi_crealloc (void *, yy_size_t)
 
void yyansi_cfree (void *)
 
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)
 
static void yy_fatal_error (const char *msg)
 
int make_identifier ()
 
int MSC_Keyword (int token)
 
int cpp98_keyword (int token)
 
int cpp11_keyword (int token)
 
int MSC_cpp_keyword (int token)
 
int cpp_operator (int token)
 
void ansi_c_scanner_init ()
 
static int yy_init_globals (void)
 
int yyansi_clex_destroy (void)
 
int yyansi_cget_debug (void)
 
void yyansi_cset_debug (int debug_flag)
 
void * yyansi_cget_extra (void)
 
void yyansi_cset_extra (void *user_defined)
 
FILE * yyansi_cget_in (void)
 Get the input stream. More...
 
void yyansi_cset_in (FILE *_in_str)
 Set the input stream. More...
 
FILE * yyansi_cget_out (void)
 Get the output stream. More...
 
void yyansi_cset_out (FILE *_out_str)
 
int yyansi_cget_leng (void)
 Get the length of the current token. More...
 
char * yyansi_cget_text (void)
 Get the current token. More...
 
int yyansi_cget_lineno (void)
 Get the current line number. More...
 
void yyansi_cset_lineno (int _line_number)
 Set the current line number. More...
 
int yyansi_cwrap (void)
 
static void yy_push_state (int _new_state)
 
static void yy_pop_state (void)
 
static int yy_top_state (void)
 
int yyansi_clex (void)
 The main scanner function which does all the work. More...
 

Variables

int yyansi_cleng
 
FILE * yyansi_cin = NULL
 
FILE * yyansi_cout = NULL
 
static size_t yy_buffer_stack_top = 0
 index of top of stack. More...
 
static size_t yy_buffer_stack_max = 0
 capacity of stack. More...
 
static YY_BUFFER_STATEyy_buffer_stack = NULL
 Stack as an array. More...
 
static char yy_hold_char
 
static int yy_n_chars
 
static char * yy_c_buf_p = NULL
 
static int yy_init = 0
 
static int yy_start = 0
 
static int yy_did_buffer_switch_on_eof
 
int yyansi_clineno = 1
 
char * yyansi_ctext
 
static const flex_int16_t yy_accept [3819]
 
static const YY_CHAR yy_ec [256]
 
static const YY_CHAR yy_meta [95]
 
static const flex_uint16_t yy_base [3968]
 
static const flex_int16_t yy_def [3968]
 
static const flex_uint16_t yy_nxt [9832]
 
static const flex_int16_t yy_chk [9832]
 
static yy_state_type yy_last_accepting_state
 
static char * yy_last_accepting_cpos
 
int yyansi_c_flex_debug = 0
 
static int yy_start_stack_ptr = 0
 
static int yy_start_stack_depth = 0
 
static int * yy_start_stack = NULL
 

Macro Definition Documentation

◆ ASM_BLOCK

#define ASM_BLOCK   6

Definition at line 4133 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ BEGIN

#define BEGIN   (yy_start) = 1 + 2 *

◆ COMMENT1

#define COMMENT1   2

Definition at line 4129 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ COMMENT2

#define COMMENT2   3

Definition at line 4130 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ CPROVER_ID

#define CPROVER_ID   19

Definition at line 4146 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ ECHO

#define ECHO

Definition at line 3962 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ EOB_ACT_CONTINUE_SCAN

#define EOB_ACT_CONTINUE_SCAN   0

Definition at line 181 of file ansi_c_lex.yy.cpp.

Referenced by yy_get_next_buffer(), and yyansi_clex().

◆ EOB_ACT_END_OF_FILE

#define EOB_ACT_END_OF_FILE   1

Definition at line 182 of file ansi_c_lex.yy.cpp.

Referenced by yy_get_next_buffer(), and yyansi_clex().

◆ EOB_ACT_LAST_MATCH

#define EOB_ACT_LAST_MATCH   2

Definition at line 183 of file ansi_c_lex.yy.cpp.

Referenced by yy_get_next_buffer(), and yyansi_clex().

◆ FLEX_BETA

#define FLEX_BETA

Definition at line 33 of file ansi_c_lex.yy.cpp.

◆ FLEX_SCANNER

#define FLEX_SCANNER

Definition at line 28 of file ansi_c_lex.yy.cpp.

◆ FLEXINT_H

#define FLEXINT_H

Definition at line 49 of file ansi_c_lex.yy.cpp.

◆ GCC_ASM

#define GCC_ASM   17

Definition at line 4144 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ GCC_ASM_PAREN

#define GCC_ASM_PAREN   18

Definition at line 4145 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ GCC_ATTRIBUTE1

#define GCC_ATTRIBUTE1   11

Definition at line 4138 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ GCC_ATTRIBUTE1a

#define GCC_ATTRIBUTE1a   12

Definition at line 4139 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ GCC_ATTRIBUTE2

#define GCC_ATTRIBUTE2   13

Definition at line 4140 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ GCC_ATTRIBUTE3

#define GCC_ATTRIBUTE3   14

Definition at line 4141 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ GCC_ATTRIBUTE4

#define GCC_ATTRIBUTE4   15

Definition at line 4142 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ GCC_ATTRIBUTE5

#define GCC_ATTRIBUTE5   16

Definition at line 4143 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ GRAMMAR

#define GRAMMAR   1

Definition at line 4128 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ IGNORE_PARENS

#define IGNORE_PARENS   8

Definition at line 4135 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ INITIAL

#define INITIAL   0

Definition at line 4127 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ INT16_MAX

#define INT16_MAX   (32767)

Definition at line 91 of file ansi_c_lex.yy.cpp.

◆ INT16_MIN

#define INT16_MIN   (-32767-1)

Definition at line 82 of file ansi_c_lex.yy.cpp.

◆ INT32_MAX

#define INT32_MAX   (2147483647)

Definition at line 94 of file ansi_c_lex.yy.cpp.

◆ INT32_MIN

#define INT32_MIN   (-2147483647-1)

Definition at line 85 of file ansi_c_lex.yy.cpp.

◆ INT8_MAX

#define INT8_MAX   (127)

Definition at line 88 of file ansi_c_lex.yy.cpp.

◆ INT8_MIN

#define INT8_MIN   (-128)

Definition at line 79 of file ansi_c_lex.yy.cpp.

◆ loc

#define loc ( )    { newstack(yyansi_clval); PARSER.set_source_location(stack(yyansi_clval)); }

Definition at line 3970 of file ansi_c_lex.yy.cpp.

Referenced by code_blockt::add(), add_array_to_length_association(), add_character_set_constraint(), add_nondet_string_pointer_initialization(), add_pointer_to_array_association(), custom_bitvector_analysist::aliases(), allocate_dynamic_object(), allocate_dynamic_object_with_decl(), java_string_library_preprocesst::allocate_fresh_array(), java_string_library_preprocesst::allocate_fresh_string(), c_new_tmp_symbol(), c_nondet_symbol_factory(), java_string_library_preprocesst::code_assign_java_string_to_string_expr(), java_string_library_preprocesst::code_for_function(), java_string_library_preprocesst::convert_exprt_to_string_exprt(), cpp11_keyword(), cpp98_keyword(), cpp_operator(), create_fatal_assertion(), java_simple_method_stubst::create_method_stub_at(), java_string_library_preprocesst::decl_string_expr(), declare_created_symbols(), typecheckt::err_location(), custom_bitvector_analysist::eval(), call_grapht::format_callsites(), java_string_library_preprocesst::fresh_string(), gen_nondet_init(), generate_java_start_function(), java_string_library_preprocesst::get_primitive_value_of_object(), cone_of_influencet::get_succs(), bmc_covert::id(), initialize_nondet_string_struct(), linker_script_merget::ls_data2instructions(), java_string_library_preprocesst::make_argument_for_format(), java_string_library_preprocesst::make_assign_and_return_function_from_call(), java_string_library_preprocesst::make_assign_function_from_call(), java_string_library_preprocesst::make_copy_constructor_code(), java_string_library_preprocesst::make_copy_string_code(), java_string_library_preprocesst::make_equals_function_code(), java_string_library_preprocesst::make_float_to_string_code(), java_string_library_preprocesst::make_function_from_call(), make_identifier(), java_string_library_preprocesst::make_init_from_array_code(), java_string_library_preprocesst::make_init_function_from_call(), make_nondet_infinite_char_array(), java_string_library_preprocesst::make_nondet_string_expr(), java_string_library_preprocesst::make_object_get_class_code(), java_string_library_preprocesst::make_string_format_code(), java_string_library_preprocesst::make_string_returning_function_from_call(), MSC_cpp_keyword(), MSC_Keyword(), object_factory(), java_string_library_preprocesst::process_equals_function_operands(), java_string_library_preprocesst::process_operands(), java_string_library_preprocesst::process_parameters(), java_string_library_preprocesst::replace_char_array(), java_string_library_preprocesst::string_expr_of_function(), java_string_library_preprocesst::string_literal_to_string_expr(), utf16_little_endian_to_java(), and yyansi_clex().

◆ MSC_ANNOTATION

#define MSC_ANNOTATION   10

Definition at line 4137 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ MSC_ASM

#define MSC_ASM   7

Definition at line 4134 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ MSC_PRAGMA

#define MSC_PRAGMA   9

Definition at line 4136 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ PARSER

◆ REJECT

#define REJECT   reject_used_but_not_detected

Definition at line 3924 of file ansi_c_lex.yy.cpp.

◆ STRING_LITERAL

#define STRING_LITERAL   4

◆ STRING_LITERAL_COMMENT

#define STRING_LITERAL_COMMENT   5

Definition at line 4132 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ UINT16_MAX

#define UINT16_MAX   (65535U)

Definition at line 100 of file ansi_c_lex.yy.cpp.

◆ UINT32_MAX

#define UINT32_MAX   (4294967295U)

Definition at line 103 of file ansi_c_lex.yy.cpp.

◆ UINT8_MAX

#define UINT8_MAX   (255U)

Definition at line 97 of file ansi_c_lex.yy.cpp.

◆ unput

#define unput (   c)    yyunput( c, (yytext_ptr) )

Definition at line 202 of file ansi_c_lex.yy.cpp.

◆ YY_AT_BOL

#define YY_AT_BOL ( )    (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)

Definition at line 348 of file ansi_c_lex.yy.cpp.

◆ YY_BREAK

#define YY_BREAK   /*LINTED*/break;

Definition at line 4329 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ YY_BUF_SIZE

#define YY_BUF_SIZE   16384

Definition at line 159 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex(), and yyansi_crestart().

◆ YY_BUFFER_EOF_PENDING

#define YY_BUFFER_EOF_PENDING   2

Definition at line 264 of file ansi_c_lex.yy.cpp.

Referenced by yy_get_next_buffer().

◆ YY_BUFFER_NEW

#define YY_BUFFER_NEW   0

Definition at line 252 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_c_flush_buffer(), yyansi_c_scan_buffer(), and yyansi_clex().

◆ YY_BUFFER_NORMAL

#define YY_BUFFER_NORMAL   1

Definition at line 253 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ yy_create_buffer

#define yy_create_buffer   yyansi_c_create_buffer

Definition at line 9 of file ansi_c_lex.yy.cpp.

◆ YY_CURRENT_BUFFER

#define YY_CURRENT_BUFFER
Value:
: NULL)
static size_t yy_buffer_stack_top
index of top of stack.
static YY_BUFFER_STATE * yy_buffer_stack
Stack as an array.

Definition at line 280 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_c_delete_buffer(), yyansi_c_flush_buffer(), yyansi_c_init_buffer(), yyansi_c_switch_to_buffer(), yyansi_clex(), yyansi_clex_destroy(), yyansi_cpop_buffer_state(), yyansi_cpush_buffer_state(), and yyansi_crestart().

◆ YY_CURRENT_BUFFER_LVALUE

◆ YY_DECL

#define YY_DECL   int yyansi_clex (void)

Definition at line 4317 of file ansi_c_lex.yy.cpp.

◆ YY_DECL_IS_OURS

#define YY_DECL_IS_OURS   1

Definition at line 4313 of file ansi_c_lex.yy.cpp.

◆ yy_delete_buffer

#define yy_delete_buffer   yyansi_c_delete_buffer

Definition at line 10 of file ansi_c_lex.yy.cpp.

◆ YY_DO_BEFORE_ACTION

#define YY_DO_BEFORE_ACTION
Value:
(yytext_ptr) = yy_bp; \
yyansi_cleng = (int) (yy_cp - yy_bp); \
(yy_hold_char) = *yy_cp; \
*yy_cp = '\0'; \
(yy_c_buf_p) = yy_cp;
static char * yy_c_buf_p
#define yytext_ptr
static char yy_hold_char

Definition at line 376 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ YY_END_OF_BUFFER

#define YY_END_OF_BUFFER   429

Definition at line 384 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ YY_END_OF_BUFFER_CHAR

#define YY_END_OF_BUFFER_CHAR   0

◆ YY_EXIT_FAILURE

#define YY_EXIT_FAILURE   2

Definition at line 8131 of file ansi_c_lex.yy.cpp.

Referenced by yy_fatal_error().

◆ YY_EXTRA_TYPE

#define YY_EXTRA_TYPE   void *

Definition at line 4157 of file ansi_c_lex.yy.cpp.

◆ YY_FATAL_ERROR

◆ yy_flex_debug

#define yy_flex_debug   yyansi_c_flex_debug

Definition at line 11 of file ansi_c_lex.yy.cpp.

◆ YY_FLEX_MAJOR_VERSION

#define YY_FLEX_MAJOR_VERSION   2

Definition at line 29 of file ansi_c_lex.yy.cpp.

◆ YY_FLEX_MINOR_VERSION

#define YY_FLEX_MINOR_VERSION   6

Definition at line 30 of file ansi_c_lex.yy.cpp.

◆ YY_FLEX_SUBMINOR_VERSION

#define YY_FLEX_SUBMINOR_VERSION   1

Definition at line 31 of file ansi_c_lex.yy.cpp.

◆ yy_flush_buffer

#define yy_flush_buffer   yyansi_c_flush_buffer

Definition at line 13 of file ansi_c_lex.yy.cpp.

◆ YY_FLUSH_BUFFER

#define YY_FLUSH_BUFFER   yyansi_c_flush_buffer(YY_CURRENT_BUFFER )

Definition at line 316 of file ansi_c_lex.yy.cpp.

Referenced by ansi_c_scanner_init().

◆ yy_init_buffer

#define yy_init_buffer   yyansi_c_init_buffer

Definition at line 12 of file ansi_c_lex.yy.cpp.

◆ YY_INPUT

#define YY_INPUT (   buf,
  result,
  max_size 
)
Value:
if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
{ \
int c = '*'; \
int n; \
for ( n = 0; n < max_size && \
(c = getc( yyansi_cin )) != EOF && c != '\n'; ++n ) \
buf[n] = (char) c; \
if ( c == '\n' ) \
buf[n++] = (char) c; \
if ( c == EOF && ferror( yyansi_cin ) ) \
YY_FATAL_ERROR( "input in flex scanner failed" ); \
result = n; \
} \
else \
{ \
errno=0; \
while ( (result = (int) fread(buf, 1, (yy_size_t) max_size, yyansi_cin)) == 0 && ferror(yyansi_cin)) \
{ \
if( errno != EINTR) \
{ \
YY_FATAL_ERROR( "input in flex scanner failed" ); \
break; \
} \
errno=0; \
clearerr(yyansi_cin); \
} \
}\
\
size_t yy_size_t
FILE * yyansi_cin
#define YY_CURRENT_BUFFER_LVALUE

Definition at line 4257 of file ansi_c_lex.yy.cpp.

Referenced by yy_get_next_buffer().

◆ YY_INT_ALIGNED

#define YY_INT_ALIGNED   short int

Definition at line 5 of file ansi_c_lex.yy.cpp.

◆ YY_LESS_LINENO

#define YY_LESS_LINENO (   n)

Definition at line 185 of file ansi_c_lex.yy.cpp.

◆ YY_LINENO_REWIND_TO

#define YY_LINENO_REWIND_TO (   ptr)

Definition at line 186 of file ansi_c_lex.yy.cpp.

◆ yy_load_buffer_state

#define yy_load_buffer_state   yyansi_c_load_buffer_state

Definition at line 14 of file ansi_c_lex.yy.cpp.

◆ YY_MORE_ADJ

#define YY_MORE_ADJ   0

Definition at line 3926 of file ansi_c_lex.yy.cpp.

Referenced by yy_get_next_buffer(), yy_get_previous_state(), and yyansi_clex().

◆ yy_new_buffer

#define yy_new_buffer   yyansi_c_create_buffer

Definition at line 326 of file ansi_c_lex.yy.cpp.

◆ YY_NEW_FILE

#define YY_NEW_FILE   yyansi_crestart(yyansi_cin )

Definition at line 146 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ YY_NO_INPUT

#define YY_NO_INPUT   1

Definition at line 3930 of file ansi_c_lex.yy.cpp.

◆ YY_NULL

#define YY_NULL   0

Definition at line 120 of file ansi_c_lex.yy.cpp.

◆ YY_NUM_RULES

#define YY_NUM_RULES   428

Definition at line 383 of file ansi_c_lex.yy.cpp.

◆ YY_READ_BUF_SIZE

#define YY_READ_BUF_SIZE   8192

Definition at line 4241 of file ansi_c_lex.yy.cpp.

Referenced by yy_get_next_buffer().

◆ YY_RESTORE_YY_MORE_OFFSET

#define YY_RESTORE_YY_MORE_OFFSET

Definition at line 3927 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ YY_RULE_SETUP

#define YY_RULE_SETUP   YY_USER_ACTION

Definition at line 4332 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ YY_SC_TO_UI

#define YY_SC_TO_UI (   c)    ((unsigned int) (unsigned char) c)

Definition at line 127 of file ansi_c_lex.yy.cpp.

Referenced by yy_get_previous_state(), and yyansi_clex().

◆ yy_set_bol

#define yy_set_bol (   at_bol)
Value:
{ \
if ( ! YY_CURRENT_BUFFER ){\
yyansi_censure_buffer_stack (); \
YY_CURRENT_BUFFER_LVALUE = \
yyansi_c_create_buffer(yyansi_cin,YY_BUF_SIZE ); \
} \
YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
}
#define YY_BUF_SIZE
#define YY_CURRENT_BUFFER
FILE * yyansi_cin

Definition at line 338 of file ansi_c_lex.yy.cpp.

◆ yy_set_interactive

#define yy_set_interactive (   is_interactive)
Value:
{ \
if ( ! YY_CURRENT_BUFFER ){ \
yyansi_censure_buffer_stack (); \
YY_CURRENT_BUFFER_LVALUE = \
yyansi_c_create_buffer(yyansi_cin,YY_BUF_SIZE ); \
} \
YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
}
#define YY_BUF_SIZE
#define YY_CURRENT_BUFFER
FILE * yyansi_cin

Definition at line 328 of file ansi_c_lex.yy.cpp.

◆ YY_START

#define YY_START   (((yy_start) - 1) / 2)

Definition at line 139 of file ansi_c_lex.yy.cpp.

Referenced by yy_push_state(), and yyansi_clex().

◆ YY_START_STACK_INCR

#define YY_START_STACK_INCR   25

Definition at line 4299 of file ansi_c_lex.yy.cpp.

Referenced by yy_push_state().

◆ YY_STATE_BUF_SIZE

#define YY_STATE_BUF_SIZE   ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))

Definition at line 165 of file ansi_c_lex.yy.cpp.

◆ YY_STATE_EOF

#define YY_STATE_EOF (   state)    (YY_END_OF_BUFFER + state + 1)

Definition at line 143 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ YY_STRUCT_YY_BUFFER_STATE

#define YY_STRUCT_YY_BUFFER_STATE

Definition at line 205 of file ansi_c_lex.yy.cpp.

◆ yy_switch_to_buffer

#define yy_switch_to_buffer   yyansi_c_switch_to_buffer

Definition at line 15 of file ansi_c_lex.yy.cpp.

◆ YY_TYPEDEF_YY_BUFFER_STATE

#define YY_TYPEDEF_YY_BUFFER_STATE

Definition at line 168 of file ansi_c_lex.yy.cpp.

◆ YY_TYPEDEF_YY_SIZE_T

#define YY_TYPEDEF_YY_SIZE_T

Definition at line 173 of file ansi_c_lex.yy.cpp.

◆ YY_USER_ACTION

#define YY_USER_ACTION

Definition at line 4324 of file ansi_c_lex.yy.cpp.

◆ yyalloc

#define yyalloc   yyansi_calloc

Definition at line 24 of file ansi_c_lex.yy.cpp.

◆ yyconst

#define yyconst   const

Definition at line 111 of file ansi_c_lex.yy.cpp.

◆ yyfree

#define yyfree   yyansi_cfree

Definition at line 26 of file ansi_c_lex.yy.cpp.

◆ yyin

#define yyin   yyansi_cin

Definition at line 16 of file ansi_c_lex.yy.cpp.

◆ yyleng

#define yyleng   yyansi_cleng

Definition at line 17 of file ansi_c_lex.yy.cpp.

◆ yyless [1/2]

#define yyless (   n)
Value:
do \
{ \
/* Undo effects of setting up yyansi_ctext. */ \
yy_size_t 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 yyansi_ctext again */ \
} \
while ( 0 )
#define YY_MORE_ADJ
static char * yy_c_buf_p
static char yy_hold_char

Definition at line 8143 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ yyless [2/2]

#define yyless (   n)
Value:
do \
{ \
/* Undo effects of setting up yyansi_ctext. */ \
yy_size_t yyless_macro_arg = (n); \
YY_LESS_LINENO(yyless_macro_arg);\
yyansi_ctext[yyansi_cleng] = (yy_hold_char); \
(yy_c_buf_p) = yyansi_ctext + yyless_macro_arg; \
*(yy_c_buf_p) = '\0'; \
yyansi_cleng = yyless_macro_arg; \
} \
while ( 0 )
int yyansi_cleng
static char * yy_c_buf_p
char * yyansi_ctext
static char yy_hold_char

Definition at line 8143 of file ansi_c_lex.yy.cpp.

◆ yylex

#define yylex   yyansi_clex

Definition at line 18 of file ansi_c_lex.yy.cpp.

◆ yylineno

#define yylineno   yyansi_clineno

Definition at line 19 of file ansi_c_lex.yy.cpp.

◆ yymore

#define yymore ( )    yymore_used_but_not_detected

Definition at line 3925 of file ansi_c_lex.yy.cpp.

◆ yynoreturn

#define yynoreturn

Definition at line 116 of file ansi_c_lex.yy.cpp.

◆ yyout

#define yyout   yyansi_cout

Definition at line 20 of file ansi_c_lex.yy.cpp.

◆ yyrealloc

#define yyrealloc   yyansi_crealloc

Definition at line 25 of file ansi_c_lex.yy.cpp.

◆ yyrestart

#define yyrestart   yyansi_crestart

Definition at line 21 of file ansi_c_lex.yy.cpp.

◆ YYSTATE

#define YYSTATE   YY_START

Definition at line 140 of file ansi_c_lex.yy.cpp.

◆ YYSTYPE

#define YYSTYPE   unsigned

Definition at line 3960 of file ansi_c_lex.yy.cpp.

◆ YYTABLES_NAME

#define YYTABLES_NAME   "yytables"

Definition at line 8343 of file ansi_c_lex.yy.cpp.

◆ yyterminate

#define yyterminate ( )    return YY_NULL

Definition at line 4294 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

◆ yytext

#define yytext   yyansi_ctext

Definition at line 22 of file ansi_c_lex.yy.cpp.

◆ yytext_ptr

#define yytext_ptr   yyansi_ctext

◆ yywrap

#define yywrap   yyansi_cwrap

Definition at line 23 of file ansi_c_lex.yy.cpp.

Typedef Documentation

◆ flex_int16_t

typedef short int flex_int16_t

Definition at line 71 of file ansi_c_lex.yy.cpp.

◆ flex_int32_t

typedef int flex_int32_t

Definition at line 72 of file ansi_c_lex.yy.cpp.

◆ flex_int8_t

typedef signed char flex_int8_t

Definition at line 70 of file ansi_c_lex.yy.cpp.

◆ flex_uint16_t

typedef unsigned short int flex_uint16_t

Definition at line 74 of file ansi_c_lex.yy.cpp.

◆ flex_uint32_t

typedef unsigned int flex_uint32_t

Definition at line 75 of file ansi_c_lex.yy.cpp.

◆ flex_uint8_t

typedef unsigned char flex_uint8_t

Definition at line 73 of file ansi_c_lex.yy.cpp.

◆ YY_BUFFER_STATE

Definition at line 169 of file ansi_c_lex.yy.cpp.

◆ YY_CHAR

typedef unsigned char YY_CHAR

Definition at line 352 of file ansi_c_lex.yy.cpp.

◆ yy_size_t

typedef size_t yy_size_t

Definition at line 174 of file ansi_c_lex.yy.cpp.

◆ yy_state_type

typedef int yy_state_type

Definition at line 356 of file ansi_c_lex.yy.cpp.

Function Documentation

◆ ansi_c_scanner_init()

void ansi_c_scanner_init ( )

Definition at line 4117 of file ansi_c_lex.yy.cpp.

References BEGIN, and YY_FLUSH_BUFFER.

Referenced by convert(), ansi_c_languaget::parse(), and ansi_c_languaget::to_expr().

◆ cpp11_keyword()

int cpp11_keyword ( int  token)

Definition at line 4056 of file ansi_c_lex.yy.cpp.

References loc, make_identifier(), and PARSER.

Referenced by yyansi_clex().

◆ cpp98_keyword()

int cpp98_keyword ( int  token)

Definition at line 4045 of file ansi_c_lex.yy.cpp.

References loc, make_identifier(), and PARSER.

Referenced by yyansi_clex().

◆ cpp_operator()

int cpp_operator ( int  token)

Definition at line 4078 of file ansi_c_lex.yy.cpp.

References loc, PARSER, TOK_SCANNER_ERROR, and yyansi_cerror().

Referenced by yyansi_clex().

◆ make_identifier()

◆ MSC_cpp_keyword()

int MSC_cpp_keyword ( int  token)

Definition at line 4067 of file ansi_c_lex.yy.cpp.

References loc, make_identifier(), PARSER, and configt::ansi_ct::VISUAL_STUDIO.

Referenced by yyansi_clex().

◆ MSC_Keyword()

int MSC_Keyword ( int  token)

Definition at line 4033 of file ansi_c_lex.yy.cpp.

References loc, make_identifier(), PARSER, and configt::ansi_ct::VISUAL_STUDIO.

Referenced by yyansi_clex().

◆ yy_fatal_error()

static void yy_fatal_error ( const char *  msg)
static

Definition at line 8134 of file ansi_c_lex.yy.cpp.

References YY_EXIT_FAILURE.

◆ yy_get_next_buffer()

◆ yy_get_previous_state()

static yy_state_type yy_get_previous_state ( void  )
static

◆ yy_init_globals()

static int yy_init_globals ( void  )
static

◆ yy_pop_state()

static void yy_pop_state ( void  )
static

Definition at line 8117 of file ansi_c_lex.yy.cpp.

References BEGIN, YY_FATAL_ERROR, yy_start_stack, and yy_start_stack_ptr.

Referenced by yyansi_clex().

◆ yy_push_state()

static void yy_push_state ( int  _new_state)
static

◆ yy_top_state()

static int yy_top_state ( void  )
static

Definition at line 8125 of file ansi_c_lex.yy.cpp.

References yy_start_stack, and yy_start_stack_ptr.

Referenced by yyansi_clex().

◆ yy_try_NUL_trans()

static yy_state_type yy_try_NUL_trans ( yy_state_type  current_state)
static

◆ yyansi_c_create_buffer()

YY_BUFFER_STATE yyansi_c_create_buffer ( FILE *  file,
int  size 
)

Allocate and initialize an input buffer state.

Parameters
fileA readable stream.
sizeThe character buffer size in bytes. When in doubt, use YY_BUF_SIZE.
Returns
the allocated buffer state.

Definition at line 7811 of file ansi_c_lex.yy.cpp.

References yy_buffer_state::yy_buf_size, yy_buffer_state::yy_ch_buf, YY_FATAL_ERROR, yy_buffer_state::yy_is_our_buffer, yyansi_c_init_buffer(), and yyansi_calloc().

Referenced by yyansi_clex(), and yyansi_crestart().

◆ yyansi_c_delete_buffer()

void yyansi_c_delete_buffer ( YY_BUFFER_STATE  b)

◆ yyansi_c_flush_buffer()

void yyansi_c_flush_buffer ( YY_BUFFER_STATE  b)

Discard all buffered characters.

On the next scan, YY_INPUT will be called.

Parameters
bthe buffer state to be flushed, usually YY_CURRENT_BUFFER.

Definition at line 7886 of file ansi_c_lex.yy.cpp.

References yy_buffer_state::yy_at_bol, yy_buffer_state::yy_buf_pos, YY_BUFFER_NEW, yy_buffer_state::yy_buffer_status, yy_buffer_state::yy_ch_buf, YY_CURRENT_BUFFER, YY_END_OF_BUFFER_CHAR, yy_buffer_state::yy_n_chars, and yyansi_c_load_buffer_state().

Referenced by yyansi_c_init_buffer().

◆ yyansi_c_init_buffer()

◆ yyansi_c_load_buffer_state()

◆ yyansi_c_scan_buffer()

YY_BUFFER_STATE yyansi_c_scan_buffer ( char *  base,
yy_size_t  size 
)

Setup the input buffer state to scan directly from a user-specified character buffer.

Parameters
basethe character buffer
sizethe size in bytes of the character buffer
Returns
the newly allocated buffer state object.

Definition at line 8013 of file ansi_c_lex.yy.cpp.

References yy_buffer_state::yy_at_bol, yy_buffer_state::yy_buf_pos, yy_buffer_state::yy_buf_size, YY_BUFFER_NEW, yy_buffer_state::yy_buffer_status, yy_buffer_state::yy_ch_buf, YY_END_OF_BUFFER_CHAR, YY_FATAL_ERROR, yy_buffer_state::yy_fill_buffer, yy_buffer_state::yy_input_file, yy_buffer_state::yy_is_interactive, yy_buffer_state::yy_is_our_buffer, yy_buffer_state::yy_n_chars, yyansi_c_switch_to_buffer(), and yyansi_calloc().

Referenced by yyansi_c_scan_bytes().

◆ yyansi_c_scan_bytes()

YY_BUFFER_STATE yyansi_c_scan_bytes ( const char *  yybytes,
int  _yybytes_len 
)

Setup the input buffer state to scan the given bytes.

The next call to yyansi_clex() will scan from a copy of bytes.

Parameters
yybytesthe byte buffer to scan
_yybytes_lenthe number of bytes in the buffer pointed to by bytes.
Returns
the newly allocated buffer state object.

Definition at line 8063 of file ansi_c_lex.yy.cpp.

References YY_END_OF_BUFFER_CHAR, YY_FATAL_ERROR, yy_buffer_state::yy_is_our_buffer, yyansi_c_scan_buffer(), and yyansi_calloc().

Referenced by yyansi_c_scan_string().

◆ yyansi_c_scan_string()

YY_BUFFER_STATE yyansi_c_scan_string ( const char *  yystr)

Setup the input buffer state to scan a string.

The next call to yyansi_clex() will scan from a copy of str.

Parameters
yystra NUL-terminated string to scan
Returns
the newly allocated buffer state object.
Note
If you want to scan bytes that may contain NUL values, then use yyansi_c_scan_bytes() instead.

Definition at line 8050 of file ansi_c_lex.yy.cpp.

References yyansi_c_scan_bytes().

◆ yyansi_c_switch_to_buffer()

void yyansi_c_switch_to_buffer ( YY_BUFFER_STATE  new_buffer)

Switch to a different input buffer.

Parameters
new_bufferThe new input buffer.

Definition at line 7766 of file ansi_c_lex.yy.cpp.

References yy_c_buf_p, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_did_buffer_switch_on_eof, yy_hold_char, yy_n_chars, yyansi_c_load_buffer_state(), and yyansi_censure_buffer_stack().

Referenced by yyansi_c_scan_buffer().

◆ yyansi_calloc()

void * yyansi_calloc ( yy_size_t  size)

◆ yyansi_censure_buffer_stack()

static void yyansi_censure_buffer_stack ( void  )
static

◆ yyansi_cfree()

void yyansi_cfree ( void *  ptr)

Definition at line 8338 of file ansi_c_lex.yy.cpp.

References free().

Referenced by yyansi_c_delete_buffer(), and yyansi_clex_destroy().

◆ yyansi_cget_debug()

int yyansi_cget_debug ( void  )

Definition at line 8227 of file ansi_c_lex.yy.cpp.

References yyansi_c_flex_debug.

◆ yyansi_cget_extra()

void* yyansi_cget_extra ( void  )

◆ yyansi_cget_in()

FILE * yyansi_cget_in ( void  )

Get the input stream.

Definition at line 8171 of file ansi_c_lex.yy.cpp.

References yyansi_cin.

◆ yyansi_cget_leng()

int yyansi_cget_leng ( void  )

Get the length of the current token.

Definition at line 8187 of file ansi_c_lex.yy.cpp.

References yyansi_cleng.

◆ yyansi_cget_lineno()

int yyansi_cget_lineno ( void  )

Get the current line number.

Definition at line 8162 of file ansi_c_lex.yy.cpp.

References yyansi_clineno.

◆ yyansi_cget_out()

FILE * yyansi_cget_out ( void  )

Get the output stream.

Definition at line 8179 of file ansi_c_lex.yy.cpp.

References yyansi_cout.

◆ yyansi_cget_text()

char * yyansi_cget_text ( void  )

Get the current token.

Definition at line 8196 of file ansi_c_lex.yy.cpp.

References yyansi_ctext.

◆ yyansi_clex()

int yyansi_clex ( void  )

The main scanner function which does all the work.

Definition at line 4337 of file ansi_c_lex.yy.cpp.

References configt::ansi_ct::APPLE, configt::ansi_ct::ARM, ASM_BLOCK, BEGIN, configt::ansi_ct::CODEWARRIOR, COMMENT1, COMMENT2, convert_character_literal(), convert_float_literal(), convert_integer_literal(), convert_string_literal(), cpp11_keyword(), cpp98_keyword(), cpp_operator(), CPROVER_ID, ECHO, EOB_ACT_CONTINUE_SCAN, EOB_ACT_END_OF_FILE, EOB_ACT_LAST_MATCH, irept::find(), configt::ansi_ct::GCC, GCC_ASM, GCC_ASM_PAREN, GCC_ATTRIBUTE1, GCC_ATTRIBUTE1a, GCC_ATTRIBUTE2, GCC_ATTRIBUTE3, GCC_ATTRIBUTE4, GCC_ATTRIBUTE5, GRAMMAR, IGNORE_PARENS, INITIAL, loc, make_identifier(), MSC_ANNOTATION, MSC_ASM, MSC_cpp_keyword(), MSC_Keyword(), MSC_PRAGMA, newstack, PARSER, preprocessor_line(), size_type(), stack, STRING_LITERAL, STRING_LITERAL_COMMENT, TOK_ACSL_EXISTS, TOK_ACSL_FORALL, TOK_ALIGNAS, TOK_ALIGNOF, TOK_ANDAND, TOK_ANDASSIGN, TOK_ARRAY_OF, TOK_ARROW, TOK_ARROWPM, TOK_ASM_STRING, TOK_ATOMIC_TYPE_QUALIFIER, TOK_ATOMIC_TYPE_SPECIFIER, TOK_AUTO, TOK_BINARY_TYPE_PREDICATE, TOK_BOOL, TOK_BREAK, TOK_BUILTIN_VA_ARG, TOK_CASE, TOK_CATCH, TOK_CHAR, TOK_CHAR16_T, TOK_CHAR32_T, TOK_CHARACTER, TOK_CLANG_BUILTIN_CONVERTVECTOR, TOK_CLASS, TOK_COMPLEX, TOK_CONST, TOK_CONSTEXPR, TOK_CONTINUE, TOK_CPROVER_ATOMIC, TOK_CPROVER_BITVECTOR, TOK_CPROVER_BOOL, TOK_CPROVER_CATCH, TOK_CPROVER_ENSURES, TOK_CPROVER_FINALLY, TOK_CPROVER_FIXEDBV, TOK_CPROVER_FLOATBV, TOK_CPROVER_ID, TOK_CPROVER_LOOP_INVARIANT, TOK_CPROVER_REQUIRES, TOK_CPROVER_THROW, TOK_CPROVER_TRY, TOK_CW_VAR_ARG_TYPEOF, TOK_DECLTYPE, TOK_DECR, TOK_DEFAULT, TOK_DELETE, TOK_DIVASSIGN, TOK_DO, TOK_DOTPM, TOK_DOUBLE, TOK_ELLIPSIS, TOK_ELSE, TOK_ENUM, TOK_EQ, TOK_EQUIVALENT, TOK_EXISTS, TOK_EXPLICIT, TOK_EXTERN, TOK_FALSE, TOK_FLOAT, TOK_FLOATING, TOK_FOR, TOK_FORALL, TOK_FRIEND, TOK_GCC_ASM, TOK_GCC_ASM_PAREN, TOK_GCC_ATTRIBUTE, TOK_GCC_ATTRIBUTE_ALIAS, TOK_GCC_ATTRIBUTE_ALIGNED, TOK_GCC_ATTRIBUTE_ALWAYS_INLINE, TOK_GCC_ATTRIBUTE_CONSTRUCTOR, TOK_GCC_ATTRIBUTE_DESTRUCTOR, TOK_GCC_ATTRIBUTE_FALLTHROUGH, TOK_GCC_ATTRIBUTE_GNU_INLINE, TOK_GCC_ATTRIBUTE_MODE, TOK_GCC_ATTRIBUTE_NORETURN, TOK_GCC_ATTRIBUTE_PACKED, TOK_GCC_ATTRIBUTE_SECTION, TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION, TOK_GCC_ATTRIBUTE_USED, TOK_GCC_ATTRIBUTE_VECTOR_SIZE, TOK_GCC_ATTRIBUTE_WEAK, TOK_GCC_AUTO_TYPE, TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P, TOK_GCC_DECIMAL128, TOK_GCC_DECIMAL32, TOK_GCC_DECIMAL64, TOK_GCC_FLOAT128, TOK_GCC_FLOAT128X, TOK_GCC_FLOAT16, TOK_GCC_FLOAT32, TOK_GCC_FLOAT32X, TOK_GCC_FLOAT64, TOK_GCC_FLOAT64X, TOK_GCC_FLOAT80, TOK_GCC_INT128, TOK_GCC_LABEL, TOK_GE, TOK_GENERIC, TOK_GOTO, TOK_IF, TOK_IMAG, TOK_IMAGINARY, TOK_IMPLIES, TOK_INCR, TOK_INLINE, TOK_INT, TOK_INT16, TOK_INT32, TOK_INT64, TOK_INT8, TOK_INTEGER, TOK_LE, TOK_LONG, TOK_MINUSASSIGN, TOK_MODASSIGN, TOK_MSC_ASM, TOK_MSC_BASED, TOK_MSC_DECLSPEC, TOK_MSC_EXCEPT, TOK_MSC_FINALLY, TOK_MSC_IF_EXISTS, TOK_MSC_IF_NOT_EXISTS, TOK_MSC_LEAVE, TOK_MSC_TRY, TOK_MULTASSIGN, TOK_MUTABLE, TOK_NAMESPACE, TOK_NE, TOK_NEW, TOK_NOEXCEPT, TOK_NORETURN, TOK_NULLPTR, TOK_OFFSETOF, TOK_OPERATOR, TOK_ORASSIGN, TOK_OROR, TOK_PLUSASSIGN, TOK_PRIVATE, TOK_PROTECTED, TOK_PTR32, TOK_PTR64, TOK_PUBLIC, TOK_REAL, TOK_REGISTER, TOK_RESTRICT, TOK_RETURN, TOK_SCANNER_ERROR, TOK_SCOPE, TOK_SHIFTLEFT, TOK_SHIFTRIGHT, TOK_SHLASSIGN, TOK_SHORT, TOK_SHRASSIGN, TOK_SIGNED, TOK_SIZEOF, TOK_STATIC, TOK_STATIC_ASSERT, TOK_STRING, TOK_STRUCT, TOK_SWITCH, TOK_TEMPLATE, TOK_THIS, TOK_THREAD_LOCAL, TOK_THROW, TOK_TRUE, TOK_TRY, TOK_TYPEDEF, TOK_TYPEID, TOK_TYPENAME, TOK_TYPEOF, TOK_UNARY_TYPE_PREDICATE, TOK_UNDERLYING_TYPE, TOK_UNION, TOK_UNSIGNED, TOK_USING, TOK_VIRTUAL, TOK_VOID, TOK_VOLATILE, TOK_WCHAR_T, TOK_WHILE, TOK_XORASSIGN, configt::ansi_ct::VISUAL_STUDIO, yy_accept, yy_base, YY_BREAK, YY_BUF_SIZE, YY_BUFFER_NEW, YY_BUFFER_NORMAL, yy_c_buf_p, yy_chk, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_def, yy_did_buffer_switch_on_eof, YY_DO_BEFORE_ACTION, yy_ec, YY_END_OF_BUFFER, YY_FATAL_ERROR, yy_get_next_buffer(), yy_get_previous_state(), yy_hold_char, yy_init, yy_last_accepting_cpos, yy_last_accepting_state, yy_meta, YY_MORE_ADJ, yy_n_chars, YY_NEW_FILE, yy_nxt, yy_pop_state(), yy_push_state(), YY_RESTORE_YY_MORE_OFFSET, YY_RULE_SETUP, YY_SC_TO_UI, YY_START, yy_start, YY_STATE_EOF, yy_top_state(), yy_try_NUL_trans(), yyansi_c_create_buffer(), yyansi_c_load_buffer_state(), yyansi_censure_buffer_stack(), yyansi_cerror(), yyansi_cin, yyansi_clval, yyansi_cout, yyansi_ctext, yyansi_cwrap(), yyless, yyterminate, and yytext_ptr.

Referenced by cpp_token_buffert::read_token().

◆ yyansi_clex_destroy()

◆ yyansi_cpop_buffer_state()

void yyansi_cpop_buffer_state ( void  )

Removes and deletes the top of the stack, if present.

The next element becomes the new top.

Definition at line 7945 of file ansi_c_lex.yy.cpp.

References yy_buffer_stack_top, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_did_buffer_switch_on_eof, yyansi_c_delete_buffer(), and yyansi_c_load_buffer_state().

Referenced by yyansi_clex_destroy().

◆ yyansi_cpush_buffer_state()

void yyansi_cpush_buffer_state ( YY_BUFFER_STATE  new_buffer)

Pushes the new state onto the stack.

The new state becomes the current state. This function will allocate the stack if necessary.

Parameters
new_bufferThe new state.

Definition at line 7915 of file ansi_c_lex.yy.cpp.

References yy_buffer_stack_top, yy_c_buf_p, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_did_buffer_switch_on_eof, yy_hold_char, yy_n_chars, yyansi_c_load_buffer_state(), and yyansi_censure_buffer_stack().

◆ yyansi_crealloc()

void * yyansi_crealloc ( void *  ptr,
yy_size_t  size 
)

◆ yyansi_crestart()

void yyansi_crestart ( FILE *  input_file)

Immediately switch to a different input stream.

Parameters
input_fileA readable stream.
Note
This function does not reset the start condition to INITIAL .

Definition at line 7749 of file ansi_c_lex.yy.cpp.

References YY_BUF_SIZE, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yyansi_c_create_buffer(), yyansi_c_init_buffer(), yyansi_c_load_buffer_state(), yyansi_censure_buffer_stack(), and yyansi_cin.

Referenced by yy_get_next_buffer().

◆ yyansi_cset_debug()

void yyansi_cset_debug ( int  debug_flag)

Definition at line 8232 of file ansi_c_lex.yy.cpp.

References yyansi_c_flex_debug.

◆ yyansi_cset_extra()

void yyansi_cset_extra ( void *  user_defined)

◆ yyansi_cset_in()

void yyansi_cset_in ( FILE *  _in_str)

Set the input stream.

This does not discard the current input buffer.

Parameters
_in_strA readable stream.
See also
yyansi_c_switch_to_buffer

Definition at line 8217 of file ansi_c_lex.yy.cpp.

References yyansi_cin.

◆ yyansi_cset_lineno()

void yyansi_cset_lineno ( int  _line_number)

Set the current line number.

Parameters
_line_numberline number

Definition at line 8205 of file ansi_c_lex.yy.cpp.

References yyansi_clineno.

◆ yyansi_cset_out()

void yyansi_cset_out ( FILE *  _out_str)

Definition at line 8222 of file ansi_c_lex.yy.cpp.

References yyansi_cout.

◆ yyansi_cwrap()

int yyansi_cwrap ( void  )

Definition at line 8349 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_clex().

Variable Documentation

◆ yy_accept

const flex_int16_t yy_accept[3819]
static

Definition at line 392 of file ansi_c_lex.yy.cpp.

Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyansi_clex().

◆ yy_base

const flex_uint16_t yy_base[3968]
static

Definition at line 863 of file ansi_c_lex.yy.cpp.

Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyansi_clex().

◆ yy_buffer_stack

YY_BUFFER_STATE* yy_buffer_stack = NULL
static

Stack as an array.

Definition at line 272 of file ansi_c_lex.yy.cpp.

Referenced by yy_init_globals(), yyansi_censure_buffer_stack(), and yyansi_clex_destroy().

◆ yy_buffer_stack_max

size_t yy_buffer_stack_max = 0
static

capacity of stack.

Definition at line 271 of file ansi_c_lex.yy.cpp.

Referenced by yy_init_globals(), and yyansi_censure_buffer_stack().

◆ yy_buffer_stack_top

size_t yy_buffer_stack_top = 0
static

index of top of stack.

Definition at line 270 of file ansi_c_lex.yy.cpp.

Referenced by yy_init_globals(), yyansi_censure_buffer_stack(), yyansi_cpop_buffer_state(), and yyansi_cpush_buffer_state().

◆ yy_c_buf_p

◆ yy_chk

const flex_int16_t yy_chk[9832]
static

Definition at line 2829 of file ansi_c_lex.yy.cpp.

Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyansi_clex().

◆ yy_def

const flex_int16_t yy_def[3968]
static

Definition at line 1303 of file ansi_c_lex.yy.cpp.

Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyansi_clex().

◆ yy_did_buffer_switch_on_eof

int yy_did_buffer_switch_on_eof
static

◆ yy_ec

const YY_CHAR yy_ec[256]
static

Definition at line 816 of file ansi_c_lex.yy.cpp.

Referenced by yy_get_previous_state(), and yyansi_clex().

◆ yy_hold_char

char yy_hold_char
static

◆ yy_init

int yy_init = 0
static

Definition at line 296 of file ansi_c_lex.yy.cpp.

Referenced by yy_init_globals(), and yyansi_clex().

◆ yy_last_accepting_cpos

char* yy_last_accepting_cpos
static

Definition at line 3916 of file ansi_c_lex.yy.cpp.

Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyansi_clex().

◆ yy_last_accepting_state

yy_state_type yy_last_accepting_state
static

Definition at line 3915 of file ansi_c_lex.yy.cpp.

Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyansi_clex().

◆ yy_meta

const YY_CHAR yy_meta[95]
static
Initial value:
=
{ 0,
1, 1, 1, 2, 1, 1, 1, 1, 3, 1,
1, 4, 1, 1, 5, 1, 1, 1, 6, 5,
7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
1, 1, 1, 1, 1, 8, 8, 8, 8, 7,
7, 3, 3, 9, 9, 9, 3, 3, 10, 3,
3, 3, 3, 9, 3, 3, 1, 3, 1, 11,
3, 8, 8, 8, 8, 7, 7, 3, 3, 9,
9, 3, 9, 3, 3, 3, 10, 3, 3, 3,
3, 9, 3, 3, 3, 3, 3, 11, 1, 12,
3, 3, 3, 1
}

Definition at line 848 of file ansi_c_lex.yy.cpp.

Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyansi_clex().

◆ yy_n_chars

◆ yy_nxt

const flex_uint16_t yy_nxt[9832]
static

Definition at line 1743 of file ansi_c_lex.yy.cpp.

Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyansi_clex().

◆ yy_start

int yy_start = 0
static

Definition at line 297 of file ansi_c_lex.yy.cpp.

Referenced by yy_get_previous_state(), yy_init_globals(), and yyansi_clex().

◆ yy_start_stack

int* yy_start_stack = NULL
static

◆ yy_start_stack_depth

int yy_start_stack_depth = 0
static

Definition at line 4226 of file ansi_c_lex.yy.cpp.

Referenced by yy_init_globals(), and yy_push_state().

◆ yy_start_stack_ptr

int yy_start_stack_ptr = 0
static

Definition at line 4225 of file ansi_c_lex.yy.cpp.

Referenced by yy_init_globals(), yy_pop_state(), yy_push_state(), and yy_top_state().

◆ yyansi_c_flex_debug

int yyansi_c_flex_debug = 0

Definition at line 3919 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_cget_debug(), and yyansi_cset_debug().

◆ yyansi_cin

◆ yyansi_cleng

int yyansi_cleng

Definition at line 292 of file ansi_c_lex.yy.cpp.

Referenced by make_identifier(), and yyansi_cget_leng().

◆ yyansi_clineno

int yyansi_clineno = 1

Definition at line 360 of file ansi_c_lex.yy.cpp.

Referenced by yyansi_cget_lineno(), and yyansi_cset_lineno().

◆ yyansi_cout

FILE * yyansi_cout = NULL

Definition at line 354 of file ansi_c_lex.yy.cpp.

Referenced by yy_init_globals(), yyansi_cget_out(), yyansi_clex(), and yyansi_cset_out().

◆ yyansi_ctext

char * yyansi_ctext

Definition at line 3928 of file ansi_c_lex.yy.cpp.

Referenced by make_identifier(), yyansi_cget_text(), and yyansi_clex().