[PATCH] D41298: [PDT] Add verifyDomTree and verifyAnalysis for Post Dom Trees

[Davide Italiano via Phabricator via llvm-commits]

davide added a comment.

should this be guarded by another flag temporarily?

Thanks!

-

Davide



================
Comment at: lib/Analysis/PostDominators.cpp:42
 
+void PostDominatorTree::verifyDomTree() const {
+  // Perform the expensive checks only when VerifyDomInfo is set.
----------------
verifyPostDomTree?


================
Comment at: lib/Analysis/PostDominators.cpp:45
+  if (VerifyDomInfo && !verify()) {
+    errs() << "\n~~~~~~~~~~~\n\t\tDomTree verification failed!\n~~~~~~~~~~~\n";
+    print(errs());
----------------
PostDomTree verification failed?


https://reviews.llvm.org/D41298