Go to the documentation of this file.
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_GCC_ATTRIBUTE_WEAK
#define TOK_MSC_FORCEINLINE
#define TOK_CPROVER_FLOATBV
#define TOK_CPROVER_BITVECTOR
#define TOK_MSC_IF_NOT_EXISTS
#define TOK_CPROVER_LOOP_INVARIANT
#define TOK_GCC_ATTRIBUTE_SECTION
#define TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P
#define TOK_GCC_FLOAT128X
#define TOK_GCC_ATTRIBUTE_ALIGNED
#define TOK_ATOMIC_TYPE_QUALIFIER
#define TOK_GCC_ATTRIBUTE_FALLTHROUGH
#define TOK_BUILTIN_VA_ARG
#define TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION
#define TOK_CPROVER_ENSURES
#define TOK_GCC_ATTRIBUTE_GNU_INLINE
#define TOK_CPROVER_CATCH
#define TOK_GCC_DECIMAL32
#define TOK_GCC_ATTRIBUTE_DESTRUCTOR
#define TOK_GCC_AUTO_TYPE
#define TOK_GCC_ATTRIBUTE_VECTOR_SIZE
#define TOK_GCC_ATTRIBUTE_CONSTRUCTOR
#define TOK_GCC_ATTRIBUTE_ALIAS
#define TOK_CPROVER_ATOMIC
#define TOK_STATIC_ASSERT
#define TOK_CW_VAR_ARG_TYPEOF
#define TOK_GCC_ATTRIBUTE_USED
#define TOK_GCC_ATTRIBUTE_PACKED
#define TOK_GCC_ATTRIBUTE
#define TOK_CLANG_BUILTIN_CONVERTVECTOR
#define TOK_SCANNER_ERROR
#define TOK_CPROVER_REQUIRES
#define TOK_GCC_DECIMAL64
#define TOK_GCC_ATTRIBUTE_NORETURN
#define TOK_UNDERLYING_TYPE
#define TOK_ATOMIC_TYPE_SPECIFIER
#define TOK_UNARY_TYPE_PREDICATE
#define TOK_CPROVER_FINALLY
#define TOK_MSC_IF_EXISTS
#define TOK_GCC_ASM_PAREN
#define TOK_BINARY_TYPE_PREDICATE
#define TOK_CPROVER_FIXEDBV
#define TOK_CPROVER_THROW
#define TOK_GCC_DECIMAL128
#define TOK_GCC_ATTRIBUTE_MODE