简介 死代码消除(DCE dead code eliminate),如果编译器能够确定给定操作不会影响程序结果,那么它完全可以消除该操作,一般有两种不同的效应可以使操作成为消除的合格对象。 操作时无用的,即结果没有外部可见的效应。无用指的是如果没有其他操作使用其结果,或使用其结果的所有指令本身都是死代码。 操作可能是不可达的,即它不可能执行。 int global; void fun() { int i = 1; //死代码 global = 1; //死代码 global <