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