Searched refs:CoreEngine (Results 1 – 6 of 6) sorted by relevance
| /freebsd/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()
88 bool CoreEngine::ExecuteWorkList(const LocationContext *L, unsigned MaxSteps, in ExecuteWorkList()
182 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem()
225 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { in HandleBlockEdge()
294 void CoreEngine::HandleBlockEntrance(const BlockEntrance &L, in HandleBlockEntrance()
312 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) { in HandleBlockExit()
436 void CoreEngine::HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred) { in HandleCallEnter()
441 void CoreEngine::HandleBranch(const Stmt *Cond, const Stmt *Term, in HandleBranch()
452 void CoreEngine::HandleCleanupTemporaryBranch(const CXXBindTemporaryExpr *BTE, in HandleCleanupTemporaryBranch()
[all …]
|
| /freebsd/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;
197 const CoreEngine &Eng;
202 NodeBuilderContext(const CoreEngine &E, const CFGBlock *B, in NodeBuilderContext()
208 NodeBuilderContext(const CoreEngine &E, const CFGBlock *B, ExplodedNode *N) in NodeBuilderContext()
212 const CoreEngine &getEngine() const { return Eng; } in getEngine()
482 CoreEngine& Eng;
490 const Expr *e, const CFGBlock *dispatch, CoreEngine* eng) in IndirectGotoNodeBuilder()
[all …]
|
| H A D | ExplodedGraph.h | 68 friend class CoreEngine; variable
305 friend class CoreEngine;
|
| H A D | ExprEngine.h | 145 CoreEngine Engine;
433 const CoreEngine &getCoreEngine() const { return Engine; } in getCoreEngine()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 118 const CoreEngine &CE = Eng.getCoreEngine(); in checkEndAnalysis()
|
| /freebsd/lib/clang/libclang/ |
| H A D | Makefile | 784 SRCS_FUL+= StaticAnalyzer/Core/CoreEngine.cpp
|