mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
PrintAsClang is supposed to emit declarations in the same order regardless of the compiler’s internal state, but we have repeatedly found that our current criteria are inadequate, resulting in non-functionality-affecting changes to generated header content. Add a diagnostic that’s emitted when this happens soliciting a bug report. Since there *should* be no cases where the compiler fails to order declarations, this diagnostic is never actually emitted. Instead, we test this change by enabling `-verify` on nearly all PrintAsClang tests to make sure they are unaffected. This did demonstrate a missing criterion that only mattered in C++ mode: extensions that varied only in their generic signature were not sorted stably. Add a sort criterion for this.
104 lines
3.6 KiB
Swift
104 lines
3.6 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-frontend %s -module-name Class -clang-header-expose-decls=all-public -typecheck -verify -emit-clang-header-path %t/class.h
|
|
// RUN: %FileCheck %s < %t/class.h
|
|
|
|
// RUN: %check-interop-cxx-header-in-clang(%t/class.h)
|
|
|
|
// RUN: %target-swift-frontend %s -module-name Class -enable-library-evolution -clang-header-expose-decls=all-public -typecheck -verify -emit-clang-header-path %t/class-evo.h
|
|
// RUN: %FileCheck %s < %t/class-evo.h
|
|
|
|
// RUN: %check-interop-cxx-header-in-clang(%t/class-evo.h)
|
|
|
|
public class BaseClass {
|
|
var field: Int64
|
|
|
|
init() {
|
|
field = 0
|
|
print("init BaseClass")
|
|
}
|
|
deinit {
|
|
print("destroy BaseClass")
|
|
}
|
|
}
|
|
public class DerivedClass: BaseClass {
|
|
override init() {
|
|
super.init()
|
|
print("init DerivedClass")
|
|
}
|
|
deinit {
|
|
print("destroy DerivedClass")
|
|
}
|
|
}
|
|
public final class DerivedDerivedClass: DerivedClass {
|
|
override init() {
|
|
super.init()
|
|
print("init DerivedDerivedClass")
|
|
}
|
|
deinit {
|
|
print("destroy DerivedDerivedClass")
|
|
}
|
|
}
|
|
public final class SiblingDerivedClass: BaseClass {
|
|
}
|
|
|
|
public func returnDerivedClass() -> DerivedClass {
|
|
return DerivedClass()
|
|
}
|
|
|
|
public func returnDerivedDerivedClass() -> DerivedDerivedClass {
|
|
return DerivedDerivedClass()
|
|
}
|
|
|
|
public func useBaseClass(_ x: BaseClass) {
|
|
print("useBaseClass, type=\(x.self)")
|
|
}
|
|
|
|
public func useDerivedClass(_ x: DerivedClass) {
|
|
print("useDerivedClass, type=\(x.self)")
|
|
}
|
|
|
|
// CHECK: class SWIFT_SYMBOL("s:5Class07DerivedA0C") DerivedClass : public BaseClass {
|
|
// CHECK-NEXT: public:
|
|
// CHECK-NEXT: using BaseClass::BaseClass;
|
|
// CHECK-NEXT: using BaseClass::operator=;
|
|
// CHECK-NEXT: protected:
|
|
// CHECK-NEXT: SWIFT_INLINE_THUNK DerivedClass(void * _Nonnull ptr) noexcept : BaseClass(ptr) {}
|
|
// CHECK-NEXT: private:
|
|
// CHECK-NEXT: friend class _impl::_impl_DerivedClass;
|
|
// CHECK-NEXT: #pragma clang diagnostic push
|
|
// CHECK-NEXT: #pragma clang diagnostic ignored "-Wc++17-extensions"
|
|
// CHECK-NEXT: #pragma clang diagnostic push
|
|
// CHECK-NEXT: #pragma clang diagnostic ignored "-Wreserved-identifier"
|
|
// CHECK-NEXT: typedef char $s5Class07DerivedA0CD;
|
|
// CHECK-NEXT: static inline constexpr $s5Class07DerivedA0CD __swift_mangled_name = 0;
|
|
// CHECK-NEXT: #pragma clang diagnostic pop
|
|
// CHECK-NEXT: #pragma clang diagnostic pop
|
|
// CHECK-NEXT: };
|
|
|
|
// CHECK: class SWIFT_SYMBOL("s:5Class07DerivedbA0C") DerivedDerivedClass final : public DerivedClass {
|
|
// CHECK-NEXT: public:
|
|
// CHECK-NEXT: using DerivedClass::DerivedClass;
|
|
// CHECK-NEXT: using DerivedClass::operator=;
|
|
// CHECK-NEXT: protected:
|
|
// CHECK-NEXT: SWIFT_INLINE_THUNK DerivedDerivedClass(void * _Nonnull ptr) noexcept : DerivedClass(ptr) {}
|
|
// CHECK-NEXT: private:
|
|
// CHECK-NEXT: friend class _impl::_impl_DerivedDerivedClass;
|
|
// CHECK-NEXT: #pragma clang diagnostic push
|
|
// CHECK-NEXT: #pragma clang diagnostic ignored "-Wc++17-extensions"
|
|
// CHECK-NEXT: #pragma clang diagnostic push
|
|
// CHECK-NEXT: #pragma clang diagnostic ignored "-Wreserved-identifier"
|
|
// CHECK-NEXT: typedef char $s5Class07DerivedbA0CD;
|
|
// CHECK-NEXT: static inline constexpr $s5Class07DerivedbA0CD __swift_mangled_name = 0;
|
|
// CHECK-NEXT: #pragma clang diagnostic pop
|
|
// CHECK-NEXT: #pragma clang diagnostic pop
|
|
// CHECK-NEXT: };
|
|
|
|
// Verify base class names are adjusted to avoid conflict with C++ keywords.
|
|
public class auto {}
|
|
public class derivedRegister: auto {}
|
|
|
|
// CHECK: class SWIFT_SYMBOL("s:5Class15derivedRegisterC") derivedRegister : public auto_ {
|
|
// CHECK: using auto_::auto_;
|
|
// CHECK: using auto_::operator=;
|
|
// CHECK: SWIFT_INLINE_THUNK derivedRegister(void * _Nonnull ptr) noexcept : auto_(ptr) {}
|