优化不能改变语义

优化后的程序必须和原来行为完全一样。这是编译器优化的铁律。