PR #79110 SIL: Fix memory behavior of mark_dependence

SIL: Fix memory behavior of mark_dependence #79110

eeckstein merged 3 commits into swiftlang:main from eeckstein:verify_mark_dependence

eeckstein requested a review from

jckarter 314 days ago

eeckstein removed review request from

jckarter 314 days ago

eeckstein requested a review from

meg-gupta 314 days ago

eeckstein requested a review from

atrick 314 days ago

eeckstein requested a review from

nate-chandler 314 days ago

atrick approved these changes on 2025-02-04

eeckstein force pushed 307 days ago

eeckstein changed the title ~~SIL: handle mark_dependence in the MemoryLifetimeVerifier~~ SIL: Fix memory behavior of mark_dependence 307 days ago

TempRValueOptimization: don't optimize copies to mark_dependence base…

d918b316

SIL: define a memory-read effect on the mark_dependence base value

a88cb49e

SIL: handle mark_dependence in the MemoryLifetimeVerifier

6a6d3f0b

eeckstein force pushed to 6a6d3f0b 306 days ago

eeckstein merged aa0833b0 into main 306 days ago

eeckstein deleted the verify_mark_dependence branch 306 days ago

Reviewers

atrick

meg-gupta

nate-chandler

Assignees

No one assigned

Labels

None yet

Milestone

No milestone

swift SIL: Fix memory behavior of mark_dependence #79110 Merged

SIL: Fix memory behavior of mark_dependence #79110

swift
SIL: Fix memory behavior of mark_dependence
#79110

Merged