Skip to content

Commit e6b64d2

Browse files
committed
Handle borrowed-from in OwnershipUseVisitor.
If it is not a reborrow, then it produces a dependent value, just like mark_dependence.
1 parent 17a8f7f commit e6b64d2

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

SwiftCompilerSources/Sources/Optimizer/Utilities/OwnershipLiveness.swift

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -448,6 +448,8 @@ extension OwnershipUseVisitor {
448448
case let mdi as MarkDependenceInst:
449449
assert(operand == mdi.baseOperand && mdi.isNonEscaping)
450450
return dependentUse(of: operand, into: mdi)
451+
case let bfi as BorrowedFromInst where !bfi.borrowedPhi.isReborrow:
452+
return dependentUse(of: operand, into: bfi)
451453
default:
452454
return borrowingUse(of: operand,
453455
by: BorrowingInstruction(operand.instruction)!)

0 commit comments

Comments
 (0)