mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-03-09 12:23:04 +00:00
tests: check reports with conflicts and UTF-8
This is to record the current state of the report, which escapes the UTF-8 characters (as parse.error="verbose" does), but shouldn't (as parse.error="detailed" does). * tests/report.at: here.
This commit is contained in:
Akim Demaille
510
tests/report.at
510
tests/report.at
@@ -1138,5 +1138,515 @@ AT_CHECK([[sed -e 's/bison-xml-report version="[^"]*"/bison-xml-report version="
|
||||
]])
|
||||
|
||||
|
||||
AT_BISON_OPTION_POPDEFS
|
||||
AT_CLEANUP
|
||||
|
||||
|
||||
## ------------------------ ##
|
||||
## Reports with conflicts. ##
|
||||
## ------------------------ ##
|
||||
|
||||
AT_SETUP([Reports with conflicts])
|
||||
|
||||
AT_KEYWORDS([report])
|
||||
|
||||
AT_BISON_OPTION_PUSHDEFS
|
||||
AT_DATA([input.y],
|
||||
[[%left "+"
|
||||
%%
|
||||
exp
|
||||
: exp "⊕" exp
|
||||
| exp "+" exp
|
||||
| exp "+" exp
|
||||
| "number"
|
||||
| "Ñùṃéℝô"
|
||||
]])
|
||||
|
||||
AT_BISON_CHECK([-o input.cc -rall --graph=input.gv --xml input.y], [], [],
|
||||
[[input.y: warning: 3 shift/reduce conflicts [-Wconflicts-sr]
|
||||
input.y: warning: 3 reduce/reduce conflicts [-Wconflicts-rr]
|
||||
input.y: warning: rerun with option '-Wcounterexamples' to generate conflict counterexamples [-Wother]
|
||||
input.y:6.3-13: warning: rule useless in parser due to conflicts [-Wother]
|
||||
]])
|
||||
|
||||
# Check the contents of the report.
|
||||
AT_CHECK([cat input.output], [],
|
||||
[[Rules useless in parser due to conflicts
|
||||
|
||||
3 exp: exp "+" exp
|
||||
|
||||
|
||||
State 7 conflicts: 1 shift/reduce, 3 reduce/reduce
|
||||
State 8 conflicts: 2 shift/reduce
|
||||
|
||||
|
||||
Grammar
|
||||
|
||||
0 $accept: exp $end
|
||||
|
||||
1 exp: exp "\342\212\225" exp
|
||||
2 | exp "+" exp
|
||||
3 | exp "+" exp
|
||||
4 | "number"
|
||||
5 | "\303\221\303\271\341\271\203\303\251\342\204\235\303\264"
|
||||
|
||||
|
||||
Terminals, with rules where they appear
|
||||
|
||||
$end (0) 0
|
||||
error (256)
|
||||
"+" (258) 2 3
|
||||
"\342\212\225" (259) 1
|
||||
"number" (260) 4
|
||||
"\303\221\303\271\341\271\203\303\251\342\204\235\303\264" (261) 5
|
||||
|
||||
|
||||
Nonterminals, with rules where they appear
|
||||
|
||||
$accept (7)
|
||||
on left: 0
|
||||
exp (8)
|
||||
on left: 1 2 3 4 5
|
||||
on right: 0 1 2 3
|
||||
|
||||
|
||||
State 0
|
||||
|
||||
0 $accept: . exp $end
|
||||
1 exp: . exp "\342\212\225" exp
|
||||
2 | . exp "+" exp
|
||||
3 | . exp "+" exp
|
||||
4 | . "number"
|
||||
5 | . "\303\221\303\271\341\271\203\303\251\342\204\235\303\264"
|
||||
|
||||
"number" shift, and go to state 1
|
||||
"\303\221\303\271\341\271\203\303\251\342\204\235\303\264" shift, and go to state 2
|
||||
|
||||
exp go to state 3
|
||||
|
||||
|
||||
State 1
|
||||
|
||||
4 exp: "number" .
|
||||
|
||||
$default reduce using rule 4 (exp)
|
||||
|
||||
|
||||
State 2
|
||||
|
||||
5 exp: "\303\221\303\271\341\271\203\303\251\342\204\235\303\264" .
|
||||
|
||||
$default reduce using rule 5 (exp)
|
||||
|
||||
|
||||
State 3
|
||||
|
||||
0 $accept: exp . $end
|
||||
1 exp: exp . "\342\212\225" exp
|
||||
2 | exp . "+" exp
|
||||
3 | exp . "+" exp
|
||||
|
||||
$end shift, and go to state 4
|
||||
"+" shift, and go to state 5
|
||||
"\342\212\225" shift, and go to state 6
|
||||
|
||||
|
||||
State 4
|
||||
|
||||
0 $accept: exp $end .
|
||||
|
||||
$default accept
|
||||
|
||||
|
||||
State 5
|
||||
|
||||
1 exp: . exp "\342\212\225" exp
|
||||
2 | . exp "+" exp
|
||||
2 | exp "+" . exp
|
||||
3 | . exp "+" exp
|
||||
3 | exp "+" . exp
|
||||
4 | . "number"
|
||||
5 | . "\303\221\303\271\341\271\203\303\251\342\204\235\303\264"
|
||||
|
||||
"number" shift, and go to state 1
|
||||
"\303\221\303\271\341\271\203\303\251\342\204\235\303\264" shift, and go to state 2
|
||||
|
||||
exp go to state 7
|
||||
|
||||
|
||||
State 6
|
||||
|
||||
1 exp: . exp "\342\212\225" exp
|
||||
1 | exp "\342\212\225" . exp
|
||||
2 | . exp "+" exp
|
||||
3 | . exp "+" exp
|
||||
4 | . "number"
|
||||
5 | . "\303\221\303\271\341\271\203\303\251\342\204\235\303\264"
|
||||
|
||||
"number" shift, and go to state 1
|
||||
"\303\221\303\271\341\271\203\303\251\342\204\235\303\264" shift, and go to state 2
|
||||
|
||||
exp go to state 8
|
||||
|
||||
|
||||
State 7
|
||||
|
||||
1 exp: exp . "\342\212\225" exp
|
||||
2 | exp . "+" exp
|
||||
2 | exp "+" exp . [$end, "+", "\342\212\225"]
|
||||
3 | exp . "+" exp
|
||||
3 | exp "+" exp . [$end, "+", "\342\212\225"]
|
||||
|
||||
"\342\212\225" shift, and go to state 6
|
||||
|
||||
$end reduce using rule 2 (exp)
|
||||
$end [reduce using rule 3 (exp)]
|
||||
"+" reduce using rule 2 (exp)
|
||||
"+" [reduce using rule 3 (exp)]
|
||||
"\342\212\225" [reduce using rule 2 (exp)]
|
||||
"\342\212\225" [reduce using rule 3 (exp)]
|
||||
$default reduce using rule 2 (exp)
|
||||
|
||||
Conflict between rule 2 and token "+" resolved as reduce (%left "+").
|
||||
|
||||
|
||||
State 8
|
||||
|
||||
1 exp: exp . "\342\212\225" exp
|
||||
1 | exp "\342\212\225" exp . [$end, "+", "\342\212\225"]
|
||||
2 | exp . "+" exp
|
||||
3 | exp . "+" exp
|
||||
|
||||
"+" shift, and go to state 5
|
||||
"\342\212\225" shift, and go to state 6
|
||||
|
||||
"+" [reduce using rule 1 (exp)]
|
||||
"\342\212\225" [reduce using rule 1 (exp)]
|
||||
$default reduce using rule 1 (exp)
|
||||
]])
|
||||
|
||||
|
||||
|
||||
|
||||
AT_CHECK([sed -e '1s/GNU Bison .*\.$/GNU Bison VERSION./' input.gv], [],
|
||||
[[// Generated by GNU Bison VERSION.
|
||||
// Report bugs to <bug-bison@gnu.org>.
|
||||
// Home page: <https://www.gnu.org/software/bison/>.
|
||||
|
||||
digraph "input.y"
|
||||
{
|
||||
node [fontname = courier, shape = box, colorscheme = paired6]
|
||||
edge [fontname = courier]
|
||||
|
||||
0 [label="State 0\n\l 0 $accept: . exp $end\l 1 exp: . exp \"\\342\\212\\225\" exp\l 2 | . exp \"+\" exp\l 3 | . exp \"+\" exp\l 4 | . \"number\"\l 5 | . \"\\303\\221\\303\\271\\341\\271\\203\\303\\251\\342\\204\\235\\303\\264\"\l"]
|
||||
0 -> 1 [style=solid label="\"number\""]
|
||||
0 -> 2 [style=solid label="\"\\303\\221\\303\\271\\341\\271\\203\\303\\251\\342\\204\\235\\303\\264\""]
|
||||
0 -> 3 [style=dashed label="exp"]
|
||||
1 [label="State 1\n\l 4 exp: \"number\" .\l"]
|
||||
1 -> "1R4" [style=solid]
|
||||
"1R4" [label="R4", fillcolor=3, shape=diamond, style=filled]
|
||||
2 [label="State 2\n\l 5 exp: \"\\303\\221\\303\\271\\341\\271\\203\\303\\251\\342\\204\\235\\303\\264\" .\l"]
|
||||
2 -> "2R5" [style=solid]
|
||||
"2R5" [label="R5", fillcolor=3, shape=diamond, style=filled]
|
||||
3 [label="State 3\n\l 0 $accept: exp . $end\l 1 exp: exp . \"\\342\\212\\225\" exp\l 2 | exp . \"+\" exp\l 3 | exp . \"+\" exp\l"]
|
||||
3 -> 4 [style=solid label="$end"]
|
||||
3 -> 5 [style=solid label="\"+\""]
|
||||
3 -> 6 [style=solid label="\"\\342\\212\\225\""]
|
||||
4 [label="State 4\n\l 0 $accept: exp $end .\l"]
|
||||
4 -> "4R0" [style=solid]
|
||||
"4R0" [label="Acc", fillcolor=1, shape=diamond, style=filled]
|
||||
5 [label="State 5\n\l 1 exp: . exp \"\\342\\212\\225\" exp\l 2 | . exp \"+\" exp\l 2 | exp \"+\" . exp\l 3 | . exp \"+\" exp\l 3 | exp \"+\" . exp\l 4 | . \"number\"\l 5 | . \"\\303\\221\\303\\271\\341\\271\\203\\303\\251\\342\\204\\235\\303\\264\"\l"]
|
||||
5 -> 1 [style=solid label="\"number\""]
|
||||
5 -> 2 [style=solid label="\"\\303\\221\\303\\271\\341\\271\\203\\303\\251\\342\\204\\235\\303\\264\""]
|
||||
5 -> 7 [style=dashed label="exp"]
|
||||
6 [label="State 6\n\l 1 exp: . exp \"\\342\\212\\225\" exp\l 1 | exp \"\\342\\212\\225\" . exp\l 2 | . exp \"+\" exp\l 3 | . exp \"+\" exp\l 4 | . \"number\"\l 5 | . \"\\303\\221\\303\\271\\341\\271\\203\\303\\251\\342\\204\\235\\303\\264\"\l"]
|
||||
6 -> 1 [style=solid label="\"number\""]
|
||||
6 -> 2 [style=solid label="\"\\303\\221\\303\\271\\341\\271\\203\\303\\251\\342\\204\\235\\303\\264\""]
|
||||
6 -> 8 [style=dashed label="exp"]
|
||||
7 [label="State 7\n\l 1 exp: exp . \"\\342\\212\\225\" exp\l 2 | exp . \"+\" exp\l 2 | exp \"+\" exp . [$end, \"+\", \"\\342\\212\\225\"]\l 3 | exp . \"+\" exp\l 3 | exp \"+\" exp . [$end, \"+\", \"\\342\\212\\225\"]\l"]
|
||||
7 -> 6 [style=solid label="\"\\342\\212\\225\""]
|
||||
7 -> "7R2d" [label="[\"\\342\\212\\225\"]", style=solid]
|
||||
"7R2d" [label="R2", fillcolor=5, shape=diamond, style=filled]
|
||||
7 -> "7R2" [style=solid]
|
||||
"7R2" [label="R2", fillcolor=3, shape=diamond, style=filled]
|
||||
7 -> "7R3d" [label="[$end, \"+\", \"\\342\\212\\225\"]", style=solid]
|
||||
"7R3d" [label="R3", fillcolor=5, shape=diamond, style=filled]
|
||||
8 [label="State 8\n\l 1 exp: exp . \"\\342\\212\\225\" exp\l 1 | exp \"\\342\\212\\225\" exp . [$end, \"+\", \"\\342\\212\\225\"]\l 2 | exp . \"+\" exp\l 3 | exp . \"+\" exp\l"]
|
||||
8 -> 5 [style=solid label="\"+\""]
|
||||
8 -> 6 [style=solid label="\"\\342\\212\\225\""]
|
||||
8 -> "8R1d" [label="[\"+\", \"\\342\\212\\225\"]", style=solid]
|
||||
"8R1d" [label="R1", fillcolor=5, shape=diamond, style=filled]
|
||||
8 -> "8R1" [style=solid]
|
||||
"8R1" [label="R1", fillcolor=3, shape=diamond, style=filled]
|
||||
}
|
||||
]])
|
||||
|
||||
|
||||
AT_CHECK([[sed -e 's/bison-xml-report version="[^"]*"/bison-xml-report version="VERSION"/g' input.xml]], [],
|
||||
[[<?xml version="1.0"?>
|
||||
|
||||
<bison-xml-report version="VERSION" bug-report="bug-bison@gnu.org" url="https://www.gnu.org/software/bison/">
|
||||
|
||||
<filename>input.y</filename>
|
||||
|
||||
<grammar>
|
||||
<rules>
|
||||
<rule number="0" usefulness="useful">
|
||||
<lhs>$accept</lhs>
|
||||
<rhs>
|
||||
<symbol>exp</symbol>
|
||||
<symbol>$end</symbol>
|
||||
</rhs>
|
||||
</rule>
|
||||
<rule number="1" usefulness="useful">
|
||||
<lhs>exp</lhs>
|
||||
<rhs>
|
||||
<symbol>exp</symbol>
|
||||
<symbol>"\342\212\225"</symbol>
|
||||
<symbol>exp</symbol>
|
||||
</rhs>
|
||||
</rule>
|
||||
<rule number="2" usefulness="useful">
|
||||
<lhs>exp</lhs>
|
||||
<rhs>
|
||||
<symbol>exp</symbol>
|
||||
<symbol>"+"</symbol>
|
||||
<symbol>exp</symbol>
|
||||
</rhs>
|
||||
</rule>
|
||||
<rule number="3" usefulness="useless-in-parser">
|
||||
<lhs>exp</lhs>
|
||||
<rhs>
|
||||
<symbol>exp</symbol>
|
||||
<symbol>"+"</symbol>
|
||||
<symbol>exp</symbol>
|
||||
</rhs>
|
||||
</rule>
|
||||
<rule number="4" usefulness="useful">
|
||||
<lhs>exp</lhs>
|
||||
<rhs>
|
||||
<symbol>"number"</symbol>
|
||||
</rhs>
|
||||
</rule>
|
||||
<rule number="5" usefulness="useful">
|
||||
<lhs>exp</lhs>
|
||||
<rhs>
|
||||
<symbol>"\303\221\303\271\341\271\203\303\251\342\204\235\303\264"</symbol>
|
||||
</rhs>
|
||||
</rule>
|
||||
</rules>
|
||||
<terminals>
|
||||
<terminal symbol-number="0" token-number="0" name="$end" usefulness="useful"/>
|
||||
<terminal symbol-number="1" token-number="256" name="error" usefulness="useful"/>
|
||||
<terminal symbol-number="3" token-number="258" name=""+"" usefulness="useful" prec="1" assoc="left"/>
|
||||
<terminal symbol-number="4" token-number="259" name=""\342\212\225"" usefulness="useful"/>
|
||||
<terminal symbol-number="5" token-number="260" name=""number"" usefulness="useful"/>
|
||||
<terminal symbol-number="6" token-number="261" name=""\303\221\303\271\341\271\203\303\251\342\204\235\303\264"" usefulness="useful"/>
|
||||
</terminals>
|
||||
<nonterminals>
|
||||
<nonterminal symbol-number="7" name="$accept" usefulness="useful"/>
|
||||
<nonterminal symbol-number="8" name="exp" usefulness="useful"/>
|
||||
</nonterminals>
|
||||
</grammar>
|
||||
|
||||
<automaton>
|
||||
|
||||
<state number="0">
|
||||
<itemset>
|
||||
<item rule-number="0" point="0"/>
|
||||
<item rule-number="1" point="0"/>
|
||||
<item rule-number="2" point="0"/>
|
||||
<item rule-number="3" point="0"/>
|
||||
<item rule-number="4" point="0"/>
|
||||
<item rule-number="5" point="0"/>
|
||||
</itemset>
|
||||
<actions>
|
||||
<transitions>
|
||||
<transition type="shift" symbol=""number"" state="1"/>
|
||||
<transition type="shift" symbol=""\303\221\303\271\341\271\203\303\251\342\204\235\303\264"" state="2"/>
|
||||
<transition type="goto" symbol="exp" state="3"/>
|
||||
</transitions>
|
||||
<errors/>
|
||||
<reductions/>
|
||||
</actions>
|
||||
<solved-conflicts/>
|
||||
</state>
|
||||
|
||||
<state number="1">
|
||||
<itemset>
|
||||
<item rule-number="4" point="1"/>
|
||||
</itemset>
|
||||
<actions>
|
||||
<transitions/>
|
||||
<errors/>
|
||||
<reductions>
|
||||
<reduction symbol="$default" rule="4" enabled="true"/>
|
||||
</reductions>
|
||||
</actions>
|
||||
<solved-conflicts/>
|
||||
</state>
|
||||
|
||||
<state number="2">
|
||||
<itemset>
|
||||
<item rule-number="5" point="1"/>
|
||||
</itemset>
|
||||
<actions>
|
||||
<transitions/>
|
||||
<errors/>
|
||||
<reductions>
|
||||
<reduction symbol="$default" rule="5" enabled="true"/>
|
||||
</reductions>
|
||||
</actions>
|
||||
<solved-conflicts/>
|
||||
</state>
|
||||
|
||||
<state number="3">
|
||||
<itemset>
|
||||
<item rule-number="0" point="1"/>
|
||||
<item rule-number="1" point="1"/>
|
||||
<item rule-number="2" point="1"/>
|
||||
<item rule-number="3" point="1"/>
|
||||
</itemset>
|
||||
<actions>
|
||||
<transitions>
|
||||
<transition type="shift" symbol="$end" state="4"/>
|
||||
<transition type="shift" symbol=""+"" state="5"/>
|
||||
<transition type="shift" symbol=""\342\212\225"" state="6"/>
|
||||
</transitions>
|
||||
<errors/>
|
||||
<reductions/>
|
||||
</actions>
|
||||
<solved-conflicts/>
|
||||
</state>
|
||||
|
||||
<state number="4">
|
||||
<itemset>
|
||||
<item rule-number="0" point="2"/>
|
||||
</itemset>
|
||||
<actions>
|
||||
<transitions/>
|
||||
<errors/>
|
||||
<reductions>
|
||||
<reduction symbol="$default" rule="accept" enabled="true"/>
|
||||
</reductions>
|
||||
</actions>
|
||||
<solved-conflicts/>
|
||||
</state>
|
||||
|
||||
<state number="5">
|
||||
<itemset>
|
||||
<item rule-number="1" point="0"/>
|
||||
<item rule-number="2" point="0"/>
|
||||
<item rule-number="2" point="2"/>
|
||||
<item rule-number="3" point="0"/>
|
||||
<item rule-number="3" point="2"/>
|
||||
<item rule-number="4" point="0"/>
|
||||
<item rule-number="5" point="0"/>
|
||||
</itemset>
|
||||
<actions>
|
||||
<transitions>
|
||||
<transition type="shift" symbol=""number"" state="1"/>
|
||||
<transition type="shift" symbol=""\303\221\303\271\341\271\203\303\251\342\204\235\303\264"" state="2"/>
|
||||
<transition type="goto" symbol="exp" state="7"/>
|
||||
</transitions>
|
||||
<errors/>
|
||||
<reductions/>
|
||||
</actions>
|
||||
<solved-conflicts/>
|
||||
</state>
|
||||
|
||||
<state number="6">
|
||||
<itemset>
|
||||
<item rule-number="1" point="0"/>
|
||||
<item rule-number="1" point="2"/>
|
||||
<item rule-number="2" point="0"/>
|
||||
<item rule-number="3" point="0"/>
|
||||
<item rule-number="4" point="0"/>
|
||||
<item rule-number="5" point="0"/>
|
||||
</itemset>
|
||||
<actions>
|
||||
<transitions>
|
||||
<transition type="shift" symbol=""number"" state="1"/>
|
||||
<transition type="shift" symbol=""\303\221\303\271\341\271\203\303\251\342\204\235\303\264"" state="2"/>
|
||||
<transition type="goto" symbol="exp" state="8"/>
|
||||
</transitions>
|
||||
<errors/>
|
||||
<reductions/>
|
||||
</actions>
|
||||
<solved-conflicts/>
|
||||
</state>
|
||||
|
||||
<state number="7">
|
||||
<itemset>
|
||||
<item rule-number="1" point="1"/>
|
||||
<item rule-number="2" point="1"/>
|
||||
<item rule-number="2" point="3">
|
||||
<lookaheads>
|
||||
<symbol>$end</symbol>
|
||||
<symbol>"+"</symbol>
|
||||
<symbol>"\342\212\225"</symbol>
|
||||
</lookaheads>
|
||||
</item>
|
||||
<item rule-number="3" point="1"/>
|
||||
<item rule-number="3" point="3">
|
||||
<lookaheads>
|
||||
<symbol>$end</symbol>
|
||||
<symbol>"+"</symbol>
|
||||
<symbol>"\342\212\225"</symbol>
|
||||
</lookaheads>
|
||||
</item>
|
||||
</itemset>
|
||||
<actions>
|
||||
<transitions>
|
||||
<transition type="shift" symbol=""\342\212\225"" state="6"/>
|
||||
</transitions>
|
||||
<errors/>
|
||||
<reductions>
|
||||
<reduction symbol="$end" rule="2" enabled="true"/>
|
||||
<reduction symbol="$end" rule="3" enabled="false"/>
|
||||
<reduction symbol=""+"" rule="2" enabled="true"/>
|
||||
<reduction symbol=""+"" rule="3" enabled="false"/>
|
||||
<reduction symbol=""\342\212\225"" rule="2" enabled="false"/>
|
||||
<reduction symbol=""\342\212\225"" rule="3" enabled="false"/>
|
||||
<reduction symbol="$default" rule="2" enabled="true"/>
|
||||
</reductions>
|
||||
</actions>
|
||||
<solved-conflicts>
|
||||
<resolution rule="2" symbol=""+"" type="reduce">%left "+"</resolution>
|
||||
</solved-conflicts>
|
||||
</state>
|
||||
|
||||
<state number="8">
|
||||
<itemset>
|
||||
<item rule-number="1" point="1"/>
|
||||
<item rule-number="1" point="3">
|
||||
<lookaheads>
|
||||
<symbol>$end</symbol>
|
||||
<symbol>"+"</symbol>
|
||||
<symbol>"\342\212\225"</symbol>
|
||||
</lookaheads>
|
||||
</item>
|
||||
<item rule-number="2" point="1"/>
|
||||
<item rule-number="3" point="1"/>
|
||||
</itemset>
|
||||
<actions>
|
||||
<transitions>
|
||||
<transition type="shift" symbol=""+"" state="5"/>
|
||||
<transition type="shift" symbol=""\342\212\225"" state="6"/>
|
||||
</transitions>
|
||||
<errors/>
|
||||
<reductions>
|
||||
<reduction symbol=""+"" rule="1" enabled="false"/>
|
||||
<reduction symbol=""\342\212\225"" rule="1" enabled="false"/>
|
||||
<reduction symbol="$default" rule="1" enabled="true"/>
|
||||
</reductions>
|
||||
</actions>
|
||||
<solved-conflicts/>
|
||||
</state>
|
||||
</automaton>
|
||||
</bison-xml-report>
|
||||
]])
|
||||
|
||||
|
||||
AT_BISON_OPTION_POPDEFS
|
||||
AT_CLEANUP
|
||||
|
||||
Reference in New Issue
Block a user