#include "ansi_c_parser.h"
#include "parser_static.inc"
#include "literals/convert_integer_literal.h"
#include "ansi_c_y.tab.h"
#include <stddef.h>

Include dependency graph for ansi_c_y.tab.cpp:

Go to the source code of this file.

Classes
union	yyalloc

Macros
#define	YYBISON 1

#define	YYBISON_VERSION "3.0.4"

#define	YYSKELETON_NAME "yacc.c"

#define	YYPURE 0

#define	YYPUSH 0

#define	YYPULL 1

#define	yyparse yyansi_cparse

#define	yylex yyansi_clex

#define	yyerror yyansi_cerror

#define	yydebug yyansi_cdebug

#define	yynerrs yyansi_cnerrs

#define	yylval yyansi_clval

#define	yychar yyansi_cchar

#define	PARSER ansi_c_parser

#define	YYMAXDEPTH 25600

#define	YY_NULLPTR 0

#define	YYERROR_VERBOSE 0

#define	YY_YYANSI_C_ANSI_C_Y_TAB_HPP_INCLUDED

#define	TOK_AUTO 258

#define	TOK_BOOL 259

#define	TOK_COMPLEX 260

#define	TOK_BREAK 261

#define	TOK_CASE 262

#define	TOK_CHAR 263

#define	TOK_CONST 264

#define	TOK_CONTINUE 265

#define	TOK_DEFAULT 266

#define	TOK_DO 267

#define	TOK_DOUBLE 268

#define	TOK_ELSE 269

#define	TOK_ENUM 270

#define	TOK_EXTERN 271

#define	TOK_FLOAT 272

#define	TOK_FOR 273

#define	TOK_GOTO 274

#define	TOK_IF 275

#define	TOK_INLINE 276

#define	TOK_INT 277

#define	TOK_LONG 278

#define	TOK_REGISTER 279

#define	TOK_RESTRICT 280

#define	TOK_RETURN 281

#define	TOK_SHORT 282

#define	TOK_SIGNED 283

#define	TOK_SIZEOF 284

#define	TOK_STATIC 285

#define	TOK_STRUCT 286

#define	TOK_SWITCH 287

#define	TOK_TYPEDEF 288

#define	TOK_UNION 289

#define	TOK_UNSIGNED 290

#define	TOK_VOID 291

#define	TOK_VOLATILE 292

#define	TOK_WCHAR_T 293

#define	TOK_WHILE 294

#define	TOK_ARROW 295

#define	TOK_INCR 296

#define	TOK_DECR 297

#define	TOK_SHIFTLEFT 298

#define	TOK_SHIFTRIGHT 299

#define	TOK_LE 300

#define	TOK_GE 301

#define	TOK_EQ 302

#define	TOK_NE 303

#define	TOK_ANDAND 304

#define	TOK_OROR 305

#define	TOK_ELLIPSIS 306

#define	TOK_MULTASSIGN 307

#define	TOK_DIVASSIGN 308

#define	TOK_MODASSIGN 309

#define	TOK_PLUSASSIGN 310

#define	TOK_MINUSASSIGN 311

#define	TOK_SHLASSIGN 312

#define	TOK_SHRASSIGN 313

#define	TOK_ANDASSIGN 314

#define	TOK_XORASSIGN 315

#define	TOK_ORASSIGN 316

#define	TOK_IDENTIFIER 317

#define	TOK_TYPEDEFNAME 318

#define	TOK_INTEGER 319

#define	TOK_FLOATING 320

#define	TOK_CHARACTER 321

#define	TOK_STRING 322

#define	TOK_ASM_STRING 323

#define	TOK_INT8 324

#define	TOK_INT16 325

#define	TOK_INT32 326

#define	TOK_INT64 327

#define	TOK_PTR32 328

#define	TOK_PTR64 329

#define	TOK_TYPEOF 330

#define	TOK_GCC_AUTO_TYPE 331

#define	TOK_GCC_FLOAT80 332

#define	TOK_GCC_FLOAT128 333

#define	TOK_GCC_FLOAT128_ALT 334

#define	TOK_GCC_INT128 335

#define	TOK_GCC_DECIMAL32 336

#define	TOK_GCC_DECIMAL64 337

#define	TOK_GCC_DECIMAL128 338

#define	TOK_GCC_ASM 339

#define	TOK_GCC_ASM_PAREN 340

#define	TOK_GCC_ATTRIBUTE 341

#define	TOK_GCC_ATTRIBUTE_ALIGNED 342

#define	TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION 343

#define	TOK_GCC_ATTRIBUTE_PACKED 344

#define	TOK_GCC_ATTRIBUTE_VECTOR_SIZE 345

#define	TOK_GCC_ATTRIBUTE_MODE 346

#define	TOK_GCC_ATTRIBUTE_GNU_INLINE 347

#define	TOK_GCC_ATTRIBUTE_WEAK 348

#define	TOK_GCC_ATTRIBUTE_ALIAS 349

#define	TOK_GCC_ATTRIBUTE_SECTION 350

#define	TOK_GCC_ATTRIBUTE_NORETURN 351

#define	TOK_GCC_ATTRIBUTE_CONSTRUCTOR 352

#define	TOK_GCC_ATTRIBUTE_DESTRUCTOR 353

#define	TOK_GCC_LABEL 354

#define	TOK_MSC_ASM 355

#define	TOK_MSC_BASED 356

#define	TOK_CW_VAR_ARG_TYPEOF 357

#define	TOK_BUILTIN_VA_ARG 358

#define	TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P 359

#define	TOK_CLANG_BUILTIN_CONVERTVECTOR 360

#define	TOK_OFFSETOF 361

#define	TOK_ALIGNOF 362

#define	TOK_MSC_TRY 363

#define	TOK_MSC_FINALLY 364

#define	TOK_MSC_EXCEPT 365

#define	TOK_MSC_LEAVE 366

#define	TOK_MSC_DECLSPEC 367

#define	TOK_INTERFACE 368

#define	TOK_CDECL 369

#define	TOK_STDCALL 370

#define	TOK_FASTCALL 371

#define	TOK_CLRCALL 372

#define	TOK_FORALL 373

#define	TOK_EXISTS 374

#define	TOK_ACSL_FORALL 375

#define	TOK_ACSL_EXISTS 376

#define	TOK_ARRAY_OF 377

#define	TOK_CPROVER_BITVECTOR 378

#define	TOK_CPROVER_FLOATBV 379

#define	TOK_CPROVER_FIXEDBV 380

#define	TOK_CPROVER_ATOMIC 381

#define	TOK_CPROVER_BOOL 382

#define	TOK_CPROVER_THROW 383

#define	TOK_CPROVER_CATCH 384

#define	TOK_CPROVER_TRY 385

#define	TOK_CPROVER_FINALLY 386

#define	TOK_CPROVER_ID 387

#define	TOK_CPROVER_LOOP_INVARIANT 388

#define	TOK_CPROVER_REQUIRES 389

#define	TOK_CPROVER_ENSURES 390

#define	TOK_IMPLIES 391

#define	TOK_EQUIVALENT 392

#define	TOK_TRUE 393

#define	TOK_FALSE 394

#define	TOK_REAL 395

#define	TOK_IMAG 396

#define	TOK_ALIGNAS 397

#define	TOK_ATOMIC_TYPE_QUALIFIER 398

#define	TOK_ATOMIC_TYPE_SPECIFIER 399

#define	TOK_GENERIC 400

#define	TOK_IMAGINARY 401

#define	TOK_NORETURN 402

#define	TOK_STATIC_ASSERT 403

#define	TOK_THREAD_LOCAL 404

#define	TOK_NULLPTR 405

#define	TOK_CONSTEXPR 406

#define	TOK_SCANNER_ERROR 407

#define	TOK_SCANNER_EOF 408

#define	TOK_CATCH 409

#define	TOK_CHAR16_T 410

#define	TOK_CHAR32_T 411

#define	TOK_CLASS 412

#define	TOK_DELETE 413

#define	TOK_DECLTYPE 414

#define	TOK_EXPLICIT 415

#define	TOK_FRIEND 416

#define	TOK_MUTABLE 417

#define	TOK_NAMESPACE 418

#define	TOK_NEW 419

#define	TOK_NOEXCEPT 420

#define	TOK_OPERATOR 421

#define	TOK_PRIVATE 422

#define	TOK_PROTECTED 423

#define	TOK_PUBLIC 424

#define	TOK_TEMPLATE 425

#define	TOK_THIS 426

#define	TOK_THROW 427

#define	TOK_TYPEID 428

#define	TOK_TYPENAME 429

#define	TOK_TRY 430

#define	TOK_USING 431

#define	TOK_VIRTUAL 432

#define	TOK_SCOPE 433

#define	TOK_DOTPM 434

#define	TOK_ARROWPM 435

#define	TOK_UNARY_TYPE_PREDICATE 436

#define	TOK_BINARY_TYPE_PREDICATE 437

#define	TOK_MSC_UUIDOF 438

#define	TOK_MSC_IF_EXISTS 439

#define	TOK_MSC_IF_NOT_EXISTS 440

#define	TOK_UNDERLYING_TYPE 441

#define	YYSIZE_T size_t

#define	YYSIZE_MAXIMUM ((YYSIZE_T) -1)

#define	YY_(Msgid) Msgid

#define	YY_ATTRIBUTE(Spec) /* empty */

#define	YY_ATTRIBUTE_PURE YY_ATTRIBUTE ((__pure__))

#define	YY_ATTRIBUTE_UNUSED YY_ATTRIBUTE ((__unused__))

#define	_Noreturn YY_ATTRIBUTE ((__noreturn__))

#define	YYUSE(E) ((void) (E))

#define	YY_INITIAL_VALUE(Value) Value

#define	YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN

#define	YY_IGNORE_MAYBE_UNINITIALIZED_END

#define	YYSTACK_ALLOC YYMALLOC

#define	YYSTACK_FREE YYFREE

#define	YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM

#define	YYMALLOC malloc

#define	YYFREE free

#define	YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1)

#define	YYSTACK_BYTES(N)

#define	YYCOPY_NEEDED 1

#define	YYSTACK_RELOCATE(Stack_alloc, Stack)

#define	YYCOPY(Dst, Src, Count)

#define	YYFINAL 143

#define	YYLAST 6128

#define	YYNTOKENS 211

#define	YYNNTS 206

#define	YYNRULES 603

#define	YYNSTATES 1090

#define	YYUNDEFTOK 2

#define	YYMAXUTOK 441

#define	YYTRANSLATE(YYX) ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK)

#define	YYPACT_NINF -1002

#define	yypact_value_is_default(Yystate) (!!((Yystate) == (-1002)))

#define	YYTABLE_NINF -573

#define	yytable_value_is_error(Yytable_value) 0

#define	yyerrok (yyerrstatus = 0)

#define	yyclearin (yychar = YYEMPTY)

#define	YYEMPTY (-2)

#define	YYEOF 0

#define	YYACCEPT goto yyacceptlab

#define	YYABORT goto yyabortlab

#define	YYERROR goto yyerrorlab

#define	YYRECOVERING() (!!yyerrstatus)

#define	YYBACKUP(Token, Value)

#define	YYTERROR 1

#define	YYERRCODE 256

#define	YYDPRINTF(Args)

#define	YY_SYMBOL_PRINT(Title, Type, Value, Location)

#define	YY_STACK_PRINT(Bottom, Top)

#define	YY_REDUCE_PRINT(Rule)

#define	YYINITDEPTH 200

#define	YYPOPSTACK(N) (yyvsp -= (N), yyssp -= (N))

Typedefs
typedef unsigned char	yytype_uint8

typedef signed char	yytype_int8

typedef unsigned short int	yytype_uint16

typedef short int	yytype_int16

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

int	yyansi_cparse (void)

void *	malloc (size_t)

void	free (void *)

static void	yydestruct (const char yymsg, int yytype, unsigned yyvaluep)

Variables
char *	yyansi_ctext

unsigned	yyansi_clval

static const yytype_uint8	yytranslate []

static const yytype_int16	yypact []

static const yytype_uint16	yydefact []

static const yytype_int16	yypgoto []

static const yytype_int16	yydefgoto []

static const yytype_int16	yytable []

static const yytype_int16	yycheck []

static const yytype_uint16	yystos []

static const yytype_uint16	yyr1 []

static const yytype_uint8	yyr2 []

int	yyansi_cchar

int	yyansi_cnerrs

Macro Definition Documentation

◆ _Noreturn

#define _Noreturn YY_ATTRIBUTE ((__noreturn__))

Definition at line 616 of file ansi_c_y.tab.cpp.

◆ PARSER

#define PARSER ansi_c_parser

Definition at line 89 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ TOK_ACSL_EXISTS

#define TOK_ACSL_EXISTS 376

Definition at line 453 of file ansi_c_y.tab.cpp.

◆ TOK_ACSL_FORALL

#define TOK_ACSL_FORALL 375

Definition at line 452 of file ansi_c_y.tab.cpp.

◆ TOK_ALIGNAS

#define TOK_ALIGNAS 397

Definition at line 474 of file ansi_c_y.tab.cpp.

◆ TOK_ALIGNOF

#define TOK_ALIGNOF 362

Definition at line 439 of file ansi_c_y.tab.cpp.

◆ TOK_ANDAND

#define TOK_ANDAND 304

Definition at line 381 of file ansi_c_y.tab.cpp.

◆ TOK_ANDASSIGN

#define TOK_ANDASSIGN 314

Definition at line 391 of file ansi_c_y.tab.cpp.

◆ TOK_ARRAY_OF

#define TOK_ARRAY_OF 377

Definition at line 454 of file ansi_c_y.tab.cpp.

◆ TOK_ARROW

#define TOK_ARROW 295

Definition at line 372 of file ansi_c_y.tab.cpp.

◆ TOK_ARROWPM

#define TOK_ARROWPM 435

Definition at line 512 of file ansi_c_y.tab.cpp.

◆ TOK_ASM_STRING

#define TOK_ASM_STRING 323

Definition at line 400 of file ansi_c_y.tab.cpp.

◆ TOK_ATOMIC_TYPE_QUALIFIER

#define TOK_ATOMIC_TYPE_QUALIFIER 398

Definition at line 475 of file ansi_c_y.tab.cpp.

◆ TOK_ATOMIC_TYPE_SPECIFIER

#define TOK_ATOMIC_TYPE_SPECIFIER 399

Definition at line 476 of file ansi_c_y.tab.cpp.

◆ TOK_AUTO

#define TOK_AUTO 258

Definition at line 335 of file ansi_c_y.tab.cpp.

◆ TOK_BINARY_TYPE_PREDICATE

#define TOK_BINARY_TYPE_PREDICATE 437

Definition at line 514 of file ansi_c_y.tab.cpp.

◆ TOK_BOOL

#define TOK_BOOL 259

Definition at line 336 of file ansi_c_y.tab.cpp.

◆ TOK_BREAK

#define TOK_BREAK 261

Definition at line 338 of file ansi_c_y.tab.cpp.

◆ TOK_BUILTIN_VA_ARG

#define TOK_BUILTIN_VA_ARG 358

Definition at line 435 of file ansi_c_y.tab.cpp.

◆ TOK_CASE

#define TOK_CASE 262

Definition at line 339 of file ansi_c_y.tab.cpp.

◆ TOK_CATCH

#define TOK_CATCH 409

Definition at line 486 of file ansi_c_y.tab.cpp.

◆ TOK_CDECL

#define TOK_CDECL 369

Definition at line 446 of file ansi_c_y.tab.cpp.

◆ TOK_CHAR

#define TOK_CHAR 263

Definition at line 340 of file ansi_c_y.tab.cpp.

◆ TOK_CHAR16_T

#define TOK_CHAR16_T 410

Definition at line 487 of file ansi_c_y.tab.cpp.

◆ TOK_CHAR32_T

#define TOK_CHAR32_T 411

Definition at line 488 of file ansi_c_y.tab.cpp.

◆ TOK_CHARACTER

#define TOK_CHARACTER 321

Definition at line 398 of file ansi_c_y.tab.cpp.

◆ TOK_CLANG_BUILTIN_CONVERTVECTOR

#define TOK_CLANG_BUILTIN_CONVERTVECTOR 360

Definition at line 437 of file ansi_c_y.tab.cpp.

◆ TOK_CLASS

#define TOK_CLASS 412

Definition at line 489 of file ansi_c_y.tab.cpp.

Referenced by Parser::isTypeSpecifier(), Parser::optIntegralTypeOrClassSpec(), Parser::rClassSpec(), Parser::rEnumSpec(), Parser::rTempArgDeclaration(), yyansi_clex(), and yyjsillex().

◆ TOK_CLRCALL

#define TOK_CLRCALL 372

Definition at line 449 of file ansi_c_y.tab.cpp.

◆ TOK_COMPLEX

#define TOK_COMPLEX 260

Definition at line 337 of file ansi_c_y.tab.cpp.

◆ TOK_CONST

#define TOK_CONST 264

Definition at line 341 of file ansi_c_y.tab.cpp.

◆ TOK_CONSTEXPR

#define TOK_CONSTEXPR 406

Definition at line 483 of file ansi_c_y.tab.cpp.

◆ TOK_CONTINUE

#define TOK_CONTINUE 265

Definition at line 342 of file ansi_c_y.tab.cpp.

◆ TOK_CPROVER_ATOMIC

#define TOK_CPROVER_ATOMIC 381

Definition at line 458 of file ansi_c_y.tab.cpp.

◆ TOK_CPROVER_BITVECTOR

#define TOK_CPROVER_BITVECTOR 378

Definition at line 455 of file ansi_c_y.tab.cpp.

◆ TOK_CPROVER_BOOL

#define TOK_CPROVER_BOOL 382

Definition at line 459 of file ansi_c_y.tab.cpp.

◆ TOK_CPROVER_CATCH

#define TOK_CPROVER_CATCH 384

Definition at line 461 of file ansi_c_y.tab.cpp.

◆ TOK_CPROVER_ENSURES

#define TOK_CPROVER_ENSURES 390

Definition at line 467 of file ansi_c_y.tab.cpp.

◆ TOK_CPROVER_FINALLY

#define TOK_CPROVER_FINALLY 386

Definition at line 463 of file ansi_c_y.tab.cpp.

◆ TOK_CPROVER_FIXEDBV

#define TOK_CPROVER_FIXEDBV 380

Definition at line 457 of file ansi_c_y.tab.cpp.

◆ TOK_CPROVER_FLOATBV

#define TOK_CPROVER_FLOATBV 379

Definition at line 456 of file ansi_c_y.tab.cpp.

◆ TOK_CPROVER_ID

#define TOK_CPROVER_ID 387

Definition at line 464 of file ansi_c_y.tab.cpp.

◆ TOK_CPROVER_LOOP_INVARIANT

#define TOK_CPROVER_LOOP_INVARIANT 388

Definition at line 465 of file ansi_c_y.tab.cpp.

◆ TOK_CPROVER_REQUIRES

#define TOK_CPROVER_REQUIRES 389

Definition at line 466 of file ansi_c_y.tab.cpp.

◆ TOK_CPROVER_THROW

#define TOK_CPROVER_THROW 383

Definition at line 460 of file ansi_c_y.tab.cpp.

◆ TOK_CPROVER_TRY

#define TOK_CPROVER_TRY 385

Definition at line 462 of file ansi_c_y.tab.cpp.

◆ TOK_CW_VAR_ARG_TYPEOF

#define TOK_CW_VAR_ARG_TYPEOF 357

Definition at line 434 of file ansi_c_y.tab.cpp.

◆ TOK_DECLTYPE

#define TOK_DECLTYPE 414

Definition at line 491 of file ansi_c_y.tab.cpp.

◆ TOK_DECR

#define TOK_DECR 297

Definition at line 374 of file ansi_c_y.tab.cpp.

◆ TOK_DEFAULT

#define TOK_DEFAULT 266

Definition at line 343 of file ansi_c_y.tab.cpp.

◆ TOK_DELETE

#define TOK_DELETE 413

Definition at line 490 of file ansi_c_y.tab.cpp.

Referenced by Parser::isAllocateExpr(), Parser::rAllocateExpr(), Parser::rConstructorDecl(), Parser::rDeclaratorWithInit(), Parser::rOperatorName(), yyansi_clex(), and yyjsillex().

◆ TOK_DIVASSIGN

#define TOK_DIVASSIGN 308

Definition at line 385 of file ansi_c_y.tab.cpp.

◆ TOK_DO

#define TOK_DO 267

Definition at line 344 of file ansi_c_y.tab.cpp.

◆ TOK_DOTPM

#define TOK_DOTPM 434

Definition at line 511 of file ansi_c_y.tab.cpp.

◆ TOK_DOUBLE

#define TOK_DOUBLE 268

Definition at line 345 of file ansi_c_y.tab.cpp.

◆ TOK_ELLIPSIS

#define TOK_ELLIPSIS 306

Definition at line 383 of file ansi_c_y.tab.cpp.

◆ TOK_ELSE

#define TOK_ELSE 269

Definition at line 346 of file ansi_c_y.tab.cpp.

◆ TOK_ENUM

#define TOK_ENUM 270

Definition at line 347 of file ansi_c_y.tab.cpp.

◆ TOK_EQ

#define TOK_EQ 302

Definition at line 379 of file ansi_c_y.tab.cpp.

◆ TOK_EQUIVALENT

#define TOK_EQUIVALENT 392

Definition at line 469 of file ansi_c_y.tab.cpp.

◆ TOK_EXISTS

#define TOK_EXISTS 374

Definition at line 451 of file ansi_c_y.tab.cpp.

◆ TOK_EXPLICIT

#define TOK_EXPLICIT 415

Definition at line 492 of file ansi_c_y.tab.cpp.

◆ TOK_EXTERN

#define TOK_EXTERN 271

Definition at line 348 of file ansi_c_y.tab.cpp.

◆ TOK_FALSE

#define TOK_FALSE 394

Definition at line 471 of file ansi_c_y.tab.cpp.

Referenced by Parser::rPrimaryExpr(), yyansi_clex(), yyjsillex(), and yyjsonlex().

◆ TOK_FASTCALL

#define TOK_FASTCALL 371

Definition at line 448 of file ansi_c_y.tab.cpp.

◆ TOK_FLOAT

#define TOK_FLOAT 272

Definition at line 349 of file ansi_c_y.tab.cpp.

◆ TOK_FLOATING

#define TOK_FLOATING 320

Definition at line 397 of file ansi_c_y.tab.cpp.

Referenced by Parser::rPrimaryExpr(), yyansi_clex(), and yyjsillex().

◆ TOK_FOR

#define TOK_FOR 273

Definition at line 350 of file ansi_c_y.tab.cpp.

◆ TOK_FORALL

#define TOK_FORALL 373

Definition at line 450 of file ansi_c_y.tab.cpp.

◆ TOK_FRIEND

#define TOK_FRIEND 416

Definition at line 493 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_ASM

#define TOK_GCC_ASM 339

Definition at line 416 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_ASM_PAREN

#define TOK_GCC_ASM_PAREN 340

Definition at line 417 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_ATTRIBUTE

#define TOK_GCC_ATTRIBUTE 341

Definition at line 418 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_ATTRIBUTE_ALIAS

#define TOK_GCC_ATTRIBUTE_ALIAS 349

Definition at line 426 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_ATTRIBUTE_ALIGNED

#define TOK_GCC_ATTRIBUTE_ALIGNED 342

Definition at line 419 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_ATTRIBUTE_CONSTRUCTOR

#define TOK_GCC_ATTRIBUTE_CONSTRUCTOR 352

Definition at line 429 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_ATTRIBUTE_DESTRUCTOR

#define TOK_GCC_ATTRIBUTE_DESTRUCTOR 353

Definition at line 430 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_ATTRIBUTE_GNU_INLINE

#define TOK_GCC_ATTRIBUTE_GNU_INLINE 347

Definition at line 424 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_ATTRIBUTE_MODE

#define TOK_GCC_ATTRIBUTE_MODE 346

Definition at line 423 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_ATTRIBUTE_NORETURN

#define TOK_GCC_ATTRIBUTE_NORETURN 351

Definition at line 428 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_ATTRIBUTE_PACKED

#define TOK_GCC_ATTRIBUTE_PACKED 344

Definition at line 421 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_ATTRIBUTE_SECTION

#define TOK_GCC_ATTRIBUTE_SECTION 350

Definition at line 427 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION

#define TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION 343

Definition at line 420 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_ATTRIBUTE_VECTOR_SIZE

#define TOK_GCC_ATTRIBUTE_VECTOR_SIZE 345

Definition at line 422 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_ATTRIBUTE_WEAK

#define TOK_GCC_ATTRIBUTE_WEAK 348

Definition at line 425 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_AUTO_TYPE

#define TOK_GCC_AUTO_TYPE 331

Definition at line 408 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P

#define TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P 359

Definition at line 436 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_DECIMAL128

#define TOK_GCC_DECIMAL128 338

Definition at line 415 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_DECIMAL32

#define TOK_GCC_DECIMAL32 336

Definition at line 413 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_DECIMAL64

#define TOK_GCC_DECIMAL64 337

Definition at line 414 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_FLOAT128

#define TOK_GCC_FLOAT128 333

Definition at line 410 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_FLOAT128_ALT

#define TOK_GCC_FLOAT128_ALT 334

Definition at line 411 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_FLOAT80

#define TOK_GCC_FLOAT80 332

Definition at line 409 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_INT128

#define TOK_GCC_INT128 335

Definition at line 412 of file ansi_c_y.tab.cpp.

◆ TOK_GCC_LABEL

#define TOK_GCC_LABEL 354

Definition at line 431 of file ansi_c_y.tab.cpp.

◆ TOK_GE

#define TOK_GE 301

Definition at line 378 of file ansi_c_y.tab.cpp.

◆ TOK_GENERIC

#define TOK_GENERIC 400

Definition at line 477 of file ansi_c_y.tab.cpp.

◆ TOK_GOTO

#define TOK_GOTO 274

Definition at line 351 of file ansi_c_y.tab.cpp.

Referenced by Parser::rStatement(), yyansi_clex(), and yyjsillex().

◆ TOK_IDENTIFIER

◆ TOK_IF

#define TOK_IF 275

Definition at line 352 of file ansi_c_y.tab.cpp.

◆ TOK_IMAG

#define TOK_IMAG 396

Definition at line 473 of file ansi_c_y.tab.cpp.

◆ TOK_IMAGINARY

#define TOK_IMAGINARY 401

Definition at line 478 of file ansi_c_y.tab.cpp.

◆ TOK_IMPLIES

#define TOK_IMPLIES 391

Definition at line 468 of file ansi_c_y.tab.cpp.

◆ TOK_INCR

#define TOK_INCR 296

Definition at line 373 of file ansi_c_y.tab.cpp.

◆ TOK_INLINE

#define TOK_INLINE 276

Definition at line 353 of file ansi_c_y.tab.cpp.

◆ TOK_INT

#define TOK_INT 277

Definition at line 354 of file ansi_c_y.tab.cpp.

◆ TOK_INT16

#define TOK_INT16 325

Definition at line 402 of file ansi_c_y.tab.cpp.

◆ TOK_INT32

#define TOK_INT32 326

Definition at line 403 of file ansi_c_y.tab.cpp.

◆ TOK_INT64

#define TOK_INT64 327

Definition at line 404 of file ansi_c_y.tab.cpp.

◆ TOK_INT8

#define TOK_INT8 324

Definition at line 401 of file ansi_c_y.tab.cpp.

◆ TOK_INTEGER

#define TOK_INTEGER 319

Definition at line 396 of file ansi_c_y.tab.cpp.

◆ TOK_INTERFACE

#define TOK_INTERFACE 368

Definition at line 445 of file ansi_c_y.tab.cpp.

◆ TOK_LE

#define TOK_LE 300

Definition at line 377 of file ansi_c_y.tab.cpp.

◆ TOK_LONG

#define TOK_LONG 278

Definition at line 355 of file ansi_c_y.tab.cpp.

◆ TOK_MINUSASSIGN

#define TOK_MINUSASSIGN 311

Definition at line 388 of file ansi_c_y.tab.cpp.

◆ TOK_MODASSIGN

#define TOK_MODASSIGN 309

Definition at line 386 of file ansi_c_y.tab.cpp.

◆ TOK_MSC_ASM

#define TOK_MSC_ASM 355

Definition at line 432 of file ansi_c_y.tab.cpp.

◆ TOK_MSC_BASED

#define TOK_MSC_BASED 356

Definition at line 433 of file ansi_c_y.tab.cpp.

◆ TOK_MSC_DECLSPEC

#define TOK_MSC_DECLSPEC 367

Definition at line 444 of file ansi_c_y.tab.cpp.

◆ TOK_MSC_EXCEPT

#define TOK_MSC_EXCEPT 365

Definition at line 442 of file ansi_c_y.tab.cpp.

◆ TOK_MSC_FINALLY

#define TOK_MSC_FINALLY 364

Definition at line 441 of file ansi_c_y.tab.cpp.

◆ TOK_MSC_IF_EXISTS

#define TOK_MSC_IF_EXISTS 439

Definition at line 516 of file ansi_c_y.tab.cpp.

◆ TOK_MSC_IF_NOT_EXISTS

#define TOK_MSC_IF_NOT_EXISTS 440

Definition at line 517 of file ansi_c_y.tab.cpp.

◆ TOK_MSC_LEAVE

#define TOK_MSC_LEAVE 366

Definition at line 443 of file ansi_c_y.tab.cpp.

◆ TOK_MSC_TRY

#define TOK_MSC_TRY 363

Definition at line 440 of file ansi_c_y.tab.cpp.

◆ TOK_MSC_UUIDOF

#define TOK_MSC_UUIDOF 438

Definition at line 515 of file ansi_c_y.tab.cpp.

◆ TOK_MULTASSIGN

#define TOK_MULTASSIGN 307

Definition at line 384 of file ansi_c_y.tab.cpp.

◆ TOK_MUTABLE

#define TOK_MUTABLE 417

Definition at line 494 of file ansi_c_y.tab.cpp.

◆ TOK_NAMESPACE

#define TOK_NAMESPACE 418

Definition at line 495 of file ansi_c_y.tab.cpp.

◆ TOK_NE

#define TOK_NE 303

Definition at line 380 of file ansi_c_y.tab.cpp.

◆ TOK_NEW

#define TOK_NEW 419

Definition at line 496 of file ansi_c_y.tab.cpp.

Referenced by Parser::isAllocateExpr(), Parser::rAllocateExpr(), Parser::rOperatorName(), yyansi_clex(), and yyjsillex().

◆ TOK_NOEXCEPT

#define TOK_NOEXCEPT 420

Definition at line 497 of file ansi_c_y.tab.cpp.

◆ TOK_NORETURN

#define TOK_NORETURN 402

Definition at line 479 of file ansi_c_y.tab.cpp.

◆ TOK_NULLPTR

#define TOK_NULLPTR 405

Definition at line 482 of file ansi_c_y.tab.cpp.

◆ TOK_OFFSETOF

#define TOK_OFFSETOF 361

Definition at line 438 of file ansi_c_y.tab.cpp.

◆ TOK_OPERATOR

#define TOK_OPERATOR 421

Definition at line 498 of file ansi_c_y.tab.cpp.

◆ TOK_ORASSIGN

#define TOK_ORASSIGN 316

Definition at line 393 of file ansi_c_y.tab.cpp.

◆ TOK_OROR

#define TOK_OROR 305

Definition at line 382 of file ansi_c_y.tab.cpp.

◆ TOK_PLUSASSIGN

#define TOK_PLUSASSIGN 310

Definition at line 387 of file ansi_c_y.tab.cpp.

◆ TOK_PRIVATE

#define TOK_PRIVATE 422

Definition at line 499 of file ansi_c_y.tab.cpp.

◆ TOK_PROTECTED

#define TOK_PROTECTED 423

Definition at line 500 of file ansi_c_y.tab.cpp.

◆ TOK_PTR32

#define TOK_PTR32 328

Definition at line 405 of file ansi_c_y.tab.cpp.

◆ TOK_PTR64

#define TOK_PTR64 329

Definition at line 406 of file ansi_c_y.tab.cpp.

◆ TOK_PUBLIC

#define TOK_PUBLIC 424

Definition at line 501 of file ansi_c_y.tab.cpp.

◆ TOK_REAL

#define TOK_REAL 395

Definition at line 472 of file ansi_c_y.tab.cpp.

◆ TOK_REGISTER

#define TOK_REGISTER 279

Definition at line 356 of file ansi_c_y.tab.cpp.

◆ TOK_RESTRICT

#define TOK_RESTRICT 280

Definition at line 357 of file ansi_c_y.tab.cpp.

◆ TOK_RETURN

#define TOK_RETURN 281

Definition at line 358 of file ansi_c_y.tab.cpp.

◆ TOK_SCANNER_EOF

#define TOK_SCANNER_EOF 408

Definition at line 485 of file ansi_c_y.tab.cpp.

◆ TOK_SCANNER_ERROR

#define TOK_SCANNER_ERROR 407

Definition at line 484 of file ansi_c_y.tab.cpp.

Referenced by cpp_operator(), yyansi_clex(), and yyjsillex().

◆ TOK_SCOPE

#define TOK_SCOPE 433

Definition at line 510 of file ansi_c_y.tab.cpp.

Referenced by Parser::isAllocateExpr(), Parser::isPtrToMember(), Parser::isTypeSpecifier(), Parser::maybeTemplateArgs(), Parser::moreVarName(), Parser::rAllocateExpr(), Parser::rDeclarator(), Parser::rName(), Parser::rPrimaryExpr(), Parser::rPtrToMember(), Parser::rTypeNameOrFunctionType(), Parser::rVarNameCore(), yyansi_clex(), and yyjsillex().

◆ TOK_SHIFTLEFT

#define TOK_SHIFTLEFT 298

Definition at line 375 of file ansi_c_y.tab.cpp.

◆ TOK_SHIFTRIGHT

#define TOK_SHIFTRIGHT 299

Definition at line 376 of file ansi_c_y.tab.cpp.

◆ TOK_SHLASSIGN

#define TOK_SHLASSIGN 312

Definition at line 389 of file ansi_c_y.tab.cpp.

◆ TOK_SHORT

#define TOK_SHORT 282

Definition at line 359 of file ansi_c_y.tab.cpp.

◆ TOK_SHRASSIGN

#define TOK_SHRASSIGN 313

Definition at line 390 of file ansi_c_y.tab.cpp.

◆ TOK_SIGNED

#define TOK_SIGNED 283

Definition at line 360 of file ansi_c_y.tab.cpp.

◆ TOK_SIZEOF

#define TOK_SIZEOF 284

Definition at line 361 of file ansi_c_y.tab.cpp.

◆ TOK_STATIC

#define TOK_STATIC 285

Definition at line 362 of file ansi_c_y.tab.cpp.

◆ TOK_STATIC_ASSERT

#define TOK_STATIC_ASSERT 403

Definition at line 480 of file ansi_c_y.tab.cpp.

◆ TOK_STDCALL

#define TOK_STDCALL 370

Definition at line 447 of file ansi_c_y.tab.cpp.

◆ TOK_STRING

#define TOK_STRING 322

Definition at line 399 of file ansi_c_y.tab.cpp.

Referenced by Parser::rDefinition(), Parser::rGCCAsmStatement(), Parser::rPrimaryExpr(), Parser::rString(), yyansi_clex(), yyjsillex(), and yyjsonlex().

◆ TOK_STRUCT

#define TOK_STRUCT 286

Definition at line 363 of file ansi_c_y.tab.cpp.

◆ TOK_SWITCH

#define TOK_SWITCH 287

Definition at line 364 of file ansi_c_y.tab.cpp.

◆ TOK_TEMPLATE

#define TOK_TEMPLATE 425

Definition at line 502 of file ansi_c_y.tab.cpp.

◆ TOK_THIS

#define TOK_THIS 426

Definition at line 503 of file ansi_c_y.tab.cpp.

◆ TOK_THREAD_LOCAL

#define TOK_THREAD_LOCAL 404

Definition at line 481 of file ansi_c_y.tab.cpp.

◆ TOK_THROW

#define TOK_THROW 427

Definition at line 504 of file ansi_c_y.tab.cpp.

◆ TOK_TRUE

#define TOK_TRUE 393

Definition at line 470 of file ansi_c_y.tab.cpp.

Referenced by Parser::rPrimaryExpr(), yyansi_clex(), yyjsillex(), and yyjsonlex().

◆ TOK_TRY

#define TOK_TRY 430

Definition at line 507 of file ansi_c_y.tab.cpp.

◆ TOK_TYPEDEF

#define TOK_TYPEDEF 288

Definition at line 365 of file ansi_c_y.tab.cpp.

◆ TOK_TYPEDEFNAME

#define TOK_TYPEDEFNAME 318

Definition at line 395 of file ansi_c_y.tab.cpp.

◆ TOK_TYPEID

#define TOK_TYPEID 428

Definition at line 505 of file ansi_c_y.tab.cpp.

◆ TOK_TYPENAME

#define TOK_TYPENAME 429

Definition at line 506 of file ansi_c_y.tab.cpp.

◆ TOK_TYPEOF

#define TOK_TYPEOF 330

Definition at line 407 of file ansi_c_y.tab.cpp.

Referenced by Parser::isTypeSpecifier(), Parser::optIntegralTypeOrClassSpec(), yyansi_clex(), and yyjsillex().

◆ TOK_UNARY_TYPE_PREDICATE

#define TOK_UNARY_TYPE_PREDICATE 436

Definition at line 513 of file ansi_c_y.tab.cpp.

◆ TOK_UNDERLYING_TYPE

#define TOK_UNDERLYING_TYPE 441

Definition at line 518 of file ansi_c_y.tab.cpp.

◆ TOK_UNION

#define TOK_UNION 289

Definition at line 366 of file ansi_c_y.tab.cpp.

◆ TOK_UNSIGNED

#define TOK_UNSIGNED 290

Definition at line 367 of file ansi_c_y.tab.cpp.

◆ TOK_USING

#define TOK_USING 431

Definition at line 508 of file ansi_c_y.tab.cpp.

◆ TOK_VIRTUAL

#define TOK_VIRTUAL 432

Definition at line 509 of file ansi_c_y.tab.cpp.

◆ TOK_VOID

#define TOK_VOID 291

Definition at line 368 of file ansi_c_y.tab.cpp.

◆ TOK_VOLATILE

#define TOK_VOLATILE 292

Definition at line 369 of file ansi_c_y.tab.cpp.

◆ TOK_WCHAR_T

#define TOK_WCHAR_T 293

Definition at line 370 of file ansi_c_y.tab.cpp.

◆ TOK_WHILE

#define TOK_WHILE 294

Definition at line 371 of file ansi_c_y.tab.cpp.

◆ TOK_XORASSIGN

#define TOK_XORASSIGN 315

Definition at line 392 of file ansi_c_y.tab.cpp.

◆ YY_

#define YY_ ( Msgid ) Msgid

Definition at line 589 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YY_ATTRIBUTE

#define YY_ATTRIBUTE ( Spec ) /* empty */

Definition at line 599 of file ansi_c_y.tab.cpp.

◆ YY_ATTRIBUTE_PURE

#define YY_ATTRIBUTE_PURE YY_ATTRIBUTE ((__pure__))

Definition at line 604 of file ansi_c_y.tab.cpp.

◆ YY_ATTRIBUTE_UNUSED

#define YY_ATTRIBUTE_UNUSED YY_ATTRIBUTE ((__unused__))

Definition at line 608 of file ansi_c_y.tab.cpp.

◆ YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN

#define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN

Definition at line 639 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse(), and yydestruct().

◆ YY_IGNORE_MAYBE_UNINITIALIZED_END

#define YY_IGNORE_MAYBE_UNINITIALIZED_END

Definition at line 640 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse(), and yydestruct().

◆ YY_INITIAL_VALUE

#define YY_INITIAL_VALUE ( Value ) Value

Definition at line 636 of file ansi_c_y.tab.cpp.

◆ YY_NULLPTR

#define YY_NULLPTR 0

Definition at line 119 of file ansi_c_y.tab.cpp.

◆ YY_REDUCE_PRINT

#define YY_REDUCE_PRINT ( Rule )

Definition at line 3017 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YY_STACK_PRINT

#define YY_STACK_PRINT	(	Bottom,
		Top
	)

Definition at line 3016 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YY_SYMBOL_PRINT

#define YY_SYMBOL_PRINT	(	Title,
		Type,
		Value,
		Location
	)

Definition at line 3015 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse(), and yydestruct().

◆ YY_YYANSI_C_ANSI_C_Y_TAB_HPP_INCLUDED

#define YY_YYANSI_C_ANSI_C_Y_TAB_HPP_INCLUDED

Definition at line 134 of file ansi_c_y.tab.cpp.

◆ YYABORT

#define YYABORT goto yyabortlab

Definition at line 2862 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YYACCEPT

#define YYACCEPT goto yyacceptlab

Definition at line 2861 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YYBACKUP

#define YYBACKUP	(	Token,
		Value
	)

Value:

do                                                              \
  if (yychar == YYEMPTY)                                        \
    {                                                           \
      yychar = (Token);                                         \
      yylval = (Value);                                         \
      YYPOPSTACK (yylen);                                       \
      yystate = *yyssp;                                         \
      goto yybackup;                                            \
    }                                                           \
  else                                                          \
    {                                                           \
      yyerror (YY_("syntax error: cannot back up")); \
      YYERROR;                                                  \
    }                                                           \
while (0)

Definition at line 2868 of file ansi_c_y.tab.cpp.

◆ YYBISON

#define YYBISON 1

Definition at line 44 of file ansi_c_y.tab.cpp.

◆ YYBISON_VERSION

#define YYBISON_VERSION "3.0.4"

Definition at line 47 of file ansi_c_y.tab.cpp.

◆ yychar

#define yychar yyansi_cchar

Definition at line 70 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ yyclearin

#define yyclearin (yychar = YYEMPTY)

Definition at line 2857 of file ansi_c_y.tab.cpp.

◆ YYCOPY

#define YYCOPY	(	Dst,
		Src,
		Count
	)

Value:

do                                        \
        {                                       \
          YYSIZE_T yyi;                         \
          for (yyi = 0; yyi < (Count); yyi++)   \
            (Dst)[yyi] = (Src)[yyi];            \
        }                                       \
      while (0)

Definition at line 763 of file ansi_c_y.tab.cpp.

◆ YYCOPY_NEEDED

#define YYCOPY_NEEDED 1

Definition at line 735 of file ansi_c_y.tab.cpp.

◆ yydebug

#define yydebug yyansi_cdebug

Definition at line 66 of file ansi_c_y.tab.cpp.

◆ YYDPRINTF

#define YYDPRINTF ( Args )

Definition at line 3014 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YYEMPTY

#define YYEMPTY (-2)

Definition at line 2858 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YYEOF

#define YYEOF 0

Definition at line 2859 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YYERRCODE

#define YYERRCODE 256

Definition at line 2887 of file ansi_c_y.tab.cpp.

◆ yyerrok

#define yyerrok (yyerrstatus = 0)

Definition at line 2856 of file ansi_c_y.tab.cpp.

◆ yyerror

#define yyerror yyansi_cerror

Definition at line 65 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YYERROR

#define YYERROR goto yyerrorlab

Definition at line 2863 of file ansi_c_y.tab.cpp.

◆ YYERROR_VERBOSE

#define YYERROR_VERBOSE 0

Definition at line 128 of file ansi_c_y.tab.cpp.

◆ YYFINAL

#define YYFINAL 143

Definition at line 776 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YYFREE

#define YYFREE free

Definition at line 706 of file ansi_c_y.tab.cpp.

◆ YYINITDEPTH

#define YYINITDEPTH 200

Definition at line 3023 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YYLAST

#define YYLAST 6128

Definition at line 778 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ yylex

#define yylex yyansi_clex

Definition at line 64 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ yylval

#define yylval yyansi_clval

Definition at line 69 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YYMALLOC

#define YYMALLOC malloc

Definition at line 700 of file ansi_c_y.tab.cpp.

◆ YYMAXDEPTH

#define YYMAXDEPTH 25600

Definition at line 104 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YYMAXUTOK

#define YYMAXUTOK 441

Definition at line 792 of file ansi_c_y.tab.cpp.

◆ yynerrs

#define yynerrs yyansi_cnerrs

Definition at line 67 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YYNNTS

#define YYNNTS 206

Definition at line 783 of file ansi_c_y.tab.cpp.

◆ YYNRULES

#define YYNRULES 603

Definition at line 785 of file ansi_c_y.tab.cpp.

◆ YYNSTATES

#define YYNSTATES 1090

Definition at line 787 of file ansi_c_y.tab.cpp.

◆ YYNTOKENS

#define YYNTOKENS 211

Definition at line 781 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YYPACT_NINF

#define YYPACT_NINF -1002

Definition at line 1078 of file ansi_c_y.tab.cpp.

◆ yypact_value_is_default

#define yypact_value_is_default ( Yystate ) (!!((Yystate) == (-1002)))

Definition at line 1080 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ yyparse

#define yyparse yyansi_cparse

Definition at line 63 of file ansi_c_y.tab.cpp.

◆ YYPOPSTACK

#define YYPOPSTACK ( N ) (yyvsp -= (N), yyssp -= (N))

Referenced by yyansi_cparse().

◆ YYPULL

#define YYPULL 1

Definition at line 59 of file ansi_c_y.tab.cpp.

◆ YYPURE

#define YYPURE 0

Definition at line 53 of file ansi_c_y.tab.cpp.

◆ YYPUSH

#define YYPUSH 0

Definition at line 56 of file ansi_c_y.tab.cpp.

◆ YYRECOVERING

#define YYRECOVERING ( ) (!!yyerrstatus)

Definition at line 2866 of file ansi_c_y.tab.cpp.

◆ YYSIZE_MAXIMUM

#define YYSIZE_MAXIMUM ((YYSIZE_T) -1)

Definition at line 579 of file ansi_c_y.tab.cpp.

◆ YYSIZE_T

#define YYSIZE_T size_t

Definition at line 573 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YYSKELETON_NAME

#define YYSKELETON_NAME "yacc.c"

Definition at line 50 of file ansi_c_y.tab.cpp.

◆ YYSTACK_ALLOC

#define YYSTACK_ALLOC YYMALLOC

Definition at line 686 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YYSTACK_ALLOC_MAXIMUM

#define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM

Definition at line 689 of file ansi_c_y.tab.cpp.

◆ YYSTACK_BYTES

#define YYSTACK_BYTES ( N )

Value:

((N) * (sizeof (yytype_int16) + sizeof (YYSTYPE)) \

+ YYSTACK_GAP_MAXIMUM)

yytype_int16

short int yytype_int16

Definition: ansi_c_y.tab.cpp:563

YYSTYPE

#define YYSTYPE

Definition: ansi_c_lex.yy.cpp:3908

YYSTACK_GAP_MAXIMUM

#define YYSTACK_GAP_MAXIMUM

Definition: ansi_c_y.tab.cpp:727

Definition at line 731 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YYSTACK_FREE

#define YYSTACK_FREE YYFREE

Definition at line 687 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YYSTACK_GAP_MAXIMUM

#define YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1)

Definition at line 727 of file ansi_c_y.tab.cpp.

◆ YYSTACK_RELOCATE

#define YYSTACK_RELOCATE	(	Stack_alloc,
		Stack
	)

Value:

do                                                                  \
      {                                                                 \
        YYSIZE_T yynewbytes;                                            \
        YYCOPY (&yyptr->Stack_alloc, Stack, yysize);                    \
        Stack = &yyptr->Stack_alloc;                                    \
        yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAXIMUM; \
        yyptr += yynewbytes / sizeof (*yyptr);                          \
      }                                                                 \
    while (0)

Definition at line 742 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YYTABLE_NINF

#define YYTABLE_NINF -573

Definition at line 1083 of file ansi_c_y.tab.cpp.

◆ yytable_value_is_error

#define yytable_value_is_error ( Yytable_value ) 0

Definition at line 1085 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YYTERROR

#define YYTERROR 1

Definition at line 2886 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YYTRANSLATE

#define YYTRANSLATE ( YYX ) ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK)

Definition at line 794 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ YYUNDEFTOK

#define YYUNDEFTOK 2

Definition at line 791 of file ansi_c_y.tab.cpp.

◆ YYUSE

#define YYUSE ( E ) ((void) (E))

Definition at line 622 of file ansi_c_y.tab.cpp.

Referenced by yydestruct().

Typedef Documentation

◆ yytype_int16

typedef short int yytype_int16

Definition at line 563 of file ansi_c_y.tab.cpp.

◆ yytype_int8

typedef signed char yytype_int8

Definition at line 551 of file ansi_c_y.tab.cpp.

◆ yytype_uint16

typedef unsigned short int yytype_uint16

Definition at line 557 of file ansi_c_y.tab.cpp.

◆ yytype_uint8

typedef unsigned char yytype_uint8

Definition at line 545 of file ansi_c_y.tab.cpp.

Function Documentation

◆ free()

void free ( void * )

Referenced by qbf_skizzo_coret::get_certificate(), get_current_working_directory(), get_temporary_file(), print_backtrace(), yyansi_cfree(), yyassemblerfree(), yyjsilfree(), yyjsonfree(), and yyxmlfree().

◆ malloc()

void* malloc ( size_t )

Referenced by get_current_working_directory(), word(), yyansi_calloc(), yyassembleralloc(), yyjsilalloc(), yyjsonalloc(), and yyxmlalloc().

◆ yyansi_clex()

int yyansi_clex ( )

The main scanner function which does all the work.

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

◆ yyansi_cparse()

int yyansi_cparse ( void )

Definition at line 3294 of file ansi_c_y.tab.cpp.

References ansi_c_declarationt::add_initializer(), exprt::add_source_location(), ANSI_C_LOCAL_LABEL, ANSI_C_SYMBOL, ansi_c_identifiert::base_name, convert_integer_literal(), ansi_c_declarationt::declarators(), forall_operands, id2string(), ansi_c_identifiert::id_class, exprt::move_to_operands(), exprt::operands(), PARSER, ansi_c_identifiert::prefixed_name, irept::set(), ansi_c_declarationt::set_is_enum_constant(), ansi_c_declarationt::set_is_member(), ansi_c_declarationt::set_is_parameter(), ansi_c_declarationt::set_is_static_assert(), stack, stack_type, typet::subtypes(), irept::swap(), to_ansi_c_declaration(), exprt::type(), YY_, YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN, YY_IGNORE_MAYBE_UNINITIALIZED_END, YY_REDUCE_PRINT, YY_STACK_PRINT, YY_SYMBOL_PRINT, YYABORT, YYACCEPT, yychar, yycheck, yydefact, yydefgoto, yydestruct(), YYDPRINTF, YYEMPTY, YYEOF, yyerror, YYFINAL, YYINITDEPTH, YYLAST, yylex, yylval, YYMAXDEPTH, yynerrs, YYNTOKENS, yypact, yypact_value_is_default, yypgoto, YYPOPSTACK, yyr1, yyr2, YYSIZE_T, yyalloc::yyss_alloc, YYSTACK_ALLOC, YYSTACK_BYTES, YYSTACK_FREE, YYSTACK_RELOCATE, yystos, YYSYNTAX_ERROR, yytable, yytable_value_is_error, YYTERROR, YYTRANSLATE, and yyalloc::yyvs_alloc.

Referenced by ansi_c_parsert::parse().

◆ yydestruct()

static void yydestruct	(	const char *	yymsg,
		int	yytype,
		unsigned *	yyvaluep
	)

static

Definition at line 3265 of file ansi_c_y.tab.cpp.

References YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN, YY_IGNORE_MAYBE_UNINITIALIZED_END, YY_SYMBOL_PRINT, and YYUSE.

Referenced by yyansi_cparse().

Variable Documentation

◆ yyansi_cchar

int yyansi_cchar

Definition at line 3281 of file ansi_c_y.tab.cpp.

◆ yyansi_clval

unsigned yyansi_clval

Definition at line 3284 of file ansi_c_y.tab.cpp.

Referenced by make_identifier(), and yyansi_clex().

◆ yyansi_cnerrs

int yyansi_cnerrs

Definition at line 3286 of file ansi_c_y.tab.cpp.

◆ yyansi_ctext

char* yyansi_ctext

◆ yycheck

const yytype_int16 yycheck[]

static

Definition at line 1991 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ yydefact

const yytype_uint16 yydefact[]

static

Definition at line 1206 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ yydefgoto

const yytype_int16 yydefgoto[]

static

Initial value:

=
{
      -1,    64,   231,   112,   232,   233,   234,   235,   236,   237,
     238,   827,   828,   239,   240,   241,   242,   822,   243,  1028,
     197,   341,   244,   245,   758,   551,   246,   247,   248,   249,
     250,   251,   252,   253,   254,   255,   256,   257,   258,   259,
     260,   261,   722,   608,   723,   724,    68,    69,   316,   321,
     478,   279,   280,   310,    70,   480,   481,   777,   537,   538,
     539,   540,   273,   157,    75,    76,   139,   350,   351,    77,
      78,    79,    80,    81,    82,    83,    84,    85,    86,    87,
      88,   291,   292,   293,    89,   334,    90,    91,    92,    93,
    1019,    94,   485,   630,   631,    95,   462,   463,   464,   144,
     263,   146,   781,   782,   783,   784,   785,   961,   964,  1015,
     962,    97,   337,   489,    98,   632,   633,   634,   898,   516,
     510,   511,   517,   518,   725,   829,   483,   759,   760,   761,
     762,   763,   726,   727,   728,   729,   379,   730,   731,   732,
     987,   733,   837,   734,   735,   847,  1063,   736,   737,   738,
     739,   446,   753,   754,   866,   946,   947,   949,  1005,  1006,
    1008,  1039,  1040,  1042,  1064,  1065,    99,   100,   101,   102,
     103,   494,   803,   804,   502,   503,   504,   505,   506,   507,
     508,   104,   963,   114,   115,   116,   117,   118,   119,   120,
     440,   121,   106,   107,   108,   592,   810,   439,   343,   201,
     344,   202,   594,   664,   595,   665
}

Definition at line 1346 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ yypact

const yytype_int16 yypact[]

static

Definition at line 1090 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ yypgoto

const yytype_int16 yypgoto[]

static

Initial value:

=
{
   -1002, -1002,     0,    47, -1002, -1002, -1002,  -108, -1002,  -302,
   -1002, -1002,   147, -1002, -1002, -1002, -1002, -1002, -1002, -1001,
   -1002, -1002, -1002, -1002,  -235, -1002,   146,  -123,    55,   353,
     381,   365,   648,   649,   647,   653,   659, -1002,   389, -1002,
    -334,   825,     3,  -170,  -841,    60,  -589, -1002, -1002, -1002,
   -1002,   788, -1002,  -104, -1002, -1002, -1002, -1002,     8,   267,
      39,   228,   -54,    13,  1288, -1002,  -131,   729, -1002, -1002,
    -226, -1002,  -225, -1002, -1002, -1002,   -99,   -62,    -9,   -50,
     143,  -462,   789, -1002,   894, -1002,  1031,   -56,   -39, -1002,
      69, -1002, -1002, -1002, -1002,   590, -1002,   474, -1002,   588,
     983,   -74,   304, -1002,   312, -1002, -1002,   203,   207,   135,
    -661, -1002, -1002, -1002,   604,   485, -1002,   329, -1002, -1002,
   -1002,   470, -1002,   454,  -181,   874,  -291,  -236,   433,   439,
    -804, -1002,   265,   220, -1002,  -222,   586, -1002,   223, -1002,
   -1002, -1002, -1002, -1002, -1002, -1002,  -205, -1002, -1002, -1002,
   -1002,   426,   217, -1002, -1002,   144, -1002, -1002,   113, -1002,
   -1002,    89, -1002, -1002, -1002,    78, -1002, -1002,  1052, -1002,
   -1002, -1002,   478,   814,  -481, -1002, -1002, -1002, -1002, -1002,
   -1002, -1002,    15,  1046, -1002,  -101,   -94, -1002,    64, -1002,
     -95,    88,   -28, -1002,   -27,  -408,  -471,     1, -1002,   546,
   -1002, -1002,   571,  -592,   574,  -588
}

Definition at line 1320 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ yyr1

const yytype_uint16 yyr1[]

static

Definition at line 2724 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ yyr2

const yytype_uint8 yyr2[]

static

Definition at line 2790 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ yystos

const yytype_uint16 yystos[]

static

Definition at line 2610 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ yytable

const yytype_int16 yytable[]

static

Definition at line 1374 of file ansi_c_y.tab.cpp.

Referenced by yyansi_cparse().

◆ yytranslate

const yytype_uint8 yytranslate[]

static

Definition at line 799 of file ansi_c_y.tab.cpp.

Classes

Macros

Typedefs

Functions

Variables

Macro Definition Documentation

◆ _Noreturn

◆ PARSER

◆ 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_CDECL

◆ TOK_CHAR

◆ TOK_CHAR16_T

◆ TOK_CHAR32_T

◆ TOK_CHARACTER

◆ TOK_CLANG_BUILTIN_CONVERTVECTOR

◆ TOK_CLASS

◆ TOK_CLRCALL

◆ 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_FASTCALL

◆ TOK_FLOAT

◆ TOK_FLOATING

◆ TOK_FOR

◆ TOK_FORALL

◆ TOK_FRIEND

◆ TOK_GCC_ASM

◆ TOK_GCC_ASM_PAREN

◆ TOK_GCC_ATTRIBUTE

◆ TOK_GCC_ATTRIBUTE_ALIAS