From: Justin Viiret <justin.viiret@intel.com>
Date: Tue, 16 Jan 2018 03:56:04 +0000 (+1100)
Subject: ng_width: turn min width check into assert
X-Git-Tag: v5.0.0^2~20
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cadc7028b1203041cac2a7f2a1649a93814e668e;p=thirdparty%2Fvectorscan.git

ng_width: turn min width check into assert
---

diff --git a/src/nfagraph/ng_width.cpp b/src/nfagraph/ng_width.cpp
index 4c33220c..219241ca 100644
--- a/src/nfagraph/ng_width.cpp
+++ b/src/nfagraph/ng_width.cpp
@@ -176,11 +176,7 @@ depth findMaxWidth(const NGHolder &h, const SpecialEdgeFilter &filter,
     }
 
     if (d.is_unreachable()) {
-        // If we're actually reachable, we'll have a min width, so we can
-        // return infinity in this case.
-        if (findMinWidth(h, filter, src).is_reachable()) {
-            return depth::infinity();
-        }
+        assert(findMinWidth(h, filter, src).is_unreachable());
         return d;
     }