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

diff --git a/src/lalr.c b/src/lalr.c
index 8fb3c29ea9a9229a6293e3d19478a92d863fabd2..a549e5b43061ce28977cc4cfcb53b57c1ec7dae4 100644 (file)
--- a/src/lalr.c
+++ b/src/lalr.c
@@ -87,7 +87,8 @@ set_goto_map (void)
       int 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++;
          goto_map[TRANSITION_SYMBOL (sp, i)]++;
        }
@@ -144,8 +145,10 @@ map_goto (state_number_t state, symbol_number_t symbol)
   low = goto_map[symbol];
   high = goto_map[symbol + 1] - 1;
 
-  while (low <= high)
+  for (;;)
     {
+      if (high < low)
+       abort ();
       middle = (low + high) / 2;
       s = from_state[middle];
       if (s == state)
@@ -155,10 +158,6 @@ map_goto (state_number_t state, symbol_number_t symbol)
       else
        high = middle - 1;
     }
-
-  assert (0);
-  /* NOTREACHED */
-  return 0;
 }