为何这段C缓冲区溢出测试代码可正常运行？咨询对应GCC版本

以下是测试用的C缓冲区溢出代码：

#include <stdio.h>

int main(int argc, char *argv[])
{
    int arr[5] = {1, 2, 3, 4, 5};
    arr[6] = 7; // 数组仅包含5个元素，此处访问越界
    
    printf("arr[6] = %d\n", arr[6]);

    return 0;
}

这段代码存在数组越界访问的问题，按C语言标准属于未定义行为——也就是说，任何版本的GCC都无法保证它能“正常运行”，程序的行为完全不可预测：可能输出预期值、可能返回未知结果、可能触发段错误，甚至可能出现更诡异的问题。

你提到过去编译时会弹出警告，运行时返回未知值或触发段错误，当前使用的GCC版本为：

gcc-13 (Homebrew GCC 13.2.0) 13.2.0
Copyright (C) 2023 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

且当前这段代码能正常运行，这并非是某个GCC版本开始“支持”这种越界行为，而是由以下原因导致的差异：

• 不同GCC版本的栈内存布局、优化策略存在差异。在当前版本的环境中，数组arr之后的栈内存恰好未存放程序运行的关键数据，越界写入arr[6]没有破坏程序的执行逻辑，所以看似“正常”；
• 旧版本的GCC可能默认开启了更严格的栈保护机制（如早期的-fstack-protector实现），或者栈布局导致越界访问直接触碰了受保护的内存区域，从而触发段错误；
• 关于编译警告：几乎所有GCC版本，只要开启-Wall -Wextra这类完整的警告选项，都会对数组越界操作发出明确警告（如“array subscript is above array bounds”）。过去能看到警告，可能是因为当时的编译环境默认开启了更高等级的警告，而当前环境默认警告等级较低。

总结来说：不存在某个特定的GCC版本“开始让这段代码正常运行”，未定义行为的结果始终是不可预测的，当前的正常运行只是特定环境下的巧合。若要避免这类问题，应当严格遵循数组访问的边界规则，或使用-fsanitize=address这类编译选项来检测缓冲区溢出问题。

内容的提问来源于stack exchange，提问作者Kwang-min Kim