From: Chris Lattner <sabre@nondot.org>
Date: Wed, 20 Dec 2006 21:20:13 +0000 (+0000)
Subject: Fix Regression/Verifier/invoke-1.ll
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=62d75e76959e73c33968935fcd6443a980095cc4;p=oota-llvm.git

Fix Regression/Verifier/invoke-1.ll


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

diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index b26248b897d..ea30ca48a7f 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/lib/VMCore/Verifier.cpp
@@ -902,6 +902,10 @@ void Verifier::visitInstruction(Instruction &I) {
         if (InvokeInst *II = dyn_cast<InvokeInst>(Op)) {
           OpBlock = II->getNormalDest();
           
+          Assert2(OpBlock != II->getUnwindDest(),
+                  "No uses of invoke possible due to dominance structure!",
+                  Op, II);
+          
           // If the normal successor of an invoke instruction has multiple
           // predecessors, then the normal edge from the invoke is critical, so
           // the invoke value can only be live if the destination block
@@ -931,8 +935,9 @@ void Verifier::visitInstruction(Instruction &I) {
                 }
               }
             }
-            Assert1(!Bad,
-                    "Invoke value defined on critical edge but not dead!", &I);
+            Assert2(!Bad,
+                    "Invoke value defined on critical edge but not dead!", &I,
+                    Op);
           }
         } else if (OpBlock == BB) {
           // If they are in the same basic block, make sure that the definition