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
|
// RUN: %swift-frontend -primary-file %s %S/Inputs/noncopyable_private_other.swift -emit-ir -o - | %FileCheck %s
public struct SomeStruct : ~Copyable {
// PublicType is a struct without a deinit but a non-copyable field with a
// deinit of private type. So we can't access the private type's metadata.
// Instead we have to call destroy on PublicType's metadata.
public let x = PublicType()
}
// Call the destroy on the `PublicType` metadata instead of its private typed
// subfield.
// CHECK: define{{.*}} internal void @"$s19noncopyable_private10SomeStructVwxx"(
// CHECK: entry
// CHECK-NOT: define
// CHECK: call void %Destroy(ptr {{.*}}, ptr @"$s19noncopyable_private10PublicTypeVN"
// CHECK: ret void
// CHECK: }
// Similar issue with enums.
public struct SomeStructWithSPE : ~Copyable {
public let x = PublicSinglePayloadEnum.empty
}
// CHECK: define{{.*}} internal void @"$s19noncopyable_private17SomeStructWithSPEVwxx"(
// CHECK: entry:
// CHECK-NOT: define
// CHECK: call void %Destroy(ptr {{.*}}, ptr @"$s19noncopyable_private23PublicSinglePayloadEnumON"
// CHECK: ret void
// CHECK: }
public struct SomeStructWithMPE : ~Copyable {
public let x = PublicMultiPayloadEnum.empty
}
// CHECK: define{{.*}} internal void @"$s19noncopyable_private17SomeStructWithMPEVwxx"(
// CHECK: entry:
// CHECK-NOT: define
// CHECK: call void %Destroy(ptr {{.*}}, ptr @"$s19noncopyable_private22PublicMultiPayloadEnumON"
// CHECK: ret void
// CHECK: }
|
