[Mlir-commits] [mlir] [mlir] Document and assert Liveness coverage preconditions (PR #208142)

[Jacky Li]

JPL11 wrote:

@joker-eph @Mogball @matthias-springer would appreciate a look when you have a moment — small analysis-robustness patch (docs + asserts + unit test, no functional change for covered blocks). Context in #208140.

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