aboutsummaryrefslogtreecommitdiff
path: root/test/Other/lint.ll
diff options
context:
space:
mode:
authorDan Gohman <gohman@apple.com>2010-08-13 23:56:28 +0000
committerDan Gohman <gohman@apple.com>2010-08-13 23:56:28 +0000
commit61556e3a946f3814e2166a78667453e9fff17c77 (patch)
treefc275839d66e6fdcdeaaf96f37461ece02831f1d /test/Other/lint.ll
parent20d8e4e7aa5645450f3eaedd9f9dbb70423f8ccc (diff)
Add a lint check for an indirectbr destination which has not
had its address taken. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@111058 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Other/lint.ll')
-rw-r--r--test/Other/lint.ll1
1 files changed, 1 insertions, 0 deletions
diff --git a/test/Other/lint.ll b/test/Other/lint.ll
index fcef7ee2d5..2163a42eb0 100644
--- a/test/Other/lint.ll
+++ b/test/Other/lint.ll
@@ -102,6 +102,7 @@ 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: