Home
last modified time | relevance | path

Searched refs:CoreEngine (Results 1 – 8 of 8) sorted by relevance

/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DCoreEngine.cpp75 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 bool CoreEngine::ExecuteWorkListWithInitialState(const LocationContext *L, in ExecuteWorkListWithInitialState()
237 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { in HandleBlockEdge()
306 void CoreEngine::HandleBlockEntrance(const BlockEntrance &L, in HandleBlockEntrance()
324 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) { in HandleBlockExit()
448 void CoreEngine::HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred) { in HandleCallEnter()
453 void CoreEngine::HandleBranch(const Stmt *Cond, const Stmt *Term, in HandleBranch()
[all …]
H A DCMakeLists.txt23 CoreEngine.cpp
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h55 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, in NodeBuilderContext()
223 NodeBuilderContext(const CoreEngine &E, const CFGBlock *B, ExplodedNode *N) in NodeBuilderContext()
491 CoreEngine& Eng;
499 const Expr *e, const CFGBlock *dispatch, CoreEngine* eng) in IndirectGotoNodeBuilder()
539 CoreEngine& Eng;
[all …]
H A DExplodedGraph.h67 friend class CoreEngine; variable
304 friend class CoreEngine;
H A DExprEngine.h145 CoreEngine Engine;
441 const CoreEngine &getCoreEngine() const { return Engine; } in getCoreEngine()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DAnalyzerStatsChecker.cpp118 typedef CoreEngine::BlocksExhausted::const_iterator ExhaustedIterator; in checkEndAnalysis()
119 const CoreEngine &CE = Eng.getCoreEngine(); in checkEndAnalysis()
/openbsd-src/gnu/llvm/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/
H A DBUILD.gn32 "CoreEngine.cpp",
/openbsd-src/gnu/llvm/clang/docs/analyzer/developer-docs/
H A DIPA.rst136 1. The CoreEngine realizes we're at the end of an inlined call and generates a