| Index: test/Transforms/MinSFI/abi-verifier-whitelist-syscalls-wrong-type.ll
|
| diff --git a/test/Transforms/MinSFI/abi-verifier-whitelist-syscalls-wrong-type.ll b/test/Transforms/MinSFI/abi-verifier-whitelist-syscalls-wrong-type.ll
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..409b3ef8ef0423371c092330f938112eb2fd6066
|
| --- /dev/null
|
| +++ b/test/Transforms/MinSFI/abi-verifier-whitelist-syscalls-wrong-type.ll
|
| @@ -0,0 +1,21 @@
|
| +; RUN: not opt %s -verify-pnaclabi-module -pnaclabi-allow-minsfi-syscalls -S \
|
| +; RUN: 2>&1 | FileCheck %s
|
| +
|
| +target datalayout = "p:32:32:32"
|
| +target triple = "le32-unknown-nacl"
|
| +
|
| +define void @_start() {
|
| + ret void
|
| +}
|
| +
|
| +declare i32 @__minsfi_syscall_good()
|
| +; CHECK-NOT: __minsfi_syscall_good is not a valid external symbol
|
| +
|
| +declare void @__minsfi_syscall_bad_void()
|
| +; CHECK: __minsfi_syscall_bad_void is not a valid external symbol
|
| +
|
| +declare i64 @__minsfi_syscall_bad_i64()
|
| +; CHECK: __minsfi_syscall_bad_i64 is not a valid external symbol
|
| +
|
| +declare float @__minsfi_syscall_bad_float()
|
| +; CHECK: __minsfi_syscall_bad_float is not a valid external symbol
|
|
|