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