diff options
Diffstat (limited to 'llvm/test/Verifier/variadic.ll')
-rw-r--r-- | llvm/test/Verifier/variadic.ll | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/llvm/test/Verifier/variadic.ll b/llvm/test/Verifier/variadic.ll new file mode 100644 index 000000000000..55e4a4da0a92 --- /dev/null +++ b/llvm/test/Verifier/variadic.ll @@ -0,0 +1,8 @@ +; RUN: not opt -S -passes=verify 2>&1 < %s | FileCheck %s + +; CHECK: va_start called in a non-varargs function +declare void @llvm.va_start(ptr) +define void @not_vararg(ptr %p) nounwind { + call void @llvm.va_start(ptr %p) + ret void +} |