cprover
cpp_token_buffer.cpp File Reference

C++ Parser: Token Buffer. More...

#include "cpp_token_buffer.h"
#include <cassert>
#include <ansi-c/ansi_c_y.tab.h>
#include <ansi-c/ansi_c_parser.h>
Include dependency graph for cpp_token_buffer.cpp:

Go to the source code of this file.

Functions

int yyansi_clex ()
 The main scanner function which does all the work. More...
 

Variables

char * yyansi_ctext
 

Detailed Description

C++ Parser: Token Buffer.

Definition in file cpp_token_buffer.cpp.

Function Documentation

◆ yyansi_clex()

int yyansi_clex ( )

The main scanner function which does all the work.

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

References configt::ansi_ct::ARM, ASM_BLOCK, BEGIN, configt::ansi_ct::CLANG, 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_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_FORCEINLINE, 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_create_buffer, 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_load_buffer_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_cerror(), yyansi_clval, yyensure_buffer_stack, yyin, yyless, yyout, yyterminate, yytext, yytext_ptr, and yywrap.

Referenced by cpp_token_buffert::read_token().

Variable Documentation

◆ yyansi_ctext

char* yyansi_ctext