]> Savannah Git Hosting - gnulib.git/commit
dfa: prune states as we go
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 19 Sep 2018 01:24:27 +0000 (18:24 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Wed, 19 Sep 2018 02:16:53 +0000 (19:16 -0700)
commitcbf5523bd54a92c1d8ffeae4b629d2b82651f651
treee5b53ed550bc647face005cc7a5b154ff3ba651c
parent5eae16cfb8d40ca75691605e8f2f4a40eab70c7a
dfa: prune states as we go

* lib/dfa.c (prune): Remove.
(merge_nfa_state): Prune as we go instead of at the end.
Prefer ptrdiff_t for indexes, as this helps the compiler a bit.
Simplify constraint checking a bit.
ChangeLog
lib/dfa.c