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 |