GCC 3.4.3 中的 vector::push_back 错误？

Question

使用 GCC 为 ARM 构建时，以下代码会崩溃：

#include <vector>

using namespace std;

void foo(vector<bool>& bools) {
    bools.push_back(true);
}

int main(int argc, char** argv) {

    vector<bool> bools;
    bool b = false;
    bools.push_back(b);
}

我的编译器是：arm_v5t_le-gcc (GCC) 3.4.3 (MontaVista 3.4.3-25.0.30.0501131 2005-07-23)。为调试而构建时不会发生崩溃，但在优化设置为 -O2 时会发生崩溃。

是的，需要 foo 函数来重现该问题。起初这非常令人困惑，但我发现只有当 Push_back 调用未内联时才会发生崩溃。如果 GCC 注意到 push_back 方法被多次调用，它不会在每个位置内联它。例如，我还可以通过在 main 内部调用两次 Push_back 来重现崩溃。如果你将 foo 设为静态，那么 gcc 会告诉它从未被调用，并将对其进行优化，导致 push_back 内联到 main 中，从而导致崩溃不会发生。

我已经在 x86 上使用 gcc 4.3.3 尝试过此操作，看来该版本的问题已得到解决。

所以，我的问题是：

还有其他人遇到过这个吗？也许我可以传入一些编译器标志来阻止它。

这是 gcc 代码生成的错误，还是 stl 实现 (bits/stl_bvector.h) 中的错误？ （我打算有空的时候自己测试一下）

如果是编译器的问题，是升级到 4.3.3 来修复它，还是从arm切换到x86？

顺便说一句，大多数其他 vector 方法似乎都可以工作。是的，我知道使用 vector 并不是世界上最好的选择。

Answer 1

您可以使用 gcc 3.4.6 和 Montavista 的补丁构建自己的工具链吗？ 3.4.6 是 3.x 系列的最后一个版本。

如果您愿意，我可以附加一些有关如何从 GCC 源代码构建 ARM 交叉编译器的说明。我必须一直这样做，因为没有人为 Mac OS X 预先构建工具链。

如果这在 gcc 4.x 中的 ARM 中被破坏，我会感到非常惊讶。但唯一的测试方法是您或其他人是否可以在面向 ARM 的 gcc 4.x 上尝试此操作。

Answer 2

升级到 GCC 4 是一个安全的选择。其代码生成后端用 SSA（静态单赋值）替换了旧的 RTL（寄存器传输语言）表示形式。此更改允许对优化器进行重大重写。