| Index: test/Transforms/MinSFI/sandbox-memory-accesses-unhandled-intrinsic.ll
|
| diff --git a/test/Transforms/MinSFI/sandbox-memory-accesses-unhandled-intrinsic.ll b/test/Transforms/MinSFI/sandbox-memory-accesses-unhandled-intrinsic.ll
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..b8a23046cdf400191cc95b213cdd70dafb9d1ae6
|
| --- /dev/null
|
| +++ b/test/Transforms/MinSFI/sandbox-memory-accesses-unhandled-intrinsic.ll
|
| @@ -0,0 +1,16 @@
|
| +; RUN: not opt %s -minsfi-sandbox-memory-accesses -S 2>&1 | FileCheck %s
|
| +
|
| +; The SandboxMemoryAccess pass should fail if it encounters an unexpected
|
| +; intrinsic such as this '@llvm.objectsize'. This mechanism protects MinSFI
|
| +; from unsafe operations it does not handle appearing in the bitcode.
|
| +; This could be a result of a bug in the compiler or a newly introduced
|
| +; LLVM instruction.
|
| +
|
| +declare i32 @llvm.objectsize.i32(i8*, i1)
|
| +
|
| +define i32 @test_unhandled_intrinsic(i8* %ptr) {
|
| + %val = call i32 @llvm.objectsize.i32(i8* %ptr, i1 true)
|
| + ret i32 %val
|
| +}
|
| +
|
| +; CHECK: LLVM ERROR: SandboxMemoryAccesses: unexpected instruction with pointer-type operands
|
|
|