diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2020-07-19 19:34:34 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2020-07-20 06:45:27 +0200 |
| commit | ea138cd1f191ee1aff65c0a706a9646316538916 (patch) | |
| tree | 7b25989bcf9059626225befd8c71f82902431f23 /tests/report.at | |
| parent | 9922f1f877f7ef20dd1ba87221ce6907093fc9d1 (diff) | |
| download | bison-ea138cd1f191ee1aff65c0a706a9646316538916.tar.gz | |
cex: use usual routines for diagnostics about S/R conflicts
See previous commit. We go from
input.y: warning: 3 reduce/reduce conflicts [-Wconflicts-rr]
Shift/reduce conflict on token "⊕":
Example exp "+" exp • "⊕" exp
Shift derivation
exp
↳ exp "+" exp
↳ exp • "⊕" exp
to
input.y: warning: 3 reduce/reduce conflicts [-Wconflicts-rr]
input.y: warning: shift/reduce conflict on token "⊕" [-Wcounterexamples]
Example exp "+" exp • "⊕" exp
Shift derivation
exp
↳ exp "+" exp
↳ exp • "⊕" exp
with an hyperlink on -Wcounterexamples.
* src/counterexample.c (counterexample_report_shift_reduce):
Use complain.
* tests/counterexample.at, tests/diagnostics.at, tests/report.at:
Adjust.
Diffstat (limited to 'tests/report.at')
| -rw-r--r-- | tests/report.at | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/tests/report.at b/tests/report.at index ea00d0ad..b12d742c 100644 --- a/tests/report.at +++ b/tests/report.at @@ -1537,7 +1537,7 @@ exp AT_CHECK([LC_ALL="$locale" bison -fno-caret -o input.cc -rall -Wcex --graph=input.gv --xml input.y], [], [], [[input.y: warning: 3 shift/reduce conflicts [-Wconflicts-sr] input.y: warning: 3 reduce/reduce conflicts [-Wconflicts-rr] -Shift/reduce conflict on token "⊕": +input.y: warning: shift/reduce conflict on token "⊕" [-Wcounterexamples] Example exp "+" exp • "⊕" exp Shift derivation exp @@ -1557,7 +1557,7 @@ input.y: warning: reduce/reduce conflict on tokens $end, "+", "⊕" [-Wcounterex exp ↳ exp "+" exp • -Shift/reduce conflict on token "⊕": +input.y: warning: shift/reduce conflict on token "⊕" [-Wcounterexamples] Example exp "+" exp • "⊕" exp Shift derivation exp @@ -1568,7 +1568,7 @@ Shift/reduce conflict on token "⊕": ↳ exp "⊕" exp ↳ exp "+" exp • -Shift/reduce conflict on token "⊕": +input.y: warning: shift/reduce conflict on token "⊕" [-Wcounterexamples] Example exp "⊕" exp • "⊕" exp Shift derivation exp @@ -1579,7 +1579,7 @@ Shift/reduce conflict on token "⊕": ↳ exp "⊕" exp ↳ exp "⊕" exp • -Shift/reduce conflict on token "+": +input.y: warning: shift/reduce conflict on token "+" [-Wcounterexamples] Example exp "⊕" exp • "+" exp Shift derivation exp @@ -1590,7 +1590,7 @@ Shift/reduce conflict on token "+": ↳ exp "+" exp ↳ exp "⊕" exp • -Shift/reduce conflict on token "+": +input.y: warning: shift/reduce conflict on token "+" [-Wcounterexamples] Example exp "⊕" exp • "+" exp Shift derivation exp @@ -1745,7 +1745,7 @@ State 7 Conflict between rule 2 and token "+" resolved as reduce (%left "+"). - Shift/reduce conflict on token "⊕": + shift/reduce conflict on token "⊕": 2 exp: exp "+" exp • 1 exp: exp • "⊕" exp Example exp "+" exp • "⊕" exp @@ -1769,7 +1769,7 @@ State 7 exp ↳ exp "+" exp • - Shift/reduce conflict on token "⊕": + shift/reduce conflict on token "⊕": 3 exp: exp "+" exp • 1 exp: exp • "⊕" exp Example exp "+" exp • "⊕" exp @@ -1798,7 +1798,7 @@ State 8 "⊕" [reduce using rule 1 (exp)] $default reduce using rule 1 (exp) - Shift/reduce conflict on token "⊕": + shift/reduce conflict on token "⊕": 1 exp: exp "⊕" exp • 1 exp: exp • "⊕" exp Example exp "⊕" exp • "⊕" exp @@ -1811,7 +1811,7 @@ State 8 ↳ exp "⊕" exp ↳ exp "⊕" exp • - Shift/reduce conflict on token "+": + shift/reduce conflict on token "+": 1 exp: exp "⊕" exp • 2 exp: exp • "+" exp Example exp "⊕" exp • "+" exp @@ -1824,7 +1824,7 @@ State 8 ↳ exp "+" exp ↳ exp "⊕" exp • - Shift/reduce conflict on token "+": + shift/reduce conflict on token "+": 1 exp: exp "⊕" exp • 3 exp: exp • "+" exp Example exp "⊕" exp • "+" exp |