mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
16de339051
Correct the determination of whether a declaration is unreachable at runtime when compiling a zippered library. Resolves rdar://125930716.
102 lines
4.1 KiB
Swift
102 lines
4.1 KiB
Swift
// RUN: %target-swift-frontend -target %target-cpu-apple-macosx13 -target-variant %target-cpu-apple-ios16-macabi -print-ast %s | %FileCheck %s
|
|
// REQUIRES: OS=macosx
|
|
|
|
// CHECK-LABEL: internal enum HasElementsWithAvailability : Hashable
|
|
enum HasElementsWithAvailability: Hashable {
|
|
// CHECK: case alwaysAvailable
|
|
case alwaysAvailable
|
|
// CHECK: @available(*, unavailable)
|
|
// CHECK-NEXT: case neverAvailable
|
|
@available(*, unavailable)
|
|
case neverAvailable
|
|
// CHECK: @available(macOS, unavailable)
|
|
// CHECK-NEXT: case unavailableMacOS
|
|
@available(macOS, unavailable)
|
|
case unavailableMacOS
|
|
// CHECK: @available(iOS, unavailable)
|
|
// CHECK-NEXT: case unavailableiOS
|
|
@available(iOS, unavailable)
|
|
case unavailableiOS
|
|
// CHECK: @available(macCatalyst, unavailable)
|
|
// CHECK-NEXT: case unavailableMacCatalyst
|
|
@available(macCatalyst, unavailable)
|
|
case unavailableMacCatalyst
|
|
// CHECK: @available(macOS, unavailable)
|
|
// CHECK-NEXT: @available(iOS, unavailable)
|
|
// CHECK-NEXT: case unavailableMacOSAndiOS
|
|
@available(macOS, unavailable)
|
|
@available(iOS, unavailable)
|
|
case unavailableMacOSAndiOS
|
|
// CHECK: @available(macOS, unavailable)
|
|
// CHECK-NEXT: @available(macCatalyst, unavailable)
|
|
// CHECK-NEXT: case unavailableMacOSAndMacCatalyst
|
|
@available(macOS, unavailable)
|
|
@available(macCatalyst, unavailable)
|
|
case unavailableMacOSAndMacCatalyst
|
|
|
|
// CHECK: @_implements(Equatable, ==(_:_:)) internal static func __derived_enum_equals(_ a: HasElementsWithAvailability, _ b: HasElementsWithAvailability) -> Bool {
|
|
// CHECK-NEXT: var index_a: Int
|
|
// CHECK-NEXT: switch a {
|
|
// CHECK-NEXT: case .alwaysAvailable:
|
|
// CHECK-NEXT: index_a = 0
|
|
// CHECK-NEXT: case .neverAvailable:
|
|
// CHECK-NEXT: _diagnoseUnavailableCodeReached{{.*}}
|
|
// CHECK-NEXT: case .unavailableMacOS:
|
|
// CHECK-NEXT: index_a = 1
|
|
// CHECK-NEXT: case .unavailableiOS:
|
|
// CHECK-NEXT: index_a = 2
|
|
// CHECK-NEXT: case .unavailableMacCatalyst:
|
|
// CHECK-NEXT: index_a = 3
|
|
// CHECK-NEXT: case .unavailableMacOSAndiOS:
|
|
// CHECK-NEXT: _diagnoseUnavailableCodeReached{{.*}}
|
|
// CHECK-NEXT: case .unavailableMacOSAndMacCatalyst:
|
|
// CHECK-NEXT: index_a = 4
|
|
// CHECK-NEXT: }
|
|
// CHECK-NEXT: var index_b: Int
|
|
// CHECK-NEXT: switch b {
|
|
// CHECK-NEXT: case .alwaysAvailable:
|
|
// CHECK-NEXT: index_b = 0
|
|
// CHECK-NEXT: case .neverAvailable:
|
|
// CHECK-NEXT: _diagnoseUnavailableCodeReached{{.*}}
|
|
// CHECK-NEXT: case .unavailableMacOS:
|
|
// CHECK-NEXT: index_b = 1
|
|
// CHECK-NEXT: case .unavailableiOS:
|
|
// CHECK-NEXT: index_b = 2
|
|
// CHECK-NEXT: case .unavailableMacCatalyst:
|
|
// CHECK-NEXT: index_b = 3
|
|
// CHECK-NEXT: case .unavailableMacOSAndiOS:
|
|
// CHECK-NEXT: _diagnoseUnavailableCodeReached{{.*}}
|
|
// CHECK-NEXT: case .unavailableMacOSAndMacCatalyst:
|
|
// CHECK-NEXT: index_b = 4
|
|
// CHECK-NEXT: }
|
|
// CHECK-NEXT: return index_a == index_b
|
|
// CHECK-NEXT: }
|
|
|
|
// CHECK: internal func hash(into hasher: inout Hasher) {
|
|
// CHECK-NEXT: var discriminator: Int
|
|
// CHECK-NEXT: switch self {
|
|
// CHECK-NEXT: case .alwaysAvailable:
|
|
// CHECK-NEXT: discriminator = 0
|
|
// CHECK-NEXT: case .neverAvailable:
|
|
// CHECK-NEXT: _diagnoseUnavailableCodeReached{{.*}}
|
|
// CHECK-NEXT: case .unavailableMacOS:
|
|
// CHECK-NEXT: discriminator = 1
|
|
// CHECK-NEXT: case .unavailableiOS:
|
|
// CHECK-NEXT: discriminator = 2
|
|
// CHECK-NEXT: case .unavailableMacCatalyst:
|
|
// CHECK-NEXT: discriminator = 3
|
|
// CHECK-NEXT: case .unavailableMacOSAndiOS:
|
|
// CHECK-NEXT: _diagnoseUnavailableCodeReached{{.*}}
|
|
// CHECK-NEXT: case .unavailableMacOSAndMacCatalyst:
|
|
// CHECK-NEXT: discriminator = 4
|
|
// CHECK-NEXT: }
|
|
// CHECK-NEXT: hasher.combine(discriminator)
|
|
// CHECK-NEXT: }
|
|
|
|
// CHECK: internal var hashValue: Int {
|
|
// CHECK-NEXT: get {
|
|
// CHECK-NEXT: return _hashValue(for: self)
|
|
// CHECK-NEXT: }
|
|
// CHECK-NEXT: }
|
|
}
|