The behavior of integer overflow for arithmetic operations varies across languages and, in the case of C, between C compilers.
Unsigned n-bit integer arithmetic is modulo
From Integer overflow:
For unsigned integer values, the operations +, -, *, and << are computed modulo
, where is the bit width of the unsigned integer's type. Loosely speaking, these unsigned integer operations discard high bits upon overflow, and programs may rely on "wrap around". For signed integers, the operations +, -, *, and << may legally overflow and the resulting value exists and is deterministically defined by the signed integer representation, the operation, and its operands. No exception is raised as a result of overflow. A compiler may not optimize code under the assumption that overflow does not occur. For instance, it may not assume that
is always true.
The C spec defines unsigned n-bit integer arithmetic modulo
§6.2.5 Types:
The range of nonnegative values of a signed integer type is a subrange of the corresponding unsigned integer type, and the representation of the same value in each type is the same. A computation involving unsigned operands can never overflow, because a result that cannot be represented by the resulting unsigned integer type is reduced modulo the number that is one greater than the largest value that can be represented by the resulting type.
Annex H: Language independent arithmetic: H.2.2 Integer types:
The signed C integer types int, long int, long long int, and the corresponding unsigned types are compatible with LIA−1 (language-independent arithmetic). If an implementation adds support for the LIA−1 exceptional values "integer_overflow" and "undefined", then those types are LIA−1 conformant types. C's unsigned integer types are "modulo" in the LIA−1 sense in that overflows or out-of-bounds results silently wrap. An implementation that defines signed integer types as also being modulo need not detect integer overflow, in which case, only integer divide-by-zero need be detected.
Java does not have unsigned integers. From an interview with the father of Java:
Gosling: For me as a language designer, which I don't really count myself as these days, what "simple" really ended up meaning was could I expect J. Random Developer to hold the spec in his head. That definition says that, for instance, Java isn't -- and in fact a lot of these languages end up with a lot of corner cases, things that nobody really understands. Quiz any C developer about unsigned, and pretty soon you discover that almost no C developers actually understand what goes on with unsigned, what unsigned arithmetic is. Things like that made C complex. The language part of Java is, I think, pretty simple. The libraries you have to look up.
OK, so no unsigned n-bit arithmetic modulo
§15.17.1 Multiplication Operator *:
If an integer multiplication overflows, then the result is the low-order bits of the mathematical product as represented in some sufficiently large two's-complement format. As a result, if overflow occurs, then the sign of the result may not be the same as the sign of the mathematical product of the two operand values.
§15.18.2 Additive Operators (+ and -) for Numeric Types:
If an integer addition overflows, then the result is the low-order bits of the mathematical sum as represented in some sufficiently large two's-complement format. If overflow occurs, then the sign of the result is not the same as the sign of the mathematical sum of the two operand values.
In C and Go, you get unsigned n-bit integer arithmetic modulo
The behavior of signed integers is language specific and, in the case of C, toolchain specific as well.
Last updated February 3, 2016