cprover
ansi_c_y.tab.h
Go to the documentation of this file.
1 /* A Bison parser, made by GNU Bison 3.6.4. */
2 
3 /* Bison interface for Yacc-like parsers in C
4 
5  Copyright (C) 1984, 1989-1990, 2000-2015, 2018-2020 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 /* DO NOT RELY ON FEATURES THAT ARE NOT DOCUMENTED in the manual,
35  especially those whose name start with YY_ or yy_. They are
36  private implementation details that can be changed or removed. */
37 
38 #ifndef YY_YYANSI_C_ANSI_C_Y_TAB_H_INCLUDED
39 # define YY_YYANSI_C_ANSI_C_Y_TAB_H_INCLUDED
40 /* Debug traces. */
41 #ifndef YYDEBUG
42 # define YYDEBUG 0
43 #endif
44 #if YYDEBUG
45 extern int yyansi_cdebug;
46 #endif
47 
48 /* Token kinds. */
49 #ifndef YYTOKENTYPE
50 # define YYTOKENTYPE
52  {
53  YYEMPTY = -2,
54  YYEOF = 0, /* "end of file" */
55  YYerror = 256, /* error */
56  YYUNDEF = 257, /* "invalid token" */
57  TOK_AUTO = 258, /* "auto" */
58  TOK_BOOL = 259, /* "bool" */
59  TOK_COMPLEX = 260, /* "complex" */
60  TOK_BREAK = 261, /* "break" */
61  TOK_CASE = 262, /* "case" */
62  TOK_CHAR = 263, /* "char" */
63  TOK_CONST = 264, /* "const" */
64  TOK_CONTINUE = 265, /* "continue" */
65  TOK_DEFAULT = 266, /* "default" */
66  TOK_DO = 267, /* "do" */
67  TOK_DOUBLE = 268, /* "double" */
68  TOK_ELSE = 269, /* "else" */
69  TOK_ENUM = 270, /* "enum" */
70  TOK_EXTERN = 271, /* "extern" */
71  TOK_FLOAT = 272, /* "float" */
72  TOK_FOR = 273, /* "for" */
73  TOK_GOTO = 274, /* "goto" */
74  TOK_IF = 275, /* "if" */
75  TOK_INLINE = 276, /* "inline" */
76  TOK_INT = 277, /* "int" */
77  TOK_LONG = 278, /* "long" */
78  TOK_REGISTER = 279, /* "register" */
79  TOK_RESTRICT = 280, /* "restrict" */
80  TOK_RETURN = 281, /* "return" */
81  TOK_SHORT = 282, /* "short" */
82  TOK_SIGNED = 283, /* "signed" */
83  TOK_SIZEOF = 284, /* "sizeof" */
84  TOK_STATIC = 285, /* "static" */
85  TOK_STRUCT = 286, /* "struct" */
86  TOK_SWITCH = 287, /* "switch" */
87  TOK_TYPEDEF = 288, /* "typedef" */
88  TOK_UNION = 289, /* "union" */
89  TOK_UNSIGNED = 290, /* "unsigned" */
90  TOK_VOID = 291, /* "void" */
91  TOK_VOLATILE = 292, /* "volatile" */
92  TOK_WCHAR_T = 293, /* "wchar_t" */
93  TOK_WHILE = 294, /* "while" */
94  TOK_ARROW = 295, /* "->" */
95  TOK_INCR = 296, /* "++" */
96  TOK_DECR = 297, /* "--" */
97  TOK_SHIFTLEFT = 298, /* "<<" */
98  TOK_SHIFTRIGHT = 299, /* ">>" */
99  TOK_LE = 300, /* "<=" */
100  TOK_GE = 301, /* ">=" */
101  TOK_EQ = 302, /* "==" */
102  TOK_NE = 303, /* "!=" */
103  TOK_ANDAND = 304, /* "&&" */
104  TOK_OROR = 305, /* "||" */
105  TOK_ELLIPSIS = 306, /* "..." */
106  TOK_MULTASSIGN = 307, /* "*=" */
107  TOK_DIVASSIGN = 308, /* "/=" */
108  TOK_MODASSIGN = 309, /* "%=" */
109  TOK_PLUSASSIGN = 310, /* "+=" */
110  TOK_MINUSASSIGN = 311, /* "-=" */
111  TOK_SHLASSIGN = 312, /* "<<=" */
112  TOK_SHRASSIGN = 313, /* ">>=" */
113  TOK_ANDASSIGN = 314, /* "&=" */
114  TOK_XORASSIGN = 315, /* "^=" */
115  TOK_ORASSIGN = 316, /* "|=" */
116  TOK_IDENTIFIER = 317, /* TOK_IDENTIFIER */
117  TOK_TYPEDEFNAME = 318, /* TOK_TYPEDEFNAME */
118  TOK_INTEGER = 319, /* TOK_INTEGER */
119  TOK_FLOATING = 320, /* TOK_FLOATING */
120  TOK_CHARACTER = 321, /* TOK_CHARACTER */
121  TOK_STRING = 322, /* TOK_STRING */
122  TOK_ASM_STRING = 323, /* TOK_ASM_STRING */
123  TOK_INT8 = 324, /* "__int8" */
124  TOK_INT16 = 325, /* "__int16" */
125  TOK_INT32 = 326, /* "__int32" */
126  TOK_INT64 = 327, /* "__int64" */
127  TOK_PTR32 = 328, /* "__ptr32" */
128  TOK_PTR64 = 329, /* "__ptr64" */
129  TOK_TYPEOF = 330, /* "typeof" */
130  TOK_GCC_AUTO_TYPE = 331, /* "__auto_type" */
131  TOK_GCC_FLOAT16 = 332, /* "_Float16" */
132  TOK_GCC_FLOAT32 = 333, /* "_Float32" */
133  TOK_GCC_FLOAT32X = 334, /* "_Float32x" */
134  TOK_GCC_FLOAT80 = 335, /* "__float80" */
135  TOK_GCC_FLOAT64 = 336, /* "_Float64" */
136  TOK_GCC_FLOAT64X = 337, /* "_Float64x" */
137  TOK_GCC_FLOAT128 = 338, /* "_Float128" */
138  TOK_GCC_FLOAT128X = 339, /* "_Float128x" */
139  TOK_GCC_INT128 = 340, /* "__int128" */
140  TOK_GCC_DECIMAL32 = 341, /* "_Decimal32" */
141  TOK_GCC_DECIMAL64 = 342, /* "_Decimal64" */
142  TOK_GCC_DECIMAL128 = 343, /* "_Decimal128" */
143  TOK_GCC_ASM = 344, /* "__asm__" */
144  TOK_GCC_ASM_PAREN = 345, /* "__asm__ (with parentheses)" */
145  TOK_GCC_ATTRIBUTE = 346, /* "__attribute__" */
146  TOK_GCC_ATTRIBUTE_ALIGNED = 347, /* "aligned" */
147  TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION = 348, /* "transparent_union" */
148  TOK_GCC_ATTRIBUTE_PACKED = 349, /* "packed" */
149  TOK_GCC_ATTRIBUTE_VECTOR_SIZE = 350, /* "vector_size" */
150  TOK_GCC_ATTRIBUTE_MODE = 351, /* "mode" */
151  TOK_GCC_ATTRIBUTE_GNU_INLINE = 352, /* "__gnu_inline__" */
152  TOK_GCC_ATTRIBUTE_WEAK = 353, /* "weak" */
153  TOK_GCC_ATTRIBUTE_ALIAS = 354, /* "alias" */
154  TOK_GCC_ATTRIBUTE_SECTION = 355, /* "section" */
155  TOK_GCC_ATTRIBUTE_NORETURN = 356, /* "noreturn" */
156  TOK_GCC_ATTRIBUTE_CONSTRUCTOR = 357, /* "constructor" */
157  TOK_GCC_ATTRIBUTE_DESTRUCTOR = 358, /* "destructor" */
158  TOK_GCC_ATTRIBUTE_FALLTHROUGH = 359, /* "fallthrough" */
159  TOK_GCC_ATTRIBUTE_USED = 360, /* "used" */
160  TOK_GCC_LABEL = 361, /* "__label__" */
161  TOK_MSC_ASM = 362, /* "__asm" */
162  TOK_MSC_BASED = 363, /* "__based" */
163  TOK_CW_VAR_ARG_TYPEOF = 364, /* "_var_arg_typeof" */
164  TOK_BUILTIN_VA_ARG = 365, /* "__builtin_va_arg" */
165  TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P = 366, /* "__builtin_types_compatible_p" */
166  TOK_CLANG_BUILTIN_CONVERTVECTOR = 367, /* "__builtin_convertvector" */
167  TOK_OFFSETOF = 368, /* "__offsetof" */
168  TOK_ALIGNOF = 369, /* "__alignof__" */
169  TOK_MSC_TRY = 370, /* "__try" */
170  TOK_MSC_FINALLY = 371, /* "__finally" */
171  TOK_MSC_EXCEPT = 372, /* "__except" */
172  TOK_MSC_LEAVE = 373, /* "__leave" */
173  TOK_MSC_DECLSPEC = 374, /* "__declspec" */
174  TOK_MSC_FORCEINLINE = 375, /* "__forceinline" */
175  TOK_INTERFACE = 376, /* "__interface" */
176  TOK_CDECL = 377, /* "__cdecl" */
177  TOK_STDCALL = 378, /* "__stdcall" */
178  TOK_FASTCALL = 379, /* "__fastcall" */
179  TOK_CLRCALL = 380, /* "__clrcall" */
180  TOK_FORALL = 381, /* "forall" */
181  TOK_EXISTS = 382, /* "exists" */
182  TOK_ACSL_FORALL = 383, /* "\\forall" */
183  TOK_ACSL_EXISTS = 384, /* "\\exists" */
184  TOK_ACSL_LET = 385, /* "\\let" */
185  TOK_ARRAY_OF = 386, /* "array_of" */
186  TOK_CPROVER_BITVECTOR = 387, /* "__CPROVER_bitvector" */
187  TOK_CPROVER_FLOATBV = 388, /* "__CPROVER_floatbv" */
188  TOK_CPROVER_FIXEDBV = 389, /* "__CPROVER_fixedbv" */
189  TOK_CPROVER_ATOMIC = 390, /* "__CPROVER_atomic" */
190  TOK_CPROVER_BOOL = 391, /* "__CPROVER_bool" */
191  TOK_CPROVER_THROW = 392, /* "__CPROVER_throw" */
192  TOK_CPROVER_CATCH = 393, /* "__CPROVER_catch" */
193  TOK_CPROVER_TRY = 394, /* "__CPROVER_try" */
194  TOK_CPROVER_FINALLY = 395, /* "__CPROVER_finally" */
195  TOK_CPROVER_ID = 396, /* "__CPROVER_ID" */
196  TOK_CPROVER_LOOP_INVARIANT = 397, /* "__CPROVER_loop_invariant" */
197  TOK_CPROVER_REQUIRES = 398, /* "__CPROVER_requires" */
198  TOK_CPROVER_ENSURES = 399, /* "__CPROVER_ensures" */
199  TOK_IMPLIES = 400, /* "==>" */
200  TOK_EQUIVALENT = 401, /* "<==>" */
201  TOK_XORXOR = 402, /* "^^" */
202  TOK_TRUE = 403, /* "TRUE" */
203  TOK_FALSE = 404, /* "FALSE" */
204  TOK_REAL = 405, /* "__real__" */
205  TOK_IMAG = 406, /* "__imag__" */
206  TOK_ALIGNAS = 407, /* "_Alignas" */
207  TOK_ATOMIC_TYPE_QUALIFIER = 408, /* "_Atomic" */
208  TOK_ATOMIC_TYPE_SPECIFIER = 409, /* "_Atomic()" */
209  TOK_GENERIC = 410, /* "_Generic" */
210  TOK_IMAGINARY = 411, /* "_Imaginary" */
211  TOK_NORETURN = 412, /* "_Noreturn" */
212  TOK_STATIC_ASSERT = 413, /* "_Static_assert" */
213  TOK_THREAD_LOCAL = 414, /* "_Thread_local" */
214  TOK_NULLPTR = 415, /* "nullptr" */
215  TOK_CONSTEXPR = 416, /* "constexpr" */
216  TOK_SCANNER_ERROR = 417, /* TOK_SCANNER_ERROR */
217  TOK_SCANNER_EOF = 418, /* TOK_SCANNER_EOF */
218  TOK_CATCH = 419, /* "catch" */
219  TOK_CHAR16_T = 420, /* "char16_t" */
220  TOK_CHAR32_T = 421, /* "char32_t" */
221  TOK_CLASS = 422, /* "class" */
222  TOK_DELETE = 423, /* "delete" */
223  TOK_DECLTYPE = 424, /* "decltype" */
224  TOK_EXPLICIT = 425, /* "explicit" */
225  TOK_FRIEND = 426, /* "friend" */
226  TOK_MUTABLE = 427, /* "mutable" */
227  TOK_NAMESPACE = 428, /* "namespace" */
228  TOK_NEW = 429, /* "new" */
229  TOK_NOEXCEPT = 430, /* "noexcept" */
230  TOK_OPERATOR = 431, /* "operator" */
231  TOK_PRIVATE = 432, /* "private" */
232  TOK_PROTECTED = 433, /* "protected" */
233  TOK_PUBLIC = 434, /* "public" */
234  TOK_TEMPLATE = 435, /* "template" */
235  TOK_THIS = 436, /* "this" */
236  TOK_THROW = 437, /* "throw" */
237  TOK_TYPEID = 438, /* "typeid" */
238  TOK_TYPENAME = 439, /* "typename" */
239  TOK_TRY = 440, /* "try" */
240  TOK_USING = 441, /* "using" */
241  TOK_VIRTUAL = 442, /* "virtual" */
242  TOK_SCOPE = 443, /* "::" */
243  TOK_DOTPM = 444, /* ".*" */
244  TOK_ARROWPM = 445, /* "->*" */
245  TOK_UNARY_TYPE_PREDICATE = 446, /* TOK_UNARY_TYPE_PREDICATE */
246  TOK_BINARY_TYPE_PREDICATE = 447, /* TOK_BINARY_TYPE_PREDICATE */
247  TOK_MSC_UUIDOF = 448, /* "__uuidof" */
248  TOK_MSC_IF_EXISTS = 449, /* "__if_exists" */
249  TOK_MSC_IF_NOT_EXISTS = 450, /* "__if_not_exists" */
250  TOK_UNDERLYING_TYPE = 451 /* "__underlying_type" */
251  };
252  typedef enum yytokentype yytoken_kind_t;
253 #endif
254 
255 /* Value type. */
256 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
257 typedef int YYSTYPE;
258 # define YYSTYPE_IS_TRIVIAL 1
259 # define YYSTYPE_IS_DECLARED 1
260 #endif
261 
262 
263 extern YYSTYPE yyansi_clval;
264 
265 int yyansi_cparse (void);
266 
267 #endif /* !YY_YYANSI_C_ANSI_C_Y_TAB_H_INCLUDED */
TOK_GCC_LABEL
@ TOK_GCC_LABEL
Definition: ansi_c_y.tab.h:160
TOK_BUILTIN_VA_ARG
@ TOK_BUILTIN_VA_ARG
Definition: ansi_c_y.tab.h:164
TOK_WCHAR_T
@ TOK_WCHAR_T
Definition: ansi_c_y.tab.h:92
TOK_CPROVER_FINALLY
@ TOK_CPROVER_FINALLY
Definition: ansi_c_y.tab.h:194
TOK_FLOATING
@ TOK_FLOATING
Definition: ansi_c_y.tab.h:119
TOK_MSC_EXCEPT
@ TOK_MSC_EXCEPT
Definition: ansi_c_y.tab.h:171
TOK_CPROVER_LOOP_INVARIANT
@ TOK_CPROVER_LOOP_INVARIANT
Definition: ansi_c_y.tab.h:196
TOK_DEFAULT
@ TOK_DEFAULT
Definition: ansi_c_y.tab.h:65
TOK_SWITCH
@ TOK_SWITCH
Definition: ansi_c_y.tab.h:86
TOK_ATOMIC_TYPE_QUALIFIER
@ TOK_ATOMIC_TYPE_QUALIFIER
Definition: ansi_c_y.tab.h:207
TOK_GCC_ATTRIBUTE_CONSTRUCTOR
@ TOK_GCC_ATTRIBUTE_CONSTRUCTOR
Definition: ansi_c_y.tab.h:156
TOK_GCC_ASM_PAREN
@ TOK_GCC_ASM_PAREN
Definition: ansi_c_y.tab.h:144
TOK_PTR64
@ TOK_PTR64
Definition: ansi_c_y.tab.h:128
TOK_CPROVER_FLOATBV
@ TOK_CPROVER_FLOATBV
Definition: ansi_c_y.tab.h:187
TOK_BINARY_TYPE_PREDICATE
@ TOK_BINARY_TYPE_PREDICATE
Definition: ansi_c_y.tab.h:246
TOK_ENUM
@ TOK_ENUM
Definition: ansi_c_y.tab.h:69
TOK_CPROVER_ATOMIC
@ TOK_CPROVER_ATOMIC
Definition: ansi_c_y.tab.h:189
TOK_ASM_STRING
@ TOK_ASM_STRING
Definition: ansi_c_y.tab.h:122
TOK_GCC_ATTRIBUTE
@ TOK_GCC_ATTRIBUTE
Definition: ansi_c_y.tab.h:145
TOK_PROTECTED
@ TOK_PROTECTED
Definition: ansi_c_y.tab.h:232
TOK_CPROVER_THROW
@ TOK_CPROVER_THROW
Definition: ansi_c_y.tab.h:191
TOK_CPROVER_FIXEDBV
@ TOK_CPROVER_FIXEDBV
Definition: ansi_c_y.tab.h:188
TOK_IMPLIES
@ TOK_IMPLIES
Definition: ansi_c_y.tab.h:199
TOK_GCC_AUTO_TYPE
@ TOK_GCC_AUTO_TYPE
Definition: ansi_c_y.tab.h:130
TOK_USING
@ TOK_USING
Definition: ansi_c_y.tab.h:240
TOK_GE
@ TOK_GE
Definition: ansi_c_y.tab.h:100
TOK_SHLASSIGN
@ TOK_SHLASSIGN
Definition: ansi_c_y.tab.h:111
TOK_UNDERLYING_TYPE
@ TOK_UNDERLYING_TYPE
Definition: ansi_c_y.tab.h:250
TOK_GCC_DECIMAL128
@ TOK_GCC_DECIMAL128
Definition: ansi_c_y.tab.h:142
TOK_BREAK
@ TOK_BREAK
Definition: ansi_c_y.tab.h:60
TOK_GCC_ATTRIBUTE_NORETURN
@ TOK_GCC_ATTRIBUTE_NORETURN
Definition: ansi_c_y.tab.h:155
TOK_SHIFTLEFT
@ TOK_SHIFTLEFT
Definition: ansi_c_y.tab.h:97
TOK_TYPENAME
@ TOK_TYPENAME
Definition: ansi_c_y.tab.h:238
yyansi_cparse
int yyansi_cparse(void)
Definition: ansi_c_y.tab.cpp:3639
TOK_DECR
@ TOK_DECR
Definition: ansi_c_y.tab.h:96
TOK_GCC_FLOAT32
@ TOK_GCC_FLOAT32
Definition: ansi_c_y.tab.h:132
TOK_IF
@ TOK_IF
Definition: ansi_c_y.tab.h:74
TOK_ELSE
@ TOK_ELSE
Definition: ansi_c_y.tab.h:68
TOK_TYPEDEFNAME
@ TOK_TYPEDEFNAME
Definition: ansi_c_y.tab.h:117
TOK_CHAR16_T
@ TOK_CHAR16_T
Definition: ansi_c_y.tab.h:219
TOK_NEW
@ TOK_NEW
Definition: ansi_c_y.tab.h:228
TOK_CHAR32_T
@ TOK_CHAR32_T
Definition: ansi_c_y.tab.h:220
TOK_IDENTIFIER
@ TOK_IDENTIFIER
Definition: ansi_c_y.tab.h:116
TOK_FRIEND
@ TOK_FRIEND
Definition: ansi_c_y.tab.h:225
TOK_CATCH
@ TOK_CATCH
Definition: ansi_c_y.tab.h:218
TOK_DECLTYPE
@ TOK_DECLTYPE
Definition: ansi_c_y.tab.h:223
TOK_SCANNER_ERROR
@ TOK_SCANNER_ERROR
Definition: ansi_c_y.tab.h:216
TOK_TYPEID
@ TOK_TYPEID
Definition: ansi_c_y.tab.h:237
TOK_MSC_LEAVE
@ TOK_MSC_LEAVE
Definition: ansi_c_y.tab.h:172
TOK_EXISTS
@ TOK_EXISTS
Definition: ansi_c_y.tab.h:181
TOK_GCC_ATTRIBUTE_VECTOR_SIZE
@ TOK_GCC_ATTRIBUTE_VECTOR_SIZE
Definition: ansi_c_y.tab.h:149
TOK_GCC_FLOAT80
@ TOK_GCC_FLOAT80
Definition: ansi_c_y.tab.h:134
TOK_COMPLEX
@ TOK_COMPLEX
Definition: ansi_c_y.tab.h:59
TOK_ANDASSIGN
@ TOK_ANDASSIGN
Definition: ansi_c_y.tab.h:113
TOK_GOTO
@ TOK_GOTO
Definition: ansi_c_y.tab.h:73
TOK_GCC_FLOAT16
@ TOK_GCC_FLOAT16
Definition: ansi_c_y.tab.h:131
TOK_INTEGER
@ TOK_INTEGER
Definition: ansi_c_y.tab.h:118
TOK_ORASSIGN
@ TOK_ORASSIGN
Definition: ansi_c_y.tab.h:115
TOK_FASTCALL
@ TOK_FASTCALL
Definition: ansi_c_y.tab.h:178
TOK_FALSE
@ TOK_FALSE
Definition: ansi_c_y.tab.h:203
TOK_NE
@ TOK_NE
Definition: ansi_c_y.tab.h:102
TOK_TEMPLATE
@ TOK_TEMPLATE
Definition: ansi_c_y.tab.h:234
YYEMPTY
@ YYEMPTY
Definition: ansi_c_y.tab.h:53
TOK_GCC_ATTRIBUTE_ALIGNED
@ TOK_GCC_ATTRIBUTE_ALIGNED
Definition: ansi_c_y.tab.h:146
TOK_STDCALL
@ TOK_STDCALL
Definition: ansi_c_y.tab.h:177
TOK_MSC_TRY
@ TOK_MSC_TRY
Definition: ansi_c_y.tab.h:169
TOK_LONG
@ TOK_LONG
Definition: ansi_c_y.tab.h:77
TOK_STATIC_ASSERT
@ TOK_STATIC_ASSERT
Definition: ansi_c_y.tab.h:212
TOK_PLUSASSIGN
@ TOK_PLUSASSIGN
Definition: ansi_c_y.tab.h:109
TOK_CASE
@ TOK_CASE
Definition: ansi_c_y.tab.h:61
TOK_WHILE
@ TOK_WHILE
Definition: ansi_c_y.tab.h:93
TOK_MSC_BASED
@ TOK_MSC_BASED
Definition: ansi_c_y.tab.h:162
TOK_MSC_FINALLY
@ TOK_MSC_FINALLY
Definition: ansi_c_y.tab.h:170
YYSTYPE
Definition: xml_y.tab.cpp:170
TOK_THROW
@ TOK_THROW
Definition: ansi_c_y.tab.h:236
YYSTYPE
int YYSTYPE
Definition: ansi_c_y.tab.h:257
TOK_CW_VAR_ARG_TYPEOF
@ TOK_CW_VAR_ARG_TYPEOF
Definition: ansi_c_y.tab.h:163
TOK_GCC_ATTRIBUTE_WEAK
@ TOK_GCC_ATTRIBUTE_WEAK
Definition: ansi_c_y.tab.h:152
TOK_UNSIGNED
@ TOK_UNSIGNED
Definition: ansi_c_y.tab.h:89
TOK_MULTASSIGN
@ TOK_MULTASSIGN
Definition: ansi_c_y.tab.h:106
TOK_NORETURN
@ TOK_NORETURN
Definition: ansi_c_y.tab.h:211
TOK_INTERFACE
@ TOK_INTERFACE
Definition: ansi_c_y.tab.h:175
TOK_SCOPE
@ TOK_SCOPE
Definition: ansi_c_y.tab.h:242
TOK_INT
@ TOK_INT
Definition: ansi_c_y.tab.h:76
TOK_UNARY_TYPE_PREDICATE
@ TOK_UNARY_TYPE_PREDICATE
Definition: ansi_c_y.tab.h:245
TOK_CDECL
@ TOK_CDECL
Definition: ansi_c_y.tab.h:176
TOK_GCC_FLOAT64
@ TOK_GCC_FLOAT64
Definition: ansi_c_y.tab.h:135
TOK_EQ
@ TOK_EQ
Definition: ansi_c_y.tab.h:101
TOK_ALIGNAS
@ TOK_ALIGNAS
Definition: ansi_c_y.tab.h:206
TOK_TYPEDEF
@ TOK_TYPEDEF
Definition: ansi_c_y.tab.h:87
yytokentype
yytokentype
Definition: ansi_c_y.tab.h:52
TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P
@ TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P
Definition: ansi_c_y.tab.h:165
TOK_ALIGNOF
@ TOK_ALIGNOF
Definition: ansi_c_y.tab.h:168
TOK_CPROVER_BOOL
@ TOK_CPROVER_BOOL
Definition: ansi_c_y.tab.h:190
TOK_LE
@ TOK_LE
Definition: ansi_c_y.tab.h:99
TOK_FLOAT
@ TOK_FLOAT
Definition: ansi_c_y.tab.h:71
TOK_DOTPM
@ TOK_DOTPM
Definition: ansi_c_y.tab.h:243
TOK_EXPLICIT
@ TOK_EXPLICIT
Definition: ansi_c_y.tab.h:224
TOK_THIS
@ TOK_THIS
Definition: ansi_c_y.tab.h:235
TOK_MINUSASSIGN
@ TOK_MINUSASSIGN
Definition: ansi_c_y.tab.h:110
TOK_TRY
@ TOK_TRY
Definition: ansi_c_y.tab.h:239
TOK_GCC_ATTRIBUTE_PACKED
@ TOK_GCC_ATTRIBUTE_PACKED
Definition: ansi_c_y.tab.h:148
TOK_GCC_FLOAT128
@ TOK_GCC_FLOAT128
Definition: ansi_c_y.tab.h:137
TOK_ELLIPSIS
@ TOK_ELLIPSIS
Definition: ansi_c_y.tab.h:105
TOK_MODASSIGN
@ TOK_MODASSIGN
Definition: ansi_c_y.tab.h:108
TOK_STRING
@ TOK_STRING
Definition: ansi_c_y.tab.h:121
TOK_SIGNED
@ TOK_SIGNED
Definition: ansi_c_y.tab.h:82
TOK_ATOMIC_TYPE_SPECIFIER
@ TOK_ATOMIC_TYPE_SPECIFIER
Definition: ansi_c_y.tab.h:208
TOK_CONST
@ TOK_CONST
Definition: ansi_c_y.tab.h:63
TOK_XORXOR
@ TOK_XORXOR
Definition: ansi_c_y.tab.h:201
TOK_CONTINUE
@ TOK_CONTINUE
Definition: ansi_c_y.tab.h:64
TOK_GCC_DECIMAL32
@ TOK_GCC_DECIMAL32
Definition: ansi_c_y.tab.h:140
TOK_INLINE
@ TOK_INLINE
Definition: ansi_c_y.tab.h:75
TOK_GCC_ATTRIBUTE_ALIAS
@ TOK_GCC_ATTRIBUTE_ALIAS
Definition: ansi_c_y.tab.h:153
TOK_FORALL
@ TOK_FORALL
Definition: ansi_c_y.tab.h:180
TOK_ACSL_LET
@ TOK_ACSL_LET
Definition: ansi_c_y.tab.h:184
TOK_GENERIC
@ TOK_GENERIC
Definition: ansi_c_y.tab.h:209
TOK_RESTRICT
@ TOK_RESTRICT
Definition: ansi_c_y.tab.h:79
TOK_NAMESPACE
@ TOK_NAMESPACE
Definition: ansi_c_y.tab.h:227
TOK_SHRASSIGN
@ TOK_SHRASSIGN
Definition: ansi_c_y.tab.h:112
TOK_DELETE
@ TOK_DELETE
Definition: ansi_c_y.tab.h:222
TOK_UNION
@ TOK_UNION
Definition: ansi_c_y.tab.h:88
TOK_GCC_ASM
@ TOK_GCC_ASM
Definition: ansi_c_y.tab.h:143
TOK_SCANNER_EOF
@ TOK_SCANNER_EOF
Definition: ansi_c_y.tab.h:217
TOK_MUTABLE
@ TOK_MUTABLE
Definition: ansi_c_y.tab.h:226
TOK_ARRAY_OF
@ TOK_ARRAY_OF
Definition: ansi_c_y.tab.h:185
TOK_INT64
@ TOK_INT64
Definition: ansi_c_y.tab.h:126
TOK_GCC_ATTRIBUTE_USED
@ TOK_GCC_ATTRIBUTE_USED
Definition: ansi_c_y.tab.h:159
TOK_MSC_ASM
@ TOK_MSC_ASM
Definition: ansi_c_y.tab.h:161
TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION
@ TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION
Definition: ansi_c_y.tab.h:147
TOK_CONSTEXPR
@ TOK_CONSTEXPR
Definition: ansi_c_y.tab.h:215
TOK_CPROVER_CATCH
@ TOK_CPROVER_CATCH
Definition: ansi_c_y.tab.h:192
TOK_OPERATOR
@ TOK_OPERATOR
Definition: ansi_c_y.tab.h:230
TOK_TRUE
@ TOK_TRUE
Definition: ansi_c_y.tab.h:202
TOK_DOUBLE
@ TOK_DOUBLE
Definition: ansi_c_y.tab.h:67
TOK_MSC_IF_NOT_EXISTS
@ TOK_MSC_IF_NOT_EXISTS
Definition: ansi_c_y.tab.h:249
TOK_CLRCALL
@ TOK_CLRCALL
Definition: ansi_c_y.tab.h:179
TOK_GCC_INT128
@ TOK_GCC_INT128
Definition: ansi_c_y.tab.h:139
TOK_XORASSIGN
@ TOK_XORASSIGN
Definition: ansi_c_y.tab.h:114
TOK_GCC_ATTRIBUTE_MODE
@ TOK_GCC_ATTRIBUTE_MODE
Definition: ansi_c_y.tab.h:150
TOK_ARROWPM
@ TOK_ARROWPM
Definition: ansi_c_y.tab.h:244
TOK_GCC_ATTRIBUTE_DESTRUCTOR
@ TOK_GCC_ATTRIBUTE_DESTRUCTOR
Definition: ansi_c_y.tab.h:157
TOK_BOOL
@ TOK_BOOL
Definition: ansi_c_y.tab.h:58
TOK_VIRTUAL
@ TOK_VIRTUAL
Definition: ansi_c_y.tab.h:241
TOK_NOEXCEPT
@ TOK_NOEXCEPT
Definition: ansi_c_y.tab.h:229
TOK_STRUCT
@ TOK_STRUCT
Definition: ansi_c_y.tab.h:85
TOK_REGISTER
@ TOK_REGISTER
Definition: ansi_c_y.tab.h:78
TOK_ANDAND
@ TOK_ANDAND
Definition: ansi_c_y.tab.h:103
TOK_GCC_DECIMAL64
@ TOK_GCC_DECIMAL64
Definition: ansi_c_y.tab.h:141
TOK_STATIC
@ TOK_STATIC
Definition: ansi_c_y.tab.h:84
TOK_REAL
@ TOK_REAL
Definition: ansi_c_y.tab.h:204
TOK_ACSL_EXISTS
@ TOK_ACSL_EXISTS
Definition: ansi_c_y.tab.h:183
TOK_GCC_ATTRIBUTE_SECTION
@ TOK_GCC_ATTRIBUTE_SECTION
Definition: ansi_c_y.tab.h:154
TOK_CPROVER_BITVECTOR
@ TOK_CPROVER_BITVECTOR
Definition: ansi_c_y.tab.h:186
TOK_PRIVATE
@ TOK_PRIVATE
Definition: ansi_c_y.tab.h:231
TOK_IMAG
@ TOK_IMAG
Definition: ansi_c_y.tab.h:205
TOK_ARROW
@ TOK_ARROW
Definition: ansi_c_y.tab.h:94
TOK_TYPEOF
@ TOK_TYPEOF
Definition: ansi_c_y.tab.h:129
TOK_FOR
@ TOK_FOR
Definition: ansi_c_y.tab.h:72
TOK_EQUIVALENT
@ TOK_EQUIVALENT
Definition: ansi_c_y.tab.h:200
TOK_DIVASSIGN
@ TOK_DIVASSIGN
Definition: ansi_c_y.tab.h:107
TOK_INCR
@ TOK_INCR
Definition: ansi_c_y.tab.h:95
TOK_MSC_IF_EXISTS
@ TOK_MSC_IF_EXISTS
Definition: ansi_c_y.tab.h:248
YYEOF
@ YYEOF
Definition: ansi_c_y.tab.h:54
YYerror
@ YYerror
Definition: ansi_c_y.tab.h:55
TOK_VOLATILE
@ TOK_VOLATILE
Definition: ansi_c_y.tab.h:91
TOK_MSC_DECLSPEC
@ TOK_MSC_DECLSPEC
Definition: ansi_c_y.tab.h:173
TOK_MSC_FORCEINLINE
@ TOK_MSC_FORCEINLINE
Definition: ansi_c_y.tab.h:174
TOK_GCC_ATTRIBUTE_FALLTHROUGH
@ TOK_GCC_ATTRIBUTE_FALLTHROUGH
Definition: ansi_c_y.tab.h:158
TOK_ACSL_FORALL
@ TOK_ACSL_FORALL
Definition: ansi_c_y.tab.h:182
TOK_CPROVER_ID
@ TOK_CPROVER_ID
Definition: ansi_c_y.tab.h:195
TOK_CPROVER_TRY
@ TOK_CPROVER_TRY
Definition: ansi_c_y.tab.h:193
TOK_VOID
@ TOK_VOID
Definition: ansi_c_y.tab.h:90
TOK_MSC_UUIDOF
@ TOK_MSC_UUIDOF
Definition: ansi_c_y.tab.h:247
TOK_CPROVER_ENSURES
@ TOK_CPROVER_ENSURES
Definition: ansi_c_y.tab.h:198
TOK_DO
@ TOK_DO
Definition: ansi_c_y.tab.h:66
TOK_GCC_FLOAT64X
@ TOK_GCC_FLOAT64X
Definition: ansi_c_y.tab.h:136
TOK_SHORT
@ TOK_SHORT
Definition: ansi_c_y.tab.h:81
TOK_GCC_FLOAT32X
@ TOK_GCC_FLOAT32X
Definition: ansi_c_y.tab.h:133
TOK_GCC_ATTRIBUTE_GNU_INLINE
@ TOK_GCC_ATTRIBUTE_GNU_INLINE
Definition: ansi_c_y.tab.h:151
TOK_SHIFTRIGHT
@ TOK_SHIFTRIGHT
Definition: ansi_c_y.tab.h:98
TOK_INT32
@ TOK_INT32
Definition: ansi_c_y.tab.h:125
TOK_IMAGINARY
@ TOK_IMAGINARY
Definition: ansi_c_y.tab.h:210
TOK_SIZEOF
@ TOK_SIZEOF
Definition: ansi_c_y.tab.h:83
TOK_CPROVER_REQUIRES
@ TOK_CPROVER_REQUIRES
Definition: ansi_c_y.tab.h:197
TOK_INT16
@ TOK_INT16
Definition: ansi_c_y.tab.h:124
TOK_OROR
@ TOK_OROR
Definition: ansi_c_y.tab.h:104
TOK_INT8
@ TOK_INT8
Definition: ansi_c_y.tab.h:123
TOK_OFFSETOF
@ TOK_OFFSETOF
Definition: ansi_c_y.tab.h:167
TOK_PUBLIC
@ TOK_PUBLIC
Definition: ansi_c_y.tab.h:233
TOK_GCC_FLOAT128X
@ TOK_GCC_FLOAT128X
Definition: ansi_c_y.tab.h:138
TOK_THREAD_LOCAL
@ TOK_THREAD_LOCAL
Definition: ansi_c_y.tab.h:213
TOK_NULLPTR
@ TOK_NULLPTR
Definition: ansi_c_y.tab.h:214
yyansi_clval
YYSTYPE yyansi_clval
Definition: ansi_c_y.tab.cpp:3627
TOK_CHARACTER
@ TOK_CHARACTER
Definition: ansi_c_y.tab.h:120
TOK_RETURN
@ TOK_RETURN
Definition: ansi_c_y.tab.h:80
TOK_AUTO
@ TOK_AUTO
Definition: ansi_c_y.tab.h:57
TOK_CHAR
@ TOK_CHAR
Definition: ansi_c_y.tab.h:62
TOK_CLASS
@ TOK_CLASS
Definition: ansi_c_y.tab.h:221
yytoken_kind_t
enum yytokentype yytoken_kind_t
Definition: ansi_c_y.tab.h:252
TOK_PTR32
@ TOK_PTR32
Definition: ansi_c_y.tab.h:127
TOK_CLANG_BUILTIN_CONVERTVECTOR
@ TOK_CLANG_BUILTIN_CONVERTVECTOR
Definition: ansi_c_y.tab.h:166
TOK_EXTERN
@ TOK_EXTERN
Definition: ansi_c_y.tab.h:70
YYUNDEF
@ YYUNDEF
Definition: ansi_c_y.tab.h:56