ARM-none-eabi链接器引用未使用符号问题求助

问题根源 #

自行实现__assert_func()后仍出现_write/_close等未实现警告，本质是链接器在符号解析阶段仍认为这些符号被依赖，即使最终ELF中无冗余代码。可能的诱因包括：

• 自定义__assert_func()原型不匹配，导致链接器仍尝试关联libc版本的依赖
• --specs选项顺序不正确，nosys的桩函数未优先生效
• 存在隐式符号引用（如NXP库中的弱引用）

具体解决步骤 #

1. 严格匹配__assert_func()的函数原型
   确保自定义实现完全符合标准原型，避免链接器误判：

   void __assert_func(const char *file, int line, const char *func, const char *expr)
   {
       // 仅做裸机环境下的断言处理（如触发硬件中断、死循环），禁止调用任何libc IO函数
       while(1);
   }
   

   实现中绝对不能调用printf、fputs等依赖IO的函数，否则会重新引入_write等符号依赖。

2. 调整--specs选项的顺序
   将--specs=nosys.specs放在--specs=nano.specs之后，确保nosys提供的空桩函数覆盖nano libc的符号需求：

   add_link_options(-mfloat-abi=soft -mcpu=${MCPU} -mthumb -mthumb-interwork --specs=nano.specs --specs=nosys.specs -o ${PROJECT_NAME}.elf)
   

   链接器会按顺序加载specs，后加载的nosys会为未实现的系统调用提供空桩，消除警告。

3. 通过映射文件定位隐式引用
   查看生成的.map文件，搜索警告中的符号（如_write），找到引用来源：

   grep -n "_write" ${PROJECT_BINARY_DIR}/${PROJECT_NAME}.map
   

   如果发现是NXP库中的弱引用，可通过链接选项-Wl,--weak-unresolved-symbols=ignore忽略弱引用的未定义警告（仅确认这些符号不会被实际调用时使用）。

4. 手动添加最小桩函数（可选）
   如果上述方法无效，可添加仅满足链接要求的空桩，且-gc-sections会在未被调用时自动剔除这些代码：

   // 在项目中新增assert_stubs.c文件
   int _write(int fd, const void *ptr, int len) { (void)fd; (void)ptr; (void)len; return 0; }
   int _close(int fd) { (void)fd; return 0; }
   int _lseek(int fd, int pos, int dir) { (void)fd; (void)pos; (void)dir; return 0; }
   int _read(int fd, void *ptr, int len) { (void)fd; (void)ptr; (void)len; return 0; }
   

   编译该文件并加入项目，链接器会找到这些符号，不再抛出警告。

验证方法 #

编译后用objdump -x ${PROJECT_NAME}.elf | grep -E "_write|_close"检查符号状态，若桩函数未被调用，-gc-sections会将其从最终可执行文件中移除，符合项目无死代码的要求。

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