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
Files
93d6a5ba4df9ccc0935ef2c8bc892c02c8c1540d
bison/src
History
Akim Demaille 325ec7d324 cex: always show ε/%empty in counterexamples 
On a case such as
    %%
    exp
    : empty "a"
    | "a" empty

    empty
    : %empty

we used to display

    warning: shift/reduce conflict on token "a" [-Wcounterexamples]
    Example: • "a"
    Shift derivation
      exp
      ↳ 2: • "a" empty
                 ↳ 2: ε
    Example: • "a"
    Reduce derivation
      exp
      ↳ 1: empty  "a"
           ↳ 3: •

where the shift derivation shows an item "2: empty → ε", with an
explicit "ε", but the reduce derivation shows "3: empty → •", without
"ε".

For consistency, let's always show ε/%empty in rules with an empty
rhs:

    Reduce derivation
      exp
      ↳ 1: empty    "a"
           ↳ 3: ε •

* src/derivation.c (derivation_width, derivation_print_tree_impl):
Always show ε/%empty in counterexamples.
* tests/diagnostics.at: Check that case.
* tests/conflicts.at, tests/counterexample.at: Adjust.
2020-09-02 07:31:55 +02:00
..
.gitignore
maint: re-anchor all .gitignore entries.
2010-10-17 10:23:55 -04:00
AnnotationList.c
style: s/lookahead_tokens/lookaheads/g
2020-07-14 06:48:48 +02:00
AnnotationList.h
style: fix includes
2020-06-01 18:52:22 +02:00
assoc.c
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
assoc.h
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
closure.c
style: use 'nonterminal' consistently
2020-06-27 11:39:32 +02:00
closure.h
style: decouple different uses of item_number
2020-05-25 07:14:34 +02:00
complain.c
diagnostics: use hyperlinks to point to the only documentation
2020-07-19 19:26:47 +02:00
complain.h
cex: don't display twice unifying examples if there is no color
2020-06-22 19:33:30 +02:00
conflicts.c
cex: make "rerun with '-Wcex'" a note instead of a warning
2020-07-21 18:57:56 +02:00
conflicts.h
cex: also include the counterexamples in the report
2020-06-16 07:30:26 +02:00
counterexample.c
cex: display the rule numbers
2020-08-30 19:20:49 +02:00
counterexample.h
cex: minor style changes
2020-07-14 06:48:48 +02:00
derivation.c
cex: always show ε/%empty in counterexamples
2020-09-02 07:31:55 +02:00
derivation.h
cex: display the rule numbers
2020-08-30 19:20:49 +02:00
derives.c
style: use 'nonterminal' consistently
2020-06-27 11:39:32 +02:00
derives.h
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
files.c
style: fix syntax-check issues
2020-06-07 09:18:58 +02:00
files.h
style: fix syntax-check issues
2020-06-07 09:18:58 +02:00
fixits.c
style: fix includes
2020-06-01 18:52:22 +02:00
fixits.h
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
flex-scanner.h
portability: we use termios.h and sys/ioctl.h
2020-08-02 08:36:49 +02:00
getargs.c
style: s/lookahead_tokens/lookaheads/g
2020-07-14 06:48:48 +02:00
getargs.h
style: s/lookahead_tokens/lookaheads/g
2020-07-14 06:48:48 +02:00
glyphs.c
glyphs: fix types
2020-07-19 17:09:01 +02:00
glyphs.h
glyphs: fix types
2020-07-19 17:09:01 +02:00
gram.c
cex: use the glyphs
2020-07-16 07:31:25 +02:00
gram.h
cex: use the glyphs
2020-07-16 07:31:25 +02:00
graphviz.c
style: s/lookahead_tokens/lookaheads/g
2020-07-14 06:48:48 +02:00
graphviz.h
reports: don't escape the labels
2020-06-13 16:58:13 +02:00
i18n-strings.c
build: fix syntax-check issues
2020-04-29 08:47:04 +02:00
ielr.c
portability: rename accept to acceptsymbol because of MSVC
2020-08-02 08:32:57 +02:00
ielr.h
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
InadequacyList.c
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
InadequacyList.h
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
lalr.c
style: s/lookahead_tokens/lookaheads/g
2020-07-14 06:48:48 +02:00
lalr.h
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
local.mk
cex: factor the handling of graphical symbols
2020-07-16 07:31:24 +02:00
location.c
style: fix comments and more debug trace
2020-08-07 07:30:06 +02:00
location.h
merge branch 'maint'
2020-03-08 10:13:16 +01:00
lr0.c
style: use 'nonterminal' consistently
2020-06-27 11:39:32 +02:00
lr0.h
style: remove useless declarations
2020-03-06 08:30:21 +01:00
lssi.c
cex: style: prefer FOO_print to print_FOO
2020-07-29 20:00:27 +02:00
lssi.h
cex: use better type names
2020-07-14 06:48:48 +02:00
main.c
cex: factor the handling of graphical symbols
2020-07-16 07:31:24 +02:00
muscle-tab.c
java: rename package as api.package
2020-06-28 09:49:00 +02:00
muscle-tab.h
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
named-ref.c
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
named-ref.h
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
nullable.c
style: use 'nonterminal' consistently
2020-06-27 11:39:32 +02:00
nullable.h
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
output.c
style: fix missing space before paren
2020-08-07 07:30:06 +02:00
output.h
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
parse-gram.c
style: fix comments and more debug trace
2020-08-07 07:30:06 +02:00
parse-gram.h
regen
2020-08-02 08:32:57 +02:00
parse-gram.y
style: fix comments and more debug trace
2020-08-07 07:30:06 +02:00
parse-simulation.c
cex: display the rule numbers
2020-08-30 19:20:49 +02:00
parse-simulation.h
cex: use better type names
2020-07-14 06:48:48 +02:00
print-graph.c
style: s/lookahead_tokens/lookaheads/g
2020-07-14 06:48:48 +02:00
print-graph.h
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
print-xml.c
style: comments changes
2020-07-14 14:26:02 +02:00
print-xml.h
style: fix includes
2020-06-01 18:52:22 +02:00
print.c
style: comments changes
2020-07-14 14:26:02 +02:00
print.h
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
reader.c
glr2.cc: fork glr.cc to a c++ version
2020-08-30 10:45:21 +02:00
reader.h
style: remove useless declarations
2020-03-06 08:30:21 +01:00
reduce.c
portability: rename accept to acceptsymbol because of MSVC
2020-08-02 08:32:57 +02:00
reduce.h
style: use 'nonterminal' consistently
2020-06-27 11:39:32 +02:00
relation.c
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
relation.h
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
Sbitset.c
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
Sbitset.h
ielr: fix crash on memory management
2020-06-27 08:16:07 +02:00
scan-code-c.c
Remove src/Makefile.am.
2008-11-15 10:47:15 +01:00
scan-code.h
style: update comments
2020-07-05 09:59:45 +02:00
scan-code.l
style: prefer 'FOO ()' to 'FOO' for function-like macros
2020-06-13 15:20:56 +02:00
scan-gram-c.c
Remove src/Makefile.am.
2008-11-15 10:47:15 +01:00
scan-gram.h
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
scan-gram.l
fix: unterminated \-escape
2020-08-08 07:53:33 +02:00
scan-skel-c.c
Remove src/Makefile.am.
2008-11-15 10:47:15 +01:00
scan-skel.h
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
scan-skel.l
style: introduce & use STRING_1GROW
2020-06-13 15:20:56 +02:00
state-item.c
cex: display the rule numbers
2020-08-30 19:20:49 +02:00
state-item.h
cex: display the rule numbers
2020-08-30 19:20:49 +02:00
state.c
style: s/lookahead_tokens/lookaheads/g
2020-07-14 06:48:48 +02:00
state.h
style: s/lookahead_tokens/lookaheads/g
2020-07-14 06:48:48 +02:00
symlist.c
diagnostics: better location for type redeclarations
2020-08-01 08:54:46 +02:00
symlist.h
diagnostics: better location for type redeclarations
2020-08-01 08:54:46 +02:00
symtab.c
fix: crash when redefining the EOF token
2020-08-07 07:30:06 +02:00
symtab.h
style: fix comments and more debug trace
2020-08-07 07:30:06 +02:00
system.h
portability: beware of max () with MSVC
2020-08-02 08:19:35 +02:00
tables.c
style: s/lookahead_tokens/lookaheads/g
2020-07-14 06:48:48 +02:00
tables.h
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
uniqstr.c
style: use hash_xinsert
2020-05-22 08:45:43 +02:00
uniqstr.h
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
yacc.in
yacc: fix relocatability
2019-01-12 10:45:21 +01:00