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;
71 #define CTOK_ELIPSIS 260
95 #define TAMPERSAND 284
111 #define COFFSETOF 300
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
138 #define QMODIFIES 327
140 #define QCONSTANT 329
144 #define QALLOCATES 333
146 #define QRELEASES 335
147 #define QPRECLAUSE 336
148 #define QPOSTCLAUSE 337
152 #define QENDMACRO 341
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
173 #define QVOLATILE 362
175 #define QEXTENSION 364
179 #define QREGISTER 368
189 #define QUNCHECKED 378
190 #define QCHECKEDSTRICT 379
191 #define QCHECKMOD 380
197 #define QDEPENDENT 386
198 #define QRETURNED 387
201 #define QOBSERVER 390
205 #define QNEVEREXIT 394
206 #define QTRUEEXIT 395
207 #define QFALSEEXIT 396
210 #define QUNSIGNED 399
216 #define QABSTRACT 405
217 #define QCONCRETE 406
219 #define QIMMUTABLE 408
220 #define QTRUENULL 409
221 #define QFALSENULL 410
222 #define QEXTERNAL 411
223 #define QREFCOUNTED 412
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
248 extern YYSTYPE yylval;
250 ** Resets all flags in bison.head
272 /*@=evalorderuncon@*/
281 /*@=elseifcomplete@*/
289 /*@=dependenttrans@*/
290 /*@=unqualifiedtrans@*/