GCC 11无字符串操作时触发-Wstringop-overflow警告的原因与解决

• 这个警告是GCC 11.x版本的已知误报，-Wstringop-overflow警告虽然名字带stringop，但实际是GCC通用内存越界检查逻辑的一部分，并不只针对字符串操作，所以即使代码中没有字符串处理函数也可能触发。
• 触发的核心原因和x86_64架构的System V ABI规则有关：
  1. 当返回的结构体大小≤16字节（对应场景中结构体字段≤4个int，每个int占4字节）时，结构体通过寄存器直接返回，不会触发问题。
  2. 当结构体大小超过16字节（本场景中5个int共20字节）时，ABI规定调用方会先在栈上分配结构体的内存空间，把这段空间的指针作为隐藏的第一个参数传给被调用函数，被调用函数把返回值写入这段内存后再返回指针。
• GCC 11的过程间内存分析模块存在bug，在处理带隐藏返回值指针的函数时，错误地将隐藏参数的内存访问检查关联到了后续的显式参数上：代码中第一个显式参数in是指向单个int的指针，仅占4字节，分析器错误认为函数会读取该指针指向的16字节内存，报错时又误将参数序号标为第二个参数array，最终出现了完全不符合实际代码逻辑的警告。
• 该检查发生在函数内部数据流分析之前，所以分析器没有识别到func内部根本没有读取任何参数的逻辑，进一步导致了误报。
• g不会触发该警告的原因是C前端的参数元数据传递路径和C前端不同，没有命中这个bug的触发条件。

• 方法1：升级GCC版本
  这个误报bug已经在GCC 12及后续版本中被修复，直接升级编译器版本是最彻底的解决方案。
• 方法2：针对性关闭该警告
  如果需要继续使用GCC 11，可以仅对触发警告的函数关闭该警告，避免全局关闭带来的风险：

  __attribute__((__optimize__("-Wno-stringop-overflow")))
  struct example_t func(int *in, int array[ARRAY_SIZE]) {
    struct example_t out;
    return out;
  }
  

  或者编译时针对单个文件添加-Wno-stringop-overflow编译选项。
• 方法3：调整代码绕开bug
  可以删除函数中未使用的参数，或者将数组参数的声明修改为显式指针形式，也可以绕开该分析bug：

  // 把参数声明改写成显式指针，避免GCC做默认的数组大小假定
  struct example_t func(int *in, int *array) {
    struct example_t out;
    return out;
  }
  

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