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

style: reduce scopes, propagate const

Browse Source 
* src/conflicts.c (conflicts_output): here.
This commit is contained in:
Akim Demaille
2019-06-11 20:46:40 +02:00
parent a298a6d82b
commit 1105cf841b
1 changed files with 18 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

38
src/conflicts.c
View File

@@ -431,7 +431,7 @@ conflicts_update_state_numbers (state_number old_to_new[],
`---------------------------------------------*/
static size_t
count_state_sr_conflicts (state *s)
count_state_sr_conflicts (const state *s)
{
transitions *trans = s->transitions;
reductions *reds = s->reductions;
@@ -479,7 +479,7 @@ count_sr_conflicts (void)
`-----------------------------------------------------------------*/
static size_t
count_state_rr_conflicts (state *s)
count_state_rr_conflicts (const state *s)
{
reductions *reds = s->reductions;
size_t res = 0;
@@ -591,24 +591,22 @@ conflicts_output (FILE *out)
{
bool printed_sth = false;
for (state_number i = 0; i < nstates; ++i)
{
state *s = states[i];
if (conflicts[i])
{
int src = count_state_sr_conflicts (s);
int rrc = count_state_rr_conflicts (s);
fprintf (out, _("State %d "), i);
if (src && rrc)
fprintf (out,
_("conflicts: %d shift/reduce, %d reduce/reduce\n"),
src, rrc);
else if (src)
fprintf (out, _("conflicts: %d shift/reduce\n"), src);
else if (rrc)
fprintf (out, _("conflicts: %d reduce/reduce\n"), rrc);
printed_sth = true;
}
}
if (conflicts[i])
{
const state *s = states[i];
int src = count_state_sr_conflicts (s);
int rrc = count_state_rr_conflicts (s);
fprintf (out, _("State %d "), i);
if (src && rrc)
fprintf (out,
_("conflicts: %d shift/reduce, %d reduce/reduce\n"),
src, rrc);
else if (src)
fprintf (out, _("conflicts: %d shift/reduce\n"), src);
else if (rrc)
fprintf (out, _("conflicts: %d reduce/reduce\n"), rrc);
printed_sth = true;
}
if (printed_sth)
fputs ("\n\n", out);
}