From: Duncan Sands <baldrick@free.fr>
Date: Fri, 22 May 2009 08:52:53 +0000 (+0000)
Subject: Always verify dominfo if expensive checking is enabled.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d6752d1666fc040c368caba23372c116c1ed75c1;p=oota-llvm.git

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
---

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)"));