使用-O编译选项时g++报stringop-overflow错误的原因咨询

问题场景 #

以下C++代码在使用-Ofast -Werror编译时会失败：

#include <vector>

using A = std::vector<size_t>;
A foo(const A& a)
{
    if (a.size() < 2)
        return a;
    return {};
}

int main()
{
    A obj;
    foo(obj);
}

编译时触发的错误信息：

/opt/compiler-explorer/arm/gcc-trunk-20240202/arm-unknown-linux-gnueabihf/arm-unknown-linux-gnueabihf/include/c++/14.0.1/bits/stl_algobase.h:438:30: error: 'void* __builtin_memmove(void*, const void*, unsigned int)' 向大小为4的区域写入5到2147483647字节的数据，目标缓冲区溢出 [-Werror=stringop-overflow=]
  438 |             __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
      |             ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

原因分析 #

这是GCC在-Ofast等激进优化模式下的误报问题。当编译器处理return a;这个vector拷贝操作时，虽然代码里已经通过a.size() < 2限制了原vector的元素数量为0或1，但-Ofast的优化逻辑错误地计算了memmove的操作字节数，导致它认为写入的字节数超过了目标缓冲区的大小，进而触发-Wstringop-overflow警告；而-Werror会将所有警告转为错误，最终导致编译失败。

解决方法 #

• 临时禁用该警告：可以在代码开头添加#pragma GCC diagnostic ignored "-Wstringop-overflow"，或者在编译时追加-Wno-stringop-overflow参数
• 修改代码写法：将return a;改为return A(a);，显式构造新的vector，帮助编译器正确识别拷贝的内存大小，避免误判
• 升级GCC版本：这个误报问题在GCC 14及以上版本中已经被修复，升级编译器即可解决

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