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/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp | |
| 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/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp b/clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp index c01e531c49c..dcc5de42d5c 100644 --- a/clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp +++ b/clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp @@ -60,7 +60,7 @@ AnalyzerOptions::getExplorationStrategy() { if (ExplorationStrategy == ExplorationStrategyKind::NotSet) { StringRef StratStr = Config - .insert(std::make_pair("exploration_strategy", "dfs")) + .insert(std::make_pair("exploration_strategy", "unexplored_first_queue")) .first->second; ExplorationStrategy = llvm::StringSwitch<ExplorationStrategyKind>(StratStr) |
