Дочитал (почти) я книжку Криса Касперски. Особенно заинтересовала меня последняя глава, где он сравнивает оптимизирующие свойства компиляторов. Оптимизация работы с памятью меня сейчас мало волнует, а вот компиляторы — это ближе.

Почитав всё это, я пришёл к следующему общему выводу. Компилятор должен оптимизировать лишь то, что невозможно (или крайне неудобно) сделать непосредственно с помощью языка высокого уровня. Иначе он может оптимизировать то, что программист ввёл специально.

Детали напишу позже, когда буду в состоянии. А пока надо лежать.