maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/test/Analysis/analyzer-stats.c

15 lines
391 B
C
Raw Normal View History

Re-enable the IdempotentOperations checker for --analyze, and put it and the DeadStores checker into the "deadcode" group. llvm-svn: 127531
2011-03-12 14:14:28 +08:00
// RUN: %clang_cc1 -analyze -analyzer-checker=core,deadcode.DeadStores,debug.Stats -verify -Wno-unreachable-code -analyzer-opt-analyze-nested-blocks %s
Added AnalyzerStatsChecker, a path sensitive check that reports visitation statistics about analysis. Running clang with the -analyzer-stats flag will emit warnings containing the information. We can then run a postanalysis script to take this data and give useful information about how much the analyzer missed in a project. llvm-svn: 113568
2010-09-10 08:44:44 +08:00
int foo();
[analyzer] Fix scan-build's -stats mode. We were failing to match the output line, which led to us collecting no stats at all, which led to a divide-by-zero error. Fixes PR15510. llvm-svn: 177084
2013-03-15 01:18:30 +08:00
int test() { // expected-warning-re{{test -> Total CFGBlocks: [0-9]+ \| Unreachable CFGBlocks: 0 \| Exhausted Block: no \| Empty WorkList: yes}}
Added AnalyzerStatsChecker, a path sensitive check that reports visitation statistics about analysis. Running clang with the -analyzer-stats flag will emit warnings containing the information. We can then run a postanalysis script to take this data and give useful information about how much the analyzer missed in a project. llvm-svn: 113568
2010-09-10 08:44:44 +08:00
int a = 1;
a = 34 / 12;
if (foo())
return a;
a /= 4;
return a;
}