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

doComponent: make it obvious that a is never null

Browse Source
This commit is contained in:
Alex Coyte 2015-10-30 16:20:18 +11:00 committed by Matthew Barr
parent c7bebf8836
commit 7b6ad2a01a
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/nfagraph/ng_puff.cpp
View File

@ -316,7 +316,7 @@ bool doComponent(RoseBuild &rose, ReportManager &rm, NGHolder &g, NFAVertex a,
bool unbounded = false;
bool exhaustible = can_exhaust(g, rm);
while (a) {
while (true) {
if (is_special(a, g)) {
DEBUG_PRINTF("stopped puffing due to special vertex\n");
break;
@ -350,9 +350,7 @@ bool doComponent(RoseBuild &rose, ReportManager &rm, NGHolder &g, NFAVertex a,
a = getSoleSourceVertex(g, a);
if (!a) {
break;
}
assert(a); /* already checked that old a had a proper in degree of 1 */
// Snark: we can't handle this case, because we can only handle a
// single report ID on a vertex