10 /*@only@*/ qtype qtyp;
11 /*@only@*/ cstring cname;
12 /*@only@*/ idDecl ntyp;
13 /*@only@*/ idDeclList ntyplist;
14 /*@only@*/ uentryList flist;
15 /*@owned@*/ uentryList entrylist;
16 /*@observer@*/ /*@dependent@*/ uentry entry;
17 /*@only@*/ uentry oentry;
18 /*@only@*/ exprNode expr;
19 /*@only@*/ enumNameList enumnamelist;
20 /*@only@*/ exprNodeList alist;
21 /*@only@*/ sRefSet srset;
22 /*@only@*/ cstringList cstringlist;
33 #define CTOK_ELIPSIS 260
57 #define TAMPERSAND 284
85 #define MUL_ASSIGN 312
86 #define DIV_ASSIGN 313
87 #define MOD_ASSIGN 314
88 #define ADD_ASSIGN 315
89 #define SUB_ASSIGN 316
90 #define LEFT_ASSIGN 317
91 #define RIGHT_ASSIGN 318
92 #define AND_ASSIGN 319
93 #define XOR_ASSIGN 320
101 #define QMODIFIES 328
103 #define QCONSTANT 330
104 #define QFUNCTION 331
108 #define QALLOCATES 335
110 #define QRELEASES 337
111 #define QPRECLAUSE 338
112 #define QPOSTCLAUSE 339
116 #define QENDMACRO 343
118 #define LLMACROITER 345
119 #define LLMACROEND 346
120 #define TENDMACRO 347
121 #define QSWITCHBREAK 348
122 #define QLOOPBREAK 349
123 #define QINNERBREAK 350
124 #define QSAFEBREAK 351
125 #define QINNERCONTINUE 352
126 #define QFALLTHROUGH 353
127 #define QLINTNOTREACHED 354
128 #define QLINTFALLTHROUGH 355
129 #define QLINTFALLTHRU 356
130 #define QARGSUSED 357
131 #define QPRINTFLIKE 358
132 #define QLINTPRINTFLIKE 359
133 #define QSCANFLIKE 360
134 #define QMESSAGELIKE 361
135 #define QNOTREACHED 362
137 #define QVOLATILE 364
139 #define QEXTENSION 366
143 #define QREGISTER 370
153 #define QUNCHECKED 380
154 #define QCHECKEDSTRICT 381
155 #define QCHECKMOD 382
161 #define QDEPENDENT 388
162 #define QRETURNED 389
165 #define QOBSERVER 392
169 #define QNEVEREXIT 396
170 #define QTRUEEXIT 397
171 #define QFALSEEXIT 398
174 #define QUNSIGNED 401
180 #define QABSTRACT 407
181 #define QCONCRETE 408
183 #define QIMMUTABLE 410
184 #define QTRUENULL 411
185 #define QFALSENULL 412
186 #define QEXTERNAL 413
187 #define QREFCOUNTED 414
200 #define QINTEGRALTYPE 427
201 #define QUNSIGNEDINTEGRALTYPE 428
202 #define QSIGNEDINTEGRALTYPE 429
203 #define QNULLTERMINATED 430
204 #define QSETBUFFERSIZE 431
205 #define QBUFFERCONSTRAINT 432
206 #define QENSURESCONSTRAINT 433
207 #define QSETSTRINGLENGTH 434
210 #define QTESTINRANGE 437
211 #define IDENTIFIER 438
212 #define NEW_IDENTIFIER 439
213 #define TYPE_NAME_OR_ID 440
214 #define CCONSTANT 441
215 #define ITER_NAME 442
216 #define ITER_ENDNAME 443
217 #define TYPE_NAME 444
220 extern YYSTYPE yylval;