Searched refs:DepthNumber (Results 1 – 1 of 1) sorted by relevance
128 unsigned int DepthNumber = DepthMap.lookup(PN); in getValuesForPhi() local129 if (DepthNumber == 0) { in getValuesForPhi()132 DepthNumber = DepthMap.lookup(PN); in getValuesForPhi()134 assert(DepthNumber != 0); in getValuesForPhi()136 return NonPhiReachableMap[DepthNumber]; in getValuesForPhi()