37 #ifndef YY_YYANSI_C_ANSI_C_Y_TAB_HPP_INCLUDED 38 # define YY_YYANSI_C_ANSI_C_Y_TAB_HPP_INCLUDED 44 extern int yyansi_cdebug;
251 #define TOK_COMPLEX 260 252 #define TOK_BREAK 261 255 #define TOK_CONST 264 256 #define TOK_CONTINUE 265 257 #define TOK_DEFAULT 266 259 #define TOK_DOUBLE 268 262 #define TOK_EXTERN 271 263 #define TOK_FLOAT 272 267 #define TOK_INLINE 276 270 #define TOK_REGISTER 279 271 #define TOK_RESTRICT 280 272 #define TOK_RETURN 281 273 #define TOK_SHORT 282 274 #define TOK_SIGNED 283 275 #define TOK_SIZEOF 284 276 #define TOK_STATIC 285 277 #define TOK_STRUCT 286 278 #define TOK_SWITCH 287 279 #define TOK_TYPEDEF 288 280 #define TOK_UNION 289 281 #define TOK_UNSIGNED 290 283 #define TOK_VOLATILE 292 284 #define TOK_WCHAR_T 293 285 #define TOK_WHILE 294 286 #define TOK_ARROW 295 289 #define TOK_SHIFTLEFT 298 290 #define TOK_SHIFTRIGHT 299 295 #define TOK_ANDAND 304 297 #define TOK_ELLIPSIS 306 298 #define TOK_MULTASSIGN 307 299 #define TOK_DIVASSIGN 308 300 #define TOK_MODASSIGN 309 301 #define TOK_PLUSASSIGN 310 302 #define TOK_MINUSASSIGN 311 303 #define TOK_SHLASSIGN 312 304 #define TOK_SHRASSIGN 313 305 #define TOK_ANDASSIGN 314 306 #define TOK_XORASSIGN 315 307 #define TOK_ORASSIGN 316 308 #define TOK_IDENTIFIER 317 309 #define TOK_TYPEDEFNAME 318 310 #define TOK_INTEGER 319 311 #define TOK_FLOATING 320 312 #define TOK_CHARACTER 321 313 #define TOK_STRING 322 314 #define TOK_ASM_STRING 323 316 #define TOK_INT16 325 317 #define TOK_INT32 326 318 #define TOK_INT64 327 319 #define TOK_PTR32 328 320 #define TOK_PTR64 329 321 #define TOK_TYPEOF 330 322 #define TOK_GCC_AUTO_TYPE 331 323 #define TOK_GCC_FLOAT16 332 324 #define TOK_GCC_FLOAT32 333 325 #define TOK_GCC_FLOAT32X 334 326 #define TOK_GCC_FLOAT80 335 327 #define TOK_GCC_FLOAT64 336 328 #define TOK_GCC_FLOAT64X 337 329 #define TOK_GCC_FLOAT128 338 330 #define TOK_GCC_FLOAT128X 339 331 #define TOK_GCC_INT128 340 332 #define TOK_GCC_DECIMAL32 341 333 #define TOK_GCC_DECIMAL64 342 334 #define TOK_GCC_DECIMAL128 343 335 #define TOK_GCC_ASM 344 336 #define TOK_GCC_ASM_PAREN 345 337 #define TOK_GCC_ATTRIBUTE 346 338 #define TOK_GCC_ATTRIBUTE_ALIGNED 347 339 #define TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION 348 340 #define TOK_GCC_ATTRIBUTE_PACKED 349 341 #define TOK_GCC_ATTRIBUTE_VECTOR_SIZE 350 342 #define TOK_GCC_ATTRIBUTE_MODE 351 343 #define TOK_GCC_ATTRIBUTE_GNU_INLINE 352 344 #define TOK_GCC_ATTRIBUTE_WEAK 353 345 #define TOK_GCC_ATTRIBUTE_ALIAS 354 346 #define TOK_GCC_ATTRIBUTE_SECTION 355 347 #define TOK_GCC_ATTRIBUTE_NORETURN 356 348 #define TOK_GCC_ATTRIBUTE_CONSTRUCTOR 357 349 #define TOK_GCC_ATTRIBUTE_DESTRUCTOR 358 350 #define TOK_GCC_ATTRIBUTE_FALLTHROUGH 359 351 #define TOK_GCC_ATTRIBUTE_USED 360 352 #define TOK_GCC_LABEL 361 353 #define TOK_MSC_ASM 362 354 #define TOK_MSC_BASED 363 355 #define TOK_CW_VAR_ARG_TYPEOF 364 356 #define TOK_BUILTIN_VA_ARG 365 357 #define TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P 366 358 #define TOK_CLANG_BUILTIN_CONVERTVECTOR 367 359 #define TOK_OFFSETOF 368 360 #define TOK_ALIGNOF 369 361 #define TOK_MSC_TRY 370 362 #define TOK_MSC_FINALLY 371 363 #define TOK_MSC_EXCEPT 372 364 #define TOK_MSC_LEAVE 373 365 #define TOK_MSC_DECLSPEC 374 366 #define TOK_MSC_FORCEINLINE 375 367 #define TOK_INTERFACE 376 368 #define TOK_CDECL 377 369 #define TOK_STDCALL 378 370 #define TOK_FASTCALL 379 371 #define TOK_CLRCALL 380 372 #define TOK_FORALL 381 373 #define TOK_EXISTS 382 374 #define TOK_ACSL_FORALL 383 375 #define TOK_ACSL_EXISTS 384 376 #define TOK_ACSL_LET 385 377 #define TOK_ARRAY_OF 386 378 #define TOK_CPROVER_BITVECTOR 387 379 #define TOK_CPROVER_FLOATBV 388 380 #define TOK_CPROVER_FIXEDBV 389 381 #define TOK_CPROVER_ATOMIC 390 382 #define TOK_CPROVER_BOOL 391 383 #define TOK_CPROVER_THROW 392 384 #define TOK_CPROVER_CATCH 393 385 #define TOK_CPROVER_TRY 394 386 #define TOK_CPROVER_FINALLY 395 387 #define TOK_CPROVER_ID 396 388 #define TOK_CPROVER_LOOP_INVARIANT 397 389 #define TOK_CPROVER_REQUIRES 398 390 #define TOK_CPROVER_ENSURES 399 391 #define TOK_IMPLIES 400 392 #define TOK_EQUIVALENT 401 393 #define TOK_XORXOR 402 395 #define TOK_FALSE 404 398 #define TOK_ALIGNAS 407 399 #define TOK_ATOMIC_TYPE_QUALIFIER 408 400 #define TOK_ATOMIC_TYPE_SPECIFIER 409 401 #define TOK_GENERIC 410 402 #define TOK_IMAGINARY 411 403 #define TOK_NORETURN 412 404 #define TOK_STATIC_ASSERT 413 405 #define TOK_THREAD_LOCAL 414 406 #define TOK_NULLPTR 415 407 #define TOK_CONSTEXPR 416 408 #define TOK_SCANNER_ERROR 417 409 #define TOK_SCANNER_EOF 418 410 #define TOK_CATCH 419 411 #define TOK_CHAR16_T 420 412 #define TOK_CHAR32_T 421 413 #define TOK_CLASS 422 414 #define TOK_DELETE 423 415 #define TOK_DECLTYPE 424 416 #define TOK_EXPLICIT 425 417 #define TOK_FRIEND 426 418 #define TOK_MUTABLE 427 419 #define TOK_NAMESPACE 428 421 #define TOK_NOEXCEPT 430 422 #define TOK_OPERATOR 431 423 #define TOK_PRIVATE 432 424 #define TOK_PROTECTED 433 425 #define TOK_PUBLIC 434 426 #define TOK_TEMPLATE 435 428 #define TOK_THROW 437 429 #define TOK_TYPEID 438 430 #define TOK_TYPENAME 439 432 #define TOK_USING 441 433 #define TOK_VIRTUAL 442 434 #define TOK_SCOPE 443 435 #define TOK_DOTPM 444 436 #define TOK_ARROWPM 445 437 #define TOK_UNARY_TYPE_PREDICATE 446 438 #define TOK_BINARY_TYPE_PREDICATE 447 439 #define TOK_MSC_UUIDOF 448 440 #define TOK_MSC_IF_EXISTS 449 441 #define TOK_MSC_IF_NOT_EXISTS 450 442 #define TOK_UNDERLYING_TYPE 451 445 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED 447 # define YYSTYPE_IS_TRIVIAL 1 448 # define YYSTYPE_IS_DECLARED 1
#define TOK_CW_VAR_ARG_TYPEOF
#define TOK_GCC_ATTRIBUTE_USED
#define TOK_GCC_ATTRIBUTE_MODE
#define TOK_BINARY_TYPE_PREDICATE
#define TOK_GCC_ATTRIBUTE_PACKED
#define TOK_GCC_ATTRIBUTE_SECTION
#define TOK_GCC_ATTRIBUTE
#define TOK_GCC_ATTRIBUTE_WEAK
#define TOK_CLANG_BUILTIN_CONVERTVECTOR
#define TOK_GCC_AUTO_TYPE
#define TOK_GCC_DECIMAL32
#define TOK_GCC_ATTRIBUTE_CONSTRUCTOR
#define TOK_GCC_ATTRIBUTE_GNU_INLINE
#define TOK_GCC_ATTRIBUTE_ALIGNED
#define TOK_GCC_FLOAT128X
#define TOK_GCC_ATTRIBUTE_VECTOR_SIZE
#define TOK_MSC_FORCEINLINE
#define TOK_UNARY_TYPE_PREDICATE
#define TOK_ATOMIC_TYPE_SPECIFIER
#define TOK_MSC_IF_NOT_EXISTS
#define TOK_CPROVER_THROW
#define TOK_GCC_ASM_PAREN
#define TOK_CPROVER_REQUIRES
#define TOK_GCC_DECIMAL128
#define TOK_GCC_ATTRIBUTE_DESTRUCTOR
#define TOK_CPROVER_ATOMIC
#define TOK_CPROVER_FINALLY
#define TOK_CPROVER_LOOP_INVARIANT
#define TOK_SCANNER_ERROR
#define TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION
#define TOK_GCC_DECIMAL64
#define TOK_ATOMIC_TYPE_QUALIFIER
#define TOK_UNDERLYING_TYPE
#define TOK_GCC_ATTRIBUTE_ALIAS
#define TOK_BUILTIN_VA_ARG
#define TOK_CPROVER_BITVECTOR
#define TOK_MSC_IF_EXISTS
#define TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P
#define TOK_CPROVER_ENSURES
#define TOK_CPROVER_FIXEDBV
#define TOK_CPROVER_CATCH
#define TOK_CPROVER_FLOATBV
#define TOK_GCC_ATTRIBUTE_FALLTHROUGH
#define TOK_GCC_ATTRIBUTE_NORETURN
#define TOK_STATIC_ASSERT