From: Max Kazantsev <max.kazantsev@azul.com>
Date: Wed, 30 Jan 2019 12:32:19 +0000 (+0000)
Subject: Properly use DT.verify in LoopSimplifyCFG
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=511f143e3852906c35f5ffb4a4526f2d19ff1324;p=llvm

Properly use DT.verify in LoopSimplifyCFG

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@352621 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/Transforms/Scalar/LoopSimplifyCFG.cpp b/lib/Transforms/Scalar/LoopSimplifyCFG.cpp
index 85b6444d33d..f8b5f0350c3 100644
--- a/lib/Transforms/Scalar/LoopSimplifyCFG.cpp
+++ b/lib/Transforms/Scalar/LoopSimplifyCFG.cpp
@@ -541,7 +541,7 @@ public:
 
 #ifndef NDEBUG
     // Make sure that we have preserved all data structures after the transform.
-    DT.verify();
+    assert(DT.verify() && "DT broken after transform!");
     assert(DT.isReachableFromEntry(L.getHeader()));
     LI.verify(DT);
 #endif