swift-mirror

mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00

Files

Michael Gottesman 8a7b5f7c7f [sil-verifier] Make flow sensitive verification handle begin_apply token/allocation correctly.

Specifically:

1. We were tracking the stack allocation both in handleScopeInst and in the
Stack. We should only track it in one of them. I also used this as an
opportunity to make sure the code worked for non_nested code.

2. I made it so that we properly handle the end tracking part of the code so we
handle the token/stack part of begin_apply correctly. I generalized the code so
that we should handle non_nested stack allocations as well.

I included tests that validated that we now handle this correctly.

2025-12-02 14:17:27 -08:00

CMakeLists.txt

[sil-verifier] Extract the flow sensitive verifier into its own file.

2025-12-02 12:45:23 -08:00

DebugInfoVerifier.cpp

Introduce return_borrow instruction

2025-10-23 05:18:59 -07:00

FlowSensitiveVerifier.cpp

[sil-verifier] Make flow sensitive verification handle begin_apply token/allocation correctly.

2025-12-02 14:17:27 -08:00

FlowSensitiveVerifier.h

[sil-verifier] Extract the flow sensitive verifier into its own file.