diff options
| author | Dan Gohman <gohman@apple.com> | 2010-05-28 21:43:57 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2010-05-28 21:43:57 +0000 |
| commit | aec2a0dbce170c658af428e76187e4361a4a1caa (patch) | |
| tree | 475a19bb9984b7ab99dda684dccf473f609070c4 /test/Other | |
| parent | 2c048ea5385ea994ad6e1622f3ced62cf034f35a (diff) | |
Add lint checks for function attributes.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@105009 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Other')
| -rw-r--r-- | test/Other/lint.ll | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/Other/lint.ll b/test/Other/lint.ll index bed3dba3a5..9a10abf3c7 100644 --- a/test/Other/lint.ll +++ b/test/Other/lint.ll @@ -4,6 +4,9 @@ target datalayout = "e-p:64:64:64" declare fastcc void @bar() declare void @llvm.stackrestore(i8*) declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1) nounwind +declare void @has_sret(i8* sret %p) +declare void @has_noaliases(i32* noalias %p, i32* %q) +declare void @one_arg(i32) @CG = constant i32 7 @@ -18,6 +21,10 @@ define i32 @foo() noreturn { store i32 0, i32* undef ; CHECK: Undef pointer dereference %u = load i32* undef +; CHECK: All-ones pointer dereference + store i32 0, i32* inttoptr (i64 -1 to i32*) +; CHECK: Address one pointer dereference + store i32 0, i32* inttoptr (i64 1 to i32*) ; CHECK: Memory reference address is misaligned %x = inttoptr i32 1 to i32* load i32* %x, align 4 @@ -54,6 +61,16 @@ define i32 @foo() noreturn { call void()* bitcast (i8* blockaddress(@foo, %next) to void()*)() ; CHECK: Undefined behavior: Null pointer dereference call void @llvm.stackrestore(i8* null) +; CHECK: Undefined behavior: Null pointer dereference + call void @has_sret(i8* null) +; CHECK: Unusual: noalias argument aliases another argument + call void @has_noaliases(i32* @CG, i32* @CG) +; CHECK: Call argument count mismatches callee argument count + call void (i32, i32)* bitcast (void (i32)* @one_arg to void (i32, i32)*)(i32 0, i32 0) +; CHECK: Call argument count mismatches callee argument count + call void ()* bitcast (void (i32)* @one_arg to void ()*)() +; CHECK: Call argument type mismatches callee parameter type + call void (float)* bitcast (void (i32)* @one_arg to void (float)*)(float 0.0) ; CHECK: Write to read-only memory call void @llvm.memcpy.p0i8.p0i8.i64(i8* bitcast (i32* @CG to i8*), i8* bitcast (i32* @CG to i8*), i64 1, i32 1, i1 0) |