分配和后递增循环迭代器时的C无限循环(gcc bug？)

参见英文答案 > Why are these constructs using pre and post-increment undefined behavior?                                    14个
>             Undefined behavior and sequence points                                    5个
前几天我在我们的一个C应用程序中遇到了一个奇怪的错字,触发了代码进入无限循环.在for循环结束时,程序员意外地分配了i = i,而不仅仅是递增i.

for (int i = 0; i < 10; i = i++) {
    cout << "i = " << i << endl;
}

输出：

i = 0
i = 0
i = 0
...

最奇怪的是,即使理解这是一个错字,我也看不出为什么这段代码不起作用.据我所知,分配给i应该没有影响,因为我仍然应该在分配后增加. (出于某种原因,它必须改为复制一份？但这似乎没有意义.)

另一个有趣的事情是将赋值更改为i = i不会产生无限循环.

这段代码在我们之前的编译器上没有产生无限循环：gcc版本4.4.7 20120313.我们最近升级到gcc版本4.8.5 20150623,现在确实如此.

问题是为什么这个代码在逻辑上看起来不应该产生无限循环,哪个编译器根据C标准正确地解释了这个？