为何ARM Cortex-M4的Contiki-NG进程中变量未分配为栈本地变量？

var_b被分配到栈帧外的原因 #

• 编译器优化行为：ARM Cortex-M4常用的GCC编译器在开启-O1及以上优化时，会对变量做激进处理：如果var_b被判定为未被实际读取、仅赋值无后续使用，或者可以用寄存器直接承载，编译器会跳过栈空间分配，直接将其放入寄存器甚至完全剔除。此时调试器无法在当前栈帧找到它，就会显示<outofscope>。
• Contiki-NG轻量级进程模型限制：Contiki-NG的protothreads（轻量级协程）基于状态机实现，为了避免协程切换时栈被覆盖，编译器可能会将protothread内的部分变量分配到进程控制块（PCB）的全局/专属静态存储区，而非当前调用栈的栈帧中。
• 存储修饰符影响：如果var_b被声明为static，或者使用了Contiki-NG的PROCESS_LOCAL宏，它会被分配到静态存储区或进程专属全局区域，自然不在栈帧内。

让var_b成为栈本地变量的方法 #

• 关闭编译器优化（调试场景）：在编译配置中添加-O0参数，同时加上-fno-eliminate-unused-debug-symbols，强制编译器保留所有变量的栈分配，禁止优化剔除操作。
• 确保变量被实际使用：在代码中对var_b添加实际的读取逻辑，比如将其值打印输出、赋值给另一个会被后续代码使用的变量，让编译器判定该变量是必要的，不会跳过栈分配。
• 移除特殊存储修饰：不要给var_b添加static、PROCESS_LOCAL这类修饰符，保持它为默认的自动局部变量（auto，可省略）。
• 使用编译器扩展强制栈分配：借助GCC的__attribute__((stack_variable))属性声明var_b，强制编译器将其分配到栈上，示例：

  int var_b __attribute__((stack_variable));
  

• 调整protothread代码结构：如果var_b在protothread函数内，确保它在当前执行分支内被定义和连续使用，避免跨状态分支的孤立定义，减少编译器将其转移到进程全局存储区的可能。

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