MaskRay wrote: > Why not just enforce -fsanitize=signed-integer-overflow with -fwrapv? I suspect it's just overlook, and not intentional behavior. +1 We should consider this direction https://github.com/llvm/llvm-project/pull/80089