| 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 |
|---|
| 2 | // RUN: FileCheck --input-file=%t %s --match-full-lines |
|---|
| 3 | |
|---|
| 4 | // CHECK: [config] |
|---|
| 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 |
|---|
| 14 | // CHECK-NEXT: cfg-conditional-static-initializers = true |
|---|
| 15 | // CHECK-NEXT: cfg-implicit-dtors = true |
|---|
| 16 | // CHECK-NEXT: cfg-lifetime = false |
|---|
| 17 | // CHECK-NEXT: cfg-loopexit = false |
|---|
| 18 | // CHECK-NEXT: cfg-rich-constructors = true |
|---|
| 19 | // CHECK-NEXT: cfg-scopes = false |
|---|
| 20 | // CHECK-NEXT: cfg-temporary-dtors = true |
|---|
| 21 | // CHECK-NEXT: crosscheck-with-z3 = false |
|---|
| 22 | // CHECK-NEXT: ctu-dir = "" |
|---|
| 23 | // CHECK-NEXT: ctu-index-name = externalDefMap.txt |
|---|
| 24 | // CHECK-NEXT: display-ctu-progress = false |
|---|
| 25 | // CHECK-NEXT: eagerly-assume = true |
|---|
| 26 | // CHECK-NEXT: elide-constructors = true |
|---|
| 27 | // CHECK-NEXT: expand-macros = false |
|---|
| 28 | // CHECK-NEXT: experimental-enable-naive-ctu-analysis = false |
|---|
| 29 | // CHECK-NEXT: exploration_strategy = unexplored_first_queue |
|---|
| 30 | // CHECK-NEXT: faux-bodies = true |
|---|
| 31 | // CHECK-NEXT: graph-trim-interval = 1000 |
|---|
| 32 | // CHECK-NEXT: inline-lambdas = true |
|---|
| 33 | // CHECK-NEXT: ipa = dynamic-bifurcate |
|---|
| 34 | // CHECK-NEXT: ipa-always-inline-size = 3 |
|---|
| 35 | // CHECK-NEXT: max-inlinable-size = 100 |
|---|
| 36 | // CHECK-NEXT: max-nodes = 225000 |
|---|
| 37 | // CHECK-NEXT: max-symbol-complexity = 35 |
|---|
| 38 | // CHECK-NEXT: max-times-inline-large = 32 |
|---|
| 39 | // CHECK-NEXT: min-cfg-size-treat-functions-as-large = 14 |
|---|
| 40 | // CHECK-NEXT: mode = deep |
|---|
| 41 | // CHECK-NEXT: model-path = "" |
|---|
| 42 | // CHECK-NEXT: notes-as-events = false |
|---|
| 43 | // CHECK-NEXT: objc-inlining = true |
|---|
| 44 | // CHECK-NEXT: prune-paths = true |
|---|
| 45 | // CHECK-NEXT: region-store-small-struct-limit = 2 |
|---|
| 46 | // CHECK-NEXT: report-in-main-source-file = false |
|---|
| 47 | // CHECK-NEXT: serialize-stats = false |
|---|
| 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 |
|---|
| 52 | // CHECK-NEXT: unroll-loops = false |
|---|
| 53 | // CHECK-NEXT: widen-loops = false |
|---|
| 54 | // CHECK-NEXT: [stats] |
|---|
| 55 | // CHECK-NEXT: num-entries = 49 |
|---|
| 56 | |
|---|