Revert "[DCE] Verify liveness of completed lifetimes."

nate-chandler · nate-chandler · commit d249ed60c4a8 · 2025-04-23T17:02:06.000-07:00
This reverts commit 3ec9b26. rdar://149896608
diff --git a/lib/SILOptimizer/Transforms/DeadCodeElimination.cpp b/lib/SILOptimizer/Transforms/DeadCodeElimination.cpp
@@ -835,9 +835,7 @@ bool DCE::removeDead() {
     }
   }
 
-  OSSALifetimeCompletion completion(
-      F, DT, *deadEndBlocks, OSSALifetimeCompletion::IgnoreTrivialVariable,
-      /*forceLivenessVerification=*/true);
+  OSSALifetimeCompletion completion(F, DT, *deadEndBlocks);
   for (auto value : valuesToComplete) {
     if (!value.has_value())
       continue;

Original file line number	Diff line number	Diff line change
`@@ -835,9 +835,7 @@ bool DCE::removeDead() {`
`835`	`835`	`}`
`836`	`836`	`}`
`837`	`837`
`838`		`- OSSALifetimeCompletion completion(`
`839`		`- F, DT, *deadEndBlocks, OSSALifetimeCompletion::IgnoreTrivialVariable,`
`840`		`- /forceLivenessVerification=/true);`
	`838`	`+ OSSALifetimeCompletion completion(F, DT, *deadEndBlocks);`
`841`	`839`	`for (auto value : valuesToComplete) {`
`842`	`840`	`if (!value.has_value())`
`843`	`841`	`continue;`