[Mlir-commits] [mlir] [MLIR] Fix Liveness analysis handling of unreachable code (PR #153973)

[Jacques Pienaar]

================
@@ -294,7 +294,34 @@ RunLivenessAnalysis::RunLivenessAnalysis(Operation *op) {
   solver.load<LivenessAnalysis>(symbolTable);
   LDBG() << "Initializing and running solver";
   (void)solver.initializeAndRun(op);
-  LDBG() << "RunLivenessAnalysis initialized for op: " << op->getName();
+  LDBG() << "RunLivenessAnalysis initialized for op: " << op->getName()
+         << " check on dead code now:";
----------------
jpienaar wrote:

check on unreachable ?

(yes dead, but haven't been set yet, at this point it is known unreachable if not-set as live or dead)

https://github.com/llvm/llvm-project/pull/153973