lipracer wrote: @kuhar There are indeed many overflow states that need to be checked here, but I haven't come up with a good method yet. Can you give me a specific suggestion? Thank you. https://github.com/llvm/llvm-project/pull/83248