PD>>… если в результате арифметики с положительными числами результат оказался отрицательным там, где такого не должно быть,то ошибку надо искать в алгоритме …
P>ЕМНИП, это UB, нет? Как можно тут рассуждать должно/не должно?
Это не UB. Имелось в виду, что для знаковых чисел алгоритм дает отрицательное значение там, где его в принципе не должно быть, вследствие ошибки в нем. Например, для вычисления ширины из левой границы вычли правую вместо того, чтобы сделать наоборот.
