Changeset View
Changeset View
Standalone View
Standalone View
test/Analysis/analyzer-config.c
| // 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 | // 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 | ||||
| // RUN: FileCheck --input-file=%t %s | // RUN: FileCheck --input-file=%t %s | ||||
| void bar() {} | void bar() {} | ||||
| void foo() { | void foo() { | ||||
| // Call bar 33 times so max-times-inline-large is met and | // Call bar 33 times so max-times-inline-large is met and | ||||
| // min-blocks-for-inline-large is checked | // min-blocks-for-inline-large is checked | ||||
| for (int i = 0; i < 34; ++i) { | for (int i = 0; i < 34; ++i) { | ||||
| bar(); | bar(); | ||||
| } | } | ||||
| } | } | ||||
| // CHECK: [config] | // CHECK: [config] | ||||
| // CHECK-NEXT: cfg-conditional-static-initializers = true | // CHECK-NEXT: cfg-conditional-static-initializers = true | ||||
| // CHECK-NEXT: cfg-implicit-dtors = true | // CHECK-NEXT: cfg-implicit-dtors = true | ||||
| // CHECK-NEXT: cfg-lifetime = false | // CHECK-NEXT: cfg-lifetime = false | ||||
| // CHECK-NEXT: cfg-scopes = false | |||||
| // CHECK-NEXT: cfg-temporary-dtors = false | // CHECK-NEXT: cfg-temporary-dtors = false | ||||
| // CHECK-NEXT: faux-bodies = true | // CHECK-NEXT: faux-bodies = true | ||||
| // CHECK-NEXT: graph-trim-interval = 1000 | // CHECK-NEXT: graph-trim-interval = 1000 | ||||
| // CHECK-NEXT: inline-lambdas = true | // CHECK-NEXT: inline-lambdas = true | ||||
| // CHECK-NEXT: ipa = dynamic-bifurcate | // CHECK-NEXT: ipa = dynamic-bifurcate | ||||
| // CHECK-NEXT: ipa-always-inline-size = 3 | // CHECK-NEXT: ipa-always-inline-size = 3 | ||||
| // CHECK-NEXT: leak-diagnostics-reference-allocation = false | // CHECK-NEXT: leak-diagnostics-reference-allocation = false | ||||
| // CHECK-NEXT: max-inlinable-size = 100 | // CHECK-NEXT: max-inlinable-size = 100 | ||||
| // CHECK-NEXT: max-nodes = 225000 | // CHECK-NEXT: max-nodes = 225000 | ||||
| // CHECK-NEXT: max-times-inline-large = 32 | // CHECK-NEXT: max-times-inline-large = 32 | ||||
| // CHECK-NEXT: min-cfg-size-treat-functions-as-large = 14 | // CHECK-NEXT: min-cfg-size-treat-functions-as-large = 14 | ||||
| // CHECK-NEXT: mode = deep | // CHECK-NEXT: mode = deep | ||||
| // CHECK-NEXT: region-store-small-struct-limit = 2 | // CHECK-NEXT: region-store-small-struct-limit = 2 | ||||
| // CHECK-NEXT: widen-loops = false | // CHECK-NEXT: widen-loops = false | ||||
| // CHECK-NEXT: [stats] | // CHECK-NEXT: [stats] | ||||
| // CHECK-NEXT: num-entries = 17 | // CHECK-NEXT: num-entries = 18 | ||||