labath wrote: Good question. I think I could use it in immediately in #126526 if I make the result exact (return the precise set of ranges instead of the high/low water mark). Let me see how that would look like. https://github.com/llvm/llvm-project/pull/123622