如何让GCC不为永不返回的MCU固件main函数创建栈帧？

我正在编写一款微控制器（MCU）固件，其中包含一个永不返回的main循环函数，该函数由reset_handler函数调用：

void
reset_handler()
{
    // 重定位数据段
    memcpy(&_data_vma, &_data_lma, (&_data_evma - &_data_vma) * sizeof(size_t));
    main();
}

由于main函数永不返回，为其创建栈帧只会浪费RAM空间（仅8字节，但仍有优化必要）。我曾考虑以下几种回收该空间的方法：

• 将函数标记为inline（需将函数定义放入头文件，体验不佳）；
• 为函数添加naked属性（会破坏main函数内部基于栈传参的函数调用）；
• 手动调整sp（感觉是不规范的hack手段）

但这些方法均弊大于利。请问是否存在更优的方法，可指示GCC不为特定函数创建栈帧？

解决方案：noreturn属性+优化等级 #

核心方法 #

给main函数添加__attribute__((noreturn))属性，同时编译时启用至少-O1的优化等级，GCC会自动省略调用main时的栈帧创建操作。

代码示例

修改main函数的定义：

__attribute__((noreturn)) void main(void) {
    // 永不返回的业务循环
    while (1) {
        // 你的固件逻辑
    }
}

原理说明 #

• noreturn属性明确告知GCC：该函数执行后不会返回调用者。
• 当reset_handler调用main后没有后续代码，结合优化等级，GCC会判断无需保存返回地址和创建栈帧，直接生成跳转指令而非带栈操作的调用指令，彻底节省这部分RAM空间。

验证方式 #

编译后查看汇编代码，reset_handler中调用main的部分会是类似ARM架构的bl main（无栈操作），而非包含栈指针调整、返回地址入栈的完整函数调用序列。

极端场景替代方案：修改链接脚本 #

如果上述方法无法满足需求，可通过调整链接脚本，将main的入口直接作为reset_handler的后续执行点，完全跳过函数调用的栈操作。但这种方法复杂度较高，仅在极致优化场景下考虑。

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