Andrew Trick 3b08592ed2 Fix LifetimeDependenceDiagnostics: handle drop_deinit unsafeAddress ...

This adds support to handle unsafe addressors, which generate mark_dependence
instructions with an address base. This case does not arise with lifetime
dependencies. Nonetheless, the lifetime dependence diagnostics kick in to
attempt to promote the unsafe addressor's mark_dependence to noescape, so we
need to handle it.

rdar://149784450 (Compiler crash with non-escapable deinit dereferencing)

2025-04-22 22:35:09 -07:00

36 KiB

Raw Permalink Blame History

View Raw