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