Merge pull request #81060 from nate-chandler/cherrypick/release/6.2/rdar149896608

nate-chandler · web-flow · commit 307f330a42f4 · 2025-04-24T07:00:10.000-07:00
6.2: Revert "[DCE] Verify liveness of completed lifetimes."
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;`