Searched refs:CoreEngine (Results 1 – 6 of 6) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | CoreEngine.cpp | 75 CoreEngine::CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS, in CoreEngine() function in CoreEngine
81 bool CoreEngine::ExecuteWorkList(const LocationContext *L, unsigned Steps, in ExecuteWorkList()
155 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem()
259 void CoreEngine::HandleBlockEntrance(const BlockEntrance &L, in HandleBlockEntrance()
396 void CoreEngine::HandleBranch(const Stmt *Cond, const Stmt *Term, in HandleBranch()
430 void CoreEngine::HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, in HandlePostStmt()
445 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode()
462 void CoreEngine::enqueueStmtNode(ExplodedNode *N, in enqueueStmtNode()
512 ExplodedNode *CoreEngine::generateCallExitBeginNode(ExplodedNode *N, in generateCallExitBeginNode()
526 void CoreEngine::enqueue(ExplodedNodeSet &Set) { in enqueue()
[all …]
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 55 class CoreEngine {
126 CoreEngine(SubEngine &subengine,
130 CoreEngine(const CoreEngine &) = delete;
131 CoreEngine &operator=(const CoreEngine &) = delete;
200 const CoreEngine &Eng;
204 NodeBuilderContext(const CoreEngine &E, const CFGBlock *B, ExplodedNode *N) in NodeBuilderContext()
470 CoreEngine& Eng;
478 const Expr *e, const CFGBlock *dispatch, CoreEngine* eng) in IndirectGotoNodeBuilder()
518 CoreEngine& Eng;
525 const Expr *condition, CoreEngine* eng) in SwitchNodeBuilder()
|
| H A D | ExplodedGraph.h | 68 friend class CoreEngine; variable
266 friend class CoreEngine;
|
| H A D | ExprEngine.h | 123 CoreEngine Engine;
399 const CoreEngine &getCoreEngine() const { return Engine; } in getCoreEngine()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 119 typedef CoreEngine::BlocksExhausted::const_iterator ExhaustedIterator; in checkEndAnalysis()
120 const CoreEngine &CE = Eng.getCoreEngine(); in checkEndAnalysis()
|
| /freebsd-12.1/lib/clang/libclang/ |
| H A D | Makefile | 586 SRCS_FUL+= StaticAnalyzer/Core/CoreEngine.cpp
|