g++ 10.3.0编译代码报越界警告是误报还是实际存在代码问题？

这是GCC 10.x版本的静态分析误报，你的代码逻辑不存在bug，也没有实际的越界访问风险。

原因说明 #

你的代码已经通过boost::clamp将m_num_lines的上限限制为demo::array_size(theA->m_lines)也就是6，所以循环变量i的取值范围只会是0~5，刚好落在m_lines[6][201]的合法下标范围内，不会访问数组外的空间。
GCC 10的-Warray-bounds和-Wstringop-overflow检查在处理多维数组传入模板函数的场景时，静态分析逻辑存在缺陷，无法识别上层的范围限制规则，错误推断代码可能会访问m_lines数组第6个及之后的元素，因此抛出了错误警告。Clang和MSVC的静态分析逻辑不存在这个缺陷，所以不会抛出同类警告。

解决方案 #

• 优先选择升级GCC到11及以上版本，该误报问题已经被官方修复
• 如果必须保留GCC 10编译环境，可以针对触发警告的代码段临时屏蔽对应警告：

#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Warray-bounds"
#pragma GCC diagnostic ignored "-Wstringop-overflow"
for (auto i = 0; i < theA->m_num_lines; i++) {
    demo::StrCpy(theA->m_lines[i], lines[i]);
}
#pragma GCC diagnostic pop

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