| Index: test/Transforms/MinSFI/sandbox-indirect-calls-invalid-call.ll
|
| diff --git a/test/Transforms/MinSFI/sandbox-indirect-calls-invalid-call.ll b/test/Transforms/MinSFI/sandbox-indirect-calls-invalid-call.ll
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..9af3e5ae42884b13142cc037f1a26ad937445577
|
| --- /dev/null
|
| +++ b/test/Transforms/MinSFI/sandbox-indirect-calls-invalid-call.ll
|
| @@ -0,0 +1,15 @@
|
| +; RUN: not opt %s -minsfi-sandbox-indirect-calls -S 2>&1 | FileCheck %s
|
| +
|
| +target datalayout = "p:32:32:32"
|
| +target triple = "le32-unknown-nacl"
|
| +
|
| +declare void @fn()
|
| +
|
| +declare i32 @foo(void ()*)
|
| +
|
| +define i32 @bar() {
|
| + %ret = call i32 @foo(void ()* @fn)
|
| + ret i32 %ret
|
| +}
|
| +
|
| +; CHECK: Invalid reference to function @fn
|
|
|