diff options
Diffstat (limited to 'test/Other')
-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 +} |