Andrew Trick 33fbe11bf8 Fix LifetimeDependenceScopeFixup: read access can depend on 'inout' ...

Allow a dependency on a local [read] access scope to be transfered to the
caller's [modify] access.

Fixes rdar://149560133 (Invalid lifetime dependence error when
trying to return Span from an inout argument)

2025-04-22 11:54:53 -07:00

..

Analysis

Support mark_dependence_addr in SIL passes.

2025-03-25 23:02:45 -07:00

DataStructures

Add InstructionRange.overlapsWithPath() utility.

2025-04-16 16:43:23 -07:00

FunctionPasses

Fix LifetimeDependenceScopeFixup: read access can depend on 'inout'

2025-04-22 11:54:53 -07:00

InstructionSimplification

Optimizer: remove redundant copy_block instructions

2025-04-15 11:02:39 +02:00

ModulePasses

embedded: rewrite the diagnostic pass for embedded swift

2025-04-18 06:58:40 +02:00

PassManager

embedded: rewrite the diagnostic pass for embedded swift

2025-04-18 06:58:40 +02:00

TestPasses

SIL: Add mark_dependence_addr

2025-03-25 23:02:42 -07:00

Utilities

LifetimeDependenceScopeFixup: handle returning dependent Optional

2025-04-21 22:33:38 -07:00

CMakeLists.txt

SwiftCompilerSources: introduce the AST module

2024-10-02 07:10:29 +02:00