overflow of unsigned integers is well-defined in C.

You're confusing it with overflow of signed integers.