diff --git a/test/Verifier/2006-10-15-AddrLabel.ll b/test/Verifier/2006-10-15-AddrLabel.ll
new file mode 100644
index 00000000000..7c68d94f67a
--- /dev/null
+++ b/test/Verifier/2006-10-15-AddrLabel.ll
@@ -0,0 +1,9 @@
+; RUN: not llvm-as %s -o /dev/null -f &&
+; RUN: llvm-as %s -o /dev/null -f 2>&1 | grep 'Cannot form'
+
+int %main() {
+         %foo  = call sbyte* %llvm.stacksave()
+         %foop = cast sbyte* %foo to label*
+         %nret = load label* %foop
+         br label %nret;
+}