整数溢出和未定义的行为

尽管 最 现代CPU使用2的补码,整数溢出导致可预测的模环绕,这绝不是通用的-为了使语言足够通用,以便在最广泛的架构上使用它,最好指定整数溢出是UB。

另一个用于允许优化的未定义行为的巨大示例是别名规则。

这个 undefined behavior 规范中的位涉及一些编译器优化。例如:

if (a > 0 && b > 0) {
    if ( a + b <= 0 ) {
       // this branch may be optimized out by compiler
    } else {
       // this branch will always run
    }
}

现代的C编译器并不是那么简单,它做了很多猜测和优化。

我认为你的假设1)如果我的记忆是正确的,那么至少在一个重要的历史架构CDC上,对于任何给定的处理器,这都是错误的。