Add a lint check for an indirectbr destination which has not

had its address taken.

llvm-svn: 111058

1 files changed, 6 insertions, 0 deletions

diff --git a/llvm/lib/Analysis/Lint.cpp b/llvm/lib/Analysis/Lint.cpp
index a9d972435f5..5f1cb61dacb 100644
--- a/llvm/lib/Analysis/Lint.cpp
+++ b/llvm/lib/Analysis/Lint.cpp
@@ -521,6 +521,12 @@ 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) {