Ответ:
При 32-битном знаковом типе int в арифметике с переполнением значение после увеличения циклически переходит к минимальному: 2147483647 + 1 = -2147483648.
Получившееся число отрицательное. Следовательно, результат проверки — «отрицательное», значение — -2147483648.
Это предполагает поведение переполнения с переходом к минимальному значению, как в Java или C# в контексте unchecked. В C++ переполнение знакового целого числа не имеет гарантированного результата; язык программирования в условии не указан.
