Searched refs:ReachableCaseCount (Results 1 – 2 of 2) sorted by relevance
375 unsigned ReachableCaseCount = 0; in processSwitch() local425 ++ReachableCaseCount; in processSwitch()430 !CR.isSizeLargerThan(ReachableCaseCount)) { in processSwitch()
1211 unsigned ReachableCaseCount = 0; in getFeasibleSuccessors() local1216 ++ReachableCaseCount; in getFeasibleSuccessors()1221 Range.isSizeLargerThan(ReachableCaseCount); in getFeasibleSuccessors()