Searched refs:ReachableCaseCount (Results 1 – 2 of 2) sorted by relevance
363 unsigned ReachableCaseCount = 0; in processSwitch() local400 ++ReachableCaseCount; in processSwitch()404 if (ReachableCaseCount > 1 && in processSwitch()409 if (!CR.isSizeLargerThan(ReachableCaseCount)) { in processSwitch()
1111 unsigned ReachableCaseCount = 0; in getFeasibleSuccessors() local1116 ++ReachableCaseCount; in getFeasibleSuccessors()1121 Range.isSizeLargerThan(ReachableCaseCount); in getFeasibleSuccessors()