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