https://github.com/nikic commented: Now that https://github.com/llvm/llvm-project/pull/116802 has landed, I think you should be able to fix the issue using BatchAAResults::enableCrossIterationMode. https://github.com/llvm/llvm-project/pull/116628