]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /* |
2 | ** Inserted at beginning of c files generated by bison | |
3 | ** REMEMBER: Change bison.reset too. | |
4 | */ | |
5 | ||
6 | /*@-allmacros@*/ | |
7 | /*@+boolint@*/ | |
8 | /*@+charint@*/ | |
9 | /*@-macroparams@*/ | |
10 | /*@-macroundef@*/ | |
11 | /*@-unreachable@*/ | |
12 | /*@-macrospec@*/ | |
13 | /*@-varuse@*/ | |
14 | /*@+ignorequals@*/ | |
15 | /*@-macrostmt@*/ | |
16 | /*@-noeffect@*/ | |
17 | /*@-shadow@*/ | |
18 | /*@-exitarg@*/ | |
19 | /*@-macroredef@*/ | |
20 | /*@-uniondef@*/ | |
21 | /*@-compdef@*/ | |
22 | /*@-matchfields@*/ | |
23 | /*@-exportlocal@*/ | |
24 | /*@-evalorderuncon@*/ | |
25 | /*@-exportheader@*/ | |
26 | /*@-typeuse@*/ | |
27 | /*@-redecl@*/ | |
28 | /*@-redef@*/ | |
29 | /*@-noparams@*/ | |
30 | /*@-ansireserved@*/ | |
31 | /*@-fielduse@*/ | |
32 | /*@-ifblock@*/ | |
33 | /*@-elseifcomplete@*/ | |
34 | /*@-whileblock@*/ | |
35 | /*@-forblock@*/ | |
36 | /*@-branchstate@*/ | |
37 | /*@-readonlytrans@*/ | |
38 | /*@-namechecks@*/ | |
39 | /*@-usedef@*/ | |
40 | /*@-systemunrecog@*/ | |
41 | /*@-dependenttrans@*/ | |
42 | /*@-unqualifiedtrans@*/ | |
43 | /*@-nullassign@*/ | |
44 | ||
45 | /* < end of bison.head > */ | |
46 | ||
47 | typedef union | |
48 | { | |
49 | lltok tok; | |
50 | int count; | |
51 | specialClauseKind sck; | |
52 | qual typequal; | |
53 | qualList tquallist; | |
54 | ctype ctyp; | |
55 | sRef sr; | |
56 | /*@only@*/ qtype qtyp; | |
57 | /*@only@*/ cstring cname; | |
58 | /*@only@*/ idDecl ntyp; | |
59 | /*@only@*/ idDeclList ntyplist; | |
60 | /*@only@*/ uentryList flist; | |
61 | /*@owned@*/ uentryList entrylist; | |
62 | /*@observer@*/ /*@dependent@*/ uentry entry; | |
63 | /*@only@*/ uentry oentry; | |
64 | /*@only@*/ exprNode expr; | |
65 | /*@only@*/ enumNameList enumnamelist; | |
66 | /*@only@*/ exprNodeList alist; | |
67 | /*@only@*/ sRefSet srset; | |
68 | } YYSTYPE; | |
69 | #define BADTOK 258 | |
70 | #define SKIPTOK 259 | |
71 | #define CTOK_ELIPSIS 260 | |
72 | #define CASE 261 | |
73 | #define DEFAULT 262 | |
74 | #define CIF 263 | |
75 | #define CELSE 264 | |
76 | #define SWITCH 265 | |
77 | #define WHILE 266 | |
78 | #define DO 267 | |
79 | #define CFOR 268 | |
80 | #define GOTO 269 | |
81 | #define CONTINUE 270 | |
82 | #define BREAK 271 | |
83 | #define RETURN 272 | |
84 | #define TSEMI 273 | |
85 | #define TLBRACE 274 | |
86 | #define TRBRACE 275 | |
87 | #define TCOMMA 276 | |
88 | #define TCOLON 277 | |
89 | #define TASSIGN 278 | |
90 | #define TLPAREN 279 | |
91 | #define TRPAREN 280 | |
92 | #define TLSQBR 281 | |
93 | #define TRSQBR 282 | |
94 | #define TDOT 283 | |
95 | #define TAMPERSAND 284 | |
96 | #define TEXCL 285 | |
97 | #define TTILDE 286 | |
98 | #define TMINUS 287 | |
99 | #define TPLUS 288 | |
100 | #define TMULT 289 | |
101 | #define TDIV 290 | |
102 | #define TPERCENT 291 | |
103 | #define TLT 292 | |
104 | #define TGT 293 | |
105 | #define TCIRC 294 | |
106 | #define TBAR 295 | |
107 | #define TQUEST 296 | |
108 | #define CSIZEOF 297 | |
109 | #define ARROW_OP 298 | |
110 | #define CTYPEDEF 299 | |
111 | #define COFFSETOF 300 | |
112 | #define INC_OP 301 | |
113 | #define DEC_OP 302 | |
114 | #define LEFT_OP 303 | |
115 | #define RIGHT_OP 304 | |
116 | #define LE_OP 305 | |
117 | #define GE_OP 306 | |
118 | #define EQ_OP 307 | |
119 | #define NE_OP 308 | |
120 | #define AND_OP 309 | |
121 | #define OR_OP 310 | |
122 | #define MUL_ASSIGN 311 | |
123 | #define DIV_ASSIGN 312 | |
124 | #define MOD_ASSIGN 313 | |
125 | #define ADD_ASSIGN 314 | |
126 | #define SUB_ASSIGN 315 | |
127 | #define LEFT_ASSIGN 316 | |
128 | #define RIGHT_ASSIGN 317 | |
129 | #define AND_ASSIGN 318 | |
130 | #define XOR_ASSIGN 319 | |
131 | #define OR_ASSIGN 320 | |
132 | #define CSTRUCT 321 | |
133 | #define CUNION 322 | |
134 | #define CENUM 323 | |
135 | #define VA_ARG 324 | |
136 | #define VA_DCL 325 | |
137 | #define QGLOBALS 326 | |
138 | #define QMODIFIES 327 | |
139 | #define QNOMODS 328 | |
140 | #define QCONSTANT 329 | |
141 | #define QITER 330 | |
142 | #define QDEFINES 331 | |
143 | #define QUSES 332 | |
144 | #define QALLOCATES 333 | |
145 | #define QSETS 334 | |
146 | #define QRELEASES 335 | |
147 | #define QPRECLAUSE 336 | |
148 | #define QPOSTCLAUSE 337 | |
149 | #define QALT 338 | |
150 | #define QUNDEF 339 | |
151 | #define QKILLED 340 | |
152 | #define QENDMACRO 341 | |
153 | #define LLMACRO 342 | |
154 | #define LLMACROITER 343 | |
155 | #define LLMACROEND 344 | |
156 | #define TENDMACRO 345 | |
157 | #define QSWITCHBREAK 346 | |
158 | #define QLOOPBREAK 347 | |
159 | #define QINNERBREAK 348 | |
160 | #define QSAFEBREAK 349 | |
161 | #define QINNERCONTINUE 350 | |
162 | #define QFALLTHROUGH 351 | |
163 | #define QLINTNOTREACHED 352 | |
164 | #define QLINTFALLTHROUGH 353 | |
165 | #define QLINTFALLTHRU 354 | |
166 | #define QARGSUSED 355 | |
167 | #define QPRINTFLIKE 356 | |
168 | #define QLINTPRINTFLIKE 357 | |
169 | #define QSCANFLIKE 358 | |
170 | #define QMESSAGELIKE 359 | |
171 | #define QNOTREACHED 360 | |
172 | #define QCONST 361 | |
173 | #define QVOLATILE 362 | |
174 | #define QINLINE 363 | |
175 | #define QEXTENSION 364 | |
176 | #define QEXTERN 365 | |
177 | #define QSTATIC 366 | |
178 | #define QAUTO 367 | |
179 | #define QREGISTER 368 | |
180 | #define QOUT 369 | |
181 | #define QIN 370 | |
182 | #define QYIELD 371 | |
183 | #define QONLY 372 | |
184 | #define QTEMP 373 | |
185 | #define QSHARED 374 | |
186 | #define QREF 375 | |
187 | #define QUNIQUE 376 | |
188 | #define QCHECKED 377 | |
189 | #define QUNCHECKED 378 | |
190 | #define QCHECKEDSTRICT 379 | |
191 | #define QCHECKMOD 380 | |
192 | #define QKEEP 381 | |
193 | #define QKEPT 382 | |
194 | #define QPARTIAL 383 | |
195 | #define QSPECIAL 384 | |
196 | #define QOWNED 385 | |
197 | #define QDEPENDENT 386 | |
198 | #define QRETURNED 387 | |
199 | #define QEXPOSED 388 | |
200 | #define QNULL 389 | |
201 | #define QOBSERVER 390 | |
202 | #define QISNULL 391 | |
203 | #define QEXITS 392 | |
204 | #define QMAYEXIT 393 | |
205 | #define QNEVEREXIT 394 | |
206 | #define QTRUEEXIT 395 | |
207 | #define QFALSEEXIT 396 | |
208 | #define QLONG 397 | |
209 | #define QSIGNED 398 | |
210 | #define QUNSIGNED 399 | |
211 | #define QSHORT 400 | |
212 | #define QUNUSED 401 | |
213 | #define QSEF 402 | |
214 | #define QNOTNULL 403 | |
215 | #define QRELNULL 404 | |
216 | #define QABSTRACT 405 | |
217 | #define QCONCRETE 406 | |
218 | #define QMUTABLE 407 | |
219 | #define QIMMUTABLE 408 | |
220 | #define QTRUENULL 409 | |
221 | #define QFALSENULL 410 | |
222 | #define QEXTERNAL 411 | |
223 | #define QREFCOUNTED 412 | |
224 | #define QREFS 413 | |
225 | #define QNEWREF 414 | |
226 | #define QTEMPREF 415 | |
227 | #define QKILLREF 416 | |
228 | #define QRELDEF 417 | |
229 | #define CGCHAR 418 | |
230 | #define CBOOL 419 | |
231 | #define CINT 420 | |
232 | #define CGFLOAT 421 | |
233 | #define CDOUBLE 422 | |
234 | #define CVOID 423 | |
235 | #define QANYTYPE 424 | |
236 | #define QINTEGRALTYPE 425 | |
237 | #define QUNSIGNEDINTEGRALTYPE 426 | |
238 | #define QSIGNEDINTEGRALTYPE 427 | |
239 | #define IDENTIFIER 428 | |
240 | #define NEW_IDENTIFIER 429 | |
241 | #define CCONSTANT 430 | |
242 | #define ITER_NAME 431 | |
243 | #define ITER_ENDNAME 432 | |
244 | #define TYPE_NAME 433 | |
245 | #define TYPE_NAME_OR_ID 434 | |
246 | ||
247 | ||
248 | extern YYSTYPE yylval; | |
249 | /* | |
250 | ** Resets all flags in bison.head | |
251 | */ | |
252 | ||
253 | ||
254 | /*@=allmacros@*/ | |
255 | /*@=boolint@*/ | |
256 | /*@=charint@*/ | |
257 | /*@=macroparams@*/ | |
258 | /*@=macroundef@*/ | |
259 | /*@=unreachable@*/ | |
260 | /*@=macrospec@*/ | |
261 | /*@=varuse@*/ | |
262 | /*@=ignorequals@*/ | |
263 | /*@=macrostmt@*/ | |
264 | /*@=noeffect@*/ | |
265 | /*@=shadow@*/ | |
266 | /*@=exitarg@*/ | |
267 | /*@=macroredef@*/ | |
268 | /*@=uniondef@*/ | |
269 | /*@=compdef@*/ | |
270 | /*@=matchfields@*/ | |
271 | /*@=exportlocal@*/ | |
272 | /*@=evalorderuncon@*/ | |
273 | /*@=exportheader@*/ | |
274 | /*@=typeuse@*/ | |
275 | /*@=redecl@*/ | |
276 | /*@=redef@*/ | |
277 | /*@=noparams@*/ | |
278 | /*@=ansireserved@*/ | |
279 | /*@=fielduse@*/ | |
280 | /*@=ifblock@*/ | |
281 | /*@=elseifcomplete@*/ | |
282 | /*@=whileblock@*/ | |
283 | /*@=forblock@*/ | |
284 | /*@=branchstate@*/ | |
285 | /*@=readonlytrans@*/ | |
286 | /*@=namechecks@*/ | |
287 | /*@=usedef@*/ | |
288 | /*@=systemunrecog@*/ | |
289 | /*@=dependenttrans@*/ | |
290 | /*@=unqualifiedtrans@*/ |