GCC使用--gc-sections链接时的函数内联机制与死代码检测误报问题

该现象是编译器优化与链接器段垃圾回收（GC）共同作用的正常结果，不属于功能层面的误报：

1. 编译使用-O2优化等级时，GCC处理mylib.c过程中判定plusone函数体量极短，直接将myadd中对plusone的调用做内联展开。结合后续代码逻辑c -1 +b，编译器进一步执行常量折叠优化：c = plusone(a) = a+1，代入计算后得到a+1-1 +b = a+b，最终myadd生成的汇编代码中已不存在调用plusone的指令，直接实现两数相加的逻辑。
2. 由于plusone是未加static修饰的全局函数，按照C语言链接可见性规则，GCC必须为其生成独立的、可供其他编译单元调用的函数实体，存放在单独的.text.plusone段中，即便当前编译单元内的所有调用都已完成内联。
3. 链接器执行--gc-sections的判定逻辑非常直接：从程序入口（_start，最终会跳转至main）出发，遍历所有段的重定位引用关系，所有能被遍历到的段标记为有效，剩余未标记段判定为未使用直接移除。整个程序中没有任何指令（包括myadd实现、main实现）生成指向.text.plusone段的引用，因此该段会被判定为未使用回收。

注意：被移除的仅为plusone的独立可链接副本，plusone的计算逻辑已经内联到myadd的代码段中，最终生成的程序运行结果完全正确，不存在功能异常。

该猜测完全正确。GCC对全局非静态函数的默认处理逻辑为：只要函数未被声明为静态，无论内部调用是否已完成内联，都会生成独立函数副本以支持外部链接，该副本无任何引用时就会被链接器回收。

要减少这类假阳性结果，提升未使用代码识别准确率，可按以下方式调整检测配置：

• 开展未使用代码专项检测时，使用-O0等级编译。-O0等级下GCC默认关闭所有函数内联、高级死代码消除类优化，所有源码层面的函数调用都会生成对应的call指令与重定位项，此时链接器回收的函数段基本与源码层面完全未被调用的函数对应。
• 若需要保留其他优化选项、贴近正式发布的编译配置，可在编译时增加-fno-inline选项，单独关闭函数内联逻辑，避免函数调用被展开后破坏源码层面的引用关系。
• 编码规范层面强制要求：仅在当前文件内使用的函数必须加static修饰。被static修饰的函数仅在当前编译单元可见，GCC在编译阶段即可直接识别未被调用的静态函数，通过-Wunused-function警告直接提示，无需等到链接阶段处理，也不会生成多余的对外符号，可大幅降低检测误判率。
• 结合编译器静态警告做交叉校验。编译时增加-Wunused-function、-Wunused-variable选项，这类警告是编译器在源码层面对代码做静态分析的结果，与链接器段GC的结果对照排查，可快速过滤优化带来的假阳性提示。
• 输出日志中提到的Scrt1.o（C运行时启动文件）内的段被回收属于正常现象，是启动代码中适配不同程序类型的可选逻辑段，无需关注。

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