cprover
ansi_c_y.tab.h
Go to the documentation of this file.
1 /* A Bison parser, made by GNU Bison 3.4.1. */
2 
3 /* Bison interface for Yacc-like parsers in C
4 
5  Copyright (C) 1984, 1989-1990, 2000-2015, 2018-2019 Free Software Foundation,
6  Inc.
7 
8  This program is free software: you can redistribute it and/or modify
9  it under the terms of the GNU General Public License as published by
10  the Free Software Foundation, either version 3 of the License, or
11  (at your option) any later version.
12 
13  This program is distributed in the hope that it will be useful,
14  but WITHOUT ANY WARRANTY; without even the implied warranty of
15  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16  GNU General Public License for more details.
17 
18  You should have received a copy of the GNU General Public License
19  along with this program. If not, see <http://www.gnu.org/licenses/>. */
20 
21 /* As a special exception, you may create a larger work that contains
22  part or all of the Bison parser skeleton and distribute that work
23  under terms of your choice, so long as that work isn't itself a
24  parser generator using the skeleton or a modified version thereof
25  as a parser skeleton. Alternatively, if you modify or redistribute
26  the parser skeleton itself, you may (at your option) remove this
27  special exception, which will cause the skeleton and the resulting
28  Bison output files to be licensed under the GNU General Public
29  License without this special exception.
30 
31  This special exception was added by the Free Software Foundation in
32  version 2.2 of Bison. */
33 
34 /* Undocumented macros, especially those whose name start with YY_,
35  are private implementation details. Do not rely on them. */
36 
37 #ifndef YY_YYANSI_C_ANSI_C_Y_TAB_HPP_INCLUDED
38 # define YY_YYANSI_C_ANSI_C_Y_TAB_HPP_INCLUDED
39 /* Debug traces. */
40 #ifndef YYDEBUG
41 # define YYDEBUG 0
42 #endif
43 #if YYDEBUG
44 extern int yyansi_cdebug;
45 #endif
46 
47 /* Token type. */
48 #ifndef YYTOKENTYPE
49 # define YYTOKENTYPE
51  {
52  TOK_AUTO = 258,
53  TOK_BOOL = 259,
54  TOK_COMPLEX = 260,
55  TOK_BREAK = 261,
56  TOK_CASE = 262,
57  TOK_CHAR = 263,
58  TOK_CONST = 264,
59  TOK_CONTINUE = 265,
60  TOK_DEFAULT = 266,
61  TOK_DO = 267,
62  TOK_DOUBLE = 268,
63  TOK_ELSE = 269,
64  TOK_ENUM = 270,
65  TOK_EXTERN = 271,
66  TOK_FLOAT = 272,
67  TOK_FOR = 273,
68  TOK_GOTO = 274,
69  TOK_IF = 275,
70  TOK_INLINE = 276,
71  TOK_INT = 277,
72  TOK_LONG = 278,
73  TOK_REGISTER = 279,
74  TOK_RESTRICT = 280,
75  TOK_RETURN = 281,
76  TOK_SHORT = 282,
77  TOK_SIGNED = 283,
78  TOK_SIZEOF = 284,
79  TOK_STATIC = 285,
80  TOK_STRUCT = 286,
81  TOK_SWITCH = 287,
82  TOK_TYPEDEF = 288,
83  TOK_UNION = 289,
84  TOK_UNSIGNED = 290,
85  TOK_VOID = 291,
86  TOK_VOLATILE = 292,
87  TOK_WCHAR_T = 293,
88  TOK_WHILE = 294,
89  TOK_ARROW = 295,
90  TOK_INCR = 296,
91  TOK_DECR = 297,
94  TOK_LE = 300,
95  TOK_GE = 301,
96  TOK_EQ = 302,
97  TOK_NE = 303,
98  TOK_ANDAND = 304,
99  TOK_OROR = 305,
113  TOK_INTEGER = 319,
116  TOK_STRING = 322,
118  TOK_INT8 = 324,
119  TOK_INT16 = 325,
120  TOK_INT32 = 326,
121  TOK_INT64 = 327,
122  TOK_PTR32 = 328,
123  TOK_PTR64 = 329,
124  TOK_TYPEOF = 330,
138  TOK_GCC_ASM = 344,
156  TOK_MSC_ASM = 362,
163  TOK_ALIGNOF = 369,
164  TOK_MSC_TRY = 370,
171  TOK_CDECL = 377,
172  TOK_STDCALL = 378,
174  TOK_CLRCALL = 380,
175  TOK_FORALL = 381,
176  TOK_EXISTS = 382,
194  TOK_IMPLIES = 400,
196  TOK_XORXOR = 402,
197  TOK_TRUE = 403,
198  TOK_FALSE = 404,
199  TOK_REAL = 405,
200  TOK_IMAG = 406,
201  TOK_ALIGNAS = 407,
204  TOK_GENERIC = 410,
209  TOK_NULLPTR = 415,
213  TOK_CATCH = 419,
216  TOK_CLASS = 422,
217  TOK_DELETE = 423,
220  TOK_FRIEND = 426,
221  TOK_MUTABLE = 427,
223  TOK_NEW = 429,
226  TOK_PRIVATE = 432,
228  TOK_PUBLIC = 434,
230  TOK_THIS = 436,
231  TOK_THROW = 437,
232  TOK_TYPEID = 438,
234  TOK_TRY = 440,
235  TOK_USING = 441,
236  TOK_VIRTUAL = 442,
237  TOK_SCOPE = 443,
238  TOK_DOTPM = 444,
239  TOK_ARROWPM = 445,
246  };
247 #endif
248 /* Tokens. */
249 #define TOK_AUTO 258
250 #define TOK_BOOL 259
251 #define TOK_COMPLEX 260
252 #define TOK_BREAK 261
253 #define TOK_CASE 262
254 #define TOK_CHAR 263
255 #define TOK_CONST 264
256 #define TOK_CONTINUE 265
257 #define TOK_DEFAULT 266
258 #define TOK_DO 267
259 #define TOK_DOUBLE 268
260 #define TOK_ELSE 269
261 #define TOK_ENUM 270
262 #define TOK_EXTERN 271
263 #define TOK_FLOAT 272
264 #define TOK_FOR 273
265 #define TOK_GOTO 274
266 #define TOK_IF 275
267 #define TOK_INLINE 276
268 #define TOK_INT 277
269 #define TOK_LONG 278
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
282 #define TOK_VOID 291
283 #define TOK_VOLATILE 292
284 #define TOK_WCHAR_T 293
285 #define TOK_WHILE 294
286 #define TOK_ARROW 295
287 #define TOK_INCR 296
288 #define TOK_DECR 297
289 #define TOK_SHIFTLEFT 298
290 #define TOK_SHIFTRIGHT 299
291 #define TOK_LE 300
292 #define TOK_GE 301
293 #define TOK_EQ 302
294 #define TOK_NE 303
295 #define TOK_ANDAND 304
296 #define TOK_OROR 305
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
315 #define TOK_INT8 324
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
394 #define TOK_TRUE 403
395 #define TOK_FALSE 404
396 #define TOK_REAL 405
397 #define TOK_IMAG 406
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
420 #define TOK_NEW 429
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
427 #define TOK_THIS 436
428 #define TOK_THROW 437
429 #define TOK_TYPEID 438
430 #define TOK_TYPENAME 439
431 #define TOK_TRY 440
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
443 
444 /* Value type. */
445 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
446 typedef int YYSTYPE;
447 # define YYSTYPE_IS_TRIVIAL 1
448 # define YYSTYPE_IS_DECLARED 1
449 #endif
450 
451 
452 extern YYSTYPE yyansi_clval;
453 
454 int yyansi_cparse (void);
455 
456 #endif /* !YY_YYANSI_C_ANSI_C_Y_TAB_HPP_INCLUDED */
TOK_TRUE
#define TOK_TRUE
Definition: ansi_c_y.tab.h:394
TOK_FRIEND
#define TOK_FRIEND
Definition: ansi_c_y.tab.h:417
TOK_SHIFTLEFT
#define TOK_SHIFTLEFT
Definition: ansi_c_y.tab.h:289
TOK_VOID
#define TOK_VOID
Definition: ansi_c_y.tab.h:282
TOK_DECR
#define TOK_DECR
Definition: ansi_c_y.tab.h:288
TOK_ACSL_EXISTS
#define TOK_ACSL_EXISTS
Definition: ansi_c_y.tab.h:375
TOK_GCC_ATTRIBUTE_WEAK
#define TOK_GCC_ATTRIBUTE_WEAK
Definition: ansi_c_y.tab.h:344
TOK_MSC_FORCEINLINE
#define TOK_MSC_FORCEINLINE
Definition: ansi_c_y.tab.h:366
TOK_PROTECTED
#define TOK_PROTECTED
Definition: ansi_c_y.tab.h:424
TOK_SWITCH
#define TOK_SWITCH
Definition: ansi_c_y.tab.h:278
TOK_CPROVER_FLOATBV
#define TOK_CPROVER_FLOATBV
Definition: ansi_c_y.tab.h:379
TOK_REGISTER
#define TOK_REGISTER
Definition: ansi_c_y.tab.h:270
TOK_INCR
#define TOK_INCR
Definition: ansi_c_y.tab.h:287
TOK_ARROW
#define TOK_ARROW
Definition: ansi_c_y.tab.h:286
TOK_FORALL
#define TOK_FORALL
Definition: ansi_c_y.tab.h:372
TOK_CPROVER_BITVECTOR
#define TOK_CPROVER_BITVECTOR
Definition: ansi_c_y.tab.h:378
TOK_NEW
#define TOK_NEW
Definition: ansi_c_y.tab.h:420
TOK_MODASSIGN
#define TOK_MODASSIGN
Definition: ansi_c_y.tab.h:300
TOK_MSC_IF_NOT_EXISTS
#define TOK_MSC_IF_NOT_EXISTS
Definition: ansi_c_y.tab.h:441
TOK_TEMPLATE
#define TOK_TEMPLATE
Definition: ansi_c_y.tab.h:426
TOK_DELETE
#define TOK_DELETE
Definition: ansi_c_y.tab.h:414
TOK_CPROVER_LOOP_INVARIANT
#define TOK_CPROVER_LOOP_INVARIANT
Definition: ansi_c_y.tab.h:388
TOK_THROW
#define TOK_THROW
Definition: ansi_c_y.tab.h:428
TOK_MSC_FINALLY
#define TOK_MSC_FINALLY
Definition: ansi_c_y.tab.h:362
TOK_GCC_ATTRIBUTE_SECTION
#define TOK_GCC_ATTRIBUTE_SECTION
Definition: ansi_c_y.tab.h:346
TOK_GCC_FLOAT128
#define TOK_GCC_FLOAT128
Definition: ansi_c_y.tab.h:329
TOK_OPERATOR
#define TOK_OPERATOR
Definition: ansi_c_y.tab.h:422
TOK_SCANNER_EOF
#define TOK_SCANNER_EOF
Definition: ansi_c_y.tab.h:409
TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P
#define TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P
Definition: ansi_c_y.tab.h:357
TOK_CHAR
#define TOK_CHAR
Definition: ansi_c_y.tab.h:254
TOK_TRY
#define TOK_TRY
Definition: ansi_c_y.tab.h:431
TOK_RETURN
#define TOK_RETURN
Definition: ansi_c_y.tab.h:272
TOK_SHLASSIGN
#define TOK_SHLASSIGN
Definition: ansi_c_y.tab.h:303
TOK_MSC_DECLSPEC
#define TOK_MSC_DECLSPEC
Definition: ansi_c_y.tab.h:365
TOK_XORASSIGN
#define TOK_XORASSIGN
Definition: ansi_c_y.tab.h:306
TOK_GCC_FLOAT128X
#define TOK_GCC_FLOAT128X
Definition: ansi_c_y.tab.h:330
yyansi_cparse
int yyansi_cparse(void)
Definition: ansi_c_y.tab.cpp:3469
TOK_GCC_ATTRIBUTE_ALIGNED
#define TOK_GCC_ATTRIBUTE_ALIGNED
Definition: ansi_c_y.tab.h:338
TOK_MSC_BASED
#define TOK_MSC_BASED
Definition: ansi_c_y.tab.h:354
TOK_DECLTYPE
#define TOK_DECLTYPE
Definition: ansi_c_y.tab.h:415
TOK_ATOMIC_TYPE_QUALIFIER
#define TOK_ATOMIC_TYPE_QUALIFIER
Definition: ansi_c_y.tab.h:399
TOK_INT32
#define TOK_INT32
Definition: ansi_c_y.tab.h:317
TOK_BOOL
#define TOK_BOOL
Definition: ansi_c_y.tab.h:250
TOK_IMAG
#define TOK_IMAG
Definition: ansi_c_y.tab.h:397
TOK_CONST
#define TOK_CONST
Definition: ansi_c_y.tab.h:255
TOK_GCC_ATTRIBUTE_FALLTHROUGH
#define TOK_GCC_ATTRIBUTE_FALLTHROUGH
Definition: ansi_c_y.tab.h:350
TOK_STATIC
#define TOK_STATIC
Definition: ansi_c_y.tab.h:276
TOK_BUILTIN_VA_ARG
#define TOK_BUILTIN_VA_ARG
Definition: ansi_c_y.tab.h:356
TOK_GENERIC
#define TOK_GENERIC
Definition: ansi_c_y.tab.h:401
TOK_CPROVER_TRY
#define TOK_CPROVER_TRY
Definition: ansi_c_y.tab.h:385
TOK_RESTRICT
#define TOK_RESTRICT
Definition: ansi_c_y.tab.h:271
TOK_THREAD_LOCAL
#define TOK_THREAD_LOCAL
Definition: ansi_c_y.tab.h:405
TOK_PRIVATE
#define TOK_PRIVATE
Definition: ansi_c_y.tab.h:423
TOK_EQUIVALENT
#define TOK_EQUIVALENT
Definition: ansi_c_y.tab.h:392
TOK_DEFAULT
#define TOK_DEFAULT
Definition: ansi_c_y.tab.h:257
TOK_GCC_ASM
#define TOK_GCC_ASM
Definition: ansi_c_y.tab.h:335
TOK_COMPLEX
#define TOK_COMPLEX
Definition: ansi_c_y.tab.h:251
TOK_GCC_FLOAT16
#define TOK_GCC_FLOAT16
Definition: ansi_c_y.tab.h:323
TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION
#define TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION
Definition: ansi_c_y.tab.h:339
TOK_VIRTUAL
#define TOK_VIRTUAL
Definition: ansi_c_y.tab.h:433
TOK_ACSL_LET
#define TOK_ACSL_LET
Definition: ansi_c_y.tab.h:376
TOK_MUTABLE
#define TOK_MUTABLE
Definition: ansi_c_y.tab.h:418
TOK_STRUCT
#define TOK_STRUCT
Definition: ansi_c_y.tab.h:277
TOK_CPROVER_ENSURES
#define TOK_CPROVER_ENSURES
Definition: ansi_c_y.tab.h:390
TOK_GCC_ATTRIBUTE_GNU_INLINE
#define TOK_GCC_ATTRIBUTE_GNU_INLINE
Definition: ansi_c_y.tab.h:343
TOK_ELLIPSIS
#define TOK_ELLIPSIS
Definition: ansi_c_y.tab.h:297
TOK_MINUSASSIGN
#define TOK_MINUSASSIGN
Definition: ansi_c_y.tab.h:302
YYSTYPE
Definition: xml_y.tab.cpp:166
TOK_CPROVER_CATCH
#define TOK_CPROVER_CATCH
Definition: ansi_c_y.tab.h:384
TOK_STDCALL
#define TOK_STDCALL
Definition: ansi_c_y.tab.h:369
TOK_OROR
#define TOK_OROR
Definition: ansi_c_y.tab.h:296
YYSTYPE
int YYSTYPE
Definition: ansi_c_y.tab.h:446
TOK_CATCH
#define TOK_CATCH
Definition: ansi_c_y.tab.h:410
TOK_UNION
#define TOK_UNION
Definition: ansi_c_y.tab.h:280
TOK_CONTINUE
#define TOK_CONTINUE
Definition: ansi_c_y.tab.h:256
TOK_PTR32
#define TOK_PTR32
Definition: ansi_c_y.tab.h:319
TOK_GCC_DECIMAL32
#define TOK_GCC_DECIMAL32
Definition: ansi_c_y.tab.h:332
TOK_REAL
#define TOK_REAL
Definition: ansi_c_y.tab.h:396
TOK_TYPEDEFNAME
#define TOK_TYPEDEFNAME
Definition: ansi_c_y.tab.h:309
TOK_GCC_ATTRIBUTE_DESTRUCTOR
#define TOK_GCC_ATTRIBUTE_DESTRUCTOR
Definition: ansi_c_y.tab.h:349
TOK_GCC_AUTO_TYPE
#define TOK_GCC_AUTO_TYPE
Definition: ansi_c_y.tab.h:322
TOK_VOLATILE
#define TOK_VOLATILE
Definition: ansi_c_y.tab.h:283
TOK_GCC_ATTRIBUTE_VECTOR_SIZE
#define TOK_GCC_ATTRIBUTE_VECTOR_SIZE
Definition: ansi_c_y.tab.h:341
TOK_DIVASSIGN
#define TOK_DIVASSIGN
Definition: ansi_c_y.tab.h:299
yytokentype
yytokentype
Definition: ansi_c_y.tab.h:50
TOK_CONSTEXPR
#define TOK_CONSTEXPR
Definition: ansi_c_y.tab.h:407
TOK_THIS
#define TOK_THIS
Definition: ansi_c_y.tab.h:427
TOK_GCC_ATTRIBUTE_CONSTRUCTOR
#define TOK_GCC_ATTRIBUTE_CONSTRUCTOR
Definition: ansi_c_y.tab.h:348
TOK_GCC_ATTRIBUTE_ALIAS
#define TOK_GCC_ATTRIBUTE_ALIAS
Definition: ansi_c_y.tab.h:345
TOK_DOTPM
#define TOK_DOTPM
Definition: ansi_c_y.tab.h:435
TOK_CPROVER_ATOMIC
#define TOK_CPROVER_ATOMIC
Definition: ansi_c_y.tab.h:381
TOK_STATIC_ASSERT
#define TOK_STATIC_ASSERT
Definition: ansi_c_y.tab.h:404
TOK_MSC_LEAVE
#define TOK_MSC_LEAVE
Definition: ansi_c_y.tab.h:364
TOK_UNSIGNED
#define TOK_UNSIGNED
Definition: ansi_c_y.tab.h:281
TOK_NE
#define TOK_NE
Definition: ansi_c_y.tab.h:294
TOK_GCC_FLOAT64X
#define TOK_GCC_FLOAT64X
Definition: ansi_c_y.tab.h:328
TOK_SHIFTRIGHT
#define TOK_SHIFTRIGHT
Definition: ansi_c_y.tab.h:290
TOK_CW_VAR_ARG_TYPEOF
#define TOK_CW_VAR_ARG_TYPEOF
Definition: ansi_c_y.tab.h:355
TOK_GCC_INT128
#define TOK_GCC_INT128
Definition: ansi_c_y.tab.h:331
TOK_DOUBLE
#define TOK_DOUBLE
Definition: ansi_c_y.tab.h:259
TOK_GOTO
#define TOK_GOTO
Definition: ansi_c_y.tab.h:265
TOK_GCC_FLOAT64
#define TOK_GCC_FLOAT64
Definition: ansi_c_y.tab.h:327
TOK_GCC_ATTRIBUTE_USED
#define TOK_GCC_ATTRIBUTE_USED
Definition: ansi_c_y.tab.h:351
TOK_ARROWPM
#define TOK_ARROWPM
Definition: ansi_c_y.tab.h:436
TOK_ENUM
#define TOK_ENUM
Definition: ansi_c_y.tab.h:261
TOK_TYPEOF
#define TOK_TYPEOF
Definition: ansi_c_y.tab.h:321
TOK_GCC_ATTRIBUTE_PACKED
#define TOK_GCC_ATTRIBUTE_PACKED
Definition: ansi_c_y.tab.h:340
TOK_GCC_ATTRIBUTE
#define TOK_GCC_ATTRIBUTE
Definition: ansi_c_y.tab.h:337
TOK_AUTO
#define TOK_AUTO
Definition: ansi_c_y.tab.h:249
TOK_TYPEDEF
#define TOK_TYPEDEF
Definition: ansi_c_y.tab.h:279
TOK_IMAGINARY
#define TOK_IMAGINARY
Definition: ansi_c_y.tab.h:402
TOK_ALIGNAS
#define TOK_ALIGNAS
Definition: ansi_c_y.tab.h:398
TOK_FALSE
#define TOK_FALSE
Definition: ansi_c_y.tab.h:395
TOK_CLANG_BUILTIN_CONVERTVECTOR
#define TOK_CLANG_BUILTIN_CONVERTVECTOR
Definition: ansi_c_y.tab.h:358
TOK_TYPENAME
#define TOK_TYPENAME
Definition: ansi_c_y.tab.h:430
TOK_FOR
#define TOK_FOR
Definition: ansi_c_y.tab.h:264
TOK_GE
#define TOK_GE
Definition: ansi_c_y.tab.h:292
TOK_DO
#define TOK_DO
Definition: ansi_c_y.tab.h:258
TOK_ELSE
#define TOK_ELSE
Definition: ansi_c_y.tab.h:260
TOK_CASE
#define TOK_CASE
Definition: ansi_c_y.tab.h:253
TOK_EXPLICIT
#define TOK_EXPLICIT
Definition: ansi_c_y.tab.h:416
TOK_INT8
#define TOK_INT8
Definition: ansi_c_y.tab.h:315
TOK_ANDAND
#define TOK_ANDAND
Definition: ansi_c_y.tab.h:295
TOK_SCOPE
#define TOK_SCOPE
Definition: ansi_c_y.tab.h:434
TOK_GCC_FLOAT32X
#define TOK_GCC_FLOAT32X
Definition: ansi_c_y.tab.h:325
TOK_INLINE
#define TOK_INLINE
Definition: ansi_c_y.tab.h:267
TOK_CLRCALL
#define TOK_CLRCALL
Definition: ansi_c_y.tab.h:371
TOK_IMPLIES
#define TOK_IMPLIES
Definition: ansi_c_y.tab.h:391
TOK_ACSL_FORALL
#define TOK_ACSL_FORALL
Definition: ansi_c_y.tab.h:374
TOK_NULLPTR
#define TOK_NULLPTR
Definition: ansi_c_y.tab.h:406
TOK_CHAR32_T
#define TOK_CHAR32_T
Definition: ansi_c_y.tab.h:412
TOK_INT64
#define TOK_INT64
Definition: ansi_c_y.tab.h:318
TOK_MULTASSIGN
#define TOK_MULTASSIGN
Definition: ansi_c_y.tab.h:298
TOK_EXISTS
#define TOK_EXISTS
Definition: ansi_c_y.tab.h:373
TOK_CHAR16_T
#define TOK_CHAR16_T
Definition: ansi_c_y.tab.h:411
TOK_ARRAY_OF
#define TOK_ARRAY_OF
Definition: ansi_c_y.tab.h:377
TOK_ALIGNOF
#define TOK_ALIGNOF
Definition: ansi_c_y.tab.h:360
TOK_CPROVER_ID
#define TOK_CPROVER_ID
Definition: ansi_c_y.tab.h:387
TOK_INT16
#define TOK_INT16
Definition: ansi_c_y.tab.h:316
TOK_BREAK
#define TOK_BREAK
Definition: ansi_c_y.tab.h:252
TOK_SCANNER_ERROR
#define TOK_SCANNER_ERROR
Definition: ansi_c_y.tab.h:408
TOK_OFFSETOF
#define TOK_OFFSETOF
Definition: ansi_c_y.tab.h:359
TOK_CPROVER_REQUIRES
#define TOK_CPROVER_REQUIRES
Definition: ansi_c_y.tab.h:389
TOK_GCC_DECIMAL64
#define TOK_GCC_DECIMAL64
Definition: ansi_c_y.tab.h:333
TOK_ANDASSIGN
#define TOK_ANDASSIGN
Definition: ansi_c_y.tab.h:305
TOK_ORASSIGN
#define TOK_ORASSIGN
Definition: ansi_c_y.tab.h:307
TOK_MSC_TRY
#define TOK_MSC_TRY
Definition: ansi_c_y.tab.h:361
TOK_CLASS
#define TOK_CLASS
Definition: ansi_c_y.tab.h:413
TOK_WCHAR_T
#define TOK_WCHAR_T
Definition: ansi_c_y.tab.h:284
TOK_USING
#define TOK_USING
Definition: ansi_c_y.tab.h:432
TOK_INTEGER
#define TOK_INTEGER
Definition: ansi_c_y.tab.h:310
TOK_CHARACTER
#define TOK_CHARACTER
Definition: ansi_c_y.tab.h:312
TOK_LONG
#define TOK_LONG
Definition: ansi_c_y.tab.h:269
TOK_EXTERN
#define TOK_EXTERN
Definition: ansi_c_y.tab.h:262
TOK_MSC_UUIDOF
#define TOK_MSC_UUIDOF
Definition: ansi_c_y.tab.h:439
TOK_GCC_ATTRIBUTE_NORETURN
#define TOK_GCC_ATTRIBUTE_NORETURN
Definition: ansi_c_y.tab.h:347
TOK_MSC_EXCEPT
#define TOK_MSC_EXCEPT
Definition: ansi_c_y.tab.h:363
TOK_LE
#define TOK_LE
Definition: ansi_c_y.tab.h:291
TOK_UNDERLYING_TYPE
#define TOK_UNDERLYING_TYPE
Definition: ansi_c_y.tab.h:442
TOK_GCC_FLOAT80
#define TOK_GCC_FLOAT80
Definition: ansi_c_y.tab.h:326
TOK_ATOMIC_TYPE_SPECIFIER
#define TOK_ATOMIC_TYPE_SPECIFIER
Definition: ansi_c_y.tab.h:400
TOK_MSC_ASM
#define TOK_MSC_ASM
Definition: ansi_c_y.tab.h:353
TOK_IF
#define TOK_IF
Definition: ansi_c_y.tab.h:266
TOK_CPROVER_BOOL
#define TOK_CPROVER_BOOL
Definition: ansi_c_y.tab.h:382
TOK_TYPEID
#define TOK_TYPEID
Definition: ansi_c_y.tab.h:429
TOK_ASM_STRING
#define TOK_ASM_STRING
Definition: ansi_c_y.tab.h:314
TOK_PLUSASSIGN
#define TOK_PLUSASSIGN
Definition: ansi_c_y.tab.h:301
TOK_UNARY_TYPE_PREDICATE
#define TOK_UNARY_TYPE_PREDICATE
Definition: ansi_c_y.tab.h:437
TOK_XORXOR
#define TOK_XORXOR
Definition: ansi_c_y.tab.h:393
TOK_NAMESPACE
#define TOK_NAMESPACE
Definition: ansi_c_y.tab.h:419
TOK_PUBLIC
#define TOK_PUBLIC
Definition: ansi_c_y.tab.h:425
TOK_CPROVER_FINALLY
#define TOK_CPROVER_FINALLY
Definition: ansi_c_y.tab.h:386
TOK_MSC_IF_EXISTS
#define TOK_MSC_IF_EXISTS
Definition: ansi_c_y.tab.h:440
TOK_INTERFACE
#define TOK_INTERFACE
Definition: ansi_c_y.tab.h:367
TOK_STRING
#define TOK_STRING
Definition: ansi_c_y.tab.h:313
TOK_GCC_ASM_PAREN
#define TOK_GCC_ASM_PAREN
Definition: ansi_c_y.tab.h:336
TOK_NOEXCEPT
#define TOK_NOEXCEPT
Definition: ansi_c_y.tab.h:421
TOK_FLOATING
#define TOK_FLOATING
Definition: ansi_c_y.tab.h:311
TOK_BINARY_TYPE_PREDICATE
#define TOK_BINARY_TYPE_PREDICATE
Definition: ansi_c_y.tab.h:438
TOK_SHORT
#define TOK_SHORT
Definition: ansi_c_y.tab.h:273
TOK_FLOAT
#define TOK_FLOAT
Definition: ansi_c_y.tab.h:263
TOK_SHRASSIGN
#define TOK_SHRASSIGN
Definition: ansi_c_y.tab.h:304
TOK_FASTCALL
#define TOK_FASTCALL
Definition: ansi_c_y.tab.h:370
TOK_CPROVER_FIXEDBV
#define TOK_CPROVER_FIXEDBV
Definition: ansi_c_y.tab.h:380
TOK_IDENTIFIER
#define TOK_IDENTIFIER
Definition: ansi_c_y.tab.h:308
TOK_CPROVER_THROW
#define TOK_CPROVER_THROW
Definition: ansi_c_y.tab.h:383
TOK_INT
#define TOK_INT
Definition: ansi_c_y.tab.h:268
TOK_GCC_DECIMAL128
#define TOK_GCC_DECIMAL128
Definition: ansi_c_y.tab.h:334
TOK_EQ
#define TOK_EQ
Definition: ansi_c_y.tab.h:293
TOK_CDECL
#define TOK_CDECL
Definition: ansi_c_y.tab.h:368
TOK_GCC_LABEL
#define TOK_GCC_LABEL
Definition: ansi_c_y.tab.h:352
yyansi_clval
YYSTYPE yyansi_clval
Definition: ansi_c_y.tab.cpp:3459
TOK_GCC_ATTRIBUTE_MODE
#define TOK_GCC_ATTRIBUTE_MODE
Definition: ansi_c_y.tab.h:342
TOK_WHILE
#define TOK_WHILE
Definition: ansi_c_y.tab.h:285
TOK_NORETURN
#define TOK_NORETURN
Definition: ansi_c_y.tab.h:403
TOK_PTR64
#define TOK_PTR64
Definition: ansi_c_y.tab.h:320
TOK_SIZEOF
#define TOK_SIZEOF
Definition: ansi_c_y.tab.h:275
TOK_GCC_FLOAT32
#define TOK_GCC_FLOAT32
Definition: ansi_c_y.tab.h:324
TOK_SIGNED
#define TOK_SIGNED
Definition: ansi_c_y.tab.h:274