更改优化级别时，std::valarray 的求和结果不同

Question

我有这段代码总结了std::valarray<int>的：

#include <iostream>
#include <valarray>
#include <vector>

int main()
{
    std::vector<std::valarray<int>> vectorOfValarrays{{1, 1}, {2, 2}, {3, 3}};
    std::valarray<int> sumOfValarrays(2);
    for (const auto& i : vectorOfValarrays)
      sumOfValarrays = sumOfValarrays + i;

    std::cout << sumOfValarrays[0] << ' ' << sumOfValarrays[1];
}

使用-O0和-O1使用x86-64 gcc 12.2进行编译，它会打印预期结果：

6 6

但是当使用-O2和-O3编译时，它会打印：

3 3

这可能是什么原因？ 我的代码是未定义行为还是 gcc 错误？

Answer 1

我很确定这是一个 gcc 错误。 Clang 给出所有优化级别（ -O0 、 -O1 、 -02 、 -O3 ）的正确行为。 我还查看了std::valarray constructors 、 operator +和operator = ，看起来我的代码没有任何未定义的行为。

我在 gcc Bugzilla 上发现了这个错误报告，问题似乎是 gcc 有错误的复制std::valarray实现，所以在问题行sumOfValarrays = sumOfValarrays + i; 使 gcc 绊倒。