Здравствуйте, Evgeny.Panasyuk, Вы писали:

EP>Не не не, Дэвид Блэйн, меня ты не проведёшь.
EP>Там где проявляется закольцованность у безнаковых, у знаковых вообще случается undefined behaviour (речь же о C++?). Причём для индексов случается чаще, в силу меньшего положительного диапазона.

Хм, это таки надо постараться переполнить переменную индекса в сторону за его максимум.
Как нужно писать, чтобы это сделать?

EP>В одном случае имеем чёткую модель кольца, а в другом даже магмы нет, ибо операции не замкнуты

Модель кольца можно сделать через -fwrapv или overflow builtins. Но я бы предпочёл исключения по умолчанию.