cprover
ansi_c_y.tab.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define YYDEBUG   0
 
#define YYTOKENTYPE
 
#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_FLOAT16   332
 
#define TOK_GCC_FLOAT32   333
 
#define TOK_GCC_FLOAT32X   334
 
#define TOK_GCC_FLOAT80   335
 
#define TOK_GCC_FLOAT64   336
 
#define TOK_GCC_FLOAT64X   337
 
#define TOK_GCC_FLOAT128   338
 
#define TOK_GCC_FLOAT128X   339
 
#define TOK_GCC_INT128   340
 
#define TOK_GCC_DECIMAL32   341
 
#define TOK_GCC_DECIMAL64   342
 
#define TOK_GCC_DECIMAL128   343
 
#define TOK_GCC_ASM   344
 
#define TOK_GCC_ASM_PAREN   345
 
#define TOK_GCC_ATTRIBUTE   346
 
#define TOK_GCC_ATTRIBUTE_ALIGNED   347
 
#define TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION   348
 
#define TOK_GCC_ATTRIBUTE_PACKED   349
 
#define TOK_GCC_ATTRIBUTE_VECTOR_SIZE   350
 
#define TOK_GCC_ATTRIBUTE_MODE   351
 
#define TOK_GCC_ATTRIBUTE_GNU_INLINE   352
 
#define TOK_GCC_ATTRIBUTE_WEAK   353
 
#define TOK_GCC_ATTRIBUTE_ALIAS   354
 
#define TOK_GCC_ATTRIBUTE_SECTION   355
 
#define TOK_GCC_ATTRIBUTE_NORETURN   356
 
#define TOK_GCC_ATTRIBUTE_CONSTRUCTOR   357
 
#define TOK_GCC_ATTRIBUTE_DESTRUCTOR   358
 
#define TOK_GCC_ATTRIBUTE_FALLTHROUGH   359
 
#define TOK_GCC_ATTRIBUTE_USED   360
 
#define TOK_GCC_ATTRIBUTE_ALWAYS_INLINE   361
 
#define TOK_GCC_LABEL   362
 
#define TOK_MSC_ASM   363
 
#define TOK_MSC_BASED   364
 
#define TOK_CW_VAR_ARG_TYPEOF   365
 
#define TOK_BUILTIN_VA_ARG   366
 
#define TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P   367
 
#define TOK_CLANG_BUILTIN_CONVERTVECTOR   368
 
#define TOK_OFFSETOF   369
 
#define TOK_ALIGNOF   370
 
#define TOK_MSC_TRY   371
 
#define TOK_MSC_FINALLY   372
 
#define TOK_MSC_EXCEPT   373
 
#define TOK_MSC_LEAVE   374
 
#define TOK_MSC_DECLSPEC   375
 
#define TOK_INTERFACE   376
 
#define TOK_CDECL   377
 
#define TOK_STDCALL   378
 
#define TOK_FASTCALL   379
 
#define TOK_CLRCALL   380
 
#define TOK_FORALL   381
 
#define TOK_EXISTS   382
 
#define TOK_ACSL_FORALL   383
 
#define TOK_ACSL_EXISTS   384
 
#define TOK_ARRAY_OF   385
 
#define TOK_CPROVER_BITVECTOR   386
 
#define TOK_CPROVER_FLOATBV   387
 
#define TOK_CPROVER_FIXEDBV   388
 
#define TOK_CPROVER_ATOMIC   389
 
#define TOK_CPROVER_BOOL   390
 
#define TOK_CPROVER_THROW   391
 
#define TOK_CPROVER_CATCH   392
 
#define TOK_CPROVER_TRY   393
 
#define TOK_CPROVER_FINALLY   394
 
#define TOK_CPROVER_ID   395
 
#define TOK_CPROVER_LOOP_INVARIANT   396
 
#define TOK_CPROVER_REQUIRES   397
 
#define TOK_CPROVER_ENSURES   398
 
#define TOK_IMPLIES   399
 
#define TOK_EQUIVALENT   400
 
#define TOK_TRUE   401
 
#define TOK_FALSE   402
 
#define TOK_REAL   403
 
#define TOK_IMAG   404
 
#define TOK_ALIGNAS   405
 
#define TOK_ATOMIC_TYPE_QUALIFIER   406
 
#define TOK_ATOMIC_TYPE_SPECIFIER   407
 
#define TOK_GENERIC   408
 
#define TOK_IMAGINARY   409
 
#define TOK_NORETURN   410
 
#define TOK_STATIC_ASSERT   411
 
#define TOK_THREAD_LOCAL   412
 
#define TOK_NULLPTR   413
 
#define TOK_CONSTEXPR   414
 
#define TOK_SCANNER_ERROR   415
 
#define TOK_SCANNER_EOF   416
 
#define TOK_CATCH   417
 
#define TOK_CHAR16_T   418
 
#define TOK_CHAR32_T   419
 
#define TOK_CLASS   420
 
#define TOK_DELETE   421
 
#define TOK_DECLTYPE   422
 
#define TOK_EXPLICIT   423
 
#define TOK_FRIEND   424
 
#define TOK_MUTABLE   425
 
#define TOK_NAMESPACE   426
 
#define TOK_NEW   427
 
#define TOK_NOEXCEPT   428
 
#define TOK_OPERATOR   429
 
#define TOK_PRIVATE   430
 
#define TOK_PROTECTED   431
 
#define TOK_PUBLIC   432
 
#define TOK_TEMPLATE   433
 
#define TOK_THIS   434
 
#define TOK_THROW   435
 
#define TOK_TYPEID   436
 
#define TOK_TYPENAME   437
 
#define TOK_TRY   438
 
#define TOK_USING   439
 
#define TOK_VIRTUAL   440
 
#define TOK_SCOPE   441
 
#define TOK_DOTPM   442
 
#define TOK_ARROWPM   443
 
#define TOK_UNARY_TYPE_PREDICATE   444
 
#define TOK_BINARY_TYPE_PREDICATE   445
 
#define TOK_MSC_UUIDOF   446
 
#define TOK_MSC_IF_EXISTS   447
 
#define TOK_MSC_IF_NOT_EXISTS   448
 
#define TOK_UNDERLYING_TYPE   449
 
#define YYSTYPE_IS_TRIVIAL   1
 
#define YYSTYPE_IS_DECLARED   1
 

Typedefs

typedef int YYSTYPE
 

Enumerations

enum  yytokentype {
  TOK_AUTO = 258, TOK_BOOL = 259, TOK_COMPLEX = 260, TOK_BREAK = 261,
  TOK_CASE = 262, TOK_CHAR = 263, TOK_CONST = 264, TOK_CONTINUE = 265,
  TOK_DEFAULT = 266, TOK_DO = 267, TOK_DOUBLE = 268, TOK_ELSE = 269,
  TOK_ENUM = 270, TOK_EXTERN = 271, TOK_FLOAT = 272, TOK_FOR = 273,
  TOK_GOTO = 274, TOK_IF = 275, TOK_INLINE = 276, TOK_INT = 277,
  TOK_LONG = 278, TOK_REGISTER = 279, TOK_RESTRICT = 280, TOK_RETURN = 281,
  TOK_SHORT = 282, TOK_SIGNED = 283, TOK_SIZEOF = 284, TOK_STATIC = 285,
  TOK_STRUCT = 286, TOK_SWITCH = 287, TOK_TYPEDEF = 288, TOK_UNION = 289,
  TOK_UNSIGNED = 290, TOK_VOID = 291, TOK_VOLATILE = 292, TOK_WCHAR_T = 293,
  TOK_WHILE = 294, TOK_ARROW = 295, TOK_INCR = 296, TOK_DECR = 297,
  TOK_SHIFTLEFT = 298, TOK_SHIFTRIGHT = 299, TOK_LE = 300, TOK_GE = 301,
  TOK_EQ = 302, TOK_NE = 303, TOK_ANDAND = 304, TOK_OROR = 305,
  TOK_ELLIPSIS = 306, TOK_MULTASSIGN = 307, TOK_DIVASSIGN = 308, TOK_MODASSIGN = 309,
  TOK_PLUSASSIGN = 310, TOK_MINUSASSIGN = 311, TOK_SHLASSIGN = 312, TOK_SHRASSIGN = 313,
  TOK_ANDASSIGN = 314, TOK_XORASSIGN = 315, TOK_ORASSIGN = 316, TOK_IDENTIFIER = 317,
  TOK_TYPEDEFNAME = 318, TOK_INTEGER = 319, TOK_FLOATING = 320, TOK_CHARACTER = 321,
  TOK_STRING = 322, TOK_ASM_STRING = 323, TOK_INT8 = 324, TOK_INT16 = 325,
  TOK_INT32 = 326, TOK_INT64 = 327, TOK_PTR32 = 328, TOK_PTR64 = 329,
  TOK_TYPEOF = 330, TOK_GCC_AUTO_TYPE = 331, TOK_GCC_FLOAT16 = 332, TOK_GCC_FLOAT32 = 333,
  TOK_GCC_FLOAT32X = 334, TOK_GCC_FLOAT80 = 335, TOK_GCC_FLOAT64 = 336, TOK_GCC_FLOAT64X = 337,
  TOK_GCC_FLOAT128 = 338, TOK_GCC_FLOAT128X = 339, TOK_GCC_INT128 = 340, TOK_GCC_DECIMAL32 = 341,
  TOK_GCC_DECIMAL64 = 342, TOK_GCC_DECIMAL128 = 343, TOK_GCC_ASM = 344, TOK_GCC_ASM_PAREN = 345,
  TOK_GCC_ATTRIBUTE = 346, TOK_GCC_ATTRIBUTE_ALIGNED = 347, TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION = 348, TOK_GCC_ATTRIBUTE_PACKED = 349,
  TOK_GCC_ATTRIBUTE_VECTOR_SIZE = 350, TOK_GCC_ATTRIBUTE_MODE = 351, TOK_GCC_ATTRIBUTE_GNU_INLINE = 352, TOK_GCC_ATTRIBUTE_WEAK = 353,
  TOK_GCC_ATTRIBUTE_ALIAS = 354, TOK_GCC_ATTRIBUTE_SECTION = 355, TOK_GCC_ATTRIBUTE_NORETURN = 356, TOK_GCC_ATTRIBUTE_CONSTRUCTOR = 357,
  TOK_GCC_ATTRIBUTE_DESTRUCTOR = 358, TOK_GCC_ATTRIBUTE_FALLTHROUGH = 359, TOK_GCC_ATTRIBUTE_USED = 360, TOK_GCC_ATTRIBUTE_ALWAYS_INLINE = 361,
  TOK_GCC_LABEL = 362, TOK_MSC_ASM = 363, TOK_MSC_BASED = 364, TOK_CW_VAR_ARG_TYPEOF = 365,
  TOK_BUILTIN_VA_ARG = 366, TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P = 367, TOK_CLANG_BUILTIN_CONVERTVECTOR = 368, TOK_OFFSETOF = 369,
  TOK_ALIGNOF = 370, TOK_MSC_TRY = 371, TOK_MSC_FINALLY = 372, TOK_MSC_EXCEPT = 373,
  TOK_MSC_LEAVE = 374, TOK_MSC_DECLSPEC = 375, TOK_INTERFACE = 376, TOK_CDECL = 377,
  TOK_STDCALL = 378, TOK_FASTCALL = 379, TOK_CLRCALL = 380, TOK_FORALL = 381,
  TOK_EXISTS = 382, TOK_ACSL_FORALL = 383, TOK_ACSL_EXISTS = 384, TOK_ARRAY_OF = 385,
  TOK_CPROVER_BITVECTOR = 386, TOK_CPROVER_FLOATBV = 387, TOK_CPROVER_FIXEDBV = 388, TOK_CPROVER_ATOMIC = 389,
  TOK_CPROVER_BOOL = 390, TOK_CPROVER_THROW = 391, TOK_CPROVER_CATCH = 392, TOK_CPROVER_TRY = 393,
  TOK_CPROVER_FINALLY = 394, TOK_CPROVER_ID = 395, TOK_CPROVER_LOOP_INVARIANT = 396, TOK_CPROVER_REQUIRES = 397,
  TOK_CPROVER_ENSURES = 398, TOK_IMPLIES = 399, TOK_EQUIVALENT = 400, TOK_TRUE = 401,
  TOK_FALSE = 402, TOK_REAL = 403, TOK_IMAG = 404, TOK_ALIGNAS = 405,
  TOK_ATOMIC_TYPE_QUALIFIER = 406, TOK_ATOMIC_TYPE_SPECIFIER = 407, TOK_GENERIC = 408, TOK_IMAGINARY = 409,
  TOK_NORETURN = 410, TOK_STATIC_ASSERT = 411, TOK_THREAD_LOCAL = 412, TOK_NULLPTR = 413,
  TOK_CONSTEXPR = 414, TOK_SCANNER_ERROR = 415, TOK_SCANNER_EOF = 416, TOK_CATCH = 417,
  TOK_CHAR16_T = 418, TOK_CHAR32_T = 419, TOK_CLASS = 420, TOK_DELETE = 421,
  TOK_DECLTYPE = 422, TOK_EXPLICIT = 423, TOK_FRIEND = 424, TOK_MUTABLE = 425,
  TOK_NAMESPACE = 426, TOK_NEW = 427, TOK_NOEXCEPT = 428, TOK_OPERATOR = 429,
  TOK_PRIVATE = 430, TOK_PROTECTED = 431, TOK_PUBLIC = 432, TOK_TEMPLATE = 433,
  TOK_THIS = 434, TOK_THROW = 435, TOK_TYPEID = 436, TOK_TYPENAME = 437,
  TOK_TRY = 438, TOK_USING = 439, TOK_VIRTUAL = 440, TOK_SCOPE = 441,
  TOK_DOTPM = 442, TOK_ARROWPM = 443, TOK_UNARY_TYPE_PREDICATE = 444, TOK_BINARY_TYPE_PREDICATE = 445,
  TOK_MSC_UUIDOF = 446, TOK_MSC_IF_EXISTS = 447, TOK_MSC_IF_NOT_EXISTS = 448, TOK_UNDERLYING_TYPE = 449,
  TOK_SCANNER_ERROR = 258, TOK_NEWLINE = 259, TOK_PROCEDURE = 260, TOK_RETURNS = 261,
  TOK_TO = 262, TOK_THROWS = 263, TOK_EVAL = 264, TOK_LABEL = 265,
  TOK_GOTO = 266, TOK_SKIP = 267, TOK_WITH = 268, TOK_NEW = 269,
  TOK_HAS_FIELD = 270, TOK_DELETE = 271, TOK_PROTO_FIELD = 272, TOK_PROTO_OBJ = 273,
  TOK_REF = 274, TOK_FIELD = 275, TOK_BASE = 276, TOK_TYPEOF = 277,
  TOK_NULL = 278, TOK_UNDEFINED = 279, TOK_EMPTY = 280, TOK_TRUE = 281,
  TOK_FALSE = 282, TOK_PROTO = 283, TOK_FID = 284, TOK_SCOPE = 285,
  TOK_CONSTRUCTID = 286, TOK_PRIMVALUE = 287, TOK_TARGETFUNCTION = 288, TOK_CLASS = 289,
  TOK_NUM_TO_STRING = 290, TOK_STRING_TO_NUM = 291, TOK_NUM_TO_INT32 = 292, TOK_NUM_TO_UINT32 = 293,
  TOK_MEMBER_REFERENCE = 294, TOK_VARIABLE_REFERENCE = 295, TOK_T_NULL = 296, TOK_T_UNDEFINED = 297,
  TOK_T_BOOLEAN = 298, TOK_T_STRING = 299, TOK_T_NUMBER = 300, TOK_T_BUILTIN_OBJECT = 301,
  TOK_T_USER_OBJECT = 302, TOK_T_OBJECT = 303, TOK_T_REFERENCE = 304, TOK_DEFEQ = 305,
  TOK_LEQ = 306, TOK_AND = 307, TOK_OR = 308, TOK_SUBTYPE_OF = 309,
  TOK_LEFT_SHIFT = 310, TOK_SIGNED_RIGHT_SHIFT = 311, TOK_UNSIGNED_RIGHT_SHIFT = 312, TOK_NOT = 313,
  TOK_IDENTIFIER = 314, TOK_FLOATING = 315, TOK_STRING = 316, TOK_BUILTIN_LOC = 317,
  TOK_BUILTIN_IDENTIFIER = 318, TOK_SPEC_IDENTIFIER = 319, TOK_STRING = 258, TOK_NUMBER = 259,
  TOK_TRUE = 260, TOK_FALSE = 261, TOK_NULL = 262, TOK_STRING = 258,
  TOK_NUMBER = 259, TOK_TRUE = 260, TOK_FALSE = 261, TOK_NULL = 262,
  STARTXMLDECL = 258, VERSION = 259, STARTPI = 260, ENDPI = 261,
  EQ = 262, SLASH = 263, CLOSE = 264, END = 265,
  ENCODING = 266, NAME = 267, VALUE = 268, DATA = 269,
  COMMENT = 270, START = 271, STARTXMLDECL = 258, VERSION = 259,
  STARTPI = 260, ENDPI = 261, EQ = 262, SLASH = 263,
  CLOSE = 264, END = 265, ENCODING = 266, NAME = 267,
  VALUE = 268, DATA = 269, COMMENT = 270, START = 271
}
 

Functions

int yyansi_cparse (void)
 

Variables

YYSTYPE yyansi_clval
 

Macro Definition Documentation

◆ TOK_ACSL_EXISTS

#define TOK_ACSL_EXISTS   384

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

◆ TOK_ACSL_FORALL

#define TOK_ACSL_FORALL   383

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

◆ TOK_ALIGNAS

#define TOK_ALIGNAS   405

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

◆ TOK_ALIGNOF

#define TOK_ALIGNOF   370

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

◆ TOK_ANDAND

#define TOK_ANDAND   304

Definition at line 289 of file ansi_c_y.tab.h.

◆ TOK_ANDASSIGN

#define TOK_ANDASSIGN   314

Definition at line 299 of file ansi_c_y.tab.h.

◆ TOK_ARRAY_OF

#define TOK_ARRAY_OF   385

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

◆ TOK_ARROW

#define TOK_ARROW   295

Definition at line 280 of file ansi_c_y.tab.h.

◆ TOK_ARROWPM

#define TOK_ARROWPM   443

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

◆ TOK_ASM_STRING

#define TOK_ASM_STRING   323

Definition at line 308 of file ansi_c_y.tab.h.

◆ TOK_ATOMIC_TYPE_QUALIFIER

#define TOK_ATOMIC_TYPE_QUALIFIER   406

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

◆ TOK_ATOMIC_TYPE_SPECIFIER

#define TOK_ATOMIC_TYPE_SPECIFIER   407

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

◆ TOK_AUTO

#define TOK_AUTO   258

Definition at line 243 of file ansi_c_y.tab.h.

◆ TOK_BINARY_TYPE_PREDICATE

#define TOK_BINARY_TYPE_PREDICATE   445

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

◆ TOK_BOOL

#define TOK_BOOL   259

Definition at line 244 of file ansi_c_y.tab.h.

◆ TOK_BREAK

#define TOK_BREAK   261

Definition at line 246 of file ansi_c_y.tab.h.

◆ TOK_BUILTIN_VA_ARG

#define TOK_BUILTIN_VA_ARG   366

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

◆ TOK_CASE

#define TOK_CASE   262

Definition at line 247 of file ansi_c_y.tab.h.

◆ TOK_CATCH

#define TOK_CATCH   417

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

◆ TOK_CDECL

#define TOK_CDECL   377

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

◆ TOK_CHAR

#define TOK_CHAR   263

Definition at line 248 of file ansi_c_y.tab.h.

◆ TOK_CHAR16_T

#define TOK_CHAR16_T   418

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

◆ TOK_CHAR32_T

#define TOK_CHAR32_T   419

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

◆ TOK_CHARACTER

#define TOK_CHARACTER   321

Definition at line 306 of file ansi_c_y.tab.h.

◆ TOK_CLANG_BUILTIN_CONVERTVECTOR

#define TOK_CLANG_BUILTIN_CONVERTVECTOR   368

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

◆ TOK_CLASS

#define TOK_CLASS   420

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

◆ TOK_CLRCALL

#define TOK_CLRCALL   380

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

◆ TOK_COMPLEX

#define TOK_COMPLEX   260

Definition at line 245 of file ansi_c_y.tab.h.

◆ TOK_CONST

#define TOK_CONST   264

Definition at line 249 of file ansi_c_y.tab.h.

◆ TOK_CONSTEXPR

#define TOK_CONSTEXPR   414

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

◆ TOK_CONTINUE

#define TOK_CONTINUE   265

Definition at line 250 of file ansi_c_y.tab.h.

◆ TOK_CPROVER_ATOMIC

#define TOK_CPROVER_ATOMIC   389

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

◆ TOK_CPROVER_BITVECTOR

#define TOK_CPROVER_BITVECTOR   386

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

◆ TOK_CPROVER_BOOL

#define TOK_CPROVER_BOOL   390

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

◆ TOK_CPROVER_CATCH

#define TOK_CPROVER_CATCH   392

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

◆ TOK_CPROVER_ENSURES

#define TOK_CPROVER_ENSURES   398

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

◆ TOK_CPROVER_FINALLY

#define TOK_CPROVER_FINALLY   394

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

◆ TOK_CPROVER_FIXEDBV

#define TOK_CPROVER_FIXEDBV   388

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

◆ TOK_CPROVER_FLOATBV

#define TOK_CPROVER_FLOATBV   387

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

◆ TOK_CPROVER_ID

#define TOK_CPROVER_ID   395

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

◆ TOK_CPROVER_LOOP_INVARIANT

#define TOK_CPROVER_LOOP_INVARIANT   396

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

◆ TOK_CPROVER_REQUIRES

#define TOK_CPROVER_REQUIRES   397

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

◆ TOK_CPROVER_THROW

#define TOK_CPROVER_THROW   391

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

◆ TOK_CPROVER_TRY

#define TOK_CPROVER_TRY   393

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

◆ TOK_CW_VAR_ARG_TYPEOF

#define TOK_CW_VAR_ARG_TYPEOF   365

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

◆ TOK_DECLTYPE

#define TOK_DECLTYPE   422

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

◆ TOK_DECR

#define TOK_DECR   297

Definition at line 282 of file ansi_c_y.tab.h.

◆ TOK_DEFAULT

#define TOK_DEFAULT   266

Definition at line 251 of file ansi_c_y.tab.h.

◆ TOK_DELETE

#define TOK_DELETE   421

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

◆ TOK_DIVASSIGN

#define TOK_DIVASSIGN   308

Definition at line 293 of file ansi_c_y.tab.h.

◆ TOK_DO

#define TOK_DO   267

Definition at line 252 of file ansi_c_y.tab.h.

◆ TOK_DOTPM

#define TOK_DOTPM   442

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

◆ TOK_DOUBLE

#define TOK_DOUBLE   268

Definition at line 253 of file ansi_c_y.tab.h.

◆ TOK_ELLIPSIS

#define TOK_ELLIPSIS   306

Definition at line 291 of file ansi_c_y.tab.h.

◆ TOK_ELSE

#define TOK_ELSE   269

Definition at line 254 of file ansi_c_y.tab.h.

◆ TOK_ENUM

#define TOK_ENUM   270

Definition at line 255 of file ansi_c_y.tab.h.

◆ TOK_EQ

#define TOK_EQ   302

Definition at line 287 of file ansi_c_y.tab.h.

◆ TOK_EQUIVALENT

#define TOK_EQUIVALENT   400

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

◆ TOK_EXISTS

#define TOK_EXISTS   382

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

◆ TOK_EXPLICIT

#define TOK_EXPLICIT   423

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

◆ TOK_EXTERN

#define TOK_EXTERN   271

Definition at line 256 of file ansi_c_y.tab.h.

◆ TOK_FALSE

#define TOK_FALSE   402

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

◆ TOK_FASTCALL

#define TOK_FASTCALL   379

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

◆ TOK_FLOAT

#define TOK_FLOAT   272

Definition at line 257 of file ansi_c_y.tab.h.

◆ TOK_FLOATING

#define TOK_FLOATING   320

Definition at line 305 of file ansi_c_y.tab.h.

◆ TOK_FOR

#define TOK_FOR   273

Definition at line 258 of file ansi_c_y.tab.h.

◆ TOK_FORALL

#define TOK_FORALL   381

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

◆ TOK_FRIEND

#define TOK_FRIEND   424

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

◆ TOK_GCC_ASM

#define TOK_GCC_ASM   344

Definition at line 329 of file ansi_c_y.tab.h.

◆ TOK_GCC_ASM_PAREN

#define TOK_GCC_ASM_PAREN   345

Definition at line 330 of file ansi_c_y.tab.h.

◆ TOK_GCC_ATTRIBUTE

#define TOK_GCC_ATTRIBUTE   346

Definition at line 331 of file ansi_c_y.tab.h.

◆ TOK_GCC_ATTRIBUTE_ALIAS

#define TOK_GCC_ATTRIBUTE_ALIAS   354

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

◆ TOK_GCC_ATTRIBUTE_ALIGNED

#define TOK_GCC_ATTRIBUTE_ALIGNED   347

Definition at line 332 of file ansi_c_y.tab.h.

◆ TOK_GCC_ATTRIBUTE_ALWAYS_INLINE

#define TOK_GCC_ATTRIBUTE_ALWAYS_INLINE   361

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

◆ TOK_GCC_ATTRIBUTE_CONSTRUCTOR

#define TOK_GCC_ATTRIBUTE_CONSTRUCTOR   357

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

◆ TOK_GCC_ATTRIBUTE_DESTRUCTOR

#define TOK_GCC_ATTRIBUTE_DESTRUCTOR   358

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

◆ TOK_GCC_ATTRIBUTE_FALLTHROUGH

#define TOK_GCC_ATTRIBUTE_FALLTHROUGH   359

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

◆ TOK_GCC_ATTRIBUTE_GNU_INLINE

#define TOK_GCC_ATTRIBUTE_GNU_INLINE   352

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

◆ TOK_GCC_ATTRIBUTE_MODE

#define TOK_GCC_ATTRIBUTE_MODE   351

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

◆ TOK_GCC_ATTRIBUTE_NORETURN

#define TOK_GCC_ATTRIBUTE_NORETURN   356

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

◆ TOK_GCC_ATTRIBUTE_PACKED

#define TOK_GCC_ATTRIBUTE_PACKED   349

Definition at line 334 of file ansi_c_y.tab.h.

◆ TOK_GCC_ATTRIBUTE_SECTION

#define TOK_GCC_ATTRIBUTE_SECTION   355

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

◆ TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION

#define TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION   348

Definition at line 333 of file ansi_c_y.tab.h.

◆ TOK_GCC_ATTRIBUTE_USED

#define TOK_GCC_ATTRIBUTE_USED   360

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

◆ TOK_GCC_ATTRIBUTE_VECTOR_SIZE

#define TOK_GCC_ATTRIBUTE_VECTOR_SIZE   350

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

◆ TOK_GCC_ATTRIBUTE_WEAK

#define TOK_GCC_ATTRIBUTE_WEAK   353

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

◆ TOK_GCC_AUTO_TYPE

#define TOK_GCC_AUTO_TYPE   331

Definition at line 316 of file ansi_c_y.tab.h.

◆ TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P

#define TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P   367

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

◆ TOK_GCC_DECIMAL128

#define TOK_GCC_DECIMAL128   343

Definition at line 328 of file ansi_c_y.tab.h.

◆ TOK_GCC_DECIMAL32

#define TOK_GCC_DECIMAL32   341

Definition at line 326 of file ansi_c_y.tab.h.

◆ TOK_GCC_DECIMAL64

#define TOK_GCC_DECIMAL64   342

Definition at line 327 of file ansi_c_y.tab.h.

◆ TOK_GCC_FLOAT128

#define TOK_GCC_FLOAT128   338

Definition at line 323 of file ansi_c_y.tab.h.

◆ TOK_GCC_FLOAT128X

#define TOK_GCC_FLOAT128X   339

Definition at line 324 of file ansi_c_y.tab.h.

◆ TOK_GCC_FLOAT16

#define TOK_GCC_FLOAT16   332

Definition at line 317 of file ansi_c_y.tab.h.

◆ TOK_GCC_FLOAT32

#define TOK_GCC_FLOAT32   333

Definition at line 318 of file ansi_c_y.tab.h.

◆ TOK_GCC_FLOAT32X

#define TOK_GCC_FLOAT32X   334

Definition at line 319 of file ansi_c_y.tab.h.

◆ TOK_GCC_FLOAT64

#define TOK_GCC_FLOAT64   336

Definition at line 321 of file ansi_c_y.tab.h.

◆ TOK_GCC_FLOAT64X

#define TOK_GCC_FLOAT64X   337

Definition at line 322 of file ansi_c_y.tab.h.

◆ TOK_GCC_FLOAT80

#define TOK_GCC_FLOAT80   335

Definition at line 320 of file ansi_c_y.tab.h.

◆ TOK_GCC_INT128

#define TOK_GCC_INT128   340

Definition at line 325 of file ansi_c_y.tab.h.

◆ TOK_GCC_LABEL

#define TOK_GCC_LABEL   362

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

◆ TOK_GE

#define TOK_GE   301

Definition at line 286 of file ansi_c_y.tab.h.

◆ TOK_GENERIC

#define TOK_GENERIC   408

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

◆ TOK_GOTO

#define TOK_GOTO   274

Definition at line 259 of file ansi_c_y.tab.h.

◆ TOK_IDENTIFIER

#define TOK_IDENTIFIER   317

Definition at line 302 of file ansi_c_y.tab.h.

◆ TOK_IF

#define TOK_IF   275

Definition at line 260 of file ansi_c_y.tab.h.

◆ TOK_IMAG

#define TOK_IMAG   404

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

◆ TOK_IMAGINARY

#define TOK_IMAGINARY   409

Definition at line 394 of file ansi_c_y.tab.h.

◆ TOK_IMPLIES

#define TOK_IMPLIES   399

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

◆ TOK_INCR

#define TOK_INCR   296

Definition at line 281 of file ansi_c_y.tab.h.

◆ TOK_INLINE

#define TOK_INLINE   276

Definition at line 261 of file ansi_c_y.tab.h.

◆ TOK_INT

#define TOK_INT   277

Definition at line 262 of file ansi_c_y.tab.h.

◆ TOK_INT16

#define TOK_INT16   325

Definition at line 310 of file ansi_c_y.tab.h.

◆ TOK_INT32

#define TOK_INT32   326

Definition at line 311 of file ansi_c_y.tab.h.

◆ TOK_INT64

#define TOK_INT64   327

Definition at line 312 of file ansi_c_y.tab.h.

◆ TOK_INT8

#define TOK_INT8   324

Definition at line 309 of file ansi_c_y.tab.h.

◆ TOK_INTEGER

#define TOK_INTEGER   319

Definition at line 304 of file ansi_c_y.tab.h.

◆ TOK_INTERFACE

#define TOK_INTERFACE   376

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

◆ TOK_LE

#define TOK_LE   300

Definition at line 285 of file ansi_c_y.tab.h.

◆ TOK_LONG

#define TOK_LONG   278

Definition at line 263 of file ansi_c_y.tab.h.

◆ TOK_MINUSASSIGN

#define TOK_MINUSASSIGN   311

Definition at line 296 of file ansi_c_y.tab.h.

◆ TOK_MODASSIGN

#define TOK_MODASSIGN   309

Definition at line 294 of file ansi_c_y.tab.h.

◆ TOK_MSC_ASM

#define TOK_MSC_ASM   363

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

◆ TOK_MSC_BASED

#define TOK_MSC_BASED   364

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

◆ TOK_MSC_DECLSPEC

#define TOK_MSC_DECLSPEC   375

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

◆ TOK_MSC_EXCEPT

#define TOK_MSC_EXCEPT   373

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

◆ TOK_MSC_FINALLY

#define TOK_MSC_FINALLY   372

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

◆ TOK_MSC_IF_EXISTS

#define TOK_MSC_IF_EXISTS   447

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

◆ TOK_MSC_IF_NOT_EXISTS

#define TOK_MSC_IF_NOT_EXISTS   448

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

◆ TOK_MSC_LEAVE

#define TOK_MSC_LEAVE   374

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

◆ TOK_MSC_TRY

#define TOK_MSC_TRY   371

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

◆ TOK_MSC_UUIDOF

#define TOK_MSC_UUIDOF   446

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

◆ TOK_MULTASSIGN

#define TOK_MULTASSIGN   307

Definition at line 292 of file ansi_c_y.tab.h.

◆ TOK_MUTABLE

#define TOK_MUTABLE   425

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

◆ TOK_NAMESPACE

#define TOK_NAMESPACE   426

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

◆ TOK_NE

#define TOK_NE   303

Definition at line 288 of file ansi_c_y.tab.h.

◆ TOK_NEW

#define TOK_NEW   427

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

◆ TOK_NOEXCEPT

#define TOK_NOEXCEPT   428

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

◆ TOK_NORETURN

#define TOK_NORETURN   410

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

◆ TOK_NULLPTR

#define TOK_NULLPTR   413

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

◆ TOK_OFFSETOF

#define TOK_OFFSETOF   369

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

◆ TOK_OPERATOR

#define TOK_OPERATOR   429

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

◆ TOK_ORASSIGN

#define TOK_ORASSIGN   316

Definition at line 301 of file ansi_c_y.tab.h.

◆ TOK_OROR

#define TOK_OROR   305

Definition at line 290 of file ansi_c_y.tab.h.

◆ TOK_PLUSASSIGN

#define TOK_PLUSASSIGN   310

Definition at line 295 of file ansi_c_y.tab.h.

◆ TOK_PRIVATE

#define TOK_PRIVATE   430

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

◆ TOK_PROTECTED

#define TOK_PROTECTED   431

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

◆ TOK_PTR32

#define TOK_PTR32   328

Definition at line 313 of file ansi_c_y.tab.h.

◆ TOK_PTR64

#define TOK_PTR64   329

Definition at line 314 of file ansi_c_y.tab.h.

◆ TOK_PUBLIC

#define TOK_PUBLIC   432

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

◆ TOK_REAL

#define TOK_REAL   403

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

◆ TOK_REGISTER

#define TOK_REGISTER   279

Definition at line 264 of file ansi_c_y.tab.h.

◆ TOK_RESTRICT

#define TOK_RESTRICT   280

Definition at line 265 of file ansi_c_y.tab.h.

◆ TOK_RETURN

#define TOK_RETURN   281

Definition at line 266 of file ansi_c_y.tab.h.

◆ TOK_SCANNER_EOF

#define TOK_SCANNER_EOF   416

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

◆ TOK_SCANNER_ERROR

#define TOK_SCANNER_ERROR   415

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

◆ TOK_SCOPE

#define TOK_SCOPE   441

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

◆ TOK_SHIFTLEFT

#define TOK_SHIFTLEFT   298

Definition at line 283 of file ansi_c_y.tab.h.

◆ TOK_SHIFTRIGHT

#define TOK_SHIFTRIGHT   299

Definition at line 284 of file ansi_c_y.tab.h.

◆ TOK_SHLASSIGN

#define TOK_SHLASSIGN   312

Definition at line 297 of file ansi_c_y.tab.h.

◆ TOK_SHORT

#define TOK_SHORT   282

Definition at line 267 of file ansi_c_y.tab.h.

◆ TOK_SHRASSIGN

#define TOK_SHRASSIGN   313

Definition at line 298 of file ansi_c_y.tab.h.

◆ TOK_SIGNED

#define TOK_SIGNED   283

Definition at line 268 of file ansi_c_y.tab.h.

◆ TOK_SIZEOF

#define TOK_SIZEOF   284

Definition at line 269 of file ansi_c_y.tab.h.

◆ TOK_STATIC

#define TOK_STATIC   285

Definition at line 270 of file ansi_c_y.tab.h.

◆ TOK_STATIC_ASSERT

#define TOK_STATIC_ASSERT   411

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

◆ TOK_STDCALL

#define TOK_STDCALL   378

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

◆ TOK_STRING

#define TOK_STRING   322

Definition at line 307 of file ansi_c_y.tab.h.

◆ TOK_STRUCT

#define TOK_STRUCT   286

Definition at line 271 of file ansi_c_y.tab.h.

◆ TOK_SWITCH

#define TOK_SWITCH   287

Definition at line 272 of file ansi_c_y.tab.h.

◆ TOK_TEMPLATE

#define TOK_TEMPLATE   433

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

◆ TOK_THIS

#define TOK_THIS   434

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

◆ TOK_THREAD_LOCAL

#define TOK_THREAD_LOCAL   412

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

◆ TOK_THROW

#define TOK_THROW   435

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

◆ TOK_TRUE

#define TOK_TRUE   401

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

◆ TOK_TRY

#define TOK_TRY   438

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

◆ TOK_TYPEDEF

#define TOK_TYPEDEF   288

Definition at line 273 of file ansi_c_y.tab.h.

◆ TOK_TYPEDEFNAME

#define TOK_TYPEDEFNAME   318

Definition at line 303 of file ansi_c_y.tab.h.

◆ TOK_TYPEID

#define TOK_TYPEID   436

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

◆ TOK_TYPENAME

#define TOK_TYPENAME   437

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

◆ TOK_TYPEOF

#define TOK_TYPEOF   330

Definition at line 315 of file ansi_c_y.tab.h.

◆ TOK_UNARY_TYPE_PREDICATE

#define TOK_UNARY_TYPE_PREDICATE   444

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

◆ TOK_UNDERLYING_TYPE

#define TOK_UNDERLYING_TYPE   449

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

◆ TOK_UNION

#define TOK_UNION   289

Definition at line 274 of file ansi_c_y.tab.h.

◆ TOK_UNSIGNED

#define TOK_UNSIGNED   290

Definition at line 275 of file ansi_c_y.tab.h.

◆ TOK_USING

#define TOK_USING   439

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

◆ TOK_VIRTUAL

#define TOK_VIRTUAL   440

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

◆ TOK_VOID

#define TOK_VOID   291

Definition at line 276 of file ansi_c_y.tab.h.

◆ TOK_VOLATILE

#define TOK_VOLATILE   292

Definition at line 277 of file ansi_c_y.tab.h.

◆ TOK_WCHAR_T

#define TOK_WCHAR_T   293

Definition at line 278 of file ansi_c_y.tab.h.

◆ TOK_WHILE

#define TOK_WHILE   294

Definition at line 279 of file ansi_c_y.tab.h.

◆ TOK_XORASSIGN

#define TOK_XORASSIGN   315

Definition at line 300 of file ansi_c_y.tab.h.

◆ YYDEBUG

#define YYDEBUG   0

Definition at line 37 of file ansi_c_y.tab.h.

◆ YYSTYPE_IS_DECLARED

#define YYSTYPE_IS_DECLARED   1

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

◆ YYSTYPE_IS_TRIVIAL

#define YYSTYPE_IS_TRIVIAL   1

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

◆ YYTOKENTYPE

#define YYTOKENTYPE

Definition at line 45 of file ansi_c_y.tab.h.

Typedef Documentation

◆ YYSTYPE

typedef int YYSTYPE

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

Enumeration Type Documentation

◆ yytokentype

Enumerator
TOK_AUTO 
TOK_BOOL 
TOK_COMPLEX 
TOK_BREAK 
TOK_CASE 
TOK_CHAR 
TOK_CONST 
TOK_CONTINUE 
TOK_DEFAULT 
TOK_DO 
TOK_DOUBLE 
TOK_ELSE 
TOK_ENUM 
TOK_EXTERN 
TOK_FLOAT 
TOK_FOR 
TOK_GOTO 
TOK_IF 
TOK_INLINE 
TOK_INT 
TOK_LONG 
TOK_REGISTER 
TOK_RESTRICT 
TOK_RETURN 
TOK_SHORT 
TOK_SIGNED 
TOK_SIZEOF 
TOK_STATIC 
TOK_STRUCT 
TOK_SWITCH 
TOK_TYPEDEF 
TOK_UNION 
TOK_UNSIGNED 
TOK_VOID 
TOK_VOLATILE 
TOK_WCHAR_T 
TOK_WHILE 
TOK_ARROW 
TOK_INCR 
TOK_DECR 
TOK_SHIFTLEFT 
TOK_SHIFTRIGHT 
TOK_LE 
TOK_GE 
TOK_EQ 
TOK_NE 
TOK_ANDAND 
TOK_OROR 
TOK_ELLIPSIS 
TOK_MULTASSIGN 
TOK_DIVASSIGN 
TOK_MODASSIGN 
TOK_PLUSASSIGN 
TOK_MINUSASSIGN 
TOK_SHLASSIGN 
TOK_SHRASSIGN 
TOK_ANDASSIGN 
TOK_XORASSIGN 
TOK_ORASSIGN 
TOK_IDENTIFIER 
TOK_TYPEDEFNAME 
TOK_INTEGER 
TOK_FLOATING 
TOK_CHARACTER 
TOK_STRING 
TOK_ASM_STRING 
TOK_INT8 
TOK_INT16 
TOK_INT32 
TOK_INT64 
TOK_PTR32 
TOK_PTR64 
TOK_TYPEOF 
TOK_GCC_AUTO_TYPE 
TOK_GCC_FLOAT16 
TOK_GCC_FLOAT32 
TOK_GCC_FLOAT32X 
TOK_GCC_FLOAT80 
TOK_GCC_FLOAT64 
TOK_GCC_FLOAT64X 
TOK_GCC_FLOAT128 
TOK_GCC_FLOAT128X 
TOK_GCC_INT128 
TOK_GCC_DECIMAL32 
TOK_GCC_DECIMAL64 
TOK_GCC_DECIMAL128 
TOK_GCC_ASM 
TOK_GCC_ASM_PAREN 
TOK_GCC_ATTRIBUTE 
TOK_GCC_ATTRIBUTE_ALIGNED 
TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION 
TOK_GCC_ATTRIBUTE_PACKED 
TOK_GCC_ATTRIBUTE_VECTOR_SIZE 
TOK_GCC_ATTRIBUTE_MODE 
TOK_GCC_ATTRIBUTE_GNU_INLINE 
TOK_GCC_ATTRIBUTE_WEAK 
TOK_GCC_ATTRIBUTE_ALIAS 
TOK_GCC_ATTRIBUTE_SECTION 
TOK_GCC_ATTRIBUTE_NORETURN 
TOK_GCC_ATTRIBUTE_CONSTRUCTOR 
TOK_GCC_ATTRIBUTE_DESTRUCTOR 
TOK_GCC_ATTRIBUTE_FALLTHROUGH 
TOK_GCC_ATTRIBUTE_USED 
TOK_GCC_ATTRIBUTE_ALWAYS_INLINE 
TOK_GCC_LABEL 
TOK_MSC_ASM 
TOK_MSC_BASED 
TOK_CW_VAR_ARG_TYPEOF 
TOK_BUILTIN_VA_ARG 
TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P 
TOK_CLANG_BUILTIN_CONVERTVECTOR 
TOK_OFFSETOF 
TOK_ALIGNOF 
TOK_MSC_TRY 
TOK_MSC_FINALLY 
TOK_MSC_EXCEPT 
TOK_MSC_LEAVE 
TOK_MSC_DECLSPEC 
TOK_INTERFACE 
TOK_CDECL 
TOK_STDCALL 
TOK_FASTCALL 
TOK_CLRCALL 
TOK_FORALL 
TOK_EXISTS 
TOK_ACSL_FORALL 
TOK_ACSL_EXISTS 
TOK_ARRAY_OF 
TOK_CPROVER_BITVECTOR 
TOK_CPROVER_FLOATBV 
TOK_CPROVER_FIXEDBV 
TOK_CPROVER_ATOMIC 
TOK_CPROVER_BOOL 
TOK_CPROVER_THROW 
TOK_CPROVER_CATCH 
TOK_CPROVER_TRY 
TOK_CPROVER_FINALLY 
TOK_CPROVER_ID 
TOK_CPROVER_LOOP_INVARIANT 
TOK_CPROVER_REQUIRES 
TOK_CPROVER_ENSURES 
TOK_IMPLIES 
TOK_EQUIVALENT 
TOK_TRUE 
TOK_FALSE 
TOK_REAL 
TOK_IMAG 
TOK_ALIGNAS 
TOK_ATOMIC_TYPE_QUALIFIER 
TOK_ATOMIC_TYPE_SPECIFIER 
TOK_GENERIC 
TOK_IMAGINARY 
TOK_NORETURN 
TOK_STATIC_ASSERT 
TOK_THREAD_LOCAL 
TOK_NULLPTR 
TOK_CONSTEXPR 
TOK_SCANNER_ERROR 
TOK_SCANNER_EOF 
TOK_CATCH 
TOK_CHAR16_T 
TOK_CHAR32_T 
TOK_CLASS 
TOK_DELETE 
TOK_DECLTYPE 
TOK_EXPLICIT 
TOK_FRIEND 
TOK_MUTABLE 
TOK_NAMESPACE 
TOK_NEW 
TOK_NOEXCEPT 
TOK_OPERATOR 
TOK_PRIVATE 
TOK_PROTECTED 
TOK_PUBLIC 
TOK_TEMPLATE 
TOK_THIS 
TOK_THROW 
TOK_TYPEID 
TOK_TYPENAME 
TOK_TRY 
TOK_USING 
TOK_VIRTUAL 
TOK_SCOPE 
TOK_DOTPM 
TOK_ARROWPM 
TOK_UNARY_TYPE_PREDICATE 
TOK_BINARY_TYPE_PREDICATE 
TOK_MSC_UUIDOF 
TOK_MSC_IF_EXISTS 
TOK_MSC_IF_NOT_EXISTS 
TOK_UNDERLYING_TYPE 
TOK_SCANNER_ERROR 
TOK_NEWLINE 
TOK_PROCEDURE 
TOK_RETURNS 
TOK_TO 
TOK_THROWS 
TOK_EVAL 
TOK_LABEL 
TOK_GOTO 
TOK_SKIP 
TOK_WITH 
TOK_NEW 
TOK_HAS_FIELD 
TOK_DELETE 
TOK_PROTO_FIELD 
TOK_PROTO_OBJ 
TOK_REF 
TOK_FIELD 
TOK_BASE 
TOK_TYPEOF 
TOK_NULL 
TOK_UNDEFINED 
TOK_EMPTY 
TOK_TRUE 
TOK_FALSE 
TOK_PROTO 
TOK_FID 
TOK_SCOPE 
TOK_CONSTRUCTID 
TOK_PRIMVALUE 
TOK_TARGETFUNCTION 
TOK_CLASS 
TOK_NUM_TO_STRING 
TOK_STRING_TO_NUM 
TOK_NUM_TO_INT32 
TOK_NUM_TO_UINT32 
TOK_MEMBER_REFERENCE 
TOK_VARIABLE_REFERENCE 
TOK_T_NULL 
TOK_T_UNDEFINED 
TOK_T_BOOLEAN 
TOK_T_STRING 
TOK_T_NUMBER 
TOK_T_BUILTIN_OBJECT 
TOK_T_USER_OBJECT 
TOK_T_OBJECT 
TOK_T_REFERENCE 
TOK_DEFEQ 
TOK_LEQ 
TOK_AND 
TOK_OR 
TOK_SUBTYPE_OF 
TOK_LEFT_SHIFT 
TOK_SIGNED_RIGHT_SHIFT 
TOK_UNSIGNED_RIGHT_SHIFT 
TOK_NOT 
TOK_IDENTIFIER 
TOK_FLOATING 
TOK_STRING 
TOK_BUILTIN_LOC 
TOK_BUILTIN_IDENTIFIER 
TOK_SPEC_IDENTIFIER 
TOK_STRING 
TOK_NUMBER 
TOK_TRUE 
TOK_FALSE 
TOK_NULL 
TOK_STRING 
TOK_NUMBER 
TOK_TRUE 
TOK_FALSE 
TOK_NULL 
STARTXMLDECL 
VERSION 
STARTPI 
ENDPI 
EQ 
SLASH 
CLOSE 
END 
ENCODING 
NAME 
VALUE 
DATA 
COMMENT 
START 
STARTXMLDECL 
VERSION 
STARTPI 
ENDPI 
EQ 
SLASH 
CLOSE 
END 
ENCODING 
NAME 
VALUE 
DATA 
COMMENT 
START 

Definition at line 46 of file ansi_c_y.tab.h.

Function Documentation

◆ yyansi_cparse()

Variable Documentation

◆ yyansi_clval

YYSTYPE yyansi_clval