(Binary Analysis) Fixed an assertion in debug mode

rose-compiler · Apr 28, 2017 · 30a793a · 30a793a
1 parent fbf5c0b
commit 30a793a
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/midend/binaryAnalyses/BinaryDataFlow.h b/src/midend/binaryAnalyses/BinaryDataFlow.h
@@ -315,7 +315,6 @@ class DataFlow {
         /** Reset engine to initial state. */
         void reset(State initialState = State()) {
             ASSERT_this();
-            ASSERT_require(startVertexId < cfg_.nVertices());
             incomingState_.clear();
             incomingState_.resize(cfg_.nVertices(), initialState);
             outgoingState_.clear();