Исходное сообщение
"Дэниэл Бернштейн выступил с инициативой создания Си-компилят..." Отправлено Аноним, 22-Дек-15 19:22
>> Удаление присваивания возможно _только_ в случае, если компилятор может _доказать_, что >> оно ни на что не влияло. Например, присваивание локальной переменной в >> функции, после которого присвоенное значение никуда более не попадало. Включая указатели >> на эту переменную. >> Практически ни один компилятор не удалит memset во внешнем или глобальном буфере, >> например, потому что результат этой операции может быть виден в другой >> части программы. Чтобы доказать обратное, всю программу надо собирать с LTO >> и знать, что используется стандартный memset, а не переопределенная реализация. > Чтобы доказать прямое, программу тоже надо собирать с LTO. Не всегда. Я привел пример, когда это не требуется, и компиляторы так работают именно когда это допустимо. > Но, как её > не собирай, компилятор не занимается доказательствами. Ошибаетесь.