Home
last modified time | relevance | path

Searched refs:ExplorationStrategyKind (Results 1 – 3 of 3) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DAnalyzerOptions.cpp64 ExplorationStrategyKind
67 llvm::StringSwitch<llvm::Optional<ExplorationStrategyKind>>( in getExplorationStrategy()
69 .Case("dfs", ExplorationStrategyKind::DFS) in getExplorationStrategy()
70 .Case("bfs", ExplorationStrategyKind::BFS) in getExplorationStrategy()
72 ExplorationStrategyKind::UnexploredFirst) in getExplorationStrategy()
74 ExplorationStrategyKind::UnexploredFirstQueue) in getExplorationStrategy()
76 ExplorationStrategyKind::UnexploredFirstLocationQueue) in getExplorationStrategy()
78 ExplorationStrategyKind::BFSBlockDFSContents) in getExplorationStrategy()
H A DCoreEngine.cpp59 case ExplorationStrategyKind::DFS: in generateWorkList()
61 case ExplorationStrategyKind::BFS: in generateWorkList()
63 case ExplorationStrategyKind::BFSBlockDFSContents: in generateWorkList()
65 case ExplorationStrategyKind::UnexploredFirst: in generateWorkList()
67 case ExplorationStrategyKind::UnexploredFirstQueue: in generateWorkList()
69 case ExplorationStrategyKind::UnexploredFirstLocationQueue: in generateWorkList()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/
H A DAnalyzerOptions.h109 enum class ExplorationStrategyKind { enum
362 ExplorationStrategyKind getExplorationStrategy() const;