Searched refs:CoreEngine (Results 1 – 8 of 8) sorted by relevance
| /llvm-project-15.0.7/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()
454 void CoreEngine::HandleBranch(const Stmt *Cond, const Stmt *Term, in HandleBranch()
488 void CoreEngine::HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, in HandlePostStmt()
501 void CoreEngine::HandleVirtualBaseBranch(const CFGBlock *B, in HandleVirtualBaseBranch()
526 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode()
543 void CoreEngine::enqueueStmtNode(ExplodedNode *N, in enqueueStmtNode()
593 ExplodedNode *CoreEngine::generateCallExitBeginNode(ExplodedNode *N, in generateCallExitBeginNode()
607 void CoreEngine::enqueue(ExplodedNodeSet &Set) { in enqueue()
[all …]
|
| H A D | CMakeLists.txt | 23 CoreEngine.cpp
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 55 class CoreEngine {
136 CoreEngine(ExprEngine &exprengine,
140 CoreEngine(const CoreEngine &) = delete;
141 CoreEngine &operator=(const CoreEngine &) = delete;
213 const CoreEngine &Eng;
217 NodeBuilderContext(const CoreEngine &E, const CFGBlock *B, ExplodedNode *N) in NodeBuilderContext()
485 CoreEngine& Eng;
493 const Expr *e, const CFGBlock *dispatch, CoreEngine* eng) in IndirectGotoNodeBuilder()
533 CoreEngine& Eng;
540 const Expr *condition, CoreEngine* eng) in SwitchNodeBuilder()
|
| H A D | ExplodedGraph.h | 67 friend class CoreEngine; variable
304 friend class CoreEngine;
|
| H A D | ExprEngine.h | 144 CoreEngine Engine;
440 const CoreEngine &getCoreEngine() const { return Engine; } in getCoreEngine()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 117 typedef CoreEngine::BlocksExhausted::const_iterator ExhaustedIterator; in checkEndAnalysis()
118 const CoreEngine &CE = Eng.getCoreEngine(); in checkEndAnalysis()
|
| /llvm-project-15.0.7/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/ |
| H A D | BUILD.gn | 32 "CoreEngine.cpp",
|
| /llvm-project-15.0.7/clang/docs/analyzer/developer-docs/ |
| H A D | IPA.rst | 136 1. The CoreEngine realizes we're at the end of an inlined call and generates a
|