swift
b6ea2961 - [Strict memory safety] "unsafe" expression never propagates unsafe outward

Commit
80 days ago
[Strict memory safety] "unsafe" expression never propagates unsafe outward In the effects checker, we were propagating the "has an unsafe use site" outside of an `unsafe` expression. The result of this is that we would not produce a warning for silly expressions like `unsafe unsafe ptr.pointee`, where the first (outer) `unsafe` is unnecessary. Stop propagating that bit so we properly diagnose the spurious "unsafe". Fixes issue #82315 / rdar://153672668.
Author
Committer
Parents
Loading