Slava Pestov e4d2af212e SILVerifier: Fix crash if verification failure reported from SILWitnessTable::verify()

2026-01-28 15:41:03 +00: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.

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

GuaranteedPhiVerifier.cpp

SIL: fix a complexity problem in the ownership verifier

2026-01-27 08:56:13 +01:00

GuaranteedPhiVerifierPrivate.h

SIL: fix a complexity problem in the ownership verifier

2026-01-27 08:56:13 +01:00

LinearLifetimeChecker.cpp

SIL: fix a complexity problem in the ownership verifier

2026-01-27 08:56:13 +01:00

LinearLifetimeCheckerPrivate.h

[SIL] Don't abort via llvm_unreachable.

2024-09-11 17:05:58 -07:00

MemoryLifetimeVerifier.cpp

SIL: assume a read-effect for unused indirect arguments

2026-01-23 15:58:23 +01:00

SILOwnershipVerifier.cpp

SIL: fix a complexity problem in the ownership verifier

2026-01-27 08:56:13 +01:00

SILVerifier.cpp

SILVerifier: Fix crash if verification failure reported from SILWitnessTable::verify()

2026-01-28 15:41:03 +00:00