为什么GCC在这个例子中没有发出警告
启用-Wsequence-point ，GCC应在发现未定义的行为代码时警告用户。 例如
b = a + ++a;
应该被GCC注意到并且应该被报告为“未定义的行为”代码（因为ISO C没有指定评估操作数的顺序）。
但是，我玩了语法，我尝试了这个：
int *a = malloc(sizeof(int) * 2); a[0] = 1; printf("%d\n", *(a + (*a)++ - *a));
当然，我收到了警告
警告：’* a’上的操作可能未定义[-Wsequence-point]
这是我所期望的，因为*a （其为a[0] ）的值可以在处理第三个操作数时递增或者可以不递增。 但是，我尝试了以下一个：
int *a = malloc(sizeof(int) * 2); a[0] = 1; printf("%d\n", *(a + (*a)++ - 1));
我很惊讶，因为我没有收到任何警告。 这不应该是UB吗？ 我的意思是，根据ISO C99，可以在表达式评估期间的任何点评估后增量操作（逗号运算符和三元运算符除外）。 在我的后一个例子中，我没有递增指针，而是指向它指向的整数。 因此，根据标准，它可以在任何点递增（这意味着它可以在评估整个表达式后递增），因此程序可以打印1或2 ，对吧？
为什么海湾合作委员会没有发出任何警告？ 还是我错过了什么？ 我错误地理解了这些规格吗？
gcc的静态分析工具不能处理这种情况。
表达式*(a + (*a)++ - x)对于gcc的静态分析来说太难了，因为在某些非常特殊的情况下由于缺少序列点而导致未定义的行为 – 即，当*a包含x 。 这是当(*a)++ - x “撤消”彼此时，所以整体表达式相当于*a加上一些副作用。
为了使gcc代码分析能够发现此错误，编译器必须在整个生命周期内跟踪*a的内容。 虽然在您的示例中看起来很简单，但是更复杂的程序，例如，从用户输入读取数据的数据，会导致无法进行此类分析。