04-fyi-closure-ruleno.patch

[Akim Demaille]

Index: ChangeLog
from  Akim Demaille  <address@hidden>
        * src/closure.c (closure): `b' and `ruleno' denote the same value:
        keep ruleno only.
        
        
Index: src/closure.c
--- src/closure.c Tue, 27 Nov 2001 23:56:31 +0100 akim
+++ src/closure.c Tue, 27 Nov 2001 23:59:24 +0100 akim
@@ -235,7 +235,6 @@
 void
 closure (short *core, int n)
 {
-  int ruleno;
   /* Index over CORE. */
   int c;
 
@@ -243,7 +242,7 @@
   int r;
 
   /* A bit index over RULESET. */
-  int b;
+  int ruleno;
 
   if (trace_flag)
     {
@@ -269,26 +268,21 @@
            ruleset[r] |= FDERIVES (ritem[core[c]])[r];
     }
 
-  ruleno = 0;
   itemsetsize = 0;
   c = 0;
-  for (b = 0; b < rulesetsize * BITS_PER_WORD; ++b)
-    {
-      if (BITISSET (ruleset, b))
-       {
-         int itemno = rule_table[ruleno].rhs;
-         while (c < n && core[c] < itemno)
-           {
-             itemset[itemsetsize] = core[c];
-             itemsetsize++;
-             c++;
-           }
-         itemset[itemsetsize] = itemno;
-         itemsetsize++;
-       }
-
-      ruleno++;
-    }
+  for (ruleno = 0; ruleno < rulesetsize * BITS_PER_WORD; ++ruleno)
+    if (BITISSET (ruleset, ruleno))
+      {
+       int itemno = rule_table[ruleno].rhs;
+       while (c < n && core[c] < itemno)
+         {
+           itemset[itemsetsize] = core[c];
+           itemsetsize++;
+           c++;
+         }
+       itemset[itemsetsize] = itemno;
+       itemsetsize++;
+      }
 
   while (c < n)
     {