ARM Cortex-M0添加静态库函数后.tool_sec段异常增大求助

• 检查链接脚本的段对齐规则
  Cortex-M0的代码/数据段通常要求4字节对齐，但链接器可能因特定段属性或对象文件要求，自动应用更高的对齐标准（如8/16字节）。查看链接脚本中.tool_sec、.text以及.newaddfunc的ALIGN()配置，确认是否因为新函数的加入，导致链接器为满足对齐要求，在ARRAY_B与FUNCTION_A之间插入了填充字节。可尝试在.tool_sec的段定义中显式指定ALIGN(4)，再对比结果。

• 分析静态库中新增函数的隐式依赖
  即便新函数被归入.text，它仍可能隐式调用tools_static.a内部的辅助符号（如编译器生成的匿名函数、全局变量、异常处理代码）。用arm-none-eabi-nm -C tools_static.a对比新增函数前后的库符号列表，或用arm-none-eabi-objdump -d tools_static.a查看新函数的汇编代码，确认是否存在未导出的依赖符号被自动加入.tool_sec。

• 生成并分析链接映射文件
  编译时添加-Wl,-Map=output.map参数生成映射文件，对比新增函数前后的.tool_sec段细节：

  • 定位ARRAY_B与FUNCTION_A之间的地址区间，查看该区域对应的输入段或源对象文件
  • 检查.tool_sec总大小的变化来源，确认是否有额外输入段被意外包含
    映射文件会详细记录段的组成结构，比objdump更易定位未知代码的来源。

• 验证链接脚本的段匹配规则
  检查.tool_sec的输入段匹配语句，确认是否误包含了其他段。例如原本仅需匹配tools_static.a的.text和.rodata，但链接脚本规则可能意外纳入了编译器生成的.ARM.exidx、.ARM.extab等异常处理段——新增函数可能触发了这类代码的生成，进而被归入.tool_sec。示例检查链接脚本中的相关配置：

  .tool_sec : {
    *tools_static.a(.text .rodata)
  }
  

• 对比新增函数前后的目标文件差异
  用arm-none-eabi-objdump -h分别查看新增函数前后的tools_static.a目标文件，检查是否有额外段被添加；或用二进制对比工具，对比ARRAY_B所在目标文件的变化，确认是否因新函数的引入，编译器生成了额外填充或辅助代码。

• 检查编译器优化与段属性设置
  确认新增函数的段属性是否正确：用arm-none-eabi-objdump -h查看编译后的目标文件，验证.newaddfunc段的属性（是否为只读代码段）。同时检查tools_static.a的编译优化选项（如-O2/-Os），新增函数可能触发编译器生成栈保护、边界检查等额外代码，这些代码可能被默认归入.tool_sec。

内容的提问来源于stack exchange，提问作者charlie-xue