Searched refs:CoreEngine (Results 1 – 6 of 6) sorted by relevance
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CoreEngine.cpp | 73 CoreEngine::CoreEngine(ExprEngine &exprengine, FunctionSummariesTy *FS, in CoreEngine() function in CoreEngine
153 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem()
277 void CoreEngine::HandleBlockEntrance(const BlockEntrance &L, in HandleBlockEntrance()
425 void CoreEngine::HandleBranch(const Stmt *Cond, const Stmt *Term, in HandleBranch()
459 void CoreEngine::HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, in HandlePostStmt()
472 void CoreEngine::HandleVirtualBaseBranch(const CFGBlock *B, in HandleVirtualBaseBranch()
497 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode()
514 void CoreEngine::enqueueStmtNode(ExplodedNode *N, in enqueueStmtNode()
564 ExplodedNode *CoreEngine::generateCallExitBeginNode(ExplodedNode *N, in generateCallExitBeginNode()
578 void CoreEngine::enqueue(ExplodedNodeSet &Set) { in enqueue()
[all …]
|
| /freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 55 class CoreEngine {
133 CoreEngine(ExprEngine &exprengine,
137 CoreEngine(const CoreEngine &) = delete;
138 CoreEngine &operator=(const CoreEngine &) = delete;
209 const CoreEngine &Eng;
213 NodeBuilderContext(const CoreEngine &E, const CFGBlock *B, ExplodedNode *N) in NodeBuilderContext()
479 CoreEngine& Eng;
487 const Expr *e, const CFGBlock *dispatch, CoreEngine* eng) in IndirectGotoNodeBuilder()
527 CoreEngine& Eng;
534 const Expr *condition, CoreEngine* eng) in SwitchNodeBuilder()
|
| H A D | ExplodedGraph.h | 67 friend class CoreEngine; variable
306 friend class CoreEngine;
|
| H A D | ExprEngine.h | 147 CoreEngine Engine;
438 const CoreEngine &getCoreEngine() const { return Engine; } in getCoreEngine()
|
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 118 typedef CoreEngine::BlocksExhausted::const_iterator ExhaustedIterator; in checkEndAnalysis()
119 const CoreEngine &CE = Eng.getCoreEngine(); in checkEndAnalysis()
|
| /freebsd-13.1/lib/clang/libclang/ |
| H A D | Makefile | 672 SRCS_FUL+= StaticAnalyzer/Core/CoreEngine.cpp
|