mirror of
https://github.com/apple/swift.git
synced 2026-02-27 18:26:24 +01:00
0ac40aada4
Extend support for proper errors on broken modularization to type members, previously only top-level declarations were reported as error. This change raises errors with relevant context if a type member is referenced from a swiftmodule file but at reading the member is not found or changed shape. It doesn't report moves between modules like we do for top-level declarations. This is less likely to happen at the member level as the check is already applied at the top-level for the same reference. We may still see such issues when using `SWIFT_NAME` to assign a top-level declaration to a type from a different module.
67 lines
2.3 KiB
Swift
67 lines
2.3 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: split-file %s %t
|
|
|
|
/// Compile the middle Swift library LibWithXRef.
|
|
// RUN: %target-swift-frontend -emit-module %t/LibWithXRef.swift -I %t \
|
|
// RUN: -module-name LibWithXRef -o %t/LibWithXRef.swiftmodule \
|
|
// RUN: -swift-version 5
|
|
|
|
/// Build client fine in the expected behavior.
|
|
// RUN: %target-swift-frontend -c -O %t/Client.swift -I %t \
|
|
// RUN: -validate-tbd-against-ir=none -swift-version 5
|
|
|
|
// Replace headers, changing the type of `foo`.
|
|
// RUN: cp %t/A_Changed.h %t/A.h
|
|
// RUN: not --crash %target-swift-frontend -c -O %t/Client.swift -I %t \
|
|
// RUN: -validate-tbd-against-ir=none -swift-version 5 \
|
|
// RUN: -diagnostic-style llvm 2> %t/out
|
|
// RUN: %FileCheck %t/A_Changed.h --input-file %t/out
|
|
|
|
// Replace headers, disappearing `foo`.
|
|
// RUN: cp %t/A_Disappeared.h %t/A.h
|
|
// RUN: not --crash %target-swift-frontend -c -O %t/Client.swift -I %t \
|
|
// RUN: -validate-tbd-against-ir=none -swift-version 5 \
|
|
// RUN: -diagnostic-style llvm 2> %t/out
|
|
// RUN: %FileCheck %t/A_Disappeared.h --input-file %t/out
|
|
|
|
//--- module.modulemap
|
|
module A {
|
|
header "A.h"
|
|
}
|
|
|
|
//--- A.h
|
|
struct S {};
|
|
struct S *create() __attribute__((swift_name("S.init()")));
|
|
double foo(struct S *data) __attribute__((swift_name("S.foo(self:)")));
|
|
|
|
//--- A_Disappeared.h
|
|
struct S {};
|
|
struct S *create() __attribute__((swift_name("S.init()")));
|
|
|
|
// CHECK: error: reference to declaration 'S.foo' broken by a context change; 'S.foo' is not found, it was expected to be in 'A'
|
|
// CHECK: note: the declaration was expected to be found in module 'A' at '{{.*}}module.modulemap'
|
|
// CHECK-NOT: actually found
|
|
|
|
//--- A_Changed.h
|
|
struct S {};
|
|
struct S *create() __attribute__((swift_name("S.init()")));
|
|
float foo(struct S *data) __attribute__((swift_name("S.foo(self:)")));
|
|
|
|
// CHECK: error: reference to declaration 'S.foo' broken by a context change; the declaration kind of 'S.foo' from 'A' changed since building 'LibWithXRef'
|
|
// CHECK: note: the declaration was expected to be found in module 'A' at '{{.*}}module.modulemap'
|
|
// CHECK: note: a candidate was filtered out because of a type mismatch; expected: '(inout S) -> () -> Double', found: '(inout S) -> () -> Float'
|
|
|
|
//--- LibWithXRef.swift
|
|
import A
|
|
|
|
@inlinable
|
|
public func bar() {
|
|
var s = S()
|
|
s.foo()
|
|
}
|
|
|
|
//--- Client.swift
|
|
import LibWithXRef
|
|
|
|
bar()
|