Skip to content

Commit 6a5330b

Browse files
committed
[SIL] NFC: Duplicated assertions.
Added the assertions from visitBorrowIntroducingUserResults to getBorrowIntroducingUserResult. In preparation for deleting the former in favor of the latter.
1 parent 0fceb33 commit 6a5330b

File tree

1 file changed

+9
-4
lines changed

1 file changed

+9
-4
lines changed

lib/SIL/Utils/OwnershipUtils.cpp

Lines changed: 9 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -740,12 +740,17 @@ BorrowedValue BorrowingOperand::getBorrowIntroducingUserResult() const {
740740
case BorrowingOperandKind::BeginAsyncLet:
741741
return BorrowedValue();
742742

743-
case BorrowingOperandKind::BeginBorrow:
744-
return BorrowedValue(cast<BeginBorrowInst>(op->getUser()));
745-
743+
case BorrowingOperandKind::BeginBorrow: {
744+
auto value = BorrowedValue(cast<BeginBorrowInst>(op->getUser()));
745+
assert(value);
746+
return value;
747+
}
746748
case BorrowingOperandKind::Branch: {
747749
auto *bi = cast<BranchInst>(op->getUser());
748-
return BorrowedValue(bi->getDestBB()->getArgument(op->getOperandNumber()));
750+
auto value =
751+
BorrowedValue(bi->getDestBB()->getArgument(op->getOperandNumber()));
752+
assert(value && "guaranteed-to-unowned conversion not allowed on branches");
753+
return value;
749754
}
750755
}
751756
llvm_unreachable("covered switch");

0 commit comments

Comments
 (0)