| Anna Zaks | c299428 | 2012-02-28 21:49:04 +0000 | [diff] [blame^] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-stats %s > FileCheck %s |
| Anna Zaks | 81fb169 | 2012-02-27 21:33:16 +0000 | [diff] [blame] | 2 | |
| 3 | void foo() { | ||||
| Anna Zaks | c299428 | 2012-02-28 21:49:04 +0000 | [diff] [blame^] | 4 | int x; |
| Anna Zaks | 81fb169 | 2012-02-27 21:33:16 +0000 | [diff] [blame] | 5 | } |
| 6 | // CHECK: ... Statistics Collected ... | ||||
| Anna Zaks | c299428 | 2012-02-28 21:49:04 +0000 | [diff] [blame^] | 7 | // CHECK:The # of times RemoveDeadBindings is called |