averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

[Definite initialization] Avoid performing DI via nonmutating setters.

Browse Source 
Nonmutating setters for properties with attached delegates inside
value-semantic types cause SIL verifier errors. Avoid performing DI on
them for now.
This commit is contained in:
Doug Gregor
2019-04-12 22:31:08 -07:00
parent f187d9218e
commit 03704fc635
3 changed files with 68 additions and 94 deletions
Download Patch File Download Diff File Expand all files Collapse all files

48
test/SILOptimizer/di-property-delegates-errors.swift Normal file
View File

@@ -0,0 +1,48 @@
// RUN: %target-swift-frontend -emit-sil -verify %s
@propertyDelegate
final class ClassWrapper<T> {
var value: T {
didSet {
print(" .. set \(value)")
}
}
init(initialValue: T) {
print(" .. init \(initialValue)")
self.value = initialValue
}
deinit {
print(" .. deinit \(value)")
}
}
struct IntStructWithClassWrapper {
@ClassWrapper var wrapped: Int
init() {
wrapped = 42 // expected-error{{'self' used before all stored properties are initialized}}
// expected-note@-1{{'self.wrapped' not initialized}}
} // expected-error{{return from initializer without initializing all stored properties}}
// expected-note@-1{{'self.wrapped' not initialized}}
init(conditional b: Bool) {
if b {
self.$wrapped = ClassWrapper(initialValue: 32)
} else {
wrapped = 42 // expected-error{{'self' used before all stored properties are initialized}}
// expected-note@-1{{'self.wrapped' not initialized}}
}
} // expected-error{{return from initializer without initializing all stored properties}}
// expected-note@-1{{'self.wrapped' not initialized}}
init(dynamic b: Bool) {
if b {
wrapped = 42 // expected-error{{'self' used before all stored properties are initialized}}
// expected-note@-1{{'self.wrapped' not initialized}}
}
wrapped = 27 // expected-error{{'self' used before all stored properties are initialized}}
// expected-note@-1{{'self.wrapped' not initialized}}
} // expected-error{{return from initializer without initializing all stored properties}}
// expected-note@-1{{'self.wrapped' not initialized}}
}