diff options
| author | Dan Gohman <gohman@apple.com> | 2010-08-13 23:56:28 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2010-08-13 23:56:28 +0000 |
| commit | 61556e3a946f3814e2166a78667453e9fff17c77 (patch) | |
| tree | fc275839d66e6fdcdeaaf96f37461ece02831f1d /test/Other | |
| parent | 20d8e4e7aa5645450f3eaedd9f9dbb70423f8ccc (diff) | |
| download | external_llvm-61556e3a946f3814e2166a78667453e9fff17c77.tar.gz external_llvm-61556e3a946f3814e2166a78667453e9fff17c77.tar.bz2 external_llvm-61556e3a946f3814e2166a78667453e9fff17c77.zip | |
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')
| -rw-r--r-- | test/Other/lint.ll | 1 |
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: |