Skip to content

Commit 4a084cf

Browse files
committedJun 21, 2017
[analyzer] Bump a few default performance thresholds.
This makes the analyzer around 10% slower by default, allowing it to find deeper bugs. Default values for the following -analyzer-config change: max-nodes: 150000 -> 225000; max-inlinable-size: 50 -> 100. rdar://problem/32539666 Differential Revision: https://reviews.llvm.org/D34277 llvm-svn: 305900
1 parent f623999 commit 4a084cf

File tree

3 files changed

+6
-6
lines changed

3 files changed

+6
-6
lines changed
 

‎clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -293,7 +293,7 @@ unsigned AnalyzerOptions::getMaxInlinableSize() {
293293
DefaultValue = 4;
294294
break;
295295
case UMK_Deep:
296-
DefaultValue = 50;
296+
DefaultValue = 100;
297297
break;
298298
}
299299

@@ -332,7 +332,7 @@ unsigned AnalyzerOptions::getMaxNodesPerTopLevelFunction() {
332332
DefaultValue = 75000;
333333
break;
334334
case UMK_Deep:
335-
DefaultValue = 150000;
335+
DefaultValue = 225000;
336336
break;
337337
}
338338
MaxNodesPerTopLevelFunction = getOptionAsInteger("max-nodes", DefaultValue);

‎clang/test/Analysis/analyzer-config.c

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -19,8 +19,8 @@ void foo() {
1919
// CHECK-NEXT: ipa = dynamic-bifurcate
2020
// CHECK-NEXT: ipa-always-inline-size = 3
2121
// CHECK-NEXT: leak-diagnostics-reference-allocation = false
22-
// CHECK-NEXT: max-inlinable-size = 50
23-
// CHECK-NEXT: max-nodes = 150000
22+
// CHECK-NEXT: max-inlinable-size = 100
23+
// CHECK-NEXT: max-nodes = 225000
2424
// CHECK-NEXT: max-times-inline-large = 32
2525
// CHECK-NEXT: min-cfg-size-treat-functions-as-large = 14
2626
// CHECK-NEXT: mode = deep

‎clang/test/Analysis/analyzer-config.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -30,8 +30,8 @@ class Foo {
3030
// CHECK-NEXT: ipa = dynamic-bifurcate
3131
// CHECK-NEXT: ipa-always-inline-size = 3
3232
// CHECK-NEXT: leak-diagnostics-reference-allocation = false
33-
// CHECK-NEXT: max-inlinable-size = 50
34-
// CHECK-NEXT: max-nodes = 150000
33+
// CHECK-NEXT: max-inlinable-size = 100
34+
// CHECK-NEXT: max-nodes = 225000
3535
// CHECK-NEXT: max-times-inline-large = 32
3636
// CHECK-NEXT: min-cfg-size-treat-functions-as-large = 14
3737
// CHECK-NEXT: mode = deep

0 commit comments

Comments
 (0)