Searched refs:srcBlk (Results 1 – 1 of 1) sorted by relevance
1961 const CFGBlock *srcBlk = BE->getSrc(); in peelOffOuterExpr() local1962 if (const Stmt *term = srcBlk->getTerminatorStmt()) { in peelOffOuterExpr()1964 bool TookTrueBranch = (*(srcBlk->succ_begin()) == BE->getDst()); in peelOffOuterExpr()2318 const Stmt *Term, const ExplodedNode *N, const CFGBlock *srcBlk, in VisitTerminator() argument2370 assert(srcBlk->succ_size() == 2); in VisitTerminator()2371 const bool TookTrue = *(srcBlk->succ_begin()) == dstBlk; in VisitTerminator()