Lines Matching refs:BlockEdge

109     BlockEdge StartLoc(Entry, Succ, L);  in ExecuteWorkList()
187       HandleBlockEdge(Loc.castAs<BlockEdge>(), Pred);  in dispatchWorkItem()
237 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) {  in HandleBlockEdge()
364             generateNode(BlockEdge(B, succ, Pred->getLocationContext()),  in HandleBlockExit()
445   generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()),  in HandleBlockExit()
509       BlockEdge Loc(B, *B->succ_begin(), LCtx);  in HandleVirtualBaseBranch()
520   BlockEdge Loc(B, *(B->succ_begin() + 1), LCtx);  in HandleVirtualBaseBranch()
671   ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF,  in generateNode()
683       Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()),  in generateNode()
701       Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()),  in generateCaseStmtNode()
725       Eng.G.getNode(BlockEdge(Src, DefaultBlock, Pred->getLocationContext()),  in generateDefaultCaseNode()