2 ** Inserted at beginning of c files generated by bison
3 ** REMEMBER: Change bison.reset too.
42 /*@-unqualifiedtrans@*/
45 /* < end of bison.head > */
51 specialClauseKind sck;
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 /*@only@*/ cstringList cstringlist;
79 #define CTOK_ELIPSIS 259
103 #define TAMPERSAND 283
120 #define COFFSETOF 300
131 #define MUL_ASSIGN 311
132 #define DIV_ASSIGN 312
133 #define MOD_ASSIGN 313
134 #define ADD_ASSIGN 314
135 #define SUB_ASSIGN 315
136 #define LEFT_ASSIGN 316
137 #define RIGHT_ASSIGN 317
138 #define AND_ASSIGN 318
139 #define XOR_ASSIGN 319
140 #define OR_ASSIGN 320
147 #define QMODIFIES 327
149 #define QCONSTANT 329
150 #define QFUNCTION 330
154 #define QALLOCATES 334
156 #define QRELEASES 336
157 #define QPRECLAUSE 337
158 #define QPOSTCLAUSE 338
162 #define QENDMACRO 342
164 #define LLMACROITER 344
165 #define LLMACROEND 345
166 #define TENDMACRO 346
167 #define QSWITCHBREAK 347
168 #define QLOOPBREAK 348
169 #define QINNERBREAK 349
170 #define QSAFEBREAK 350
171 #define QINNERCONTINUE 351
172 #define QFALLTHROUGH 352
173 #define QLINTNOTREACHED 353
174 #define QLINTFALLTHROUGH 354
175 #define QLINTFALLTHRU 355
176 #define QARGSUSED 356
177 #define QPRINTFLIKE 357
178 #define QLINTPRINTFLIKE 358
179 #define QSCANFLIKE 359
180 #define QMESSAGELIKE 360
181 #define QNOTREACHED 361
183 #define QVOLATILE 363
185 #define QEXTENSION 365
189 #define QREGISTER 369
199 #define QUNCHECKED 379
200 #define QCHECKEDSTRICT 380
201 #define QCHECKMOD 381
207 #define QDEPENDENT 387
208 #define QRETURNED 388
211 #define QOBSERVER 391
215 #define QNEVEREXIT 395
216 #define QTRUEEXIT 396
217 #define QFALSEEXIT 397
220 #define QUNSIGNED 400
226 #define QABSTRACT 406
227 #define QCONCRETE 407
229 #define QIMMUTABLE 409
230 #define QTRUENULL 410
231 #define QFALSENULL 411
232 #define QEXTERNAL 412
233 #define QREFCOUNTED 413
246 #define QINTEGRALTYPE 426
247 #define QUNSIGNEDINTEGRALTYPE 427
248 #define QSIGNEDINTEGRALTYPE 428
249 #define QNULLTERMINATED 429
250 #define QSETBUFFERSIZE 430
251 #define QBUFFERCONSTRAINT 431
252 #define QENSURESCONSTRAINT 432
253 #define QSETSTRINGLENGTH 433
256 #define QTESTINRANGE 436
258 #define IDENTIFIER 438
259 #define NEW_IDENTIFIER 439
260 #define TYPE_NAME_OR_ID 440
261 #define CCONSTANT 441
262 #define ITER_NAME 442
263 #define ITER_ENDNAME 443
264 #define TYPE_NAME 444
267 extern YYSTYPE yylval;