1// REQUIRES: asserts
2// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-stats %s 2>&1 | FileCheck %s
3
4void foo() {
5  int x;
6}
7// CHECK: ... Statistics Collected ...
8// CHECK:100 AnalysisConsumer - The % of reachable basic blocks.
9// CHECK:The # of times RemoveDeadBindings is called
10