能否让GCC链接器在特定符号被纳入链接时触发错误？

问题描述 #

我希望禁止一组特定命名的符号被链接到可执行文件，以确保可执行文件不会携带不需要的功能和依赖。在我的具体场景中，这些符号来自ARM Cortex-M MCU上的libc_nano.a，但该需求也适用于通用计算机上的应用层代码。我未找到能在最终链接中包含指定符号时触发错误的链接器标志，请问是否有办法通过GCC链接器实现该需求？

解决方法 #

GCC配套的ld链接器提供了多种方式实现这个需求，可根据你的场景选择合适方案：

1. 用链接器脚本的ASSERT指令检测符号是否存在 #

这是最直接满足“只要符号被链接进可执行文件就报错”的方案。编写自定义链接器脚本，利用链接器内置的__symbol_not_present()函数检查指定符号，若存在则触发断言错误。

示例链接器脚本（命名为forbidden_symbols.ld）：

/* 保留原有链接逻辑，若已有自定义脚本，可将以下内容追加到末尾 */
SECTIONS {
    /* 此处可保留原有SECTIONS配置，若无则留空 */
}

/* 检查禁止的符号，存在则报错 */
ASSERT(ABSOLUTE(__symbol_not_present(printf)), "Forbidden symbol 'printf' is linked into the executable!");
ASSERT(ABSOLUTE(__symbol_not_present(malloc)), "Forbidden symbol 'malloc' is linked into the executable!");

编译时通过-T参数指定该脚本，与原有编译命令结合：

arm-none-eabi-gcc -o output.elf src/*.c -T forbidden_symbols.ld -lc_nano

__symbol_not_present(sym)会在符号sym未被链接时返回1，存在时返回0，因此ASSERT会在符号存在时触发链接错误，直接终止构建过程。

2. 用--undefined+--no-undefined禁止符号引用 #

如果需求是禁止代码主动引用特定符号（即只要代码调用了该符号就报错），可使用这两个链接器选项组合：

编译命令示例：

arm-none-eabi-gcc -o output.elf src/*.c -Wl,--undefined=printf,--no-undefined -lc_nano

--undefined=printf会强制将printf标记为未定义符号，--no-undefined要求链接器检查所有未定义符号，只要代码中引用了printf，链接器就会因找不到定义而报错。注意：如果该符号是被其他库函数间接引用（比如某个libc函数调用了printf），链接器会从libc_nano.a中找到定义，不会触发错误。

3. 用--wrap拦截符号引用 #

通过--wrap选项可将对目标符号的引用重定向到自定义包装函数，在包装函数中触发编译错误：

首先，编译时添加--wrap选项：

arm-none-eabi-gcc -o output.elf src/*.c -Wl,--wrap=printf -lc_nano

然后在代码中定义包装函数：

#include <stdio.h>

// 拦截对printf的引用
void __wrap_printf(const char *fmt, ...) {
    #error "Forbidden symbol 'printf' is being referenced!"
}

只要代码中直接或间接引用了printf，链接器会自动替换为__wrap_printf，编译时就会触发错误终止构建。

4. 移除静态库中的目标文件（针对libc_nano.a） #

如果禁止的符号集中在libc_nano.a的某个或某几个目标文件中，可直接从静态库中移除这些目标文件，从根源上避免符号被链接：

# 从libc_nano.a中移除包含printf的目标文件（假设为printf.o）
arm-none-eabi-ar d libc_nano.a printf.o

这个方法需要明确知道符号对应的目标文件，适合固定需求场景，但会修改库文件本身，灵活性较低。

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