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.
27 lines
997 B
Swift
27 lines
997 B
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-frontend %s -module-name Structs -clang-header-expose-decls=all-public -typecheck -verify -emit-clang-header-path %t/structs.h
|
|
// RUN: %FileCheck %s < %t/structs.h
|
|
|
|
// RUN: %check-interop-cxx-header-in-clang(%t/structs.h -Wno-unused-private-field -Wno-unused-function -DSWIFT_CXX_INTEROP_HIDE_STL_OVERLAY)
|
|
|
|
|
|
public struct TypeAfterArray {
|
|
var x: Int16
|
|
}
|
|
|
|
public struct Array {
|
|
public var x: Int
|
|
}
|
|
|
|
extension Array {
|
|
public var val: Structs.TypeAfterArray {
|
|
return TypeAfterArray(x: 42)
|
|
}
|
|
}
|
|
|
|
// CHECK: class SWIFT_SYMBOL("s:7Structs14TypeAfterArrayV") TypeAfterArray;
|
|
// CHECK: class SWIFT_SYMBOL("s:7Structs5ArrayV") Array final {
|
|
// CHECK: swift::Int getX() const SWIFT_SYMBOL("s:7Structs5ArrayV1xSivp");
|
|
// CHECK-NEXT: SWIFT_INLINE_THUNK void setX(swift::Int value) SWIFT_SYMBOL("s:7Structs5ArrayV1xSivp");
|
|
// CHECK-NEXT: TypeAfterArray getVal() const SWIFT_SYMBOL("s:7Structs5ArrayV3valAA09TypeAfterB0Vvp");
|