mirror of
https://github.com/apple/swift.git
synced 2026-10-26 20:15:53 +01:00
Erik Eckstein
baf0f0022e
"signed" accesses must not be removed, even if there is no conflict, because such accesses need to do pointer authentication. rdar://182204256
25 lines
557 B
Swift
25 lines
557 B
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: split-file %s %t
|
|
// RUN: %target-build-swift -O -import-objc-header %t/c-header.h %t/test.swift -Xfrontend -sil-verify-all -emit-sil -o /dev/null
|
|
|
|
// REQUIRES: CPU=arm64e
|
|
|
|
//--- c-header.h
|
|
|
|
struct S {
|
|
void (*__ptrauth(0, 1, 0xB966) fn)(void);
|
|
};
|
|
|
|
//--- test.swift
|
|
|
|
func target() {}
|
|
|
|
// Check that DeadAccessScopeElimination does not remove the `begin_access [signed]`.
|
|
// This would cause a SILVerifier crash.
|
|
|
|
public func test(_ out: UnsafeMutablePointer<S>) {
|
|
let a = [S(fn: target)]
|
|
out.pointee = a[0]
|
|
}
|
|
|