[PATCH] D23437: [LoopInfo] Add a routine for verification by recomputation.

[Chandler Carruth via llvm-commits]

chandlerc added inline comments.

================
Comment at: lib/Analysis/LoopInfo.cpp:711-712
@@ -710,1 +710,4 @@
     LI.verify();
+    auto &DT = getAnalysis<DominatorTreeWrapperPass>().getDomTree();
+    LI.verifyByRecomputation(DT);
+  }
----------------
Rather than this, how about putting this into verify (and behind a command line flag if necessary) and computing a fresh DomTree rather than trusting whatever the analysis manager might have?


https://reviews.llvm.org/D23437