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 260
103 #define TAMPERSAND 284
120 #define COFFSETOF 301
131 #define MUL_ASSIGN 312
132 #define DIV_ASSIGN 313
133 #define MOD_ASSIGN 314
134 #define ADD_ASSIGN 315
135 #define SUB_ASSIGN 316
136 #define LEFT_ASSIGN 317
137 #define RIGHT_ASSIGN 318
138 #define AND_ASSIGN 319
139 #define XOR_ASSIGN 320
140 #define OR_ASSIGN 321
147 #define QMODIFIES 328
149 #define QCONSTANT 330
150 #define QFUNCTION 331
154 #define QALLOCATES 335
156 #define QRELEASES 337
157 #define QPRECLAUSE 338
158 #define QPOSTCLAUSE 339
162 #define QENDMACRO 343
164 #define LLMACROITER 345
165 #define LLMACROEND 346
166 #define TENDMACRO 347
167 #define QSWITCHBREAK 348
168 #define QLOOPBREAK 349
169 #define QINNERBREAK 350
170 #define QSAFEBREAK 351
171 #define QINNERCONTINUE 352
172 #define QFALLTHROUGH 353
173 #define QLINTNOTREACHED 354
174 #define QLINTFALLTHROUGH 355
175 #define QLINTFALLTHRU 356
176 #define QARGSUSED 357
177 #define QPRINTFLIKE 358
178 #define QLINTPRINTFLIKE 359
179 #define QSCANFLIKE 360
180 #define QMESSAGELIKE 361
181 #define QNOTREACHED 362
183 #define QVOLATILE 364
185 #define QEXTENSION 366
189 #define QREGISTER 370
199 #define QUNCHECKED 380
200 #define QCHECKEDSTRICT 381
201 #define QCHECKMOD 382
207 #define QDEPENDENT 388
208 #define QRETURNED 389
211 #define QOBSERVER 392
215 #define QNEVEREXIT 396
216 #define QTRUEEXIT 397
217 #define QFALSEEXIT 398
220 #define QUNSIGNED 401
226 #define QABSTRACT 407
227 #define QCONCRETE 408
229 #define QIMMUTABLE 410
230 #define QTRUENULL 411
231 #define QFALSENULL 412
232 #define QEXTERNAL 413
233 #define QREFCOUNTED 414
246 #define QINTEGRALTYPE 427
247 #define QUNSIGNEDINTEGRALTYPE 428
248 #define QSIGNEDINTEGRALTYPE 429
249 #define QNULLTERMINATED 430
250 #define QSETBUFFERSIZE 431
251 #define QBUFFERCONSTRAINT 432
252 #define QENSURESCONSTRAINT 433
253 #define QSETSTRINGLENGTH 434
256 #define QTESTINRANGE 437
257 #define IDENTIFIER 438
258 #define NEW_IDENTIFIER 439
259 #define TYPE_NAME_OR_ID 440
260 #define CCONSTANT 441
261 #define ITER_NAME 442
262 #define ITER_ENDNAME 443
263 #define TYPE_NAME 444
266 extern YYSTYPE yylval;