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;
72 #define CTOK_ELIPSIS 260
96 #define TAMPERSAND 284
113 #define COFFSETOF 301
124 #define MUL_ASSIGN 312
125 #define DIV_ASSIGN 313
126 #define MOD_ASSIGN 314
127 #define ADD_ASSIGN 315
128 #define SUB_ASSIGN 316
129 #define LEFT_ASSIGN 317
130 #define RIGHT_ASSIGN 318
131 #define AND_ASSIGN 319
132 #define XOR_ASSIGN 320
133 #define OR_ASSIGN 321
140 #define QMODIFIES 328
142 #define QCONSTANT 330
143 #define QFUNCTION 331
147 #define QALLOCATES 335
149 #define QRELEASES 337
150 #define QPRECLAUSE 338
151 #define QPOSTCLAUSE 339
155 #define QENDMACRO 343
157 #define LLMACROITER 345
158 #define LLMACROEND 346
159 #define TENDMACRO 347
160 #define QSWITCHBREAK 348
161 #define QLOOPBREAK 349
162 #define QINNERBREAK 350
163 #define QSAFEBREAK 351
164 #define QINNERCONTINUE 352
165 #define QFALLTHROUGH 353
166 #define QLINTNOTREACHED 354
167 #define QLINTFALLTHROUGH 355
168 #define QLINTFALLTHRU 356
169 #define QARGSUSED 357
170 #define QPRINTFLIKE 358
171 #define QLINTPRINTFLIKE 359
172 #define QSCANFLIKE 360
173 #define QMESSAGELIKE 361
174 #define QNOTREACHED 362
176 #define QVOLATILE 364
178 #define QEXTENSION 366
182 #define QREGISTER 370
192 #define QUNCHECKED 380
193 #define QCHECKEDSTRICT 381
194 #define QCHECKMOD 382
200 #define QDEPENDENT 388
201 #define QRETURNED 389
204 #define QOBSERVER 392
208 #define QNEVEREXIT 396
209 #define QTRUEEXIT 397
210 #define QFALSEEXIT 398
213 #define QUNSIGNED 401
219 #define QABSTRACT 407
220 #define QCONCRETE 408
222 #define QIMMUTABLE 410
223 #define QTRUENULL 411
224 #define QFALSENULL 412
225 #define QEXTERNAL 413
226 #define QREFCOUNTED 414
239 #define QINTEGRALTYPE 427
240 #define QUNSIGNEDINTEGRALTYPE 428
241 #define QSIGNEDINTEGRALTYPE 429
242 #define QNULLTERMINATED 430
243 #define QSETBUFFERSIZE 431
244 #define QBUFFERCONSTRAINT 432
245 #define QSETSTRINGLENGTH 433
248 #define QTESTINRANGE 436
249 #define IDENTIFIER 437
250 #define NEW_IDENTIFIER 438
251 #define TYPE_NAME_OR_ID 439
252 #define CCONSTANT 440
253 #define ITER_NAME 441
254 #define ITER_ENDNAME 442
255 #define TYPE_NAME 443
258 extern YYSTYPE yylval;