不应用于struct成员的多个未排序修改警告

Question

我发现了一个奇怪的例外，多个未排序的修改警告。当我在柜台上循环时，我遇到了警告：

int i = 0;
i = ++i & 0xFF; // <- warning

警告:对“i”的多个未排序修改

我明白为何这是不明确的行为。不过，我发现在使用struct成员时没有应用此警告：

typedef struct
{
    int i;
}struct_t;

struct_t t;
t.i = ++t.i & 0xFF; // <- no warning

指针也是如此：

struct_t *u;
u = &t;
u->i = ++u->i & 0xFF; // <- no warning

我正在使用MDK-ARM +版本5.21a在C99模式.

我的问题是，这是否实际上是可接受的代码，由于某种原因，因为我使用的是structs，它不再是未定义的行为，或者编译器警告只是缺少它。

Answer 1

就序列点而言，您的两个示例是相同的。它们都调用未定义的行为(如6.5所示)，因为i在相同的表达式中被修改了两次，其间没有序列点。i的数据类型并不重要，如果它是结构的一部分也不重要。

这是不可接受的代码。但是，编译器不需要为调用未定义行为的代码提供诊断。如果你得到了一个，那编译器就太好了。

编译器在警告中不一致的原因似乎是一个小编译器错误。