GCC裸函数中使用栈局部变量的合规性疑问

背景与矛盾点 #

GCC官方文档明确强调：

应避免所有其他语句，包括局部变量声明、if语句等。

但某通用MCU厂商提供的带__attribute__ ((naked, section("after_vectors.reset")))属性的ResetISR裸函数，却直接违反了这条规定：

__attribute__ ((naked, section("after_vectors.reset")))
void ResetISR(void) {

   // ...  

    // Set timeout value
    *((volatile unsigned int *)0x40052008) = 0xFFFF;                 // OK, direct memory access
    // Now disable watchdog via control register
    volatile unsigned int *WDOG_CS = (unsigned int *) 0x40052000;    // OK, literal address
    *WDOG_CS = (*WDOG_CS & ~(1 << 7)) | (1 << 5);                    // literal doesn't need mem for ptr itself
#endif // (__USE_CMSIS)

    //
    // Copy the data sections from flash to SRAM.
    //
    unsigned int LoadAddr, ExeAddr, SectionLen;                      // <---- 疑问点
    unsigned int *SectionTableAddr;

    // Load base address of Global Section Table
    SectionTableAddr = &__data_section_table;

    // Copy the data sections from flash to SRAM.
    while (SectionTableAddr < &__data_section_table_end) {
        LoadAddr = *SectionTableAddr++;                              // 访问局部变量
        ExeAddr = *SectionTableAddr++;
        SectionLen = *SectionTableAddr++;
        data_init(LoadAddr, ExeAddr, SectionLen);
    }
}

结合看到的相关内容提到「此时栈已完全初始化」，存在以下疑问：

• 这些局部变量是否因为刚复位无内容可破坏而安全？
• 若无栈帧，它们的存储地址又在哪里？
• 这里遗漏了什么关键点？

解答 #

1. 栈的提前初始化是核心前提 #

MCU复位后，启动流程的第一步就是初始化栈指针（SP）——这一步一般在向量表之后、ResetISR执行前完成（比如通过汇编指令把SP设置到RAM的末端地址）。所以当ResetISR运行时，栈已经处于可用状态，局部变量可以正常分配到栈上。

GCC文档的警告是通用规则，但针对MCU启动场景有特殊例外：只要栈指针被提前正确设置，裸函数使用局部变量就是安全的。

2. 局部变量的存储位置 #

即使是naked函数，只要栈可用，GCC会把局部变量分配到栈上——naked属性只是让编译器跳过标准函数的栈帧建立/销毁汇编代码（prologue/epilogue），比如普通函数会生成的push rbp; mov rbp, rsp这类指令。但这不影响编译器生成访问栈上变量的指令，因为栈指针已经是合法有效的值。

你看到的代码里，这些局部变量就存在栈上，只是没有生成常规的栈帧初始化代码而已。

3. 为什么不会出现数据破坏问题？ #

复位后RAM里的初始内容是随机的，但这些局部变量都是被主动赋值后才被使用的：

• SectionTableAddr被赋值为全局表的地址&__data_section_table
• LoadAddr等变量是从全局表读取数据后赋值的

所以即使栈初始值混乱，只要先赋值再使用，就不会有问题。而且此时还没有其他代码使用栈，不存在栈数据被覆盖的风险。

4. GCC文档警告的本质 #

GCC的警告是针对所有naked函数的通用场景——比如有些裸函数是中断服务函数（可能在栈未初始化时触发），或者运行在无栈的特殊上下文。但MCU的ResetISR是系统启动后的第一个C函数，此时栈已经被提前初始化，属于合法的例外场景。

厂商这么写是基于对自家硬件启动流程的明确认知，利用了栈已就绪的前提，打破通用规则但完全符合实际的启动场景。

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