GCC如何识别free函数语义实现优化？含代码场景疑问

先看你给出的代码：

if (apb) {
    if (apb->amp) {
        free(apb->amp);
        apb->amp = NULL;
    }
    free(apb);
}

你已经发现，开启-O1及以上优化时，apb->amp = NULL会被-ftree-dse（死存储消除）优化掉，但移除free(apb)后这个赋值会保留。核心原因和编译器对free的语义认知直接相关，下面拆解问题：

编译器怎么知晓free的语义？ #

编译器对标准库中的核心函数不是靠分析函数实现代码来理解语义的，而是通过内置的规则或属性标记硬编码了这些函数的行为：

• GCC等编译器会把free标记为具有“释放内存后，原指针指向的内存区域不可再合法访问”的语义。也就是说，编译器明确知道：调用free(apb)之后，apb指向的结构体内存就变成了无效内存，任何对该内存的读写操作都是未定义行为。
• 回到你的代码，apb->amp = NULL是对结构体成员的赋值，但紧接着的free(apb)让这块内存彻底失效——编译器判断，这个赋值之后，没有任何合法的代码会再读取apb->amp的值（因为读取无效内存是未定义行为，编译器默认程序不会做这种事），所以这个赋值操作属于“死存储”，被-ftree-dse直接删除。
• 而如果移除free(apb)，编译器会默认后续代码可能会合法访问apb->amp，所以这个赋值操作有用，不会被优化。

编译器还能识别哪些函数的语义做优化？ #

除了free，编译器对大量标准库函数都有内置语义识别，常见的包括：

• 内存分配类：malloc、calloc、realloc。编译器知道它们返回新分配的内存指针，calloc会把内存清零，realloc可能移动内存位置，基于这些语义可以做冗余分配消除、内存初始化优化等。
• 字符串/内存操作类：strlen、strcpy、memcpy、memset。比如strlen("abc")会被编译器在编译期直接替换为3；memset会被替换为更高效的硬件指令，或者在某些场景下消除冗余的内存填充。
• 程序控制类：exit、abort。编译器知道这些函数不会返回，所以会优化掉调用之后的所有代码（因为永远不会执行）。
• 标准IO类：printf、scanf。编译器会检查格式字符串和参数类型是否匹配，甚至对一些常量格式的printf直接在编译期计算输出结果，减少运行时开销。

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