Searched refs:dstBlk (Results 1 – 1 of 1) sorted by relevance
2822 const CFGBlock *dstBlk, PathSensitiveBugReport &R, in VisitTerminator() argument2874 const bool TookTrue = *(srcBlk->succ_begin()) == dstBlk; in VisitTerminator()