Здравствуйте, Pavel Dvorkin, Вы писали:

[]

PD>… если в результате арифметики с положительными числами результат оказался отрицательным там, где такого не должно быть,то ошибку надо искать в алгоритме …

ЕМНИП, это UB, нет? Как можно тут рассуждать должно/не должно?