Merge pull request #26233 from gottesmm/pr-eece236dc9ac458c63475f57f405b074b064e388

Revert "Revert "[ownership] Verify functions before we strip ownershi…

Author: gottesmm

lib/SILOptimizer/Transforms/OwnershipModelEliminator.cpp

@@ -382,6 +382,9 @@ struct OwnershipModelEliminator : SILModuleTransform {
       if (SkipTransparent && F.isTransparent())
         continue;
 
+      // Verify here to make sure ownership is correct before we strip.
+      F.verify();
+
       if (stripOwnership(F)) {
         auto InvalidKind =
             SILAnalysis::InvalidationKind::BranchesAndInstructions;