Gábor Horváth 40bea13e68 [6.2][cxx-interop] Delay lowering unowned convention until ownership elimination ...

Explanation: Unowned result conventions do not work well with OSSA. Retain the
result right after the call when we come out of OSSA so we can treat the
returned value as if it was owned when we do optimizations.

This fix a miscompilation due to the DestroyAddrHoisting pass hoisting destroys
above copies with unowned sources. When the destroyed object was the last
reference to the pointed memory the copy is happening too late resulting in
a use after free.

Issues: rdar://160462854
Original PRs: #84612
Risk: We change where retaining of the unowned return values
happen in the optimization pipeline. It is hard to anticipate all the
possible effects but it should make the optimizer more correct.
Testing: Added a compiler test.
Reviewers: @eeckstein, @atrick

2025-10-08 18:57:54 +01:00

..

IR

[6.2][cxx-interop] Delay lowering unowned convention until ownership elimination

2025-10-08 18:57:54 +01:00

Parser

[sil] Add the ability to mark a function with isolation just so we can write more concurrency tests in SIL.

2025-07-15 17:12:01 -07:00

Utils

[SIL] Fix visitAccessedAddress @ end_borrow

2025-08-13 16:48:58 -07:00

Verifier

[MemoryLifetimeVerifier] Permit leaks in dead-ends

2025-08-28 05:47:40 -07:00

CMakeLists.txt

…

SIL.cpp

…