From: Chris Lattner <sabre@nondot.org>
Date: Wed, 4 Oct 2006 04:58:58 +0000 (+0000)
Subject: This case isn't implemented yet.  It seems unlikely to be needed, but if it
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=3a15503c82a804fcca47b5490e8fb42735ca4131;p=oota-llvm.git

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 71746e2b6ed..d4e186cabb2 100644
--- 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,