]> andersk Git - splint.git/blame - src/mtgrammar.c.der
andersk / splint.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Cahnged default LCLIMPORTDIR
[splint.git] / src / mtgrammar.c.der
CommitLineData
8e37b772 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/*@-declundef@*/
45
46/* < end of bison.head > */
47
48
49/* A Bison parser, made from mtgrammar.y
50 by GNU Bison version 1.28 */
51
52#define YYBISON 1 /* Identify Bison output. */
53
54#define yyparse mtparse
55#define yylex mtlex
56#define yyerror mterror
57#define yylval mtlval
58#define yychar mtchar
59#define yydebug mtdebug
60#define yynerrs mtnerrs
61#define MT_BADTOK 257
62#define MT_END 258
63#define MT_STATE 259
64#define MT_GLOBAL 260
65#define MT_CONTEXT 261
66#define MT_ONEOF 262
67#define MT_DEFAULTS 263
68#define MT_DEFAULT 264
69#define MT_REFERENCE 265
70#define MT_PARAMETER 266
71#define MT_RESULT 267
72#define MT_CLAUSE 268
73#define MT_LITERAL 269
74#define MT_NULL 270
75#define MT_ANNOTATIONS 271
76#define MT_ARROW 272
77#define MT_MERGE 273
78#define MT_TRANSFERS 274
79#define MT_PRECONDITIONS 275
80#define MT_POSTCONDITIONS 276
81#define MT_LOSEREFERENCE 277
82#define MT_AS 278
83#define MT_ERROR 279
84#define MT_PLUS 280
85#define MT_STAR 281
86#define MT_BAR 282
87#define MT_LPAREN 283
88#define MT_RPAREN 284
89#define MT_LBRACKET 285
90#define MT_RBRACKET 286
91#define MT_LBRACE 287
92#define MT_RBRACE 288
93#define MT_COMMA 289
94#define MT_CHAR 290
95#define MT_INT 291
96#define MT_FLOAT 292
97#define MT_DOUBLE 293
98#define MT_VOID 294
99#define MT_ANYTYPE 295
100#define MT_INTEGRALTYPE 296
101#define MT_UNSIGNEDINTEGRALTYPE 297
102#define MT_SIGNEDINTEGRALTYPE 298
103#define MT_CONST 299
104#define MT_VOLATILE 300
105#define MT_STRINGLIT 301
106#define MT_IDENT 302
107
108#line 25 "mtgrammar.y"
109
110
111# include "bison.reset"
112# include "lclintMacros.nf"
113# include "llbasic.h"
114
115# ifndef __LCLINT__
116extern ctype mtscanner_lookupType (mttok p_tok) /*@modifies p_tok@*/ ;
117# endif
118
119 /*@i523@*/ /* can't include these here
120 # include "mtgrammar.h"
121 # include "mtscanner.h"
122 */
123
124static /*@exits@*/ void mterror (char *);
125
126/*@-noparams@*/ /* Can't list params since YYSTYPE isn't defined yet. */
127static void yyprint (/*FILE *p_file, int p_type, YYSTYPE p_value */);
128/*@=noparams@*/
129
130# define YYPRINT(file, type, value) yyprint (file, type, value)
131
132# define YYDEBUG 1
133
134# include "bison.head"
135
136
137#line 56 "mtgrammar.y"
138typedef union {
139 mttok tok;
140 mtDeclarationNode mtdecl;
141 mtDeclarationPiece mtpiece;
142 mtDeclarationPieces mtpieces;
143 mtContextNode mtcontext;
144 mtValuesNode mtvalues;
145 mtDefaultsNode mtdefaults;
146 mtDefaultsDeclList mtdeflist;
147 mtAnnotationsNode mtannotations;
148 mtAnnotationList mtannotlist;
149 mtAnnotationDecl mtannotdecl;
150 mtMergeNode mtmerge;
151 mtMergeItem mtmergeitem;
152 mtMergeClauseList mtmergeclauselist;
153 mtMergeClause mtmergeclause;
154 mtTransferClauseList mttransferclauselist;
155 mtTransferClause mttransferclause;
156 mtTransferAction mttransferaction;
157 mtLoseReferenceList mtlosereferencelist;
158 mtLoseReference mtlosereference;
159
160 /*@only@*/ cstringList cstringlist;
161 ctype ctyp;
162 /*@only@*/ qtype qtyp;
163 int count;
164} YYSTYPE;
165#ifndef YYDEBUG
166#define YYDEBUG 1
167#endif
168
169#include <stdio.h>
170
171#ifndef __cplusplus
172#ifndef __STDC__
173#define const
174#endif
175#endif
176
177
178
179#define YYFINAL 135
180#define YYFLAG -32768
181#define YYNTBASE 49
182
183#define YYTRANSLATE(x) ((unsigned)(x) <= 302 ? yytranslate[x] : 92)
184
185static const char yytranslate[] = { 0,
186 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
187 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
188 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
189 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
190 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
191 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
192 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
193 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
194 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
195 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
196 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
197 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
198 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
199 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
200 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
201 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
202 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
203 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
204 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
205 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
206 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
207 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
208 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
209 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
210 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
211 2, 2, 2, 2, 2, 1, 3, 4, 5, 6,
212 7, 8, 9, 10, 11, 12, 13, 14, 15, 16,
213 17, 18, 19, 20, 21, 22, 23, 24, 25, 26,
214 27, 28, 29, 30, 31, 32, 33, 34, 35, 36,
215 37, 38, 39, 40, 41, 42, 43, 44, 45, 46,
216 47, 48
217};
218
219#if YYDEBUG != 0
220static const short yyprhs[] = { 0,
221 0, 1, 3, 7, 12, 15, 16, 19, 21, 23,
222 25, 27, 29, 31, 33, 35, 37, 39, 42, 43,
223 45, 48, 51, 54, 57, 60, 63, 64, 66, 68,
224 71, 73, 77, 80, 81, 83, 85, 87, 90, 92,
225 95, 98, 102, 104, 106, 108, 111, 115, 118, 122,
226 124, 126, 128, 130, 132, 134, 136, 138, 140, 142,
227 144, 147, 149, 153, 156, 159, 163, 168, 171, 173,
228 176, 181, 184, 186, 189, 195, 197, 199, 202, 205,
229 208, 211, 213, 216, 220, 222, 225, 231, 233, 235,
230 237, 240
231};
232
233static const short yyrhs[] = { -1,
234 50, 0, 5, 51, 4, 0, 6, 5, 51, 4,
235 0, 48, 52, 0, 0, 53, 52, 0, 54, 0,
236 69, 0, 72, 0, 71, 0, 74, 0, 77, 0,
237 83, 0, 81, 0, 82, 0, 84, 0, 7, 56,
238 0, 0, 56, 0, 12, 57, 0, 11, 57, 0,
239 13, 57, 0, 14, 57, 0, 15, 57, 0, 16,
240 57, 0, 0, 58, 0, 59, 0, 59, 62, 0,
241 60, 0, 59, 28, 58, 0, 67, 61, 0, 0,
242 59, 0, 63, 0, 66, 0, 63, 66, 0, 27,
243 0, 27, 65, 0, 27, 63, 0, 27, 65, 63,
244 0, 45, 0, 46, 0, 64, 0, 65, 64, 0,
245 29, 62, 30, 0, 31, 32, 0, 66, 31, 32,
246 0, 36, 0, 37, 0, 38, 0, 39, 0, 40,
247 0, 41, 0, 42, 0, 43, 0, 44, 0, 68,
248 0, 48, 0, 8, 70, 0, 48, 0, 48, 35,
249 70, 0, 10, 91, 0, 9, 73, 0, 56, 18,
250 91, 0, 56, 18, 91, 73, 0, 17, 75, 0,
251 76, 0, 76, 75, 0, 48, 55, 18, 91, 0,
252 19, 78, 0, 79, 0, 79, 78, 0, 80, 26,
253 80, 18, 89, 0, 91, 0, 27, 0, 21, 87,
254 0, 22, 87, 0, 20, 87, 0, 23, 85, 0,
255 86, 0, 86, 85, 0, 91, 18, 90, 0, 88,
256 0, 88, 87, 0, 91, 24, 91, 18, 89, 0,
257 91, 0, 90, 0, 25, 0, 25, 47, 0, 48,
258 0
259};
260
261#endif
262
263#if YYDEBUG != 0
264static const short yyrline[] = { 0,
265 152, 153, 156, 158, 162, 166, 167, 171, 172, 173,
266 174, 175, 176, 177, 178, 179, 180, 183, 187, 188,
267 191, 192, 193, 194, 195, 196, 203, 204, 207, 208,
268 211, 212, 216, 219, 220, 224, 225, 226, 229, 230,
269 231, 232, 235, 236, 239, 240, 243, 244, 245, 252,
270 253, 254, 255, 256, 257, 258, 259, 260, 261, 267,
271 270, 273, 274, 278, 281, 284, 286, 290, 293, 294,
272 298, 302, 305, 306, 309, 313, 314, 317, 320, 323,
273 326, 329, 330, 333, 336, 337, 340, 344, 345, 348,
274 349, 352
275};
276#endif
277
278
279#if YYDEBUG != 0 || defined (YYERROR_VERBOSE)
280
281static const char * const yytname[] = { "$","error","$undefined.","MT_BADTOK",
282"MT_END","MT_STATE","MT_GLOBAL","MT_CONTEXT","MT_ONEOF","MT_DEFAULTS","MT_DEFAULT",
283"MT_REFERENCE","MT_PARAMETER","MT_RESULT","MT_CLAUSE","MT_LITERAL","MT_NULL",
284"MT_ANNOTATIONS","MT_ARROW","MT_MERGE","MT_TRANSFERS","MT_PRECONDITIONS","MT_POSTCONDITIONS",
285"MT_LOSEREFERENCE","MT_AS","MT_ERROR","MT_PLUS","MT_STAR","MT_BAR","MT_LPAREN",
286"MT_RPAREN","MT_LBRACKET","MT_RBRACKET","MT_LBRACE","MT_RBRACE","MT_COMMA","MT_CHAR",
287"MT_INT","MT_FLOAT","MT_DOUBLE","MT_VOID","MT_ANYTYPE","MT_INTEGRALTYPE","MT_UNSIGNEDINTEGRALTYPE",
288"MT_SIGNEDINTEGRALTYPE","MT_CONST","MT_VOLATILE","MT_STRINGLIT","MT_IDENT","file",
289"mtsDeclaration","declarationNode","declarationPieces","declarationPiece","contextDeclaration",
290"optContextSelection","contextSelection","optType","typeExpression","completeType",
291"completeTypeAux","optCompleteType","abstractDecl","pointers","innerMods","innerModsList",
292"abstractDeclBase","typeSpecifier","typeName","valuesDeclaration","valuesList",
293"defaultNode","defaultsDeclaration","defaultDeclarationList","annotationsDeclaration",
294"annotationsDeclarationList","annotationDeclaration","mergeDeclaration","mergeClauses",
295"mergeClause","mergeItem","preconditionsDeclaration","postconditionsDeclaration",
296"transfersDeclaration","loseReferenceDeclaration","lostClauses","lostClause",
297"transferClauses","transferClause","transferAction","errorAction","valueChoice", NULL
298};
299#endif
300
301static const short yyr1[] = { 0,
302 49, 49, 50, 50, 51, 52, 52, 53, 53, 53,
303 53, 53, 53, 53, 53, 53, 53, 54, 55, 55,
304 56, 56, 56, 56, 56, 56, 57, 57, 58, 58,
305 59, 59, 60, 61, 61, 62, 62, 62, 63, 63,
306 63, 63, 64, 64, 65, 65, 66, 66, 66, 67,
307 67, 67, 67, 67, 67, 67, 67, 67, 67, 68,
308 69, 70, 70, 71, 72, 73, 73, 74, 75, 75,
309 76, 77, 78, 78, 79, 80, 80, 81, 82, 83,
310 84, 85, 85, 86, 87, 87, 88, 89, 89, 90,
311 90, 91
312};
313
314static const short yyr2[] = { 0,
315 0, 1, 3, 4, 2, 0, 2, 1, 1, 1,
316 1, 1, 1, 1, 1, 1, 1, 2, 0, 1,
317 2, 2, 2, 2, 2, 2, 0, 1, 1, 2,
318 1, 3, 2, 0, 1, 1, 1, 2, 1, 2,
319 2, 3, 1, 1, 1, 2, 3, 2, 3, 1,
320 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
321 2, 1, 3, 2, 2, 3, 4, 2, 1, 2,
322 4, 2, 1, 2, 5, 1, 1, 2, 2, 2,
323 2, 1, 2, 3, 1, 2, 5, 1, 1, 1,
324 2, 1
325};
326
327static const short yydefact[] = { 1,
328 0, 0, 2, 6, 0, 0, 0, 0, 0, 0,
329 0, 0, 0, 0, 0, 0, 5, 6, 8, 9,
330 11, 10, 12, 13, 15, 16, 14, 17, 3, 0,
331 27, 27, 27, 27, 27, 27, 18, 62, 61, 0,
332 65, 92, 64, 19, 68, 69, 77, 72, 73, 0,
333 76, 80, 85, 0, 78, 79, 81, 82, 0, 7,
334 4, 50, 51, 52, 53, 54, 55, 56, 57, 58,
335 60, 22, 28, 29, 31, 34, 59, 21, 23, 24,
336 25, 26, 0, 0, 0, 20, 70, 74, 0, 86,
337 0, 83, 0, 39, 0, 0, 0, 30, 36, 37,
338 35, 33, 63, 66, 0, 0, 0, 90, 84, 43,
339 44, 41, 45, 40, 32, 0, 48, 38, 0, 67,
340 71, 0, 0, 91, 42, 46, 47, 49, 75, 89,
341 88, 87, 0, 0, 0
342};
343
344static const short yydefgoto[] = { 133,
345 3, 5, 17, 18, 19, 85, 40, 72, 73, 74,
346 75, 102, 98, 99, 113, 114, 100, 76, 77, 20,
347 39, 21, 22, 41, 23, 45, 46, 24, 48, 49,
348 50, 25, 26, 27, 28, 57, 58, 52, 53, 129,
349 130, 54
350};
351
352static const short yypact[] = { 4,
353 -37, 35,-32768, 36, 37, -37, 21, 2, 21, 17,
354 18, -19, 17, 17, 17, 17,-32768, 36,-32768,-32768,
355-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768, 63,
356 -23, -23, -23, -23, -23, -23,-32768, 33,-32768, 51,
357-32768,-32768,-32768, 21,-32768, 18,-32768,-32768, -19, 44,
358-32768,-32768, 17, 47,-32768,-32768,-32768, 17, 54,-32768,
359-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
360-32768,-32768,-32768, -5,-32768, -23,-32768,-32768,-32768,-32768,
361-32768,-32768, 2, 17, 55,-32768,-32768,-32768, -19,-32768,
362 17,-32768, 50, -15, -23, 20, 45,-32768, 23, 49,
363 48,-32768,-32768, 21, 17, 60, 64, 38,-32768,-32768,
364-32768,-32768,-32768, -15,-32768, 53,-32768, 49, 52,-32768,
365-32768, -20, -20,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
366-32768,-32768, 86, 87,-32768
367};
368
369static const short yypgoto[] = {-32768,
370-32768, 82, 71,-32768,-32768,-32768, -6, 28, -4, 14,
371-32768,-32768, -3, -87, -22,-32768, -2,-32768,-32768,-32768,
372 11,-32768,-32768, -8,-32768, 56,-32768,-32768, 57,-32768,
373 9,-32768,-32768,-32768,-32768, 41,-32768, -11,-32768, -18,
374 7, -10
375};
376
377
378#define YYLAST 113
379
380
381static const short yytable[] = { 43,
382 37, 51, 55, 56, 108, 59, 112, 47, 1, 2,
383 4, 94, 62, 63, 64, 65, 66, 67, 68, 69,
384 70, 94, 95, 96, 71, 97, 125, 42, 42, 110,
385 111, 31, 32, 33, 34, 35, 36, 86, 51, 6,
386 29, 90, 7, 8, 9, 10, 94, 59, 96, 38,
387 97, 96, 11, 97, 12, 13, 14, 15, 16, 78,
388 79, 80, 81, 82, 42, 44, 61, 83, 84, 89,
389 91, 93, 105, 104, 108, 95, 117, 122, 51, 119,
390 107, 123, 127, 128, 124, 134, 135, 30, 60, 101,
391 115, 126, 116, 103, 121, 120, 118, 106, 92, 109,
392 0, 87, 0, 0, 132, 88, 0, 0, 0, 0,
393 0, 131, 131
394};
395
396static const short yycheck[] = { 10,
397 7, 12, 14, 15, 25, 16, 94, 27, 5, 6,
398 48, 27, 36, 37, 38, 39, 40, 41, 42, 43,
399 44, 27, 28, 29, 48, 31, 114, 48, 48, 45,
400 46, 11, 12, 13, 14, 15, 16, 44, 49, 5,
401 4, 53, 7, 8, 9, 10, 27, 58, 29, 48,
402 31, 29, 17, 31, 19, 20, 21, 22, 23, 32,
403 33, 34, 35, 36, 48, 48, 4, 35, 18, 26,
404 24, 18, 18, 84, 25, 28, 32, 18, 89, 31,
405 91, 18, 30, 32, 47, 0, 0, 6, 18, 76,
406 95, 114, 96, 83, 105, 104, 99, 89, 58, 93,
407 -1, 46, -1, -1, 123, 49, -1, -1, -1, -1,
408 -1, 122, 123
409};
410#define YYPURE 1
411
412/* -*-C-*- Note some compilers choke on comments on `#line' lines. */
413#line 3 "/usr/lib/bison.simple"
414/* This file comes from bison-1.28. */
415
416/* Skeleton output parser for bison,
417 Copyright (C) 1984, 1989, 1990 Free Software Foundation, Inc.
418
419 This program is free software; you can redistribute it and/or modify
420 it under the terms of the GNU General Public License as published by
421 the Free Software Foundation; either version 2, or (at your option)
422 any later version.
423
424 This program is distributed in the hope that it will be useful,
425 but WITHOUT ANY WARRANTY; without even the implied warranty of
426 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
427 GNU General Public License for more details.
428
429 You should have received a copy of the GNU General Public License
430 along with this program; if not, write to the Free Software
431 Foundation, Inc., 59 Temple Place - Suite 330,
432 Boston, MA 02111-1307, USA. */
433
434/* As a special exception, when this file is copied by Bison into a
435 Bison output file, you may use that output file without restriction.
436 This special exception was added by the Free Software Foundation
437 in version 1.24 of Bison. */
438
439/* This is the parser code that is written into each bison parser
440 when the %semantic_parser declaration is not specified in the grammar.
441 It was written by Richard Stallman by simplifying the hairy parser
442 used when %semantic_parser is specified. */
443
444#ifndef YYSTACK_USE_ALLOCA
445#ifdef alloca
446#define YYSTACK_USE_ALLOCA
447#else /* alloca not defined */
448#ifdef __GNUC__
449#define YYSTACK_USE_ALLOCA
450#define alloca __builtin_alloca
451#else /* not GNU C. */
452#if (!defined (__STDC__) && defined (sparc)) || defined (__sparc__) || defined (__sparc) || defined (__sgi) || (defined (__sun) && defined (__i386))
453#define YYSTACK_USE_ALLOCA
454#include <alloca.h>
455#else /* not sparc */
456/* We think this test detects Watcom and Microsoft C. */
457/* This used to test MSDOS, but that is a bad idea
458 since that symbol is in the user namespace. */
459#if (defined (_MSDOS) || defined (_MSDOS_)) && !defined (__TURBOC__)
460#if 0 /* No need for malloc.h, which pollutes the namespace;
461 instead, just don't use alloca. */
462#include <malloc.h>
463#endif
464#else /* not MSDOS, or __TURBOC__ */
465#if defined(_AIX)
466/* I don't know what this was needed for, but it pollutes the namespace.
467 So I turned it off. rms, 2 May 1997. */
468/* #include <malloc.h> */
469 #pragma alloca
470#define YYSTACK_USE_ALLOCA
471#else /* not MSDOS, or __TURBOC__, or _AIX */
472#if 0
473#ifdef __hpux /* haible@ilog.fr says this works for HPUX 9.05 and up,
474 and on HPUX 10. Eventually we can turn this on. */
475#define YYSTACK_USE_ALLOCA
476#define alloca __builtin_alloca
477#endif /* __hpux */
478#endif
479#endif /* not _AIX */
480#endif /* not MSDOS, or __TURBOC__ */
481#endif /* not sparc */
482#endif /* not GNU C */
483#endif /* alloca not defined */
484#endif /* YYSTACK_USE_ALLOCA not defined */
485
486#ifdef YYSTACK_USE_ALLOCA
487#define YYSTACK_ALLOC alloca
488#else
489#define YYSTACK_ALLOC malloc
490#endif
491
492/* Note: there must be only one dollar sign in this file.
493 It is replaced by the list of actions, each action
494 as one case of the switch. */
495
496#define yyerrok (yyerrstatus = 0)
497#define yyclearin (yychar = YYEMPTY)
498#define YYEMPTY -2
499#define YYEOF 0
500#define YYACCEPT goto yyacceptlab
501#define YYABORT goto yyabortlab
502#define YYERROR goto yyerrlab1
503/* Like YYERROR except do call yyerror.
504 This remains here temporarily to ease the
505 transition to the new meaning of YYERROR, for GCC.
506 Once GCC version 2 has supplanted version 1, this can go. */
507#define YYFAIL goto yyerrlab
508#define YYRECOVERING() (!!yyerrstatus)
509#define YYBACKUP(token, value) \
510do \
511 if (yychar == YYEMPTY && yylen == 1) \
512 { yychar = (token), yylval = (value); \
513 yychar1 = YYTRANSLATE (yychar); \
514 YYPOPSTACK; \
515 goto yybackup; \
516 } \
517 else \
518 { yyerror ("syntax error: cannot back up"); YYERROR; } \
519while (0)
520
521#define YYTERROR 1
522#define YYERRCODE 256
523
524#ifndef YYPURE
525#define YYLEX yylex()
526#endif
527
528#ifdef YYPURE
529#ifdef YYLSP_NEEDED
530#ifdef YYLEX_PARAM
531#define YYLEX yylex(&yylval, &yylloc, YYLEX_PARAM)
532#else
533#define YYLEX yylex(&yylval, &yylloc)
534#endif
535#else /* not YYLSP_NEEDED */
536#ifdef YYLEX_PARAM
537#define YYLEX yylex(&yylval, YYLEX_PARAM)
538#else
539#define YYLEX yylex(&yylval)
540#endif
541#endif /* not YYLSP_NEEDED */
542#endif
543
544/* If nonreentrant, generate the variables here */
545
546#ifndef YYPURE
547
548int yychar; /* the lookahead symbol */
549YYSTYPE yylval; /* the semantic value of the */
550 /* lookahead symbol */
551
552#ifdef YYLSP_NEEDED
553YYLTYPE yylloc; /* location data for the lookahead */
554 /* symbol */
555#endif
556
557int yynerrs; /* number of parse errors so far */
558#endif /* not YYPURE */
559
560#if YYDEBUG != 0
561int yydebug; /* nonzero means print parse trace */
562/* Since this is uninitialized, it does not stop multiple parsers
563 from coexisting. */
564#endif
565
566/* YYINITDEPTH indicates the initial size of the parser's stacks */
567
568#ifndef YYINITDEPTH
569#define YYINITDEPTH 200
570#endif
571
572/* YYMAXDEPTH is the maximum size the stacks can grow to
573 (effective only if the built-in stack extension method is used). */
574
575#if YYMAXDEPTH == 0
576#undef YYMAXDEPTH
577#endif
578
579#ifndef YYMAXDEPTH
580#define YYMAXDEPTH 10000
581#endif
582\f
583/* Define __yy_memcpy. Note that the size argument
584 should be passed with type unsigned int, because that is what the non-GCC
585 definitions require. With GCC, __builtin_memcpy takes an arg
586 of type size_t, but it can handle unsigned int. */
587
588#if __GNUC__ > 1 /* GNU C and GNU C++ define this. */
589#define __yy_memcpy(TO,FROM,COUNT) __builtin_memcpy(TO,FROM,COUNT)
590#else /* not GNU C or C++ */
591#ifndef __cplusplus
592
593/* This is the most reliable way to avoid incompatibilities
594 in available built-in functions on various systems. */
595static void
596__yy_memcpy (to, from, count)
597 char *to;
598 char *from;
599 unsigned int count;
600{
601 register char *f = from;
602 register char *t = to;
603 register int i = count;
604
605 while (i-- > 0)
606 *t++ = *f++;
607}
608
609#else /* __cplusplus */
610
611/* This is the most reliable way to avoid incompatibilities
612 in available built-in functions on various systems. */
613static void
614__yy_memcpy (char *to, char *from, unsigned int count)
615{
616 register char *t = to;
617 register char *f = from;
618 register int i = count;
619
620 while (i-- > 0)
621 *t++ = *f++;
622}
623
624#endif
625#endif
626\f
627#line 217 "/usr/lib/bison.simple"
628
629/* The user can define YYPARSE_PARAM as the name of an argument to be passed
630 into yyparse. The argument should have type void *.
631 It should actually point to an object.
632 Grammar actions can access the variable by casting it
633 to the proper pointer type. */
634
635#ifdef YYPARSE_PARAM
636#ifdef __cplusplus
637#define YYPARSE_PARAM_ARG void *YYPARSE_PARAM
638#define YYPARSE_PARAM_DECL
639#else /* not __cplusplus */
640#define YYPARSE_PARAM_ARG YYPARSE_PARAM
641#define YYPARSE_PARAM_DECL void *YYPARSE_PARAM;
642#endif /* not __cplusplus */
643#else /* not YYPARSE_PARAM */
644#define YYPARSE_PARAM_ARG
645#define YYPARSE_PARAM_DECL
646#endif /* not YYPARSE_PARAM */
647
648/* Prevent warning if -Wstrict-prototypes. */
649#ifdef __GNUC__
650#ifdef YYPARSE_PARAM
651int yyparse (void *);
652#else
653int yyparse (void);
654#endif
655#endif
656
657int
658yyparse(YYPARSE_PARAM_ARG)
659 YYPARSE_PARAM_DECL
660{
661 register int yystate;
662 register int yyn;
663 register short *yyssp;
664 register YYSTYPE *yyvsp;
665 int yyerrstatus; /* number of tokens to shift before error messages enabled */
666 int yychar1 = 0; /* lookahead token as an internal (translated) token number */
667
668 short yyssa[YYINITDEPTH]; /* the state stack */
669 YYSTYPE yyvsa[YYINITDEPTH]; /* the semantic value stack */
670
671 short *yyss = yyssa; /* refer to the stacks thru separate pointers */
672 YYSTYPE *yyvs = yyvsa; /* to allow yyoverflow to reallocate them elsewhere */
673
674#ifdef YYLSP_NEEDED
675 YYLTYPE yylsa[YYINITDEPTH]; /* the location stack */
676 YYLTYPE *yyls = yylsa;
677 YYLTYPE *yylsp;
678
679#define YYPOPSTACK (yyvsp--, yyssp--, yylsp--)
680#else
681#define YYPOPSTACK (yyvsp--, yyssp--)
682#endif
683
684 int yystacksize = YYINITDEPTH;
685 int yyfree_stacks = 0;
686
687#ifdef YYPURE
688 int yychar;
689 YYSTYPE yylval;
690 int yynerrs;
691#ifdef YYLSP_NEEDED
692 YYLTYPE yylloc;
693#endif
694#endif
695
696 YYSTYPE yyval; /* the variable used to return */
697 /* semantic values from the action */
698 /* routines */
699
700 int yylen;
701
702#if YYDEBUG != 0
703 if (yydebug)
704 fprintf(stderr, "Starting parse\n");
705#endif
706
707 yystate = 0;
708 yyerrstatus = 0;
709 yynerrs = 0;
710 yychar = YYEMPTY; /* Cause a token to be read. */
711
712 /* Initialize stack pointers.
713 Waste one element of value and location stack
714 so that they stay on the same level as the state stack.
715 The wasted elements are never initialized. */
716
717 yyssp = yyss - 1;
718 yyvsp = yyvs;
719#ifdef YYLSP_NEEDED
720 yylsp = yyls;
721#endif
722
723/* Push a new state, which is found in yystate . */
724/* In all cases, when you get here, the value and location stacks
725 have just been pushed. so pushing a state here evens the stacks. */
726yynewstate:
727
728 *++yyssp = yystate;
729
730 if (yyssp >= yyss + yystacksize - 1)
731 {
732 /* Give user a chance to reallocate the stack */
733 /* Use copies of these so that the &'s don't force the real ones into memory. */
734 YYSTYPE *yyvs1 = yyvs;
735 short *yyss1 = yyss;
736#ifdef YYLSP_NEEDED
737 YYLTYPE *yyls1 = yyls;
738#endif
739
740 /* Get the current used size of the three stacks, in elements. */
741 int size = yyssp - yyss + 1;
742
743#ifdef yyoverflow
744 /* Each stack pointer address is followed by the size of
745 the data in use in that stack, in bytes. */
746#ifdef YYLSP_NEEDED
747 /* This used to be a conditional around just the two extra args,
748 but that might be undefined if yyoverflow is a macro. */
749 yyoverflow("parser stack overflow",
750 &yyss1, size * sizeof (*yyssp),
751 &yyvs1, size * sizeof (*yyvsp),
752 &yyls1, size * sizeof (*yylsp),
753 &yystacksize);
754#else
755 yyoverflow("parser stack overflow",
756 &yyss1, size * sizeof (*yyssp),
757 &yyvs1, size * sizeof (*yyvsp),
758 &yystacksize);
759#endif
760
761 yyss = yyss1; yyvs = yyvs1;
762#ifdef YYLSP_NEEDED
763 yyls = yyls1;
764#endif
765#else /* no yyoverflow */
766 /* Extend the stack our own way. */
767 if (yystacksize >= YYMAXDEPTH)
768 {
769 yyerror("parser stack overflow");
770 if (yyfree_stacks)
771 {
772 free (yyss);
773 free (yyvs);
774#ifdef YYLSP_NEEDED
775 free (yyls);
776#endif
777 }
778 return 2;
779 }
780 yystacksize *= 2;
781 if (yystacksize > YYMAXDEPTH)
782 yystacksize = YYMAXDEPTH;
783#ifndef YYSTACK_USE_ALLOCA
784 yyfree_stacks = 1;
785#endif
786 yyss = (short *) YYSTACK_ALLOC (yystacksize * sizeof (*yyssp));
787 __yy_memcpy ((char *)yyss, (char *)yyss1,
788 size * (unsigned int) sizeof (*yyssp));
789 yyvs = (YYSTYPE *) YYSTACK_ALLOC (yystacksize * sizeof (*yyvsp));
790 __yy_memcpy ((char *)yyvs, (char *)yyvs1,
791 size * (unsigned int) sizeof (*yyvsp));
792#ifdef YYLSP_NEEDED
793 yyls = (YYLTYPE *) YYSTACK_ALLOC (yystacksize * sizeof (*yylsp));
794 __yy_memcpy ((char *)yyls, (char *)yyls1,
795 size * (unsigned int) sizeof (*yylsp));
796#endif
797#endif /* no yyoverflow */
798
799 yyssp = yyss + size - 1;
800 yyvsp = yyvs + size - 1;
801#ifdef YYLSP_NEEDED
802 yylsp = yyls + size - 1;
803#endif
804
805#if YYDEBUG != 0
806 if (yydebug)
807 fprintf(stderr, "Stack size increased to %d\n", yystacksize);
808#endif
809
810 if (yyssp >= yyss + yystacksize - 1)
811 YYABORT;
812 }
813
814#if YYDEBUG != 0
815 if (yydebug)
816 fprintf(stderr, "Entering state %d\n", yystate);
817#endif
818
819 goto yybackup;
820 yybackup:
821
822/* Do appropriate processing given the current state. */
823/* Read a lookahead token if we need one and don't already have one. */
824/* yyresume: */
825
826 /* First try to decide what to do without reference to lookahead token. */
827
828 yyn = yypact[yystate];
829 if (yyn == YYFLAG)
830 goto yydefault;
831
832 /* Not known => get a lookahead token if don't already have one. */
833
834 /* yychar is either YYEMPTY or YYEOF
835 or a valid token in external form. */
836
837 if (yychar == YYEMPTY)
838 {
839#if YYDEBUG != 0
840 if (yydebug)
841 fprintf(stderr, "Reading a token: ");
842#endif
843 yychar = YYLEX;
844 }
845
846 /* Convert token to internal form (in yychar1) for indexing tables with */
847
848 if (yychar <= 0) /* This means end of input. */
849 {
850 yychar1 = 0;
851 yychar = YYEOF; /* Don't call YYLEX any more */
852
853#if YYDEBUG != 0
854 if (yydebug)
855 fprintf(stderr, "Now at end of input.\n");
856#endif
857 }
858 else
859 {
860 yychar1 = YYTRANSLATE(yychar);
861
862#if YYDEBUG != 0
863 if (yydebug)
864 {
865 fprintf (stderr, "Next token is %d (%s", yychar, yytname[yychar1]);
866 /* Give the individual parser a way to print the precise meaning
867 of a token, for further debugging info. */
868#ifdef YYPRINT
869 YYPRINT (stderr, yychar, yylval);
870#endif
871 fprintf (stderr, ")\n");
872 }
873#endif
874 }
875
876 yyn += yychar1;
877 if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != yychar1)
878 goto yydefault;
879
880 yyn = yytable[yyn];
881
882 /* yyn is what to do for this token type in this state.
883 Negative => reduce, -yyn is rule number.
884 Positive => shift, yyn is new state.
885 New state is final state => don't bother to shift,
886 just return success.
887 0, or most negative number => error. */
888
889 if (yyn < 0)
890 {
891 if (yyn == YYFLAG)
892 goto yyerrlab;
893 yyn = -yyn;
894 goto yyreduce;
895 }
896 else if (yyn == 0)
897 goto yyerrlab;
898
899 if (yyn == YYFINAL)
900 YYACCEPT;
901
902 /* Shift the lookahead token. */
903
904#if YYDEBUG != 0
905 if (yydebug)
906 fprintf(stderr, "Shifting token %d (%s), ", yychar, yytname[yychar1]);
907#endif
908
909 /* Discard the token being shifted unless it is eof. */
910 if (yychar != YYEOF)
911 yychar = YYEMPTY;
912
913 *++yyvsp = yylval;
914#ifdef YYLSP_NEEDED
915 *++yylsp = yylloc;
916#endif
917
918 /* count tokens shifted since error; after three, turn off error status. */
919 if (yyerrstatus) yyerrstatus--;
920
921 yystate = yyn;
922 goto yynewstate;
923
924/* Do the default action for the current state. */
925yydefault:
926
927 yyn = yydefact[yystate];
928 if (yyn == 0)
929 goto yyerrlab;
930
931/* Do a reduction. yyn is the number of a rule to reduce with. */
932yyreduce:
933 yylen = yyr2[yyn];
934 if (yylen > 0)
935 yyval = yyvsp[1-yylen]; /* implement default value of the action */
936
937#if YYDEBUG != 0
938 if (yydebug)
939 {
940 int i;
941
942 fprintf (stderr, "Reducing via rule %d (line %d), ",
943 yyn, yyrline[yyn]);
944
945 /* Print the symbols being reduced, and their result. */
946 for (i = yyprhs[yyn]; yyrhs[i] > 0; i++)
947 fprintf (stderr, "%s ", yytname[yyrhs[i]]);
948 fprintf (stderr, " -> %s\n", yytname[yyr1[yyn]]);
949 }
950#endif
951
952
953 switch (yyn) {
954
955case 1:
956#line 152 "mtgrammar.y"
957{;
958 break;}
959case 2:
960#line 153 "mtgrammar.y"
961{;
962 break;}
963case 3:
964#line 157 "mtgrammar.y"
965{ mtreader_processDeclaration (yyvsp[-1].mtdecl); ;
966 break;}
967case 4:
968#line 159 "mtgrammar.y"
969{ mtreader_processGlobalDeclaration (yyvsp[-1].mtdecl); ;
970 break;}
971case 5:
972#line 163 "mtgrammar.y"
973{ yyval.mtdecl = mtDeclarationNode_create (yyvsp[-1].tok, yyvsp[0].mtpieces); ;
974 break;}
975case 6:
976#line 166 "mtgrammar.y"
977{ yyval.mtpieces = mtDeclarationPieces_create (); ;
978 break;}
979case 7:
980#line 168 "mtgrammar.y"
981{ yyval.mtpieces = mtDeclarationPieces_append (yyvsp[0].mtpieces, yyvsp[-1].mtpiece); ;
982 break;}
983case 8:
984#line 171 "mtgrammar.y"
985{ yyval.mtpiece = mtDeclarationPiece_createContext (yyvsp[0].mtcontext); ;
986 break;}
987case 9:
988#line 172 "mtgrammar.y"
989{ yyval.mtpiece = mtDeclarationPiece_createValues (yyvsp[0].mtvalues); ;
990 break;}
991case 10:
992#line 173 "mtgrammar.y"
993{ yyval.mtpiece = mtDeclarationPiece_createDefaults (yyvsp[0].mtdefaults); ;
994 break;}
995case 11:
996#line 174 "mtgrammar.y"
997{ yyval.mtpiece = mtDeclarationPiece_createValueDefault (yyvsp[0].tok); ;
998 break;}
999case 12:
1000#line 175 "mtgrammar.y"
1001{ yyval.mtpiece = mtDeclarationPiece_createAnnotations (yyvsp[0].mtannotations); ;
1002 break;}
1003case 13:
1004#line 176 "mtgrammar.y"
1005{ yyval.mtpiece = mtDeclarationPiece_createMerge (yyvsp[0].mtmerge); ;
1006 break;}
1007case 14:
1008#line 177 "mtgrammar.y"
1009{ yyval.mtpiece = mtDeclarationPiece_createTransfers (yyvsp[0].mttransferclauselist); ;
1010 break;}
1011case 15:
1012#line 178 "mtgrammar.y"
1013{ yyval.mtpiece = mtDeclarationPiece_createPreconditions (yyvsp[0].mttransferclauselist); ;
1014 break;}
1015case 16:
1016#line 179 "mtgrammar.y"
1017{ yyval.mtpiece = mtDeclarationPiece_createPostconditions (yyvsp[0].mttransferclauselist); ;
1018 break;}
1019case 17:
1020#line 180 "mtgrammar.y"
1021{ yyval.mtpiece = mtDeclarationPiece_createLosers (yyvsp[0].mtlosereferencelist); ;
1022 break;}
1023case 18:
1024#line 183 "mtgrammar.y"
1025{ yyval.mtcontext = yyvsp[0].mtcontext; ;
1026 break;}
1027case 19:
1028#line 187 "mtgrammar.y"
1029{ yyval.mtcontext = mtContextNode_createAny (); ;
1030 break;}
1031case 21:
1032#line 191 "mtgrammar.y"
1033{ yyval.mtcontext = mtContextNode_createParameter (yyvsp[0].ctyp); ;
1034 break;}
1035case 22:
1036#line 192 "mtgrammar.y"
1037{ yyval.mtcontext = mtContextNode_createReference (yyvsp[0].ctyp); ;
1038 break;}
1039case 23:
1040#line 193 "mtgrammar.y"
1041{ yyval.mtcontext = mtContextNode_createResult (yyvsp[0].ctyp); ;
1042 break;}
1043case 24:
1044#line 194 "mtgrammar.y"
1045{ yyval.mtcontext = mtContextNode_createClause (yyvsp[0].ctyp); ;
1046 break;}
1047case 25:
1048#line 195 "mtgrammar.y"
1049{ yyval.mtcontext = mtContextNode_createLiteral (yyvsp[0].ctyp); ;
1050 break;}
1051case 26:
1052#line 196 "mtgrammar.y"
1053{ yyval.mtcontext = mtContextNode_createNull (yyvsp[0].ctyp); ;
1054 break;}
1055case 27:
1056#line 203 "mtgrammar.y"
1057{ yyval.ctyp = ctype_unknown; ;
1058 break;}
1059case 28:
1060#line 204 "mtgrammar.y"
1061{ DPRINTF (("Type: %s", qtype_unparse (yyvsp[0].qtyp))); yyval.ctyp = qtype_getType (yyvsp[0].qtyp); ;
1062 break;}
1063case 30:
1064#line 208 "mtgrammar.y"
1065{ yyval.qtyp = qtype_newBase (yyvsp[-1].qtyp, yyvsp[0].ctyp); ;
1066 break;}
1067case 31:
1068#line 211 "mtgrammar.y"
1069{ yyval.qtyp = yyvsp[0].qtyp; ;
1070 break;}
1071case 32:
1072#line 213 "mtgrammar.y"
1073{ yyval.qtyp = qtype_mergeAlt (yyvsp[-2].qtyp, yyvsp[0].qtyp); ;
1074 break;}
1075case 33:
1076#line 216 "mtgrammar.y"
1077{ yyval.qtyp = qtype_combine (yyvsp[0].qtyp, yyvsp[-1].ctyp); ;
1078 break;}
1079case 34:
1080#line 219 "mtgrammar.y"
1081{ yyval.qtyp = qtype_unknown (); ;
1082 break;}
1083case 35:
1084#line 220 "mtgrammar.y"
1085{ yyval.qtyp = yyvsp[0].qtyp; ;
1086 break;}
1087case 36:
1088#line 224 "mtgrammar.y"
1089{ yyval.ctyp = ctype_adjustPointers (yyvsp[0].count, ctype_unknown); ;
1090 break;}
1091case 38:
1092#line 226 "mtgrammar.y"
1093{ yyval.ctyp = ctype_adjustPointers (yyvsp[-1].count, yyvsp[0].ctyp); ;
1094 break;}
1095case 39:
1096#line 229 "mtgrammar.y"
1097{ yyval.count = 1; ;
1098 break;}
1099case 40:
1100#line 230 "mtgrammar.y"
1101{ yyval.count = 1; ;
1102 break;}
1103case 41:
1104#line 231 "mtgrammar.y"
1105{ yyval.count = 1 + yyvsp[0].count; ;
1106 break;}
1107case 42:
1108#line 232 "mtgrammar.y"
1109{ yyval.count = 1 + yyvsp[0].count; ;
1110 break;}
1111case 43:
1112#line 235 "mtgrammar.y"
1113{ /* ignored for now */; ;
1114 break;}
1115case 44:
1116#line 236 "mtgrammar.y"
1117{ ; ;
1118 break;}
1119case 45:
1120#line 239 "mtgrammar.y"
1121{ ; ;
1122 break;}
1123case 46:
1124#line 240 "mtgrammar.y"
1125{ ; ;
1126 break;}
1127case 47:
1128#line 243 "mtgrammar.y"
1129{ yyval.ctyp = ctype_expectFunction (yyvsp[-1].ctyp); ;
1130 break;}
1131case 48:
1132#line 244 "mtgrammar.y"
1133{ yyval.ctyp = ctype_makeArray (ctype_unknown); ;
1134 break;}
1135case 49:
1136#line 245 "mtgrammar.y"
1137{ yyval.ctyp = ctype_makeArray (yyvsp[-2].ctyp); ;
1138 break;}
1139case 50:
1140#line 252 "mtgrammar.y"
1141{ yyval.ctyp = ctype_char; ;
1142 break;}
1143case 51:
1144#line 253 "mtgrammar.y"
1145{ yyval.ctyp = ctype_int; ;
1146 break;}
1147case 52:
1148#line 254 "mtgrammar.y"
1149{ yyval.ctyp = ctype_float; ;
1150 break;}
1151case 53:
1152#line 255 "mtgrammar.y"
1153{ yyval.ctyp = ctype_double; ;
1154 break;}
1155case 54:
1156#line 256 "mtgrammar.y"
1157{ yyval.ctyp = ctype_void; ;
1158 break;}
1159case 55:
1160#line 257 "mtgrammar.y"
1161{ yyval.ctyp = ctype_unknown; ;
1162 break;}
1163case 56:
1164#line 258 "mtgrammar.y"
1165{ yyval.ctyp = ctype_anyintegral; ;
1166 break;}
1167case 57:
1168#line 259 "mtgrammar.y"
1169{ yyval.ctyp = ctype_unsignedintegral; ;
1170 break;}
1171case 58:
1172#line 260 "mtgrammar.y"
1173{ yyval.ctyp = ctype_signedintegral; ;
1174 break;}
1175case 60:
1176#line 267 "mtgrammar.y"
1177{ yyval.ctyp = mtscanner_lookupType (yyvsp[0].tok); ;
1178 break;}
1179case 61:
1180#line 270 "mtgrammar.y"
1181{ yyval.mtvalues = mtValuesNode_create (yyvsp[0].cstringlist); ;
1182 break;}
1183case 62:
1184#line 273 "mtgrammar.y"
1185{ yyval.cstringlist = cstringList_single (mttok_getText (yyvsp[0].tok)); ;
1186 break;}
1187case 63:
1188#line 275 "mtgrammar.y"
1189{ yyval.cstringlist = cstringList_prepend (yyvsp[0].cstringlist, mttok_getText (yyvsp[-2].tok)); ;
1190 break;}
1191case 64:
1192#line 278 "mtgrammar.y"
1193{ yyval.tok = yyvsp[0].tok; ;
1194 break;}
1195case 65:
1196#line 281 "mtgrammar.y"
1197{ yyval.mtdefaults = mtDefaultsNode_create (yyvsp[-1].tok, yyvsp[0].mtdeflist); ;
1198 break;}
1199case 66:
1200#line 285 "mtgrammar.y"
1201{ yyval.mtdeflist = mtDefaultsDeclList_single (mtDefaultsDecl_create (yyvsp[-2].mtcontext, yyvsp[0].tok)); ;
1202 break;}
1203case 67:
1204#line 287 "mtgrammar.y"
1205{ yyval.mtdeflist = mtDefaultsDeclList_prepend (yyvsp[0].mtdeflist, mtDefaultsDecl_create (yyvsp[-3].mtcontext, yyvsp[-1].tok)); ;
1206 break;}
1207case 68:
1208#line 290 "mtgrammar.y"
1209{ yyval.mtannotations = mtAnnotationsNode_create (yyvsp[0].mtannotlist); ;
1210 break;}
1211case 69:
1212#line 293 "mtgrammar.y"
1213{ yyval.mtannotlist = mtAnnotationList_single (yyvsp[0].mtannotdecl); ;
1214 break;}
1215case 70:
1216#line 295 "mtgrammar.y"
1217{ yyval.mtannotlist = mtAnnotationList_prepend (yyvsp[0].mtannotlist, yyvsp[-1].mtannotdecl); ;
1218 break;}
1219case 71:
1220#line 299 "mtgrammar.y"
1221{ yyval.mtannotdecl = mtAnnotationDecl_create (yyvsp[-3].tok, yyvsp[-2].mtcontext, yyvsp[0].tok); ;
1222 break;}
1223case 72:
1224#line 302 "mtgrammar.y"
1225{ yyval.mtmerge = mtMergeNode_create (yyvsp[0].mtmergeclauselist); ;
1226 break;}
1227case 73:
1228#line 305 "mtgrammar.y"
1229{ yyval.mtmergeclauselist = mtMergeClauseList_single (yyvsp[0].mtmergeclause); ;
1230 break;}
1231case 74:
1232#line 306 "mtgrammar.y"
1233{ yyval.mtmergeclauselist = mtMergeClauseList_prepend (yyvsp[0].mtmergeclauselist, yyvsp[-1].mtmergeclause); ;
1234 break;}
1235case 75:
1236#line 310 "mtgrammar.y"
1237{ yyval.mtmergeclause = mtMergeClause_create (yyvsp[-4].mtmergeitem, yyvsp[-2].mtmergeitem, yyvsp[0].mttransferaction); ;
1238 break;}
1239case 76:
1240#line 313 "mtgrammar.y"
1241{ yyval.mtmergeitem = mtMergeItem_createValue (yyvsp[0].tok); ;
1242 break;}
1243case 77:
1244#line 314 "mtgrammar.y"
1245{ yyval.mtmergeitem = mtMergeItem_createStar (yyvsp[0].tok); ;
1246 break;}
1247case 78:
1248#line 317 "mtgrammar.y"
1249{ yyval.mttransferclauselist = yyvsp[0].mttransferclauselist; ;
1250 break;}
1251case 79:
1252#line 320 "mtgrammar.y"
1253{ yyval.mttransferclauselist = yyvsp[0].mttransferclauselist; ;
1254 break;}
1255case 80:
1256#line 323 "mtgrammar.y"
1257{ yyval.mttransferclauselist = yyvsp[0].mttransferclauselist; ;
1258 break;}
1259case 81:
1260#line 326 "mtgrammar.y"
1261{ yyval.mtlosereferencelist = yyvsp[0].mtlosereferencelist; ;
1262 break;}
1263case 82:
1264#line 329 "mtgrammar.y"
1265{ yyval.mtlosereferencelist = mtLoseReferenceList_single (yyvsp[0].mtlosereference); ;
1266 break;}
1267case 83:
1268#line 330 "mtgrammar.y"
1269{ yyval.mtlosereferencelist = mtLoseReferenceList_prepend (yyvsp[0].mtlosereferencelist, yyvsp[-1].mtlosereference); ;
1270 break;}
1271case 84:
1272#line 333 "mtgrammar.y"
1273{ yyval.mtlosereference = mtLoseReference_create (yyvsp[-2].tok, yyvsp[0].mttransferaction); ;
1274 break;}
1275case 85:
1276#line 336 "mtgrammar.y"
1277{ yyval.mttransferclauselist = mtTransferClauseList_single (yyvsp[0].mttransferclause); ;
1278 break;}
1279case 86:
1280#line 337 "mtgrammar.y"
1281{ yyval.mttransferclauselist = mtTransferClauseList_prepend (yyvsp[0].mttransferclauselist, yyvsp[-1].mttransferclause); ;
1282 break;}
1283case 87:
1284#line 341 "mtgrammar.y"
1285{ yyval.mttransferclause = mtTransferClause_create (yyvsp[-4].tok, yyvsp[-2].tok, yyvsp[0].mttransferaction); ;
1286 break;}
1287case 88:
1288#line 344 "mtgrammar.y"
1289{ yyval.mttransferaction = mtTransferAction_createValue (yyvsp[0].tok); ;
1290 break;}
1291case 89:
1292#line 345 "mtgrammar.y"
1293{ yyval.mttransferaction = yyvsp[0].mttransferaction; ;
1294 break;}
1295case 90:
1296#line 348 "mtgrammar.y"
1297{ yyval.mttransferaction = mtTransferAction_createError (yyvsp[0].tok); ;
1298 break;}
1299case 91:
1300#line 349 "mtgrammar.y"
1301{ yyval.mttransferaction = mtTransferAction_createErrorMessage (yyvsp[0].tok); ;
1302 break;}
1303}
1304 /* the action file gets copied in in place of this dollarsign */
1305#line 543 "/usr/lib/bison.simple"
1306\f
1307 yyvsp -= yylen;
1308 yyssp -= yylen;
1309#ifdef YYLSP_NEEDED
1310 yylsp -= yylen;
1311#endif
1312
1313#if YYDEBUG != 0
1314 if (yydebug)
1315 {
1316 short *ssp1 = yyss - 1;
1317 fprintf (stderr, "state stack now");
1318 while (ssp1 != yyssp)
1319 fprintf (stderr, " %d", *++ssp1);
1320 fprintf (stderr, "\n");
1321 }
1322#endif
1323
1324 *++yyvsp = yyval;
1325
1326#ifdef YYLSP_NEEDED
1327 yylsp++;
1328 if (yylen == 0)
1329 {
1330 yylsp->first_line = yylloc.first_line;
1331 yylsp->first_column = yylloc.first_column;
1332 yylsp->last_line = (yylsp-1)->last_line;
1333 yylsp->last_column = (yylsp-1)->last_column;
1334 yylsp->text = 0;
1335 }
1336 else
1337 {
1338 yylsp->last_line = (yylsp+yylen-1)->last_line;
1339 yylsp->last_column = (yylsp+yylen-1)->last_column;
1340 }
1341#endif
1342
1343 /* Now "shift" the result of the reduction.
1344 Determine what state that goes to,
1345 based on the state we popped back to
1346 and the rule number reduced by. */
1347
1348 yyn = yyr1[yyn];
1349
1350 yystate = yypgoto[yyn - YYNTBASE] + *yyssp;
1351 if (yystate >= 0 && yystate <= YYLAST && yycheck[yystate] == *yyssp)
1352 yystate = yytable[yystate];
1353 else
1354 yystate = yydefgoto[yyn - YYNTBASE];
1355
1356 goto yynewstate;
1357
1358yyerrlab: /* here on detecting error */
1359
1360 if (! yyerrstatus)
1361 /* If not already recovering from an error, report this error. */
1362 {
1363 ++yynerrs;
1364
1365#ifdef YYERROR_VERBOSE
1366 yyn = yypact[yystate];
1367
1368 if (yyn > YYFLAG && yyn < YYLAST)
1369 {
1370 int size = 0;
1371 char *msg;
1372 int x, count;
1373
1374 count = 0;
1375 /* Start X at -yyn if nec to avoid negative indexes in yycheck. */
1376 for (x = (yyn < 0 ? -yyn : 0);
1377 x < (sizeof(yytname) / sizeof(char *)); x++)
1378 if (yycheck[x + yyn] == x)
1379 size += strlen(yytname[x]) + 15, count++;
1380 msg = (char *) malloc(size + 15);
1381 if (msg != 0)
1382 {
1383 strcpy(msg, "parse error");
1384
1385 if (count < 5)
1386 {
1387 count = 0;
1388 for (x = (yyn < 0 ? -yyn : 0);
1389 x < (sizeof(yytname) / sizeof(char *)); x++)
1390 if (yycheck[x + yyn] == x)
1391 {
1392 strcat(msg, count == 0 ? ", expecting `" : " or `");
1393 strcat(msg, yytname[x]);
1394 strcat(msg, "'");
1395 count++;
1396 }
1397 }
1398 yyerror(msg);
1399 free(msg);
1400 }
1401 else
1402 yyerror ("parse error; also virtual memory exceeded");
1403 }
1404 else
1405#endif /* YYERROR_VERBOSE */
1406 yyerror("parse error");
1407 }
1408
1409 goto yyerrlab1;
1410yyerrlab1: /* here on error raised explicitly by an action */
1411
1412 if (yyerrstatus == 3)
1413 {
1414 /* if just tried and failed to reuse lookahead token after an error, discard it. */
1415
1416 /* return failure if at end of input */
1417 if (yychar == YYEOF)
1418 YYABORT;
1419
1420#if YYDEBUG != 0
1421 if (yydebug)
1422 fprintf(stderr, "Discarding token %d (%s).\n", yychar, yytname[yychar1]);
1423#endif
1424
1425 yychar = YYEMPTY;
1426 }
1427
1428 /* Else will try to reuse lookahead token
1429 after shifting the error token. */
1430
1431 yyerrstatus = 3; /* Each real token shifted decrements this */
1432
1433 goto yyerrhandle;
1434
1435yyerrdefault: /* current state does not do anything special for the error token. */
1436
1437#if 0
1438 /* This is wrong; only states that explicitly want error tokens
1439 should shift them. */
1440 yyn = yydefact[yystate]; /* If its default is to accept any token, ok. Otherwise pop it.*/
1441 if (yyn) goto yydefault;
1442#endif
1443
1444yyerrpop: /* pop the current state because it cannot handle the error token */
1445
1446 if (yyssp == yyss) YYABORT;
1447 yyvsp--;
1448 yystate = *--yyssp;
1449#ifdef YYLSP_NEEDED
1450 yylsp--;
1451#endif
1452
1453#if YYDEBUG != 0
1454 if (yydebug)
1455 {
1456 short *ssp1 = yyss - 1;
1457 fprintf (stderr, "Error: state stack now");
1458 while (ssp1 != yyssp)
1459 fprintf (stderr, " %d", *++ssp1);
1460 fprintf (stderr, "\n");
1461 }
1462#endif
1463
1464yyerrhandle:
1465
1466 yyn = yypact[yystate];
1467 if (yyn == YYFLAG)
1468 goto yyerrdefault;
1469
1470 yyn += YYTERROR;
1471 if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != YYTERROR)
1472 goto yyerrdefault;
1473
1474 yyn = yytable[yyn];
1475 if (yyn < 0)
1476 {
1477 if (yyn == YYFLAG)
1478 goto yyerrpop;
1479 yyn = -yyn;
1480 goto yyreduce;
1481 }
1482 else if (yyn == 0)
1483 goto yyerrpop;
1484
1485 if (yyn == YYFINAL)
1486 YYACCEPT;
1487
1488#if YYDEBUG != 0
1489 if (yydebug)
1490 fprintf(stderr, "Shifting error token, ");
1491#endif
1492
1493 *++yyvsp = yylval;
1494#ifdef YYLSP_NEEDED
1495 *++yylsp = yylloc;
1496#endif
1497
1498 yystate = yyn;
1499 goto yynewstate;
1500
1501 yyacceptlab:
1502 /* YYACCEPT comes here. */
1503 if (yyfree_stacks)
1504 {
1505 free (yyss);
1506 free (yyvs);
1507#ifdef YYLSP_NEEDED
1508 free (yyls);
1509#endif
1510 }
1511 return 0;
1512
1513 yyabortlab:
1514 /* YYABORT comes here. */
1515 if (yyfree_stacks)
1516 {
1517 free (yyss);
1518 free (yyvs);
1519#ifdef YYLSP_NEEDED
1520 free (yyls);
1521#endif
1522 }
1523 return 1;
1524}
1525#line 354 "mtgrammar.y"
1526
1527
1528# include "bison.reset"
1529
1530extern char *yytext;
1531
1532static void mterror (char *s)
1533{
1534
1535 if (s != NULL)
1536 {
1537 llparseerror
1538 (message ("Parse error in meta-state file: %s", cstring_fromChars (s)));
1539 }
1540 else
1541 {
1542 llparseerror
1543 (message ("Parse error in meta-state file"));
1544 }
1545
1546}
1547
1548static void yyprint (FILE *file, int type, YYSTYPE value)
1549{
1550 cstring tname = mttok_unparse (value.tok);
1551 fprintf (file, " (%s)", cstring_toCharsSafe (tname));
1552 cstring_free (tname);
1553}
1554
1555
1556
1557
1558/*
1559** Resets all flags in bison.head
1560*/
1561
1562
1563/*@=allmacros@*/
1564/*@=boolint@*/
1565/*@=charint@*/
1566/*@=macroparams@*/
1567/*@=macroundef@*/
1568/*@=unreachable@*/
1569/*@=macrospec@*/
1570/*@=varuse@*/
1571/*@=ignorequals@*/
1572/*@=macrostmt@*/
1573/*@=noeffect@*/
1574/*@=shadow@*/
1575/*@=exitarg@*/
1576/*@=macroredef@*/
1577/*@=uniondef@*/
1578/*@=compdef@*/
1579/*@=matchfields@*/
1580/*@=exportlocal@*/
1581/*@=evalorderuncon@*/
1582/*@=exportheader@*/
1583/*@=typeuse@*/
1584/*@=redecl@*/
1585/*@=redef@*/
1586/*@=noparams@*/
1587/*@=ansireserved@*/
1588/*@=fielduse@*/
1589/*@=ifblock@*/
1590/*@=elseifcomplete@*/
1591/*@=whileblock@*/
1592/*@=forblock@*/
1593/*@=branchstate@*/
1594/*@=readonlytrans@*/
1595/*@=namechecks@*/
1596/*@=usedef@*/
1597/*@=systemunrecog@*/
1598/*@=dependenttrans@*/
1599/*@=unqualifiedtrans@*/
1600/*@=declundef@*/
git-cvsimport mirror of splint
This page took 0.284882 seconds and 5 git commands to generate.