Lines Matching defs:CoreEngine

1 //===- CoreEngine.cpp - Path-Sensitive Dataflow Engine --------------------===//
14 #include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
42 #define DEBUG_TYPE "CoreEngine"
75 CoreEngine::CoreEngine(ExprEngine &exprengine, FunctionSummariesTy *FS,
81 void CoreEngine::setBlockCounter(BlockCounter C) {
88 bool CoreEngine::ExecuteWorkList(const LocationContext *L, unsigned MaxSteps,
182 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
225 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) {
294 void CoreEngine::HandleBlockEntrance(const BlockEntrance &L,
312 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) {
436 void CoreEngine::HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred) {
441 void CoreEngine::HandleBranch(const Stmt *Cond, const Stmt *Term,
453 void CoreEngine::HandleCleanupTemporaryBranch(const CXXBindTemporaryExpr *BTE,
465 void CoreEngine::HandleStaticInit(const DeclStmt *DS, const CFGBlock *B,
476 void CoreEngine::HandlePostStmt(const CFGBlock *B, unsigned StmtIdx,
489 void CoreEngine::HandleVirtualBaseBranch(const CFGBlock *B,
514 void CoreEngine::generateNode(const ProgramPoint &Loc,
531 void CoreEngine::enqueueStmtNode(ExplodedNode *N,
581 ExplodedNode *CoreEngine::generateCallExitBeginNode(ExplodedNode *N,
596 CoreEngine::getCompletedIterationCount(const CFGBlock *B,
619 void CoreEngine::enqueue(ExplodedNodeSet &Set) {
624 void CoreEngine::enqueue(ExplodedNodeSet &Set,
630 void CoreEngine::enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS) {