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

(set_goto_map, map_goto): Use abort rather than assert.

Browse Source
This commit is contained in:
Paul Eggert
2002-11-21 05:18:08 +00:00
parent 7223426a2b
commit 58a84254ef
1 changed files with 5 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
src/lalr.c
View File

@@ -87,7 +87,8 @@ set_goto_map (void)
int i; int i;
for (i = sp->num - 1; i >= 0 && TRANSITION_IS_GOTO (sp, i); --i) for (i = sp->num - 1; i >= 0 && TRANSITION_IS_GOTO (sp, i); --i)
{ {
assert (ngotos < GOTO_NUMBER_MAX); if (ngotos >= GOTO_NUMBER_MAX)
abort ();
ngotos++; ngotos++;
goto_map[TRANSITION_SYMBOL (sp, i)]++; goto_map[TRANSITION_SYMBOL (sp, i)]++;
} }
@@ -144,8 +145,10 @@ map_goto (state_number_t state, symbol_number_t symbol)
low = goto_map[symbol]; low = goto_map[symbol];
high = goto_map[symbol + 1] - 1; high = goto_map[symbol + 1] - 1;
while (low <= high) for (;;)
{ {
if (high < low)
abort ();
middle = (low + high) / 2; middle = (low + high) / 2;
s = from_state[middle]; s = from_state[middle];
if (s == state) if (s == state)
@@ -155,10 +158,6 @@ map_goto (state_number_t state, symbol_number_t symbol)
else else
high = middle - 1; high = middle - 1;
} }
assert (0);
/* NOTREACHED */
return 0;
} }