Searched refs:SecondMUD (Results 1 – 1 of 1) sorted by relevance
3271 auto *SecondMUD = dyn_cast<MemoryUseOrDef>(KV.second->getMemoryLeader()); in verifyMemoryCongruency() local3272 if (FirstMUD && SecondMUD) { in verifyMemoryCongruency()3274 assert((singleReachablePHIPath(VisitedMAS, FirstMUD, SecondMUD) || in verifyMemoryCongruency()3276 ValueToClass.lookup(SecondMUD->getMemoryInst())) && in verifyMemoryCongruency()