Erik Eckstein ac04f0ea2b MemoryLifetimeVerifier: fix two false alarms ...

* fix the handling of `store [assign]`
* ignore inout function arguments if the callee has no side-effects computed, yet. This can happen if a store to an unused inout has been eliminated at a call site and afterwards the callee is specialized and therefore doesn't have the required side-effects computed, yet.

2026-02-20 18:28:13 +01:00

..

Inputs

…

Instruction

…

OwnershipVerifier

Optimizer: enable complete OSSA lifetimes throughout the pass pipeline

2026-01-22 17:41:48 +01:00

Parser

[NFC] Update tests for conditionally ~Escapable dependencies

2026-02-14 17:35:23 -08:00

Serialization

Fix serialization of init_borrow_addr

2026-01-27 16:20:49 -08:00

availability_query_maccatalyst_zippered_inlined.swift

…

basic_block_unit.sil

Optimizer: convert the SILPrinter and TestInstructionIteration passes to tests

2025-12-15 10:01:41 +01:00

bitwise_copyable.swift

…

borrow_accessor_e2e.swift

Map BorrowAndMutateAccessors experimental feature to swift-syntax equivalent

2025-10-07 14:39:22 -07:00

borrow_accessor_verify_errors.sil

SIL: Handle dereference_borrow returns in SILGenCleanup.

2026-01-23 08:02:09 -08:00

clang-function-type-windows.swift

…

clang-function-types-android.swift

[android][test] Fix or disable the remaining failing tests on the Android CI (#81398)

2025-05-17 13:27:33 +05:30

clang-function-types-nonwindows.swift

…

clone_init_existential.sil

…

cloning_opaque_values_objc.sil

Add experimental feature @inline(always)

2025-09-30 08:36:26 -07:00

cloning_opaque_values.sil

Add experimental feature @inline(always)

2025-09-30 08:36:26 -07:00

cloning-inline-always.sil

Optimizer: require that there are no unreachable blocks and infinite loops in OSSA

2026-01-22 17:41:23 +01:00

cloning.sil

Optimizer: require that there are no unreachable blocks and infinite loops in OSSA

2026-01-22 17:41:23 +01:00

closure_lifetime_dependence.swift

Closure Lifetimes: Tests

2026-02-10 11:24:49 +00:00

concurrentclosure_capture_verify_canonical_addressonly.sil

…

concurrentclosure_capture_verify_canonical_loadable.sil

…

concurrentclosure_capture_verify_raw.sil

…

diagnose_effects.swift

…

disable_ossa_verification_blocklist.sil

…

dont_print_uuids.sil

add an option -print-no-uuids to suppress printing UUIDs in SIL output

2026-01-23 19:20:19 +01:00

explicit_lifetime_dependence_specifiers.swift

Tweak lifetime dependencies for 'inout' parameters

2026-02-06 16:11:26 -08:00

if_clause_printing.swift

…

implicit_lifetime_dependence.swift

[NFC] Update tests for conditionally ~Escapable dependencies

2026-02-14 17:35:23 -08:00

import-decls.sil

…

instruction_iteration_unit.sil

Optimizer: convert the SILPrinter and TestInstructionIteration passes to tests

2025-12-15 10:01:41 +01:00

lazy_typecheck.swift

…

lifetime_dependence_generics.swift

[NFC] Update tests and diagnostics

2025-06-07 12:49:01 -07:00

lifetime_dependence_param_position_test.swift

[NFC] Update tests for conditionally ~Escapable dependencies

2026-02-14 17:35:23 -08:00

lifetime_dependence_span_lifetime_attr.swift

[NFC] Update tests for conditionally ~Escapable dependencies

2026-02-14 17:35:23 -08:00

manual_ownership_exclusivity.swift

ManualOwnership: provide ability to apply to entire compilation unit

2025-10-24 18:54:07 -07:00

manual_ownership.swift

Test: disable flaky bit of manual_ownership.swift

2025-12-18 11:31:04 -08:00

memory_lifetime_failures.sil

MemoryLifetimeVerifier: fix two false alarms

2026-02-20 18:28:13 +01:00

memory_lifetime.sil

MemoryLifetimeVerifier: fix two false alarms

2026-02-20 18:28:13 +01:00

modules-extern2.swift

…

modules-extern.swift

…

moveonly_ownership.sil

…

opaque-verify.sil

…

parse_swift_decls_in_sil_mode.sil

…

polymorphic_builtins.sil

…

print_ownership.sil

SILPrinter: add an option -sil-print-ownership to print the ownership of instruction results

2025-12-01 16:00:58 +01:00

printer_include_decls_module.swift

…

printer_include_decls.swift

Add support for raw identifiers.

2025-03-11 17:18:43 -04:00

raw_identifiers.swift

Add support for raw identifiers.

2025-03-11 17:18:43 -04:00

restricted-partial-apply.sil

…

store_borrow_verify_errors.sil

Teach the SIL verifier to enforce stronger rules around

2025-10-11 02:12:19 -04:00

type_dependent_operands.swift

…

type_lowering_unit.sil

[NFC] TypeLowering: add CustomDeinit.

2025-11-11 17:29:45 -08:00

typed_throws_sil_crash.swift

…

unimplemented_initializer.swift

…

verifier_concurrency_nofail.sil

[SILVerifier] Adjust ownership requirement for ImplicitActorToOpaqueIsolationCast

2026-01-15 10:34:45 -08:00

verifier_failures.sil

SIL: add the InstructionIndices utility and use it in the SILVerifier

2026-01-27 08:52:41 +01:00

verifier_loweredsil_failures.sil

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

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

verifier_nofail.sil

Add a new semantics attribute to disable SIL verification on a function

2025-05-15 14:30:28 -07:00

verifier_reject.sil

…

verifier-archetype-debugvars.sil

SILVerifier: relax the check for debug vars with different types

2025-10-16 07:14:46 +02:00

verifier-fail-access-scope.sil

SIL Verifier: workaround a MoveOnlyChecker pass bug

2025-12-22 10:57:41 +01:00

verifier-fail-address-phi-ossa.sil

…

verifier-fail-bb.sil

…

verifier-fail-instruction.sil

…

verifier-fail-stack.sil

Teach the SIL verifier to enforce stronger rules around

2025-10-11 02:12:19 -04:00

verifier-init-existential.sil

…

verifier-no-fail-access-scope1.sil

SIL Verifier: don't run read-only access scope verification in lowered SIL

2025-10-23 14:59:02 +02:00

verifier-no-fail-access-scope2.sil

SIL Verifier: don't run read-only access scope verification in lowered SIL

2025-10-23 14:59:02 +02:00

verifier-no-fail-access-scope3.sil

SIL-Verifier: Don't verify that there are no stores in read-only access scopes if there is a conflicting scope

2025-12-04 21:12:32 +01:00

verifier-no-nested-suspend.sil

…

verifier-undefined-function.sil

SILVerifier: print a readable error message when referencing an undefined SIL function

2025-12-19 17:44:01 +01:00

verifier-value-metatype-lowering.sil

…

whole_module_optimization.swift

…