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