From d9d70395d9637ad731208728d29ae9fce1b36764 Mon Sep 17 00:00:00 2001 From: Duncan Sands Date: Fri, 21 Dec 2007 19:19:01 +0000 Subject: Get the verifier to check attributes on calls as well as on functions. Make it verify invokes and not just ordinary calls. As a (desired) side-effect, it is no longer legal to have call attributes on arguments that are being passed to the varargs part of a varargs function (llvm-as drops them on the floor anyway). git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@45286 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Verifier/2007-12-21-InvokeParamAttrs.ll | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 test/Verifier/2007-12-21-InvokeParamAttrs.ll (limited to 'test/Verifier') 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 +} -- cgit v1.2.3-18-g5258