| Ted Kremenek | 20871cd | 2013-04-16 21:59:21 +0000 | [diff] [blame] | 1 | // RUN: %clang -target x86_64-apple-darwin10 --analyze %s -o /dev/null -Xclang -analyzer-checker=debug.ConfigDumper > %t 2>&1 |
| Ted Kremenek | 4a5b35e | 2012-10-01 18:28:19 +0000 | [diff] [blame] | 2 | // RUN: FileCheck --input-file=%t %s |
| 3 | |
| 4 | void bar() {} |
| 5 | void foo() { bar(); } |
| 6 | |
| 7 | // CHECK: [config] |
| Ted Kremenek | 338c3aa | 2013-03-29 00:09:28 +0000 | [diff] [blame] | 8 | // CHECK-NEXT: cfg-conditional-static-initializers = true |
| Ted Kremenek | 4a5b35e | 2012-10-01 18:28:19 +0000 | [diff] [blame] | 9 | // CHECK-NEXT: cfg-temporary-dtors = false |
| 10 | // CHECK-NEXT: faux-bodies = true |
| Jordan Rose | 746c06d | 2012-10-23 23:59:05 +0000 | [diff] [blame] | 11 | // CHECK-NEXT: graph-trim-interval = 1000 |
| Anna Zaks | 6bab4ef | 2013-01-24 23:15:30 +0000 | [diff] [blame] | 12 | // CHECK-NEXT: ipa = dynamic-bifurcate |
| Ted Kremenek | 3c69329 | 2012-10-02 20:31:56 +0000 | [diff] [blame] | 13 | // CHECK-NEXT: ipa-always-inline-size = 3 |
| Ted Kremenek | 8671acb | 2013-04-16 21:44:22 +0000 | [diff] [blame] | 14 | // CHECK-NEXT: leak-diagnostics-reference-allocation = false |
| Anna Zaks | 66b9f16 | 2013-01-30 19:12:36 +0000 | [diff] [blame] | 15 | // CHECK-NEXT: max-inlinable-size = 50 |
| Anna Zaks | c84d151 | 2013-01-30 19:12:39 +0000 | [diff] [blame] | 16 | // CHECK-NEXT: max-nodes = 150000 |
| Anna Zaks | d53182b | 2012-12-17 20:08:51 +0000 | [diff] [blame] | 17 | // CHECK-NEXT: max-times-inline-large = 32 |
| Anna Zaks | 36d988f | 2013-01-24 23:15:34 +0000 | [diff] [blame] | 18 | // CHECK-NEXT: mode = deep |
| Jordan Rose | 3720e2f | 2013-04-18 16:33:46 +0000 | [diff] [blame^] | 19 | // CHECK-NEXT: region-store-small-struct-limit = 2 |
| Ted Kremenek | 4a5b35e | 2012-10-01 18:28:19 +0000 | [diff] [blame] | 20 | // CHECK-NEXT: [stats] |
| Jordan Rose | 3720e2f | 2013-04-18 16:33:46 +0000 | [diff] [blame^] | 21 | // CHECK-NEXT: num-entries = 12 |
| Ted Kremenek | 338c3aa | 2013-03-29 00:09:28 +0000 | [diff] [blame] | 22 | |