裸机Cortex-M7环境下GCC仅生成unwind tables的实现方案问询

问题描述 #

基于搭载Cortex-M7内核的STM32H743 MCU开发项目，使用gcc-arm-none-eabi 13.2 Rel 1构建，项目仅包含C和汇编代码，仅依赖libgcc、无其他外部库及异常处理。为在调试断言框架中实现基础调用栈展开，添加-funwind-tables参数后编译报错；添加--specs=nosys.specs参数后编译通过，但出现大量未实现函数的警告，且生成的ELF文件中包含大量非项目自有符号。需求是仅让GCC生成.ARM.exidx和.ARM.extab表，不引入任何额外代码。

当前编译命令：

arm-none-eabi-gcc -Wall -g3 -Wextra -Wpedantic -O0 -MMD \
-ffunction-sections -fdata-sections -Isrc/include -mcpu=cortex-m7 \
-mfloat-abi=hard -mfpu=fpv5-d16 -mthumb -fno-exceptions \
-ffreestanding -nodefaultlibs -nostartfiles -fno-builtin \
-funwind-tables -fno-asynchronous-unwind-tables \
-fno-omit-frame-pointer --specs=nosys.specs -lnosys <sourcefile>

当前链接命令：

arm-none-eabi-gcc -Os -Wl,--gc-sections,--relax -mcpu=cortex-m7 \
-mfloat-abi=hard -mfpu=fpv5-d16 -mthumb \
-Tsrc/devices/stm32h7xx/stm32h743.ld -funwind-tables \
-fno-exceptions -fno-asynchronous-unwind-tables \
--specs=nosys.specs -lnosys -ffreestanding <objfiles>

解决方案 #

核心修改：移除nosys相关参数 #

--specs=nosys.specs和-lnosys是引入额外符号的根本原因，nosys库会提供一系列系统调用的空实现，正是这些导致了非项目自有符号和未实现警告。直接移除这两个参数，同时调整编译和链接参数组合：

修改后的编译命令

arm-none-eabi-gcc -Wall -g3 -Wextra -Wpedantic -O0 -MMD \
-ffunction-sections -fdata-sections -Isrc/include -mcpu=cortex-m7 \
-mfloat-abi=hard -mfpu=fpv5-d16 -mthumb -fno-exceptions \
-ffreestanding -nodefaultlibs -nostartfiles -fno-builtin \
-funwind-tables -fno-asynchronous-unwind-tables \
-fno-omit-frame-pointer <sourcefile>

修改后的链接命令

arm-none-eabi-gcc -Os -Wl,--gc-sections,--relax -mcpu=cortex-m7 \
-mfloat-abi=hard -mfpu=fpv5-d16 -mthumb \
-Tsrc/devices/stm32h7xx/stm32h743.ld -funwind-tables \
-fno-exceptions -fno-asynchronous-unwind-tables \
-ffreestanding -nodefaultlibs -nostartfiles -lgcc <objfiles>

参数说明与关键细节 #

1. 保留核心unwind参数：

   • -funwind-tables：强制生成.ARM.exidx和.ARM.extab unwind表，是实现调用栈展开的核心。
   • -fno-asynchronous-unwind-tables：禁用异步unwind表（针对SEH等场景，嵌入式环境无需），避免冗余。
   • -fno-omit-frame-pointer：保留帧指针，配合unwind表提升调用栈回溯的可靠性。
   • -ffreestanding：告知GCC当前为独立运行环境，不依赖标准库。
   • -nodefaultlibs -nostartfiles：禁止链接默认库和启动文件，确保仅包含项目代码与必要依赖。

2. 显式链接libgcc：
   添加-lgcc参数，因为-funwind-tables生成的unwind表依赖libgcc中的少量占位函数（如__aeabi_unwind_cpp_pr0），用于符号解析，这部分代码体积极小且无冗余逻辑。

3. 解决编译/链接报错：
   移除nosys后若出现未定义符号报错，需检查：

   • 自定义启动文件、系统初始化代码是否完整实现了项目所需的基础功能。
   • 链接脚本是否正确定义了内存布局和入口点。

4. 清理冗余符号：
   保留-ffunction-sections -fdata-sections和链接时的--gc-sections，GCC会自动清理未使用的代码与符号，确保最终ELF仅包含项目自有代码和必要的unwind表相关内容。

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