diff --git a/lib/Transforms/Scalar/BreakCriticalEdges.cpp b/lib/Transforms/Scalar/BreakCriticalEdges.cpp index b73ed55b8c9..0c4974db10a 100644 --- a/lib/Transforms/Scalar/BreakCriticalEdges.cpp +++ b/lib/Transforms/Scalar/BreakCriticalEdges.cpp @@ -118,7 +118,8 @@ void SplitCriticalEdge(TerminatorInst *TI, unsigned SuccNum, Pass *P) { // The new block is not the immediate dominator for any other nodes, but // TINode is the immediate dominator for the new node. // - DT->createNewNode(NewBB, TINode); + if (TINode) // Don't break unreachable code! + DT->createNewNode(NewBB, TINode); } } diff --git a/lib/Transforms/Utils/BreakCriticalEdges.cpp b/lib/Transforms/Utils/BreakCriticalEdges.cpp index b73ed55b8c9..0c4974db10a 100644 --- a/lib/Transforms/Utils/BreakCriticalEdges.cpp +++ b/lib/Transforms/Utils/BreakCriticalEdges.cpp @@ -118,7 +118,8 @@ void SplitCriticalEdge(TerminatorInst *TI, unsigned SuccNum, Pass *P) { // The new block is not the immediate dominator for any other nodes, but // TINode is the immediate dominator for the new node. // - DT->createNewNode(NewBB, TINode); + if (TINode) // Don't break unreachable code! + DT->createNewNode(NewBB, TINode); } }