|
11 | 11 |
|
12 | 12 | import CountedByNoEscapeClang |
13 | 13 |
|
14 | | -// CHECK: @lifetime(p: copy p) |
| 14 | +// CHECK: @available(macOS 9999, *) |
| 15 | +// CHECK-NEXT: @lifetime(p: copy p) |
15 | 16 | // CHECK-NEXT: @_alwaysEmitIntoClient public func complexExpr(_ len: Int32, _ offset: Int32, _ p: inout MutableSpan<Int32>) |
| 17 | +// CHECK-NEXT: @available(macOS 9999, *) |
16 | 18 | // CHECK-NEXT: @lifetime(p: copy p) |
17 | 19 | // CHECK-NEXT: @_alwaysEmitIntoClient public func nonnull(_ p: inout MutableSpan<Int32>) |
| 20 | +// CHECK-NEXT: @available(macOS 9999, *) |
18 | 21 | // CHECK-NEXT: @lifetime(p: copy p) |
19 | 22 | // CHECK-NEXT: @_alwaysEmitIntoClient public func nullUnspecified(_ p: inout MutableSpan<Int32>) |
| 23 | +// CHECK-NEXT: @available(macOS 9999, *) |
20 | 24 | // CHECK-NEXT: @lifetime(copy p) |
21 | 25 | // CHECK-NEXT: @lifetime(p: copy p) |
22 | 26 | // CHECK-NEXT: @_alwaysEmitIntoClient public func returnLifetimeBound(_ len1: Int32, _ p: inout MutableSpan<Int32>) -> MutableSpan<Int32> |
23 | 27 | // CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func returnPointer(_ len: Int32) -> UnsafeMutableBufferPointer<Int32> |
| 28 | +// CHECK-NEXT: @available(macOS 9999, *) |
24 | 29 | // CHECK-NEXT: @lifetime(p1: copy p1) |
25 | 30 | // CHECK-NEXT: @lifetime(p2: copy p2) |
26 | 31 | // CHECK-NEXT: @_alwaysEmitIntoClient public func shared(_ len: Int32, _ p1: inout MutableSpan<Int32>, _ p2: inout MutableSpan<Int32>) |
| 32 | +// CHECK-NEXT: @available(macOS 9999, *) |
27 | 33 | // CHECK-NEXT: @lifetime(p: copy p) |
28 | 34 | // CHECK-NEXT: @_alwaysEmitIntoClient public func simple(_ p: inout MutableSpan<Int32>) |
| 35 | +// CHECK-NEXT: @available(macOS 9999, *) |
29 | 36 | // CHECK-NEXT: @lifetime(p: copy p) |
30 | 37 | // CHECK-NEXT: @_alwaysEmitIntoClient public func swiftAttr(_ p: inout MutableSpan<Int32>) |
31 | 38 |
|
|
0 commit comments