]> Savannah Git Hosting - gnulib.git/commit
dfa: fix failure in removal of epsilon closure
authorNorihiro Tanaka <noritnk@kcn.ne.jp>
Mon, 14 Sep 2020 13:21:05 +0000 (22:21 +0900)
committerPaul Eggert <eggert@cs.ucla.edu>
Tue, 15 Sep 2020 20:46:11 +0000 (13:46 -0700)
commit3669512e2afcb07b3ce0a62c5cf007ca3cf2d9a1
tree6a6a381c969f1ac37b007d6636447bd1736137ea
parent46bdd627ff522193134d31bdfd3ac4e4fddb5975
dfa: fix failure in removal of epsilon closure

If there are a espilon in a branch and the closure is iterated, maybe fails
in removal of the node.  The bug is introduced in
commit da0e8454a8e68035ef4b87dbb9097f85df6ece27.

* lib/dfa.c (dfaanalyze): Calculate backward transition for not only
concatenation but closure.
lib/dfa.c