Searched refs:CoreEngine (Results 1 – 7 of 7) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CoreEngine.cpp | 165 bool CoreEngine::ExecuteWorkList(const LocationContext *L, unsigned Steps, in ExecuteWorkList()
242 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem()
284 bool CoreEngine::ExecuteWorkListWithInitialState(const LocationContext *L, in ExecuteWorkListWithInitialState()
296 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { in HandleBlockEdge()
335 void CoreEngine::HandleBlockEntrance(const BlockEntrance &L, in HandleBlockEntrance()
355 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) { in HandleBlockExit()
471 void CoreEngine::HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred) { in HandleCallEnter()
476 void CoreEngine::HandleBranch(const Stmt *Cond, const Stmt *Term, in HandleBranch()
487 void CoreEngine::HandleCleanupTemporaryBranch(const CXXBindTemporaryExpr *BTE, in HandleCleanupTemporaryBranch()
499 void CoreEngine::HandleStaticInit(const DeclStmt *DS, const CFGBlock *B, in HandleStaticInit()
[all …]
|
| D | CMakeLists.txt | 20 CoreEngine.cpp
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CoreEngine.h | 43 class CoreEngine {
109 CoreEngine(const CoreEngine &) = delete;
110 void operator=(const CoreEngine &) = delete;
116 CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS) in CoreEngine() function
183 const CoreEngine &Eng;
186 NodeBuilderContext(const CoreEngine &E, const CFGBlock *B, ExplodedNode *N) in NodeBuilderContext()
448 CoreEngine& Eng;
456 const Expr *e, const CFGBlock *dispatch, CoreEngine* eng) in IndirectGotoNodeBuilder()
495 CoreEngine& Eng;
502 const Expr *condition, CoreEngine* eng) in SwitchNodeBuilder()
|
| D | ExplodedGraph.h | 57 friend class CoreEngine; variable
249 friend class CoreEngine;
|
| D | ExprEngine.h | 63 CoreEngine Engine;
327 const CoreEngine &getCoreEngine() const { return Engine; } in getCoreEngine()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | AnalyzerStatsChecker.cpp | 119 typedef CoreEngine::BlocksExhausted::const_iterator ExhaustedIterator; in checkEndAnalysis()
120 const CoreEngine &CE = Eng.getCoreEngine(); in checkEndAnalysis()
|
| /external/clang/docs/analyzer/ |
| D | IPA.txt | 129 1. The CoreEngine realizes we're at the end of an inlined call and generates a
|