扫描构建在cygwin环境中无法找到死代码

Question

按照这里的教程：http://clang-analyzer.llvm.org/scan-build.html，我写了一个玩具示例来检查scan-build是否可以帮助找到死代码。

以下是测试代码：

#include <stdio.h>
int main () {
    printf("haha this is testing code\n");
    return 0;
    int c = 10;
}

我在命令行中运行以下命令：

scan-build -v gcc -c test.c

然而，scan-build提供以下输出：

未发现无法联系int c = 10;。

我错过了什么吗？

Answer 1

alpha.deadcode.UnreachableCode检查程序发现错误：

命令行：

scan-build -enable-checker alpha.deadcode.UnreachableCode -v gcc -c test.c

输出：

test.c:5:13: warning: This statement is never executed
    int c = 10;
            ^~
1 warning generated.
scan-build: 1 bugs found.

有关更多alpha（实验）检查程序，请参阅http://clang-analyzer.llvm.org/alpha_checks.html。