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 VerifyDomInfoX("verify-dom-info", cl::location(VerifyDomInfo), cl::desc("Verify dominator info (time consuming)"));