...
An example of undefined behavior in C99 is the behavior on signed integer overflow. (See also rule INT32-C. Ensure that operations on non-atomic signed integers do not result in overflow.) This noncompliant code example depends on this behavior to catch the overflow.
...