This case isn't implemented yet. It seems unlikely to be needed, but if it

ever is, we want to get an assert instead of silent bad codegen.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@30716 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Transforms/Utils/BreakCriticalEdges.cpp b/lib/Transforms/Utils/BreakCriticalEdges.cpp
index 71746e2b6edf9343069e99f8f4f9e74fa4f46755..d4e186cabb2cb1cbba40b356aca74a1b18b7cb21 100644 (file)
--- a/lib/Transforms/Utils/BreakCriticalEdges.cpp
+++ b/lib/Transforms/Utils/BreakCriticalEdges.cpp
@@ -253,11 +253,9 @@ bool llvm::SplitCriticalEdge(TerminatorInst *TI, unsigned SuccNum, Pass *P) {
   if (DominanceFrontier *DF = P->getAnalysisToUpdate<DominanceFrontier>()) {
     // If NewBBDominatesDestBB hasn't been computed yet, do so with DF.
     if (!OtherPreds.empty()) {
-#if 0
       // FIXME: IMPLEMENT THIS!
-      OtherPreds.clear();
-#endif
-      NewBBDominatesDestBB = false;
+      assert(0 && "Requiring domfrontiers but not idom/domtree/domset."
+             " not implemented yet!");
     }
     
     // Since the new block is dominated by its only predecessor TIBB,