diff options
| author | Dan Gohman <gohman@apple.com> | 2010-05-28 16:45:33 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2010-05-28 16:45:33 +0000 |
| commit | 17d95965cbf529f96277130b75c018f5f3873b66 (patch) | |
| tree | 4e091349742dc848c12cb8be44fdd949a6299c64 /test | |
| parent | 34220aedc4242ab6a1356ca664a0f65c48d093f5 (diff) | |
| download | llvm-17d95965cbf529f96277130b75c018f5f3873b66.tar.gz llvm-17d95965cbf529f96277130b75c018f5f3873b66.tar.bz2 llvm-17d95965cbf529f96277130b75c018f5f3873b66.tar.xz | |
Detect self-referential values.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@104957 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Other/lint.ll | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/Other/lint.ll b/test/Other/lint.ll index 4cf9fd7fce..ea02d431ff 100644 --- a/test/Other/lint.ll +++ b/test/Other/lint.ll @@ -122,3 +122,14 @@ exit: %t7 = inttoptr i64 %t6 to i32* ret i32* %t7 } + +; CHECK: Undefined behavior: Undef pointer dereference +define i32* @self_reference() { +entry: + unreachable +exit: + %t3 = phi i32* [ %t4, %exit ] + %t4 = bitcast i32* %t3 to i32* + %x = volatile load i32* %t3 + br label %exit +} |