为什么GCC在这个例子中没有发出警告

Question

与-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,可以在表达式评估期间的任何点评估后增量操作(逗号运算符和三元运算符除外).在我的后一个例子中,我没有递增指针,而是指向它指向的整数.所以,accordning该标准,它可以在任何点(这意味着它可以整体表达式求值之后被递增)递增,因此该程序可以打印两个1或2,是吗？

为什么海湾合作委员会没有发出任何警告？还是我错过了什么？我错误地理解了这些规格吗？

Answer 1

gcc的静态分析工具不能处理这种情况.

该表达式*(a + (*a)++ - x)对于gcc的静态分析来说太难了,因为在某些非常特定的情况下(即*a包含时)由于缺少序列点而导致未定义的行为x.这是在(*a)++ - x彼此"撤消" 时,所以整体表达相当于*a加上一些副作用.

为了使gcc代码分析能够发现此错误,编译器必须跟踪其*a整个生命周期内的内容.虽然在您的示例中看起来很简单,但是更复杂的程序,例如,a从用户输入读取数据的情况,会导致无法进行此类分析.