Lines Matching refs:CFGBlock

93     const CFGBlock *Entry = &(L->getCFG()->getEntry());  in ExecuteWorkList()
105     const CFGBlock *Succ = *(Entry->succ_begin());  in ExecuteWorkList()
238   const CFGBlock *Blk = L.getDst();  in HandleBlockEdge()
325 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) {  in HandleBlockExit()
361         for (CFGBlock::const_succ_iterator it = B->succ_begin(),  in HandleBlockExit()
363           if (const CFGBlock *succ = *it) {  in HandleBlockExit()
455                                 const CFGBlock * B, ExplodedNode *Pred) {  in HandleBranch()
466                                               const CFGBlock *B,  in HandleCleanupTemporaryBranch()
477 void CoreEngine::HandleStaticInit(const DeclStmt *DS, const CFGBlock *B,  in HandleStaticInit()
488 void CoreEngine::HandlePostStmt(const CFGBlock *B, unsigned StmtIdx,  in HandlePostStmt()
501 void CoreEngine::HandleVirtualBaseBranch(const CFGBlock *B,  in HandleVirtualBaseBranch()
544                                  const CFGBlock *Block, unsigned Idx) {  in enqueueStmtNode()
613                          const CFGBlock *Block, unsigned Idx) {  in enqueue()
716   CFGBlock *DefaultBlock = *Src->succ_rbegin();  in generateDefaultCaseNode()