swift
SIL: fix a complexity problem in the ownership verifier
#86781

Merged

SIL: fix a complexity problem in the ownership verifier #86781

eeckstein merged 2 commits into swiftlang:main from eeckstein:fix-ownership-verifier

eeckstein requested a review from

jckarter 276 days ago

eeckstein requested a review from

hjyamauchi 276 days ago

eeckstein requested a review from

atrick 276 days ago

eeckstein requested a review from

meg-gupta 276 days ago

eeckstein requested a review from

aidan-hall 276 days ago

eeckstein requested a review from

elsakeirouz 276 days ago

hjyamauchi approved these changes on 2026-01-26

meg-gupta commented on 2026-01-26

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

7df75c8b

SIL: fix a complexity problem in the ownership verifier

4a1950d2

eeckstein force pushed from 3546240b to 4a1950d2 275 days ago

eeckstein enabled auto-merge 275 days ago

eeckstein merged 9297de8d into main 275 days ago

eeckstein deleted the fix-ownership-verifier branch 275 days ago

Reviewers

hjyamauchi

meg-gupta

jckarter

atrick

aidan-hall

elsakeirouz

Assignees

No one assigned

Labels

None yet

Milestone

No milestone