13.2 Integer Overflow

In practice many portable C programs assume that signed integer overflow wraps
around reliably using two's complement arithmetic. Yet the C standard
says that program behavior is undefined on overflow, and in a few cases
C programs do not work on some modern implementations because their
overflows do not wrap around as their authors expected. Conversely, in
signed integer remainder, the C standard requires overflow
behavior that is commonly not implemented.