Cortex-M4平台gcc-arm-none-eabi编译时_init()执行异常咨询

核心问题根源 #

• 链接脚本段定义缺失：libc的_init()函数负责遍历.init_array段中的全局构造函数指针并调用，但你的链接脚本未正确定义.init_array段，导致链接器将函数指针错误地放置到了_init()的指令执行路径上，最终出现把内存地址（指针）当作指令执行的异常。
• 编译/链接标志不匹配：你使用了-nostdinc却未配套正确处理libc的启动依赖，默认libc启动代码需要标准段布局和启动文件的配合，缺失这些时，链接器会错误地混合代码段与数据段，破坏_init()的执行逻辑。

正确链接libc的修复方案 #

1. 修正链接脚本的段定义 #

在链接脚本中添加.init_array段的正确配置，确保全局构造函数指针被放置到指定区域：

/* 放在.text段之后，确保是可读写且按4字节对齐 */
.section .init_array,"aw"
.align 4
__init_array_start = .;
KEEP(*(.init_array))  /* 保留该段，防止被GC优化掉 */
__init_array_end = .;

_init()会通过__init_array_start和__init_array_end这两个符号遍历指针列表，没有这段定义，指针会被乱序放置，甚至混入代码段。

2. 调整编译与链接标志 #

• 移除-nostdinc（除非你手动维护了所有标准头文件），改用gcc-arm-none-eabi自带的标准库头文件路径，确保libc的头文件能被正确找到。
• 链接时明确指定libc、数学库，并添加段GC选项，示例链接标志：

-Wl,--gc-sections -lc -lm -mcpu=cortex-m4 -mthumb

如果需要精简版libc，可追加--specs=nano.specs。

• 确保链接正确的Cortex-M4启动文件（如startup_stm32f4xx.s这类对应芯片的启动代码），启动文件会初始化栈、设置中断向量表，为libc的启动提供正确的运行环境。

3. 验证_init()的执行逻辑 #

反汇编检查_init()的代码，正常的_init()应该是遍历.init_array指针并调用，示例正确汇编逻辑：

_init:
    push {r4, lr}
    ldr r4, =__init_array_start
    ldr r0, =__init_array_end
    cmp r4, r0
    beq .Linit_done
.Linit_loop:
    ldr r3, [r4], #4
    blx r3
    cmp r4, r0
    bne .Linit_loop
.Linit_done:
    pop {r4, pc}

如果你的_init()不是这个逻辑，说明链接了错误的启动代码，或者libc的初始化模块被破坏。

为什么-nostartfiles能临时解决问题 #

添加-nostartfiles后，链接器会跳过默认的libc启动代码（包括系统提供的_init()），你自行实现的_init()不会去遍历.init_array或执行错误的指令，相当于绕开了libc的初始化逻辑，但这只是临时规避，并非正确的libc集成方案。

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