编译器，库或用户错误？ eigen ::数组，gcc 12.1，“数组下标[...]部分是在数组范围的外部。

Question

更新到GCC 12.1后，我在我的项目中得到了array subscript'__ m256d_u [0]'部分是外部阵列bunds error（或更确切地说是用werror）在我的项目中，所以我尝试隔离这个问题。

这是MWE，我还将其放在 godbolt （vector类型是__ m512d_u） ，但否则是相同的错误）：

#include <Eigen/Dense>
#include <iostream>

using Eigen::Array;

Array<double, 3, 2> foo(){

    Array<double, 2, 2> a;
    a.setRandom();

    Array<double, 3, 2> b;
    b.col(0).tail(2) = a.col(1);
    // b.col(0).template tail<2>() = a.col(1);

    return b;
}

int main(){
    std::cout << foo() << '\n';
    return 0;
}

相关的编译选项是-wall -wextra -werror -o3 -march =本机，错误消息注释注意：在Offset [16，24]中，大小为32的对象'a'。

在以下情况下，该错误不会发生：

• 时，在GCC 11.3或以上，
• 在使用-march =本机
• 使用-O1或以下
• 时，替换行b。 。 a.col（1）;，

因此GCC看来看到了3x2数组和2x2数组，并且没有意识到每个条目都只能访问两个条目。

我现在的问题是：应该向谁报告？海湾合作委员会，特征？还是用户错误？

告诉我错误注释（Offset [16，24]）中的24的奖励积分。 16是开始吗，24读取大小吗？

编辑：可以通过使用array3d和array2d来进一步简化示例>在这里。