c++ - 为什么 gcc 不对内部代码中的未定义行为发出警告？

Question

我刚刚读了this SO C++ 关于未定义行为和序列点的常见问题解答并进行了一些实验。在下面的代码中，gcc-4.5.2 只在代码注释中提到的那一行中给我一个警告，虽然前面的一行也显示了未定义的行为，不是吗？您不能说先执行哪个加法操作数(因为 + 不是序列点)。为什么 gcc 在这一行也不给我警告？

int i=0;
int j=0;

int foo(void) {
    i=1;
    return i;
}

int main(void) {
    i = i + foo(); 
    j = j + (j=1); //Here is a rightly warning
    return 0;
}

感谢您的帮助。

Answer 1

i = i + foo(); 的行为未指定但不是未定义。未定义意味着允许任何可能的行为，甚至中止程序。未指定意味着首先评估 i 或 foo()。是的，foo 写入同一个 i，但由于它发生在单独的语句中，因此在该存储之前和之后有一个序列点。