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.

llvm-svn: 111121
This commit is contained in:
Dan Gohman 2010-08-16 14:39:19 +00:00
parent 0224854fdc
commit 8ed4d1646e
2 changed files with 0 additions and 7 deletions

View File

@ -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) {

View File

@ -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: