diff options
| author | Duncan Sands <baldrick@free.fr> | 2007-12-21 19:19:01 +0000 |
|---|---|---|
| committer | Duncan Sands <baldrick@free.fr> | 2007-12-21 19:19:01 +0000 |
| commit | d9d70395d9637ad731208728d29ae9fce1b36764 (patch) | |
| tree | ff46b7601352bb8ba6b6f60d8f07c576f1cd1c7f /test/Verifier | |
| parent | 110c8350394df3222307fbebe608ff9ed88ea487 (diff) | |
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
Diffstat (limited to 'test/Verifier')
| -rw-r--r-- | test/Verifier/2007-12-21-InvokeParamAttrs.ll | 10 |
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 +} |