Searched defs:ReachableCaseCount (Results 1 – 2 of 2) sorted by relevance
363 unsigned ReachableCaseCount = 0; in processSwitch() local
1111 unsigned ReachableCaseCount = 0; in getFeasibleSuccessors() local