We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8934ca7 commit 3616fc6Copy full SHA for 3616fc6
lib/SIL/Verifier/SILVerifier.cpp
@@ -4881,17 +4881,6 @@ class SILVerifier : public SILVerifierBase<SILVerifier> {
4881
}
4882
4883
void checkBranchInst(BranchInst *BI) {
4884
- for (auto arg : BI->getArgs()) {
4885
- auto *borrow = dyn_cast<BeginBorrowInst>(arg);
4886
- if (!borrow) {
4887
- continue;
4888
- }
4889
- auto op = borrow->getOperand();
4890
- if (op->getOwnershipKind() != OwnershipKind::Guaranteed) {
4891
4892
4893
- assert(!isGuaranteedForwarding(op));
4894
4895
require(BI->getArgs().size() == BI->getDestBB()->args_size(),
4896
"branch has wrong number of arguments for dest bb");
4897
require(std::equal(BI->getArgs().begin(), BI->getArgs().end(),
0 commit comments