случае, когда этого точно не может произойти?
Пример: https://godbolt.org/z/5a58dMded
Или есть входные данные, когда этот код сломается и он не сделает сложение с насыщением?
полагаю, что компилятор думает, что будет возможное переполнение. Он не смотрит на то, сделал ли ты проверку от этого или нет
P.S. поставил gcc 10.2 - и всё скомпилилось. Необычно)
Обсуждают сегодня