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