Signed Integer Overflow is UB
In C and C++, signed integer overflow is undefined behaviour — not wrap-around. Compilers exploit this to eliminate overflow checks entirely when optimizing. Use unsigned types or compiler flags like -fwrapv if you need wrap semantics.