Merge pull request #29814 from gottesmm/pr-bb0b0be8f707f94e39212588bbe1ac6f3f083adb

Author: swift-ci

lib/SIL/SILOwnershipVerifier.cpp

@@ -123,28 +123,7 @@ class SILValueOwnershipChecker {
   SILValueOwnershipChecker(SILValueOwnershipChecker &) = delete;
   SILValueOwnershipChecker(SILValueOwnershipChecker &&) = delete;
 
-  bool check() {
-    if (result.hasValue())
-      return result.getValue();
-
-    LLVM_DEBUG(llvm::dbgs() << "Verifying ownership of: " << *value);
-    result = checkUses();
-    if (!result.getValue())
-      return false;
-
-    SmallVector<BranchPropagatedUser, 32> allLifetimeEndingUsers;
-    llvm::copy(lifetimeEndingUsers, std::back_inserter(allLifetimeEndingUsers));
-    SmallVector<BranchPropagatedUser, 32> allRegularUsers;
-    llvm::copy(regularUsers, std::back_inserter(allRegularUsers));
-    llvm::copy(implicitRegularUsers, std::back_inserter(allRegularUsers));
-
-    LinearLifetimeChecker checker(visitedBlocks, deadEndBlocks);
-    auto linearLifetimeResult = checker.checkValue(
-        value, allLifetimeEndingUsers, allRegularUsers, errorBehavior);
-    result = !linearLifetimeResult.getFoundError();
-
-    return result.getValue();
-  }
+  bool check();
 
 private:
   bool checkUses();
@@ -182,6 +161,29 @@ class SILValueOwnershipChecker {
 
 } // end anonymous namespace
 
+bool SILValueOwnershipChecker::check() {
+  if (result.hasValue())
+    return result.getValue();
+
+  LLVM_DEBUG(llvm::dbgs() << "Verifying ownership of: " << *value);
+  result = checkUses();
+  if (!result.getValue())
+    return false;
+
+  SmallVector<BranchPropagatedUser, 32> allLifetimeEndingUsers;
+  llvm::copy(lifetimeEndingUsers, std::back_inserter(allLifetimeEndingUsers));
+  SmallVector<BranchPropagatedUser, 32> allRegularUsers;
+  llvm::copy(regularUsers, std::back_inserter(allRegularUsers));
+  llvm::copy(implicitRegularUsers, std::back_inserter(allRegularUsers));
+
+  LinearLifetimeChecker checker(visitedBlocks, deadEndBlocks);
+  auto linearLifetimeResult = checker.checkValue(
+      value, allLifetimeEndingUsers, allRegularUsers, errorBehavior);
+  result = !linearLifetimeResult.getFoundError();
+
+  return result.getValue();
+}
+
 bool SILValueOwnershipChecker::gatherUsers(
     SmallVectorImpl<Operand *> &lifetimeEndingUsers,
     SmallVectorImpl<Operand *> &nonLifetimeEndingUsers,