aboutsummaryrefslogtreecommitdiff
path: root/test/Verifier
diff options
context:
space:
mode:
Diffstat (limited to 'test/Verifier')
-rw-r--r--test/Verifier/2007-12-21-InvokeParamAttrs.ll10
1 files changed, 10 insertions, 0 deletions
diff --git a/test/Verifier/2007-12-21-InvokeParamAttrs.ll b/test/Verifier/2007-12-21-InvokeParamAttrs.ll
new file mode 100644
index 0000000000..5a8fa65dbc
--- /dev/null
+++ b/test/Verifier/2007-12-21-InvokeParamAttrs.ll
@@ -0,0 +1,10 @@
+; RUN: not llvm-as < %s
+
+declare void @foo(i8*)
+
+define void @bar() {
+ invoke void @foo(i8* signext null)
+ to label %r unwind label %r
+r:
+ ret void
+}