Doug Gregor b6ea29613e [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.

2025-07-16 15:43:59 -07:00

11 KiB

Raw Permalink Blame History

View Raw