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