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