Lines Matching refs:CoreEngine
1 //==- CoreEngine.cpp - Path-Sensitive Dataflow Engine ------------*- C++ -*-//
15 #define DEBUG_TYPE "CoreEngine"
17 #include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
164 bool CoreEngine::ExecuteWorkList(const LocationContext *L, unsigned Steps,
228 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
271 bool CoreEngine::ExecuteWorkListWithInitialState(const LocationContext *L,
283 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) {
322 void CoreEngine::HandleBlockEntrance(const BlockEntrance &L,
342 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) {
448 void CoreEngine::HandleBranch(const Stmt *Cond, const Stmt *Term,
459 void CoreEngine::HandlePostStmt(const CFGBlock *B, unsigned StmtIdx,
474 void CoreEngine::generateNode(const ProgramPoint &Loc,
492 void CoreEngine::enqueueStmtNode(ExplodedNode *N,
536 ExplodedNode *CoreEngine::generateCallExitBeginNode(ExplodedNode *N) {
551 void CoreEngine::enqueue(ExplodedNodeSet &Set) {
558 void CoreEngine::enqueue(ExplodedNodeSet &Set,
566 void CoreEngine::enqueueEndOfFunction(ExplodedNodeSet &Set) {