Make DT a transitive dependency of LI.

eugenis · eugenis · commit 6abd78cc7c97 · 2019-07-17T23:31:59.000Z
Summary: LoopInfoWrapperPass::verify uses DT, which means DT must be alive even if it has no direct users. Fixes a crash in expensive checks mode. Reviewers: pcc, leonardchan Subscribers: hiraditya, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D64896 llvm-svn: 366388
diff --git a/llvm/lib/Analysis/LoopInfo.cpp b/llvm/lib/Analysis/LoopInfo.cpp
@@ -1039,7 +1039,7 @@ void LoopInfoWrapperPass::verifyAnalysis() const {
 
 void LoopInfoWrapperPass::getAnalysisUsage(AnalysisUsage &AU) const {
   AU.setPreservesAll();
-  AU.addRequired<DominatorTreeWrapperPass>();
+  AU.addRequiredTransitive<DominatorTreeWrapperPass>();
 }
 
 void LoopInfoWrapperPass::print(raw_ostream &OS, const Module *) const {

Original file line number	Diff line number	Diff line change
`@@ -1039,7 +1039,7 @@ void LoopInfoWrapperPass::verifyAnalysis() const {`
`1039`	`1039`
`1040`	`1040`	`void LoopInfoWrapperPass::getAnalysisUsage(AnalysisUsage &AU) const {`
`1041`	`1041`	`AU.setPreservesAll();`
`1042`		`- AU.addRequired<DominatorTreeWrapperPass>();`
	`1042`	`+ AU.addRequiredTransitive<DominatorTreeWrapperPass>();`
`1043`	`1043`	`}`
`1044`	`1044`
`1045`	`1045`	`void LoopInfoWrapperPass::print(raw_ostream &OS, const Module *) const {`