Searched refs:CoreEngine (Results 1 – 7 of 7) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CoreEngine.cpp | 74 CoreEngine::CoreEngine(ExprEngine &exprengine, FunctionSummariesTy *FS, in CoreEngine() function in CoreEngine 80 void CoreEngine::setBlockCounter(BlockCounter C) { in setBlockCounter() 87 bool CoreEngine::ExecuteWorkList(const LocationContext *L, unsigned MaxSteps, in ExecuteWorkList() 213 void CoreEngine::dispatchWorkItem(ExplodedNode *Pred, ProgramPoint Loc, in dispatchWorkItem() 260 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { in HandleBlockEdge() 340 void CoreEngine::HandleBlockEntrance(const BlockEntrance &L, in HandleBlockEntrance() 358 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) { in HandleBlockExit() 482 void CoreEngine::HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred) { in HandleCallEnter() 487 void CoreEngine::HandleBranch(const Stmt *Cond, const Stmt *Term, in HandleBranch() 499 void CoreEngine::HandleCleanupTemporaryBranch(const CXXBindTemporaryExpr *BTE, in HandleCleanupTemporaryBranch() [all …]
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 50 class CoreEngine { 139 CoreEngine(ExprEngine &exprengine, 143 CoreEngine(const CoreEngine &) = delete; 144 CoreEngine &operator=(const CoreEngine &) = delete; 199 const CoreEngine &Eng; 204 NodeBuilderContext(const CoreEngine &E, const CFGBlock *B, in NodeBuilderContext() 210 NodeBuilderContext(const CoreEngine &E, const CFGBlock *B, ExplodedNode *N) in NodeBuilderContext() 214 const CoreEngine &getEngine() const { return Eng; } in getEngine() 464 CoreEngine& Eng; 472 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; 441 const CoreEngine &getCoreEngine() const { return Engine; } in getCoreEngine()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 114 const CoreEngine &CE = Eng.getCoreEngine(); in checkEndAnalysis()
|
| /freebsd/lib/clang/libclang/ |
| H A D | Makefile | 826 SRCS_FUL+= StaticAnalyzer/Core/CoreEngine.cpp
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/ |
| H A D | DemangleTestCases.inc | 6600 {"_ZN5clang4ento10CoreEngineD2Ev", "clang::ento::CoreEngine::~CoreEngine()"}, 6630 …const*, clang::CFGBlock const*, clang::CFGStmtMap const*, clang::ento::CoreEngine const&)::VisitWL… 6631 …const*, clang::CFGBlock const*, clang::CFGStmtMap const*, clang::ento::CoreEngine const&)::VisitWL… 6632 …const*, clang::CFGBlock const*, clang::CFGStmtMap const*, clang::ento::CoreEngine const&)::VisitWL… 7495 …xecuteWorkListEPKNS_15LocationContextEjPKNS0_7GRStateE", "clang::ento::CoreEngine::ExecuteWorkList… 7496 …KNS_12ProgramPointEPKNS0_7GRStateEPNS0_12ExplodedNodeE", "clang::ento::CoreEngine::generateNode(cl… 7497 …15HandleBlockEdgeERKNS_9BlockEdgeEPNS0_12ExplodedNodeE", "clang::ento::CoreEngine::HandleBlockEdge… 7498 …lockEntranceERKNS_13BlockEntranceEPNS0_12ExplodedNodeE", "clang::ento::CoreEngine::HandleBlockEntr… 7499 …rERKNS_9CallEnterEPKNS_8CFGBlockEjPNS0_12ExplodedNodeE", "clang::ento::CoreEngine::HandleCallEnter… 7500 …ne14HandleCallExitERKNS_8CallExitEPNS0_12ExplodedNodeE", "clang::ento::CoreEngine::HandleCallExit(… [all …]
|