Files
swift-mirror/test/SIL/OwnershipVerifier/basic.sil
Erik Eckstein b21802c7e2 SILVerifier: turn on the ownership verifier again
It was turned off by mistake
2023-03-07 15:38:09 +01:00

24 lines
373 B
Plaintext

// RUN: %target-sil-opt %s
// REQUIRES: asserts
// XFAIL: *
// Make sure that the ownership verifier is turned on by default
sil_stage canonical
import Builtin
import Swift
import SwiftShims
class X {}
sil [ossa] @testit : $@convention(thin) (@owned X) -> () {
bb0(%0 : @owned $X):
destroy_value %0 : $X
destroy_value %0 : $X
%r = tuple ()
return %r : $()
}