From f023b54bcd817a7dea1a7f02f1db6f69eae3f0d6 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Wed, 18 Mar 2009 16:23:56 +0000 Subject: [PATCH] add an assertion to make it clear that PHI nodes are not allowed. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@67210 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Transforms/IPO/DeadArgumentElimination.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/lib/Transforms/IPO/DeadArgumentElimination.cpp b/lib/Transforms/IPO/DeadArgumentElimination.cpp index 9f2b2a733ee..ab8df698457 100644 --- a/lib/Transforms/IPO/DeadArgumentElimination.cpp +++ b/lib/Transforms/IPO/DeadArgumentElimination.cpp @@ -802,8 +802,11 @@ bool DAE::RemoveDeadStuffFromFunction(Function *F) { "Return type changed, but not into a void. The old return type" " must have been a struct!"); Instruction *InsertPt = Call; - if (InvokeInst *II = dyn_cast(Call)) + if (InvokeInst *II = dyn_cast(Call)) { InsertPt = II->getNormalDest()->begin(); + assert(!isa(InsertPt) && + "Can't have a use of the invoke value if the edge is critical"); + } // We used to return a struct. Instead of doing smart stuff with all the // uses of this struct, we will just rebuild it using