Микроконтроллеры

Странная тема, шум вокруг нее и ряд утверждений... вот к примеру на мой скудный взгляд такое http://habrahabr.r …vs-studio/blog/247973/

Более того, здесь компилятор явно видит 0 и может угадать, что от него хочет программист. Когда 0 хранится в переменной это совсем другое дело, и компилятор может повести себя неожиданным образом.

Если есть 0, то компилятор как раз и не должен ничего угадывать, а тупо соптимизировать. А как он может провести оптимизацию с переменной?