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