]> andersk Git - splint.git/blob - src/Headers/cgrammar_tokens.h
commitng to fix cvs archive. Code works with gcc272 but not 295. Currently passed...
[splint.git] / src / Headers / cgrammar_tokens.h
1 /*
2 ** Inserted at beginning of c files generated by bison
3 ** REMEMBER:  Change bison.reset too.
4 */
5
6 /*@-allmacros@*/
7 /*@+boolint@*/
8 /*@+charint@*/
9 /*@-macroparams@*/
10 /*@-macroundef@*/
11 /*@-unreachable@*/
12 /*@-macrospec@*/
13 /*@-varuse@*/
14 /*@+ignorequals@*/
15 /*@-macrostmt@*/
16 /*@-noeffect@*/
17 /*@-shadow@*/
18 /*@-exitarg@*/
19 /*@-macroredef@*/
20 /*@-uniondef@*/
21 /*@-compdef@*/
22 /*@-matchfields@*/
23 /*@-exportlocal@*/
24 /*@-evalorderuncon@*/
25 /*@-exportheader@*/
26 /*@-typeuse@*/
27 /*@-redecl@*/
28 /*@-redef@*/
29 /*@-noparams@*/
30 /*@-ansireserved@*/
31 /*@-fielduse@*/
32 /*@-ifblock@*/
33 /*@-elseifcomplete@*/
34 /*@-whileblock@*/
35 /*@-forblock@*/
36 /*@-branchstate@*/
37 /*@-readonlytrans@*/
38 /*@-namechecks@*/
39 /*@-usedef@*/
40 /*@-systemunrecog@*/
41 /*@-dependenttrans@*/
42 /*@-unqualifiedtrans@*/
43 /*@-nullassign@*/
44
45 /* < end of bison.head > */
46
47 typedef union
48 {
49  lltok tok;
50  int count;
51  specialClauseKind sck;
52  qual typequal;
53  qualList tquallist;
54  ctype ctyp;
55  sRef sr;
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;
69   /*drl
70     added 1/19/2001
71   */
72   constraint con;
73   constraintList conL;
74   constraintExpr conE;
75   /* drl */
76 } YYSTYPE;
77 #define BADTOK  258
78 #define SKIPTOK 259
79 #define CTOK_ELIPSIS    260
80 #define CASE    261
81 #define DEFAULT 262
82 #define CIF     263
83 #define CELSE   264
84 #define SWITCH  265
85 #define WHILE   266
86 #define DO      267
87 #define CFOR    268
88 #define GOTO    269
89 #define CONTINUE        270
90 #define BREAK   271
91 #define RETURN  272
92 #define TSEMI   273
93 #define TLBRACE 274
94 #define TRBRACE 275
95 #define TCOMMA  276
96 #define TCOLON  277
97 #define TASSIGN 278
98 #define TLPAREN 279
99 #define TRPAREN 280
100 #define TLSQBR  281
101 #define TRSQBR  282
102 #define TDOT    283
103 #define TAMPERSAND      284
104 #define TEXCL   285
105 #define TTILDE  286
106 #define TMINUS  287
107 #define TPLUS   288
108 #define TMULT   289
109 #define TDIV    290
110 #define TPERCENT        291
111 #define TLT     292
112 #define TGT     293
113 #define TCIRC   294
114 #define TBAR    295
115 #define TQUEST  296
116 #define CSIZEOF 297
117 #define CALIGNOF        298
118 #define ARROW_OP        299
119 #define CTYPEDEF        300
120 #define COFFSETOF       301
121 #define INC_OP  302
122 #define DEC_OP  303
123 #define LEFT_OP 304
124 #define RIGHT_OP        305
125 #define LE_OP   306
126 #define GE_OP   307
127 #define EQ_OP   308
128 #define NE_OP   309
129 #define AND_OP  310
130 #define OR_OP   311
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
141 #define CSTRUCT 322
142 #define CUNION  323
143 #define CENUM   324
144 #define VA_ARG  325
145 #define VA_DCL  326
146 #define QGLOBALS        327
147 #define QMODIFIES       328
148 #define QNOMODS 329
149 #define QCONSTANT       330
150 #define QFUNCTION       331
151 #define QITER   332
152 #define QDEFINES        333
153 #define QUSES   334
154 #define QALLOCATES      335
155 #define QSETS   336
156 #define QRELEASES       337
157 #define QPRECLAUSE      338
158 #define QPOSTCLAUSE     339
159 #define QALT    340
160 #define QUNDEF  341
161 #define QKILLED 342
162 #define QENDMACRO       343
163 #define LLMACRO 344
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
182 #define QCONST  363
183 #define QVOLATILE       364
184 #define QINLINE 365
185 #define QEXTENSION      366
186 #define QEXTERN 367
187 #define QSTATIC 368
188 #define QAUTO   369
189 #define QREGISTER       370
190 #define QOUT    371
191 #define QIN     372
192 #define QYIELD  373
193 #define QONLY   374
194 #define QTEMP   375
195 #define QSHARED 376
196 #define QREF    377
197 #define QUNIQUE 378
198 #define QCHECKED        379
199 #define QUNCHECKED      380
200 #define QCHECKEDSTRICT  381
201 #define QCHECKMOD       382
202 #define QKEEP   383
203 #define QKEPT   384
204 #define QPARTIAL        385
205 #define QSPECIAL        386
206 #define QOWNED  387
207 #define QDEPENDENT      388
208 #define QRETURNED       389
209 #define QEXPOSED        390
210 #define QNULL   391
211 #define QOBSERVER       392
212 #define QISNULL 393
213 #define QEXITS  394
214 #define QMAYEXIT        395
215 #define QNEVEREXIT      396
216 #define QTRUEEXIT       397
217 #define QFALSEEXIT      398
218 #define QLONG   399
219 #define QSIGNED 400
220 #define QUNSIGNED       401
221 #define QSHORT  402
222 #define QUNUSED 403
223 #define QSEF    404
224 #define QNOTNULL        405
225 #define QRELNULL        406
226 #define QABSTRACT       407
227 #define QCONCRETE       408
228 #define QMUTABLE        409
229 #define QIMMUTABLE      410
230 #define QTRUENULL       411
231 #define QFALSENULL      412
232 #define QEXTERNAL       413
233 #define QREFCOUNTED     414
234 #define QREFS   415
235 #define QNEWREF 416
236 #define QTEMPREF        417
237 #define QKILLREF        418
238 #define QRELDEF 419
239 #define CGCHAR  420
240 #define CBOOL   421
241 #define CINT    422
242 #define CGFLOAT 423
243 #define CDOUBLE 424
244 #define CVOID   425
245 #define QANYTYPE        426
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
254 #define QMAXSET 435
255 #define QMAXREAD        436
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
264
265
266 extern YYSTYPE yylval;
This page took 0.271932 seconds and 5 git commands to generate.