Здравствуйте, G65434-2, Вы писали:

X>>я не знаю что по этому поводу говорит стандарт, но я никогда не видел UB при переполнении знаковых чисел.
X>>возможно, конечно, и существуют такие архитектуры, но я про них не в курсе..

G2>Например http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33498

Это уже форменное свинство.
UB может в подобном случае относиться к тому, что получается в результате сложения, но ломать цикл? Независимо от того, насколько это верно по букве стандарта — по сути это маразм.