Meghana Gupta 21cc1a185b Add memory lifetime verification support for borrow accessors

2025-11-06 10:55:42 -08:00

..

arguments.sil

SIL: remove computeIsReborrow

2024-11-12 09:26:59 +01:00

basic.sil

…

begin_apply_use_after_end_apply.sil

[Gardening] SIL: Verifier messages use "lifetime".

2024-05-09 17:50:29 -07:00

borrow_accessor.sil

Add memory lifetime verification support for borrow accessors

2025-11-06 10:55:42 -08:00

borrow_and_concurrency.sil

…

borrow_cast_validate.sil

SIL, Optimizer: update and handle borrowed-from instructions

2024-04-10 13:38:10 +02:00

borrow_extract_validate.sil

SIL, Optimizer: update and handle borrowed-from instructions

2024-04-10 13:38:10 +02:00

borrow_scope_introducing_operands_positive.sil

SIL, Optimizer: update and handle borrowed-from instructions

2024-04-10 13:38:10 +02:00

borrow_scope_introducing_operands.sil

Reland Allow normal function results of @yield_once coroutines (#71645)

2024-03-27 13:09:02 -07:00

borrow_validate.sil

SIL, Optimizer: update and handle borrowed-from instructions

2024-04-10 13:38:10 +02:00

definite_init.sil

Deal with tests that don't import the Swift standard library

2023-11-16 10:42:55 -08:00

disable_verifier_using_semantic_tag.sil

…

extend_lifetime.sil

[SIL] Verify extend_lifetime instruction.

2024-06-05 16:28:28 -07:00

false_positive_leaks.sil

…

guaranteed_chain.sil

[Test] Renamed with underscores.

2023-09-25 18:49:29 -07:00

guaranteed_phis_errors.sil

SIL, Optimizer: update and handle borrowed-from instructions

2024-04-10 13:38:10 +02:00

guaranteed_phis.sil

Fix reborrow verifier to look through borrowed from

2024-12-16 10:23:18 -08:00

interior_pointer.sil

…

leaks.sil

…

load_borrow_invalidation_partial_apply.sil

SIL Verifier: verify that inside a read-only access scope there are no stores to the memory location

2025-10-22 20:55:21 +02:00

load_borrow_invalidation_test.sil

…

load_borrow_verify_errors.sil

SIL Verifier: verify that inside a read-only access scope there are no stores to the memory location

2025-10-22 20:55:21 +02:00

load_borrow_verify.sil

SIL: don't print operand types in textual SIL

2024-11-21 18:49:52 +01:00

objc_use_verifier.sil

…

opaque_use_verifier.sil

…

over_consume_positive.sil

…

over_consume.sil

[SIL] Add source formal type to checked_cast_br.

2023-07-27 15:04:15 -07:00

subobject_borrowing.sil

…

undef.sil

…

unreachable_code.sil

…

use_verifier.sil

Change the convention for reabstractions as well.

2025-10-03 14:58:48 +01:00