这是 gcc 优化错误吗？

Question

这是我的代码：

bool func(const MY_STRUCT *const ptr, some_struct *x, int y)
{
    printf("IN: %p\n", ptr); // ok
    for (int i = 0; i < y; ++i) {
        if (ptr->foo(x[i].key) == 0) {
            return false;
        }
    }
    printf("OUT: %p\n", ptr); // ok
    return true;
}

void process(void)
{
    ... ...
    for (i = 0; i < num; ++i) {
        MY_STRUCT *ptr = obj->GetPtr(); // success
        printf("BEFORE: %p\n", ptr); // ok
        if (func(ptr, x, y) == false) {
            continue;
        }
        printf("AFTER: %p\n", ptr); // <nil> when compile with -O2
        printf("%s", ptr->data); // *** segment fault here ***
    }
}

输出：

BEFORE: 0x0612d3fa
IN: 0x0612d3fa
OUT: 0x0612d3fa
AFTER: <nil>
segment fault

如果我使用 -O0 编译上面的代码，一切正常。 但是，如果我用-O2编译它，在调用函数func之后，ptr变成NULL！

这是 gcc 错误吗？有人遇到过类似的错误吗？

我的gcc版本是：gcc版本3.4.5 20051201（Red Hat 3.4.5-2）

Answer 1

（很可能）您在 func 中存在堆栈粉碎器，它会覆盖调用者堆栈上的 ptr 。确保 func 中的任何数组或结构访问均保持在边界内。如果不是因为我对 gcc 3.x 的痛苦回忆，我会说这几乎肯定是实际发生的事情。即便如此，这也是最有可能的解释。

在这一点上给你一个怀疑的好处，如果你的代码确实如你的问题中发布的那样，那么是的，这可能是一个编译器错误：

    printf("BEFORE: %p\n", ptr); // ok
    if (func(ptr, x, y)) {
        continue;
    }
    printf("AFTER: %p\n", ptr); // <nil> when compile with -O2

ptr被传递value 为 func，因此无论 func 内发生什么，调用函数中的值都不应更改。

然而，您使用的是真正古老的编译器；即使您报告此错误，也不会产生任何结果。很可能导致这种情况的原因早已在 gcc 中发生了变化。尝试更新版本或不同的编译器。

Answer 2

无论您的编译器可能有或没有错误，如果您在发布的代码中看到所描述的问题，那么您的 GCC 在任何优化级别上都会被破坏。

有问题的代码行根本不应该被触及。

func 始终返回 true，如果返回 true，则跳过循环体的最后部分。

如果您怀疑存在编译器错误，请首先编写重现该错误的代码示例。

当我们不知道您的实际代码是什么样子时，我们就不可能猜测 GCC 的行为是否正确。