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
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
// RUN: %target-typecheck-verify-swift
func foo(_ a: [[UInt8]], _ p: [UnsafeRawPointer]) {
foo(a, a) // expect-warning {{all paths through this function will call itself}}
}
// rdar://problem/44658089
func takesPtr(_: UnsafePointer<UInt8>) {}
func takesDoubleOptionalPtr(_ x: UnsafeRawPointer??) {}
func takesMutableDoubleOptionalPtr(_ x: UnsafeMutableRawPointer??) {}
func takesMutableDoubleOptionalTypedPtr(_ x: UnsafeMutablePointer<Double>??) {}
func givesPtr(_ str: String) {
takesPtr(UnsafePointer(str)) // expected-warning {{initialization of 'UnsafePointer<UInt8>' results in a dangling pointer}}
// expected-note @-1 {{implicit argument conversion from 'String' to 'UnsafePointer<UInt8>' produces a pointer valid only for the duration of the call to 'init(_:)'}}
// expected-note@-2 {{use the 'withCString' method on String in order to explicitly convert argument to pointer valid for a defined scope}}
var i = 0
var d = 0.0
var arr = [1, 2, 3]
// https://github.com/apple/swift/issues/51587
// Allow double optional promotion for pointer conversions.
takesDoubleOptionalPtr(&arr)
takesDoubleOptionalPtr(arr)
takesDoubleOptionalPtr(str)
takesMutableDoubleOptionalPtr(&i)
takesMutableDoubleOptionalPtr(&arr)
takesMutableDoubleOptionalTypedPtr(&d)
takesDoubleOptionalPtr(i) // expected-error {{cannot convert value of type 'Int' to expected argument type 'UnsafeRawPointer?'}}
takesMutableDoubleOptionalPtr(arr) // expected-error {{cannot convert value of type '[Int]' to expected argument type 'UnsafeMutableRawPointer?'}}
takesMutableDoubleOptionalTypedPtr(&i) // expected-error {{cannot convert value of type 'UnsafeMutablePointer<Int>' to expected argument type 'UnsafeMutablePointer<Double>'}}
// expected-note@-1 {{arguments to generic parameter 'Pointee' ('Int' and 'Double') are expected to be equal}}
}
// https://github.com/apple/swift/issues/54818
do {
func f(_ x: UnsafeMutablePointer<Double>??) {}
var i = 0
f(&i)
// expected-error@-1 {{cannot convert value of type 'UnsafeMutablePointer<Int>' to expected argument type 'UnsafeMutablePointer<Double>'}}
// expected-note@-2 {{arguments to generic parameter 'Pointee' ('Int' and 'Double') are expected to be equal}}
}
//problem/68254165 - Bad diagnostic when using String init(decodingCString:) with an incorrect pointer type
func rdar68254165(ptr: UnsafeMutablePointer<Int8>) {
_ = String(decodingCString: ptr, as: .utf8) // expected-error {{generic parameter 'Encoding' could not be inferred}}
}
// The base of leading-dot syntax could be inferred through an implicit pointer conversion.
do {
struct S {
static var prop = S()
}
func inference_through_optional(_ ptr: UnsafePointer<S>?) {}
inference_through_optional(&.prop) // Ok
func inference_through_force_unwrap(name: String) {
func test(_: UnsafeMutablePointer<Float>!) {}
var outputs = [String: [Float]]()
test(&outputs[name]!) // Ok
}
}
do {
func test<O>(_ initialValue: O, _ action: (inout O) -> Void) -> O {
}
func compute(_: UnsafeMutablePointer<UInt8>!) {
}
let result1 = test(0) { // `0` should be inferred as `UInt8`
compute(&$0)
}
let result2 = test([0]) { // `0` should be inferred as `UInt8`
compute(&$0)
}
let _: UInt8 = result1 // Ok
let _: [UInt8] = result2 // Ok
}
|
