GCC空指针检查与未定义行为：为何两种解引用代码优化结果不同？

问题说明 #

以下代码存在未定义行为（UB），根据GCC文档的规则，编译器可假设被解引用的指针不为空，因此理论上选项<1>和<2>应该生成完全相同的机器码：

int test(int* p) {
//  *p; // <1> 启用该行时，后续if判断未被优化移除
  *p++; // <2> 启用该行时，后续if判断被优化移除
  if (p)
    return 42;
  return *p;
}

但实际测试中，启用<1>时后续的if(p)并未被优化掉，启用<2>时该判断却被编译器移除，二者的差异根源如下：

核心原因 #

两个解引用操作的性质不同，导致编译器的优化逻辑走向完全不同：

• 针对<1>的*p;：
  这是一个仅读取*p值但未使用该值的无意义操作。GCC在优化阶段会直接删除这个无效语句，相当于这段代码从未存在过。没有了解引用操作的触发，编译器无法应用“指针p非空”的假设，因此后续的if(p)判断必须保留——因为编译器无法确定p是否为空。

• 针对<2>的*p++;：
  这个操作等价于*(p++)，包含两个关键行为：首先对原指针p进行解引用，其次将p自增（修改了p的取值）。由于该语句修改了变量p，编译器无法将其作为无效代码删除，必须处理解引用逻辑。
  此时编译器会依据规则推断原指针p非空；同时，针对自增后的新p值，编译器会做两层推断：

  1. 在主流体系结构中，空指针（通常为0）加上sizeof(int)后不可能再是空指针；
  2. 空指针的算术运算本身属于未定义行为，编译器可假设程序不会进入这种UB场景。
     基于以上两点，编译器可以确定自增后的p一定非空，因此后续的if(p)判断失去意义，被直接优化移除。

内容的提问来源于stack exchange，提问作者wimalopaan