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

* src/closure.c (itemsetend): Remove, replaced with...

Browse Source 
(itemsetsize): new.
This commit is contained in:
Akim Demaille
2001-11-19 09:26:57 +00:00
parent f2a4c94506
commit 146ad4c8d0
4 changed files with 25 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
src/closure.c
View File

@@ -26,8 +26,10 @@
#include "derives.h"
#include "warshall.h"
/* ITEMSETSIZE is the size of the array ITEMSET. */
short *itemset;
short *itemsetend;
size_t itemsetsize;
static unsigned *ruleset;
/* internal data. See comments before set_fderives and set_firsts. */
@@ -51,11 +53,10 @@ static int varsetsize;
static void
print_closure (int n)
{
short *isp;
int i;
fprintf (stderr, "n = %d\n", n);
for (isp = itemset; isp < itemsetend; isp++)
fprintf (stderr, " %d\n", *isp);
for (i = 0; i < itemsetsize; ++i)
fprintf (stderr, " %d\n", itemset[i]);
fprintf (stderr, "\n\n");
}
@@ -265,9 +266,9 @@ closure (short *core, int n)
}
ruleno = 0;
itemsetend = itemset;
itemsetsize = 0;
csp = core;
for (i= 0; i < rulesetsize; ++i)
for (i = 0; i < rulesetsize; ++i)
{
int word = ruleset[i];
if (word == 0)
@@ -283,9 +284,9 @@ closure (short *core, int n)
if (word & (1 << b))
{
itemno = rule_table[ruleno].rhs;
while (csp < (core + n ) && *csp < itemno)
*itemsetend++ = *csp++;
*itemsetend++ = itemno;
while (csp < (core + n) && *csp < itemno)
itemset[itemsetsize++] = *csp++;
itemset[itemsetsize++] = itemno;
}
ruleno++;
@@ -294,7 +295,7 @@ closure (short *core, int n)
}
while (csp < (core + n))
*itemsetend++ = *csp++;
itemset[itemsetsize++] = *csp++;
if (trace_flag)
print_closure (n);