作在符合标准的程序中永远不会发生。这样，编译器就可以得到更多的信息，获得更多优化程序的机会。例如这样的C语言代码：int foo(unsigned char x)因为 codice_1 是 codice_2 不可能为负数，而C语言中有符号整数的溢出又是未定义行为，编译器就可以假设执行 codice_3 语句时 codice_4 不可能小于 2147483600。因为这里的 codice_3 没有副作用，条件也永远不成立，所以编译器就可以直接忽略 codice_3 语句和对函数 codice_7 的