1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
// RUN: %target-run-simple-swift( -parse-as-library -enable-experimental-feature Sensitive -enable-experimental-feature Embedded -wmo -Xfrontend -disable-access-control -runtime-compatibility-version none)
// RUN: %target-run-simple-swift(-O -parse-as-library -enable-experimental-feature Sensitive -enable-experimental-feature Embedded -wmo -Xfrontend -disable-access-control -runtime-compatibility-version none)
// RUN: %target-run-simple-swift(-target %module-target-future -parse-as-library -enable-experimental-feature Sensitive -enable-experimental-feature Embedded -wmo -Xfrontend -disable-access-control -runtime-compatibility-version none)
// REQUIRES: swift_in_compiler
// REQUIRES: executable_test
// REQUIRES: optimized_stdlib
// REQUIRES: OS=macosx || OS=linux-gnu
// REQUIRES: swift_feature_Embedded
// REQUIRES: swift_feature_Sensitive
var checkBuffer: UnsafeBufferPointer<UInt32>?
@inline(never)
func checkLater<T>(_ t: inout T) {
withUnsafePointer(to: &t) {
let size = MemoryLayout<T>.size / MemoryLayout<UInt32>.size
$0.withMemoryRebound(to: UInt32.self, capacity: size) {
checkBuffer = UnsafeBufferPointer(start: $0, count: size)
}
}
}
@inline(never)
func check() {
for b in checkBuffer! {
precondition(b != 0xdeadbeaf)
}
}
@inline(never)
func testSensitive<T>(_ t: T) {
do {
var x: T = t
checkLater(&x)
}
check()
print(0) // to prevent tail call of `check()`
}
@sensitive
struct SensitiveStruct {
var a = 0xdeadbeaf
var b = 0xdeadbeaf
var c = 0xdeadbeaf
}
struct Container<T> {
var x = 123
let t: T
var y = 456
}
@main struct Main {
static func main() {
testSensitive(SensitiveStruct())
testSensitive(Optional(SensitiveStruct()))
testSensitive(Container(t: SensitiveStruct()))
}
}
|
