diff options
| -rw-r--r-- | lib/Analysis/Lint.cpp | 6 | ||||
| -rw-r--r-- | test/Other/lint.ll | 1 |
2 files changed, 0 insertions, 7 deletions
diff --git a/lib/Analysis/Lint.cpp b/lib/Analysis/Lint.cpp index 5f1cb61..a9d9724 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 2163a42..fcef7ee 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: |