https://github.com/joker-eph approved this pull request. Seems reasonable to me. The NFC aspect is bordeline though: can't this be observed by some other analysis? Can't the liveness be queried by program points? https://github.com/llvm/llvm-project/pull/159232