Searched refs:ReachableCaseCount (Results 1 – 1 of 1) sorted by relevance
1067 unsigned ReachableCaseCount = 0; in getFeasibleSuccessors() local1072 ++ReachableCaseCount; in getFeasibleSuccessors()1077 Range.isSizeLargerThan(ReachableCaseCount); in getFeasibleSuccessors()