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