在一个语句中访问两个挥发物在较新的C中是合法的吗？

Question

我使用RL78(v.1.40.6)的IAR编译器遇到“未定义行为”警告，代码如下：

static volatile int x[2] = {1, 2};
int test(){
    return x[0]+x[1];
}

警告[Pa082]:未定义的行为：在此语句C:\sandbox\test.c 32中未定义易失性访问的顺序

编译器技术注释提供了一个解释，归结为两个副作用（易失性访问）未排序。

但是，我可以看到上面的代码对于像GCC8这样的较新的编译器是没有问题的。有人能给我指出标准的变化，它使得在一个语句中访问两个易变变量是合法的吗？

Answer 1

在同一语句中访问两个volatile变量并不非法，但由于标准没有指定+运算符的操作数的求值顺序，因此语言不保证访问的特定顺序，因此x[0]后跟x[1]和x[1]后跟x[0]是同样正确的，编译器可以选择其中任何一个。由于这可能不是用户所期望的，因此IAR编译器会发出警告。