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
+}