#pragma ident "%Z%%M% %I% %E% SMI"
/* A Bison parser, made from ./x-deltat.y
by GNU Bison version 1.28 */
#include <ctype.h>
#include <errno.h>
#include <k5-int.h>
struct param {
char *p;
};
/* An explanation of the tests being performed.
We do not want to overflow a 32 bit integer with out manipulations,
even for testing for overflow. Therefore we rely on the following:
The lex parser will not return a number > MAX_TIME (which is out 32
bit limit).
Therefore, seconds (s) will require
MIN_TIME < s < MAX_TIME
For subsequent tests, the logic is as follows:
If A < MAX_TIME and B < MAX_TIME
If we want to test if A+B < MAX_TIME, there are two cases
if (A > 0)
then A + B < MAX_TIME if B < MAX_TIME - A
else A + B < MAX_TIME always.
if we want to test if MIN_TIME < A + B
if A > 0 - then nothing to test
otherwise, we test if MIN_TIME - A < B.
We of course are testing for:
MIN_TIME < A + B < MAX_TIME
*/
res = (a) + (b)
#define DO(D,H,M,S) \
{ \
/* Overflow testing - this does not handle negative values well.. */ \
}
static int mylex (int *, char **);
static int yyparse (void *);
#include <stdio.h>
#ifndef __cplusplus
#ifndef __STDC__
#define const
#endif
#endif
static const char yytranslate[] = { 0,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 6, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 7, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 8,
2, 2, 2, 9, 2, 2, 2, 2, 10, 2,
2, 2, 2, 2, 11, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 1, 3, 4, 5, 12
};
#if YYDEBUG != 0
static const short yyprhs[] = { 0,
0, 2, 4, 6, 8, 11, 12, 14, 17, 20,
24, 28, 32, 35, 43, 49, 53, 55, 57, 61,
63, 67, 69
};
0, 3, 0, 4, 0, 14, 0, 6, 14, 0,
0, 12, 0, 16, 15, 0, 16, 5, 0, 17,
8, 19, 0, 17, 9, 20, 0, 17, 10, 21,
0, 17, 11, 0, 17, 6, 3, 7, 3, 7,
3, 0, 17, 7, 3, 7, 3, 0, 17, 7,
3, 0, 17, 0, 20, 0, 17, 9, 20, 0,
21, 0, 17, 10, 21, 0, 16, 0, 17, 11,
0
};
#endif
#if YYDEBUG != 0
static const short yyrline[] = { 0,
136, 137, 137, 138, 138, 139, 139, 140, 141, 142,
144, 145, 146, 147, 148, 149, 150, 153, 155, 157,
159, 161, 163
};
#endif
#if YYDEBUG != 0 || defined (YYERROR_VERBOSE)
"OVERFLOW","'-'","':'","'d'","'h'","'m'","'s'","WS","start","posnum","num","ws",
};
#endif
static const short yyr1[] = { 0,
13, 14, 14, 15, 15, 16, 16, 17, 17, 18,
18, 18, 18, 18, 18, 18, 18, 19, 19, 20,
20, 21, 21
};
static const short yyr2[] = { 0,
1, 1, 1, 1, 2, 0, 1, 2, 2, 3,
3, 3, 2, 7, 5, 3, 1, 1, 3, 1,
3, 1, 2
};
7, 0, 17, 1, 2, 3, 9, 0, 4, 8,
0, 0, 6, 6, 6, 13, 5, 0, 16, 22,
0, 10, 18, 20, 0, 11, 0, 12, 0, 0,
6, 6, 23, 0, 15, 19, 21, 0, 14, 0,
0, 0
};
9, 10, 20, 25, 4, 22, 23, 24
};
-32768, 18, -2,-32768,-32768,-32768,-32768, 13,-32768,-32768,
11, 16, -10, -10, -10,-32768,-32768, 20, 21, 18,
1,-32768,-32768,-32768, 15,-32768, 19,-32768, 26, 28,
-10, -10,-32768, 27,-32768,-32768,-32768, 30,-32768, 35,
36,-32768
};
29,-32768, 38, 0,-32768,-32768, -13, -12
};
26, 1, 28, 11, 12, 13, 14, 15, 16, 31,
32, 33, 21, 18, 27, 5, 6, 36, 19, 37,
5, 6, 7, 8, 32, 33, 29, 30, 34, 33,
35, 27, 39, 38, 41, 42, 17, 2
};
static const short yycheck[] = { 0,
14, 12, 15, 6, 7, 8, 9, 10, 11, 9,
10, 11, 13, 3, 15, 3, 4, 31, 3, 32,
3, 4, 5, 6, 10, 11, 7, 7, 3, 11,
3, 32, 3, 7, 0, 0, 8, 0
};
/* -*-C-*- Note some compilers choke on comments on `#line' lines. */
/* This file comes from bison-1.28. */
/* Skeleton output parser for bison,
Copyright (C) 1984, 1989, 1990 Free Software Foundation, Inc.
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 59 Temple Place - Suite 330,
Boston, MA 02111-1307, USA. */
/* As a special exception, when this file is copied by Bison into a
Bison output file, you may use that output file without restriction.
This special exception was added by the Free Software Foundation
in version 1.24 of Bison. */
/* This is the parser code that is written into each bison parser
when the %semantic_parser declaration is not specified in the grammar.
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
#else /* alloca not defined */
#ifdef __GNUC__
#define YYSTACK_USE_ALLOCA
#else /* not GNU C. */
#if (!defined (__STDC__) && defined (sparc)) || defined (__sparc__) || defined (__sparc) || defined (__sgi) || (defined (__sun) && defined (__i386))
#define YYSTACK_USE_ALLOCA
#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 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
#else /* not MSDOS, or __TURBOC__, or _AIX */
#if 0
#ifdef __hpux /* haible@ilog.fr says this works for HPUX 9.05 and up,
and on HPUX 10. Eventually we can turn this on. */
#define YYSTACK_USE_ALLOCA
#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 */
#ifdef YYSTACK_USE_ALLOCA
#else
#endif
/* Note: there must be only one dollar sign in this file.
It is replaced by the list of actions, each action
as one case of the switch. */
#define YYEOF 0
/* Like YYERROR except do call yyerror.
This remains here temporarily to ease the
transition to the new meaning of YYERROR, for GCC.
Once GCC version 2 has supplanted version 1, this can go. */
do \
YYPOPSTACK; \
goto yybackup; \
} \
else \
while (0)
#ifndef YYPURE
#endif
#ifdef YYPURE
#ifdef YYLSP_NEEDED
#ifdef YYLEX_PARAM
#else
#endif
#else /* not YYLSP_NEEDED */
#ifdef YYLEX_PARAM
#else
#endif
#endif /* not YYLSP_NEEDED */
#endif
/* If nonreentrant, generate the variables here */
#ifndef YYPURE
/* lookahead symbol */
#ifdef YYLSP_NEEDED
/* symbol */
#endif
#endif /* not YYPURE */
#if YYDEBUG != 0
/* Since this is uninitialized, it does not stop multiple parsers
from coexisting. */
#endif
/* YYINITDEPTH indicates the initial size of the parser's stacks */
#ifndef YYINITDEPTH
#endif
/* YYMAXDEPTH is the maximum size the stacks can grow to
(effective only if the built-in stack extension method is used). */
#if YYMAXDEPTH == 0
#endif
#ifndef YYMAXDEPTH
#endif
/* 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. */
#else /* not GNU C or C++ */
#ifndef __cplusplus
/* This is the most reliable way to avoid incompatibilities
in available built-in functions on various systems. */
static void
char *to;
char *from;
unsigned int count;
{
register char *f = from;
register char *t = to;
register int i = count;
while (i-- > 0)
*t++ = *f++;
}
#else /* __cplusplus */
/* This is the most reliable way to avoid incompatibilities
in available built-in functions on various systems. */
static void
{
register char *t = to;
register char *f = from;
register int i = count;
while (i-- > 0)
*t++ = *f++;
}
#endif
#endif
/* The user can define YYPARSE_PARAM as the name of an argument to be passed
into yyparse. The argument should have type void *.
It should actually point to an object.
Grammar actions can access the variable by casting it
to the proper pointer type. */
#ifdef YYPARSE_PARAM
#ifdef __cplusplus
#define YYPARSE_PARAM_DECL
#else /* not __cplusplus */
#endif /* not __cplusplus */
#else /* not YYPARSE_PARAM */
#define YYPARSE_PARAM_ARG
#define YYPARSE_PARAM_DECL
#endif /* not YYPARSE_PARAM */
/* Prevent warning if -Wstrict-prototypes. */
#ifdef __GNUC__
#ifdef YYPARSE_PARAM
int yyparse (void *);
#else
int yyparse (void);
#endif
#endif
int
{
register int yystate;
register int yyn;
register short *yyssp;
#ifdef YYLSP_NEEDED
#else
#endif
int yyfree_stacks = 0;
#ifdef YYPURE
int yychar;
int yynerrs;
#ifdef YYLSP_NEEDED
#endif
#endif
/* semantic values from the action */
/* routines */
int yylen;
#if YYDEBUG != 0
if (yydebug)
#endif
yystate = 0;
yyerrstatus = 0;
yynerrs = 0;
/* Initialize stack pointers.
Waste one element of value and location stack
so that they stay on the same level as the state stack.
The wasted elements are never initialized. */
#ifdef YYLSP_NEEDED
#endif
/* Push a new state, which is found in yystate . */
/* In all cases, when you get here, the value and location stacks
have just been pushed. so pushing a state here evens the stacks. */
{
/* Give user a chance to reallocate the stack */
/* Use copies of these so that the &'s don't force the real ones into memory. */
#ifdef YYLSP_NEEDED
#endif
/* Get the current used size of the three stacks, in elements. */
#ifdef yyoverflow
/* Each stack pointer address is followed by the size of
the data in use in that stack, in bytes. */
#ifdef 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",
&yystacksize);
#else
yyoverflow("parser stack overflow",
&yystacksize);
#endif
#ifdef YYLSP_NEEDED
#endif
#else /* no yyoverflow */
/* Extend the stack our own way. */
if (yystacksize >= YYMAXDEPTH)
{
yyerror("parser stack overflow");
if (yyfree_stacks)
{
#ifdef YYLSP_NEEDED
#endif
}
return 2;
}
yystacksize *= 2;
if (yystacksize > YYMAXDEPTH)
#ifndef YYSTACK_USE_ALLOCA
yyfree_stacks = 1;
#endif
#ifdef YYLSP_NEEDED
#endif
#endif /* no yyoverflow */
#ifdef YYLSP_NEEDED
#endif
#if YYDEBUG != 0
if (yydebug)
#endif
}
#if YYDEBUG != 0
if (yydebug)
#endif
goto yybackup;
/* Do appropriate processing given the current state. */
/* Read a lookahead token if we need one and don't already have one. */
/* yyresume: */
/* First try to decide what to do without reference to lookahead token. */
goto yydefault;
/* Not known => get a lookahead token if don't already have one. */
/* yychar is either YYEMPTY or YYEOF
or a valid token in external form. */
{
#if YYDEBUG != 0
if (yydebug)
#endif
}
/* Convert token to internal form (in yychar1) for indexing tables with */
if (yychar <= 0) /* This means end of input. */
{
yychar1 = 0;
#if YYDEBUG != 0
if (yydebug)
#endif
}
else
{
#if YYDEBUG != 0
if (yydebug)
{
/* Give the individual parser a way to print the precise meaning
of a token, for further debugging info. */
#ifdef YYPRINT
#endif
}
#endif
}
goto yydefault;
/* yyn is what to do for this token type in this state.
Negative => reduce, -yyn is rule number.
Positive => shift, yyn is new state.
New state is final state => don't bother to shift,
just return success.
0, or most negative number => error. */
if (yyn < 0)
{
goto yyerrlab;
goto yyreduce;
}
else if (yyn == 0)
goto yyerrlab;
/* Shift the lookahead token. */
#if YYDEBUG != 0
if (yydebug)
#endif
/* Discard the token being shifted unless it is eof. */
#ifdef YYLSP_NEEDED
#endif
/* count tokens shifted since error; after three, turn off error status. */
if (yyerrstatus) yyerrstatus--;
goto yynewstate;
/* Do the default action for the current state. */
if (yyn == 0)
goto yyerrlab;
/* Do a reduction. yyn is the number of a rule to reduce with. */
if (yylen > 0)
#if YYDEBUG != 0
if (yydebug)
{
int i;
/* Print the symbols being reduced, and their result. */
}
#endif
switch (yyn) {
case 5:
break;}
case 8:
break;}
case 9:
{ YYERROR ;
break;}
case 10:
break;}
case 11:
break;}
case 12:
break;}
case 13:
break;}
case 14:
break;}
case 15:
break;}
case 16:
break;}
case 17:
break;}
case 19:
break;}
case 21:
break;}
case 22:
break;}
}
/* the action file gets copied in in place of this dollarsign */
#ifdef YYLSP_NEEDED
#endif
#if YYDEBUG != 0
if (yydebug)
{
}
#endif
#ifdef YYLSP_NEEDED
yylsp++;
if (yylen == 0)
{
}
else
{
}
#endif
/* Now "shift" the result of the reduction.
Determine what state that goes to,
based on the state we popped back to
and the rule number reduced by. */
else
goto yynewstate;
yyerrlab: /* here on detecting error */
if (! yyerrstatus)
/* If not already recovering from an error, report this error. */
{
++yynerrs;
#ifdef YYERROR_VERBOSE
{
int size = 0;
char *msg;
int x, count;
count = 0;
/* Start X at -yyn if nec to avoid negative indexes in yycheck. */
x < (sizeof(yytname) / sizeof(char *)); x++)
if (msg != 0)
{
if (count < 5)
{
count = 0;
x < (sizeof(yytname) / sizeof(char *)); x++)
{
count++;
}
}
}
else
yyerror ("parse error; also virtual memory exceeded");
}
else
#endif /* YYERROR_VERBOSE */
yyerror("parse error");
}
goto yyerrlab1;
yyerrlab1: /* here on error raised explicitly by an action */
if (yyerrstatus == 3)
{
/* if just tried and failed to reuse lookahead token after an error, discard it. */
/* return failure if at end of input */
#if YYDEBUG != 0
if (yydebug)
#endif
}
/* Else will try to reuse lookahead token
after shifting the error token. */
goto yyerrhandle;
yyerrdefault: /* current state does not do anything special for the error token. */
#if 0
/* This is wrong; only states that explicitly want error tokens
should shift them. */
#endif
yyerrpop: /* pop the current state because it cannot handle the error token */
yyvsp--;
#ifdef YYLSP_NEEDED
yylsp--;
#endif
#if YYDEBUG != 0
if (yydebug)
{
}
#endif
goto yyerrdefault;
goto yyerrdefault;
if (yyn < 0)
{
goto yyerrpop;
goto yyreduce;
}
else if (yyn == 0)
goto yyerrpop;
#if YYDEBUG != 0
if (yydebug)
#endif
#ifdef YYLSP_NEEDED
#endif
goto yynewstate;
/* YYACCEPT comes here. */
if (yyfree_stacks)
{
#ifdef YYLSP_NEEDED
#endif
}
return 0;
/* YYABORT comes here. */
if (yyfree_stacks)
{
#ifdef YYLSP_NEEDED
#endif
}
return 1;
}
static int
{
int num, c;
#define P (*pp)
char *orig_p = P;
#ifdef isascii
if (!isascii (*P))
return 0;
#endif
switch (c = *P++) {
case '-':
case ':':
case 'd':
case 'h':
case 'm':
case 's':
return c;
case '0':
case '1':
case '2':
case '3':
case '4':
case '5':
case '6':
case '7':
case '8':
case '9':
/* XXX assumes ASCII */
num = c - '0';
while (isdigit ((int) *P)) {
return OVERFLOW;
num *= 10;
return OVERFLOW;
num += *P++ - '0';
}
case ' ':
case '\t':
case '\n':
while (isspace ((int) *P))
P++;
return WS;
default:
return YYEOF;
}
}
{
struct param p;
p.delta = 0;
p.p = string;
if (yyparse (&p))
return KRB5_DELTAT_BADFORMAT;
return 0;
}