Scan-build не может найти мертвый код в среде 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 

однако скан-сборки дает следующий результат:

Это не обнаруживает, что 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. 

См http://clang-analyzer.llvm.org/alpha_checks.html более альфа (экспериментальных) шашек.