From d6752d1666fc040c368caba23372c116c1ed75c1 Mon Sep 17 00:00:00 2001
From: Duncan Sands <baldrick@free.fr>
Date: Fri, 22 May 2009 08:52:53 +0000
Subject: [PATCH] Always verify dominfo if expensive checking is enabled.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@72253 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/VMCore/PassManager.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/lib/VMCore/PassManager.cpp b/lib/VMCore/PassManager.cpp
index 2e9fa53d0af..47999152c1d 100644
--- a/lib/VMCore/PassManager.cpp
+++ b/lib/VMCore/PassManager.cpp
@@ -43,7 +43,12 @@ enum PassDebugLevel {
   None, Arguments, Structure, Executions, Details
 };
 
+// Always verify dominfo if expensive checking is enabled.
+#ifdef XDEBUG
+bool VerifyDomInfo = true;
+#else
 bool VerifyDomInfo = false;
+#endif
 static cl::opt<bool,true>
 VerifyDomInfoX("verify-dom-info", cl::location(VerifyDomInfo),
                cl::desc("Verify dominator info (time consuming)"));
-- 
2.34.1