C语言静态变量未按初始化值生效，求排查方向

问题场景 #

代码如下：

static int _varA = 0;

void test(void)
{
    static u8 _varB = 0;
    u8 _varC = 0;
    printf("output=%d %d %d\n", _varA, _varB, _varC);
}

调用test()后输出结果为132 126 0，与预期的0 0 0不符。其他文件中的静态变量（全局或局部）工作正常，且这些变量名未在程序其他位置出现，无法提供最小复现示例。

常见排查方向 #

• 内存越界写入：这是最可能的原因。静态全局变量_varA和静态局部变量_varB存放在全局/静态存储区，自动变量_varC在栈上（值正常说明栈未被波及或破坏范围有限）。检查同文件或其他文件中是否存在数组越界、缓冲区溢出、指针非法解引用等操作，这些行为可能意外覆盖静态变量的内存区域。
• 链接脚本段配置错误：若为嵌入式环境，检查链接脚本中.data段（初始化静态变量的存储区域）的起始地址、大小配置是否正确，是否存在与其他内存段（如.bss、堆、栈）重叠的情况。
• 未初始化变量的间接污染：未初始化的全局/静态变量存放在.bss段，若链接器错误配置导致.data与.bss段重叠，或其他代码对.bss段的越界写入，可能波及.data段中的初始化静态变量。
• 硬件内存问题：嵌入式系统中可能存在RAM硬件故障、内存地址映射错误，导致静态存储区的内存被意外篡改。可尝试通过__attribute__将变量指定到其他内存段，或更换硬件验证。
• 编译器优化异常：极端优化选项（如-O2及以上）可能导致初始化逻辑被错误优化。尝试关闭所有优化（-O0）重新编译，观察问题是否消失。
• 调试符号错误：若通过调试器查看变量值，可能因调试符号错误导致地址匹配错误。可在代码中直接打印变量地址（如printf("&_varA=%p\n", &_varA);），检查对应地址的内存实际值。
• 并发操作干扰：若程序包含多线程或中断服务程序，可能存在未察觉的并发修改。检查线程、中断函数是否意外操作了这些变量的内存区域，或存在竞态条件。

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