| Dominic Chen | 184c624 | 2017-03-03 18:02:02 +0000 | [diff] [blame] | 1 | // RUN: %clang_analyze_cc1 -triple x86_64-apple-darwin10 %s -o /dev/null -analyzer-checker=core,osx.cocoa,debug.ConfigDumper -analyzer-max-loop 34 > %t 2>&1 |
| George Karpenkov | 06b7bd6 | 2018-02-27 01:31:56 +0000 | [diff] [blame] | 2 | // RUN: FileCheck --input-file=%t %s --match-full-lines |
| Ted Kremenek | 4a5b35e | 2012-10-01 18:28:19 +0000 | [diff] [blame] | 3 | |
| Ted Kremenek | 4a5b35e | 2012-10-01 18:28:19 +0000 | [diff] [blame] | 4 | // CHECK: [config] |
| Kristof Umann | 549f9cd | 2018-11-30 20:44:00 +0000 | [diff] [blame] | 5 | // CHECK-NEXT: aggressive-binary-operation-simplification = false |
| 6 | // CHECK-NEXT: avoid-suppressing-null-argument-paths = false |
| 7 | // CHECK-NEXT: c++-allocator-inlining = true |
| 8 | // CHECK-NEXT: c++-container-inlining = false |
| 9 | // CHECK-NEXT: c++-inlining = destructors |
| 10 | // CHECK-NEXT: c++-shared_ptr-inlining = false |
| 11 | // CHECK-NEXT: c++-stdlib-inlining = true |
| 12 | // CHECK-NEXT: c++-temp-dtor-inlining = true |
| 13 | // CHECK-NEXT: c++-template-inlining = true |
| Ted Kremenek | 338c3aa | 2013-03-29 00:09:28 +0000 | [diff] [blame] | 14 | // CHECK-NEXT: cfg-conditional-static-initializers = true |
| Matthias Gehre | 351c218 | 2017-07-12 07:04:19 +0000 | [diff] [blame] | 15 | // CHECK-NEXT: cfg-implicit-dtors = true |
| 16 | // CHECK-NEXT: cfg-lifetime = false |
| Peter Szecsi | 999a25f | 2017-08-19 11:19:16 +0000 | [diff] [blame] | 17 | // CHECK-NEXT: cfg-loopexit = false |
| Artem Dergachev | 41ffb30 | 2018-02-08 22:58:15 +0000 | [diff] [blame] | 18 | // CHECK-NEXT: cfg-rich-constructors = true |
| Maxim Ostapenko | debca45 | 2018-03-12 12:26:15 +0000 | [diff] [blame] | 19 | // CHECK-NEXT: cfg-scopes = false |
| Artem Dergachev | 6119944 | 2018-03-01 18:53:13 +0000 | [diff] [blame] | 20 | // CHECK-NEXT: cfg-temporary-dtors = true |
| Kristof Umann | 549f9cd | 2018-11-30 20:44:00 +0000 | [diff] [blame] | 21 | // CHECK-NEXT: crosscheck-with-z3 = false |
| 22 | // CHECK-NEXT: ctu-dir = "" |
| Rafael Stahl | 8c48705 | 2019-01-10 17:44:04 +0000 | [diff] [blame] | 23 | // CHECK-NEXT: ctu-index-name = externalDefMap.txt |
| Gabor Marton | 9419eb4 | 2018-12-07 14:56:02 +0000 | [diff] [blame] | 24 | // CHECK-NEXT: display-ctu-progress = false |
| George Karpenkov | a393e68 | 2018-08-29 20:29:17 +0000 | [diff] [blame] | 25 | // CHECK-NEXT: eagerly-assume = true |
| Artem Dergachev | ff267df | 2018-06-28 00:04:54 +0000 | [diff] [blame] | 26 | // CHECK-NEXT: elide-constructors = true |
| Kristof Umann | 549f9cd | 2018-11-30 20:44:00 +0000 | [diff] [blame] | 27 | // CHECK-NEXT: expand-macros = false |
| 28 | // CHECK-NEXT: experimental-enable-naive-ctu-analysis = false |
| George Karpenkov | 06b7bd6 | 2018-02-27 01:31:56 +0000 | [diff] [blame] | 29 | // CHECK-NEXT: exploration_strategy = unexplored_first_queue |
| Ted Kremenek | 4a5b35e | 2012-10-01 18:28:19 +0000 | [diff] [blame] | 30 | // CHECK-NEXT: faux-bodies = true |
| Jordan Rose | 746c06d | 2012-10-23 23:59:05 +0000 | [diff] [blame] | 31 | // CHECK-NEXT: graph-trim-interval = 1000 |
| Devin Coughlin | 0123af9 | 2015-09-11 20:14:05 +0000 | [diff] [blame] | 32 | // CHECK-NEXT: inline-lambdas = true |
| Anna Zaks | 6bab4ef | 2013-01-24 23:15:30 +0000 | [diff] [blame] | 33 | // CHECK-NEXT: ipa = dynamic-bifurcate |
| Ted Kremenek | 3c69329 | 2012-10-02 20:31:56 +0000 | [diff] [blame] | 34 | // CHECK-NEXT: ipa-always-inline-size = 3 |
| Artem Dergachev | 4a084cf | 2017-06-21 11:29:35 +0000 | [diff] [blame] | 35 | // CHECK-NEXT: max-inlinable-size = 100 |
| 36 | // CHECK-NEXT: max-nodes = 225000 |
| Kristof Umann | 549f9cd | 2018-11-30 20:44:00 +0000 | [diff] [blame] | 37 | // CHECK-NEXT: max-symbol-complexity = 35 |
| Anna Zaks | d53182b | 2012-12-17 20:08:51 +0000 | [diff] [blame] | 38 | // CHECK-NEXT: max-times-inline-large = 32 |
| Devin Coughlin | 0123af9 | 2015-09-11 20:14:05 +0000 | [diff] [blame] | 39 | // CHECK-NEXT: min-cfg-size-treat-functions-as-large = 14 |
| Anna Zaks | 36d988f | 2013-01-24 23:15:34 +0000 | [diff] [blame] | 40 | // CHECK-NEXT: mode = deep |
| Kristof Umann | 549f9cd | 2018-11-30 20:44:00 +0000 | [diff] [blame] | 41 | // CHECK-NEXT: model-path = "" |
| 42 | // CHECK-NEXT: notes-as-events = false |
| 43 | // CHECK-NEXT: objc-inlining = true |
| 44 | // CHECK-NEXT: prune-paths = true |
| Jordan Rose | 3720e2f | 2013-04-18 16:33:46 +0000 | [diff] [blame] | 45 | // CHECK-NEXT: region-store-small-struct-limit = 2 |
| Kristof Umann | 549f9cd | 2018-11-30 20:44:00 +0000 | [diff] [blame] | 46 | // CHECK-NEXT: report-in-main-source-file = false |
| George Karpenkov | 5a755b3 | 2018-02-10 01:49:20 +0000 | [diff] [blame] | 47 | // CHECK-NEXT: serialize-stats = false |
| Kristof Umann | 549f9cd | 2018-11-30 20:44:00 +0000 | [diff] [blame] | 48 | // CHECK-NEXT: stable-report-filename = false |
| 49 | // CHECK-NEXT: suppress-c++-stdlib = true |
| 50 | // CHECK-NEXT: suppress-inlined-defensive-checks = true |
| 51 | // CHECK-NEXT: suppress-null-return-paths = true |
| Peter Szecsi | 657ac14 | 2017-07-25 19:23:23 +0000 | [diff] [blame] | 52 | // CHECK-NEXT: unroll-loops = false |
| Sean Eveson | 70eece2 | 2015-10-30 15:23:57 +0000 | [diff] [blame] | 53 | // CHECK-NEXT: widen-loops = false |
| Ted Kremenek | 4a5b35e | 2012-10-01 18:28:19 +0000 | [diff] [blame] | 54 | // CHECK-NEXT: [stats] |
| Gabor Marton | 9419eb4 | 2018-12-07 14:56:02 +0000 | [diff] [blame] | 55 | // CHECK-NEXT: num-entries = 49 |