================ ---------------- nikic wrote: We should also have exhaustive tests for classify at least (the correctness of the implementation is not obvious to me) and possibly also intersect/union. https://github.com/llvm/llvm-project/pull/86483