* src/lalr.c (set_goto_map, initialize_F): Use SHIFT_SYMBOL.

diff --git a/ChangeLog b/ChangeLog
index 2107266f5ba4cce8cce773fb37056b8b4b7dd2ef..6966cac37a09908c8d4a352d39f84a57c2d2e97b 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2001-12-27  Akim Demaille  <akim@epita.fr>
+
+       * src/lalr.c (set_goto_map, initialize_F): Use SHIFT_SYMBOL.
+
 2001-12-27  Akim Demaille  <akim@epita.fr>
 
        * src/conflicts.c, src/conflicts.h (print_reductions): Move to...

diff --git a/src/lalr.c b/src/lalr.c
index be178b8d5ee20e46f6b9e966230d1568036a686d..3851350bdfce5482587ae71803ebf86196c92c8f 100644 (file)
--- a/src/lalr.c
+++ b/src/lalr.c
@@ -171,13 +171,11 @@ set_goto_map (void)
       shifts *sp = state_table[state]->shifts;
       for (i = sp->nshifts - 1; i >= 0 && SHIFT_IS_GOTO (sp, i); --i)
        {
-         int symbol = state_table[sp->shifts[i]]->accessing_symbol;
-
          if (ngotos == MAXSHORT)
            fatal (_("too many gotos (max %d)"), MAXSHORT);
 
          ngotos++;
-         goto_map[symbol]++;
+         goto_map[SHIFT_SYMBOL (sp, i)]++;
        }
     }
 
@@ -204,12 +202,9 @@ set_goto_map (void)
       shifts *sp = state_table[state]->shifts;
       for (i = sp->nshifts - 1; i >= 0 && SHIFT_IS_GOTO (sp, i); --i)
        {
-         int state2 = sp->shifts[i];
-         int symbol = state_table[state2]->accessing_symbol;
-
-         int k = temp_map[symbol]++;
+         int k = temp_map[SHIFT_SYMBOL (sp, i)]++;
          from_state[k] = state;
-         to_state[k] = state2;
+         to_state[k] = sp->shifts[i];
        }
     }
 
@@ -269,14 +264,11 @@ initialize_F (void)
 
       int j;
       for (j = 0; j < sp->nshifts && SHIFT_IS_SHIFT (sp, j); j++)
-       {
-         int symbol = state_table[sp->shifts[j]]->accessing_symbol;
-         SETBIT (F (i), symbol);
-       }
+       SETBIT (F (i), SHIFT_SYMBOL (sp, j));
 
       for (; j < sp->nshifts; j++)
        {
-         int symbol = state_table[sp->shifts[j]]->accessing_symbol;
+         int symbol = SHIFT_SYMBOL (sp, j);
          if (nullable[symbol])
            edge[nedges++] = map_goto (stateno, symbol);
        }