为何__attribute__((naked))修饰的C代码无法正常运行？ARM Cortex问题

核心问题：错误使用__attribute__((naked))属性 #

__attribute__((naked))是ARM GCC为C函数提供的特殊属性，它会告知编译器不要自动生成函数的序言（prologue）和尾声（epilogue）代码——也就是不会帮你完成寄存器压栈、栈帧初始化、寄存器恢复、函数返回这些操作，所有上下文管理必须由开发者手动通过汇编实现。

你的两个问题本质都是违反了该属性的使用规则：

1. SysTick_Handler看似未触发的原因 #

你在带naked属性的SysTick_Handler中直接调用了C函数tick_increment()，但：

• C函数的执行依赖编译器自动维护的栈帧和寄存器状态，而naked函数没有这些基础环境，调用C函数会直接破坏Cortex-M的寄存器上下文（比如R0-R3、R12等调用者保存寄存器）。
• 中断服务函数需要正确保存和恢复寄存器才能正常完成中断返回，你未手动处理这些步骤，导致Handler执行到tick_increment()后就发生崩溃，根本无法完成中断返回流程，所以看起来像是CVR归0时Handler未触发（实际是触发后执行异常，未留下有效运行痕迹）。

2. 上下文切换函数x未执行的原因 #

同理：带naked属性的函数x中调用了f()，但你未手动保存x执行所需的寄存器和栈环境，调用f()后寄存器被破坏、返回地址可能丢失，导致x的执行流程彻底混乱，自然无法完成上下文切换。

正确的使用方式 #

__attribute__((naked))并非不能用，但必须严格遵守使用规则：

情况1：不需要自定义汇编的中断/函数——不要用naked #

如果只是普通的中断处理（比如仅调用tick_increment()，不需要手动上下文切换），直接去掉naked属性，让编译器自动处理寄存器保存和恢复：

void SysTick_Handler(void){
    tick_increment();
    // 若需上下文切换，可在此调用封装好的非naked切换函数
}

情况2：必须用naked实现自定义逻辑——手动用汇编包裹C函数调用 #

如果要在naked函数中调用C函数，必须手动通过汇编完成寄存器保存、栈帧维护，调用后再恢复寄存器，最后正确返回。比如修正后的SysTick_Handler：

__attribute__((naked)) void SysTick_Handler(void){
    __asm volatile (
        // 将Cortex-M中断需保留的寄存器压入栈
        "PUSH {R0-R3, R12, LR} \n"
        // 调用C函数（BL指令会自动将返回地址存入LR）
        "BL tick_increment     \n"
        // 恢复之前保存的寄存器
        "POP {R0-R3, R12, LR}  \n"
        // 在此添加你的上下文切换汇编代码
        // 中断返回（Cortex-M架构下用BX LR即可，硬件会自动恢复PSR等状态）
        "BX LR                 \n"
    );
}

上下文切换函数x也需要遵循同样逻辑：调用f()前手动保存寄存器，调用后恢复，再执行切换逻辑。

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