| Index: test/NaCl/PNaClABI/abi-varargs.ll
|
| diff --git a/test/NaCl/PNaClABI/abi-varargs.ll b/test/NaCl/PNaClABI/abi-varargs.ll
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..58e98c83251e434acce42e060a6f29faca6f181e
|
| --- /dev/null
|
| +++ b/test/NaCl/PNaClABI/abi-varargs.ll
|
| @@ -0,0 +1,13 @@
|
| +; RUN: not pnacl-abicheck < %s | FileCheck %s
|
| +
|
| +define void @varargs_func(i32 %arg, ...) {
|
| + ret void
|
| +}
|
| +; CHECK: Function varargs_func has disallowed type: void (i32, ...)
|
| +
|
| +define void @call_varargs_func(i32 %ptr) {
|
| + %ptr2 = inttoptr i32 %ptr to void (i32, ...)*
|
| + call void (i32, ...)* %ptr2(i32 123)
|
| + ret void
|
| +}
|
| +; CHECK: Function call_varargs_func disallowed: bad function callee operand: call void (i32, ...)*
|
|
|