HomeSort by: relevance | last modified time | path
    Searched refs:ExplorationStrategyKind (Results 1 - 3 of 3) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
AnalyzerOptions.cpp 64 ExplorationStrategyKind
67 llvm::StringSwitch<llvm::Optional<ExplorationStrategyKind>>(
69 .Case("dfs", ExplorationStrategyKind::DFS)
70 .Case("bfs", ExplorationStrategyKind::BFS)
72 ExplorationStrategyKind::UnexploredFirst)
74 ExplorationStrategyKind::UnexploredFirstQueue)
76 ExplorationStrategyKind::UnexploredFirstLocationQueue)
78 ExplorationStrategyKind::BFSBlockDFSContents)
CoreEngine.cpp 57 case ExplorationStrategyKind::DFS:
59 case ExplorationStrategyKind::BFS:
61 case ExplorationStrategyKind::BFSBlockDFSContents:
63 case ExplorationStrategyKind::UnexploredFirst:
65 case ExplorationStrategyKind::UnexploredFirstQueue:
67 case ExplorationStrategyKind::UnexploredFirstLocationQueue:
70 llvm_unreachable("Unknown AnalyzerOptions::ExplorationStrategyKind");
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/
AnalyzerOptions.h 123 enum class ExplorationStrategyKind {
381 ExplorationStrategyKind getExplorationStrategy() const;

Completed in 55 milliseconds