为何未被引用的C++基础函数无法被优化移除？

测试代码 #

#include <stdio.h>

extern "C"
{
    void p4nenc256v32();
    void p4ndec256v32();
}

void bigFunctionTest()
{
    p4nenc256v32();
    p4ndec256v32();
}

int main()
{
    printf("hello\n");
}

问题背景 #

p4nenc256v32与p4ndec256v32函数代码量约1.5MB：

• VS2022情况：Release模式默认启用/Gy（将函数编译为独立COMDAT节）和/OPT:REF（移除未引用节），但保留未被调用的bigFunctionTest时，最终二进制大小为1.5MB；注释该函数后，二进制缩小1.4MB，说明bigFunctionTest及其调用的两个函数未被移除。
• GCC情况：使用mingw64（gcc 12.2）并添加-fdata-sections -ffunction-sections -Wl,--gc-sections参数，添加bigFunctionTest后exe增大5.2MB，两个编译器均未移除这些未引用函数。

核心技术原因分析 #

1. 全局可见符号的链接器默认逻辑 #

bigFunctionTest是全局可见的非static函数，链接器默认会假设这类符号可能被外部模块（如动态链接库）调用，因此不会将其标记为可移除的未引用符号：

• MSVC的/OPT:REF仅会移除内部链接（static）的未引用COMDAT节，对于外部可见的全局符号，除非显式告知链接器该符号不会被外部使用，否则会保留该函数，进而连带保留它所引用的第三方函数。
• GCC的--gc-sections同样默认不会移除外部可见的全局符号，因为链接器无法确定这些符号是否会被外部代码动态引用（如通过dlsym）。只有当函数被标记为static或使用-fvisibility=hidden隐藏符号可见性时，链接器才会将其视为仅内部可用，未被引用时会被移除。

2. 链接器垃圾回收的依赖追踪限制 #

• 如果p4nenc256v32和p4ndec256v32的实现未使用对应编译器的节拆分选项（MSVC的/Gy、GCC的-ffunction-sections），它们会和其他符号被打包在同一个目标文件节中。只要bigFunctionTest引用了该节中的任意符号，整个节都会被保留，无法单独移除未被引用的函数。
• 链接器无法完全证明函数无副作用：如果函数存在修改全局变量、调用系统API、或包含汇编代码等行为，链接器会默认保留这些函数，避免破坏程序潜在的运行逻辑。

3. 第三方函数的特殊属性 #

如果p4nenc256v32和p4ndec256v32的实现被标记了强制保留属性（如MSVC的__declspec(used)、GCC的__attribute__((used))），链接器会无视引用情况强制保留这些函数，无论是否被调用。

验证方案 #

• 将bigFunctionTest改为static void bigFunctionTest()，使其变为内部链接符号，再重新编译，链接器应该会移除该函数及其引用的两个第三方函数。
• 对于MSVC，尝试添加链接器选项/OPT:REF /OPT:ICF并确保所有依赖的目标文件都使用/Gy编译，观察是否能移除未引用的全局符号。
• 对于GCC，添加-fvisibility=hidden选项隐藏全局符号可见性，或使用static修饰bigFunctionTest，配合--gc-sections即可触发垃圾回收。

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