From 7b6ad2a01a6966f94332854c877d35511d421a79 Mon Sep 17 00:00:00 2001 From: Alex Coyte Date: Fri, 30 Oct 2015 16:20:18 +1100 Subject: [PATCH] doComponent: make it obvious that a is never null --- src/nfagraph/ng_puff.cpp | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/nfagraph/ng_puff.cpp b/src/nfagraph/ng_puff.cpp index cd190171..501d8f7b 100644 --- a/src/nfagraph/ng_puff.cpp +++ b/src/nfagraph/ng_puff.cpp @@ -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