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

* src/conflicts.c (set_conflicts): Use arrays instead of pointers

Browse Source 
to clarify.
This commit is contained in:
Akim Demaille
2001-11-19 09:26:30 +00:00
parent e1cb5fb523
commit 65fae038b9
2 changed files with 28 additions and 44 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
ChangeLog
View File

@@ -1,3 +1,9 @@
2001-11-19 Akim Demaille <akim@epita.fr>
* src/conflicts.c (set_conflicts): Use arrays instead of pointers
to clarify.
2001-11-19 Akim Demaille <akim@epita.fr>
* src/closure.c (closure): Use arrays instead of pointers to clarify.

66
src/conflicts.c
View File

@@ -182,13 +182,8 @@ resolve_sr_conflict (int state, int lookaheadnum)
static void
set_conflicts (int state)
{
int i;
int k;
int i, j;
shifts *shiftp;
unsigned *fp2;
unsigned *fp3;
unsigned *fp4;
unsigned *fp1;
int symbol;
if (state_table[state].consistent)
@@ -199,58 +194,41 @@ set_conflicts (int state)
shiftp = state_table[state].shift_table;
if (shiftp)
{
k = shiftp->nshifts;
for (i = 0; i < k; i++)
{
symbol = state_table[shiftp->shifts[i]].accessing_symbol;
if (ISVAR (symbol))
break;
SETBIT (lookaheadset, symbol);
}
}
k = state_table[state + 1].lookaheads;
fp4 = lookaheadset + tokensetsize;
for (i = 0; i < shiftp->nshifts; i++)
{
symbol = state_table[shiftp->shifts[i]].accessing_symbol;
if (ISVAR (symbol))
break;
SETBIT (lookaheadset, symbol);
}
/* Loop over all rules which require lookahead in this state. First
check for shift-reduce conflict, and try to resolve using
precedence */
for (i = state_table[state].lookaheads; i < k; i++)
for (i = state_table[state].lookaheads;
i < state_table[state + 1].lookaheads;
++i)
if (rule_table[LAruleno[i]].prec)
{
fp1 = LA (i);
fp2 = fp1;
fp3 = lookaheadset;
while (fp3 < fp4)
for (j = 0; j < tokensetsize; ++j)
if (LA (i)[j] & lookaheadset[j])
{
if (*fp2++ & *fp3++)
{
resolve_sr_conflict (state, i);
break;
}
resolve_sr_conflict (state, i);
break;
}
}
/* Loop over all rules which require lookahead in this state. Check
for conflicts not resolved above. */
for (i = state_table[state].lookaheads; i < k; i++)
for (i = state_table[state].lookaheads;
i < state_table[state + 1].lookaheads;
++i)
{
fp1 = LA (i);
fp2 = fp1;
fp3 = lookaheadset;
while (fp3 < fp4)
if (*fp2++ & *fp3++)
for (j = 0; j < tokensetsize; ++j)
if (LA (i)[j] & lookaheadset[j])
conflicts[state] = 1;
fp2 = fp1;
fp3 = lookaheadset;
while (fp3 < fp4)
*fp3++ |= *fp2++;
for (j = 0; j < tokensetsize; ++j)
lookaheadset[j] |= LA (i)[j];
}
}