From: Dan Gohman <gohman@apple.com>
Date: Mon, 16 Aug 2010 14:39:19 +0000 (+0000)
Subject: Revert r111058, the lint check for indirectbr successors that aren't
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=9883b95a2bff097ec6d0f34af1ddea22bf29b6c6;p=oota-llvm.git

Revert r111058, the lint check for indirectbr successors that aren't
address-taken. This can occur normally, if the code which took the
address got DCEd.


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

diff --git a/lib/Analysis/Lint.cpp b/lib/Analysis/Lint.cpp
index 5f1cb61dacb..a9d972435f5 100644
--- a/lib/Analysis/Lint.cpp
+++ b/lib/Analysis/Lint.cpp
@@ -521,12 +521,6 @@ void Lint::visitIndirectBrInst(IndirectBrInst &I) {
 
   Assert1(I.getNumDestinations() != 0,
           "Undefined behavior: indirectbr with no destinations", &I);
-
-  for (unsigned i = 0, e = I.getNumDestinations(); i != e; ++i)
-    Assert1(I.getDestination(i)->hasAddressTaken(),
-            "Unusual: indirectbr destination has not "
-            "had its address taken",
-            &I);
 }
 
 void Lint::visitExtractElementInst(ExtractElementInst &I) {
diff --git a/test/Other/lint.ll b/test/Other/lint.ll
index 2163a42eb02..fcef7ee2d57 100644
--- a/test/Other/lint.ll
+++ b/test/Other/lint.ll
@@ -102,7 +102,6 @@ define void @not_vararg(i8* %p) nounwind {
 }
 
 ; CHECK: Undefined behavior: Branch to non-blockaddress
-; CHECK: Unusual: indirectbr destination has not had its address taken
 define void @use_indbr() {
   indirectbr i8* bitcast (i32()* @foo to i8*), [label %block]
 block: