Future/bison
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/bison.git synced 2026-03-20 17:53:02 +00:00
Code Issues Packages Projects Releases Wiki Activity

(YYASSERT): New macro.

Browse Source 
(yyfillin, yydoAction, yyglrReduce, yysplitStack,
yyresolveStates, yyprocessOneStack):
Use `YYASSERT (FOO);' rather than `if (! (FOO)) abort ();'.
This commit is contained in:
Paul Eggert
2003-07-26 14:12:28 +00:00
parent 5b620e069d
commit 64c4fd521a
1 changed files with 12 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
data/glr.c
View File

@@ -249,6 +249,10 @@ b4_syncline([@oline@], [@ofile@])
# endif # endif
#endif #endif
#ifndef YYASSERT
# define YYASSERT(condition) ((void) ((condition) || (abort (), 0)))
#endif
#ifndef ATTRIBUTE_UNUSED #ifndef ATTRIBUTE_UNUSED
# define ATTRIBUTE_UNUSED __attribute__ ((__unused__)) # define ATTRIBUTE_UNUSED __attribute__ ((__unused__))
#endif #endif
@@ -649,8 +653,7 @@ yyfillin (yyGLRStackItem *yyvsp, int yylow0, int yylow1)
s = yyvsp[yylow0].yystate.yypred; s = yyvsp[yylow0].yystate.yypred;
for (i = yylow0-1; i >= yylow1; i -= 1) for (i = yylow0-1; i >= yylow1; i -= 1)
{ {
if (! s->yyresolved) YYASSERT (s->yyresolved);
abort ();
yyvsp[i].yystate.yyresolved = yytrue; yyvsp[i].yystate.yyresolved = yytrue;
yyvsp[i].yystate.yysemantics.yysval = s->yysemantics.yysval; yyvsp[i].yystate.yysemantics.yysval = s->yysemantics.yysval;
yyvsp[i].yystate.yyloc = s->yyloc; yyvsp[i].yystate.yyloc = s->yyloc;
@@ -1099,8 +1102,7 @@ yydoAction (yyGLRStack* yystack, int yyk, yyRuleNum yyrule,
{ {
/* Standard special case: single stack. */ /* Standard special case: single stack. */
yyGLRStackItem* rhs = (yyGLRStackItem*) yystack->yytops.yystates[yyk]; yyGLRStackItem* rhs = (yyGLRStackItem*) yystack->yytops.yystates[yyk];
if (yyk != 0) YYASSERT (yyk == 0);
abort ();
yystack->yynextFree -= yynrhs; yystack->yynextFree -= yynrhs;
yystack->yyspaceLeft += yynrhs; yystack->yyspaceLeft += yynrhs;
yystack->yytops.yystates[0] = & yystack->yynextFree[-1].yystate; yystack->yytops.yystates[0] = & yystack->yynextFree[-1].yystate;
@@ -1117,8 +1119,7 @@ yydoAction (yyGLRStack* yystack, int yyk, yyRuleNum yyrule,
for (yyi = 0; yyi < yynrhs; yyi += 1) for (yyi = 0; yyi < yynrhs; yyi += 1)
{ {
yys = yys->yypred; yys = yys->yypred;
if (yys == NULL) YYASSERT (yys);
abort ();
} }
yyupdateSplit (yystack, yys); yyupdateSplit (yystack, yys);
yystack->yytops.yystates[yyk] = yys; yystack->yytops.yystates[yyk] = yys;
@@ -1194,8 +1195,7 @@ yyglrReduce (yyGLRStack* yystack, size_t yyk, yyRuleNum yyrule,
0 < yyn; yyn -= 1) 0 < yyn; yyn -= 1)
{ {
yys = yys->yypred; yys = yys->yypred;
if (yys == NULL) YYASSERT (yys);
abort ();
} }
yyupdateSplit (yystack, yys); yyupdateSplit (yystack, yys);
yynewLRState = yyLRgotoState (yys->yylrState, yylhsNonterm (yyrule)); yynewLRState = yyLRgotoState (yys->yylrState, yylhsNonterm (yyrule));
@@ -1232,8 +1232,7 @@ yysplitStack (yyGLRStack* yystack, int yyk)
{ {
if (yystack->yysplitPoint == NULL) if (yystack->yysplitPoint == NULL)
{ {
if (yyk != 0) YYASSERT (yyk == 0);
abort ();
yystack->yysplitPoint = yystack->yytops.yystates[yyk]; yystack->yysplitPoint = yystack->yytops.yystates[yyk];
} }
if (yystack->yytops.yysize >= yystack->yytops.yycapacity) if (yystack->yytops.yysize >= yystack->yytops.yycapacity)
@@ -1331,8 +1330,7 @@ yyresolveStates (yyGLRState* yys, int yyn, yyGLRStack* yystack]b4_user_formals[)
YYRESULTTAG yyflag; YYRESULTTAG yyflag;
if (0 < yyn) if (0 < yyn)
{ {
if (yys->yypred == NULL) YYASSERT (yys->yypred);
abort ();
yyflag = yyresolveStates (yys->yypred, yyn-1, yystack]b4_user_args[); yyflag = yyresolveStates (yys->yypred, yyn-1, yystack]b4_user_args[);
if (yyflag != yyok) if (yyflag != yyok)
return yyflag; return yyflag;
@@ -1549,8 +1547,8 @@ yyprocessOneStack (yyGLRStack* yystack, int yyk,
yyStateNum yystate = yystack->yytops.yystates[yyk]->yylrState; yyStateNum yystate = yystack->yytops.yystates[yyk]->yylrState;
YYDPRINTF ((stderr, "Stack %d Entering state %d\n", yyk, yystate)); YYDPRINTF ((stderr, "Stack %d Entering state %d\n", yyk, yystate));
if (yystate == YYFINAL) YYASSERT (yystate != YYFINAL);
abort ();
if (yyisDefaultedState (yystate)) if (yyisDefaultedState (yystate))
{ {
yyrule = yydefaultAction (yystate); yyrule = yydefaultAction (yystate);