diff options
| author | George Karpenkov <ekarpenkov@apple.com> | 2018-02-27 01:31:56 +0000 |
|---|---|---|
| committer | George Karpenkov <ekarpenkov@apple.com> | 2018-02-27 01:31:56 +0000 |
| commit | 06b7bd61f4986b18766977530417bf489f8d5578 (patch) | |
| tree | 0cff6b7ce87bea563c1ba7dfdead9993ed8c6425 /clang/test/Analysis/analyzer-config.c | |
| parent | 31254d4366359717fc56350a3043309ac1db55dd (diff) | |
| download | bcm5719-llvm-06b7bd61f4986b18766977530417bf489f8d5578.tar.gz bcm5719-llvm-06b7bd61f4986b18766977530417bf489f8d5578.zip | |
[analyzer] Switch the default exploration strategy to priority queue based on coverage
After the investigation it seems safe to flip the switch.
Differential Revision: https://reviews.llvm.org/D43782
llvm-svn: 326157
Diffstat (limited to 'clang/test/Analysis/analyzer-config.c')
| -rw-r--r-- | clang/test/Analysis/analyzer-config.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/test/Analysis/analyzer-config.c b/clang/test/Analysis/analyzer-config.c index 78868a56255..13c4870ac39 100644 --- a/clang/test/Analysis/analyzer-config.c +++ b/clang/test/Analysis/analyzer-config.c @@ -1,5 +1,5 @@ // 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 --match-full-lines void bar() {} void foo() { @@ -17,7 +17,7 @@ void foo() { // CHECK-NEXT: cfg-loopexit = false // CHECK-NEXT: cfg-rich-constructors = true // CHECK-NEXT: cfg-temporary-dtors = false -// CHECK-NEXT: exploration_strategy = dfs +// CHECK-NEXT: exploration_strategy = unexplored_first_queue // CHECK-NEXT: faux-bodies = true // CHECK-NEXT: graph-trim-interval = 1000 // CHECK-NEXT: inline-lambdas = true |
