分配顺序评估(我是否发现了第一个编译器错误?)

此代码有一个有趣的错误:

some_struct struct_array1[10] = {0};
some_struct struct_array2[10] = {0}
int i;

for (i = 0; 
     i < sizeof(struct_array1) / sizeof(struct_array1[0]); 
     struct_array1[i].value = struct_array2[i++].value = 1)
    ;

对于大多数编译器,上述代码会将各自数组中所有结构的“value”字段设置为1。 但是,对于一个特定的编译器(我们称之为XCC),结构数组1中的结构没有正确初始化。对于所有结构,“value”字段都设置为0,这让我有点惊讶。

以下代码段在所有编译器上都按预期工作:

for (i = 0; 
     i < sizeof(struct_array1) / sizeof(struct_array1[0]); 
     i++)
{
    struct_array1[i].value = struct_array2[i].value = 1;
}

现在,我是完全离开这里了,还是有问题的编译器“xcc”只是显示一个bug?

在第一个代码段中,我找不到任何显示特定于实现的行为的内容;根据我的理解,后缀增量应该优先于赋值,赋值应该从右向左计算。第一个代码片段不应该有任何内容,只是有点不可读。