I know this doesn't address the point about the C standard itself, but: • GCC and Clang both accept the -fwrapv argument, causing the compiler to guarantee tha

I know this doesn't address the point about the C standard itself, but: • GCC and Clang both accept the -fwrapv argument, causing the compiler to guarantee that signed overflow will wrap, like in Java • The latest C++ standard mandates that signed integer types use two's complement representation (signed overflow remains undefined behaviour)