mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-03-12 22:03:02 +00:00
* src/conflicts.c (count_sr_conflicts, count_rr_conflicts): Return
the result instead of using... (src_total, rrc_total, src_count, rrc_count): Remove. (any_conflicts): Remove. (print_conflicts): Split into... (conflicts_print, conflicts_output): New. * src/conflicts.h: Adjust. * src/main.c (main): Invoke both conflicts_output and conflicts_print. * src/print.c (print_grammar): Issue `n' between to rule outputs. * tests/regression.at (Conflicts): New. Reported by Tom Lane.
This commit is contained in:
@@ -43,6 +43,101 @@ AT_CHECK([bison -v duplicate.y -o duplicate.c], 0, ignore, ignore)
|
||||
AT_CLEANUP([duplicate.*])
|
||||
|
||||
|
||||
## ----------- ##
|
||||
## Conflicts. ##
|
||||
## ----------- ##
|
||||
|
||||
AT_SETUP([Conflicts])
|
||||
|
||||
AT_DATA([input.y],
|
||||
[[%token NUM OP
|
||||
%%
|
||||
exp: exp OP exp | NUM;
|
||||
]])
|
||||
|
||||
AT_CHECK([bison input.y -o input.c -v], 0, [],
|
||||
[input.y contains 1 shift/reduce conflict.
|
||||
])
|
||||
|
||||
# Check the contents of the report.
|
||||
AT_CHECK([cat input.output], [],
|
||||
[[State 4 contains 1 shift/reduce conflict.
|
||||
|
||||
Grammar
|
||||
|
||||
rule 1 exp -> exp OP exp
|
||||
rule 2 exp -> NUM
|
||||
|
||||
Terminals, with rules where they appear
|
||||
|
||||
$ (-1)
|
||||
error (256)
|
||||
NUM (257) 2
|
||||
OP (258) 1
|
||||
|
||||
Nonterminals, with rules where they appear
|
||||
|
||||
exp (5)
|
||||
on left: 1 2, on right: 1
|
||||
|
||||
|
||||
state 0
|
||||
|
||||
NUM shift, and go to state 1
|
||||
|
||||
exp go to state 2
|
||||
|
||||
|
||||
|
||||
state 1
|
||||
|
||||
exp -> NUM . (rule 2)
|
||||
|
||||
$default reduce using rule 2 (exp)
|
||||
|
||||
|
||||
|
||||
state 2
|
||||
|
||||
exp -> exp . OP exp (rule 1)
|
||||
|
||||
$ go to state 5
|
||||
OP shift, and go to state 3
|
||||
|
||||
|
||||
|
||||
state 3
|
||||
|
||||
exp -> exp OP . exp (rule 1)
|
||||
|
||||
NUM shift, and go to state 1
|
||||
|
||||
exp go to state 4
|
||||
|
||||
|
||||
|
||||
state 4
|
||||
|
||||
exp -> exp . OP exp (rule 1)
|
||||
exp -> exp OP exp . (rule 1)
|
||||
|
||||
OP shift, and go to state 3
|
||||
|
||||
|
||||
|
||||
state 5
|
||||
|
||||
$ go to state 6
|
||||
|
||||
|
||||
|
||||
state 6
|
||||
|
||||
$default accept
|
||||
]])
|
||||
|
||||
AT_CLEANUP(input.c input.output)
|
||||
|
||||
|
||||
## ---------------------- ##
|
||||
## Mixing %token styles. ##
|
||||
|
||||
Reference in New Issue
Block a user