]> granicus.if.org Git - re2c/commit
Don't bother with reachability when reporting nullable rules.
authorUlya Trofimovich <skvadrik@gmail.com>
Thu, 19 May 2016 10:37:11 +0000 (11:37 +0100)
committerUlya Trofimovich <skvadrik@gmail.com>
Thu, 19 May 2016 10:37:11 +0000 (11:37 +0100)
commitb47973942d6c89f22ff5a4ffa82ad93f411eada1
treefaa306c4b9eab73f97d1e0788a38e69b4698cf5f
parente3680da83609a7578b5e8f47f323e88ff9ef5f22
Don't bother with reachability when reporting nullable rules.

We couldn't trace all unreachable nullable rules anyway, e.g.:
    [^]?
Nullable part of this rule is unreachable, but it was reported.
Besides, there's nothing bad in reporting all probles at once.
31 files changed:
re2c/Makefile.am
re2c/src/codegen/emit_dfa.cc
re2c/src/conf/warn.cc
re2c/src/conf/warn.h
re2c/src/ir/compile.cc
re2c/src/ir/nfa/init_rules.cc
re2c/src/ir/nfa/nullable.cc [deleted file]
re2c/src/ir/regexp/nullable.cc [new file with mode: 0644]
re2c/src/ir/regexp/regexp.h
re2c/src/ir/rule.h
re2c/src/ir/skeleton/skeleton.h
re2c/src/ir/skeleton/unreachable.cc [moved from re2c/src/ir/skeleton/unreachable_nullable.cc with 82% similarity]
re2c/test/bug116.c
re2c/test/bug2462777.ci.c
re2c/test/condition_02.c.c
re2c/test/condition_02.cg.c
re2c/test/condition_03.cg.c
re2c/test/condition_11.cg.c
re2c/test/condition_13.cg.c
re2c/test/default_dup_star_1.ic.c
re2c/test/input4.--empty-class(match-empty).c
re2c/test/input4.c
re2c/test/input6.--empty-class(match-empty).c
re2c/test/input6.c
re2c/test/segfault_full_range_star.bi.c
re2c/test/segfault_full_range_star_startlabel.ci.c
re2c/test/segfault_full_range_star_startlabel.i.c
re2c/test/segfault_full_range_star_startlabel2.ci.c
re2c/test/segfault_full_range_star_startlabel2.i.c
re2c/test/tags/nondet_iter.--tags.c
re2c/test/yyaccept_missing.bci.c