| Jan Wen Voung | 183ced4 | 2013-03-11 17:48:03 +0000 | [diff] [blame] | 1 | // REQUIRES: asserts |
| NAKAMURA Takumi | 10cea17 | 2012-02-29 02:04:39 +0000 | [diff] [blame] | 2 | // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-stats %s 2>&1 | FileCheck %s |
| Anna Zaks | b028654 | 2012-02-27 21:33:16 +0000 | [diff] [blame] | 3 | |
| 4 | void foo() { |
| Anna Zaks | b6e2854 | 2012-02-28 21:49:04 +0000 | [diff] [blame] | 5 | int x; |
| Anna Zaks | b028654 | 2012-02-27 21:33:16 +0000 | [diff] [blame] | 6 | } |
| 7 | // CHECK: ... Statistics Collected ... |
| Anna Zaks | cc24e45 | 2012-04-03 02:05:47 +0000 | [diff] [blame] | 8 | // CHECK:100 AnalysisConsumer - The % of reachable basic blocks. |
| Anna Zaks | b6e2854 | 2012-02-28 21:49:04 +0000 | [diff] [blame] | 9 | // CHECK:The # of times RemoveDeadBindings is called |