[analyzer] Use the new registration mechanism on the non-path-sensitive-checkers:
[clang.git] / test / Analysis / analyzer-stats.c
blobd8dde23d670909db1fddde47759bb6439ce2d2fa
1 // RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -analyzer-check-objc-mem -analyzer-checker=core.DeadStores -verify -Wno-unreachable-code -analyzer-opt-analyze-nested-blocks -analyzer-stats %s
3 int foo();
5 int test() { // expected-warning{{Total CFGBlocks}}
6 int a = 1;
7 a = 34 / 12;
9 if (foo())
10 return a;
12 a /= 4;
13 return a;