AdUhTkJm wrote: I believe index types are intended to represent a type that never overflows, although they are usually lowered to some integer types that would overflow. So `INT_MIN / -1` doesn't overflow either. https://github.com/llvm/llvm-project/pull/223127