Searched refs:NumCoveredExits (Results 1 – 1 of 1) sorted by relevance
62 unsigned NumCoveredExits = 0; in forAllReachableExits() local73 ++NumCoveredExits; in forAllReachableExits()76 if (NumCoveredExits == ReachableRetVec.size()) { in forAllReachableExits()