From: Chris Lattner <sabre@nondot.org>
Date: Tue, 31 Oct 2006 17:52:18 +0000 (+0000)
Subject: Fix PR977 and Transforms/LCSSA/2006-10-31-UnreachableBlock.ll
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=1753faee81500559761646cd0b04bb73535edb8e;p=oota-llvm.git

Fix PR977 and Transforms/LCSSA/2006-10-31-UnreachableBlock.ll


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

diff --git a/lib/Transforms/Utils/LCSSA.cpp b/lib/Transforms/Utils/LCSSA.cpp
index 6f93ac6fcef..b369a738dca 100644
--- a/lib/Transforms/Utils/LCSSA.cpp
+++ b/lib/Transforms/Utils/LCSSA.cpp
@@ -184,7 +184,14 @@ void LCSSA::ProcessInstruction(Instruction *Instr,
     
     // Otherwise, patch up uses of the value with the appropriate LCSSA Phi,
     // inserting PHI nodes into join points where needed.
-    Value *Val = GetValueForBlock(DT->getNode(UserBB), Instr, Phis);
+    DominatorTree::Node *UserBBNode = DT->getNode(UserBB);
+         
+    // If the block has no dominator info, it is unreachable.
+    Value *Val;
+    if (UserBBNode)
+      Val = GetValueForBlock(UserBBNode, Instr, Phis);
+    else
+      Val = UndefValue::get(Instr->getType());
     
     // Preincrement the iterator to avoid invalidating it when we change the
     // value.