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

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,