NAKAMURA Takumi | 13e6cb0 | 2012-02-29 02:04:39 +0000 | [diff] [blame^] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-stats %s 2>&1 | 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 |