Erik Eckstein a312732f84 AliasAnalysis: consider memory effects of a consume/destroy of a class on it's let-fields ...

Although a let-field can never be mutated, a release or consume of the class must be considered as writing to such a field.

This change removes the special handling of let-fields in two places, where they don't belong.
Class fields are handled by ImmutableScope anyway.
Handling of global let-variable is temporarily removed by this commit.

Fixes a miscompile.
rdar://142996449

2025-01-20 08:50:56 +01:00

..

AccessDumper.swift

AccessUtils: support computing "constant" access paths

2024-11-04 19:26:44 +01:00

AliasInfoDumper.swift

AliasAnalysis: a complete overhaul of alias- and memory-behavior analysis

2024-07-29 17:33:46 +02:00

CMakeLists.txt

AliasAnalysis: a complete overhaul of alias- and memory-behavior analysis

2024-07-29 17:33:46 +02:00

DeadEndBlockDumper.swift

Swift Optimizer: some reformatting in the optimization passes

2023-08-04 10:33:52 +02:00

EscapeInfoDumper.swift

AliasAnalysis: a complete overhaul of alias- and memory-behavior analysis

2024-07-29 17:33:46 +02:00

FunctionUsesDumper.swift

Swift Optimizer: some reformatting in the optimization passes

2023-08-04 10:33:52 +02:00

MemBehaviorDumper.swift

AliasAnalysis: consider memory effects of a consume/destroy of a class on it's let-fields

2025-01-20 08:50:56 +01:00

RangeDumper.swift

Swift Optimizer: some reformatting in the optimization passes

2023-08-04 10:33:52 +02:00

RunUnitTests.swift

Swift Optimizer: some reformatting in the optimization passes

2023-08-04 10:33:52 +02:00

SILPrinter.swift

SwiftCompilerSources: Replace BlockArgument with Phi and TermResult.

2023-09-27 18:47:46 -07:00

TestInstructionIteration.swift

SwiftCompilerSources: add more APIs to create new basic blocks

2023-11-27 09:21:33 +01:00