Searched refs:CoreEngine (Results 1 – 6 of 6) sorted by relevance
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CoreEngine.cpp | 75 CoreEngine::CoreEngine(ExprEngine &exprengine, FunctionSummariesTy *FS, in CoreEngine() function in CoreEngine
81 void CoreEngine::setBlockCounter(BlockCounter C) { in setBlockCounter()
306 void CoreEngine::HandleBlockEntrance(const BlockEntrance &L, in HandleBlockEntrance()
453 void CoreEngine::HandleBranch(const Stmt *Cond, const Stmt *Term, in HandleBranch()
487 void CoreEngine::HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, in HandlePostStmt()
500 void CoreEngine::HandleVirtualBaseBranch(const CFGBlock *B, in HandleVirtualBaseBranch()
525 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode()
542 void CoreEngine::enqueueStmtNode(ExplodedNode *N, in enqueueStmtNode()
592 ExplodedNode *CoreEngine::generateCallExitBeginNode(ExplodedNode *N, in generateCallExitBeginNode()
606 void CoreEngine::enqueue(ExplodedNodeSet &Set) { in enqueue()
[all …]
|
| /freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 56 class CoreEngine {
137 CoreEngine(ExprEngine &exprengine,
141 CoreEngine(const CoreEngine &) = delete;
142 CoreEngine &operator=(const CoreEngine &) = delete;
204 const CoreEngine &Eng;
208 NodeBuilderContext(const CoreEngine &E, const CFGBlock *B, in NodeBuilderContext()
214 NodeBuilderContext(const CoreEngine &E, const CFGBlock *B, ExplodedNode *N) in NodeBuilderContext()
482 CoreEngine& Eng;
490 const Expr *e, const CFGBlock *dispatch, CoreEngine* eng) in IndirectGotoNodeBuilder()
535 CoreEngine& Eng;
[all …]
|
| H A D | ExplodedGraph.h | 68 friend class CoreEngine; variable
305 friend class CoreEngine;
|
| H A D | ExprEngine.h | 145 CoreEngine Engine;
441 const CoreEngine &getCoreEngine() const { return Engine; } in getCoreEngine()
|
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 118 const CoreEngine &CE = Eng.getCoreEngine(); in checkEndAnalysis()
|
| /freebsd-14.2/lib/clang/libclang/ |
| H A D | Makefile | 754 SRCS_FUL+= StaticAnalyzer/Core/CoreEngine.cpp
|