Исходное сообщение
"Оптимизация кода компилятором может привести к появлению про..." Отправлено Crazy Alex, 30-Окт-13 13:39
Да уж, возмущаться таким кодом - умильно. С первым примером, конечно, надо ворнинги бы выдавать или статикой проверять, но косяком компилятора это я бы не называл. Тем более, что проблема широко известна, как и решение -  "if (buf_end > buf && buf_end - buf > len)". Допустим, в писании бинарного поиска практически всегда обращают внимание на то, то надо не (a+b)/2 писать, а (a-b)/2 - именно из-за возможного переполнения.