From: Chris Lattner <sabre@nondot.org>
Date: Fri, 27 Feb 2004 17:28:25 +0000 (+0000)
Subject: Fix Regression/Assembler/2004-02-27-SelfUseAssertError.ll
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=08092533b1082fae342825a0f565d42d8d03cd7b;p=oota-llvm.git

Fix Regression/Assembler/2004-02-27-SelfUseAssertError.ll


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

diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index 4fe4adbadbc..dde804d2410 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/lib/VMCore/Verifier.cpp
@@ -474,7 +474,8 @@ void Verifier::visitInstruction(Instruction &I) {
   if (!isa<PHINode>(I)) {   // Check that non-phi nodes are not self referential
     for (Value::use_iterator UI = I.use_begin(), UE = I.use_end();
          UI != UE; ++UI)
-      Assert1(*UI != (User*)&I,
+      Assert1(*UI != (User*)&I ||
+              !DS->dominates(&BB->getParent()->getEntryBlock(), BB),
               "Only PHI nodes may reference their own value!", &I);
   }