Odpovídáte na názor ke článku Počítání s přetečením v C.
[10] [12]
Pokud mne paměť neklame tak přetečení není definováno pouze pro znaménkové hodnoty.
Pro neznaménkové(unsigned) hodnoty by to mělo být OK. I když si nejsem úplně jist ohledně verzí starších než C99.