jayfoad wrote: > I'll try to come up with a test case using MachineVerifier. Actually MachineVerifier only uses this function to verify LiveIntervals and I can't write a MIR test for malformed LiveIntervals, so I don't have any way to test this. https://github.com/llvm/llvm-project/pull/116020