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 | 703d023ba800e3cc7a0343a9a5e1087a026ded99 (patch) | |
| tree | ff46b7601352bb8ba6b6f60d8f07c576f1cd1c7f /test/Verifier | |
| parent | c826815ca9ee8f4491c2e14fdf003c78f2e75e3d (diff) | |
| download | external_llvm-703d023ba800e3cc7a0343a9a5e1087a026ded99.zip external_llvm-703d023ba800e3cc7a0343a9a5e1087a026ded99.tar.gz external_llvm-703d023ba800e3cc7a0343a9a5e1087a026ded99.tar.bz2 | |
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 0000000..5a8fa65 --- /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 +} |