> This is false. If your code is perfect, the compiler shouldn't do such optimization. Of course compilers have bugs

Then it's not false!