Commit Diff

Commit:
de66aa24036fc3e84c90ac19bd56bef38e903358
From:
Sven M. Hallberg <pesco@khjk.org>
Date:
Message:
explicitly clear final state in epsilon_step FOREACHSTATE does not cover the final state.
Actions:
Patch | Tree
commit - bffb6bd7c66818e8c0bea1a6bd45809c5f199850
commit + de66aa24036fc3e84c90ac19bd56bef38e903358
blob - 5b09ffcdcc10c9d483ab929c2b1cdb6d5b83f718
blob + 8e6144e2fb5739dda4c25c3ec02fea82e713db47
--- nfa.c
+++ nfa.c
@@ -562,8 +562,9 @@ epsilon_step(struct prep *pr, struct set *act, struct 
 		} else
 			assert(s.edge_eps == 0);
 
-		setremove(work, k);	/* done with this one */
+		setremove(work, k);		/* done with this one */
 	}
+	setremove(work, a.size);		/* this fully clears work */
 
 	return workleft;
 }