github_mirrors/vectorscan
3
0
Fork 1
mirror of https://github.com/VectorCamp/vectorscan.git synced 2025-06-28 16:41:01 +03:00
Code Issues Packages Projects Releases Wiki Activity

ng_violet: fix non-determinism in deanchorIfNeeded

Browse Source
This commit is contained in:
Justin Viiret 2016-07-27 10:23:42 +10:00 committed by Matthew Barr
parent a8cceeeddc
commit f3ccbf19b8
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/nfagraph/ng_violet.cpp
View File

@ -1333,7 +1333,10 @@ bool deanchorIfNeeded(NGHolder &g) {
if (succ_v == succ_g) { if (succ_v == succ_g) {
DEBUG_PRINTF("found ^.*\n"); DEBUG_PRINTF("found ^.*\n");
for (auto succ : succ_g) { for (auto succ : adjacent_vertices_range(g.start, g)) {
if (succ == g.startDs) {
continue;
}
add_edge(g.startDs, succ, g); add_edge(g.startDs, succ, g);
} }
clear_vertex(v, g); clear_vertex(v, g);