diff options
| author | George Karpenkov <ekarpenkov@apple.com> | 2018-10-11 22:59:59 +0000 |
|---|---|---|
| committer | George Karpenkov <ekarpenkov@apple.com> | 2018-10-11 22:59:59 +0000 |
| commit | d1dd5c3a88724a25d9fef3962600ce5b223440ca (patch) | |
| tree | 2982d8ffc2b93972afdf4d131f07117e555a4da8 /clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp | |
| parent | ca7a23e761bbdde867ada667c4d59f563ef07865 (diff) | |
| download | bcm5719-llvm-d1dd5c3a88724a25d9fef3962600ce5b223440ca.tar.gz bcm5719-llvm-d1dd5c3a88724a25d9fef3962600ce5b223440ca.zip | |
[analyzer] Experiment with an iteration order only based on location, and not using the stack frame
Differential Revision: https://reviews.llvm.org/D53058
llvm-svn: 344313
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp b/clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp index c910d31d4bf..ac8d4d6b3e0 100644 --- a/clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp +++ b/clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp @@ -77,6 +77,8 @@ AnalyzerOptions::getExplorationStrategy() { ExplorationStrategyKind::UnexploredFirst) .Case("unexplored_first_queue", ExplorationStrategyKind::UnexploredFirstQueue) + .Case("unexplored_first_location_queue", + ExplorationStrategyKind::UnexploredFirstLocationQueue) .Case("bfs_block_dfs_contents", ExplorationStrategyKind::BFSBlockDFSContents) .Default(ExplorationStrategyKind::NotSet); |
