[mgaunard]

overflow of unsigned integers is well-defined in C.

You're confusing it with overflow of signed integers.