为何不同GCC编译版本生成的局部数组长度存在差异？

近期在算法设计课程实验中编写了一个暴力破解函数，在实验室电脑上运行正常，但在家用台式机上编译后无法运行。反汇编后发现两者生成的局部数组长度不同：

• 实验室使用TDM-GCC 4.9.2（g++编译），生成的数组长度为12；
• 家用台式机使用MinGW GCC 6.3，生成的数组长度为5（与代码中#define SIZE 5一致）。

两台设备均为Windows 10系统，编译时无额外参数。已知代码中定义的数组长度不足（需SIZE+1=6以容纳终止符\0），现咨询为何不同GCC版本会出现数组长度扩展的差异？

原代码 #

#define SIZE 5

int bruteForce()
{
    /*
    char str[ENOUGH];
    sprintf(str, "%d", 42); 
    */
    
    for(int i = 0; i < 100000; i++)
    {
        char str[SIZE];
        sprintf(str, "%05d", i);
        printf("%s ", str);
        if(isValid(str) == 1)
        {
            
            return 1;
        }
    }
    return 0;
    
}

实验室TDM-GCC 4.9.2编译反汇编结果 #

undefined8 _Z10bruteForcev(void)

{
  bool bVar1;
  undefined7 extraout_var;
  char local_18 [12];
  uint local_c;
  
  local_c = 0;
  while( true ) {
    if (99999 < (int)local_c) {
      return 0;
    }
    sprintf(local_18,"%d",(ulonglong)local_c);
    bVar1 = _Z7isValidPc(local_18);
    if ((int)CONCAT71(extraout_var,bVar1) == 1) break;
    local_c = local_c + 1;
  }
  return 1;
}

家用台式机MinGW GCC 6.3编译反汇编结果 #

undefined4 _bruteForce(void)

{
  bool bVar1;
  undefined3 extraout_var;
  char local_16 [5];
  int local_10;
  
  local_10 = 0;
  while( true ) {
    if (99999 < local_10) {
      return 0;
    }
    _sprintf(local_16,"%05d",local_10);
    _printf("%s ",local_16);
    bVar1 = _isValid(local_16);
    if (CONCAT31(extraout_var,bVar1) == 1) break;
    local_10 = local_10 + 1;
  }
  return 1;
}

出现这种差异的核心原因是不同GCC版本在栈空间分配和优化策略上的变化，具体可拆解为以下几点：

• 栈对齐规则差异：不同版本GCC的栈帧对齐要求不同。TDM-GCC 4.9.2可能采用了更严格的对齐标准（比如16字节对齐），为满足对齐要求，编译器自动扩展了局部数组长度，将5字节的数组调整到12字节，意外抵消了缓冲区溢出问题，让实验室程序能正常运行。而GCC 6.3的对齐策略更紧凑，严格按代码定义分配5字节数组，没有额外扩展，导致sprintf写入5个字符加终止符\0时发生缓冲区溢出，破坏栈上数据，最终程序崩溃。

• 默认编译策略变化：即便未手动指定优化参数，不同GCC版本的默认优化等级或内部容错策略也可能调整。旧版本TDM-GCC 4.9.2可能默认启用了隐性的栈空间预留策略，自动给局部数组分配了冗余空间；而GCC 6.3更严格遵循代码语义，不再做这类容错处理，直接暴露了数组长度不足的错误。

• 危险函数处理逻辑调整：旧版本GCC对sprintf这类无缓冲区检查的危险函数，可能会做兼容性容错，为目标缓冲区额外预留空间；新版本GCC则更强调代码正确性，不再自动扩展缓冲区，以此倒逼开发者修正缓冲区溢出问题——你的代码中用%05d会生成5个字符，加上终止符共需6字节空间，SIZE=5的数组明显不足，这是明确的错误。

总结来说，实验室程序能运行只是旧版本编译器容错行为带来的巧合，代码本身存在缓冲区溢出问题，正确做法是将SIZE定义为6，确保有足够空间容纳终止符。

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