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

rose: clear reports in removeFalsePaths

Browse Source
This commit is contained in:
Justin Viiret 2016-07-21 10:33:21 +10:00 committed by Matthew Barr
parent 7f49958824
commit 1ff17a2ea3
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/rose/rose_build_add.cpp
View File

@ -418,6 +418,7 @@ void removeFalsePaths(NGHolder &g, const ue2_literal &lit) {
}
pruneUseless(g);
clearReports(g);
assert(in_degree(g.accept, g) || in_degree(g.acceptEod, g) > 1);
assert(allMatchStatesHaveReports(g));