Цель создания неопределенного поведения переполнения знакового целого числа — разрешить оптимизацию компилятора. Но разве это не в равной степени веский аргумент в пользу неопределенного поведения переполнения беззнакового целого числа?
Подробнее здесь: https://stackoverflow.com/questions/659 ... nd-not-for
