swift
[OSSACanonicalizeOwned] Record traversed defs and don't traverse copies of guaranteed values.
#77968

Merged

[OSSACanonicalizeOwned] Record traversed defs and don't traverse copies of guaranteed values. #77968

nate-chandler merged 8 commits into swiftlang:main from nate-chandler:rdar139842132

nate-chandler force pushed 333 days ago

[Gardening] Test: Updated comment.

7012edc0

[NFC] OSSACanonicalizeOwned: Record def kinds.

77bc114e

[NFC] OSSACanOwned: Vary rewrite with def kind.

aed21743

[NFC] OSSACanonicalizeOwned: Shadow member.

d2f251cd

[NFC] OSSACanOwned: Record defs in SmallVector.

498294ef

[NFC] OSSACanonicalizeOwned: Renamed found defs.

eebe9ac2

nate-chandler force pushed 333 days ago

nate-chandler changed the title ~~[OSSACanonicalizeOwned] Record traversed defs and require a copy for a final consume of a guaranteed original.~~ [OSSACanonicalizeOwned] Record traversed defs and don't traverse copies of guaranteed values. 333 days ago

nate-chandler force pushed 333 days ago

[OSSACanonicalizeOwned] Only discover defs once.

ebd47790

[OSSACanOwned] Don't walk into reborrow copies.

33135a19

nate-chandler force pushed to 33135a19 333 days ago