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, ...)* |