/*drl added 11/27/2001*/
/*@-bounds@*/
-/* < end of bison.head > */
+/*drl added 12/11/2002*/
+/*@-type@*/
+
+/* < end of bison.head > */
/* A Bison parser, made from mtgrammar.y
- by GNU bison 1.30. */
+ by GNU bison 1.35. */
#define YYBISON 1 /* Identify Bison output. */
# define MT_SIGNEDINTEGRALTYPE 298
# define MT_CONST 299
# define MT_VOLATILE 300
-# define MT_STRINGLIT 301
-# define MT_IDENT 302
+# define MT_RESTRICT 301
+# define MT_STRINGLIT 302
+# define MT_IDENT 303
# include "bison.reset"
# include "splintMacros.nf"
-# include "llbasic.h"
+# include "basic.h"
# ifndef S_SPLINT_S
extern ctype mtscanner_lookupType (mttok p_tok) /*@modifies p_tok@*/ ;
# include "bison.head"
+#ifndef YYSTYPE
typedef union {
mttok tok;
mtDeclarationNode mtdecl;
mtTransferAction mttransferaction;
mtLoseReferenceList mtlosereferencelist;
mtLoseReference mtlosereference;
-
+ pointers pointers;
/*@only@*/ cstringList cstringlist;
ctype ctyp;
/*@only@*/ qtype qtyp;
- int count;
-} YYSTYPE;
+ qual qual;
+ qualList quals;
+} yystype;
+# define YYSTYPE yystype
+# define YYSTYPE_IS_TRIVIAL 1
+#endif
#ifndef YYDEBUG
# define YYDEBUG 1
#endif
-#include <stdio.h>
-
-#define YYFINAL 135
+#define YYFINAL 136
#define YYFLAG -32768
-#define YYNTBASE 49
+#define YYNTBASE 50
/* YYTRANSLATE(YYLEX) -- Bison token number corresponding to YYLEX. */
-#define YYTRANSLATE(x) ((unsigned)(x) <= 302 ? yytranslate[x] : 92)
+#define YYTRANSLATE(x) ((unsigned)(x) <= 303 ? yytranslate[x] : 93)
/* YYTRANSLATE[YYLEX] -- Bison token number corresponding to YYLEX. */
static const char yytranslate[] =
16, 17, 18, 19, 20, 21, 22, 23, 24, 25,
26, 27, 28, 29, 30, 31, 32, 33, 34, 35,
36, 37, 38, 39, 40, 41, 42, 43, 44, 45,
- 46, 47, 48
+ 46, 47, 48, 49
};
-#if YYDEBUG != 0
+#if YYDEBUG
static const short yyprhs[] =
{
0, 0, 1, 3, 7, 12, 15, 16, 19, 21,
23, 25, 27, 29, 31, 33, 35, 37, 39, 42,
43, 45, 48, 51, 54, 57, 60, 63, 64, 66,
68, 71, 73, 77, 80, 81, 83, 85, 87, 90,
- 92, 95, 98, 102, 104, 106, 108, 111, 115, 118,
- 122, 124, 126, 128, 130, 132, 134, 136, 138, 140,
- 142, 144, 147, 149, 153, 156, 159, 163, 168, 171,
- 173, 176, 181, 184, 186, 189, 195, 197, 199, 202,
- 205, 208, 211, 213, 216, 220, 222, 225, 231, 233,
- 235, 237, 240
+ 92, 95, 98, 102, 104, 106, 108, 110, 113, 117,
+ 120, 124, 126, 128, 130, 132, 134, 136, 138, 140,
+ 142, 144, 146, 149, 151, 155, 158, 161, 165, 170,
+ 173, 175, 178, 183, 186, 188, 191, 197, 199, 201,
+ 204, 207, 210, 213, 215, 218, 222, 224, 227, 233,
+ 235, 237, 239, 242
};
static const short yyrhs[] =
{
- -1, 50, 0, 5, 51, 4, 0, 6, 5, 51,
- 4, 0, 48, 52, 0, 0, 53, 52, 0, 54,
- 0, 69, 0, 72, 0, 71, 0, 74, 0, 77,
- 0, 83, 0, 81, 0, 82, 0, 84, 0, 7,
- 56, 0, 0, 56, 0, 12, 57, 0, 11, 57,
- 0, 13, 57, 0, 14, 57, 0, 15, 57, 0,
- 16, 57, 0, 0, 58, 0, 59, 0, 59, 62,
- 0, 60, 0, 59, 28, 58, 0, 67, 61, 0,
- 0, 59, 0, 63, 0, 66, 0, 63, 66, 0,
- 27, 0, 27, 65, 0, 27, 63, 0, 27, 65,
- 63, 0, 45, 0, 46, 0, 64, 0, 65, 64,
- 0, 29, 62, 30, 0, 31, 32, 0, 66, 31,
- 32, 0, 36, 0, 37, 0, 38, 0, 39, 0,
- 40, 0, 41, 0, 42, 0, 43, 0, 44, 0,
- 68, 0, 48, 0, 8, 70, 0, 48, 0, 48,
- 35, 70, 0, 10, 91, 0, 9, 73, 0, 56,
- 18, 91, 0, 56, 18, 91, 73, 0, 17, 75,
- 0, 76, 0, 76, 75, 0, 48, 55, 18, 91,
- 0, 19, 78, 0, 79, 0, 79, 78, 0, 80,
- 26, 80, 18, 89, 0, 91, 0, 27, 0, 21,
- 87, 0, 22, 87, 0, 20, 87, 0, 23, 85,
- 0, 86, 0, 86, 85, 0, 91, 18, 90, 0,
- 88, 0, 88, 87, 0, 91, 24, 91, 18, 89,
- 0, 91, 0, 90, 0, 25, 0, 25, 47, 0,
- 48, 0
+ -1, 51, 0, 5, 52, 4, 0, 6, 5, 52,
+ 4, 0, 49, 53, 0, 0, 54, 53, 0, 55,
+ 0, 70, 0, 73, 0, 72, 0, 75, 0, 78,
+ 0, 84, 0, 82, 0, 83, 0, 85, 0, 7,
+ 57, 0, 0, 57, 0, 12, 58, 0, 11, 58,
+ 0, 13, 58, 0, 14, 58, 0, 15, 58, 0,
+ 16, 58, 0, 0, 59, 0, 60, 0, 60, 63,
+ 0, 61, 0, 60, 28, 59, 0, 68, 62, 0,
+ 0, 60, 0, 64, 0, 67, 0, 64, 67, 0,
+ 27, 0, 27, 66, 0, 27, 64, 0, 27, 66,
+ 64, 0, 45, 0, 46, 0, 47, 0, 65, 0,
+ 66, 65, 0, 29, 63, 30, 0, 31, 32, 0,
+ 67, 31, 32, 0, 36, 0, 37, 0, 38, 0,
+ 39, 0, 40, 0, 41, 0, 42, 0, 43, 0,
+ 44, 0, 69, 0, 49, 0, 8, 71, 0, 49,
+ 0, 49, 35, 71, 0, 10, 92, 0, 9, 74,
+ 0, 57, 18, 92, 0, 57, 18, 92, 74, 0,
+ 17, 76, 0, 77, 0, 77, 76, 0, 49, 56,
+ 18, 92, 0, 19, 79, 0, 80, 0, 80, 79,
+ 0, 81, 26, 81, 18, 90, 0, 92, 0, 27,
+ 0, 21, 88, 0, 22, 88, 0, 20, 88, 0,
+ 23, 86, 0, 87, 0, 87, 86, 0, 92, 18,
+ 91, 0, 89, 0, 89, 88, 0, 92, 24, 92,
+ 18, 90, 0, 92, 0, 91, 0, 25, 0, 25,
+ 48, 0, 49, 0
};
#endif
-#if YYDEBUG != 0
+#if YYDEBUG
/* YYRLINE[YYN] -- source line where rule number YYN was defined. */
static const short yyrline[] =
{
- 0, 158, 159, 162, 164, 168, 172, 173, 177, 178,
- 179, 180, 181, 182, 183, 184, 185, 186, 189, 193,
- 194, 197, 198, 199, 200, 201, 202, 209, 210, 213,
- 214, 217, 218, 222, 225, 226, 230, 231, 232, 235,
- 236, 237, 238, 241, 242, 245, 246, 249, 250, 251,
- 258, 259, 260, 261, 262, 263, 264, 265, 266, 267,
- 273, 276, 279, 280, 284, 287, 290, 292, 296, 299,
- 300, 304, 308, 311, 312, 315, 319, 320, 323, 326,
- 329, 332, 335, 336, 339, 342, 343, 346, 350, 351,
- 354, 355, 358
+ 0, 160, 161, 165, 167, 172, 177, 178, 183, 184,
+ 185, 186, 187, 188, 189, 190, 191, 192, 196, 201,
+ 202, 206, 207, 208, 209, 210, 211, 219, 220, 224,
+ 225, 229, 230, 235, 239, 240, 244, 245, 246, 250,
+ 251, 252, 253, 257, 258, 259, 263, 264, 268, 269,
+ 270, 278, 279, 280, 281, 282, 283, 284, 285, 286,
+ 287, 294, 298, 302, 303, 308, 312, 316, 318, 323,
+ 327, 328, 333, 338, 342, 343, 347, 352, 353, 357,
+ 361, 365, 369, 373, 374, 378, 382, 383, 387, 392,
+ 393, 397, 398, 402
};
#endif
-#if YYDEBUG != 0 || defined YYERROR_VERBOSE
+#if (YYDEBUG) || defined YYERROR_VERBOSE
/* YYTNAME[TOKEN_NUM] -- String name of the token TOKEN_NUM. */
static const char *const yytname[] =
"MT_LBRACKET", "MT_RBRACKET", "MT_LBRACE", "MT_RBRACE", "MT_COMMA",
"MT_CHAR", "MT_INT", "MT_FLOAT", "MT_DOUBLE", "MT_VOID", "MT_ANYTYPE",
"MT_INTEGRALTYPE", "MT_UNSIGNEDINTEGRALTYPE", "MT_SIGNEDINTEGRALTYPE",
- "MT_CONST", "MT_VOLATILE", "MT_STRINGLIT", "MT_IDENT", "file",
- "mtsDeclaration", "declarationNode", "declarationPieces",
+ "MT_CONST", "MT_VOLATILE", "MT_RESTRICT", "MT_STRINGLIT", "MT_IDENT",
+ "file", "mtsDeclaration", "declarationNode", "declarationPieces",
"declarationPiece", "contextDeclaration", "optContextSelection",
"contextSelection", "optType", "typeExpression", "completeType",
"completeTypeAux", "optCompleteType", "abstractDecl", "pointers",
"postconditionsDeclaration", "transfersDeclaration",
"loseReferenceDeclaration", "lostClauses", "lostClause",
"transferClauses", "transferClause", "transferAction", "errorAction",
- "valueChoice", NULL
+ "valueChoice", 0
};
#endif
/* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */
static const short yyr1[] =
{
- 0, 49, 49, 50, 50, 51, 52, 52, 53, 53,
- 53, 53, 53, 53, 53, 53, 53, 53, 54, 55,
- 55, 56, 56, 56, 56, 56, 56, 57, 57, 58,
- 58, 59, 59, 60, 61, 61, 62, 62, 62, 63,
- 63, 63, 63, 64, 64, 65, 65, 66, 66, 66,
- 67, 67, 67, 67, 67, 67, 67, 67, 67, 67,
- 68, 69, 70, 70, 71, 72, 73, 73, 74, 75,
- 75, 76, 77, 78, 78, 79, 80, 80, 81, 82,
- 83, 84, 85, 85, 86, 87, 87, 88, 89, 89,
- 90, 90, 91
+ 0, 50, 50, 51, 51, 52, 53, 53, 54, 54,
+ 54, 54, 54, 54, 54, 54, 54, 54, 55, 56,
+ 56, 57, 57, 57, 57, 57, 57, 58, 58, 59,
+ 59, 60, 60, 61, 62, 62, 63, 63, 63, 64,
+ 64, 64, 64, 65, 65, 65, 66, 66, 67, 67,
+ 67, 68, 68, 68, 68, 68, 68, 68, 68, 68,
+ 68, 69, 70, 71, 71, 72, 73, 74, 74, 75,
+ 76, 76, 77, 78, 79, 79, 80, 81, 81, 82,
+ 83, 84, 85, 86, 86, 87, 88, 88, 89, 90,
+ 90, 91, 91, 92
};
/* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */
1, 1, 1, 1, 1, 1, 1, 1, 2, 0,
1, 2, 2, 2, 2, 2, 2, 0, 1, 1,
2, 1, 3, 2, 0, 1, 1, 1, 2, 1,
- 2, 2, 3, 1, 1, 1, 2, 3, 2, 3,
- 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
- 1, 2, 1, 3, 2, 2, 3, 4, 2, 1,
- 2, 4, 2, 1, 2, 5, 1, 1, 2, 2,
- 2, 2, 1, 2, 3, 1, 2, 5, 1, 1,
- 1, 2, 1
+ 2, 2, 3, 1, 1, 1, 1, 2, 3, 2,
+ 3, 1, 1, 1, 1, 1, 1, 1, 1, 1,
+ 1, 1, 2, 1, 3, 2, 2, 3, 4, 2,
+ 1, 2, 4, 2, 1, 2, 5, 1, 1, 2,
+ 2, 2, 2, 1, 2, 3, 1, 2, 5, 1,
+ 1, 1, 2, 1
};
/* YYDEFACT[S] -- default rule to reduce with in state S when YYTABLE
1, 0, 0, 2, 6, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 5, 6, 8,
9, 11, 10, 12, 13, 15, 16, 14, 17, 3,
- 0, 27, 27, 27, 27, 27, 27, 18, 62, 61,
- 0, 65, 92, 64, 19, 68, 69, 77, 72, 73,
- 0, 76, 80, 85, 0, 78, 79, 81, 82, 0,
- 7, 4, 50, 51, 52, 53, 54, 55, 56, 57,
- 58, 60, 22, 28, 29, 31, 34, 59, 21, 23,
- 24, 25, 26, 0, 0, 0, 20, 70, 74, 0,
- 86, 0, 83, 0, 39, 0, 0, 0, 30, 36,
- 37, 35, 33, 63, 66, 0, 0, 0, 90, 84,
- 43, 44, 41, 45, 40, 32, 0, 48, 38, 0,
- 67, 71, 0, 0, 91, 42, 46, 47, 49, 75,
- 89, 88, 87, 0, 0, 0
+ 0, 27, 27, 27, 27, 27, 27, 18, 63, 62,
+ 0, 66, 93, 65, 19, 69, 70, 78, 73, 74,
+ 0, 77, 81, 86, 0, 79, 80, 82, 83, 0,
+ 7, 4, 51, 52, 53, 54, 55, 56, 57, 58,
+ 59, 61, 22, 28, 29, 31, 34, 60, 21, 23,
+ 24, 25, 26, 0, 0, 0, 20, 71, 75, 0,
+ 87, 0, 84, 0, 39, 0, 0, 0, 30, 36,
+ 37, 35, 33, 64, 67, 0, 0, 0, 91, 85,
+ 43, 44, 45, 41, 46, 40, 32, 0, 49, 38,
+ 0, 68, 72, 0, 0, 92, 42, 47, 48, 50,
+ 76, 90, 89, 88, 0, 0, 0
};
static const short yydefgoto[] =
{
- 133, 3, 5, 17, 18, 19, 85, 40, 72, 73,
- 74, 75, 102, 98, 99, 113, 114, 100, 76, 77,
+ 134, 3, 5, 17, 18, 19, 85, 40, 72, 73,
+ 74, 75, 102, 98, 99, 114, 115, 100, 76, 77,
20, 39, 21, 22, 41, 23, 45, 46, 24, 48,
49, 50, 25, 26, 27, 28, 57, 58, 52, 53,
- 129, 130, 54
+ 130, 131, 54
};
static const short yypact[] =
{
- 4, -37, 35,-32768, 36, 37, -37, 21, 2, 21,
- 17, 18, -19, 17, 17, 17, 17,-32768, 36,-32768,
+ 21, -29, 30,-32768, 2, 33, -29, 52, -9, 52,
+ -8, -3, -19, -8, -8, -8, -8,-32768, 2,-32768,
-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
- 63, -23, -23, -23, -23, -23, -23,-32768, 33,-32768,
- 51,-32768,-32768,-32768, 21,-32768, 18,-32768,-32768, -19,
- 44,-32768,-32768, 17, 47,-32768,-32768,-32768, 17, 54,
+ 54, 13, 13, 13, 13, 13, 13,-32768, 24,-32768,
+ 43,-32768,-32768,-32768, 52,-32768, -3,-32768,-32768, -19,
+ 34,-32768,-32768, -8, 46,-32768,-32768,-32768, -8, 57,
-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
- -32768,-32768,-32768,-32768, -5,-32768, -23,-32768,-32768,-32768,
- -32768,-32768,-32768, 2, 17, 55,-32768,-32768,-32768, -19,
- -32768, 17,-32768, 50, -15, -23, 20, 45,-32768, 23,
- 49, 48,-32768,-32768, 21, 17, 60, 64, 38,-32768,
- -32768,-32768,-32768,-32768, -15,-32768, 53,-32768, 49, 52,
- -32768,-32768, -20, -20,-32768,-32768,-32768,-32768,-32768,-32768,
- -32768,-32768,-32768, 86, 87,-32768
+ -32768,-32768,-32768,-32768, 16,-32768, 13,-32768,-32768,-32768,
+ -32768,-32768,-32768, -9, -8, 58,-32768,-32768,-32768, -19,
+ -32768, -8,-32768, 47, -14, 13, 42, 45,-32768, 5,
+ 49, 50,-32768,-32768, 52, -8, 64, 65, 36,-32768,
+ -32768,-32768,-32768,-32768,-32768, -14,-32768, 55,-32768, 49,
+ 56,-32768,-32768, -20, -20,-32768,-32768,-32768,-32768,-32768,
+ -32768,-32768,-32768,-32768, 86, 87,-32768
};
static const short yypgoto[] =
{
- -32768,-32768, 82, 71,-32768,-32768,-32768, -6, 28, -4,
- 14,-32768,-32768, -3, -87, -22,-32768, -2,-32768,-32768,
- -32768, 11,-32768,-32768, -8,-32768, 56,-32768,-32768, 57,
- -32768, 9,-32768,-32768,-32768,-32768, 41,-32768, -11,-32768,
- -18, 7, -10
+ -32768,-32768, 83, 72,-32768,-32768,-32768, -6, -18, -4,
+ 17,-32768,-32768, -2, -87, -23,-32768, -1,-32768,-32768,
+ -32768, 14,-32768,-32768, -5,-32768, 59,-32768,-32768, 51,
+ -32768, 7,-32768,-32768,-32768,-32768, 44,-32768, -11,-32768,
+ -21, 8, -10
};
-#define YYLAST 113
+#define YYLAST 114
static const short yytable[] =
{
- 43, 37, 51, 55, 56, 108, 59, 112, 47, 1,
- 2, 4, 94, 62, 63, 64, 65, 66, 67, 68,
- 69, 70, 94, 95, 96, 71, 97, 125, 42, 42,
- 110, 111, 31, 32, 33, 34, 35, 36, 86, 51,
- 6, 29, 90, 7, 8, 9, 10, 94, 59, 96,
- 38, 97, 96, 11, 97, 12, 13, 14, 15, 16,
- 78, 79, 80, 81, 82, 42, 44, 61, 83, 84,
- 89, 91, 93, 105, 104, 108, 95, 117, 122, 51,
- 119, 107, 123, 127, 128, 124, 134, 135, 30, 60,
- 101, 115, 126, 116, 103, 121, 120, 118, 106, 92,
- 109, 0, 87, 0, 0, 132, 88, 0, 0, 0,
- 0, 0, 131, 131
+ 43, 37, 51, 55, 56, 108, 59, 113, 47, 7,
+ 8, 9, 10, 94, 78, 79, 80, 81, 82, 11,
+ 4, 12, 13, 14, 15, 16, 1, 2, 126, 42,
+ 42, 110, 111, 112, 96, 6, 97, 29, 86, 51,
+ 38, 42, 90, 94, 95, 96, 44, 97, 59, 62,
+ 63, 64, 65, 66, 67, 68, 69, 70, 61, 83,
+ 89, 84, 71, 31, 32, 33, 34, 35, 36, 94,
+ 91, 96, 108, 97, 104, 93, 105, 118, 95, 51,
+ 120, 107, 123, 124, 125, 128, 135, 136, 129, 30,
+ 60, 116, 127, 101, 117, 122, 106, 103, 119, 121,
+ 88, 109, 92, 133, 0, 87, 0, 0, 0, 0,
+ 0, 0, 0, 132, 132
};
static const short yycheck[] =
{
- 10, 7, 12, 14, 15, 25, 16, 94, 27, 5,
- 6, 48, 27, 36, 37, 38, 39, 40, 41, 42,
- 43, 44, 27, 28, 29, 48, 31, 114, 48, 48,
- 45, 46, 11, 12, 13, 14, 15, 16, 44, 49,
- 5, 4, 53, 7, 8, 9, 10, 27, 58, 29,
- 48, 31, 29, 17, 31, 19, 20, 21, 22, 23,
- 32, 33, 34, 35, 36, 48, 48, 4, 35, 18,
- 26, 24, 18, 18, 84, 25, 28, 32, 18, 89,
- 31, 91, 18, 30, 32, 47, 0, 0, 6, 18,
- 76, 95, 114, 96, 83, 105, 104, 99, 89, 58,
- 93, -1, 46, -1, -1, 123, 49, -1, -1, -1,
- -1, -1, 122, 123
+ 10, 7, 12, 14, 15, 25, 16, 94, 27, 7,
+ 8, 9, 10, 27, 32, 33, 34, 35, 36, 17,
+ 49, 19, 20, 21, 22, 23, 5, 6, 115, 49,
+ 49, 45, 46, 47, 29, 5, 31, 4, 44, 49,
+ 49, 49, 53, 27, 28, 29, 49, 31, 58, 36,
+ 37, 38, 39, 40, 41, 42, 43, 44, 4, 35,
+ 26, 18, 49, 11, 12, 13, 14, 15, 16, 27,
+ 24, 29, 25, 31, 84, 18, 18, 32, 28, 89,
+ 31, 91, 18, 18, 48, 30, 0, 0, 32, 6,
+ 18, 95, 115, 76, 96, 105, 89, 83, 99, 104,
+ 49, 93, 58, 124, -1, 46, -1, -1, -1, -1,
+ -1, -1, -1, 123, 124
};
#define YYPURE 1
/* -*-C-*- Note some compilers choke on comments on `#line' lines. */
/* Skeleton output parser for bison,
- Copyright 1984, 1989, 1990, 2000, 2001 Free Software Foundation, Inc.
+
+ Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002 Free Software
+ Foundation, Inc.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
It was written by Richard Stallman by simplifying the hairy parser
used when %semantic_parser is specified. */
-#ifndef YYSTACK_USE_ALLOCA
-# ifdef alloca
-# define YYSTACK_USE_ALLOCA 1
-# else /* alloca not defined */
-# ifdef __GNUC__
-# define YYSTACK_USE_ALLOCA 1
-# define alloca __builtin_alloca
-# else /* not GNU C. */
-# if (!defined (__STDC__) && defined (sparc)) || defined (__sparc__) || defined (__sparc) || defined (__sgi) || (defined (__sun) && defined (__i386))
-# define YYSTACK_USE_ALLOCA 1
-# include <alloca.h>
-# else /* not sparc */
- /* We think this test detects Watcom and Microsoft C. */
- /* This used to test MSDOS, but that is a bad idea since that
- symbol is in the user namespace. */
-# if (defined (_MSDOS) || defined (_MSDOS_)) && !defined (__TURBOC__)
-# if 0
- /* No need for malloc.h, which pollutes the namespace; instead,
- just don't use alloca. */
-# include <malloc.h>
-# endif
-# else /* not MSDOS, or __TURBOC__ */
-# if defined(_AIX)
- /* I don't know what this was needed for, but it pollutes the
- namespace. So I turned it off. rms, 2 May 1997. */
- /* #include <malloc.h> */
- #pragma alloca
-# define YYSTACK_USE_ALLOCA 1
-# else /* not MSDOS, or __TURBOC__, or _AIX */
-# if 0
- /* haible@ilog.fr says this works for HPUX 9.05 and up, and on
- HPUX 10. Eventually we can turn this on. */
-# ifdef __hpux
-# define YYSTACK_USE_ALLOCA 1
-# define alloca __builtin_alloca
-# endif /* __hpux */
-# endif
-# endif /* not _AIX */
-# endif /* not MSDOS, or __TURBOC__ */
-# endif /* not sparc */
-# endif /* not GNU C */
-# endif /* alloca not defined */
-#endif /* YYSTACK_USE_ALLOCA not defined */
-
-#ifndef YYSTACK_USE_ALLOCA
-# define YYSTACK_USE_ALLOCA 0
+/* All symbols defined below should begin with yy or YY, to avoid
+ infringing on user name space. This should be done even for local
+ variables, as they might otherwise be expanded by user macros.
+ There are some unavoidable exceptions within include files to
+ define necessary library symbols; they are noted "INFRINGES ON
+ USER NAME SPACE" below. */
+
+#if ! defined (yyoverflow) || defined (YYERROR_VERBOSE)
+
+/* The parser invokes alloca or malloc; define the necessary symbols. */
+
+# if YYSTACK_USE_ALLOCA
+# define YYSTACK_ALLOC alloca
+# else
+# ifndef YYSTACK_USE_ALLOCA
+# if defined (alloca) || defined (_ALLOCA_H)
+# define YYSTACK_ALLOC alloca
+# else
+# ifdef __GNUC__
+# define YYSTACK_ALLOC __builtin_alloca
+# endif
+# endif
+# endif
+# endif
+
+# ifdef YYSTACK_ALLOC
+ /* Pacify GCC's `empty if-body' warning. */
+# define YYSTACK_FREE(Ptr) do { /* empty */; } while (0)
+# else
+# if defined (__STDC__) || defined (__cplusplus)
+# include <stdlib.h> /* INFRINGES ON USER NAME SPACE */
+# define YYSIZE_T size_t
+# endif
+# define YYSTACK_ALLOC malloc
+# define YYSTACK_FREE free
+# endif
+#endif /* ! defined (yyoverflow) || defined (YYERROR_VERBOSE) */
+
+
+#if (! defined (yyoverflow) \
+ && (! defined (__cplusplus) \
+ || (YYLTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL)))
+
+/* A type that is properly aligned for any stack member. */
+union yyalloc
+{
+ short yyss;
+ YYSTYPE yyvs;
+# if YYLSP_NEEDED
+ YYLTYPE yyls;
+# endif
+};
+
+/* The size of the maximum gap between one aligned stack and the next. */
+# define YYSTACK_GAP_MAX (sizeof (union yyalloc) - 1)
+
+/* The size of an array large to enough to hold all stacks, each with
+ N elements. */
+# if YYLSP_NEEDED
+# define YYSTACK_BYTES(N) \
+ ((N) * (sizeof (short) + sizeof (YYSTYPE) + sizeof (YYLTYPE)) \
+ + 2 * YYSTACK_GAP_MAX)
+# else
+# define YYSTACK_BYTES(N) \
+ ((N) * (sizeof (short) + sizeof (YYSTYPE)) \
+ + YYSTACK_GAP_MAX)
+# endif
+
+/* Copy COUNT objects from FROM to TO. The source and destination do
+ not overlap. */
+# ifndef YYCOPY
+# if 1 < __GNUC__
+# define YYCOPY(To, From, Count) \
+ __builtin_memcpy (To, From, (Count) * sizeof (*(From)))
+# else
+# define YYCOPY(To, From, Count) \
+ do \
+ { \
+ register YYSIZE_T yyi; \
+ for (yyi = 0; yyi < (Count); yyi++) \
+ (To)[yyi] = (From)[yyi]; \
+ } \
+ while (0)
+# endif
+# endif
+
+/* Relocate STACK from its old location to the new one. The
+ local variables YYSIZE and YYSTACKSIZE give the old and new number of
+ elements in the stack, and YYPTR gives the new location of the
+ stack. Advance YYPTR to a properly aligned location for the next
+ stack. */
+# define YYSTACK_RELOCATE(Stack) \
+ do \
+ { \
+ YYSIZE_T yynewbytes; \
+ YYCOPY (&yyptr->Stack, Stack, yysize); \
+ Stack = &yyptr->Stack; \
+ yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAX; \
+ yyptr += yynewbytes / sizeof (*yyptr); \
+ } \
+ while (0)
+
#endif
-#if YYSTACK_USE_ALLOCA
-# define YYSTACK_ALLOC alloca
-#else
-# define YYSTACK_ALLOC malloc
+
+#if ! defined (YYSIZE_T) && defined (__SIZE_TYPE__)
+# define YYSIZE_T __SIZE_TYPE__
+#endif
+#if ! defined (YYSIZE_T) && defined (size_t)
+# define YYSIZE_T size_t
+#endif
+#if ! defined (YYSIZE_T)
+# if defined (__STDC__) || defined (__cplusplus)
+# include <stddef.h> /* INFRINGES ON USER NAME SPACE */
+# define YYSIZE_T size_t
+# endif
+#endif
+#if ! defined (YYSIZE_T)
+# define YYSIZE_T unsigned int
#endif
#define yyerrok (yyerrstatus = 0)
/* Enable debugging if requested. */
#if YYDEBUG
+
+# ifndef YYFPRINTF
+# include <stdio.h> /* INFRINGES ON USER NAME SPACE */
+# define YYFPRINTF fprintf
+# endif
+
# define YYDPRINTF(Args) \
do { \
if (yydebug) \
- fprintf Args; \
+ YYFPRINTF Args; \
} while (0)
-/* Nonzero means print parse trace. [The following comment makes no
- sense to me. Could someone clarify it? --akim] Since this is
- uninitialized, it does not stop multiple parsers from coexisting.
- */
+/* Nonzero means print parse trace. It is left uninitialized so that
+ multiple parsers can coexist. */
int yydebug;
#else /* !YYDEBUG */
# define YYDPRINTF(Args)
#endif
/* YYMAXDEPTH -- maximum size the stacks can grow to (effective only
- if the built-in stack extension method is used). */
+ if the built-in stack extension method is used).
+
+ Do not make this value too large; the results are undefined if
+ SIZE_MAX < YYSTACK_BYTES (YYMAXDEPTH)
+ evaluated with infinite-precision integer arithmetic. */
+
#if YYMAXDEPTH == 0
# undef YYMAXDEPTH
#endif
# define YYMAXDEPTH 10000
#endif
\f
-/* Define __yy_memcpy. Note that the size argument
- should be passed with type unsigned int, because that is what the non-GCC
- definitions require. With GCC, __builtin_memcpy takes an arg
- of type size_t, but it can handle unsigned int. */
-
-#if __GNUC__ > 1 /* GNU C and GNU C++ define this. */
-# define __yy_memcpy(To, From, Count) __builtin_memcpy (To, From, Count)
-#else /* not GNU C or C++ */
-
-/* This is the most reliable way to avoid incompatibilities
- in available built-in functions on various systems. */
-static void
-# ifndef __cplusplus
-__yy_memcpy (to, from, count)
- char *to;
- const char *from;
- unsigned int count;
-# else /* __cplusplus */
-__yy_memcpy (char *to, const char *from, unsigned int count)
-# endif
+#ifdef YYERROR_VERBOSE
+
+# ifndef yystrlen
+# if defined (__GLIBC__) && defined (_STRING_H)
+# define yystrlen strlen
+# else
+/* Return the length of YYSTR. */
+static YYSIZE_T
+# if defined (__STDC__) || defined (__cplusplus)
+yystrlen (const char *yystr)
+# else
+yystrlen (yystr)
+ const char *yystr;
+# endif
{
- register const char *f = from;
- register char *t = to;
- register int i = count;
+ register const char *yys = yystr;
+
+ while (*yys++ != '\0')
+ continue;
- while (i-- > 0)
- *t++ = *f++;
+ return yys - yystr - 1;
}
+# endif
+# endif
+# ifndef yystpcpy
+# if defined (__GLIBC__) && defined (_STRING_H) && defined (_GNU_SOURCE)
+# define yystpcpy stpcpy
+# else
+/* Copy YYSRC to YYDEST, returning the address of the terminating '\0' in
+ YYDEST. */
+static char *
+# if defined (__STDC__) || defined (__cplusplus)
+yystpcpy (char *yydest, const char *yysrc)
+# else
+yystpcpy (yydest, yysrc)
+ char *yydest;
+ const char *yysrc;
+# endif
+{
+ register char *yyd = yydest;
+ register const char *yys = yysrc;
+
+ while ((*yyd++ = *yys++) != '\0')
+ continue;
+
+ return yyd - 1;
+}
+# endif
+# endif
#endif
\f
to the proper pointer type. */
#ifdef YYPARSE_PARAM
-# ifdef __cplusplus
+# if defined (__STDC__) || defined (__cplusplus)
# define YYPARSE_PARAM_ARG void *YYPARSE_PARAM
# define YYPARSE_PARAM_DECL
-# else /* !__cplusplus */
+# else
# define YYPARSE_PARAM_ARG YYPARSE_PARAM
# define YYPARSE_PARAM_DECL void *YYPARSE_PARAM;
-# endif /* !__cplusplus */
+# endif
#else /* !YYPARSE_PARAM */
# define YYPARSE_PARAM_ARG
# define YYPARSE_PARAM_DECL
/* YY_DECL_VARIABLES -- depending whether we use a pure parser,
variables are global, or local to YYPARSE. */
-#define _YY_DECL_VARIABLES \
+#define YY_DECL_NON_LSP_VARIABLES \
/* The lookahead symbol. */ \
int yychar; \
\
#if YYLSP_NEEDED
# define YY_DECL_VARIABLES \
-_YY_DECL_VARIABLES \
+YY_DECL_NON_LSP_VARIABLES \
\
/* Location data for the lookahead symbol. */ \
YYLTYPE yylloc;
#else
# define YY_DECL_VARIABLES \
-_YY_DECL_VARIABLES
+YY_DECL_NON_LSP_VARIABLES
#endif
register int yystate;
register int yyn;
+ int yyresult;
/* Number of tokens to shift before error messages enabled. */
int yyerrstatus;
/* Lookahead token as an internal (translated) token number. */
/* Three stacks and their tools:
`yyss': related to states,
- `yysv': related to semantic values,
+ `yyvs': related to semantic values,
`yyls': related to locations.
Refer to the stacks thru separate pointers, to allow yyoverflow
# define YYPOPSTACK (yyvsp--, yyssp--)
#endif
- int yystacksize = YYINITDEPTH;
- int yyfree_stacks = 0;
+ YYSIZE_T yystacksize = YYINITDEPTH;
/* The variables used to return semantic value and location from the
action routines. */
YYSTYPE yyval;
-# if YYLSP_NEEDED
+#if YYLSP_NEEDED
YYLTYPE yyloc;
-# endif
+#endif
/* When reducing, the number of symbols on the RHS of the reduced
rule. */
if (yyssp >= yyss + yystacksize - 1)
{
- /* Give user a chance to reallocate the stack. Use copies of
- these so that the &'s don't force the real ones into memory.
- */
- YYSTYPE *yyvs1 = yyvs;
- short *yyss1 = yyss;
-#if YYLSP_NEEDED
- YYLTYPE *yyls1 = yyls;
-#endif
-
/* Get the current used size of the three stacks, in elements. */
- int size = yyssp - yyss + 1;
+ YYSIZE_T yysize = yyssp - yyss + 1;
#ifdef yyoverflow
- /* Each stack pointer address is followed by the size of the
- data in use in that stack, in bytes. */
+ {
+ /* Give user a chance to reallocate the stack. Use copies of
+ these so that the &'s don't force the real ones into
+ memory. */
+ YYSTYPE *yyvs1 = yyvs;
+ short *yyss1 = yyss;
+
+ /* Each stack pointer address is followed by the size of the
+ data in use in that stack, in bytes. */
# if YYLSP_NEEDED
- /* This used to be a conditional around just the two extra args,
- but that might be undefined if yyoverflow is a macro. */
- yyoverflow ("parser stack overflow",
- &yyss1, size * sizeof (*yyssp),
- &yyvs1, size * sizeof (*yyvsp),
- &yyls1, size * sizeof (*yylsp),
- &yystacksize);
+ YYLTYPE *yyls1 = yyls;
+ /* This used to be a conditional around just the two extra args,
+ but that might be undefined if yyoverflow is a macro. */
+ yyoverflow ("parser stack overflow",
+ &yyss1, yysize * sizeof (*yyssp),
+ &yyvs1, yysize * sizeof (*yyvsp),
+ &yyls1, yysize * sizeof (*yylsp),
+ &yystacksize);
+ yyls = yyls1;
# else
- yyoverflow ("parser stack overflow",
- &yyss1, size * sizeof (*yyssp),
- &yyvs1, size * sizeof (*yyvsp),
- &yystacksize);
-# endif
-
- yyss = yyss1; yyvs = yyvs1;
-# if YYLSP_NEEDED
- yyls = yyls1;
+ yyoverflow ("parser stack overflow",
+ &yyss1, yysize * sizeof (*yyssp),
+ &yyvs1, yysize * sizeof (*yyvsp),
+ &yystacksize);
# endif
+ yyss = yyss1;
+ yyvs = yyvs1;
+ }
#else /* no yyoverflow */
+# ifndef YYSTACK_RELOCATE
+ goto yyoverflowlab;
+# else
/* Extend the stack our own way. */
if (yystacksize >= YYMAXDEPTH)
- {
- yyerror ("parser stack overflow");
- if (yyfree_stacks)
- {
- free (yyss);
- free (yyvs);
-# if YYLSP_NEEDED
- free (yyls);
-# endif
- }
- return 2;
- }
+ goto yyoverflowlab;
yystacksize *= 2;
if (yystacksize > YYMAXDEPTH)
yystacksize = YYMAXDEPTH;
-# if !YYSTACK_USE_ALLOCA
- yyfree_stacks = 1;
-# endif
- yyss = (short *) YYSTACK_ALLOC (yystacksize * sizeof (*yyssp));
- __yy_memcpy ((char *)yyss, (char *)yyss1,
- size * (unsigned int) sizeof (*yyssp));
- yyvs = (YYSTYPE *) YYSTACK_ALLOC (yystacksize * sizeof (*yyvsp));
- __yy_memcpy ((char *)yyvs, (char *)yyvs1,
- size * (unsigned int) sizeof (*yyvsp));
+
+ {
+ short *yyss1 = yyss;
+ union yyalloc *yyptr =
+ (union yyalloc *) YYSTACK_ALLOC (YYSTACK_BYTES (yystacksize));
+ if (! yyptr)
+ goto yyoverflowlab;
+ YYSTACK_RELOCATE (yyss);
+ YYSTACK_RELOCATE (yyvs);
# if YYLSP_NEEDED
- yyls = (YYLTYPE *) YYSTACK_ALLOC (yystacksize * sizeof (*yylsp));
- __yy_memcpy ((char *)yyls, (char *)yyls1,
- size * (unsigned int) sizeof (*yylsp));
+ YYSTACK_RELOCATE (yyls);
+# endif
+# undef YYSTACK_RELOCATE
+ if (yyss1 != yyssa)
+ YYSTACK_FREE (yyss1);
+ }
# endif
#endif /* no yyoverflow */
- yyssp = yyss + size - 1;
- yyvsp = yyvs + size - 1;
+ yyssp = yyss + yysize - 1;
+ yyvsp = yyvs + yysize - 1;
#if YYLSP_NEEDED
- yylsp = yyls + size - 1;
+ yylsp = yyls + yysize - 1;
#endif
- YYDPRINTF ((stderr, "Stack size increased to %d\n", yystacksize));
+ YYDPRINTF ((stderr, "Stack size increased to %lu\n",
+ (unsigned long int) yystacksize));
if (yyssp >= yyss + yystacksize - 1)
YYABORT;
which are defined only if `YYDEBUG' is set. */
if (yydebug)
{
- fprintf (stderr, "Next token is %d (%s", yychar, yytname[yychar1]);
+ YYFPRINTF (stderr, "Next token is %d (%s",
+ yychar, yytname[yychar1]);
/* Give the individual parser a way to print the precise
meaning of a token, for further debugging info. */
# ifdef YYPRINT
YYPRINT (stderr, yychar, yylval);
# endif
- fprintf (stderr, ")\n");
+ YYFPRINTF (stderr, ")\n");
}
#endif
}
YYACCEPT;
/* Shift the lookahead token. */
- YYDPRINTF ((stderr, "Shifting token %d (%s), ", yychar, yytname[yychar1]));
+ YYDPRINTF ((stderr, "Shifting token %d (%s), ",
+ yychar, yytname[yychar1]));
/* Discard the token being shifted unless it is eof. */
if (yychar != YYEOF)
are defined only if `YYDEBUG' is set. */
if (yydebug)
{
- int i;
+ int yyi;
- fprintf (stderr, "Reducing via rule %d (line %d), ",
- yyn, yyrline[yyn]);
+ YYFPRINTF (stderr, "Reducing via rule %d (line %d), ",
+ yyn, yyrline[yyn]);
/* Print the symbols being reduced, and their result. */
- for (i = yyprhs[yyn]; yyrhs[i] > 0; i++)
- fprintf (stderr, "%s ", yytname[yyrhs[i]]);
- fprintf (stderr, " -> %s\n", yytname[yyr1[yyn]]);
+ for (yyi = yyprhs[yyn]; yyrhs[yyi] > 0; yyi++)
+ YYFPRINTF (stderr, "%s ", yytname[yyrhs[yyi]]);
+ YYFPRINTF (stderr, " -> %s\n", yytname[yyr1[yyn]]);
}
#endif
{ yyval.qtyp = yyvsp[0].qtyp; ;
break;}
case 36:
-{ yyval.ctyp = ctype_adjustPointers (yyvsp[0].count, ctype_unknown); ;
+{ yyval.ctyp = ctype_adjustPointers (yyvsp[0].pointers, ctype_unknown); ;
break;}
case 38:
-{ yyval.ctyp = ctype_adjustPointers (yyvsp[-1].count, yyvsp[0].ctyp); ;
+{ yyval.ctyp = ctype_adjustPointers (yyvsp[-1].pointers, yyvsp[0].ctyp); ;
break;}
case 39:
-{ yyval.count = 1; ;
+{ yyval.pointers = pointers_createMt (yyvsp[0].tok); ;
break;}
case 40:
-{ yyval.count = 1; ;
+{ yyval.pointers = pointers_createModsMt (yyvsp[-1].tok, yyvsp[0].quals); ;
break;}
case 41:
-{ yyval.count = 1 + yyvsp[0].count; ;
+{ yyval.pointers = pointers_extend (pointers_createMt (yyvsp[-1].tok), yyvsp[0].pointers); ;
break;}
case 42:
-{ yyval.count = 1 + yyvsp[0].count; ;
+{ yyval.pointers = pointers_extend (pointers_createModsMt (yyvsp[-2].tok, yyvsp[-1].quals), yyvsp[0].pointers); ;
break;}
case 43:
-{ /* ignored for now */; ;
+{ yyval.qual = qual_createConst (); ;
break;}
case 44:
-{ ; ;
+{ yyval.qual = qual_createVolatile (); ;
break;}
case 45:
-{ ; ;
+{ yyval.qual = qual_createRestrict (); ;
break;}
case 46:
-{ ; ;
+{ yyval.quals = qualList_single (yyvsp[0].qual); ;
break;}
case 47:
-{ yyval.ctyp = ctype_expectFunction (yyvsp[-1].ctyp); ;
+{ yyval.quals = qualList_add (yyvsp[-1].quals, yyvsp[0].qual); ;
break;}
case 48:
-{ yyval.ctyp = ctype_makeArray (ctype_unknown); ;
+{ yyval.ctyp = ctype_expectFunction (yyvsp[-1].ctyp); ;
break;}
case 49:
-{ yyval.ctyp = ctype_makeArray (yyvsp[-2].ctyp); ;
+{ yyval.ctyp = ctype_makeArray (ctype_unknown); ;
break;}
case 50:
-{ yyval.ctyp = ctype_char; ;
+{ yyval.ctyp = ctype_makeArray (yyvsp[-2].ctyp); ;
break;}
case 51:
-{ yyval.ctyp = ctype_int; ;
+{ yyval.ctyp = ctype_char; ;
break;}
case 52:
-{ yyval.ctyp = ctype_float; ;
+{ yyval.ctyp = ctype_int; ;
break;}
case 53:
-{ yyval.ctyp = ctype_double; ;
+{ yyval.ctyp = ctype_float; ;
break;}
case 54:
-{ yyval.ctyp = ctype_void; ;
+{ yyval.ctyp = ctype_double; ;
break;}
case 55:
-{ yyval.ctyp = ctype_unknown; ;
+{ yyval.ctyp = ctype_void; ;
break;}
case 56:
-{ yyval.ctyp = ctype_anyintegral; ;
+{ yyval.ctyp = ctype_unknown; ;
break;}
case 57:
-{ yyval.ctyp = ctype_unsignedintegral; ;
+{ yyval.ctyp = ctype_anyintegral; ;
break;}
case 58:
-{ yyval.ctyp = ctype_signedintegral; ;
+{ yyval.ctyp = ctype_unsignedintegral; ;
break;}
-case 60:
-{ yyval.ctyp = mtscanner_lookupType (yyvsp[0].tok); ;
+case 59:
+{ yyval.ctyp = ctype_signedintegral; ;
break;}
case 61:
-{ yyval.mtvalues = mtValuesNode_create (yyvsp[0].cstringlist); ;
+{ yyval.ctyp = mtscanner_lookupType (yyvsp[0].tok); ;
break;}
case 62:
-{ yyval.cstringlist = cstringList_single (mttok_getText (yyvsp[0].tok)); ;
+{ yyval.mtvalues = mtValuesNode_create (yyvsp[0].cstringlist); ;
break;}
case 63:
-{ yyval.cstringlist = cstringList_prepend (yyvsp[0].cstringlist, mttok_getText (yyvsp[-2].tok)); ;
+{ yyval.cstringlist = cstringList_single (mttok_getText (yyvsp[0].tok)); ;
break;}
case 64:
-{ yyval.tok = yyvsp[0].tok; ;
+{ yyval.cstringlist = cstringList_prepend (yyvsp[0].cstringlist, mttok_getText (yyvsp[-2].tok)); ;
break;}
case 65:
-{ yyval.mtdefaults = mtDefaultsNode_create (yyvsp[-1].tok, yyvsp[0].mtdeflist); ;
+{ yyval.tok = yyvsp[0].tok; ;
break;}
case 66:
-{ yyval.mtdeflist = mtDefaultsDeclList_single (mtDefaultsDecl_create (yyvsp[-2].mtcontext, yyvsp[0].tok)); ;
+{ yyval.mtdefaults = mtDefaultsNode_create (yyvsp[-1].tok, yyvsp[0].mtdeflist); ;
break;}
case 67:
-{ yyval.mtdeflist = mtDefaultsDeclList_prepend (yyvsp[0].mtdeflist, mtDefaultsDecl_create (yyvsp[-3].mtcontext, yyvsp[-1].tok)); ;
+{ yyval.mtdeflist = mtDefaultsDeclList_single (mtDefaultsDecl_create (yyvsp[-2].mtcontext, yyvsp[0].tok)); ;
break;}
case 68:
-{ yyval.mtannotations = mtAnnotationsNode_create (yyvsp[0].mtannotlist); ;
+{ yyval.mtdeflist = mtDefaultsDeclList_prepend (yyvsp[0].mtdeflist, mtDefaultsDecl_create (yyvsp[-3].mtcontext, yyvsp[-1].tok)); ;
break;}
case 69:
-{ yyval.mtannotlist = mtAnnotationList_single (yyvsp[0].mtannotdecl); ;
+{ yyval.mtannotations = mtAnnotationsNode_create (yyvsp[0].mtannotlist); ;
break;}
case 70:
-{ yyval.mtannotlist = mtAnnotationList_prepend (yyvsp[0].mtannotlist, yyvsp[-1].mtannotdecl); ;
+{ yyval.mtannotlist = mtAnnotationList_single (yyvsp[0].mtannotdecl); ;
break;}
case 71:
-{ yyval.mtannotdecl = mtAnnotationDecl_create (yyvsp[-3].tok, yyvsp[-2].mtcontext, yyvsp[0].tok); ;
+{ yyval.mtannotlist = mtAnnotationList_prepend (yyvsp[0].mtannotlist, yyvsp[-1].mtannotdecl); ;
break;}
case 72:
-{ yyval.mtmerge = mtMergeNode_create (yyvsp[0].mtmergeclauselist); ;
+{ yyval.mtannotdecl = mtAnnotationDecl_create (yyvsp[-3].tok, yyvsp[-2].mtcontext, yyvsp[0].tok); ;
break;}
case 73:
-{ yyval.mtmergeclauselist = mtMergeClauseList_single (yyvsp[0].mtmergeclause); ;
+{ yyval.mtmerge = mtMergeNode_create (yyvsp[0].mtmergeclauselist); ;
break;}
case 74:
-{ yyval.mtmergeclauselist = mtMergeClauseList_prepend (yyvsp[0].mtmergeclauselist, yyvsp[-1].mtmergeclause); ;
+{ yyval.mtmergeclauselist = mtMergeClauseList_single (yyvsp[0].mtmergeclause); ;
break;}
case 75:
-{ yyval.mtmergeclause = mtMergeClause_create (yyvsp[-4].mtmergeitem, yyvsp[-2].mtmergeitem, yyvsp[0].mttransferaction); ;
+{ yyval.mtmergeclauselist = mtMergeClauseList_prepend (yyvsp[0].mtmergeclauselist, yyvsp[-1].mtmergeclause); ;
break;}
case 76:
-{ yyval.mtmergeitem = mtMergeItem_createValue (yyvsp[0].tok); ;
+{ yyval.mtmergeclause = mtMergeClause_create (yyvsp[-4].mtmergeitem, yyvsp[-2].mtmergeitem, yyvsp[0].mttransferaction); ;
break;}
case 77:
-{ yyval.mtmergeitem = mtMergeItem_createStar (yyvsp[0].tok); ;
+{ yyval.mtmergeitem = mtMergeItem_createValue (yyvsp[0].tok); ;
break;}
case 78:
-{ yyval.mttransferclauselist = yyvsp[0].mttransferclauselist; ;
+{ yyval.mtmergeitem = mtMergeItem_createStar (yyvsp[0].tok); ;
break;}
case 79:
{ yyval.mttransferclauselist = yyvsp[0].mttransferclauselist; ;
{ yyval.mttransferclauselist = yyvsp[0].mttransferclauselist; ;
break;}
case 81:
-{ yyval.mtlosereferencelist = yyvsp[0].mtlosereferencelist; ;
+{ yyval.mttransferclauselist = yyvsp[0].mttransferclauselist; ;
break;}
case 82:
-{ yyval.mtlosereferencelist = mtLoseReferenceList_single (yyvsp[0].mtlosereference); ;
+{ yyval.mtlosereferencelist = yyvsp[0].mtlosereferencelist; ;
break;}
case 83:
-{ yyval.mtlosereferencelist = mtLoseReferenceList_prepend (yyvsp[0].mtlosereferencelist, yyvsp[-1].mtlosereference); ;
+{ yyval.mtlosereferencelist = mtLoseReferenceList_single (yyvsp[0].mtlosereference); ;
break;}
case 84:
-{ yyval.mtlosereference = mtLoseReference_create (yyvsp[-2].tok, yyvsp[0].mttransferaction); ;
+{ yyval.mtlosereferencelist = mtLoseReferenceList_prepend (yyvsp[0].mtlosereferencelist, yyvsp[-1].mtlosereference); ;
break;}
case 85:
-{ yyval.mttransferclauselist = mtTransferClauseList_single (yyvsp[0].mttransferclause); ;
+{ yyval.mtlosereference = mtLoseReference_create (yyvsp[-2].tok, yyvsp[0].mttransferaction); ;
break;}
case 86:
-{ yyval.mttransferclauselist = mtTransferClauseList_prepend (yyvsp[0].mttransferclauselist, yyvsp[-1].mttransferclause); ;
+{ yyval.mttransferclauselist = mtTransferClauseList_single (yyvsp[0].mttransferclause); ;
break;}
case 87:
-{ yyval.mttransferclause = mtTransferClause_create (yyvsp[-4].tok, yyvsp[-2].tok, yyvsp[0].mttransferaction); ;
+{ yyval.mttransferclauselist = mtTransferClauseList_prepend (yyvsp[0].mttransferclauselist, yyvsp[-1].mttransferclause); ;
break;}
case 88:
-{ yyval.mttransferaction = mtTransferAction_createValue (yyvsp[0].tok); ;
+{ yyval.mttransferclause = mtTransferClause_create (yyvsp[-4].tok, yyvsp[-2].tok, yyvsp[0].mttransferaction); ;
break;}
case 89:
-{ yyval.mttransferaction = yyvsp[0].mttransferaction; ;
+{ yyval.mttransferaction = mtTransferAction_createValue (yyvsp[0].tok); ;
break;}
case 90:
-{ yyval.mttransferaction = mtTransferAction_createError (yyvsp[0].tok); ;
+{ yyval.mttransferaction = yyvsp[0].mttransferaction; ;
break;}
case 91:
+{ yyval.mttransferaction = mtTransferAction_createError (yyvsp[0].tok); ;
+ break;}
+case 92:
{ yyval.mttransferaction = mtTransferAction_createErrorMessage (yyvsp[0].tok); ;
break;}
}
#if YYDEBUG
if (yydebug)
{
- short *ssp1 = yyss - 1;
- fprintf (stderr, "state stack now");
- while (ssp1 != yyssp)
- fprintf (stderr, " %d", *++ssp1);
- fprintf (stderr, "\n");
+ short *yyssp1 = yyss - 1;
+ YYFPRINTF (stderr, "state stack now");
+ while (yyssp1 != yyssp)
+ YYFPRINTF (stderr, " %d", *++yyssp1);
+ YYFPRINTF (stderr, "\n");
}
#endif
if (yyn > YYFLAG && yyn < YYLAST)
{
- int size = 0;
- char *msg;
- int x, count;
-
- count = 0;
- /* Start X at -yyn if nec to avoid negative indexes in yycheck. */
- for (x = (yyn < 0 ? -yyn : 0);
- x < (int) (sizeof (yytname) / sizeof (char *)); x++)
- if (yycheck[x + yyn] == x)
- size += strlen (yytname[x]) + 15, count++;
- size += strlen ("parse error, unexpected `") + 1;
- size += strlen (yytname[YYTRANSLATE (yychar)]);
- msg = (char *) malloc (size);
- if (msg != 0)
+ YYSIZE_T yysize = 0;
+ char *yymsg;
+ int yyx, yycount;
+
+ yycount = 0;
+ /* Start YYX at -YYN if negative to avoid negative indexes in
+ YYCHECK. */
+ for (yyx = yyn < 0 ? -yyn : 0;
+ yyx < (int) (sizeof (yytname) / sizeof (char *)); yyx++)
+ if (yycheck[yyx + yyn] == yyx)
+ yysize += yystrlen (yytname[yyx]) + 15, yycount++;
+ yysize += yystrlen ("parse error, unexpected ") + 1;
+ yysize += yystrlen (yytname[YYTRANSLATE (yychar)]);
+ yymsg = (char *) YYSTACK_ALLOC (yysize);
+ if (yymsg != 0)
{
- strcpy (msg, "parse error, unexpected `");
- strcat (msg, yytname[YYTRANSLATE (yychar)]);
- strcat (msg, "'");
+ char *yyp = yystpcpy (yymsg, "parse error, unexpected ");
+ yyp = yystpcpy (yyp, yytname[YYTRANSLATE (yychar)]);
- if (count < 5)
+ if (yycount < 5)
{
- count = 0;
- for (x = (yyn < 0 ? -yyn : 0);
- x < (int) (sizeof (yytname) / sizeof (char *)); x++)
- if (yycheck[x + yyn] == x)
+ yycount = 0;
+ for (yyx = yyn < 0 ? -yyn : 0;
+ yyx < (int) (sizeof (yytname) / sizeof (char *));
+ yyx++)
+ if (yycheck[yyx + yyn] == yyx)
{
- strcat (msg, count == 0 ? ", expecting `" : " or `");
- strcat (msg, yytname[x]);
- strcat (msg, "'");
- count++;
+ const char *yyq = ! yycount ? ", expecting " : " or ";
+ yyp = yystpcpy (yyp, yyq);
+ yyp = yystpcpy (yyp, yytname[yyx]);
+ yycount++;
}
}
- yyerror (msg);
- free (msg);
+ yyerror (yymsg);
+ YYSTACK_FREE (yymsg);
}
else
- yyerror ("parse error; also virtual memory exceeded");
+ yyerror ("parse error; also virtual memory exhausted");
}
else
-#endif /* YYERROR_VERBOSE */
+#endif /* defined (YYERROR_VERBOSE) */
yyerror ("parse error");
}
goto yyerrlab1;
#if YYDEBUG
if (yydebug)
{
- short *ssp1 = yyss - 1;
- fprintf (stderr, "Error: state stack now");
- while (ssp1 != yyssp)
- fprintf (stderr, " %d", *++ssp1);
- fprintf (stderr, "\n");
+ short *yyssp1 = yyss - 1;
+ YYFPRINTF (stderr, "Error: state stack now");
+ while (yyssp1 != yyssp)
+ YYFPRINTF (stderr, " %d", *++yyssp1);
+ YYFPRINTF (stderr, "\n");
}
#endif
| yyacceptlab -- YYACCEPT comes here. |
`-------------------------------------*/
yyacceptlab:
- if (yyfree_stacks)
- {
- free (yyss);
- free (yyvs);
-#if YYLSP_NEEDED
- free (yyls);
-#endif
- }
- return 0;
-
+ yyresult = 0;
+ goto yyreturn;
/*-----------------------------------.
| yyabortlab -- YYABORT comes here. |
`-----------------------------------*/
yyabortlab:
- if (yyfree_stacks)
- {
- free (yyss);
- free (yyvs);
-#if YYLSP_NEEDED
- free (yyls);
+ yyresult = 1;
+ goto yyreturn;
+
+/*---------------------------------------------.
+| yyoverflowab -- parser overflow comes here. |
+`---------------------------------------------*/
+yyoverflowlab:
+ yyerror ("parser stack overflow");
+ yyresult = 2;
+ /* Fall through. */
+
+yyreturn:
+#ifndef yyoverflow
+ if (yyss != yyssa)
+ YYSTACK_FREE (yyss);
#endif
- }
- return 1;
+ return yyresult;
}
/*drl added 11/27/2001*/
/*@=bounds@*/
+
+/*drl added 12/11/2002*/
+/*@=type@*/
andersk / splint.git / blobdiff