[Strict memory safety] Eliminate spurious warnings with synthesized Codable

When synthesizing code for Codable conformances involving unsafe types,
make sure to wrap the resulting expressions in "unsafe" when strict memory safety is enabled.

Tweak the warning-emission logic to suppress warnings about spurious
"unsafe" expressions when the compiler generated the "unsafe" itself,
so we don't spam the developer with warnings they can't fix. Also make
the checking for other suppression considerations safe when there are
no source locations, eliminating a potential assertion.

Fixes rdar://153665692.
This commit is contained in:
Doug Gregor
2025-07-10 08:48:37 -07:00
parent 35628cb503
commit 1142fa3bdd
6 changed files with 92 additions and 28 deletions

View File

@@ -0,0 +1,26 @@
// RUN: %target-typecheck-verify-swift -strict-memory-safety
@unsafe public struct UnsafeStruct: Codable {
public var string: String
}
@unsafe public enum UnsafeEnum: Codable {
case something(Int)
}
@safe public struct SafeStruct: Codable {
public var us: UnsafeStruct
}
@safe public enum SafeEnum: Codable {
case something(UnsafeEnum)
}
@unsafe public class C1: Codable {
public var string: String = ""
}
@unsafe public class C2: C1 {
public var otherString: String = ""
}

View File

@@ -0,0 +1,18 @@
// RUN: %target-typecheck-verify-swift -strict-memory-safety
@unsafe public struct UnsafeStruct: Hashable {
public var string: String
}
@unsafe public enum UnsafeEnum: Hashable {
case something(Int)
}
@safe public struct SafeStruct: Hashable {
public var us: UnsafeStruct
}
@safe public enum SafeEnum: Hashable {
case something(UnsafeEnum)
}