mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
b97e27279e
Opaque type metadata accessor functions could be miscompiled for functions that
contain `if #available` checks for inactive platforms. For example, this
function will always return `A` when compiled for macOS, but the opaque type
accessor would instead return the type metadata for `B`:
```
func f() -> some P {
if #available(iOS 99, *) {
return A() // Returns an A on macOS
} else {
return B()
}
}
```
Resolves rdar://139487970.
61 lines
1.9 KiB
Swift
61 lines
1.9 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: %target-build-swift -target %target-cpu-apple-macosx10.15 -parse-as-library -emit-library -emit-module-path %t/LimitedAvailOpaque.swiftmodule -module-name LimitedAvailOpaque %S/Inputs/opaque_with_limited_availability.swift -o %t/%target-library-name(LimitedAvailOpaque)
|
|
// RUN: %target-build-swift -target %target-cpu-apple-macosx10.15 -lLimitedAvailOpaque -module-name main -I %t -L %t %s -o %t/a.out
|
|
// RUN: %target-run %t/a.out | %FileCheck %s
|
|
|
|
// REQUIRES: OS=macosx && (CPU=x86_64 || CPU=arm64)
|
|
// REQUIRES: executable_test
|
|
|
|
// This requires executable tests to be run on the same machine as the compiler,
|
|
// as it links with a dylib that it doesn't arrange to get uploaded to remote executors.
|
|
// (rdar://99051588)
|
|
// UNSUPPORTED: remote_run || device_run
|
|
|
|
import LimitedAvailOpaque
|
|
|
|
struct S: P {
|
|
func hello() { print("Hello from S") }
|
|
}
|
|
|
|
@available(macOS 100.0.1, *)
|
|
struct NewS: P {
|
|
func hello() { print("Hello from NewS") }
|
|
}
|
|
|
|
public struct Test {
|
|
@Example
|
|
var body: some P {
|
|
// TODO(diagnostics): This is incorrect warning due to `some P` return of `buildWithLimitedAvailability`
|
|
// expected-warning@+1 {{result builder 'Example' does not implement 'buildLimitedAvailability'; this code may crash on earlier versions of the OS}}
|
|
if #available(macOS 100.0.1, *) {
|
|
NewS()
|
|
}
|
|
|
|
S()
|
|
}
|
|
|
|
func sayHello() {
|
|
body.hello()
|
|
}
|
|
}
|
|
|
|
let result = LimitedAvailOpaque.testAvailableQueryWithUniversalResult()
|
|
result.hello()
|
|
// CHECK: Hello from Empty
|
|
|
|
Test().sayHello()
|
|
// CHECK: Hello from Empty
|
|
// CHECK: Hello from Tuple
|
|
|
|
let conditionalR = LimitedAvailOpaque.testAvailableQueryWithLimitedResult()
|
|
conditionalR.hello()
|
|
// CHECK: Hello from Named
|
|
|
|
let unavailableTest = LimitedAvailOpaque.testUnavailableQueryWithLimitedResult()
|
|
unavailableTest.hello()
|
|
// CHECK: Hello from Tuple
|
|
|
|
let inactiveTest = LimitedAvailOpaque.testInactiveAvailableQuery()
|
|
inactiveTest.hello()
|
|
// CHECK: Hello from Empty
|