mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
eaf4560cd7
Previously, the checker inserted destroys after each last use. Here, extend the lifetimes of fields as far as possible within their original (unchecked) limits. rdar://99681073
34 lines
579 B
Swift
34 lines
579 B
Swift
// RUN: %target-run-simple-swift(-Xfrontend -sil-verify-all) | %FileCheck %s
|
|
// RUN: %target-run-simple-swift(-O -Xfrontend -sil-verify-all) | %FileCheck %s
|
|
|
|
// REQUIRES: executable_test
|
|
struct Alice: ~Copyable {
|
|
var age: Int
|
|
|
|
init(age: Int) {
|
|
print("INIT");
|
|
self.age = age
|
|
}
|
|
|
|
deinit { print("DEINIT") }
|
|
}
|
|
|
|
func eatMe(_ alice: consuming Alice) {
|
|
print(" start")
|
|
print(" age:", alice.age)
|
|
print(" end")
|
|
}
|
|
|
|
func doit() {
|
|
let alice = Alice(age: 10)
|
|
eatMe(alice)
|
|
}
|
|
|
|
doit()
|
|
|
|
// CHECK: INIT
|
|
// CHECK: start
|
|
// CHECK: age: 10
|
|
// CHECK: end
|
|
// CHECK: DEINIT
|