为什么 GCC 不对无法访问的代码发出警告？

Question

我想知道为什么gcc (4.6.3)在这个例子中没有警告我无法访问的代码：

#include <stdio.h>

int status(void)
{
    static int first_time = 1;

    if (first_time) {
        return 1;   
        first_time = 0; /* never reached */
    } else {
        return 0;   
    }     
}

int main(int argc, const char *argv[])
{
    printf("first call %d\n", status());
    printf("second call %d\n", status());
    return 0;
}

请注意，错误的status()函数的目的是保持状态。 我原以为会收到警告-Wall 。 我也尝试过-Wunreachable-code 、 -Wextra 、 -pedantic和-ansi （正如这里讨论的那样）。 然而，这些都没有给我警告。

看来 gcc 会默默地删除静态变量赋值。

在我看来，gcc options -Wall -Werror应该会引发错误。

Answer 1

gcc 4.4 会给你警告。 在 gcc 的更高版本中，此功能 ( -Wunreachable-code ) 已被删除。

见这里： http : //gcc.gnu.org/ml/gcc-help/2011-05/msg00360.html

-Wunreachable-code已被删除，因为它不稳定：它依赖于优化器，因此不同版本的 gcc 会警告不同的代码。 编译器仍然接受并忽略命令行选项，这样现有的 Makefile 不会被破坏。 在未来的某个版本中，该选项将被完全删除。

伊恩

Answer 2

gcc 有很多遍——看看它们尝试用像这样的开关编译

-da -dAp -Wa,-a -fdump-ipa-all-all -fdump-tree-all-all -fdump-rtl-all-all

我的猜测是，在指定发出相关警告的通行证之前，某些通行证已经完成了死代码消除。 这可以合理地被认为是一个错误，但 gcc 团队可能更多地将警告视为一种方便而不是道德承诺，并且没有动力做很多工作来使其精确和完整。 如果您想做出贡献，您可以逐个禁用优化传递，直到找到阻止警告的优化传递，然后提交记录问题的错误报告。 如果这不值得你花时间，也许修复它不值得他们花时间。 :-)