1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
// RUN: %target-swift-ide-test -print-module -module-to-print=DefaultArguments -I %S/Inputs -source-filename=x -cxx-interoperability-mode=swift-5.9 | %FileCheck %s
// RUN: %target-swift-ide-test -print-module -module-to-print=DefaultArguments -I %S/Inputs -source-filename=x -cxx-interoperability-mode=swift-6 | %FileCheck %s
// RUN: %target-swift-ide-test -print-module -module-to-print=DefaultArguments -I %S/Inputs -source-filename=x -cxx-interoperability-mode=upcoming-swift | %FileCheck %s
// CHECK: func isZero(_ value: Int32 = cxxDefaultArg) -> Bool
// CHECK: func isNil(_ ptr: UnsafeMutablePointer<Int32>! = cxxDefaultArg) -> Bool
// CHECK: func isGlobalNonNil(_ ptr: UnsafeMutablePointer<Int32>! = cxxDefaultArg) -> Bool
// CHECK: func sum(_ a: Int32, _ b: Int32 = cxxDefaultArg) -> Int32
// CHECK: func subtract(_ a: Int32 = cxxDefaultArg, _ b: Int32 = cxxDefaultArg) -> Int32
// CHECK: func isArgZero(_ a: ArgTy = cxxDefaultArg) -> Bool
// CHECK: func isArgZeroOutOfLine(_ a: ArgTy = cxxDefaultArg) -> Bool
// CHECK: func isArgZeroConstRef(_ a: ArgTy) -> Bool
// CHECK: func isArgNonZeroConstRef(_ a: ArgTy) -> Bool
// CHECK: func isArgNonPODNonZeroConstRef(_ a: ArgTyNonPOD) -> Bool
// CHECK: func isArgViewNull(_ a: ArgTyView) -> Bool
// CHECK: func isArgViewNullAnd(_ a: ArgTyView, _ second: Bool = cxxDefaultArg) -> Bool
// CHECK: func isArgViewNullAndReversed(_ second: Bool = cxxDefaultArg, _ a: ArgTyView) -> Bool
// CHECK: func isArgViewNullUnsafeParam(_ a: ArgTyView = cxxDefaultArg) -> Bool
// CHECK: func isArgViewNullUnsafeFunc(_ a: ArgTyView) -> Bool
// CHECK: func isArgOwnedPtrNull(_ a: ArgTyOwnedPtr = cxxDefaultArg) -> Bool
// CHECK: func isArgFRTNull(_ a: ArgFRT! = cxxDefaultArg) -> Bool
// CHECK: func getArgFRTValue(_ a: ArgFRT! = cxxDefaultArg) -> Int32
// CHECK: func getArgRefCountedValue(_ a: ArgRefCounted! = cxxDefaultArg) -> Int32
// CHECK: struct HasMethodWithDefaultArg {
// CHECK: func isZero(_ v: Int32 = cxxDefaultArg) -> Bool
// CHECK: func isNonZero(_ v: Int32 = cxxDefaultArg) -> Bool
// CHECK: func isNilPtr(_ v: UnsafeMutablePointer<Int32>! = cxxDefaultArg) -> Bool
// CHECK: func isNilConstPtr(_ v: UnsafePointer<Int32>! = cxxDefaultArg) -> Bool
// CHECK: func isZeroConstRef(_ v: Int32) -> Bool
// CHECK: }
// CHECK: struct DerivedFromHasMethodWithDefaultArg {
// CHECK: func isZero(_ v: Int32 = cxxDefaultArg) -> Bool
// CHECK: }
// CHECK: struct DerivedFromDerivedFromHasMethodWithDefaultArg {
// CHECK: func isZero(_ v: Int32 = cxxDefaultArg) -> Bool
// CHECK: }
// CHECK: struct HasStaticMethodWithDefaultArg {
// CHECK: static func isNonZero(_ v: Int32 = cxxDefaultArg) -> Bool
// CHECK: static func isNonZeroCounter(_ v: Int32 = cxxDefaultArg) -> Bool
// CHECK: static func isNonZeroPrivateCounter(_ v: Int32 = cxxDefaultArg) -> Bool
// CHECK: static func isArgZeroRef(_ a: inout ArgTy) -> Bool
// CHECK: }
// CHECK: struct HasCtorWithDefaultArg {
// TODO: support default arguments of constructors (https://github.com/apple/swift/issues/70124)
// TODO: init(_ a: Int32, _ b: Int32 = cxxDefaultArg, _ c: Int32 = cxxDefaultArg)
// CHECK: }
// CHECK: struct TemplatedHasMethodWithDefaultArg<CFloat> {
// CHECK: func isZero(_ v: Float = cxxDefaultArg) -> Bool
// CHECK: func isNonZero(_ v: Float = cxxDefaultArg) -> Bool
// CHECK: }
// CHECK: struct TemplatedHasMethodWithDefaultArg<CInt> {
// CHECK: func isZero(_ v: Int32 = cxxDefaultArg) -> Bool
// CHECK: func isNonZero(_ v: Int32 = cxxDefaultArg) -> Bool
// CHECK: }
// CHECK: func ambiguous(_ a: Int32, _ b: Int32 = cxxDefaultArg) -> Int32
// CHECK: func ambiguous(_ a: Int32) -> Int32
// CHECK: func nonTrailing(_ a: Int32 = cxxDefaultArg, _ b: Int32 = cxxDefaultArg) -> Int32
// CHECK: struct InvalidStruct<NoDefinition> {
// CHECK: func invalidDefaultExprMethod(_ x: Base<NoDefinition>)
// CHECK: }
// CHECK: typealias InvalidStructNoDef = InvalidStruct<NoDefinition>
|
