Determining whether a piece of code always produces a certain constant value is the same as determining program equivalence, which is an undecidable problem.

• 确定一段代码是否总是产生某个常数值，等同于确定程序等效物，无法保证一定能做到。