Home | History | Annotate | Download | only in Analysis

Lines Matching full:succ

902 void SExprBuilder::handleSuccessor(const CFGBlock *Succ) {
906 void SExprBuilder::handleSuccessorBackEdge(const CFGBlock *Succ) {
907   mergePhiNodesBackEdge(Succ);
908   ++BBInfo[Succ->getBlockID()].ProcessedPredecessors;