if (x + 1 < x) для знакового int не защищает от переполнения. Знаковое переполнение в C является неопределённым поведением, п…
