GCC11参数顺序触发Wstringop-overflow误告警是否为编译器bug

问题分析 #

这是GCC 11.x版本的已知静态分析误报bug，属于-Wstringop-overflow检查的边界判断缺陷，该问题在GCC 12及之后版本已经被官方修复，因此只有GCC 11编译时会触发告警，Clang或其他版本GCC均无该问题。
误报触发和函数参数顺序、结构体成员布局的内存对齐分析逻辑出错有关：GCC 11的静态分析器错误将第一个指针参数的长度，当成了第二个数组参数的可访问长度，才会报出「访问8字节区域但只有4字节可用」的错误。 #

解决方法 #

可根据业务场景选择以下任意一种方案：

• 方案1：针对误报位置关闭特定告警（兼容性最好，改造成本最低）
  不需要修改任何业务调用逻辑，仅在test_bug函数定义前后添加编译控制指令，单独关闭该函数的-Wstringop-overflow告警即可：

#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wstringop-overflow"
test_struct test_bug(uint32_t *queue_info_count, const char *ext_names[]){
  test_struct retval = (test_struct){ .type = 0,};
  printf("test_bug %s\n",ext_names[*queue_info_count]);
  return retval;
}
#pragma GCC diagnostic pop

该方案完全不影响业务功能，非常适配你当前test_bug被调用数百次的场景。

• 方案2：调整函数参数顺序
  和复现代码中的test_no_bug逻辑一致，将数组参数放在第一个位置，指针参数放在第二个位置即可避开误报。但该方案需要修改所有test_bug的调用位置，仅适合调用量小的场景。
• 方案3：升级编译器版本
  直接升级到GCC 12及以上版本，该bug已被官方修复，编译时不会再触发误报，是最根本的解决方法，适合业务允许升级编译器的场景。

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